Добірка наукової літератури з теми "Design génératif"

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Design génératif".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Статті в журналах з теми "Design génératif"

1

Williams, Wayne A., and Janice Rieger. "A Design History of Design: Complexity, Criticality, and Cultural Competence." RACAR : Revue d'art canadienne 40, no. 2 (March 3, 2016): 15–21. http://dx.doi.org/10.7202/1035392ar.

Повний текст джерела
Анотація:
Les histoires de l’art et du design ont délaissé, au cours des quatre dernières décennies, l’étude canonique des objets, des artistes/concepteurs et des styles et se sont tournées vers des recherches plus interdisciplinaires. Nous soutenons néanmoins que les historiens et historiennes du design doivent continuer de pousser leur utilisation d’approches puisant dans la culturelle matérielle et la criticalité afin de combler des lacunes dans l’histoire du design et de développer des méthodes et des approches pertinentes pour son étude. Puisant dans notre expérience d’enseignement auprès de la génération des « milléniaux », qui sont portés vers un « design militant », nous offrons des exemples pédagogiques qui ont aidé nos étudiants et étudiantes à assimiler des histoires du design responsables, engagées et réflexives et à comprendre la complexité et la criticalité du design.
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Labrie, Marie-Pierre. "Intrications entre conception de design pédagogique et expérience de création." Canadian Review of Art Education 49, no. 1 (December 15, 2022): 63–78. http://dx.doi.org/10.26443/crae.v49i1.153.

Повний текст джерела
Анотація:
Cet article met en lumière les intrications entre le design d’innovations pédagogiques propres à la recherche design en éducation et l’expérience sensible de l’ordre de l’artistique comme méthode de recherche, caractéristique de la recherche-création. En présentant la réalisation d’une étude pilote en éducation artistique, l’autrice démontre comment la recherche design en éducation bénéficie du processus de création artistique et des orientations épistémologiques de la recherche-création pour la conception et l’implantation d’un design éducatif. Cette intrication du processus de création au cœur de la production du design peut ainsi contribuer à la génération de nouveaux savoirs, spécifiquement reliés au champ de l’éducation artistique.
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Rea, John. "Portrait de Mario Bertoncini." Circuit 15, no. 1 (February 9, 2010): 86–92. http://dx.doi.org/10.7202/902344ar.

Повний текст джерела
Анотація:
Un portrait de Mario Bertoncini, pianiste, compositeur, inventeur et intermédiaire de sons éoliens, vient compléter ce numéro consacré à l’interprétation. Les souvenirs de ses cours en design musical à l’Université McGill évoqués par deux de ses étudiants, Charles de Mestral et Andrew Culver, le dialogue (à la manière platonicienne) écrit par Bertoncini entre un maître et son disciple, et le portrait qu’en dessine John Rea nous permettent de mieux connaître, sinon de découvrir « un artiste extraordinairement imaginatif » qui aura assurément marqué toute une génération d’interprètes et de compositeurs.
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Castro-Gonçalves, Luciana, Margaret Josion-Portail, and Cathy Zadra-Veil. "Le potentiel du design thinking pour les politiques publiques : Développer les capacités créatives pour co-construire la ville inclusive avec les personnes âgées." Innovations Pub. anticipées (April 17, 2026): I168—XXXVIII. http://dx.doi.org/10.3917/inno.pr2.0168.

Повний текст джерела
Анотація:
L’adaptation des villes au vieillissement constitue un défi majeur pour les politiques publiques bottom-up . Dans ce cadre, cette recherche s’intéresse aux adaptations des méthodes de design thinking (DT) pour permettre la participation des citoyens âgés aux dispositifs de co-construction des innovations urbaines. L’analyse de trois ateliers de créativité montre comment les facteurs liés à la préparation des ateliers (appui sur des acteurs tiers, adoption d’une configuration intergénérationnelle, sensibilisation des participants âgés quant au rôle qu’ils peuvent jouer dans la génération de solutions) et à l’atteinte des finalités du processus créatif participent au développement des capacités créatives des personnes âgées. Les résultats sont discutés sous l’angle des apports à la littérature sur le DT et sur la participation des publics vulnérables au processus créatif. Codes JEL : R580, H750, O360, O350
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Castro-Gonçalves, Luciana, Margaret Josion-Portail, and Cathy Zadra-Veil. "Le potentiel du design thinking pour les politiques publiques : Développer les capacités créatives pour co-construire la ville inclusive avec les personnes âgées." Innovations Pub. anticipées (April 17, 2026): I168—XXXVIII. http://dx.doi.org/10.3917/inno.pr2.0168.7000.

Повний текст джерела
Анотація:
L’adaptation des villes au vieillissement constitue un défi majeur pour les politiques publiques bottom-up . Dans ce cadre, cette recherche s’intéresse aux adaptations des méthodes de design thinking (DT) pour permettre la participation des citoyens âgés aux dispositifs de co-construction des innovations urbaines. L’analyse de trois ateliers de créativité montre comment les facteurs liés à la préparation des ateliers (appui sur des acteurs tiers, adoption d’une configuration intergénérationnelle, sensibilisation des participants âgés quant au rôle qu’ils peuvent jouer dans la génération de solutions) et à l’atteinte des finalités du processus créatif participent au développement des capacités créatives des personnes âgées. Les résultats sont discutés sous l’angle des apports à la littérature sur le DT et sur la participation des publics vulnérables au processus créatif. Codes JEL : R580, H750, O360, O350
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Mauléon, Fabrice. "Lutte contre le déréglement climatique : l’émergence des compétences du futur." Vie & sciences de l'entreprise N° 220, no. 2 (September 13, 2024): 99–115. http://dx.doi.org/10.3917/vse.220.0099.

Повний текст джерела
Анотація:
À l’aube d’une transformation environnementale et technologique sans précédent, la question se pose : quelles sont les compétences du futur indispensables pour adresser la crise climatique ? Au cœur de cette réflexion, le Design Thinking et l’IA générative émergent comme des outils essentiels, mettant en lumière l’importance de doter les collaborateurs de ces nouvelles compétences. En mariant approche centrée sur l’humain et puissance algorithmique, nous pouvons imaginer des solutions innovantes à des problèmes anciens. Cet article s’appuie sur une réflexion managériale, sociologique et philosophique pour explorer ces intersections, invitant le lecteur à comprendre pourquoi et comment intégrer ces compétences dans les stratégies de lutte contre le dérèglement climatique.
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Raveneau, Jean, Louise Marcotte, and Yves Tessier. "LE RÔLE DU LANGAGE GRAPHIQUE DANS LE RENOUVELLEMENT DE LA CONCEPTION D’UN ATLAS PÉDAGOGIQUE: le cas de L’interAtlas." Canadian Surveyor 41, no. 3 (September 1987): 313–39. http://dx.doi.org/10.1139/tcs-1987-0022.

Повний текст джерела
Анотація:
Cette communication a pour but de présenter les aspects graphiques et cartographiques du renouvellement de la conception d’un atlas pédagogique à partir de l’exemple de L’interAtlas. Il s’agit de montrer comment certains concepts de communication graphique ont été mis à profit pour assurer la transmission efficace d’informations géographiques préalablement structurées selon des devis pédagogiques précis, mettant en évidence les interrelations entre les phénomènes géographiques. Dans L’interAtlas, la traduction visuelle des devis de conception-rédaction (agencement des données de contenu) a été facilitée par l’utilisation de normes graphiques systématiques assurant la fonctionnalité de l’organisation thématique et visuelle de chaque planche: adoption de la double page comme unité de présentation, utilisation d’une grille modulaire pour la disposition des images et des cartes, adoption d’un parcours de lecture numéroté, titres-choc, etc. Àl’aide d’exemples choisis, on mettra en évidence les différentes formes de traitement graphique de l’information utilisées dans cet atlas et comment elles ont servi à traduire sous forme visuelle la structuration des contenus géographiques en vue d’une communication pédagogique efficace. La carte n’est plus nécessairement la forme de représentation spatiale unique ou prédominante dans un atlas. D’autres types d’images ont été utilisées, selon leur aptitude à visualiser le plus efficacement les données et concepts à représenter: photographies, graphiques, schémas, dessins, diagrammes, matrices graphiques, etc. L’utilisation extensive des matrices graphiques à différents niveaux de traitement de l’information sera particulièrement mise en évidence. On montrera comment, dans la recherche d’une fonctionnalité optimale, les auteurs de L’interAtlas ont exploité au maximum la combinaison du design pédagogique et du langage graphique. Par ces caractéristiques, L’interAtlas pourrait être le premier d’une nouvelle génération d’atlas pédagogiques.
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Viju-Miljusevic, Crina, and Agnieszka Weinar. "Gender in the EU-Canada Comprehensive Economic Trade Agreement – third generation trade agreement as a gateway to policy coordination?" Canadian Journal of European and Russian Studies 17, no. 1 (September 10, 2024): 26–48. http://dx.doi.org/10.22215/cjers.v17i1.4490.

Повний текст джерела
Анотація:
This article considers the place of trade and gender in EU-Canada relations, with a particular focus on CETA and its functioning in a broader sense. More specifically, the authors seek to understand the process of defining the trade and gender agenda under the CETA framework and the practical ways the EU and Canada have sought to respond to them. The authors examine the challenges and opportunities related to women’s participation in the EU-Canada trade flows, what the instruments developed to support them were, what tools were at their disposal, whether CETA had had a real impact on their business activities, as well as the dynamics of the policy exchange and learning. The authors find that CETA delivers solid structures to design and implement concrete actions, leading to more policy coordination between the EU and Canada on trade and gender issues. However, there are still several gaps that need to be addressed, with the lack of disaggregated data being the most important. Le genre dans l’Accord économique et commercial global entre le Canada et l’Union européenne : un accord commercial de troisième génération qui débuterait une coordination des politiques ? Cet article s’intéresse à la place qu’occupent le commerce et le genre dans les relations entre le Canada et l’Union européenne (UE), et plus particulièrement à la place de l’Accord économique et commercial global (AECG) et de son implémentation au sens large. Plus spécifiquement, nous cherchons à comprendre les processus de définition du commerce et du genre dans le cadre de l’AECG et les façons concrètes dont l’UE et le Canada y répondent. Nous nous interrogeons sur les défis et les opportunités de la participation des femmes aux flux commerciaux entre l’UE et le Canada, sur les outils créés pour les soutenir, sur les outils tels qu’ils ont été mis à leur disposition, sur l’impact réel de l’AECG sur leurs activités commerciales, ainsi que sur les dynamiques d’échange de politiques et d’apprentissage.
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Walker, Keith L. "The Transformational and Enduring Vision of Aimé Césaire." PMLA/Publications of the Modern Language Association of America 125, no. 3 (May 2010): 756–63. http://dx.doi.org/10.1632/pmla.2010.125.3.756.

Повний текст джерела
Анотація:
As the Nineteenth Century was the Century of Colonization, The Twentieth Century was the Century of Decolonization, THE neologism entered popular usage during the 1950s, gained sudden prestige, and was declared crucial and, indeed, “beautiful” by Aimé Fernand David Césaire (“L'homme” 116). Césaire lived at the center of the global tempest and cultural sea change that characterized the anticolonial, civil rights, independence-movement years from 1932 to 1968. Césaire's rhetorical virtuosity and intellectual genius coincided with a moment of worldwide paradigm shifts and conceptual earthquakes, or tremblements de concepts, as he termed them (“Culture” 453). Césaire embodied what Edward Said called the “sensuous particularity as well as historical contingency” of a man living on the borderline of historical transition (39). On the actors, artists, and intellectuals of this borderline moment, the Senegalese writer Mariama Bâ reflected that it was the “[p]rivilège de notre génération, charnière entre deux périodes historiques, l'une de domination, l'autre d'indépendance. Nous … étions porteurs de projets” ‘privilege of our generation to be the link between two periods in our history, one of domination, the other of independence. We … were the messengers of a new design’ (Une si longue lettre 40 [So Long a Letter 25]). According to Césaire, the messengers had duties:Notre devoir d'hommes de culture, notre double devoir est là: Il est de hâter la décolonisation, et il est, au sein même du présent, de préparer une bonne décolonisation, une décolonisation sans séquelles. Il faut hâter la décolonisation, qu'est-ce à dire? Cela veut dire qu'il faut, et par tous les moyens, hâter le mûrissement de la PRISE DE CONSCIENCE POPULAIRE sans quoi il n'y aura jamais de décolonisation. Nous dans la conjoncture où nous sommes, nous sommes des propagateurs d'âmes, des multiplicateurs d'âmes, et à la limite des inventeurs d'âmes. (“L'homme” 121)Our responsibility as intellectuals, our double responsibility, is the following: it is to hasten decolonization, and it is at the very present time to prepare a sound decolonization, a process of decolonization that leaves no posttraumatic scars. What exactly does it mean that we must hasten decolonization? It means that we must by every means available to us hasten the maturation of the RAISING OF THE MASSES' CONSCIOUSNESS, without which there will be no decolonization. In our present situation we are propagators of souls, multipliers of souls, and almost inventors of souls.
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Mujike, Désiré Numbi, Boniface Mbinga Lokoto, Fiston Mpange Kalombo, Elie Mukendi, Paul Kazaba Kaseya, Gaël Nzuzi Mavungu, Dieu le veut Kapend Kapend, et al. "Influence de traitements sur la germination et la croissance en pépinière d’<i>Afzelia quanzensis</i> Welw. (Fabaceae) à Lubumbashi en République Démocratique du Congo." Revue Africaine d’Environnement et d’Agriculture 7, no. 1 (April 27, 2024): 11–17. http://dx.doi.org/10.4314/rafea.v7i1.2.

Повний текст джерела
Анотація:
Description du sujet. La diminution de la superficie de Miombo conduit à la disparition des espèces de plantes de grand intérêt socio-économique. Le reboisement avec les espèces locales des sites dégradés est de plus en plus recommandé à ces jours, car l’utilisation des espèces exotiques peut conduire à des perturbations majeures dans la forme et la fonction de l’écosystème.Objectif. Cette étude vise à évaluer les possibilités de multiplication générative d’Afzelia quenzensis en testant différentes techniques de levée de dormance.Méthodes. L’expérimentation a été conduite suivant un dispositif complètement randomisé de trois traitements : T0 (témoin), T1 (graines trempées dans l’eau de robinet à température ambiante pendant 3 jours) et T2 (graines trempées dans l’eau bouillante jusqu’au refroidissement) répétés quinze fois.Résultats. Les résultats obtenus montrent que le trempage des graines dans l’eau de robinet à température ambiante pendant trois jours permet d’obtenir le meilleur taux de levée (93±5%). Le trempage des graines dans l’eau bouillante est à déconseiller (37±8%). Cinq mois après expérimentation, les plantes ont atteint environ 30 cm de hauteur, mais l’influence des traitements est non significative.Conclusion. L’espèce A. quenzensis constitue une option à explorer dans les travaux de reboisement visant à utiliser les espèces locales. Le suivi en plein champ pendant une longue période d’observation permettrait de tirer les meilleures conclusions. Description of the subject. The decline in Miombo's surface area is leading to the disappearance of plant species of great socio-economic interest. Reforestation of degraded sites with local species is increasingly recommended these days, as the use of exotic species can lead to major disturbances in the ecosystem form and function.Objective. The aim of this study was to generatively propagate Afzelia quenzensis by testing different dormancy-breaking techniques.Methods. The experiment was carried out using a completely randomized design with three treatments: T0 (control), T1 (seeds soaked in tap water at room temperature for 3 days) and T2 (seeds soaked in boiling water until cooled) repeated fifteen times.Results. The results show that soaking the seeds in tap water at room temperature gives the best results (93±5%). Soaking seeds in boiling water is not recommended (37±8%). Five months after experimentation, the plants had reached a height of around 30 cm, but the influence of the treatments was not significant.Conclusion. A. quenzensis is a serious option to be explored for reforestation work aimed at using local species. Field monitoring over a long observation period would enable the best conclusions to be drawn.
Стилі APA, Harvard, Vancouver, ISO та ін.

Дисертації з теми "Design génératif"

1

Jean, Fabien. "L'échange génératif de technologies innovantes : engagement conceptif et conception de la valeur." Thesis, Paris Sciences et Lettres (ComUE), 2016. http://www.theses.fr/2016PSLEM082/document.

Повний текст джерела
Анотація:
Dans leurs processus d’innovation, les grandes entreprises subissent un manque de ressources entre Recherche et Développement appelé vallée de la mort. Le groupe Safran s’est doté d’une direction de l’innovation afin de le compenser. Son fonctionnement est fondé sur une logique d'échange avec les sociétés du groupe. Mais dans les phases amont, lorsque les échanges comportent des inconnus, ils s’interrompent brutalement. En particulier des fiches idées issues de DKCP ne sont pas explorées. Cette recherche-intervention ambitionne donc d’établir un modèle d’action collective pour échanger dans l’inconnu. Elle défend la thèse que dans l’inconnu, vendeurs et acheteurs de technologies innovantes s’engagent dans la conception de la frontière entre des technologies et des environnements.Face aux limites des modèles d’échange marchand, de décision, d’intéressement et de créativité, cette thèse adopte un modèle d’échange intégrant l’inconnu et un cadre analytique issu des théories de la conception innovante. Elle propose le modèle de l’engagement conceptif de ressources. Elle explicite les limites de l'outil conventionnel d'échange de technologies dit Technology Readiness Levels adopté chez Safran. Elle propose alors de modéliser les échanges entre vendeurs et acheteurs de technologies comme l’exploration de la frontière Technologie-Environnement en suivant le formalisme C-K T / C-K E construit. Finalement la méthode Pilotage de l'Exploration Par les Invariants Technologie-Environnement (PEPITE) est élaborée avec la direction de l'innovation Safran sur la base de deux cas d’exploration ayant effectivement passé la vallée de la mort durant l’intervention des chercheurs
Innovation processes of large companies experience a lack of resources between Research and Development, i.e. the valley of death. Safran created its Innovation Department to counterbalance. It is based on exchanges with the subsidiaries. However such exchanges cannot be processed in most early stages, when they include unknowns. For instance, ideas generated through the DKCP method remain unexplored. This intervention-research aims at establishing a model of collective action to exchange in the unknown. It defends the thesis that, in the unknown, sellers and buyers of innovative technologies engage in the design of the boundary between technologies and environments.Facing the limits of classic models of exchanges of economy, decision, intéressement and creativity, this thesis adopts a design-theories framework. It proposes the model of design engagement of resources. It explains the limits of a common tool for exchanging technologies, i.e. Technology Readiness Levels. It proposes to model exchanges between seller and buyer as the exploration of the Technology-Environment boundary. To do so it constructs the C-K T / C-K E formalism. Finally, the method Steering Exploration Through Technology and Environment Invariants ("Pilotage de l'Exploration Par les Invariants Technologie-Environnement" (PEPITE) in French) is constructed in collaboration with Safran Innovation Department. It is based on two cases of explorations which passed the valley of death within the researchers intervention
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Gallas, Mohamed-Anis. "De l'intention à la solution architecturale : proposition d'une méthode d'assistance à la prise en compte de la lumière naturelle durant les phases amont de conception." Thesis, Université de Lorraine, 2013. http://www.theses.fr/2013LORR0101/document.

Повний текст джерела
Анотація:
La lumière naturelle éclaire l'espace architectural créant les conditions nécessaires pour accueillir des activités humaines. La fonction d'éclairage de la lumière naturelle est associée à une autre dimension plus sensible attribuant une identité et une singularité à l'espace conçu. La maîtrise du comportement lumineux est une activité complexe qui fait appel à une multiplicité de facteurs dont la caractérisation est confrontée à l'incertitude et l'imprécision des informations disponibles durant les phases conceptuelles du projet. L'objectif de notre recherche est de proposer une méthode d'assistance qui prend en considération les propriétés des phases amont de conception pour aider le concepteur à intégrer ses intentions d'ambiance de lumière naturelle. Nous proposons une méthode d'assistance structurée selon un processus déclaratif permettant au concepteur d'expliciter ses intentions d'effets de lumière naturelle et de les traduire en solutions architecturales potentielles qu'il peut intégrer dans son projet. Cette méthode considère les intentions d'ambiance de lumière naturelle comme une information source à utiliser pour proposer une aide à la conception pendant les phases préliminaires du projet où elles constituent les seules informations disponibles. Cette méthode offre des fonctionnalités capables de gérer l'incertitude qui caractérise les phases de recherche et de formalisation d'idées. Notre méthode d'assistance a été implémentée dans un prototype d'outil dont l'apport cognitif et la capacité d'accompagnement des activités de conception ont été évalués et analysés dans un cadre expérimental de conception de projet
The daylight illuminates the architectural space and creates the necessary conditions to accommodate human activities. The illuminating function of daylight is joined to another sensitive dimension that attributes a distinctive identity to the designed space. The control of daylight in architectural environment needs some detailed and precise characteristics about aperture and walls features. The multiplicity of these characteristics is faced with the inaccuracy and the uncertainty of the design information available during the early steps. Our research aims to propose a design support method that takes into account the early design step features and helps designers to integrate there daylight atmosphere intentions in project. We propose a design support method structured as a declarative modelling process. The declarative process helps the designer to declare his daylight intentions and to translate them to potential solutions that could be integrated in his project. This method considers the designer intentions as the main design information used to help designer during the early design steps. The proposed method provides functionalities that could operate the inaccuracy and the uncertainty of the ideas research and formalisation steps. Our design support method was implemented in a prototype design support tool. The cognitive contribution and the ability to support the design activities of the proposed tool was evaluated and analysed in an experimental design context
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Freire, Marco. "Layout problems under topological constraints for computational fabrication." Electronic Thesis or Diss., Université de Lorraine, 2024. http://www.theses.fr/2024LORR0073.

Повний текст джерела
Анотація:
Les problèmes d'agencement surviennent dans de nombreux contextes en ingénierie et en informatique. Typiquement, la résolution d'un problème d'agencement consiste en l'organisation spatiale et l'interconnexion d'un ensemble d'éléments dans un espace. Cet espace et ces interconnexions peuvent être de complexité très variable. Un ensemble de contraintes et d'objectifs complémentent la description du problème, tels que minimiser la longueur ou la surface des interconnexions, ou fixer la position de certains éléments. La planification des étages en architecture, de niveaux de jeux vidéo, l'agencement d'installations industrielles ou de circuits électroniques, sont tous des exemples de problèmes d'agencement. Les contraintes topologiques jouent un rôle important dans l'agencement. La topologie considère des objets définis par les voisinages de leurs éléments, sans s'attarder sur leur géométrie spécifique. Par exemple, un graphe est une entité topologique, constituée uniquement des liens entre ses nœuds. Au contraire, dessiner un graphe est une opération géométrique, puisqu'elle demande de spécifier la position des nœuds. Cette thèse se focalise sur la résolution de deux problèmes d'agencement spécifiques liés à la fabrication et la conception computationnelles sujets à des contraintes topologiques. Plus particulièrement, il s'agit de la génération d'agencements de circuits électroniques et la génération de supports pour l'impression 3D. La première contribution est un système pour la conception d'écrans surfaciques constitués de DEL RVB à travers l'utilisation de circuits imprimés pliables. Nous plions les circuits imprimés traditionnels en utilisant des motifs de découpe localisés, créant ainsi des `charnières' dans la plaque. Le système prend en entrée un maillage basse-résolution et produit des plans pouvant être envoyés à des services en ligne de fabrication de circuits. Suite à la fabrication, l'écran est assemblé en pliant le circuit sur une impression 3D du maillage d'origine. Les écrans fabriqués peuvent être contrôlés à travers une interface similaire à des shaders pour créer des effets lumineux impressionnants. Le problème global est découpé en sous-problèmes locaux grâce à la topologie chaînée du circuit, les plans finaux étant obtenus en `recousant' les solutions aux sous-problèmes. Au lieu de suivre la méthode traditionnelle d'agencement électronique (concevoir le schéma électrique, placer et connecter les composants); nous décidons du nombre de composants, leur placement et leur routage séparément pour chaque triangle au moment-même de la génération. La deuxième contribution est un algorithme procédural pour la génération de supports pour l'impression 3D sous forme d'échafaudages. Ces supports s'impriment de manière fiable et sont stables [DHL14]. L'algorithme précédent ne considère pas les intersections entre les supports et l'objet imprimé, laissant des marques indésirables sur la surface de l'objet. De plus, la complexité de l'algorithme dépend du nombre de points à porter. Nous proposons un nouvel algorithme inspiré du emph{Model Synthesis} (MS) [Mer09]. Il évite implicitement les intersections et sa complexité est indépendante du nombre de points à porter. Les supports sont représentés indirectement à travers un ensemble d'étiquettes, chacune représentant une partie de la structure (par exemple une partie de pilier, de pont, ou une jonction); et un ensemble de contraintes d'adjacence déterminant quelles combinaisons d'étiquettes sont possibles dans toutes les directions. Les supports sont générés de haut en bas en attribuant de façon répétée une étiquette à un voxel, puis en propageant les contraintes afin d'éliminer les étiquettes rendues impossibles. Cet algorithme, les contraintes d'adjacences et les heuristiques utilisées sont conçues ensemble pour générer des supports sans essai-erreur ou retours arrière, typiques du MS et autres méthodes similaires
Layout problems appear in many areas of engineering and computer science. Typically, a layout problem requires to spatially arrange and interconnect a number of geometric elements in a domain. The elements can have a fixed or variable size, as well as an arbitrary shape. The domain may be be a volume, a planar region or a surface. It may be fixed or allowed to reshape. The interconnections may be simple paths, shared contact regions, or both. A set of constraints and objectives complement the problem definition, such as minimizing interconnection length, fixed positions for some elements, and many others. Layout problems are ubiquitous: floorplanning in architectural design, video game level design, industrial facility layout planning, electronics physical layout design, and so on. Topological constraints often arise in layout problems. Topology considers objects as defined by their elements' neighborhoods, without consideration for their specific geometry of placement. For example, a graph is a purely topological structure, consisting only of the relationships between its nodes. On the other hand, a graph drawing needs to specify the position of its nodes, i.e. the geometry of the graph. This thesis focuses on tackling two specific layout problems subject to topological constraints arising in computational design and fabrication. These are electronic circuit physical layout generation and 3D printing support generation. The first contribution is an entire system for the design of freeform RGB LED displays through bendable circuit boards. Typical rigid PCBs are made to bend by strategically using kerfing, i.e. cutting patterns into the board to create `hinges' where it needs to fold. The system takes a low-poly mesh as an input and outputs fabrication-ready blueprints, that can be sent to any online PCB manufacturer. After fabrication, the display is obtained by folding the circuit over the 3D printed mesh. The LEDs are commonly found on commercially available LED strips and are easy to control. Thus, the display can be used through a programmable interface to generate impressive lighting effects in real time. The global layout problem is decomposed into local per-triangle sub-problems by exploiting the chain topology of the electronic circuit, the final layout being obtained by stitching the local solutions. Instead of traditionally following the physical design pipeline, i.e. schematics design, component placement and routing; we decide the number of components, their placement and their routing per-triangle on the fly. The second contribution is a procedural algorithm for generating bridges-and-pillars supports for 3D printing. These supports have been shown to print reliably and in a stable manner in [DHL14]. Unfortunately, the previous algorithm struggles to generate supports that do not intersect the object, leaving visible scars on its surface after support removal. Additionally, its complexity scales with the number of points to support. We propose an algorithm based on emph{Model Synthesis} (MS) [Mer09] to generate these supports, with an implicit knowledge of object avoidance and a complexity independent of the number of points to support. Our algorithm works on a voxelized representation of the object. The supports are encoded in the algorithm with a set of labels, each representing a part of the structure (e.g. a pillar block, a bridge block, a pillar-bridge junction); and a set of adjacency constraints defining all possible label combinations in every direction. The supports for an object are generated top to bottom by repeatedly assigning labels to voxels and propagating constraints to remove inconsistent labels in the domain. The algorithm, adjacency constraints and heuristics are co-designed to avoid the need for trial-and-error or backtracking, typical of MS and similar approaches
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Gallas, Mohamed-Anis. "De l'intention à la solution architecturale : proposition d'une méthode d'assistance à la prise en compte de la lumière naturelle durant les phases amont de conception." Electronic Thesis or Diss., Université de Lorraine, 2013. http://www.theses.fr/2013LORR0101.

Повний текст джерела
Анотація:
La lumière naturelle éclaire l'espace architectural créant les conditions nécessaires pour accueillir des activités humaines. La fonction d'éclairage de la lumière naturelle est associée à une autre dimension plus sensible attribuant une identité et une singularité à l'espace conçu. La maîtrise du comportement lumineux est une activité complexe qui fait appel à une multiplicité de facteurs dont la caractérisation est confrontée à l'incertitude et l'imprécision des informations disponibles durant les phases conceptuelles du projet. L'objectif de notre recherche est de proposer une méthode d'assistance qui prend en considération les propriétés des phases amont de conception pour aider le concepteur à intégrer ses intentions d'ambiance de lumière naturelle. Nous proposons une méthode d'assistance structurée selon un processus déclaratif permettant au concepteur d'expliciter ses intentions d'effets de lumière naturelle et de les traduire en solutions architecturales potentielles qu'il peut intégrer dans son projet. Cette méthode considère les intentions d'ambiance de lumière naturelle comme une information source à utiliser pour proposer une aide à la conception pendant les phases préliminaires du projet où elles constituent les seules informations disponibles. Cette méthode offre des fonctionnalités capables de gérer l'incertitude qui caractérise les phases de recherche et de formalisation d'idées. Notre méthode d'assistance a été implémentée dans un prototype d'outil dont l'apport cognitif et la capacité d'accompagnement des activités de conception ont été évalués et analysés dans un cadre expérimental de conception de projet
The daylight illuminates the architectural space and creates the necessary conditions to accommodate human activities. The illuminating function of daylight is joined to another sensitive dimension that attributes a distinctive identity to the designed space. The control of daylight in architectural environment needs some detailed and precise characteristics about aperture and walls features. The multiplicity of these characteristics is faced with the inaccuracy and the uncertainty of the design information available during the early steps. Our research aims to propose a design support method that takes into account the early design step features and helps designers to integrate there daylight atmosphere intentions in project. We propose a design support method structured as a declarative modelling process. The declarative process helps the designer to declare his daylight intentions and to translate them to potential solutions that could be integrated in his project. This method considers the designer intentions as the main design information used to help designer during the early design steps. The proposed method provides functionalities that could operate the inaccuracy and the uncertainty of the ideas research and formalisation steps. Our design support method was implemented in a prototype design support tool. The cognitive contribution and the ability to support the design activities of the proposed tool was evaluated and analysed in an experimental design context
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Brown, Ingi. "Entre firme et usagers : des biens génératifs d’usages.Théorie des biens comme espaces de conception." Thesis, Paris, ENMP, 2013. http://www.theses.fr/2013ENMP0001/document.

Повний текст джерела
Анотація:
De nouveaux produits et services jouissent aujourd'hui d'un succès surprenant, alors qu'ils ne s'intègrent pas dans les canons traditionnels de l'innovation. Sans proposer de ruptures technologiques ni d'usages clairement identifiés, ces biens suscitent toutefois une large exploration d'usages nouveaux et inconnus, à l'image du service web Twitter ou du téléphone iPhone qui viennent bouleverser les pratiques quotidiennes de leurs usagers dans de nombreux domaines, y compris professionnels.La littérature apporte des réponses partielles aux enjeux soulevés par cette classe de biens, mais semble limitée par une vision des biens comme systèmes de découplages de la conception d'usages : celle-ci aurait lieu au sein de la firme par des approches de type analyse d'usage ou bien auprès d'usagers-concepteurs très compétents.Nous proposons ici une théorie qui veut intégrer ces différents apports tout en soulevant les hypothèses que nous jugeons trop restrictives sur les usagers, les biens et leurs rapports à la conception d'usage. Ce projet nous amène à rediscuter la notion de biens pour les considérer comme des espaces de conception d'usages, à destination d'acteurs à la fois usagers et concepteurs.Ce nouveau paradigme suppose en revanche de réinterroger le rôle de la firme dans l'organisation de cette action collective de conception d'usages. La confrontation de notre modèle théorique à trois études de cas révèle que les succès que l'on connait aujourd'hui reposent sur une organisation sophistiquée des relations entre la firme et ses usagers concepteurs, ainsi qu'une ingénierie spécifique de dispositifs de conception, de formation et de coordination
De nouveaux produits et services jouissent aujourd'hui d'un succès surprenant, alors qu'ils ne s'intègrent pas dans les canons traditionnels de l'innovation. Sans proposer de ruptures technologiques ni d'usages clairement identifiés, ces biens suscitent toutefois une large exploration d'usages nouveaux et inconnus, à l'image du service web Twitter ou du téléphone iPhone qui viennent bouleverser les pratiques quotidiennes de leurs usagers dans de nombreux domaines, y compris professionnels.La littérature apporte des réponses partielles aux enjeux soulevés par cette classe de biens, mais semble limitée par une vision des biens comme systèmes de découplages de la conception d'usages : celle-ci aurait lieu au sein de la firme par des approches de type analyse d'usage ou bien auprès d'usagers-concepteurs très compétents.Nous proposons ici une théorie qui veut intégrer ces différents apports tout en soulevant les hypothèses que nous jugeons trop restrictives sur les usagers, les biens et leurs rapports à la conception d'usage. Ce projet nous amène à rediscuter de la notion de biens pour les considérer comme des espaces de conception d'usages, à destination d'acteurs à la fois usagers et concepteurs.Ce nouveau paradigme suppose en revanche de réinterroger le rôle de la firme dans l'organisation de cette action collective de conception d'usages. La confrontation de notre modèle théorique à trois études de cas révèle que les succès que l'on connait aujourd'hui reposent sur une organisation sophistiquée des relations entre la firme et ses usagers concepteurs, ainsi qu'une ingénierie spécifique de dispositifs de conception, de formation et de coordination
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Lannuzel, Thibault. "Génération Formes Utiles, étude d’un groupe de designers en France : 1945-1973." Thesis, Paris 4, 2016. http://www.theses.fr/2016PA040127.

Повний текст джерела
Анотація:
Le sujet se concentre sur un cycle majeur de l’Histoire de l’art et du design français d’après-guerre, pourtant largement méconnu. Durant cette période de croissance plus communément appelée Trente Glorieuses, une lignée de onze jeunes designers français s’impose ainsi dans le paysage de la création de modèles de série. Cette génération s’attachera à promouvoir le design dès la sortie de la Seconde Guerre mondiale, se basant sur la doctrine du fonctionnalisme social défendue plus tôt par Francis Jourdain, père du mobilier de série français et membre de l’UAM, puis par ses disciples René Gabriel et Marcel Gascoin. Leur formation commune au sein des meilleures écoles ou des bureaux d’études de leurs aînés, la similitude des parcours professionnels et l’existence d’affinités personnelles nous permettent ici d’avancer l’hypothèse d’un phénomène générationnel encore jamais identifié en tant que tel. Ensemble et séparément, ces designers s’attachent donc à défendre le rationalisme à la française et une production dépouillée de tout artifice, mais plus largement l’alliance du créateur et de l’industriel pour des formes justes et l’affirmation du beau dans l’utile. En outre, avec eux apparaît le statut de designer qui doit concevoir mobilier et aménagements d’intérieur de qualité, fonctionnel et accessible à tous. Cette génération fondatrice, pourtant reléguée au second plan de l’histoire du design, mérite à ce titre d’être inscrite dans la genèse d’une profession et d’une discipline dont nous tirons encore aujourd’hui les enseignements
The topic is focused on a main period of the history of art and French post-war design but which is though largely unknown. During this period of growth also called « Trente Glorieuses », a line of eleven young French designers impose their self in the landscape of the model’s creation. This generation tries hard to promote the design from the end of the Second World War by basing on the social functionalism’s doctrine which is defended before by Francis Jourdain, father of the French serial furniture and member of the UAM, and then by his disciples René Gabriel and Marcel Gascoin. Their communal training in the best schools or in the design offices of their eldests, the similarity of their careers and the existence of personal affinities may allow us to claim the possibility of a generational phenomenon never identified in itself yet. Together or separately, this designers desire to defend the French rationalism and a production without any artifice, but above all the collaboration of the creator and the manufacturer for relevant forms and the proclamation of the beauty in the utility. Moreover, it is with them that appears the designer status who has to conceive furniture and interior organisations of quality and which is functional and reachable for everyone. This pioneer generation, relegated at the middle ground of the design history, deserves to have their place in the genesis of a profession and a discipline from which we still learn lessons
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Mognol, Pascal. "Contribution à la génération automatique de gammes en tournage : génération dirigée par évaluation progressive." Cachan, Ecole normale supérieure, 1994. http://www.theses.fr/1994DENS0019.

Повний текст джерела
Анотація:
Ce travail de recherche porte sur la génération automatique de gammes d'usinage en tournage. La complexité de ces recherches porte principalement sur deux points: il faut, d'une part, formaliser la connaissance de l'expert en gammes d'usinage (connaissance basée sur des calculs scientifiques mais aussi principalement sur l'expérience) et d'autre part, utiliser cette connaissance au mieux pour obtenir un système de génération automatique de gammes d'usinage (expertise cogniticienne). Il faut mettre en œuvre une méthode qui évite l'explosion combinatoire du nombre de solutions possibles, tout en ne réduisant pas l'espace des solutions envisagées. Pour répondre a ces exigences, nous avons mis en place un nouveau concept base sur la construction d'un graphe de résolution. Ce principe est du type ascendant. L'étude de la pièce finie permet, par habillages successifs, d'obtenir la forme brute. Des critères technologiques, qui traduisent l'expertise du gammiste, évaluent et éliminent progressivement les solutions peu fiables, tout en ne réduisant pas l'espace des solutions valides. De plus, l'analyse des critères défaillants permet de diriger l'élaboration du graphe vers des solutions répondant aux problèmes décelés. Le principe même d'élaboration du graphe garantit la non explosion combinatoire du nombre de solutions. Le graphe finalement obtenu, ne contient qu'un nombre restreint de gammes technologiquement faisables, sur lesquelles une étude finale et complète (étude de cout, par exemple) est menée. L'utilisateur peut ainsi choisir, en toutes connaissances de cause, la gamme qu'il va mettre en œuvre. Une maquette informatique a été réalisée. Les résultats obtenus ont permis de valider ces concepts dans le cadre du tournage
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Prost-Boucle, Adrien. "Génération rapide d'accélerateurs matériels par synthèse d'architecture sous contraintes de ressources." Thesis, Grenoble, 2014. http://www.theses.fr/2014GRENT039/document.

Повний текст джерела
Анотація:
Dans le domaine du calcul générique, les circuits FPGA sont très attrayants pour leur performance et leur faible consommation. Cependant, leur présence reste marginale, notamment à cause des limitations des logiciels de développement actuels. En effet, ces limitations obligent les utilisateurs à bien maîtriser de nombreux concepts techniques. Ils obligent à diriger manuellement les processus de synthèse, de façon à obtenir une solution à la fois rapide et conforme aux contraintes des cibles matérielles visées.Une nouvelle méthodologie de génération basée sur la synthèse d'architecture est proposée afin de repousser ces limites. L'exploration des solutions consiste en l'application de transformations itératives à un circuit initial, ce qui accroît progressivement sa rapidité et sa consommation en ressources. La rapidité de ce processus, ainsi que sa convergence sous contraintes de ressources, sont ainsi garanties. L'exploration est également guidée vers les solutions les plus pertinentes grâce à la détection, dans les applications à synthétiser, des sections les plus critiques pour le contexte d'utilisation réel. Cette information peut être affinée à travers un scénario d'exécution transmis par l'utilisateur.Un logiciel démonstrateur pour cette méthodologie, AUGH, est construit. Des expérimentations sont menées sur plusieurs applications reconnues dans le domaine de la synthèse d'architecture. De tailles très différentes, ces applications confirment la pertinence de la méthodologie proposée pour la génération rapide et autonome d'accélérateurs matériels complexes, sous des contraintes de ressources strictes. La méthodologie proposée est très proche du processus de compilation pour les microprocesseurs, ce qui permet son utilisation même par des utilisateurs non spécialistes de la conception de circuits numériques. Ces travaux constituent donc une avancée significative pour une plus large adoption des FPGA comme accélérateurs matériels génériques, afin de rendre les machines de calcul simultanément plus rapides et plus économes en énergie
In the field of high-performance computing, FPGA circuits are very attractive for their performance and low consumption. However, their presence is still marginal, mainly because of the limitations of current development tools. These limitations force the user to have expert knowledge about numerous technical concepts. They also have to manually control the synthesis processes in order to obtain solutions both fast and that fulfill the hardware constraints of the targeted platforms.A novel generation methodology based on high-level synthesis is proposed in order to push these limits back. The design space exploration consists in the iterative application of transformations to an initial circuit, which progressively increases its rapidity and its resource consumption. The rapidity of this process, along with its convergence under resource constraints, are thus guaranteed. The exploration is also guided towards the most pertinent solutions thanks to the detection of the most critical sections of the applications to synthesize, for the targeted execution context. This information can be refined with an execution scenarion specified by the user.A demonstration tool for this methodology, AUGH, has been built. Experiments have been conducted with several applications known in the field of high-level synthesis. Of very differen sizes, these applications confirm the pertinence of the proposed methodology for fast and automatic generation of complex hardware accelerators, under strict resource constraints. The proposed methodology is very close to the compilation process for microprocessors, which enable it to be used even by users non experts about digital circuit design. These works constitute a significant progress for a broader adoption of FPGA as general-purpose hardware accelerators, in order to make computing machines both faster and more energy-saving
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Marcati, Alain. "Génération de particules de polymères à structure contrôlée par la microfluidique." Thesis, Toulouse, INPT, 2009. http://www.theses.fr/2009INPT033G/document.

Повний текст джерела
Анотація:
Ces travaux de recherche s’inscrivent d’une part dans une thématique d’intensification de procédés : la synthèse des particules de polymères est classiquement réalisée en batch en présence de solvants, tensioactifs et agents stabilisateurs. Dans ces conditions, les particules générées ont une distribution de taille assez large. Pour palier à celà, la synthèse des particules est envisagée en continu dans des microcanaux avec l’eau en phase dispersante, sans ajout de tensioactifs et sans traitement de surface des parois du microréacteur. L’utilisation de l’échelle micrométrique va ainsi procurer une très grande régularité aux dispersions générées et empêcher la coalescence des gouttelettes au sein du milieu qui provoque la polydispersité des particules dans les cuves agitées. Nous avons donc développé des outils microfluidiques et étudié l’hydrodynamique dans ces microréacteurs pour obtenir la génération de gouttelettes sphériques afin de synthétiser des billes d’un diamètre inférieur à la centaine de microns par polymérisation directe des gouttes. Ces travaux visent d’autre part, la production de nouveaux matériaux puisque l’objectif était non seulement de produire des particules simples mais d’envisager des structures plus complexes telles que des particules multicouches de type oignon pour lesquelles on pourrait choisir la nature et l’épaisseur de chaque couche. Nous avons donc travaillé sur la manipulation de l’écoulement après polymérisation pour envisager des méthodes d’enrobage des particules coeurs. Enfin nous avons trouvé une nouvelle application liée à la synthèse de particules en microcanaux : la création de colonnes chromatographiques remplies de particules
This work is full part of process intensification : polymer particles are usually synthesized in batch reactors with solvents, surfactants and stabilizers. In these conditions, particles are obtained with large size distribution. In order to reduce size distribution, particles synthesis is then studied in a continuous process in microchannels in water, without surfactants nor surface treatment of microreactors’ walls. The micron-size scale provides indeed better control of monomer dispersion and prevents droplets coalescence which is the major reason of polydispersity in stirred tank reactors.That is why we have developped microfluidic tools and studied hydrodynamics and droplet generation into microreactors in order to synthetize polymer beads smaller than a hundred microns by direct polymerization of spherical droplets. This work also deals with new material creaction : the objective was also to produce onion-like structures for whom we could choose each layer chemical nature and thickness. We have then analysed manipulation of partciles flow to determine ways of encapsulating core particles. Finally, we also developped a new application related to polymer beads into microchannels : the creation of micropacked chromatography columns
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Tissot, Régis. "Contribution à la génération automatique de tests à partir de modèles et de schémas de test comme critères de sélection dynamiques." Besançon, 2009. http://www.theses.fr/2009BESA2015.

Повний текст джерела
Анотація:
Cette thèse est une contribution à la conception d'une méthode de génération automatique de tests à partir de modèles (ou MBT -Model Based Testing). Le contexte de nos travaux se situe dans la continuité de ceux effectués autour de l'outil BZ- TT (BZ- Testing Tools) qui permet d'engendrer des tests fonctionnels à partir de modèles décrits en langage B. Les critères de sélection de tests implémentés dans l'outil BZ- TT reposent sur la couverture structurelle du modèle du système à valider en prenant en compte les structures de données et de contrôle de celui-ci. Cette approche ne permet pas de générer de tests à partir de propriétés liées au comportement dynamique du système, par exemple en tenant compte de propriétés basées sur des enchaînements d'opérations. Afin de répondre à cette problématique, un certain nombre de travaux proposent des méthodes où l'expertise humaine est exploitée afin de définir des critères de sélection de tests "dynamiques". De tels critères de sélection permettent, à l'ingénieur de définir des stratégies basées sur des propriétés et des aspects du système qu'il souhaite valider. Nos contributions s'inscrivent dans cette voie, tout en visant la complémentarité par rapport à la génération automatique de tests par couverture structurelle du modèle dans un objectif de valorisation des technologies et ressources déployées à cette fin. Notre première contribution est la définition d'un langage de formalisation d'objectifs de tests qui permet d'exprimer des ensembles de scénarios de tests inspirés de propriétés à valider sur le système. Ce langage permet de décrire des schémas de tests à partir d'un formalisme, basé sur celui des expressions régulières, qui permet de décrire des ensembles de scénarios principalement par des enchaînements d'appels d'opération et d'états symboliques. Nous définissons une méthode de génération de tests intégrée à l'outil BZ- TT, afin que celui-ci prenne en compte ce nouveau critère de sélection de tests. Cette méthode permet de réutiliser les technologies d'animation symbolique et de résolution de contraintes de cet outil, ainsi que de conserver les fonctionnalités d'exportation et de concrétisation des tests produits. Dans cette méthode, la seule charge supplémentaire pour l'ingénieur de validation est la définition des schémas de test utilisés comme critère de sélection. Nos dernières contributions, visent à évaluer la complémentarité de notre méthode avec celle de génération automatique de tests par couverture structurelle du modèle. Nous proposons une méthode d'évaluation de la complémentarité entre deux suites de tests. Cette méthode est basée sur le calcul de la couverture d'états et de transitions des suites de tests sur une abstraction du système. Enfin, nous appliquons cette méthode à trois études de cas (deux applications de type carte à puce et un système de gestion de fichiers Posix), et nous montrons la complémentarité qu'elle apporte
This PhD thesis is a contribution to the conception of an automatic Model Based Testing (MBT) approach for test generation. The framework of our works is the BZ-TT (BZ-Testing Tools) technology, that allows for generating functional tests from models written in B. The test selection criteria implemented in BZ- TT ensure structural coverage of the model of the system to validate. It takes into account the data and control structures of the model. This approach does not allow for generating tests from properties expressing dynamic behaviors of the system such as properties based on operations sequencing. To address this problem, some works propose to involve human expertise to define "dynamic" selection criteria. Such selection criteria make it possible for the validation engineer to define strategies based on properties and aspects of the system thet he wants to validate. Our contributions explore this way, and target the complementarity with respect to the tests generated from the structural coverage of the model, in order to benefit from the resources and technology previously deployed for this goal. Our first contribution is the definition of a language for the formalization of test purposes, that allows for expressing test scenarios inspired by the properties to validate on the system. This language is based on a regular expressions-like formalism, and aims at describing scenarios by means of operation calls and symbolic states. We define a test generation method integrated to BZ- TT, so that these tools can take these new selection criteria into account. This way, we can re-use the technics of symbolic animation and of constraint solving of BZ- TT. We also benefit from the functionalities of export and concretization of the produced tests. With this method, the only additional work for the validation engineer is to define the test schemas used as selection criteria. Our last contribution is to assess the complementarity of our method with the automatic generation of tests by structural coverage of the model. We propose a method to assess the complementarity of two test suites. It is based on the computing of the coverage in terms of states and transitions of an abstraction of the system by th test suites. Finally, we apply this method to three case studies (two smart card applications and the POSIX fil management system), and we show the complementarity brought by the method
Стилі APA, Harvard, Vancouver, ISO та ін.

Книги з теми "Design génératif"

1

Shute, Malcolm J. Les architectures de 5e génération sur tranche. Paris: Masson, 1991.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Laurent, Chollet, ed. Génération 1977: Le livre anniversaire de vos 30 ans : tout le décor de vos jeunes années, actualité, culture, mode, sport, design, société. Paris: Hors collection, 2007.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Design génératif: Concevoir, programmer, visualiser. Paris: Pyramyd, 2010.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Keyhani, Ali. Design of Smart Power Grid Renewable Energy Systems. Wiley & Sons, Incorporated, John, 2012.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Design of Smart Power Grid Renewable Energy Systems. Wiley & Sons Canada, Limited, John, 2019.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Keyhani, Ali. Design of Smart Power Grid Renewable Energy Systems. Wiley & Sons, Incorporated, John, 2016.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Keyhani, Ali. Design of Smart Power Grid Renewable Energy Systems. Wiley & Sons, Incorporated, John, 2016.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Keyhani, Ali. Design of Smart Power Grid Renewable Energy Systems. Wiley & Sons, Incorporated, John, 2011.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Keyhani, Ali. Design of Smart Power Grid Renewable Energy Systems. Wiley & Sons, Incorporated, John, 2016.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Keyhani, Ali. Design of Smart Power Grid Renewable Energy Systems. Wiley & Sons, Incorporated, John, 2019.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.

Тези доповідей конференцій з теми "Design génératif"

1

Gorgemans, Julie. "Safety during design finalization and implementation for the AP1000® plant." In Sûreté des réacteurs nucléaires de 3ème génération. Les Ulis, France: EDP Sciences, 2013. http://dx.doi.org/10.1051/jtsfen/2013sur10.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!

До бібліографії