中文
相关论文

相关论文: Physics-based simulation ontology: an ontology to …

200 篇论文

Studying the extent to which realism is compatible with quantum mechanics teaches us something about the quantum mechanical universe, regardless of the validity of such realistic assumptions. It has also recently been appreciated that these…

量子物理 · 物理学 2007-09-28 Nicholas Harrigan , Terry Rudolph

Simulation Optimization (SO) refers to the optimization of an objective function subject to constraints, both of which can be evaluated through a stochastic simulation. To address specific features of a particular simulation---discrete or…

数据结构与算法 · 计算机科学 2017-06-28 Satyajith Amaran , Nikolaos V. Sahinidis , Bikram Sharda , Scott J. Bury

The engineering design process follows a series of standardized stages of development, which have many aspects in common with software engineering. Among these stages, the principle solution can be regarded as an analogue of the design…

Processes, workflows and guidelines are core to ensure the correct functioning of industrial companies: for the successful operations of factory lines, machinery or services, often industry operators rely on their past experience and…

人工智能 · 计算机科学 2025-12-08 Valentina Anita Carriero , Mario Scrocca , Ilaria Baroni , Antonia Azzini , Irene Celino

It has been challenging for the technical and regulatory communities to formulate requirements for trustworthiness of the cyber-physical systems (CPS) due to the complexity of the issues associated with their design, deployment, and…

密码学与安全 · 计算机科学 2018-03-21 Marcello Balduccini , Edward Griffor , Michael Huth , Claire Vishik , Martin Burns , David Wollman

Personal service robots are increasingly used in domestic settings to assist older adults and people requiring support. Effective operation involves not only physical interaction but also the ability to interpret dynamic environments,…

机器人学 · 计算机科学 2025-09-29 Margherita Martorana , Francesca Urgese , Ilaria Tiddi , Stefan Schlobach

Basic abstraction principles are reached through ontology, which was traditionally conceived as a depiction of the world itself. Ontology is also described using conceptual modeling (CM) that defines fundamental concepts of reality. CM is…

软件工程 · 计算机科学 2023-01-06 Sabah Al-Fedaghi

We have proposed going beyond traditional ontologies to use rich semantics implemented in programming languages for modeling. In this paper, we discuss the application of executable semantic models to two examples, first a structured…

人工智能 · 计算机科学 2020-01-01 Robert B. Allen

Particle swam optimization (PSO) is a popular stochastic optimization method that has found wide applications in diverse fields. However, PSO suffers from high computational complexity and slow convergence speed. High computational…

神经与进化计算 · 计算机科学 2014-01-06 Muhammad Saqib Sohail , Muhammad Omer Bin Saeed , Syed Zeeshan Rizvi , Mobien Shoaib , Asrar Ul Haq Sheikh

In applied mathematics and related disciplines, the modeling-simulation-optimization workflow is a prominent scheme, with mathematical models and numerical algorithms playing a crucial role. For these types of mathematical research data,…

Particle-based shape modeling (PSM) is a popular approach to automatically quantify shape variability in populations of anatomies. The PSM family of methods employs optimization to automatically populate a dense set of corresponding…

计算机视觉与模式识别 · 计算机科学 2024-11-26 Hong Xu , Shireen Y. Elhabian

This paper introduces a new ontology for Materials Science Laboratory Equipment, termed MSLE. A fundamental issue with materials science laboratory (hereafter lab) equipment in the real world is that scientists work with various types of…

人工智能 · 计算机科学 2023-08-17 Mehrdad Jalali , Matthias Mail , Rossella Aversa , Christian Kübel

Physical reasoning is a core aspect of intelligence in animals and humans. A central question is what model should be used as a basis for reasoning. Existing work considered models ranging from intuitive physics and physical simulators to…

机器人学 · 计算机科学 2020-07-07 Marc Toussaint , Jung-Su Ha , Danny Driess

Physics-based simulations typically operate with a combination of complex differentiable equations and many scientific and geometric inputs. Our work involves gathering data from those simulations and seeing how well tree-based machine…

机器学习 · 计算机科学 2022-07-29 David Noever , Samuel Hyams

The verification and validation of autonomous driving vehicles remains a major challenge due to the high complexity of autonomous driving functions. Scenario-based testing is a promising method for validating such a complex system.…

机器人学 · 计算机科学 2023-04-24 Maximilian Zipfl , Nina Koch , J. Marius Zöllner

Software-intensive Systems-of-Systems (SoS) refer to an arrangement of managerially and operationally independent systems(i.e., constituent systems), which work collaboratively towards the achievement of global missions. Because some SoS…

Ontologies are widely used in materials science to describe experiments, processes, material properties, and experimental and computational workflows. Numerous online platforms are available for accessing and sharing ontologies in Materials…

信息检索 · 计算机科学 2024-08-13 Ebrahim Norouzi , Jörg Waitelonis , Harald Sack

This paper is based on and advocates the trend in software engineering of extending the use of software patterns as means of structuring solutions to software development problems (be they motivated by best practice or by company interests…

软件工程 · 计算机科学 2007-05-23 Jean-Marc Rosengard , Marian Ursu

A physical simulation engine (PSE) is a software system that simulates physical environments and objects. Modern PSEs feature both forward and backward simulations, where the forward phase predicts the behavior of a simulated system, and…

软件工程 · 计算机科学 2023-08-15 Dongwei Xiao , Zhibo Liu , Shuai Wang

Feature model are widely used to capture commonalities and variabilities of artefacts in Software Product Line (SPL). Several studies have discussed the formal representation of feature diagram using ontologies with different styles of…

软件工程 · 计算机科学 2017-07-11 Iis Afriyanti , Faiq Miftakhul Falakh , Ade Azurat , Bravyto Takwa