中文
相关论文

相关论文: Flexible Software Framework for Modal Synthesis

200 篇论文

The predominant knowledge-based approach to automated model construction, compositional modelling, employs a set of models of particular functional components. Its inference mechanism takes a scenario describing the constituent interacting…

人工智能 · 计算机科学 2011-07-04 J. Keppens , Q. Shen

The quality of a simulator equipped with a haptic interface is given by the dynamical properties of its components: haptic interface, simulator and control system. Some application areas of such kind of simulator like musical synthesis,…

图形学 · 计算机科学 2010-05-20 Jean-Loup Florens , Alina Voda , Daniela Urma

Reversibility is a key issue in the interface between computation and physics, and of growing importance as miniaturization progresses towards its physical limits. Most foundational work on reversible computing to date has focussed on…

计算机科学中的逻辑 · 计算机科学 2011-12-01 Samson Abramsky

In this paper a framework for engineering supervisory controllers for product lines with dynamic feature configuration is proposed. The variability in valid configurations is described by a feature model. Behavior of system components is…

系统与控制 · 电气工程与系统科学 2023-05-17 Sander Thuijsman , Michel Reniers

We consider the common problem setting of an elastic sphere impacting on a flexible beam. In contrast to previous studies, we analyze the modal energy distribution induced by the impact, having in mind the particular application of impact…

系统与控制 · 电气工程与系统科学 2022-07-05 Felix Gehr , Timo Theurich , Carlo Monjaraz-Tec , Johann Gross , Stefan Schwarz , Andreas Hartung , Malte Krack

Advanced reverse engineering tools are required to cope with the complexity of software systems and the specific requirements of numerous different tasks (re-architecturing, migration, evolution). Consequently, reverse engineering tools…

A formal description of a Cyber-Physical system should include a rigorous specification of the computational and physical components involved, as well as their interaction. Such a description, thus, lends itself to a compositional model…

计算机科学中的逻辑 · 计算机科学 2016-12-16 Tobias Kappé , Farhad Arbab , Carolyn Talcott

Individual machines in flexible production lines explicitly expose capabilities at their interfaces by means of parametric skills. Given such a set of configurable machines, a line integrator is faced with the problem of finding and tuning…

形式语言与自动机理论 · 计算机科学 2016-05-23 Chih-Hong Cheng , Lacramioara Astefanoaei , Harald Ruess , Souha Ben Rayana , Saddek Bensalem

This note aims to provide a systematic investigation of direct data-driven control, enriching the existing literature not by adding another isolated result, but rather by offering a unifying, versatile, and broad framework that enables the…

系统与控制 · 电气工程与系统科学 2025-08-11 Nima Monshizadeh , Claudio De Persis , Pietro Tesi

Systems composed of soft matter (e.g., liquids, polymers, foams, gels, colloids, and most biological materials) are ubiquitous in science and engineering, but molecular simulations of such systems pose particular computational challenges,…

Linear Software Models is a systematic effort to formulate a theory of software systems neatly based upon standard mathematics, viz. linear algebra. It has appeared in a series of papers dealing with various aspects of the theory. But one…

软件工程 · 计算机科学 2015-10-16 Iaakov Exman

Large language models (LLMs) are transforming electronic design automation (EDA) by enhancing design stages such as schematic design, simulation, netlist synthesis, and place-and-route. Existing methods primarily focus these optimisations…

Here, we present the concept of an open virtual prototyping framework for maritime systems and operations that enables its users to develop re-usable component or subsystem models, and combine them in full-system simulations for…

This paper tackles the problem of physics-aware human motion synthesis in a dynamic scene. Unlike existing works which mainly tend to generate physically unrealistic motions due to limited contact modeling, typically restricted to hands, in…

计算机视觉与模式识别 · 计算机科学 2026-05-05 Chaoyue Xing , Wei Mao , Miaomiao Liu

This paper presents a SysML-based approach to enhance functional and software development process within an industrial context. The recent changes in technology such as electromobility and increased automation in heavy construction…

软件工程 · 计算机科学 2019-06-21 Saurabh Tiwari , Emina Smajlovic , Amina Krekic , Jagadish Suryadevara

Assembly systems constitute one of the most important fields in today industry. In this paper we propose an open distributed architecture for the engineering of evolvable flexible hybrid assembly systems. The proposed architecture is based…

软件工程 · 计算机科学 2014-11-06 Kleanthis Thramboulidis

Molecular representation learning plays a crucial role in advancing applications such as drug discovery and material design. Existing work leverages 2D and 3D modalities of molecular information for pre-training, aiming to capture…

机器学习 · 计算机科学 2025-10-09 Tengwei Song , Min Wu , Yuan Fang

In this review, it is explained and compared different software and formalisms used in music interaction: sequencers, computer-assisted improvisation, meta- instruments, score-following, asynchronous dataflow languages, synchronous dataflow…

声音 · 计算机科学 2018-10-11 Mauricio Toro

Model-driven engineering (MDE) provides tools and methods for the manipulation of formal models. In this letter, we leverage MDE for the transformation of production system models into flat files that are understood by general purpose…

系统与控制 · 电气工程与系统科学 2019-11-14 Bernhard Wally , Jirí Vyskočil , Petr Novák , Christian Huemer , Radek Šindelář , Petr Kadera , Alexandra Mazak , Manuel Wimmer

The deepening of the penetration of renewable energy is challenging how power system operators cope with their associated variability and uncertainty. The inherent flexibility of dispathchable assets present in power systems, which is often…

最优化与控制 · 数学 2024-08-19 Mohamed Awadalla , François Bouffard