English
Related papers

Related papers: Modelling methodology of MEMS structures based on …

200 papers

Modelling quantum devices is to find a model according to quantum theory that can explain the result of experiments in a quantum device. We find that usually we cannot correctly identify the model describing the actual physics of the device…

Quantum Physics · Physics 2019-10-08 Hang Ren , Ying Li

We present results of a two-scale model of disordered cellular materials where we describe the microstructure in an idealized manner using a beam network model and then make a transition to a Cosserat-type continuum model describing the…

Materials Science · Physics 2017-08-15 Stefan Liebenstein , Michael Zaiser

Energy systems optimisation models are a leading tool for informing decisions in the energy transition. However, these models often remain opaque, and results are frequently presented without a clear discussion of their epistemic…

Modeling of work systems occurs for all sorts of reasons. Requirements need to be expressed. A pre-existing situation may need to be charted and analyzed. Early design decisions may be captured using architecture principles. Detailed design…

Software Engineering · Computer Science 2021-05-19 Henderik A. Proper

A trend across most areas where simulation-driven development is used is the ever increasing size and complexity of the systems under consideration, pushing established methods of modeling and simulation towards their limits. This paper…

Numerical Analysis · Mathematics 2019-09-04 Gerald Schweiger , Henrik Nilsson , Josef Schoeggl , Wolfgang Birk , Alfred Posch

The workshop is devoted to model-based testing of both software and hardware. Model-based testing uses models describing the required behavior of the system under consideration to guide such efforts as test selection and test results…

Software Engineering · Computer Science 2015-04-09 Nikolay Pakulin , Alexander K. Petrenko , Bernd-Holger Schlingloff

Decision support systems like computer-aided energy system analysis (ESA) are considered one of the main pillars for developing sustainable and reliable energy transformation strategies. Although today's diverse tools can already support…

The quality and correct functioning of software components embedded in electronic systems are of utmost concern especially for safety and mission-critical systems. Model-based testing and formal verification techniques can be employed to…

Formal Languages and Automata Theory · Computer Science 2019-01-08 Shahbaz Ali , Hailong Sun , Yongwang Zhao

Active thermal control is crucial in achieving the required accuracy and throughput in many industrial applications, e.g., in the medical industry, high-power lighting industry, and semiconductor industry. Thermoelectric Modules (TEMs) can…

Systems and Control · Electrical Eng. & Systems 2020-06-19 Enzo Evers , Rens Slenders , Rob van Gils , Tom Oomen

Identifying a coupled dynamical system out of many plausible candidates, each of which could serve as the underlying generator of some observed measurements, is a profoundly ill posed problem that commonly arises when modelling real world…

Neurons and Cognition · Quantitative Biology 2019-09-17 Amirhossein Jafarian , Peter Zeidman , Vladimir Litvak , Karl Friston

Scientists investigate the dynamics of complex systems with quantitative models, employing them to synthesize knowledge, to explain observations, and to forecast future system behavior. Complete specification of systems is impossible, so…

Quantitative Methods · Quantitative Biology 2007-05-23 S. R. Borrett , W. Bridewell , P. Langely , K. R. Arrigo

Most available tools propose simulation frameworks to study models of biological systems, but simulation only explores a few of the most probable behaviours of the system. On the contrary, techniques such as model checking, coming from…

Logic in Computer Science · Computer Science 2011-08-18 Nicolas Sedlmajer , Didier Buchs , Steve Hostettler , Alban Linard , Edmundo Lopez , Alexis Marechal

Developing a structured method for analyzing various aspects of a system requires a novel methodology. This study is aimed at developing such as methodology through combining two major matrix methods, namely, Design Structure Matrix (DSM)…

Systems and Control · Electrical Eng. & Systems 2019-07-02 Hossein Sabzian , Seyyed Mostafa Seyyed Hashemi , Ehsan Kamrani

Machine learning techniques have been widely employed as effective tools in addressing various engineering challenges in recent years, particularly for the challenging task of microstructure-informed materials modeling. This work provides a…

Materials Science · Physics 2024-05-29 Xiang-Long Peng , Mozhdeh Fathidoost , Binbin Lin , Yangyiwei Yang , Bai-Xiang Xu

The case study analyzed in the report involves the behavioral specification and verification of a three-stage pipeline consisting of mutually concurrent modules which also compete for a shared resource. The system components are specified…

Software Engineering · Computer Science 2017-05-16 Jerzy Mieścicki , Bogdan Czejdo , Wiktor B. Daszczuk

There are many approaches to nonlinear SEM (structural equation modeling) but it seems that a rather straightforward approach using Isserlis' theorem has not yet been investigated although it allows the direct extension of the standard…

Computation · Statistics 2021-09-22 Reinhard Oldenburg

Machine learning has emerged as a significant approach to efficiently tackle electronic structure problems. Despite its potential, there is less guarantee for the model to generalize to unseen data that hinders its application in real-world…

Machine Learning · Computer Science 2024-02-16 Gengyuan Hu , Gengchen Wei , Zekun Lou , Philip H. S. Torr , Wanli Ouyang , Han-sen Zhong , Chen Lin

The article is devoted to the issues of using discrete simulation models for modeling some basic technological processes. In the scientific work, models in the form of multi-agent systems have been investigated, which allow us to consider a…

Multiagent Systems · Computer Science 2021-09-28 Sergey Petrovich Bobkov , Irina Aleksandrovna Astrakhantseva

Systems design processes are increasingly reliant on simulation models to inform design decisions. A pervasive issue within the systems engineering community is trusting in the models used to make decisions about complex systems. This work…

Computational Engineering, Finance, and Science · Computer Science 2025-08-05 Edward Louis , Gregory Mocko , Evan Taylor

Complex systems' modeling and simulation are powerful ways to investigate a multitude of natural phenomena providing extended knowledge on their structure and behavior. However, enhanced modeling and simulation require integration of…