Formalisation et exploitation de l'expertise de modélisation au sein des logiciels de simulation

Formalisation et exploitation de l'expertise de modélisation au sein des logiciels de simulation PDF Author: Olivier Defour
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0

Book Description
La modélisation d'un dispositif destiné à une simulation numérique est aujourd'hui une tâche à la complexité croissante. Or, la conception de modèles fiables est une condition sine qua non pour garantir la fiabilité des résultats. Un modèle sera fiable si il respecte un ensemble de règles physico-numériques, qui définissent l'expertise des concepteurs de l'application. Dans le cadre largement répandu du génie logiciel objet, les spécifications structurelles et contractuelles d'un logiciel de simulation électromagnétique ont été partiellement définies grâce aux langages normalisés UML et OCL. Les expressions OCL expriment d'une part des contraintes d'implantation du logiciel, et d'autre part des contraintes de modélisation comportant des aspects numériques. Un système expert Prolog, encapsulé dans un composant logiciel Java, associé à une base de données d'instances, et fondé sur les formalismes UML et OCL, a été implanté. Il permet de guider l'utilisateur dans la phase de modélisation de son dispositif, en validant ses choix, en expliquant les éventuelles erreurs, et enfin en proposant dynamiquement des solutions alternatives fiables Dans le cas des simulations temporelles transitoires, un modèle initialement fiable peut sortir du domaine de validité des algorithmes de résolution utilisés, engendrant ainsi des erreurs. Dans l'hypothèse où différents modèles d'un même dispositif sont définis, leur commutation en fonction de l'algorithmique de résolution utilisée dépend de règles. Un système expert permettant de gérer ce type de commutation est étudié dans le cadre de la convection thermique.

HCI International 2020 - Posters

HCI International 2020 - Posters PDF Author: Constantine Stephanidis
Publisher: Springer Nature
ISBN: 3030507297
Category : Computers
Languages : en
Pages : 402

Book Description
The three-volume set CCIS 1224, CCIS 1225, and CCIS 1226 contains the extended abstracts of the posters presented during the 21st International Conference on Human-Computer Interaction, HCII 2020, which took place in Copenhagen, Denmark, in July 2020.* HCII 2020 received a total of 6326 submissions, of which 1439 papers and 238 posters were accepted for publication in the pre-conference proceedings after a careful reviewing process. The 238 papers presented in these three volumes are organized in topical sections as follows: Part I: design and evaluation methods and tools; user characteristics, requirements and preferences; multimodal and natural interaction; recognizing human psychological states; user experience studies; human perception and cognition. -AI in HCI. Part II: virtual, augmented and mixed reality; virtual humans and motion modelling and tracking; learning technology. Part III: universal access, accessibility and design for the elderly; smartphones, social media and human behavior; interacting with cultural heritage; human-vehicle interaction; transport, safety and crisis management; security, privacy and trust; product and service design. *The conference was held virtually due to the COVID-19 pandemic. The chapter "“Developing an Interactive Tabletop Mediated Activity to Induce Collaboration by Implementing Design Considerations Based on Cooperative Learning Principles” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Model-Based Systems Engineering

Model-Based Systems Engineering PDF Author: A. Wayne Wymore
Publisher: CRC Press
ISBN: 1351431080
Category : Technology & Engineering
Languages : en
Pages : 732

Book Description
Model-Based Systems Engineering explains the fundamental theories behind model-based systems and the considerations involved in applying theory to the design of real systems. The book begins by presenting terms used in systems engineering and introducing the discrete system and its components. The remainder of the text explains topics such as the mathematical theory of system coupling, the homomorphic relationship between systems, the concept of system mode, the mathematical structure of T3SD system requirements, and the implications of that structure for T3SD system design. Appendices include a short bibliography, detailed definitions of all examples discussed in the text, a list of all notations used, and an index. Model-Based Systems Engineering is an excellent text for engineering students, and an invaluable reference for engineers and scientists.

Biomimicry

Biomimicry PDF Author: Janine M. Benyus
Publisher: Harper Collins
ISBN: 0061958921
Category : Science
Languages : en
Pages : 324

Book Description
Repackaged with a new afterword, this "valuable and entertaining" (New York Times Book Review) book explores how scientists are adapting nature's best ideas to solve tough 21st century problems. Biomimicry is rapidly transforming life on earth. Biomimics study nature's most successful ideas over the past 3.5 million years, and adapt them for human use. The results are revolutionizing how materials are invented and how we compute, heal ourselves, repair the environment, and feed the world. Janine Benyus takes readers into the lab and in the field with maverick thinkers as they: discover miracle drugs by watching what chimps eat when they're sick; learn how to create by watching spiders weave fibers; harness energy by examining how a leaf converts sunlight into fuel in trillionths of a second; and many more examples. Composed of stories of vision and invention, personalities and pipe dreams, Biomimicry is must reading for anyone interested in the shape of our future.

INCOSE Systems Engineering Handbook

INCOSE Systems Engineering Handbook PDF Author: INCOSE
Publisher: John Wiley & Sons
ISBN: 111899941X
Category : Technology & Engineering
Languages : en
Pages : 309

Book Description
A detailed and thorough reference on the discipline and practice of systems engineering The objective of the International Council on Systems Engineering (INCOSE) Systems Engineering Handbook is to describe key process activities performed by systems engineers and other engineering professionals throughout the life cycle of a system. The book covers a wide range of fundamental system concepts that broaden the thinking of the systems engineering practitioner, such as system thinking, system science, life cycle management, specialty engineering, system of systems, and agile and iterative methods. This book also defines the discipline and practice of systems engineering for students and practicing professionals alike, providing an authoritative reference that is acknowledged worldwide. The latest edition of the INCOSE Systems Engineering Handbook: Is consistent with ISO/IEC/IEEE 15288:2015 Systems and software engineering—System life cycle processes and the Guide to the Systems Engineering Body of Knowledge (SEBoK) Has been updated to include the latest concepts of the INCOSE working groups Is the body of knowledge for the INCOSE Certification Process This book is ideal for any engineering professional who has an interest in or needs to apply systems engineering practices. This includes the experienced systems engineer who needs a convenient reference, a product engineer or engineer in another discipline who needs to perform systems engineering, a new systems engineer, or anyone interested in learning more about systems engineering.

Numerical Methods for Partial Differential Equations

Numerical Methods for Partial Differential Equations PDF Author: Sandip Mazumder
Publisher: Academic Press
ISBN: 0128035048
Category : Mathematics
Languages : en
Pages : 484

Book Description
Numerical Methods for Partial Differential Equations: Finite Difference and Finite Volume Methods focuses on two popular deterministic methods for solving partial differential equations (PDEs), namely finite difference and finite volume methods. The solution of PDEs can be very challenging, depending on the type of equation, the number of independent variables, the boundary, and initial conditions, and other factors. These two methods have been traditionally used to solve problems involving fluid flow. For practical reasons, the finite element method, used more often for solving problems in solid mechanics, and covered extensively in various other texts, has been excluded. The book is intended for beginning graduate students and early career professionals, although advanced undergraduate students may find it equally useful. The material is meant to serve as a prerequisite for students who might go on to take additional courses in computational mechanics, computational fluid dynamics, or computational electromagnetics. The notations, language, and technical jargon used in the book can be easily understood by scientists and engineers who may not have had graduate-level applied mathematics or computer science courses. - Presents one of the few available resources that comprehensively describes and demonstrates the finite volume method for unstructured mesh used frequently by practicing code developers in industry - Includes step-by-step algorithms and code snippets in each chapter that enables the reader to make the transition from equations on the page to working codes - Includes 51 worked out examples that comprehensively demonstrate important mathematical steps, algorithms, and coding practices required to numerically solve PDEs, as well as how to interpret the results from both physical and mathematic perspectives

Managing Complexity

Managing Complexity PDF Author: G. Rzevski
Publisher: WIT Press
ISBN: 1845649362
Category : Computers
Languages : en
Pages : 217

Book Description
Managing Complexity is the first book that clearly defines the concept of Complexity, explains how Complexity can be measured and tuned, and describes the seven key features of Complex Systems: ConnectivityAutonomyEmergencyNonequilibriumNon-linearitySelf-organisationCo-evolution The thesis of the book is that complexity of the environment in which we work and live offers new opportunities and that the best strategy for surviving and prospering under conditions of complexity is to develop adaptability to perpetually changing conditions. An effective method for designing adaptability into business processes using multi-agent technology is presented and illustrated by several extensive examples, including adaptive, real-time scheduling of taxis, see-going tankers, road transport, supply chains, railway trains, production processes and swarms of small space satellites. Additional case studies include adaptive servicing of the International Space Station; adaptive processing of design changes of large structures such as wings of the largest airliner in the world; dynamic data mining, knowledge discovery and distributed semantic processing. Finally, the book provides a foretaste of the next generation of complex issues, notably, The Internet of Things, Smart Cities, Digital Enterprises and Smart Logistics.

Handbook for Integrating Risk Analysis in the Economic Analysis of Projects

Handbook for Integrating Risk Analysis in the Economic Analysis of Projects PDF Author: Asian Development Bank
Publisher:
ISBN:
Category : Business & Economics
Languages : en
Pages : 124

Book Description
Aiming to support the development of a framework for the analysis of risk in project design and economic analysis, this handbook outlines technical approaches to modeling risk. Also summarized is the nature and practice of sensitivity analysis in dealing with uncertain outcomes as well as the principles to consider in typical risk analysis situations sector by sector. Case studies are included to demonstrate the application of quantitative risk analysis using actual Asian Development Bank projects to help improve project design and quality. Handbook users will learn to identify factors that are the key determinants of project outcomes, determine the likelihood of an individual project's returns being unacceptable, and design measures to mitigate the risks arising from the identified key factors.

The Disappearing Computer

The Disappearing Computer PDF Author: Norbert Streitz
Publisher: Springer
ISBN: 3540727272
Category : Computers
Languages : en
Pages : 314

Book Description
This book examines how the computer, as we currently know it, will be replaced by a new generation of technologies, moving computing off the desktop and ultimately integrating it with real world objects and everyday environments. It provides a unique combination of concepts, methods and prototypes of ubiquitous and pervasive computing reflecting the current interest in smart environments and ambient intelligence.

Product Life-Cycle Management

Product Life-Cycle Management PDF Author: Max Giordano
Publisher: John Wiley & Sons
ISBN: 1118587529
Category : Business & Economics
Languages : en
Pages : 389

Book Description
This book gives a comprehensive view of the most recent major international research in the field of tolerancing, and is an excellent resource for anyone interested in Computer Aided Tolerating. It is organized into 4 parts. Part 1 focuses on the more general problems of tolerance analysis and synthesis, for tolerancing in mechanical design and manufacturing processes. Part 2 specifically highlights the simulation of assembly with defects, and the influence of tolerances on the quality of the assembly. Part 3 deals with measurement aspects, and quality control throughout the life cycle. Different measurement technologies and methods for estimating uncertainty are considered. In Part 4, different aspects of tolerancing and their interactions are explored, from the definition of functional requirement to measurement processes in a PLM approach.