Thesis (MscAgric (Viticulture and Oenology))--Stellenbosch University, 2008. / The South African table grape industry is under great pressure to produce table grapes of the best quality for the export markets. Quality defects such as poor colour, inadequate berry firmness, browning and soft tissue breakdown cause great losses in export. The firmness of table grapes is one of the major factors determining the eating quality of grapes. Consumers prefer grapes with a firmer flesh above those with soft flesh. Firmer berries are commonly accepted to have better eating quality and longer cold storage capacity. Factors that promote and maintain berry firmness are only speculated about; therefore producers cannot effectively control the development of firmer berries by managerial practises or by applying specific sprays. The study was done on Redglobe and two Waltham Cross clones (the firmer Clone 8 and softer Clone 13). The aim of this study was two-fold. Firstly the cellular and ultracellular differences between the tissues of firm and soft berries were determined. The effect of gibberellic acid (GA3), synthetic cytokinin (CPPU) and bunch applied calcium sprays on the cellular and ultracellular structure of berry tissues were also under investigation. Secondly, the effects of GA3, CPPU and bunch directed calcium sprays on berry firmness, eating quality and storage capacity were determined. To determine the cellular and ultracelular structure of berry tissues, light microscope (LM) and transmission electron (TEM) studies were done. In order to investigate the effect of different sprays on berry firmness, 20 mg/L GA3 (GA3 treatment) was applied at 10mm average berry size; 20 mg/L GA3 plus 3 mg/L CPPU (CPPU treatment) was applied at 10 mm average berry size; and a mixture of 8 L/ha Stopit® and 5 L/ha Caltrac® (calcium treatment) was applied directly to the bunches every two weeks from berry set till veraison for the calcium treatments. The control received no plant bioregulators (PBR’s). The treatments were the same for both cultivars. Grapes were stored three weeks at 0 °C and one week at 10 °C after which it was evaluated for loose berries, botrytis infections, rachis browning and berry split. Afterwards it was tasted by an independent tasting panel. Firm berries were found to have an opaque coloured flesh while soft berries had a gel-like translucent flesh. For berries with normal firmness, the opaque flesh is limited to the outer mesocarp of the berry. Extremely firm berries’ whole mesocarp consisted of the opaque coloured flesh while soft berries’ mesocarp consisted of mostly the gel-like translucent flesh with, in some cases, a very thin layer of opaque flesh just under the skin. Berry firmness was not related to cell size as the cell size of the tissues in the firm and soft berries were identical. Cell shape seems to play an important role in berry firmness. The cells in the opaque coloured flesh of the outer mesocarp are more turgid and oval than those in the gel-like flesh of the inner mesocarp. Berry firmness is therefore determined by the thickness of the outer mesocarp with the opaque coloured flesh that contains turgid cells. The thickness of cell walls between the different tissues did not differ. There was however a difference between the cell contents and the plasmalemmas of the inner and outer mesocarp. The plasmalemma and tonoplast of the outer mesocarp cells was more intact than those of the inner mesocarp. The membranes in the inner mesocarp are more subtracted form the cell wall than in the outer mesocarp. Both the PBR’s and calcium treatments cause a delay in sugar accumulation in the case of Redglobe and Waltham Cross. The CPPU treatment results in significantly bigger and firmer berries for both cultivars. In the case of Redglobe, this treatment cause bigger cells in the outer mesocarp suggesting a correlation between berry firmness and cell size. In the case of Waltham Cross, however, cell size did not play a role in berry size and firmness; instead the rate of cell division earlier in berry development. The CPPU treatment was the only treatment that maintains berry firmness during cold storage for Redglobe while GA3 and CPPU did so in the case of Waltham Cross. PBR’s seems to have no effect on cell wall thickness. In the case of Redglobe, the calcium treatments resulted in significantly thinner cell walls, but this can not be explained. Calcium and GA3 treatments had a negative effect on grape quality after cold storage of both Redglobe and Waltham Cross. The Waltham Cross CPPU treatment results in better taste and colour as observed by the tasting panel, while in the case of Redglobe, the tasting panel preferred the control. It is found that the use of CPPU in combination with GA3 had the best effect on the eating quality, storage capacity, berry size and firmness. When a producer decides to use the CPPU treatment in order to improve berry firmness, he must realize that it can cause delayed ripening which can affect the export of the fruit.

Dans le domaine des réseaux, deux précieux objectifs doivent être atteints, à savoir la QoS et la sécurité, plus particulièrement lorsqu’il s’agit des réseaux à caractère critique et à fortes contraintes temporelles. Malheureusement, un conflit existe : tandis que la QoS œuvre à réduire les temps de traitement, les mécanismes de sécurité quant à eux requièrent d’importants temps de traitement et causent, par conséquent, des délais et dégradent la QoS. Par ailleurs, les systèmes temps réel, la QoS et la sécurité ont très souvent été étudiés séparément, par des communautés différentes. Dans le contexte des réseaux avioniques de données, de nombreux domaines et applications, de criticités différentes, échangent mutuellement des informations, souvent à travers des passerelles. Il apparaît clairement que ces informations présentent différents niveaux de sensibilité en termes de sécurité et de QoS. Tenant compte de cela, le but de cette thèse est d’accroître la robustesse des futures générations de réseaux avioniques de données en contrant les menaces de sécurité et évitant les ruptures de trafic de données. A cet effet, nous avons réalisé un état de l’art des mécanismes de sécurité, de la QoS et des applications à contraintes temporelles. Nous avons, ensuite étudié la nouvelle génération des réseaux avioniques de données. Chose qui nous a permis de déterminer correctement les différentes menaces de sécurité. Sur la base de cette étude, nous avons identifié à la fois les exigences de sécurité et de QoS de cette nouvelle génération de réseaux avioniques. Afin de les satisfaire, nous avons proposé une architecture de passerelle de sécurité tenant compte de la QoS pour protéger ces réseaux avioniques et assurer une haute disponibilité en faveur des données critiques. Pour assurer l’intégration des différentes composantes de la passerelle, nous avons développé une table de session intégrée permettant de stocker toutes les informations nécessaires relatives aux sessions et d’accélérer les traitements appliqués aux paquets (filtrage à états, les traductions d’adresses NAT, la classification QoS et le routage). Cela a donc nécessité, en premier lieu, l'étude de la structure existante de la table de session puis, en second lieu, la proposition d'une toute nouvelle structure répondant à nos objectifs. Aussi, avons-nous présenté un algorithme permettant l’accès et l’exploitation de la nouvelle table de session intégrée. En ce qui concerne le composant VPN IPSec, nous avons détecté que le trafic chiffré par le protocole ESP d’IPSec ne peut pas être classé correctement par les routeurs de bordure. Afin de surmonter ce problème, nous avons développé un protocole, Q-ESP, permettant la classification des trafics chiffrés et offrant les services de sécurité fournis par les protocoles AH et ESP combinés. Plusieurs techniques de gestion de bande passante ont été développées en vue d’optimiser la gestion du trafic réseau. Pour évaluer les performances offertes par ces techniques et identifier laquelle serait la plus appropriée dans notre cas, nous avons effectué une comparaison basée sur le critère du délai, par le biais de tests expérimentaux. En dernière étape, nous avons évalué et comparé les performances de la passerelle de sécurité que nous proposons par rapport à trois produits commerciaux offrant les fonctions de passerelle de sécurité logicielle en vue de déterminer les points forts et faibles de notre implémentation pour la développer ultérieurement. Le manuscrit s’organise en deux parties : la première est rédigée en français et représente un résumé détaillé de la deuxième partie qui est, quant à elle, rédigée en anglais. / QoS and security are two precious objectives for network systems to attain, especially for critical networks with temporal constraints. Unfortunately, they often conflict; while QoS tries to minimize the processing delay, strong security protection requires more processing time and causes traffic delay and QoS degradation. Moreover, real-time systems, QoS and security have often been studied separately and by different communities. In the context of the avionic data network various domains and heterogeneous applications with different levels of criticality cooperate for the mutual exchange of information, often through gateways. It is clear that this information has different levels of sensitivity in terms of security and QoS constraints. Given this context, the major goal of this thesis is then to increase the robustness of the next generation e-enabled avionic data network with respect to security threats and ruptures in traffic characteristics. From this perspective, we surveyed the literature to establish state of the art network security, QoS and applications with time constraints. Then, we studied the next generation e-enabled avionic data network. This allowed us to draw a map of the field, and to understand security threats. Based on this study we identified both security and QoS requirements of the next generation e-enabled avionic data network. In order to satisfy these requirements we proposed the architecture of QoS capable integrated security gateway to protect the next generation e-enabled avionic data network and ensure the availability of critical traffic. To provide for a true integration between the different gateway components we built an integrated session table to store all the needed session information and to speed up the packet processing (firewall stateful inspection, NAT mapping, QoS classification and routing). This necessitates the study of the existing session table structure and the proposition of a new structure to fulfill our objective. Also, we present the necessary processing algorithms to access the new integrated session table. In IPSec VPN component we identified the problem that IPSec ESP encrypted traffic cannot be classified appropriately by QoS edge routers. To overcome this problem, we developed a Q-ESP protocol which allows the classifications of encrypted traffic and combines the security services provided by IPSec ESP and AH. To manage the network traffic wisely, a variety of bandwidth management techniques have been developed. To assess their performance and identify which bandwidth management technique is the most suitable given our context we performed a delay-based comparison using experimental tests. In the final stage, we benchmarked our implemented security gateway against three commercially available software gateways. The goal of this benchmark test is to evaluate performance and identify problems for future research work. This dissertation is divided into two parts: in French and in English respectively. Both parts follow the same structure where the first is an extended summary of the second.

L'histoire arthurienne, dans le cycle en prose, s'étend de manière linéaire et eschatologique depuis les temps évangéliques jusqu'à la fin du royaume d'Arthur. En reliant ainsi les temps contemporains à ceux de l'Histoire sainte – notamment grâce au motif du Graal – le roman revendique une autorité prophétique qui peut être interprétée à la lumière de La Cité de Dieu : Augustin y mène une lecture exégétique tant des Écritures saintes que de l'histoire profane, cherchant à manifester le dessein salvifique de la Providence. Et c'est bien sur la question du salut que se clôt le cycle puisque, après la chute d'Arthur et la destruction de la chevalerie, le dernier mot du roman revient à la conversion : le salut final de Lancelot fait suite à celui de Gauvain. Le sort ultime des deux plus grands héros de la chevalerie invite à lire La Mort Artu comme une apocalypse non seulement au sens de châtiment – celui du monde arthurien, condamné dans La Queste comme trop terrien – mais aussi comme une révélation : l'héroïsme profane rejoint l'objet ultime du désir chrétien. La présence de Fortune peut être considérée en ce sens : le dernier roman du cycle lui confie le soin d'exprimer le scandale du malheur et en fait un autre relais, avec l'aventure ou la mescheance, du langage de la foi. C'est certes trahir l'héritage d'Augustin, qui bannissait de toute bouche chrétienne Fortune et ses avatars, pour incompatibilité avec la foi dans la Providence. Mais cette même foi est en réalité affirmée dans un langage proprement romanesque, qui assume ainsi le tragique de l'existence humaine – pour le transformer dans le sursaut ultime de la foi ou le laisser au seul horizon de la cité terrestre. / Arthurian history is eschatological : the prose cycle drive it from evangelical times to the end of king Arthur's reign. With the Grail theme, narratives links their contemporary world straight to Sacred History and claims for a kind of prophetical authority. This scheme may be interpreted according to The City of God, where Augustine reads both Scripture and profane history. Through his exegesis he intends to show the action of providence and the process of salvation in human history. The prose romances themselves end in salvation : after King Arthur's fall and the destruction of chivalry, the last word is given to conversion – Lancelot's soul is taken to Paradise, after Gawain's one. For those excellent knights La Mort Artu should be read as an apocalypse, not only in the sense of punishment – La Queste had condemned the Arthurian world as « terrien » – but also as a "revelation" : profane heroism is identified to the highest Christian desire. The well-known presence of Fortune in La Mort Artu takes another sense : in personal or collective calamities, this character points out either the moral scandal or the irrational aspect of their causes. With Fortune, aventure and mescheance also relay Christian language to narrate the unexplainable. Prose romances betray Augustine's precepts : The City of God forbade the use of Fortune or similar terms that contradict the Christian faith. But in Arthurian romances providentialism is nonetheless present and proclaimed. In that "Age of Faith", the proper language of romance expresses the tragical aspects of human existence, and either lead to an eternal destiny, in the act of faith, or stay in the horizon of the terrestrial city.

Cette thèse porte sur la conception d’un système de mesure in-situ permettant de détecter les perturbations variables dans l’environnement proche d’un réseau d’antennes. Une première partie est consacrée à l’étude du bénéfice d’un tel système appliqué à un réseau de goniométrie. Une étude quantitative de la dégradation des performances de goniométrie sur porteur en présence d’obstacles variables est réalisée. Le deuxième point majeur de cette thèse est le choix de la technologie pour la conception du système de diagnostic. La Technique de diffusion modulée par l’optique (OMS) est sélectionnée. Un modèle de prédiction de la puissance rétrodiffusée par la sonde OMS a été élaboré afin de choisir la dimension de sonde optimale. Suite aux études théoriques, une sonde de 12 cm chargée par la photodiode (PDCS30T) a été réalisée. Des mesures en chambre anéchoïque ont été menées afin de valider le bilan de liaison et mesurer la sensibilité de la sonde à des obstacles proches. Finalement, une étude est réalisée afin d’étudier la sensibilité exigée par le réseau de diagnostic pour détecter la présence d’obstacles. Un dimensionnement du système global est calculé. / This thesis focuses on the design of an in-situ measurement system to detect variable disturbances in the near field of antenna arrays. The first part was focused on the study of the benefit of the monitoring system for direction finding antennas (DFA). A quantitative study of degradation of performances of DFA installed on a carrier in presence of variable obstacles was done. The second point of the study concerns the choice for the technology for the diagnostic system design. The Optically Modulated Scatterer Technique (OMS) is selected. A model that predicts the OMS backscattered power is developed to select the optimal dimension of the probe. Following the theoretical studies, a 12 cm OMS probe coupled to the nonlinear device (PDCS30T) was designed. Measurements in anechoic chamber were conducted to validate the budget link model and measure the sensitivity of the probe to nearby objects. Finally, a study is conducted to investigate the sensitivity required by the diagnostic probes for detecting the presence of obstacles. A dimensioning of the overall system is computed.

Les réseaux pair-à-pair (P2P) constituent un modèle de plus en plus populaire pour la programmation d’applications Internet car ils favorisent la décentralisation, le passage à l’échelle, la tolérance aux pannes et l’auto-organisation. à la différence du modèle traditionnel client-serveur, un réseau P2P est un système réparti décentralisé dans lequel tous les nœuds interagissent directement entre eux et jouent à la fois les rôles de fournisseur et d’utilisateur de services et de ressources. Une table de hachage distribuée (DHT) est réalisée par un réseauP2P et offre les mêmes services qu’une table de hachage classique, hormis le fait que les différents couples (clef, valeur) sont stockés dans différents nœuds du réseau. La fonction principale d’une DHT est la recherche d’une valeur associée à une clef donnée. Parmi les protocoles réalisant une DHT on peut nommer Chord, Pastry, Kademlia et Tapestry. Ces protocoles promettent de garantir certaines propriétés de correction et de performance ; or, les tentatives de démontrer formellement de telles propriétés se heurtent invariablement à des cas limites dans lesquels certaines propriétés sont violées. Tian-xiang Lu a ainsi décrit des problèmes de correction dans des versions publiées de Pastry. Il a conçu un modèle, appelé LuPastry, pour lequel il a fourni une preuve partielle, mécanisée dans l’assistant à la preuve TLA+ Proof System, démontrant que les messages de recherche de clef sont acheminés au bon nœud du réseau dans le cas sans départ de nœuds. En analysant la preuve de Lu j’ai découvert qu’elle contenait beaucoup d’hypothèses pour lesquelles aucune preuve n’avait été fournie, et j’ai pu trouver des contre-exemples à plusieurs de ces hypothèses. La présente thèse apporte trois contributions. Premièrement, je présente LuPastry+, une spécification TLA+ revue de LuPastry. Au-delà des corrections nécessaires d’erreurs, LuPastry+ améliore LuPastry en introduisant de nouveaux opérateurs et définitions, conduisant à une spécification plus modulaire et isolant la complexité de raisonnement à des parties circonscrites de la preuve, contribuant ainsi à automatiser davantage la preuve. Deuxièmement, je présente une preuve TLA+ complète de l’acheminement correct dans LuPastry+. Enfin, je démontre que l’étape finale du processus d’intégration de nœuds dans LuPastry (et LuPastry+) n’est pas nécessaire pour garantir la cohérence du protocole. Concrètement, j’exhibe une nouvelle spécification avec un processus simplifié d’intégration de nœuds, que j’appelle Simplified LuPastry+, et je démontre qu’elle garantit le bon acheminement de messages de recherche de clefs. La preuve de correction pour Simplified LuPastry+ est obtenue en réutilisant la preuve pour LuPastry+, et ceci représente un bon succès pour la réutilisation de preuves, en particulier considérant la taille de ces preuves. Chacune des deux preuves requiert plus de 30000 étapes interactives ; à ma connaissance, ces preuves constituent les preuves les plus longues écrites dans le langage TLA+ à ce jour, et les seuls exemples d’application de preuves mécanisées de théorèmes pour la vérification de protocoles DHT / A distributed hash table (DHT) is a peer-to-peer network that offers the function of a classic hash table, but where different key-value pairs are stored at different nodes on the network. Like a classic hash table, the main function provided by a DHT is key lookup, which retrieves the value stored at a given key. Examples of DHT protocols include Chord, Pastry, Kademlia and Tapestry. Such DHT protocols certain correctness and performance guarantees, but formal verification typically discovers border cases that violate those guarantees. In his PhD thesis, Tianxiang Lu reported correctness problems in published versions of Pastry and developed a model called {\LP}, for which he provided a partial proof of correct delivery of lookup messages assuming no node failure, mechanized in the {\TLA} Proof System. In analyzing Lu's proof, I discovered that it contained unproven assumptions, and found counterexamples to several of these assumptions. The contribution of this thesis is threefold. First, I present {\LPP}, a revised {\TLA} specification of {\LP}. Aside from needed bug fixes, {\LPP} contains new definitions that make the specification more modular and significantly improve proof automation. Second, I present a complete {\TLA} proof of correct delivery for {\LPP}. Third, I prove that the final step of the node join process of {\LP}/{\LPP} is not necessary to achieve consistency. In particular, I develop a new specification with a simpler node join process, which I denote by {\SLP}, and prove correct delivery of lookup messages for this new specification. The proof of correctness of {\SLP} is written by reusing the proof for {\LPP}, which represents a success story in proof reuse, especially for proofs of this size. Each of the two proofs amounts to over 32,000 proof steps; to my knowledge, they are currently the largest proofs written in the {\TLA} language, and---together with Lu's proof---the only examples of applying full theorem proving for the verification of DHT protocols

Made available in DSpace on 2016-04-27T16:57:34Z (GMT). No. of bitstreams: 1 Eliedete Pinheiro Lino.pdf: 3156614 bytes, checksum: 7e3180e908b2771a126518c543ca7a26 (MD5) Previous issue date: 2014-12-18 / This research deals with the geometric transformations in order to present a broader view of this content, a vision of geometry with a new organization of these changes and give more meaning to their study. Due to this objective we used as a theoretical framework for the research, the notion of context evidenced by Douady as consisted by objects in a field of mathematics and its possible relationships and also the context of the change of the idea that a subject can mobilize in the search of the solution of a problem. For the author to translate a problem from a frame to another is specifically intended to enable the deployment of other tools, other than those initially used for solving a problem. We also used the concept of Rogalski´s point of view because it allows us to approach a problem from different points of view within the same framework. Thus, we focused our analysis on views that can be mobilized within the geometry framework in the context of analytic geometry and algebra framework, that is, from the choice of a mathematics framework in which it is studied the geometric transformations we seek to identify the various possible points of view. We still appealed to Duval´s Semiotics Representation Registers which are used to represent geometric transformations and also to the possible transformations of these records as from the treatment and conversion. To the author the knowledge about a mathematical object can be seized from at least two records and that the conversion of records allows to develop the coordination of these various records. These actions will allow the students the understanding of the discovery and the development of the knowledge. The methodology used was based on scientific literature domain documents such as books, articles, dissertations and theses that addressed our object of study. This methodological choice contributed to the achievement of our goal since it allowed us to "look" geometric transformations and present them in a study from the early series with folding to the higher education addressing them in the context of Algebra, Analytical Geometry and Geometry frameworks / Esta pesquisa trata das transformações geométricas com objetivo de apresentar uma concepção ampla desse conteúdo, uma visão de geometria com uma nova organização destas transformações e dar mais significado ao seu estudo. Em função desse objetivo utilizamos como referencial teórico para a pesquisa, a noção de quadro evidenciado por Douady como constituído por objetos de um campo da matemática e de suas possíveis relação e, ainda, da ideia de mudança de quadro que um sujeito pode mobilizar na busca da solução de um problema. Para a autora traduzir um problema de um quadro para outro tem a finalidade específica de permitir a mobilização de outras ferramentas, que não as inicialmente utilizadas para a resolução de um problema. Utilizamos também a noção de ponto de vista de Rogalski pois ela permite que possamos abordar um problema por pontos de vista diferentes em um mesmo quadro. Assim, focamos nossas análises em pontos de vista que podem ser mobilizados no quadro da geometria, no quadro da geometria analítica e no quadro da álgebra, isto é, a partir da escolha de um quadro da Matemática em que se estuda as transformações geométricas buscamos identificar os diversos pontos de vista possíveis. Recorremos ainda aos Registros de Representação Semiótica de Duval que são utilizados para representar as transformações geométricas e ainda para as possíveis transformações desses registros a partir do tratamento e da conversão. Para o autor os conhecimentos a respeito de um objeto matemático podem ser apreendidos a partir de pelo menos dois registros e que a conversão de registros permite desenvolver a coordenação desses diversos registros. Essas ações permitirão ao aluno a compreensão, a descoberta e o desenvolvimento de conhecimentos. A metodologia usada foi a pesquisa bibliográfica baseada em documentos de domínio científico tais como livros, artigos, dissertações e teses que tratavam de nosso objeto de estudo. Essa escolha metodológica contribuiu para o alcance de nosso objetivo uma vez que nos permitiu olhar as transformações geométricas e apresentá-las em um estudo desde as séries iniciais com dobraduras até o ensino superior abordando-as no quadro da Álgebra, no quadro da Geometria Analítica e no quadro da Geometria

Cette thèse porte sur la conception d’un système de mesure in-situ permettant de détecter les perturbations variables dans l’environnement proche d’un réseau d’antennes. Une première partie est consacrée à l’étude du bénéfice d’un tel système appliqué à un réseau de goniométrie. Une étude quantitative de la dégradation des performances de goniométrie sur porteur en présence d’obstacles variables est réalisée. Le deuxième point majeur de cette thèse est le choix de la technologie pour la conception du système de diagnostic. La Technique de diffusion modulée par l’optique (OMS) est sélectionnée. Un modèle de prédiction de la puissance rétrodiffusée par la sonde OMS a été élaboré afin de choisir la dimension de sonde optimale. Suite aux études théoriques, une sonde de 12 cm chargée par la photodiode (PDCS30T) a été réalisée. Des mesures en chambre anéchoïque ont été menées afin de valider le bilan de liaison et mesurer la sensibilité de la sonde à des obstacles proches. Finalement, une étude est réalisée afin d’étudier la sensibilité exigée par le réseau de diagnostic pour détecter la présence d’obstacles. Un dimensionnement du système global est calculé. / This thesis focuses on the design of an in-situ measurement system to detect variable disturbances in the near field of antenna arrays. The first part was focused on the study of the benefit of the monitoring system for direction finding antennas (DFA). A quantitative study of degradation of performances of DFA installed on a carrier in presence of variable obstacles was done. The second point of the study concerns the choice for the technology for the diagnostic system design. The Optically Modulated Scatterer Technique (OMS) is selected. A model that predicts the OMS backscattered power is developed to select the optimal dimension of the probe. Following the theoretical studies, a 12 cm OMS probe coupled to the nonlinear device (PDCS30T) was designed. Measurements in anechoic chamber were conducted to validate the budget link model and measure the sensitivity of the probe to nearby objects. Finally, a study is conducted to investigate the sensitivity required by the diagnostic probes for detecting the presence of obstacles. A dimensioning of the overall system is computed.

La positivité gamma d’une suite combinatoire unifie à la fois l’unimodalité et la symétrie de cette suite. Trouver des nouvelles familles d’objets dont les polynômes énumératives ont une positivité gamma est un défi et un sujet important en combinatoire et géométrie. Il a attiré beaucoup d’attention ces derniers temps en raison de la conjecture de Gal, qui affirme que le gamma-vecteur a des coefficients positifs pour n’importe quel polytope simple. Souvent, le h-polynôme pour les polytopes simpliciaux de signification combinatoire peut être donné en tant que fonction génératrice sur un ensemble d’objets combinatoires apparentés par rapport à une statistique telle que le nombre des descentes, dont les polynômes énumératifs sur les permutations sont des polynômes Eulériens. Ce travail traite des propriétés gamma de plusieurs polynômes énumératifs de permutations tels que les polynômes Eulériens et les polynômes de Narayana. Cette thèse contient cinq chapitres / The gamma positivity of a combinatorial sequence unifies both unimodality and symmetry. Finding new family of objets whose enumerative sequences have gamma positivity is a challenge and important topic in recent years. it has received considerable attention in recent times because of Gal’s conjecture, which asserts that the gamma-vector has nonnegative entries for any flag simple polytope. Often times, the h-polynomial for simplicial polytopes of combinatorial signification can be given as a generating function over a related set of combinatorial objects with respect to some statistic like the descent numbers, whose enumerative polynomials on permutations are Eulerian polynomials.This work deals with the gamma properties of several enumerative polynomials of permutation such as Eulerian polynomials and Narayana polynomials. This thesis contains five chapters

La survie nette est un indicateur incontournable pour juger du control du cancer. Par définition, elle correspond à la survie que l’on observerait dans un monde hypothétique où le cancer étudié serait la seule cause possible de décès. L’objectif principal de cette thèse était de montrer l’intérêt de cet indicateur dans le cadre de la recherche clinique en prenant en compte quelques défis méthodologiques qui peuvent être rencontrés dans ce contexte. Nous avons présenté d’abord le concept de survie nette et ses méthodes d’estimation. Par la suite nous nous sommes intéressés à quelques problématiques rencontrées dans les essais cliniques à long terme lorsque l’on s’intéresse à l’estimation de la survie nette. Nous avons étudié également l’impact de l’utilisation de l’approche classique d’estimation de la survie nette dans les essais cliniques, i.e. la méthode cause-spécifique dans différentes configurations d’erreurs de classifications de la cause de décès. La deuxième problématique de cette thèse a porté sur la prise en compte du biais de sélection en termes de mortalité autres causes des patients. Nous avons proposé un modèle de mortalité en excès prenant en compte ce type de biais de sélection. Une troisième problématique qui est complémentaire à la deuxième est de prendre en compte inter-centres en même temps que le biais de sélection. Ce travail propose ainsi de nouveaux outils pouvant aider les spécialistes de la recherche clinique à évaluer de nouvelles stratégies thérapeutiques dans les essais cliniques en cancérologie, mais aussi dans d’autres domaines cliniques d’applications. / Net survival is a key indicator for measuring cancer control. By definition, it corresponds to the survival that would be observed in a hypothetical world where the cancer studied is the only possible cause of death. The main objective of this thesis was to show the interest of this indicator in the context of clinical research taking into account some methodological challenges that can be encountered. In this work, we have first presented the concept of net survival and its estimation methods. Subsequently, we were interested in some of the problems encountered in long-term clinical trials when the interest is in estimating net survival. We studied the impact of using the classic approach when estimating net survival in clinical trials, i.e. the cause-specific method in different configurations of misclassifications of the cause of death. The second objective of this thesis was to take into account the selection bias in terms of other causes mortality in the modeling of excess mortality, because of the noncomparability between patients from general population and those of clinical trials. We proposed an excess hazard model that corrects this type of selection bias. A third problem which is complementary to the second is to take into account the heterogeneity of patients in the different recruitment centers at the same time as the selection bias. This work proposes new tools which can help clinical research specialists to evaluate new therapeutic strategies in cancer clinical trials, but also in other areas of clinical application.

Denna rapport har skrivits i samband med ett examensarbete i integrerad produktutveckling. Rapporten genomfördes under den avslutande kursen på designingenjörsprogrammet vid högskolan i Skövde 2008 i samarbete med företaget Lundbergs Möbler AB i Tibro. Rapporten redogör för designprocessen där en lösning för att integrera företagets iläggsskivor tas fram för deras matbord. Rapporten skildrar projektets olika delar från förstudie till slutligt koncept. Projektets inledande förstudie påvisade framförallt hur konkurrenternas lösningsprinciper ser ut, hur hanteringen av dagens iläggsskiva ser ut och dess hanteringsproblem samt ergonomin kring hanteringen av iläggsskivan. Det som framkom i förstudien låg därefter som beslutsunderlag för den fortsatta produktutvecklingen. Dessa områden gav en klarhet i om projektet var genomförbart och vidare vilka fysiska begränsningar och möjligheter projektet hade inför det fortsatta produktutvecklingsarbetet. Med den nya kunskapen bakom sig inleddes idégenereringsfasen. Här användes flera olika idégenereringsmetoder för att generera en mängd nya idéer. Idéerna utvecklades sedan för att därefter resultera i tre olika koncept. Förslagen pressenterades därefter för företaget som gick igenom koncepten och beslutade vilket koncept vi skulle arbeta vidare med. Efter företagets val använde vi oss av konceptvalsmatriser i den fortsatta produktutvecklingen för att nå fram till den bästa slutprodukten. Till sist framställdes en CAD-modell av det slutgiltiga konceptet och en teknisk prototyp tillverkad utefter denna modell. Prototypen gav en uppfattning om hur väl mekaniken hos konceptet fungerade. / This report covers the result of a final thesis in Product Design Engineering, in partial fulfillment of the Product Design Engineering program held at the University of Skövde. This report describes a project that was carried out in conjunction with Lundbergs Möbler in Tibro. The objective of the report is to convey the design process of integrating a table leaf into a Lundbergs dining table. The report will also present the product as it goes through the whole design process from idea, materializing in a prototype and concluding to a final concept/product. A pre study displays an overall view of product handling and current market solutions of today's table leaves, where handling issues and ergonomics of table leaf usage is illuminated. The information from the pre study has determined the feasibility of the project and has also been utilized as a foundation for a project specification upon which further product development can commence. With the information from the pre study as a foundation, the idea generation phase could begin. Different creativity methods are used to bring forth several innovatory ideas that can be utilized in improving the product. These ideas were improved on and evaluated to result in three different concepts. These concepts were then presented to Lundbergs Möbler who went through them and decided which concept to go forward with. Conceptual matrices were then used to steer further development of the product. When the concept was developed to satisfaction a CAD-model and a physical prototype has been built from the specifications and measurements from the CAD program. The prototype demonstrated the function of the mechanism that had resulted from the project. The prototype that resulted from integrating a table leaf in a dining table gave a functional mechanism that could be taken into production.