Éléments de spécification d'un environnement avancé de modélisation et simulation

Éléments de spécification d'un environnement avancé de modélisation et simulation PDF Author: Anne-marie Dubois Courau
Publisher:
ISBN:
Category :
Languages : fr
Pages :

Get Book Here

Book Description


Contribution à la spécification d'un environnement de simulation à événements discrets

Contribution à la spécification d'un environnement de simulation à événements discrets PDF Author: Yvan Maillot
Publisher:
ISBN:
Category :
Languages : fr
Pages : 157

Get Book Here

Book Description
Il y a dix ans à peine, la simulation n'était utilisée qu'en dernier recours. Force est de constater qu'aujourd'hui elle a pris le pas sur les autres techniques d'évaluation de systèmes. L'étude présentée concerne la simulation à événements discrets (SED) dont les outils sont de plus en plus sophistiqués avec, notamment, l'apparition d'environnements de SED. L'objet de cette thèse est de fournir une contribution à la spécification d'un environnement de SED. Il s'agit, en premier lieu, de cerner ses orientations et de dresser la liste des exigences qu'il doit satisfaire. Un deuxième travail consiste à caractériser le profil d'une méthode de modélisation pour la SED dont l'application conduit à plusieurs abstractions du système étudié, et notamment une description de son comportement basée sur le formalisme des Statecharts. La principale contribution de cette étude est de fournir une spécification formelle d'une méthode de traduction automatique d'un modèle comportemental en un modèle exécutable. La méthode proposée généralise l'expression de la traduction d'un sous-ensemble des Statecharts en code VHDL. Elle présente des avantages certains par rapport aux outils déjà existants, comme celui d'être clairement reproductible et facilement adaptable en machine, contrairement aux traducteurs commerciaux qui ne dévoilent pas leurs solutions techniques ; en outre, c'est une méthode formelle au sens où l'on sait établir qu'un Statechart est dans l'ensemble des “traduisibles” ; à chacun d'eux, on associe un code unique, dont le calcul est explicite. D'autres avantages majeurs sont inhérents à la technique de traduction qui respecte totalement la structure originelle du modèle et permet de générer un code modulaire, générique, réutilisable et hiérarchique. De plus, la hiérarchie ainsi respectée permet de conserver tout le potentiel de parallélisation du modèle originel.

Environmentally-Friendly Product Development

Environmentally-Friendly Product Development PDF Author: Eberhard Abele
Publisher: Springer Science & Business Media
ISBN: 1846280869
Category : Technology & Engineering
Languages : en
Pages : 344

Get Book Here

Book Description
Development of environmentally friendly products gains an increasing - portance in science and in industry. While product development was strongly dedicated to achieve quality, cost and time targets, environmental issues indirectly had always been under consideration by engineers, see Fig. 1. Furthermore a methodology for the development of environm- tally sound products was missing. Despite of significant progress in using computer aided tools for product development and design, environmental aspects were attended. Computer aided tools typically do not include methods for considering environmental issues enabling the designer to - sess a product’s environmental effects. Fig. 1. Vision of Environment as a key target for product development v vi Preface Product related environmental issues are getting more and more political and public awareness. Development of environmentally friendly products has become an action item for both, politics and industry (UNFCCC 1997). Energy consumption is on the agenda and covers pollution and resource saving. Typical topics of directives of the European Union are waste, noise, air pollution, water, nature and biodiversity, soil protection, civil protection and climate change. After the translation into national law the development of environmentally friendly products is a basic approach to contribute to the fulfilment of the topics mentioned above. In the European Community a “Communication from the Commission to the Council and the European Parliament” on “Integrated Product Policy” was adopted on th 18 June 2003 (EC 2003).

Charges Et Les Spécifications Des Avions Militaires

Charges Et Les Spécifications Des Avions Militaires PDF Author: North Atlantic Treaty Organization. Advisory Group for Aerospace Research and Development. Structures and Materials Panel. Meeting
Publisher:
ISBN: 9789283600374
Category : Airplanes
Languages : en
Pages : 190

Get Book Here

Book Description


Homo Symbolicus

Homo Symbolicus PDF Author: Christopher S. Henshilwood
Publisher: John Benjamins Publishing
ISBN: 9027211892
Category : Social Science
Languages : en
Pages : 251

Get Book Here

Book Description
The emergence of symbolic culture, classically identified with the European cave paintings of the Ice Age, is now seen, in the light of recent groundbreaking discoveries, as a complex nonlinear process taking root in a remote past and in different regions of the planet. In this book the archaeologists responsible for some of these new discoveries, flanked by ethologists interested in primate cognition and cultural transmission, evolutionary psychologists modelling the emergence of metarepresentations, as well as biologists, philosophers, neuro-scientists and an astronomer combine their research findings. Their results call into question our very conception of human nature and animal behaviour, and they create epistemological bridges between disciplines that build the foundations for a novel vision of our lineage's cultural trajectory and the processes that have led to the emergence of human societies as we know them.

Computer Assisted Exercises and Training

Computer Assisted Exercises and Training PDF Author: Erdal Cayirci
Publisher: John Wiley & Sons
ISBN: 9780470498613
Category : Computers
Languages : en
Pages : 312

Get Book Here

Book Description
A comprehensive guide to computer assisted exercises Readers can turn to this indispensable reference guide for comprehensive and lucid coverage of the operational, technical, and organizational knowledge needed to harness successful and constructive computer assisted exercises (CAX) and war games. It is geared also toward large civilian organizations that are looking to teach and test their strategies and procedures without the added cost of manpower. Divided into two clear parts, the book covers: Fundamentals and Theory—conflict and warfare; probability and statistics; simulation; distributed simulation; and experimentation and analysis Combat Modeling, Computer Assisted Exercises, and Practice—CAX architectures; CAX process; combat modeling; CAX support tools; communications/information system issues, technical risks, and risk miti-gation; and exercise centers and facilities Computer Assisted Exercises and Training: A Reference Guide is indispensable reading for research engineers, computer scientists, software engineers working with modeling and simulation, homeland security specialists, staff in simulation training centers, military strategists and commanders, and many others. It also serves as a valuable textbook for modeling and simulation courses at the upper-undergraduate and graduate levels.

Mesolithic Europe

Mesolithic Europe PDF Author: Geoff Bailey
Publisher: Cambridge University Press
ISBN: 0521855039
Category : History
Languages : en
Pages : 0

Get Book Here

Book Description
A pan-European overview of the archaeology of hunter-gatherer societies, written by experts in each region.

GIS for Coastal Zone Management

GIS for Coastal Zone Management PDF Author: Darius Bartlett
Publisher: CRC Press
ISBN: 142002342X
Category : Technology & Engineering
Languages : en
Pages : 350

Get Book Here

Book Description
Increasingly used to analyze and manage marine and coastal zones, Geographical Information Systems (GIS) provide a powerful set of tools for integrating and processing spatial information. These technologies are increasingly used in the management and analysis of the coastal zone. Supplying the guidance necessary to use these tools, GIS for Coastal

Neural Networks

Neural Networks PDF Author: Gérard Dreyfus
Publisher: Springer Science & Business Media
ISBN: 3540288473
Category : Science
Languages : en
Pages : 509

Get Book Here

Book Description
Neural networks represent a powerful data processing technique that has reached maturity and broad application. When clearly understood and appropriately used, they are a mandatory component in the toolbox of any engineer who wants make the best use of the available data, in order to build models, make predictions, mine data, recognize shapes or signals, etc. Ranging from theoretical foundations to real-life applications, this book is intended to provide engineers and researchers with clear methodologies for taking advantage of neural networks in industrial, financial or banking applications, many instances of which are presented in the book. For the benefit of readers wishing to gain deeper knowledge of the topics, the book features appendices that provide theoretical details for greater insight, and algorithmic details for efficient programming and implementation. The chapters have been written by experts and edited to present a coherent and comprehensive, yet not redundant, practically oriented introduction.

Risk and Reliability Analysis

Risk and Reliability Analysis PDF Author: Vijay P. Singh
Publisher: Amer Society of Civil Engineers
ISBN: 9780784408919
Category : Technology & Engineering
Languages : en
Pages : 785

Get Book Here

Book Description
Singh, Jain, and Tyagi present the key concepts of risk and reliability that apply to a wide array of problems in civil and environmental engineering.