Letteratura scientifica selezionata sul tema "Paramétrée"
Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili
Consulta la lista di attuali articoli, libri, tesi, atti di convegni e altre fonti scientifiche attinenti al tema "Paramétrée".
Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.
Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.
Articoli di riviste sul tema "Paramétrée":
1
Couvreur, J. M., S. Haddad e J. F. Peyre. "Résolution paramétrée de familles de systèmes linéaires". RAIRO - Operations Research 26, n. 2 (1992): 183–206. http://dx.doi.org/10.1051/ro/1992260201831.
2
Saint-Pierre, Jean, e Saïd Sajid. "Intégration de multifonctions par rapport à une mesure paramétrée". Comptes Rendus de l'Académie des Sciences - Series I - Mathematics 324, n. 1 (gennaio 1997): 55–60. http://dx.doi.org/10.1016/s0764-4442(97)80103-6.
3
Sambou, S. "Comparaison par simulation de Monte-Carlo des propriétés de deux estimateurs du paramètre d'échelle de la loi exponentielle : méthode du maximum de vraisemblance (MV) et méthode des moindres carrés (MC)". Revue des sciences de l'eau 17, n. 1 (12 aprile 2005): 23–47. http://dx.doi.org/10.7202/705521ar.
Abstract (sommario):
La loi exponentielle est très répandue en hydrologie : elle est faiblement paramétrée, de mise en œuvre aisée. Deux méthodes sont fréquemment utilisées pour estimer son paramètre : la méthode du maximum de vraisemblance et la méthode des moments, qui fournissent la même estimation. A côté de ces deux méthodes, il y a celle des moindres carrés qui est très rarement utilisée pour cette loi. Dans cet article, nous comparons le comportement asymptotique de l'estimateur de la méthode des moindres carrés avec celui de la méthode du maximum de vraisemblance en partant d'une loi exponentielle à un seul paramètre a connu, puis en généralisant les résultats obtenus à partir de la dérivation des expressions analytiques. L'échantillon historique disponible en pratique étant unique, et de longueur généralement courte par rapport à l'information que l'on désire en tirer, l'étude des propriétés statistiques des estimateurs ne pourra se faire qu'à partir d'échantillons de variables aléatoires représentant des réalisations virtuelles du phénomène hydrologique concerné obtenus par simulations de Monte Carlo. L'étude par simulation de Monte Carlo montre que pour de faibles échantillons, l'espérance mathématique des deux estimateurs tend vers le paramètre réel, et que la variance de l'estimateur des moindres carrés est supérieure à celle de l'estimateur du maximum de vraisemblance.
4
Chambon, O., P. Cialdella, M. Marie-Cardine e J. L. Terra. "Une voie de recherche en psychopathologie quantitative: présentation des travaux de P. Bech". Psychiatry and Psychobiology 4, n. 3 (1989): 133–38. http://dx.doi.org/10.1017/s0767399x00001553.
Abstract (sommario):
RésuméLes travaux de P. Bech sont principalement axés vers l’amélioration des qualités psychométriques des échelles d’évaluation psychiatrique déjá existantes. Dans ce but, P. Bech propose plusieurs techniques:– la plus importante, résidant dans l’utilisation du modéle logistique de Rasch: le modéle de Rasch permet de s’assurer, á l’encontre de l’analyse factorielle, de la valeur d’une somme de notes d’item en vue de la mesure d’une dimension. La position (paramétre) des item sur la dimension est estimée indépendamment de la population, et les estimations sont donc théoriquement absolues. Par conséquent, si le modéle est bien adapté, les paramétres d’un item doivent rester stables, quelles que soient les caratéristiques de l’échantillon (sexe, age, diagnostic par exemple). De surcroît, le test d’ajustement du modéle de Rasch permet une vérification de l’unidimensionnalité de l’échelle;– l’introduction, pour tous les degrés d’un item, d’une définition opérationnelle précise;– et enfin, la recommandation de regrouper les scores globaux d’une échelle en un nombre restreint de catégories.Bech propose également que plusieurs échelles ainsi remaniées soient réunies au sein d’un inventaire de psychopathologie générale qui posséderait plusieurs avantages, dont celui de dimensions mieux individualisées, sur les inventaires classiques.
5
Rowe, Timothy. "Paramétrage «scientifique»". Journal of Obstetrics and Gynaecology Canada 33, n. 6 (giugno 2011): 577–78. http://dx.doi.org/10.1016/s1701-2163(16)34902-7.
6
Laug, Patrick, Houman Borouchaki e Erwan Renaut. "Linéarisation et maillage des surfaces paramétrées". Comptes Rendus Mathematique 349, n. 9-10 (maggio 2011): 591–95. http://dx.doi.org/10.1016/j.crma.2011.03.020.
7
Akrout, H. "Théorème de Voronoï dans les espaces symétriques". Canadian Journal of Mathematics 54, n. 3 (1 giugno 2002): 449–67. http://dx.doi.org/10.4153/cjm-2002-015-1.
Abstract (sommario):
RésuméOn démontre un théorème de Voronoï (caractérisation des maxima locaux de l’invariant d’Hermite) pour les familles de réseaux paramétrées par les espaces symétriques irréductibles non exceptionnels de type non compact.
8
Ladányi, Zsuzsanna, Alexandra Fábián, Adrienn Ujvári, Márton Tokodi, Tímea Turschl, Tímea Bálint, Dávid Nagy et al. "A bal kamrai kontraktilitás korszerű echokardiográfiás vizsgálata: a miokardiális munka". Cardiologia Hungarica 53, n. 6 (2023): 577–84. http://dx.doi.org/10.26430/chungarica.2023.53.6.577.
Abstract (sommario):
A bal kamrai szisztolés funkció legalapvetőbb echokardiográfi ás paramétere az ejekciós frakció (EF), azonban ennek értéke nem mindig követi a kontraktilitás változásait, mivel a myocardium aktuális állapotán túl az elő- és utóterhelési viszonyok is jelentősen befolyásolják. Az elmúlt évtizedben népszerűvé vált, speckle-tracking analízissel meghatározható globális longitudinális strain (GLS). Bár jóval korábban, akár szubklinikus stádiumban is képes a myocardium betegségét kimutatni, azonban ezt a paramétert is jelentősen befolyásolja mind a volumen-, mind a nyomásterhelés. Ezen limitációk kiküszöbölésére került bevezetésre a nyomás-strain hurok elemzésével meghatározható miokardiális munka, amely potenciális szerepét már számos kórállapotban vizsgálták, ahol diagnosztikus és prognosztikus értéke a GLS-ét is meghaladta. Ez az új módszer a miokardiális deformációt a pillanatnyi bal kamrai nyomás függvényében vizsgálja. Így feltételezhető, hogy a nyomásterheléssel járó kórállapotokban is megbízható paramétere a bal kamra kontraktilitásának, és ezen tulajdonsága miatt értékes diagnosztikus és prognosztikus marker. Összefoglaló cikkünk célja annak bemutatása, hogy a miokardiális munka paraméterek milyen hozzáadott értékkel rendelkeznek különböző kardiovaszkuláris kórállapotokban.
9
Groz, Roland, Muzammil Shahbaz e Kegin Li. "Extraction de modèles paramétrés au cours du test de composants logiciels". Techniques et sciences informatiques 27, n. 8 (30 ottobre 2008): 977–1006. http://dx.doi.org/10.3166/tsi.27.977-1006.
10
Bourgeois-République, C., e P. Collet. "Aide au paramétrage d'implant cochléaire par algorithme évolutionnaire". J3eA 3 (2004): 019. http://dx.doi.org/10.1051/bib-j3ea:2004619.
Tesi sul tema "Paramétrée":
1
Chamseddine, Najla. "Analyse quantitative paramétrée d'automates temporisés probabilistes". Phd thesis, École normale supérieure de Cachan - ENS Cachan, 2009. http://tel.archives-ouvertes.fr/tel-00626062.
Abstract (sommario):
Nous considérons une sous classe d'automates temporisés probabilistes où les contraintes temporelles au niveau des gardes et des invariants sont exprimées par des paramètres. Cette sous classe est appelée la classe des automates Temporisés Probabilistes Paramétrés Semi Déterminés (ATPP Semi Déterminés). Cette classe d'automates se définit en particulier par l'attribution d'une unique distribution à chaque état et par des gardes de la forme x<=a où a est un paramètre ou un entier naturel. Nous imposons de plus deux propriétés sur ces automates qui sont celles de non blocage et fortement non zenon. Notre travail vise à calculer le temps moyen maximal de convergence vers un état dit absorbant q_end dans ce type d'automates. L'unique méthode traitant déjà ce type de problème fait appel à la discrétisation du temps et à l'application de techniques de programmation linéaire. Elle est cependant exponentielle car elle dépend du nombre d'horloges et de la plus grande constante à laquelle sont comparées les horloges, lors de la discrétisation. Le graphe résultant peut être de taille exponentielle. Pour tout ATPP Semi Déterminé, on définit un automate totalement déterministe, appelé ATPP Déterminé, en remplaçant toute garde de la forme x<=a par une garde de la forme x=a. Le temps d'attente en chaque état est ainsi fixé par la valuation de l'état initial qui remet toutes les horloges à zéro. Nous démontrons que le temps moyen de convergence vers q_end dans l'ATPP Déterminé est égal au temps moyen maximal de convergence dans l'ATPP Semi Déterminé dont il découle. Pour calculer le temps moyen de convergence vers q_end nous construisons à partir de l'ATPP Déterminé un graphe appelé "graphe des macro-steps" qui contient de façon concise l'information nécessaire au calcul du coût moyen de convergence vers q_end. Ce graphe est de taille polynomiale et se construit en temps polynomial. Le calcul du temps moyen de convergence dans le graphe des macro-steps est solution d'un système linéaire, comme dans le cas des chaînes de Markov avec coûts. On résout ce système linéaire en temps polynomial, ce qui permet d'obtenir finalement le temps moyen maximal de convergence vers q_end dans l'ATPP Semi Déterminé. Nous appliquons enfin cette méthode à certains protocoles de communication, notamment BRP (Bounded Retransmission Protocol) et CSMA/CD (Carrier Sense Multiple Access with Collision Detection).
2
Fradin, Julien. "Graphes complexes en biologie : problèmes, algorithmes et évaluations". Thesis, Nantes, 2018. http://www.theses.fr/2018NANT4093/document.
Abstract (sommario):
Afin de mieux comprendre le fonctionnement d'un système biologique, il est nécessaire d'étudier les différentes entités qui le composent. Pour cela, on peut modéliser ces interactions biologiques sous la forme de graphes. Pour certains de ces graphes, les sommets sont colorés afin d'apporter une information supplémentaire sur la couleur qui leur est associée. Dans ce cadre, une problématique courante consiste à y rechercher un sous-graphe d'intérêt appelé motif. Dans la première partie de ce manuscrit, on présente un état de l'art d'un point de vue algorithmique sur le problème GRAPH MOTIF, qui consiste à rechercher des motifs dits fonctionnels dans ce type de graphes. La modélisation de systèmes biologiques sous la forme de graphes peut également être appliquée em spectrométrie de masse. Ainsi, on introduit le problème MAXIMUM COLORFUL ARBORESCENCE (MCA) dans le but de déterminer de novo la formule moléculaire de métabolites inconnus. Dans la deuxième partie de ce manuscrit, on réalise une étude algorithmique du problème MCA. Alors que MCA est algorithmiquement difficile à résoudre même dans des classes de graphes très contraintes, notre modélisation nous permet notamment d'obtenir de nouveaux algorithmes d'approximation dans ces mêmes classes, ainsi que de déterminer une nouvelle classe de graphes dans laquelle MCA se résout en temps polynomial. On montre également des résultats de complexité paramétrée pour ce problème, que l'on compare ensuite à ceux de la littérature sur des instances issues de données biologiquesLn order to better understand how a biological system works, it is necessary to study the interactions between the different entities that compose it. To this aim, these biological interactions can be modelled in the form of graphs. ln some of these graphs, the vertices are colored in order to provide additional information on the entity which is associated with them. ln this context, a common subproblem consists in searching for a subgraph of interest, called a motif, in these graphs. ln the first part of this manuscript, we present a state of the art from an algorithmical point of view of the GRAPH MOTIF problem, which consists in searching for so-called functional motifs in vertex-colored graphs. The modeling of biological systems in graphs form can also be applied in mass spectrometry. Thus, we introduce the MAXIMUM COLORFUL ARBORESCENCE problem (MCA) in order to de novo determine the molecular formula of unknown metabolites. ln the second part of this manuscript, we carry out an algorithmic study of the MCA problem. While MCA is algorithmically difficult to solve even in very constrained graph classes, our modeling allows us to obtain new approximation algorithms in these same classes, as well as to determine a new graph class in which MCA is solved in polynomial time. Parameterized complexity results for this problem are also shown, which are then compared to those in the literature on instances from biological data
3
Dailler, Sylvain. "Extension paramétrée de compilateur certifié pour la programmation parallèle". Thesis, Orléans, 2015. http://www.theses.fr/2015ORLE2071/document.
Abstract (sommario):
Les applications informatiques sont de plus en plus présentes dans nos vies. Pour les applications critiques (médecine, transport, . . .), les conséquences d’une erreur informatique ont un coût inacceptable, que ce soit sur le plan humain ou financier. Une des méthodes pour éviter la présence d’erreurs dans les programmes est la vérification déductive. Celle-ci s’applique à des programmes écrits dans des langages de haut-niveau transformés, par des compilateurs, en programmes écrits en langage machine. Les compilateurs doivent être corrects pour ne pas propager d’erreurs au langage machine. Depuis 2005, les processeurs multi-coeurs se sont répandus dans l’ensemble des systèmes informatiques. Ces architectures nécessitent des compilateurs et des preuves de correction adaptées. Notre contribution est l’extension modulaire d’un compilateur vérifié pour un langage parallèle ciblant des architectures parallèles multi-coeurs. Les spécifications des langages (et leurs sémantiques opérationnelles) présents aux divers niveaux du compilateur ainsi que les preuves de la correction du compilateur sont paramétrées par des modules spécifiant des éléments de parallélisme tels qu’un modèle mémoire faible et des notions de synchronisation et d’ordonnancement entre processus légers. Ce travail ouvre la voie à la conception d’un compilateur certifié pour des langages parallèles de haut-niveau tels que les langages à squelettes algorithmiquesNowadays, we are using an increasing number of computer applications. Errors in critical applications (medicine, transport, . . .) may carry serious health or financial issues. Avoiding errors in programs is a challenge and may be achieved by deductive verification. Deductive verification applies to program written in a high-level languages, which are transformed into machine language by compilers. These compilers must be correct to ensure the nonpropagation of errors to machine code. Since 2005, multicore processors have spread in all electronic devices. So, these architectures need adapted compilers and proofs of correctness. Our work is the modular extension of a verified compiler for parallel languages targeting multicore architectures. Specifications of these languages (and their operational semantics) needed at all levels of the compiler and proofs of correctness of this compiler are parameterized by modules specifying elements of parallelism such as a relaxed memory model and notions of synchronization and scheduling between threads. This work is the first step in the conception of a certified compiler for high-level parallel languages such as algorithmic skeletons
4
Bonnet, Edouard. "Résultats Positifs et Négatifs en Approximation et Complexité Paramétrée". Thesis, Paris 9, 2014. http://www.theses.fr/2014PA090040/document.
Abstract (sommario):
De nombreux problèmes de la vie réelle sont NP-Difficiles et ne peuvent pas être résolus en temps polynomial. Deux paradigmes notables pour les résoudre quand même sont: l'approximation et la complexité paramétrée. Dans cette thèse, on présente une nouvelle technique appelée "gloutonnerie-Pour-La-Paramétrisation". On l'utilise pour établir ou améliorer la complexité paramétrée de nombreux problèmes et également pour obtenir des algorithmes paramétrés pour des problèmes à cardinalité contrainte sur les graphes bipartis. En vue d'établir des résultats négatifs sur l'approximabilité en temps sous-Exponentiel et en temps paramétré, on introduit différentes méthodes de sparsification d'instances préservant l'approximation. On combine ces "sparsifieurs" à des réductions nouvelles ou déjà connues pour parvenir à nos fins. En guise de digestif, on présente des résultats de complexité de jeux comme le Bridge et HavannahSeveral real-Life problems are NP-Hard and cannot be solved in polynomial time.The two main options to overcome this issue are: approximation and parameterized complexity. In this thesis, we present a new technique called greediness-For-Parameterization and we use it to improve the parameterized complexity of many problems. We also use this notion to obtain parameterized algorithms for some problems in bipartite graphs. Aiming at establishing negative results on the approximability in subexponential time and in parameterized time, we introduce new methods of sparsification that preserves approximation. We combine those "sparsifiers" with known or new reductions to achieve our goal. Finally, we present some hardness results of games such as Bridge and Havannah
5
Chopin, Morgan. "Problèmes d'optimisation avec propagation dans les graphes : complexité paramétrée et approximation". Phd thesis, Université Paris Dauphine - Paris IX, 2013. http://tel.archives-ouvertes.fr/tel-00933769.
Abstract (sommario):
Dans cette thèse, nous étudions la complexité algorithmique de problèmes d'optimisation impliquant un processus de diffusion dans un graphe. Plus précisément, nous nous intéressons tout d'abord au problème de sélection d'un ensemble cible. Ce problème consiste à trouver le plus petit ensemble de sommets d'un graphe à "activer" au départ tel que tous les autres sommets soient activés après un nombre fini d'étapes de propagation. Si nous modifions ce processus en permettant de "protéger" un sommet à chaque étape, nous obtenons le problème du pompier dont le but est de minimiser le nombre total de sommets activés en protégeant certains sommets. Dans ce travail, nous introduisons et étudions une version généralisée de ce problème dans laquelle plus d'un sommet peut être protégé à chaque étape. Nous proposons plusieurs résultats de complexité pour ces problèmes à la fois du point de vue de l'approximation mais également de la complexité paramétrée selon des paramètres standards ainsi que des paramètres liés à la structure du graphe.
6
Rinaudo, Philippe. "Algorithmique de l'alignement structure-séquence d'ARN : une approche générale et paramétrée". Phd thesis, Université Paris Sud - Paris XI, 2012. http://tel.archives-ouvertes.fr/tel-00847745.
Abstract (sommario):
L'alignement de macromolécules biologiques comme les protéines, l'ADN ou encore l'ARN est une problématique biologique et bio-informatique qui a pour but de révéler une partie des mystères du fonctionnement des cellules, constituants des êtres vivants. Les ARN non-codant sont des macromolécules intervenant dans le métabolisme de tout être vivant et les deux problématiques majeurs les concernant sont: la prédiction de leur structure pour mieux comprendre leur fonctionnement et leur détection dans des bases de données ou des génomes. L'une des approches: l'alignement structure-séquence d'ARN, répond à ces deux problématiques. Le problème d'alignement structure-séquence consiste à aligner une structure connue d'un premier ARN avec la séquence d'un deuxième ARN.La structure est représentée sous la forme d'un graphe ou de façon équivalente sous la forme d'une séquence arc-annotées et la séquence représente la suite des nucléotides de l'ARN.Pour résoudre ce problème, nous cherchons à optimiser l'alignement selon une fonction de coût. C'est donc un problème d'optimisation, qui malheureusement se révèle NP-Difficile.En conséquence différents travaux définissent des classes d'instances réduites pour lesquelles ils proposent des algorithmes spécifiques mais à complexités polynomiales.Les travaux de ma thèse unifient et la généralisent les approches précédentes par la construction d'un algorithme à complexité paramétrée non spécifique à une classe d'instances. En utilisant cet algorithme, il est possible de résoudre le problème d'alignement structure-séquence pour toutes les instances possibles, et aussi efficacement que les précédentes approches sur leur domaine de résolution respectif. Cet algorithme utilise une technique empruntée à la théorie des graphes: la décomposition arborescente, c'est-à-dire qu'il transforme la structure donnée en une décomposition arborescente et c'est ensuite cette décomposition qui est alignée avec la séquence donnée. L'alignement entre une décomposition arborescente et une séquence se fait par programmation dynamique.Sa mise en place a nécessité une reformulation du problème ainsi qu'une modification importante de l'utilisation classique de la programmation dynamique pour les décompositions arborescentes. Au final, cela conduit à un algorithme paramétré dont le paramètre est entièrement lié à la décomposition arborescente. La construction des décompositions arborescentes pour lesquelles l'alignement s'effectuera plus le efficacement possible est malheureusement un problème lui aussi NP-Difficile. Néanmoins, nous avons créé une heuristique de construction de décompositions adaptée aux structures d'ARN.Nous avons alors défini des nouvelles classes de structures pour lesquelles notre algorithme (décomposition et alignement) possède une faible complexité. Ces classes incluent notamment toutes les autres classes précédemment définies et la complexité de notre algorithme est au moins aussi faible que celles des algorithmes spécifiques sur leurs classes de structures respectives. Ces classes de structures représentent la majorité des structures connues et contiennent de nombreux éléments importants jusqu'alors non pris en compte (tel que les motifs tertiaires d'ARN). Le problème de l'alignement structure-séquence tente de répondre aux problématiques de prédictions de structures et de recherche d'ARN. Néanmoins, la qualité des résultats obtenus par sa résolution dépendent de la fonction de coût utilisée. Durant ma thèse j'ai commencé la mise place de la construction par apprentissage d'une nouvelle fonction de coût, adaptée aux nouvelles classes de structures que nous avons défini. Enfin de par la nature de l'algorithme, le travail réalisé permet des améliorations non négligeables, en terme de qualité des résultats et de rapidité de calcul comme la recherche de solution sous-optimales ou l'utilisation de l'algorithme au sein d'heuristiques dérivées d'heuristiques classiques.
7
Morançay, Lionel. "Représentation paramétrée et modélisation des systèmes physiques pour la conception optimale". Compiègne, 1993. http://www.theses.fr/1993COMP582S.
Abstract (sommario):
Ce document présente une étude des problèmes liés à la description informatique de systèmes physiques pour l'optimisation des performances de produits industriels. Dans une première partie, les problèmes d'architecture de logiciels pour la conception et la fabrication assistées par ordinateur sont abordés et l'architecture du système interactif de conception logiciel de modélisation par éléments finis est introduite. Dans une deuxième partie, les problèmes liés à la génération de maillages dans un contexte auto-adaptatif nécessaire à l'automatisation du processus d'optimisation sont considérés et notre contribution à la réalisation d'outils pour l'adaptation de maillages est développée (une étude bibliographique, de la méthode de Delaunay et des méthodes de maillage frontales en particulier, est présentée en annexe). La troisième partie rapporte les méthodes de paramétrage des formes utilisées jusqu'à présent dans le domaine de la synthèse optimale, ainsi que l'approche que nous avons adoptée : l'historique de construction. Les outils développés pour le calcul de gradients par différences finies (en l'occurrence, des techniques de repositionnement des nœuds d'un maillage lorsque la géométrie du domaine évolue) et l'organisation générale des problèmes d'optimisation dans l'environnement du système interactif de conception sont également exposés. Un exemple d'application industriel a été traite. Il concerne l'optimisation de la forme d'une bielle. Enfin, de nouveaux axes de recherche sont dégages, en ce qui concerne la représentation paramétrée et le maillage de formes tri-dimensionnelles, notamment.
8
Duvillié, Guillerme. "Approximation, complexité paramétrée et stratégies de résolution de problèmes d'affectation multidimensionnelle". Thesis, Montpellier, 2016. http://www.theses.fr/2016MONTT321/document.
Abstract (sommario):
Au cours de la thèse, nous nous sommes intéressés aux problèmes d'empilement de wafers. Ces problèmes apparaissent lors de la fabrication de processeurs en 3 dimensions. Au cours du processus de fabrication, les puces électroniques doivent être empilées les unes sur les autres. Jusqu'à peu, ces dernières, une fois gravées sur des plaques de silicium appelées wafers, étaient découpées, puis triées afin d'écarter les puces défectueuses et enfin assemblées les unes entre elles.Cependant empiler les wafers plutôt que les puces présente de nombreux avantages techniques et financiers. Naturellement, étant impossible d'écarter les puces défectueuses sans découper la plaque de silice, le problème de la superposition d'une puce viable avec une puce défectueuse se pose. Une pile de puces, étant considérées comme défectueuse si elle contient ne serait-ce qu'une puce défectueuse, la superposition non réfléchie des wafers entre eux mènerait à un rendement désastreux.Afin de générer un nombre minimum de piles défectueuses, une "cartographie" de chaque wafer candidat à la superposition est réalisée lors d'une phase de test, permettant de situer les puces défectueuses sur le wafer. Une fois cette cartographie réalisée, l'objectif est de sélectionner les wafers qui seront assemblés ensembles de manière à faire correspondre les défauts de chacun des wafers.Ce problème peut être modélisé à l'aide d'un problème d'affectation multidimensionnelle. Chaque wafer est représenté par un vecteur comportant autant de composantes que de puces sur le wafer qu'il représente. Une composante égale à zéro matérialise une puce défectueuse tandis qu'un un matérialise une puce viable. Chaque lot de wafers est représenté par un lot de vecteurs. Formellement, une instance d'empilement de wafers est représenté par m ensembles de n vecteurs binaires p-dimensionnels. L'objectif est alors de réaliser n m-uplets disjoints contenant exactement un vecteur par ensemble. Ces m-uplets représenteront les piles. Chaque m-uplet peut être représenté par un vecteur binaire p-dimensionnels, chaque composante étant calculée en réalisant le ET binaire des composantes correspondantes des vecteurs qui composent le m-uplet. Autrement dit, une composante du vecteur représentant le m-uplet est égale à un si et seulement si tous les vecteurs ont cette composante égale à un. Et donc une pile de puces est viables si toutes les puces qui la composent sont viables. L'objectif est alors de minimiser le nombre de zéros ou de maximiser le nombre de un.La thèse comporte deux grandes parties. Une partie théorique abordant la complexité des différentes versions du problèmes en fonction de certains paramètres tels que m, n, p ou encore le nombre maximum de zéros par vecteurs. Nous montrons entre autre que ces problèmes peuvent être utilisés pour modéliser des problèmes plus classiques tels que Maximum Clique, Minimum Vertex Cover ou encore k-Dimensional Matching, permettant de prouver un certain nombre de résultats négatifs que ce soit d'un point de vue de la complexité classique, l'approximabilité ou la complexité paramétrée. Nous fournissons également des résultats positifs pour des cas particuliers du problème.Dans un second temps, nous nous intéressons à la résolution pratique du problème en fournissant et comparant un certain nombre de formulations en Programmation Linéaire en Nombres Entiers. Mais nous nous intéressons également aux performances en pratique de certaines heuristiques à garantie de performances détaillées dans la partie théoriqueIn this thesis, we focused in the Wafer-to-Wafer integration problems. These problems come from IC manufacturing. During the production of three-dimensional processors, dies have to be superimposed. Until recent, the dies were engraved on a silicon disk called wafer, then were cut, tested and sorted to suppress faulty dies and lastly superimposed one to each other.However superimposing wafers instead of dies presents several technical and financial advantages. Since faulty dies can only be dismissed when cutting the wafer, superimpose two wafers can lead to superimpose a faulty die with a viable one. In this case, the resulting stack of dies is considered as faulty. It follows that a bad assignment between the wafers can lead to a disastrous yield.In order to minimize the number of faulty dies stacks, a "failure map" of each wafer is generated during a test phase. This map gives location of the faulty dies on the wafers. The objective is then to take advantage of this map to define an assignment of the wafers to each other in order to match as many failures as possible.This problem can be modelized with Multidimensional Assignment problems. Each wafer can be seen as a vector with as many dimensions as the number of dies engraved on it. A coordinate set to zero marks a faulty die while a coordinate set to one indicates a viable one. Each seat of wafers is represented by a set of vector. Formally, an instance of a Wafer-to-Wafer integration problem is represented by m sets of n p-dimensional vectors. The objective is then to partition the vectors into n disjoint m-tuples, each tuple containing exactly one vector per set. An m-tuple represents a stack of wafers. Every m-tuple can be represented by a p-dimensional vector. Each coordinate is computed by performing the bitwise AND between the corresponding coordinates of the vectors that compose the m-tuple. In other words, a coordinate of the representative vector is equal to one if and only if this coordinate is equal to one in every vector composing the tuple. It follows that a dies stack is viable if and only if all the dies composing the stack are viable. The objective is then to maximize the overall number of ones of to minimize the overall number of zeros.The first part of the thesis is a theoretical one. We study the complexity of the considered versions of the problem with regards to natural parameters such as m, n, p or the number of zeros per vector. We show that these problems can encode more classical problems such as Maximum Clique, Minimum Vertex Cover or k-Dimensional Matching. This leads to several negative results from computational complexity, approximability or even parameterized complexity point of view. We also provide several positive results for some specific cases of the problem.In a second part, we focus on the practical solving of the problem. We provide and compare several Integer Linear Programming formulations. We also focus on performances of some approximation algorithms that we detailed in the theoretical part
9
Efremov, Semen. "Croissance paramétrée et bruit procédural pour la conception de métamatériaux mécaniques". Electronic Thesis or Diss., Université de Lorraine, 2022. http://www.theses.fr/2022LORR0046.
Abstract (sommario):
Avec le développement constant des technologies, les capacités de calcul et de fabrication augmentent, les méthodes de production évoluent et de nouvelles techniques apparaissent. Par conséquent, le besoin de nouveaux matériaux aux propriétés adaptées et optimisées pour différentes applications se fait sentir. Les composites périodiques avec une topologie de microstructure adaptée, appelés métamatériaux cellulaires, sont largement étudiés dans ce contexte. Ces structures sont connues pour leurs propriétés mécaniques remarquables, notamment une résistance élevée, un poids réduit et une absorption d'énergie accrue. L'utilisation de ces matériaux permet d'obtenir des propriétés physiques améliorées ou des caractéristiques fonctionnelles spécifiques et apporte un gain économique et un bénéfice écologique. Cette thèse est consacrée au développement et à l'analyse de méthodes de conception assistée par ordinateur de matériaux aux propriétés mécaniques adaptées. Les métamatériaux mécaniques ont été étudiés à travers deux approches différentes : la modélisation de structures périodiques par un modèle de croissance paramétré et des fonctions de bruit procédurales. Pour relever le défi d'obtenir des microstructures quasi régulières avec des propriétés variant progressivement, j'ai proposé et étudié un matériau cellulaire engendré par un processus de croissance. La croissance est paramétrée par un ensemble d'étoiles 3D à chaque point du réseau, définissant la géométrie qui apparaîtra autour. Des tuiles individuelles peuvent être calculées et utilisées dans un treillis périodique, ou une structure globale peut être produite par gradation spatiale, en changeant l'ensemble paramétrique en forme d'étoile à chaque emplacement du treillis. Au-delà de la gradation spatiale libre, un avantage important de cette approche est que les symétries élastiques peuvent être intrinsèquement renforcées. Nous montrons dans ce travail comment les symétries partagées entre le réseau et l'ensemble étoilé se traduisent directement en symétries de la réponse élastique des structures périodiques. Ainsi, l'approche permet de restreindre la symétrie des réponses élastiques - monoclinique, orthorhombique, trigonale, etc. - tout en explorant librement un large espace de géométries et de topologies possibles. Je fournis une étude complète de l'espace de symétries et de larges combinaisons de paramètres de processus de croissance. De plus, je démontre par des résultats numériques et expérimentaux les réponses attendues déclenchées par les structures obtenues. La deuxième contribution de cette thèse est une nouvelle technique de synthèse procédurale de motifs. Cette approche présente des propriétés souhaitables pour la modélisation de motifs très contrastés, qui sont bien adaptés pour produire des détails de surface et de microstructure. Cette approche définit un champ de phase lisse stochastique - un bruit de phase - qui est ensuite introduit dans une fonction périodique (par exemple une onde sinusoïdale), produisant un champ oscillant avec des fréquences principales prescrites et des oscillations de contraste préservées. Je présente dans cette thèse un modèle mathématique qui repose sur une reformulation du bruit de Gabor en termes de champ phasor qui permet une séparation claire entre l'intensité locale et la phase. En particulier, j'étudie le comportement du bruit phasor en termes de spectre de puissance. Ainsi, une étude théorique comparative du bruit en phase est réalisée afin de comprendre les liens entre ses propriétés et ses paramètresWith constant development of technologies, computational and manufacturing capabilities increase, production methods evolve, and new techniques appear. As a result, the need for new materials with tailored, optimized properties for different applications arises. Periodic composites with tailored microstructure topology, called cellular metamaterials are extensively studied in this context. These structures are known for their remarkable mechanical properties, including high strength, lower weight, and increased energy absorption. The use of these materials allows to achieve improved physical properties or specific functional features and provides economical gain and ecological benefit.This thesis is dedicated to the development and analysis of methods for computer-aided design of materials with tailored mechanical properties. The mechanical metamaterials were studied through two different approaches: modelling periodic structures through a parameterized growth model and procedural noise functions. To tackle the challenge of obtaining near-regular microstructures with progressively varying properties, I proposed and studied a cellular material spawned by a growth process. The growth is parameterized by a 3D star-shaped set at each lattice point, defining the geometry that will appear around it. Individual tiles may be computed and used in a periodic lattice, or a global structure may be produced under spatial gradations, changing the parametric star-shaped set at each lattice location. Beyond free spatial gradation, an important advantage of this approach is that elastic symmetries can be intrinsically enforced. It is shown in this work how shared symmetries between the lattice and the star-shaped set directly translate into symmetries of the periodic structures' elastic response. Thus, the approach enables restricting the symmetry of the elastic responses -- monoclinic, orthorhombic, trigonal, and so on -- while freely exploring a wide space of possible geometries and topologies. I provide a comprehensive study of the space of symmetries and broad combinations of growth process parameters. Furthermore, I demonstrate through numerical and experimental results the expected responses triggered by the obtained structures.The second contribution of this thesis is a novel procedural pattern synthesis technique. This approach exhibits desirable properties for modeling highly contrasted patterns, that are well suited to produce surface and microstructure details. This approach defines a stochastic smooth phase field –- a phasor noise –- that is then fed into a periodic function (e.g. a sine wave), producing an oscillating field with prescribed main frequencies and preserved contrast oscillations. I present in this thesis a mathematical model, that builds upon a reformulation of Gabor noise in terms of a phasor field that affords for a clear separation between local intensity and phase. In particular, I study the behavior of phasor noise in terms of its power spectrum. Hence, a comparative theoretical study of phasor noise was performed in order to gain understanding of links between its properties and parameters
10
Andami, Ovono Armel. "Equations de diffusion paramétrée par la portée des interactions à longue distance". Phd thesis, Université de Poitiers, 2009. http://tel.archives-ouvertes.fr/tel-00365445.
Abstract (sommario):
Nous nous intéressons dans cette thèse à l'étude d'une équation parabolique quasilinéaire dans laquelle la diffusion est paramétrée par la longueur des différentes interactions non locales. Pour ce qui est du problème stationnaire associé, après avoir montré des résultats d'existence, d'unicité et de continuité. Nous présentons ensuite un critère général d'inversibilité dépendant du paramètre, ce critère très important va par la suite nous permettre en exemple d'application de retrouver des résultats d'inversibilités déjà connus lorsque le paramètre est égale au diamètre du domaine. Nous donnons ensuite un résultat de principe de comparaison de solutions symétriques radiales et une généralisation du compte du nombre de solutions. Enfin nous donnons quelques applications numériques utilisant une méthode de point fixe et de Newton pour illustrer ces résultats. Pour le problème d'évolution, après avoir montré l'existence d'un attracteur global associé à notre problème, nous démontrons une estimation $L^\infty$ de la solution en fonction d'estimations $L^q$, $q>1$ utilisant des itérations de type Moser.
Libri sul tema "Paramétrée":
1
Duflos, Emmanuel. Estimation prédiction: Éléments de cours et exercices résolus. Paris: Éditions Technip, 2000.
2
KFITA, Abdelaziz EL, e et al. Mise en Place de la GMAO: Cas d'Etude d'Analyse et Paramétrage Pour l'instauration de la Gestion de la Maintenance Assistée Par Ordinateur. Independently Published, 2020.
Capitoli di libri sul tema "Paramétrée":
1
Raby, Gilles. "Paramétrix, cohomologie et formes méromorphes". In Séminaire d’Analyse P. Lelong — P. Dolbeault — H. Skoda, 167–225. Berlin, Heidelberg: Springer Berlin Heidelberg, 1987. http://dx.doi.org/10.1007/bfb0081983.
2
Angoujard, Jean-Pierre. "Accentuation et Syncope dans le Parler du Caire: Quels Paramétrés?" In Publications in African Languages and Linguistics, a cura di David Odden, 13–20. Berlin, Boston: De Gruyter, 1987. http://dx.doi.org/10.1515/9783110882681-003.
3
"Fractions continues paramétrées et critère de Rabinowitsch". In Number Theory in Progress, 111–20. De Gruyter, 1999. http://dx.doi.org/10.1515/9783110285581.111.
4
"Chapitre XI. Equations différentielles dépendant d'un paramétre". In Analyse numérique et équations différentielles, 323–42. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-2004-7-012.
5
"Chapitre XI. Equations différentielles dépendant d'un paramétre". In Analyse numérique et équations différentielles, 323–42. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-2004-7.c012.
6
VIGNON-CLEMENTEL, Irène E., e Sanjay PANT. "Simulations hémodynamiques : paramétrage, données cliniques, planification d’interventions". In Écoulements biologiques dans les grands vaisseaux, 139–61. ISTE Group, 2023. http://dx.doi.org/10.51926/iste.9065.ch5.
Abstract (sommario):
A partir de l'écoulement complexe dans des géométries multi-échelles, un modèle réduit en temps et espace est proposé pour simuler des données réelles. Les données patient sont obtenues à l'aide de méthodes classiques (IRM, pression, vitesse Doppler) et sont ensuite intégrées, en particulier via la résistance 3D (analogie électrique). Le modèle est alors optimisé pour prédire les résultats expérimentaux.
7
Pellerin, Clément. "Outil 6. Créer et paramétrer son entreprise Business Manager Facebook". In La méga boîte à outils des réseaux sociaux, 26–29. Dunod, 2022. http://dx.doi.org/10.3917/dunod.pelle.2022.02.0026.
Atti di convegni sul tema "Paramétrée":
1
SANCHEZ, Martin. "Vers une description paramétrée du taux de dépôt effectif des sédiments cohésifs". In Journées Nationales Génie Côtier - Génie Civil. Editions Paralia, 2012. http://dx.doi.org/10.5150/jngcgc.2012.044-s.
2
Plaisantin, Alecu, B., e J. Renahy. "Les langues contrôlées paramétrées au service de la qualité". In Congrès Lambda Mu 19 de Maîtrise des Risques et Sûreté de Fonctionnement, Dijon, 21-23 Octobre 2014. IMdR, 2015. http://dx.doi.org/10.4267/2042/56075.
3
Filipot, Jean-François, Fabrice Ardhuin, Alexander Babanin e Rudy Magne. "Paramétrage du déferlement des vagues dans les modèles spectraux : approches semi-empirique et physique". In Journées Nationales Génie Côtier - Génie Civil. Editions Paralia, 2008. http://dx.doi.org/10.5150/jngcgc.2008.032-f.
4
de Castro, L. M., L. F. Costa, J. M. D. Guedes, P. B. Cabral e H. A. Simões. "Endometriose com Acometimento Concomitante de Raízes Sacrais, Paramétrio, Reto, Mesorreto e Parede Vaginal. Abordagem e Tática Operatória por Videolaparoscopia". In 69a Congresso Brasileiro 27° Congresso Latinoamericano de Coloproctologia 2021. Thieme Revinter Publicações Ltda., 2021. http://dx.doi.org/10.1055/s-0041-1741836.
5
Bastos, Alberto Freaza Lobão, Paula de de Holanda, José Augusto Machado, Nereu Guerra Neto, Amanda Mendes Soares e Yara Lúcia Mendes Furtado de Melo. "O uso da imuno-histoquímica no diagnóstico diferencial do adenocarcinoma endometrial: relato de caso". In 44° Congresso da SGORJ - XXIII Trocando Ideias. Zeppelini Editorial e Comunicação, 2020. http://dx.doi.org/10.5327/jbg-0368-1416-2020130202.
Abstract (sommario):
Introdução: O câncer de corpo uterino é um dos tumores ginecológicos mais prevalentes na pós-menopausa, sendo o adenocarcinoma o mais frequente. Em alguns casos, o sítio primário, endométrio ou colo uterino, só pode ser definido pela imuno-histoquímica. Objetivo: Relatar caso de adenocarcinoma de endométrio de conclusão diagnóstica com estudo imuno-histoquímico. Relato de Caso: Paciente de 48 anos, G IV P III, índice de massa corpórea (IMC) 21 kg/m2, vem encaminhada pela Clínica da Família em razão de pólipo em colo uterino. Referia sangramento transvaginal contínuo e discreto, dispareunia, corrimento abundante e dor hipogástrica. Trouxe resultado de citologia (normal) e ultrassonografia transvaginal (USG TV) com útero aumentado de volume, eco endometrial 19 mm, imagem nodular hipoecoica no canal cervical. Ao exame: colo fibroelástico, doloroso à mobilização, dor à palpação de anexos, útero aumentado de volume. Foi indicado tratamento de doença inflamatória pélvica (DIP) e retorno para avaliar histeroscopia. Retornou em dois meses, com mesma sintomatologia e tratamento inadequado para DIP (apenas doxiciclina). Indicou-se internação hospitalar para tratamento. Mantinha dor pélvica e saída de secreção purulenta em grande quantidade do colo uterino. Foi indicada curetagem uterina pela impossibilidade de ser submetida à vídeo-histeroscopia. Retornou no mês seguinte após curetagem, com queixa de sinusorragia. Ao exame: útero de volume aumentado, colo uterino endurecido, volumoso, com infiltração tumoral. Toque retal: paramétrio infiltrado em terço médio à esquerda e proximal ao colo à direita. Resultado histopatológico da curetagem: adenocarcinoma moderadamente diferenciado, não se podendo definir se a origem é de colo ou endométrio. Optou-se por imuno-histoquímica para definição diagnóstica. Resultado: CK7, receptores de estrogênio positivos e vimentina, antígeno carcinoembriônico (CEA) e CK20 negativos; favorecem diagnóstico de adenocarcinoma do endométrio do tipo endometrioide grau 2. Conclusão: O diagnóstico do adenocarcinoma de endométrio, geralmente, é histológico, porém o uso da imuno-histoquímica é importante principalmente em casos de envolvimento do colo uterino.