Global ETD Search

1	Erkennung und Charakterisierung gefaehrlicher selbstzersetzlicher Substanzen Duesseldorf 26 November 2001 (has links) (PDF) No description available.
2	Modélisation du processus de dimensionnement par la simulation numérique en génie électrique Péchoux, Jérôme 23 March 2001 (has links) (PDF) Cette thèse aborde le sujet de la modélisation du processus de dimensionnement en génie électrique par la simulation numérique. En premier lieu, le formalisme SADT est utilisé pour guider l'utilisateur dans sa simulation numérique. Puis, l'utilisation d'événementiels permet de recituer la simulation numérique dans le processus de dimensionnement en génie électrique. Enfin, une méthode nouvelle est proposée s'inspirant d'Open Inventor et de la méthodologie objet pour tenter de rassembler et de capitaliser I'ensemble des aspects du processus de dimensionnement en génie élechique. Cette méthode nouvelle est associée au langage VRML pour bénéficier de la syntaxe déjà définie [SPI] Engineering Sciences Dimensionnement Evénementiel Génie électrique Modélisation Open lnventor SADT Simulation VRML
3	Une contribution au Génie Automatique : le prototypage des machines et systèmes automatisés de production Panetto, Hervé 28 January 1991 (has links) (PDF) L'émergence du Génie Automatique est la conséquence de besoins en méthodes et outils adaptés aux métiers de l'Automatisation. La mise en œuvre des principes largement éprouvés par le Génie Logiciel tels que structuration, modularité, réutilisation, prototypage des applications contribue ainsi à l'évolution du Génie Automatique et à l'amélioration de la qualité de la conception. SPEX, outil de conception pour le Génie Automatique, offre ces possibilités mais nécessite, pour assurer une cohérence globale du processus de développement, de pouvoir s'intégrer, ou tout du moins s'interconnecter, avec des outils assurant les phases amont (spécification) et aval (codage et tests hors site) de l'application. A terme, la définition d'un Atelier de Génie Automatique devrait centraliser l'ensemble des informations dans une base de données ou d'objets commune à l'ensemble des outils pour permettre une mémorisation du savoir-faire entreprise. [SPI] Engineering Sciences [INFO:INFO_OH] Computer Science/Other Méthode Modèles SADT Prototypage Maquettage Génie Automatique Atelier Logiciel Grafcet Conception Outil de Conception
4	Semântica e uma ferramenta para o método SADT Ribeiro, Adagenor Lobato January 1991 (has links) A definição de requisitos tem sido reconhecida como uma das mais críticas e difíceis tarefas em engenharia de software. A necessidade de ferramentas de suporte é essencial. Nos dias de hoje, entre os vários métodos existentes para apoiar a fase de requisitos, destaca-se o SADT (Structured Analysis and Design Techniques) devido a sua capacidade de representar modelos. Este trabalho estabelece semântica para o método SADT, baseando-se na inter-relação do método aos sistemas de fluxo de dados (redes, grafos e máquinas de fluxo). Faz-se, inicialmente, uma abordagem operacional para a semântica de seus construtos básicos e, posteriormente discute-se a possibilidade de executar especificações através de simulação. Uma ferramenta para suportar o método SADT foi projetada e construída e é apresentada. Ela foi definida a partir de um modelo, denotado por uma classe, através de uma sintaxe abstrata. Essa ferramenta foi implementada no ambiente PROSOFT, fornecendo para o usuário mais de quarenta operações de apoio a construção/manipulação de diagramas. O trabalho também apresenta a especificação formal em VDM - Vienna Development Method, da semântica dos principais construtos do método SADT, bem como uma proposição de execução de especificações através de simulação são ainda indicadas direções nas quais o trabalho pode ser estendido. / The definition of systems requirements has been known as one of the most critical and dificult tasks as far as the software engineering is concerned. The need support is essential. Nowadays, among the various methods devised to support the phase of requirements, a special emphasis is given to the SADT method (Structured Analysis and Design Techniques), due to its capability of representing models. This work set semantic for the SADT method, based primarily upon the interrelation of the method to the systems of dataflow (nets, graphs and dataflow machines). It deals with an approach of operational semantics to its basic constructs, and it will, afterwards, discuss the possibility of carry out specifications by simulation. A tool was built to support the SADT method, and it was defined by a model denoted by a class, through an abstract syntax. This tool was implemented in the PROSOFT environment, providing for the user, more than forty support operations for the construction /manipulation of diagrams. This work also presents the formal specification of the semantics of the main constructs of the SADT method in VDM - Vienna Development Method; as well as an execution proposal of specifications through simulation. Directions have been indicated concerning the extension of the research. Engenharia : Software Especificacao : Software Case Method Software engineering SADT Requirements definition Formal specification Simulation System dataflow VDM Funcional specification Semantics
5	Méthodes et modèles pour l'évaluation de la sûreté de fonctionnement de systèmes automatisés complexes : Application à l'exploitation de lignes de production - Application à la conception de systèmes intelligents distribués Cauffriez, Laurent 21 September 2005 (has links) (PDF) La nécessité de prendre en considération les aspects sûreté de fonctionnement des systèmes automatisés, dès la phase de conception, pour tendre vers le concept de « systèmes automatisés sûrs de fonctionnement » représente aujourd'hui un enjeu majeur. <br />Nous présentons dans cette Habilitation à Diriger les Recherches le concept de systèmes automatisés sûrs de fonctionnement et procédons à une analyse de la problématique globale de la conception de tels systèmes. Nous identifions clairement les frontières des différents systèmes constituant les systèmes automatisés sûrs de fonctionnement : processus physique, systèmes d'automatisation, systèmes de sécurité, systèmes de contrôlabilité du risque (barrières). Pour ce faire, nous nous appuyons sur la notion de service rendu. <br />Nous introduisons ensuite les différents concepts de sûreté de fonctionnement des systèmes en dégageant deux grands niveaux : la sûreté de fonctionnement prédictive et la gestion de la sûreté de fonctionnement avec prise en compte des risques pour l'Homme et l'environnement. Cette étude aborde les aspects normatifs incontournables pour les systèmes industriels et décline notre point de vue sur la notion de complexité. L'identification de ces grands axes de recherche en conception des systèmes automatisés sûrs de fonctionnement nous permet de situer dans la communauté scientifique nos activités de recherche, dont les contributions et résultats sont présentés dans le mémoire selon deux axes :<br />• L'axe I porte sur la sûreté de fonctionnement de processus physiques avec une application à l'évaluation des paramètres FMD (Fiabilité-Maintenabilité-Disponibilité) des lignes de production dans le but d'en améliorer la performance,<br />• L'axe II porte sur la sûreté de fonctionnement des systèmes d'automatisation à intelligence distribuée avec la proposition d'une démarche de conception de tels systèmes et d'un formalisme pour la spécification des besoins et contraintes d'architecture, l'originalité de cette méthode repose sur la volonté d'obtenir une architecture validée par des paramètres de sûreté quantifiés. <br />De ces travaux découlent nos activités de recherche actuelles et futures relatives à l'analyse systémique de la sûreté de fonctionnement des systèmes complexes et à l'exploration de voies de recherche pour la proposition d'une méthodologie générique, indépendante du domaine d'application, pour la conception de systèmes complexes sûrs de fonctionnement. [SPI] Engineering Sciences Modélisation de systèmes complexes méthodes de conception étude de sûreté systèmes stochastiques processus physique systèmes d'automatisation systèmes intelligents systèmes distribués simulation Monte Carlo formalisme Safe-SADT
6	Semântica e uma ferramenta para o método SADT Ribeiro, Adagenor Lobato January 1991 (has links) A definição de requisitos tem sido reconhecida como uma das mais críticas e difíceis tarefas em engenharia de software. A necessidade de ferramentas de suporte é essencial. Nos dias de hoje, entre os vários métodos existentes para apoiar a fase de requisitos, destaca-se o SADT (Structured Analysis and Design Techniques) devido a sua capacidade de representar modelos. Este trabalho estabelece semântica para o método SADT, baseando-se na inter-relação do método aos sistemas de fluxo de dados (redes, grafos e máquinas de fluxo). Faz-se, inicialmente, uma abordagem operacional para a semântica de seus construtos básicos e, posteriormente discute-se a possibilidade de executar especificações através de simulação. Uma ferramenta para suportar o método SADT foi projetada e construída e é apresentada. Ela foi definida a partir de um modelo, denotado por uma classe, através de uma sintaxe abstrata. Essa ferramenta foi implementada no ambiente PROSOFT, fornecendo para o usuário mais de quarenta operações de apoio a construção/manipulação de diagramas. O trabalho também apresenta a especificação formal em VDM - Vienna Development Method, da semântica dos principais construtos do método SADT, bem como uma proposição de execução de especificações através de simulação são ainda indicadas direções nas quais o trabalho pode ser estendido. / The definition of systems requirements has been known as one of the most critical and dificult tasks as far as the software engineering is concerned. The need support is essential. Nowadays, among the various methods devised to support the phase of requirements, a special emphasis is given to the SADT method (Structured Analysis and Design Techniques), due to its capability of representing models. This work set semantic for the SADT method, based primarily upon the interrelation of the method to the systems of dataflow (nets, graphs and dataflow machines). It deals with an approach of operational semantics to its basic constructs, and it will, afterwards, discuss the possibility of carry out specifications by simulation. A tool was built to support the SADT method, and it was defined by a model denoted by a class, through an abstract syntax. This tool was implemented in the PROSOFT environment, providing for the user, more than forty support operations for the construction /manipulation of diagrams. This work also presents the formal specification of the semantics of the main constructs of the SADT method in VDM - Vienna Development Method; as well as an execution proposal of specifications through simulation. Directions have been indicated concerning the extension of the research. Engenharia : Software Especificacao : Software Case Method Software engineering SADT Requirements definition Formal specification Simulation System dataflow VDM Funcional specification Semantics
7	Semântica e uma ferramenta para o método SADT Ribeiro, Adagenor Lobato January 1991 (has links) A definição de requisitos tem sido reconhecida como uma das mais críticas e difíceis tarefas em engenharia de software. A necessidade de ferramentas de suporte é essencial. Nos dias de hoje, entre os vários métodos existentes para apoiar a fase de requisitos, destaca-se o SADT (Structured Analysis and Design Techniques) devido a sua capacidade de representar modelos. Este trabalho estabelece semântica para o método SADT, baseando-se na inter-relação do método aos sistemas de fluxo de dados (redes, grafos e máquinas de fluxo). Faz-se, inicialmente, uma abordagem operacional para a semântica de seus construtos básicos e, posteriormente discute-se a possibilidade de executar especificações através de simulação. Uma ferramenta para suportar o método SADT foi projetada e construída e é apresentada. Ela foi definida a partir de um modelo, denotado por uma classe, através de uma sintaxe abstrata. Essa ferramenta foi implementada no ambiente PROSOFT, fornecendo para o usuário mais de quarenta operações de apoio a construção/manipulação de diagramas. O trabalho também apresenta a especificação formal em VDM - Vienna Development Method, da semântica dos principais construtos do método SADT, bem como uma proposição de execução de especificações através de simulação são ainda indicadas direções nas quais o trabalho pode ser estendido. / The definition of systems requirements has been known as one of the most critical and dificult tasks as far as the software engineering is concerned. The need support is essential. Nowadays, among the various methods devised to support the phase of requirements, a special emphasis is given to the SADT method (Structured Analysis and Design Techniques), due to its capability of representing models. This work set semantic for the SADT method, based primarily upon the interrelation of the method to the systems of dataflow (nets, graphs and dataflow machines). It deals with an approach of operational semantics to its basic constructs, and it will, afterwards, discuss the possibility of carry out specifications by simulation. A tool was built to support the SADT method, and it was defined by a model denoted by a class, through an abstract syntax. This tool was implemented in the PROSOFT environment, providing for the user, more than forty support operations for the construction /manipulation of diagrams. This work also presents the formal specification of the semantics of the main constructs of the SADT method in VDM - Vienna Development Method; as well as an execution proposal of specifications through simulation. Directions have been indicated concerning the extension of the research. Engenharia : Software Especificacao : Software Case Method Software engineering SADT Requirements definition Formal specification Simulation System dataflow VDM Funcional specification Semantics
8	Response of concrete pavements under moving vehicular loads and environmental effects Darestani, Mostafa Yousefi January 2007 (has links) The need for modern transportation systems together with the high demand for sustainable pavements under applied loads have led to a great deal of research on concrete pavements worldwide. Development of finite element techniques enabled researchers to analyse the concrete pavement under a combination of axle group loadings and environmental effects. Consequently, mechanistic approaches for designing of concrete pavements were developed based on results of finite element analyses. However, unpredictable failure modes of concrete pavements associated with expensive maintenance and rehabilitation costs have led to the use of empiricalmechanistic approach in concrete pavement design. Despite progressive knowledge of concrete pavement behaviour under applied loads, concrete pavements still suffer from deterioration due to crack initiation and propagation, indicating the need for further research. Cracks can be related to fatigue of the concrete and/or erosion of materials in sub-layers. Although longitudinal, midedge and corner cracks are the most common damage modes in concrete pavements, Austroads method for concrete pavement design was developed based on traditional mid-edge bottom-up transverse cracking introduced by Packard and Tayabji (1985). Research presented in this thesis aims to address the most common fatigue related distresses in concrete pavements. It uses comprehensive finite element models and analyses to determine the structural behaviour of concrete pavements under vehicular loads and environmental effects. Results of this research are supported by laboratory tests and an experimental field test. Results of this research indicate that the induced tensile stresses within the concrete pavement are significantly affected by vehicle speed, differential temperature gradient and loss of moisture content. Subsequently, the interaction between the above mentioned factors and concrete damage modes are discussed. Typical dynamic amplifications of different axle groups are presented. A new fatigue test setup is also developed to take into consideration effects of pavement curvature on fatigue life of the concrete. Ultimately, results of the research presented in this thesis are employed to develop a new guide for designing concrete pavements with zero maintenance of fatigue damage. dynamic analysis dynamic amplification finite element analysis finite element model static analysis axle group loads critical axle group configuration critical position of axle groups tyre pavement interaction stress distribution fatigue failure concrete pavement distresses corner cracking longitudinal cracking transverse cracking top-down cracking bottom-up cracking boundary conditions debonding layer temperature effects loss of moisture contents shrinkage effects curling induced stress warping stress pavement curvature field test laboratory text experimental study truck load JPCP JRCP CRCP SAST SADT TAST TADT TRDT QADT

Search results