中文
相关论文

相关论文: Towards a fundamental theory of modeling discrete …

200 篇论文

Heraklit is an ongoing research program and development project aimed at creating an infrastructure for modeling large-scale, computer-integrated systems. We discuss the key requirements for such models (hierarchies, user view,…

软件工程 · 计算机科学 2022-05-23 Peter Fettke , Wolfgang Reisig

Modern and next generation digital infrastructures are technically based on service oriented structures, cloud services, and other architectures that compose large systems from smaller subsystems. The composition of subsystems is…

软件工程 · 计算机科学 2020-09-30 Peter Fettke , Wolfgang Reisig

Conceptual modeling is a strongly interdisciplinary field of research. Although numerous proposals for axiomatic foundations of the main ideas of the field exist, there is still a lack of understanding main concepts such as system, process,…

软件工程 · 计算机科学 2022-03-21 Peter Fettke , Wolfgang Reisig

Conceptual modeling is an important part of information systems development and use that involves identifying and representing relevant aspects of reality. Although the past decades have experienced continuous digitalization of services and…

人机交互 · 计算机科学 2025-05-21 V. C. Storey , R. Lukyanenko , A. Castellanos

The growing adoption of foundation models calls for a paradigm shift from Data Science to Model Science. Unlike data-centric approaches, Model Science places the trained model at the core of analysis, aiming to interact, verify, explain,…

人工智能 · 计算机科学 2025-08-28 Przemyslaw Biecek , Wojciech Samek

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…

计算工程、金融与科学 · 计算机科学 2025-08-05 Edward Louis , Gregory Mocko , Evan Taylor

Sensor-driven systems are increasingly ubiquitous: they provide both data and information that can facilitate real-time decision-making and autonomous actuation, as well as enabling informed policy choices by service providers and…

软件工程 · 计算机科学 2019-02-07 Muffy Calder , Simon Dobson , Michael Fisher , Julie McCann

Digital Engineering, the digital transformation of engineering to leverage digital technologies, is coming globally. This paper explores digital systems engineering, which aims at developing theory, methods, models, and tools to support the…

Modeling and documentation are two essential ingredients for the engineering discipline of software development. During the last twenty years a wide variety of description and modeling techniques as well as document formats has been…

软件工程 · 计算机科学 2014-11-11 Manfred Broy , Franz Huber , Barbara Paech , Bernhard Rumpe , Katharina Spies

Most modeling approaches lie in either of the two categories: physics-based or data-driven. Recently, a third approach which is a combination of these deterministic and statistical models is emerging for scientific applications. To leverage…

计算物理 · 物理学 2021-03-29 Omer San , Adil Rasheed , Trond Kvamsdal

Mathematical models are vital to the field of metrology, playing a key role in the derivation of measurement results and the calculation of uncertainties from measurement data, informed by an understanding of the measurement process. These…

The ability to construct, use, and revise models is a crucial experimental physics skill. Many existing frameworks describe modeling in science education at introductory levels. However, most have limited applicability to the context of…

物理教育 · 物理学 2018-10-22 Dimitri R. Dounas-Frazer , H. J. Lewandowski

Many large-scale, complex systems consist of interactions between humans, human-made systems and the environment. The approach developed in this paper is to partition the problem space into two fundamental layers and identify, parameterize…

计算机与社会 · 计算机科学 2016-12-06 Edwin Upchurch , Leila Meshket

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…

形式语言与自动机理论 · 计算机科学 2019-01-08 Shahbaz Ali , Hailong Sun , Yongwang Zhao

A class of models intended to be as minimal and structureless as possible is introduced. Even in cases with simple rules, rich and complex behavior is found to emerge, and striking correspondences to some important core known features of…

离散数学 · 计算机科学 2020-10-07 Stephen Wolfram

Predictive models are increasingly used to make various consequential decisions in high-stakes domains such as healthcare, finance, and policy. It becomes critical to ensure that these models make accurate predictions, are robust to shifts…

机器学习 · 计算机科学 2022-09-22 Murtuza N Shergadwala , Himabindu Lakkaraju , Krishnaram Kenthapadi

Due to the increased complexity of software development projects more and more systems are described by models. The sheer size makes it impractical to describe these systems by a single model. Instead many models are developed that provide…

软件工程 · 计算机科学 2014-09-24 Christoph Herrmann , Holger Krahn , Bernhard Rumpe , Martin Schindler , Steven Völkel

Basic principles of mathematical modeling are reviewed in this book, with the focus on physics and its practical applications, and examples of selected mathematical methods are presented. Most of the models have been imported from physics…

经典物理 · 物理学 2025-07-14 Sergej Pankratow

In the modern world, we are permanently using, leveraging, interacting with, and relying upon systems of ever higher sophistication, ranging from our cars, recommender systems in e-commerce, and networks when we go online, to integrated…

人工智能 · 计算机科学 2023-06-23 Patrick Rodler

Digital engineering has transformed the design and development process. However, the utility of digital engineering is fundamentally dependent on the assumption that a simulation provides information consistent with reality. This…

计算工程、金融与科学 · 计算机科学 2025-08-01 Evan Taylor , Edward Louis , Gregory Mocko
‹ 上一页 1 2 3 10 下一页 ›