中文
相关论文

相关论文: Mapping DEVS Models onto UML Models

200 篇论文

Declarative machine learning (ML) aims at the high-level specification of ML tasks or algorithms, and automatic generation of optimized execution plans from these specifications. The fundamental goal is to simplify the usage and/or…

数据库 · 计算机科学 2016-05-20 Matthias Boehm , Alexandre V. Evfimievski , Niketan Pansare , Berthold Reinwald

Vision-Language Models (VLMs) excel at 2D tasks such as grounding and captioning, yet remain limited in 3D understanding. A key limitation is their text-only supervision paradigm, which under-constrains fine-grained visual perception and…

计算机视觉与模式识别 · 计算机科学 2026-05-21 Hanxun Yu , Xuan Qu , Yuxin Wang , Jianke Zhu , Lei Ke

Behaviors of many engineering systems are described by lumped parameter models that encapsulate the spatially distributed nature of the system into networks of lumped elements; the dynamics of such a network is governed by a system of…

系统与控制 · 计算机科学 2019-12-04 Randi Wang , Vadim Shapiro

Large language models (LLMs) excel at generating code from natural language (NL) descriptions. However, the plain textual descriptions are inherently ambiguous and often fail to capture complex requirements like intricate system behaviors,…

人工智能 · 计算机科学 2025-11-06 Wenxin Mao , Zhitao Wang , Long Wang , Sirong Chen , Cuiyun Gao , Luyang Cao , Ziming Liu , Qiming Zhang , Jun Zhou , Zhi Jin

Modelling and simulation of complex systems is key to exploring and understanding social processes, benefiting from formal mechanisms to derive global-level properties from local-level interactions. In this paper we extend the body of…

多智能体系统 · 计算机科学 2021-10-18 Daniel Foguelman , Esteban Lanzarotti , Emanuel Ferreyra , Rodrigo Castro

The Unified Modeling Language is extensible, and so can be regarded as a family of languages. Implicitly or explicitly, any particular UML model should be accompanied by a definition of the particular UML family member used for the model.…

软件工程 · 计算机科学 2014-09-25 Steve Cook , Anneke Kleppe , Richard Mitchell , Bernhard Rumpe , Jos Warmer , Alan Wills

In the last years machine learning (ML) has moved from a academic endeavor to a pervasive technology adopted in almost every aspect of computing. ML-powered products are now embedded in our digital lives: from recommendations of what to…

机器学习 · 计算机科学 2021-07-20 Piero Molino , Christopher Ré

By adequate employing of complex event processing (CEP), valuable information can be extracted from the underlying complex system and used in controlling and decision situations. An example application area is management of IT systems for…

软件工程 · 计算机科学 2012-08-02 Istvan David

The most common method to validate a DEVS model against the requirements is to simulate it several times under different conditions, with some simulation tool. The behavior of the model is compared with what the system is supposed to do.…

软件工程 · 计算机科学 2015-04-10 Diego A. Hollmann , Maximiliano Cristiá , Claudia Frydman

The design productivity gap requires more efficient design methods. Software systems have faced the same challenge and seem to have mastered it with the introduction of more abstract design methods. The UML has become the standard for…

软件工程 · 计算机科学 2011-11-09 Tim Schattkowsky

A conceptual model can be used to manage complexity in both the design and implementation phases of the system development life cycle. Such a model requires a firm grasp of the abstract principles on which a system is based, as well as an…

软件工程 · 计算机科学 2021-05-04 Sabah Al-Fedaghi

The development of Machine Learning (ML) models is more than just a special case of software development (SD): ML models acquire properties and fulfill requirements even without direct human interaction in a seemingly uncontrollable manner.…

Object orientation has become the predominant paradigm for conceptual modeling (e.g., UML), where the notions of class and object form the primitive building blocks of thought. Classes act as templates for objects that have attributes and…

软件工程 · 计算机科学 2021-06-02 Sabah Al-Fedaghi

In molecular dynamics (MD) simulations, transitions between states are often rare events due to energy barriers that exceed the thermal temperature. Because of their infrequent occurrence and the huge number of degrees of freedom in…

化学物理 · 物理学 2024-12-06 Tuğçe Gökdemir , Jakub Rydzewski

Deep eutectic solvents (DESs) have gained attention in recent years as attractive alternatives to traditional solvents. There is a growing number of publications dealing with the thermodynamic modeling of DESs highlighting the importance of…

UML state machine design is a critical process in software engineering. Traditionally, state machines are manually crafted by experienced engineers based on natural language requirements-a time-consuming and error-prone procedure. Many…

软件工程 · 计算机科学 2026-04-02 Samer Abdulkarim , Evan Boyd , Karl Bridi , Alec Tufenkjian , Boqi Chen , Gunter Mussbacher

Discrete Event Simulation (DES) is a widely used technique in which the state of the simulator is updated by events happening at discrete points in time (hence the name). DES is used to model and analyze many kinds of systems, including…

分布式、并行与集群计算 · 计算机科学 2014-07-25 Luca Toscano , Gabriele D'Angelo , Moreno Marzolla

The Unified Modeling Language is a standardized visual language widely used for modeling and documenting the design of software systems. Although many tools generate UML diagrams from UML code, generating executable UML code from…

软件工程 · 计算机科学 2025-05-16 Averi Bates , Ryan Vavricka , Shane Carleton , Ruosi Shao , Chongle Pan

This paper comprises a SysML-based approach to support the model-driven engineering (MDE) of Manufacturing Automation Software Projects (MASP). The Systems Modeling Language (SysML) is adapted to define the SysML-AT (SysML for automation),…

系统与控制 · 电气工程与系统科学 2022-12-14 Birgit Vogel-Heuser , Daniel Schuetz , Timo Frank , Christoph Legat

Discrete Event Modelling of Embedded Systems (DEMES) is a development methodology based on the Discrete Event Systems (DEVS) specification that improves the time -to-market by simplifying the development and testing of embedded systems.…

系统与控制 · 电气工程与系统科学 2023-04-18 Sasisekhar Mangalam Govind , John Sahaya Rani Alex , Gabriel A. Wainer