Spelling suggestions: "subject:"sas"" "subject:"suas""
251 |
Intégrateurs exponentiels modifiés pour la simulation des vagues non linéairesEichwald, Brice 05 July 2013 (has links) (PDF)
Pour réaliser des simulations précises aux temps longs pour des vagues non linéaires, il faut faire appel à des algorithmes d'évolution temporelle précis. En particulier, la combinaison d'un pas de temps adaptatif avec un facteur intégrant est connue pour être très efficace. Nous proposons une modification de cette technique. Le principe consiste à soustraire un certain polynôme à une EDP. Puis, comme pour le facteur intégrant, nous faisons un changement de variable pour retirer la partie linéaire. Mais nous espérons retirer quelque chose de plus afin de rendre l'EDP moins raide pour les calculs numériques. Le polynôme choisi est une expansion de Taylor autour du temps initial de la solution. Afin de calculer les différentes dérivées nécessaires, nous utilisons le Dense Output qui donne la possibilité d'approximer les dérivées de la solution à tout temps. Une fois le facteur intégrant modifié appliqué, nous faisons appel à une avance temporelle classique afin de résoudre l'équation d'évolution. Il a été considéré plusieurs schémas de Runge-Kutta avec pas de temps adaptatif. Nous avons tiré avantage des méthodes emboîtées, afin de ne pas calculer de nouvelles fonctions et perdre du temps de calcul, en utilisant uniquement des données déjà calculées durant l'évolution temporelle. Les résultats numériques montrent que l'efficacité de notre méthode varie selon les cas. Par exemple, nous avons vérifié que plus le profil de l'onde est pentue, plus notre méthode est efficace. Pour le modèle de vagues non linéaires le plus compliqué à notre disposition, le modèle HOS, nous avons pu réduire le nombre de pas de temps de calcul jusqu'à près de 30 % avec un schéma de Runge-Kutta de Dormand-Prince et jusqu'à plus de 99 % pour un schéma de Bogacki-Shampine.
|
252 |
Fibres optiques microstructurées chalcogénures fortement non linéaires à base AS2S3 : vers de nouvelles sources supercontinuum infrarougesEl Amraoui, Mohammed 22 November 2010 (has links) (PDF)
Pas de résumé en français
|
253 |
1933 : les circonstances expliquant la mise au pas de l'AllemagneFournier, Nicolas January 2008 (has links)
Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal
|
254 |
Intersubjectivité : modulation et ajustement. Cas des marqueurs discursifs "hein", "quoi", "n'est-ce pas" en français et "darô", "yo", "ne", "yone" en japonaisNoda, Hiroko 29 June 2011 (has links) (PDF)
Cette recherche vise à rendre compte du fonctionnement et des conditions d'emploi de quelques marqueurs discursifs, en relation avec la problématique de l'intersubjectivité. Elle s'inscrit dans le cadre théorique développé par A. Culioli " la Théorie des Opérations Prédicatives et Énonciatives ". Ce travail est consacré d'abord aux descriptions des emplois de hein, quoi et n'est-ce pas en français du point de vue distributionnel, sémantique, pragmatique et prosodique. L'analyse se fonde sur un corpus oral constitué de séquences tirées de film et d'émissions de télévision. L'étude porte également sur les descriptions des emplois de darô, yo, ne et yone en japonais qui sont des marqueurs comparables à hein ; elle se termine par une analyse comparative entre hein et les marqueurs japonais étudiés dans le but de montrer dans quelle mesure leur enjeux énonciatifs se recouvrent. Il s'avère que ces deux ensembles de marqueurs jouent un rôle crucial dans l'organisation des rapports intersubjectifs entre l'énonciateur et le coénonciateur
|
255 |
Estimation par ondelettes dans les modèles partiellement linéairesGannaz, Irène 07 December 2007 (has links) (PDF)
L'objet de cette thèse est d'apporter une contribution à l'inférence dans les modèles partiellement linéaires en appliquant des méthodes d'estimation adaptative par ondelettes. Ces modèles de régression semi-paramétriques distinguent des relations linéaires et des relations fonctionnelles, non paramétriques. L'inférence statistique consiste à estimer conjointement les deux types de prédicteurs, en prenant en compte leur possible corrélation. Une procédure des moindres carrés pénalisés permet d'introduire une estimation par ondelettes avec seuillage des coefficients de la partie fonctionnelle. Un parallèle est établi avec une estimation du paramètre de régression par des M-estimateurs usuels dans un modèle linéaire, les coefficients d'ondelettes de la partie fonctionnelle étant considérés comme des valeurs aberrantes. Une procédure d'estimation de la variance du bruit est aussi proposée. Des résultats relatifs aux propriétés asymptotiques des estimateurs de la partie linéaire et de la partie non paramétrique sont démontrés lorsque les observations de la partie fonctionnelle sont réalisées en des points équidistants. Sous des restrictions usuelles de corrélation entre les variables explicatives, les résultats sont presque optimaux (à un logarithme près). Des simulations permettent d'illustrer les comportements des estimateurs et de les comparer avec d'autres méthodes existantes. Une application sur des données d'IRM fonctionnelle a aussi été réalisée. Une dernière partie envisage le cadre d'un plan d'observation aléatoire de la partie fonctionnelle.
|
256 |
Interaction of bZIP and bHLH Transcription Factors with the G-boxDe Jong, Antonia Thelma-Jean 07 August 2013 (has links)
Transcription factors are proteins that regulate transcription of genes by binding to specific DNA sequences proximal to the gene. The specificity and affinity of protein-DNA recognition is critical for proper gene regulation. This thesis explores the mechanisms of binding to the sequence 5’CACGTG, a common recognition sequence both in plants where it is known as the G-box and in mammalian cells where it is termed the E-box. This sequence is of clinical interest because it is the target of the transcription factor Myc, an oncogene linked to many cancers. A number of alpha-helical proteins with different dimerization elements, from the basic region-leucine zipper (bZIP), basic region helix-loop-helix leucine zipper (bHLHZ) and basic region helix-loop-helix-PAS (bHLH-PAS) protein families, are capable of binding to this sequence. The basic regions of all these protein families contain residues that contact DNA and determine DNA sequence specificity while the other subdomains are responsible for dimerization specificity. First, the influence of protein-DNA contacts on sequence specificity of the plant bZIP protein EmBP-1 was probed by point mutations in the basic region. Residues that contact the DNA outside the core G-box sequence and residues that contact the phosphate backbone were found to be important for sequence specificity. Second, the impact of the dimerization subdomains of bHLHZ protein Max, the required heterodimerization partner of the Myc protein, and bHLH-PAS protein Arnt was probed by mutation, deletion and inter-family subdomain swapping studies. All studied protein families are intrinsically disordered, forming structure upon dimerization and DNA binding. The dimerization domains were found to indirectly influence DNA binding by affecting folding, dimerization ability or proper orientation of the basic regions relative to DNA. Lastly, a new strategy for selection of G-box binding proteins in the Yeast One-hybrid system is explored. Together, these studies broaden our understanding of the structure-function relationship of the DNA-binding activities of these closely related families of transcription factors. The creation and characterization of mutants with altered specificity, affinity and dimerization specificity may also be useful for biotechnology applications.
|
257 |
Interaction of bZIP and bHLH Transcription Factors with the G-boxDe Jong, Antonia Thelma-Jean 07 August 2013 (has links)
Transcription factors are proteins that regulate transcription of genes by binding to specific DNA sequences proximal to the gene. The specificity and affinity of protein-DNA recognition is critical for proper gene regulation. This thesis explores the mechanisms of binding to the sequence 5’CACGTG, a common recognition sequence both in plants where it is known as the G-box and in mammalian cells where it is termed the E-box. This sequence is of clinical interest because it is the target of the transcription factor Myc, an oncogene linked to many cancers. A number of alpha-helical proteins with different dimerization elements, from the basic region-leucine zipper (bZIP), basic region helix-loop-helix leucine zipper (bHLHZ) and basic region helix-loop-helix-PAS (bHLH-PAS) protein families, are capable of binding to this sequence. The basic regions of all these protein families contain residues that contact DNA and determine DNA sequence specificity while the other subdomains are responsible for dimerization specificity. First, the influence of protein-DNA contacts on sequence specificity of the plant bZIP protein EmBP-1 was probed by point mutations in the basic region. Residues that contact the DNA outside the core G-box sequence and residues that contact the phosphate backbone were found to be important for sequence specificity. Second, the impact of the dimerization subdomains of bHLHZ protein Max, the required heterodimerization partner of the Myc protein, and bHLH-PAS protein Arnt was probed by mutation, deletion and inter-family subdomain swapping studies. All studied protein families are intrinsically disordered, forming structure upon dimerization and DNA binding. The dimerization domains were found to indirectly influence DNA binding by affecting folding, dimerization ability or proper orientation of the basic regions relative to DNA. Lastly, a new strategy for selection of G-box binding proteins in the Yeast One-hybrid system is explored. Together, these studies broaden our understanding of the structure-function relationship of the DNA-binding activities of these closely related families of transcription factors. The creation and characterization of mutants with altered specificity, affinity and dimerization specificity may also be useful for biotechnology applications.
|
258 |
Scheduling of certifiable mixed-criticality systems / Ordonnancement des systèmes certifiés avec différents niveaux de criticitéSocci, Dario 09 March 2016 (has links)
Les systèmes temps-réels modernes ont tendance à obtenir la criticité mixte, dans le sens où ils intègrent sur une même plateforme de calcul plusieurs applications avec différents niveaux de criticités. D'un côté, cette intégration permet de réduire le coût, le poids et la consommation d'énergie. Ces exigences sont importantes pour des systèmes modernes comme par exemple les drones (UAV). De l'autre, elle conduit à des complications majeures lors de leur conception. Ces systèmes doivent être certifiés en prenant en compte ces différents niveaux de criticités. L'ordonnancement temps réel des systèmes avec différents niveaux de criticités est connu comme étant l’un des plus grand défi dans le domaine. Les techniques traditionnelles nécessitent une isolation complète entre les niveaux de criticité ou bien une certification globale au plus haut niveau. Une telle solution conduit à un gaspillage des ressources, et à la perte de l’avantage de cette intégration. Ce problème a suscité une nouvelle vague de recherche dans la communauté du temps réel, et de nombreuses solutions ont été proposées. Parmi elles, l'une des méthodes la plus utilisée pour ordonnancer de tels systèmes est celle d'Audsley. Malheureusement, elle a un certain nombre de limitations, dont nous parlerons dans cette thèse. Ces limitations sont encore beaucoup plus accentuées dans le cas de l'ordonnancement multiprocesseur. Dans ce cas précis, l'ordonnancement basé sur la priorité perd des propriétés importantes. C’est la raison pour laquelle, les algorithmes d'ordonnancement avec différents niveaux de criticités pour des architectures multiprocesseurs ne sont que très peu étudiés et ceux qu’on trouve dans la littérature sont généralement construits sur des hypothèses restrictives. Cela est particulièrement problématique car les systèmes industriels temps réel cherchent à migrer vers plates-formes multi-cœurs. Dans ce travail nous proposons une approche différente pour résoudre ces problèmes. / Modern real-time systems tend to be mixed-critical, in the sense that they integrate on the same computational platform applications at different levels of criticality. Integration gives the advantages of reduced cost, weight and power consumption, which can be crucial for modern applications like Unmanned Aerial Vehicles (UAVs). On the other hand, this leads to major complications in system design. Moreover, such systems are subject to certification, and different criticality levels needs to be certified at different level of assurance. Among other aspects, the real-time scheduling of certifiable mixed critical systems has been recognized to be a challenging problem. Traditional techniques require complete isolation between criticality levels or global certification to the highest level of assurance, which leads to resource waste, thus loosing the advantage of integration. This led to a novel wave of research in the real-time community, and many solutions were proposed. Among those, one of the most popular methods used to schedule such systems is Audsley approach. However this method has some limitations, which we discuss in this thesis. These limitations are more pronounced in the case of multiprocessor scheduling. In this case priority-based scheduling looses some important properties. For this reason scheduling algorithms for multiprocessor mixed-critical systems are not as numerous in literature as the single processor ones, and usually are built on restrictive assumptions. This is particularly problematic since industrial real-time systems strive to migrate from single-core to multi-core and many-core platforms. Therefore we motivate and study a different approach that can overcome these problems.A restriction of practical usability of many mixed-critical and multiprocessor scheduling algorithms is assumption that jobs are independent. In reality they often have precedence constraints. In the thesis we show the mixed-critical variant of the problem formulation and extend the system load metrics to the case of precedence-constraint task graphs. We also show that our proposed methodology and scheduling algorithm MCPI can be extended to the case of dependent jobs without major modification and showing similar performance with respect to the independent jobs case. Another topic we treated in this thesis is time-triggered scheduling. This class of schedulers is important because they considerably reduce the uncertainty of job execution intervals thus simplifying the safety-critical system certification. They also simplify any auxiliary timing-based analyses that may be required to validate important extra-functional properties in embedded systems, such as interference on shared buses and caches, peak power dissipation, electromagnetic interference etc..The trivial method of obtaining a time-triggered schedule is simulation of the worst-case scenario in event-triggered algorithm. However, when applied directly, this method is not efficient for mixed-critical systems, as instead of one worst-case scenario they have multiple corner-case scenarios. For this reason, it was proposed in the literature to treat all scenarios into just a few tables, one per criticality mode. We call this scheduling approach Single Time Table per Mode (STTM) and propose a contribution in this context. In fact we introduce a method that transforms practically any scheduling algorithm into an STTM one. It works optimally on single core and shows good experimental results for multi-cores.Finally we studied the problem of the practical realization of mixed critical systems. Our effort in this direction is a design flow that we propose for multicore mixed critical systems. In this design flow, as the model of computation we propose a network of deterministic multi-periodic synchronous processes. Our approach is demonstrated using a publicly available toolset, an industrial application use case and a multi-core platform.
|
259 |
Řešení revitalizace brownfields v České republice a ve Francii / Revitalization of brownfields in the Czech Republic and in FranceNOVÁKOVÁ, Blanka January 2017 (has links)
This diploma thesis is about the revitalisation of a degraded, abandoned buildings which are called brownfields. The main objective is a comparison between different approaches to the solution of these areas in the Czech Republic and France. There are two case studies. One of them is a regeneration of a former textile factory in the Nord Pas de Calais region and the second one is a current textile factory in Strakonice. The thesis also contains propositions about new usage. France has more developed ideas because it has more experiences in brownfield transformations, since the seventieth years of the twentieth century. Effective instruments are public organization of land (EPF). The collaboration of the public and private sector is also useful, the completion of the legislative tools of strategic planning and indirect tax tools. The most used instrument for the regeneration of brownfields in France is ZAC. The function of this instrument is based on the preparation of the land for a new development. The Czech Republic is being concerned about this topic since the year 1989 and more intensively in 2000. A lot of brownfields are sorted out, but many of them are still there. The biggest barrier of the revitalisation of brownfields are unresolved property rights. There is a financial aid from the fonds of the Europe Union. The Czech Republic also needs a big support from the public sector.
|
260 |
Avaliação da implantação das boas práticas agropecuárias para a qualidade e segurança do leite de uma cooperativa do Estado do Rio Grande do SulMartello, Leonir January 2017 (has links)
A cadeia do leite tem um importante papel na ordem econômica e social do agronegócio brasileiro. A qualidade do leite produzido no Brasil ainda está abaixo do tecnicamente recomendável, fazendo com que fique comprometida a inocuidade dos alimentos lácteos ofertados à população e também às possibilidades do Brasil de se estabelecer como um forte competidor no mercado internacional. A melhoria da qualidade sanitária do leite está relacionada a adoção de Boas Práticas Agropecuárias (BPA), visando prevenir possíveis falhas no processo de produção. O objetivo deste trabalho foi identificar as características das propriedades produtoras de leite associadas a uma Cooperativa do estado do RS, bem como avaliar a eficácia da implantação do Programa Alimentos Seguros (PAS Leite Campo), no âmbito dos critérios legais de conformidade na qualidade higiênico-sanitária do leite produzido. Para isto foi utilizada a metodologia de Implantação Orientada desenvolvida pelo PAS Campo – Leite, em 59 produtores. No início e no final da implantação foram identificados dados para caracterização das propriedades e avaliados os indicadores de percentagem de conformidade dos itens da lista de verificação das BPA, que foram divididos em localização e instalações; segurança da água; capacitação e saúde do trabalhador; manejo da ordenha; higiene de equipamentos e utensílios; refrigeração e estocagem; controle de pragas; manejo sanitário e armazenamento dos alimentos, bem como da qualidade higiênico-sanitária da matéria-prima (leite), através de análises de contagem de células somáticas (CCS) e contagem de bactérias totais (CBT), antes e no decorrer da implantação do programa Para analisar os dados foi utilizado o software “Statistical Package for the Social Sciences” (SPSS), através do teste de ANOVA, a fim de identificar a diferença estatística entre resultados com significância de 5% para análise das médias. Todas as propriedades estudadas possuíam ordenha mecânica e equipamento de refrigeração, uma produção média de 22,91 L/vaca /dia, em um plantel de 3.127 vacas, sendo 1.577 em lactação, totalizando a produção de 36.130 litros por dia. Os resultados de conformidade geral apresentaram uma evolução positiva de 64,41% inicialmente e alcançaram no final da implantação 96,20% do total. As contagens de CCS e CBT apresentaram quedas significativas no desenvolver do projeto. Com base no exposto, pode-se concluir que a adoção da BPA através do PAS foi eficaz para adequação das propriedades produtoras de leite aos critérios legais, bem como para a melhoria-higiênico sanitária do leite. / Milk food chain has an important role in the economic and social order of Brazilian agrobusiness. Sanitary quality of milk produced in Brazil still remains well below the technically recommended, compromising both the harmlessness of dairy products offered to population and Brazil’s possibilities to be established as a strong competitor in international market. Improvements in milk sanitary quality are linked with the adoption of Good Agricultural Practices (GAP), aiming to correct possible flaws in the production process. The objective of the present study was to identify the characteristics of milk producing proprieties associated with a state’s Cooperative from Rio Grande do Sul (RS), as well as evaluate the efficacy of the implantation of the Safe Food Program (SFP Milk - Field) in the scope of conformity legal criteria in the hygienic-sanitary quality of milk produced. For that, methodology of Oriented Implantation developed by the SFP Milk - Field was used, in 59 milk producers. At the start and ending of the implantation, data for the characterization of proprieties was identified, whereas indicators of the conformity percentage of items from the verification list of GAP were evaluated, the last being divided in localization and installations; water safety; health and capacity of workers; milking handling; hygiene of equipment and utensils; refrigeration and storage; plague control; sanitary handling and food storage, as well as hygienic-sanitary quality of raw material (milk), through the analyses of somatic cell count (SCC) and total bacterial count (TBC), before and during the program’s implantation For data tabulation, software “Statistical Package for the Social Sciences” (SPSS) was used together with ANOVA test, aiming to identify the statistical difference between results with significance of 5% for average analysis. All proprieties studied had mechanical milking and refrigeration equipment; average milk production was of 21.81 L/cow/day, in a herd of 3,127 cows, being 1,577 in lactation, totalizing a production of 36,130 Liters per day. General conformity results showed a positive evolution of 64.41%, reaching up to 96.20% at the end of implantation. SCC and TBC counting showed significant decreases with the development of the project. Based on the exposed, it is possible to conclude that the adoption of GAP through SFP is effective for the adequacy of milk producing proprieties to legal criteria, as well as to the improvement of milk hygienic and sanitary quality.
|
Page generated in 0.0387 seconds