中文
相关论文

相关论文: Fundamental concepts in the Cyclus nuclear fuel cy…

200 篇论文

The modeling of complex systems such as ecological or socio-economic systems can be very challenging. Although various modeling approaches exist, they are generally not compatible and mutually consistent, and empirical data often do not…

物理与社会 · 物理学 2010-07-19 Dirk Helbing

Cloud computing recently developed into a viable alternative to on-premises systems for executing high-performance computing (HPC) applications. With the emergence of new vendors and hardware options, there is now a growing need to…

分布式、并行与集群计算 · 计算机科学 2018-12-14 Mohammad Mohammadi , Timur Bazhirov

Molecular simulations provide a powerful means to unravel the complex relationships between network architecture and the mechanical response of polymer networks, with a particular emphasis on rupture and fracture phenomena. Although…

软凝聚态物质 · 物理学 2026-02-02 Yuichi Masubuchi , Takato Ishida , Yusuke Koide , Takashi Uneyama

The potential benefits of autonomous systems have been driving intensive development of such systems, and of supporting tools and methodologies. However, there are still major issues to be dealt with before such development becomes…

软件工程 · 计算机科学 2022-05-25 David Harel , Assaf Marron , Joseph Sifakis

This paper presents the design of InterPSS simulation engine, including its object model, open software architecture, and software development process. Several advanced applications, including an integrated transmission and distribution…

软件工程 · 计算机科学 2017-11-30 Mike Zhou , Qiuhua Huang

Urban traffic regulation policies are increasingly used to address congestion, emissions, and accessibility in cities, yet their impacts are difficult to assess due to the socio-technical complexity of urban mobility systems. Recent…

计算机与社会 · 计算机科学 2026-03-13 Arianna Burzacchi , Marco Pistore

The profile of research software engineering has been greatly enhanced by developments at institutions around the world to form groups and communities that can support effective, sustainable development of research software. We observe,…

软件工程 · 计算机科学 2019-08-07 Jeremy Cohen , Daniel S. Katz , Michelle Barker , Robert Haines , Neil Chue Hong

Evaluating the security of cyber-physical systems throughout their life cycle is necessary to assure that they can be deployed and operated in safety-critical applications, such as infrastructure, military, and transportation. Most safety…

密码学与安全 · 计算机科学 2020-10-19 Georgios Bakirtzis , Bryan T. Carter , Carl R. Elks , Cody H. Fleming

We describe here our perception of complex systems, of how we feel the different layers of description are important part of a correct complex system simulation. We describe a rough models categorization between rules based and law based,…

流体动力学 · 物理学 2007-12-18 Pierrick Tranouez , Cyrille Bertelle , Damien Olivier

In the field of computational science and engineering, workflows often entail the application of various software, for instance, for simulation or pre- and postprocessing. Typically, these components have to be combined in arbitrarily…

软件工程 · 计算机科学 2022-11-15 Philipp Diercks , Dennis Gläser , Ontje Lünsdorf , Michael Selzer , Bernd Flemisch , Jörg F. Unger

Risk and uncertainty in each stage of CLSC have greatly increased the complexity and reduced process efficiency of the closed-loop networks, impeding the sustainable and resilient development of industries and the circular economy.…

综合经济学 · 经济学 2023-06-09 Yang Hu

Many scientific and practical areas have shown increasing interest in reaping the benefits of blockchain technology to empower software systems. However, the unique characteristics and requirements associated with Blockchain Based Software…

We review different aspects of the simulation of spiking neural networks. We start by reviewing the different types of simulation strategies and algorithms that are currently implemented. We next review the precision of those simulation…

Simulation has played an important role in efficiently evaluating self-driving vehicles in terms of scalability. Existing methods mostly rely on heuristic-based simulation, where traffic participants follow certain human-encoded rules that…

机器人学 · 计算机科学 2022-08-10 Wei-Jer Chang , Yeping Hu , Chenran Li , Wei Zhan , Masayoshi Tomizuka

Process science is a highly interdisciplinary field of research. Despite numerous proposals, process science lacks an adequate understanding of the core concepts of the field, including notions such as process, event, and system. A more…

数据库 · 计算机科学 2024-04-02 Peter Fettke , Wolfgang Reisig

Model checking is an established technique to formally verify automation systems which are required to be trusted. However, for sufficiently complex systems model checking becomes computationally infeasible. On the other hand, testing,…

软件工程 · 计算机科学 2019-07-30 Igor Buzhinsky , Valeriy Vyatkin

Quantum simulators are a promising technology on the spectrum of quantum devices from specialized quantum experiments to universal quantum computers. These quantum devices utilize entanglement and many-particle behaviors to explore and…

Throughout computer history, it has been repeatedly demonstrated that critical software vulnerabilities can significantly affect the components involved. In the Free/Libre and Open Source Software (FLOSS) ecosystem, most software is…

软件工程 · 计算机科学 2025-02-13 Stefan Tatschner , Michael P. Heinl , Nicole Pappler , Tobias Specht , Sven Plaga , Thomas Newe

The Agent Based Model community has a rich and diverse ecosystem of libraries, platforms, and applications to help modelers develop rigorous simulations. Despite this robust and diverse ecosystem, the complexity of life from microbial…

计算机与社会 · 计算机科学 2021-11-16 Thomas Pike , Samantha Golden , Daniel Lowdermilk , Brandon Luong , Benjamin Rosado

Simulating physical systems is a core component of scientific computing, encompassing a wide range of physical domains and applications. Recently, there has been a surge in data-driven methods to complement traditional numerical simulations…

机器学习 · 计算机科学 2021-08-19 Karl Otness , Arvi Gjoka , Joan Bruna , Daniele Panozzo , Benjamin Peherstorfer , Teseo Schneider , Denis Zorin