中文
相关论文

相关论文: Implicit Simulations using Messaging Protocols

200 篇论文

Distributed software is very tricky to implement correctly as some errors only occur in peculiar situations. For such errors testing is not effective. Mathematically proving correctness is hard and time consuming, and therefore, it is…

计算机科学中的逻辑 · 计算机科学 2025-08-08 Jan Friso Groote , Jeroen J. A. Keiren

With the rise of computers, simulation models have emerged beside the more traditional statistical and mathematical models as a third pillar for ecological analysis. Broadly speaking, a simulation model is an algorithm, typically…

种群与进化 · 定量生物学 2018-12-24 Florian Hartig

The Autonomous System (AS) topology of the Internet (up to 61k ASs) is growing at a rate of about 10% per year. The Border Gateway Protocol (BGP) starts to show its limits in terms of the number of routing table entries it can dynamically…

网络与互联网体系结构 · 计算机科学 2012-09-06 David Coudert , Luc Hogie , Aurélien Lancin , Dimitri Papadimitriou , Stéphane Pérennes , Issam Tahiri

We describe a new software package for simulating channelised, high-time resolution data streams from radio telescopes. The software simulates data from the telescope and observing system taking into account the observation strategy,…

Simulation has become the evaluation method of choice for many areas of distributing computing research. However, most existing simulation packages have several limitations on the size and complexity of the system being modeled. Fine…

分布式、并行与集群计算 · 计算机科学 2011-07-01 Dobre Ciprian , Cristea Valentin , Iosif C. Legrand

This paper proposes a distributed model predicted control (DMPC) approach for consensus control of multi-agent systems (MASs) with linear agent dynamics and bounded control input constraints. Within the proposed DMPC framework, each agent…

系统与控制 · 电气工程与系统科学 2020-09-16 Yougang Bian , Changkun Du , Manjiang Hu , Haikuo Liu

This paper introduces two ongoing research projects which seek to apply computer modelling techniques in order to simulate human behaviour within organisations. Previous research in other disciplines has suggested that complex social…

神经与进化计算 · 计算机科学 2010-07-05 Helen Celia , Christopher Clegg , Mark Robinson , Peer-Olaf Siebers , Uwe Aickelin , Christine Sprigg

Estimating statistical models within sensor networks requires distributed algorithms, in which both data and computation are distributed across the nodes of the network. We propose a general approach for distributed learning based on…

机器学习 · 计算机科学 2012-07-03 Qiang Liu , Alexander Ihler

This paper presents a Distributed Stochastic Model Predictive Control algorithm for networks of linear systems with multiplicative uncertainties and local chance constraints on the states and control inputs. The chance constraints are…

最优化与控制 · 数学 2023-03-07 Christoph Mark , Steven Liu

We present a computational algorithm for computing short range forces between particles. The algorithm has two distinguishing features. First, it is optimized for multi-processor computers, and will use as many processors as are available.…

天体物理学 · 物理学 2008-02-03 Robert C. Ferrell , Edmund Bertschinger

Increasing data volumes delivered by a new generation of radio interferometers require computationally efficient and robust calibration algorithms. In this paper, we propose distributed calibration as a way of improving both computational…

天体物理仪器与方法 · 物理学 2015-06-23 Sarod Yatawatta

Distributed automata are finite-state machines that operate on finite directed graphs. Acting as synchronous distributed algorithms, they use their input graph as a network in which identical processors communicate for a possibly infinite…

形式语言与自动机理论 · 计算机科学 2018-12-21 Fabian Reiter

Modern out-of-order processors have increased capacity to exploit instruction level parallelism (ILP) and memory level parallelism (MLP), e.g., by using wide superscalar pipelines and vector execution units, as well as deep buffers for…

编程语言 · 计算机科学 2018-07-05 Vladimir Kiriansky , Haoran Xu , Martin Rinard , Saman Amarasinghe

Herein, design of false data injection attack on a distributed cyber-physical system is considered. A stochastic process with linear dynamics and Gaussian noise is measured by multiple agent nodes, each equipped with multiple sensors. The…

系统与控制 · 电气工程与系统科学 2020-02-06 Moulik Choraria , Arpan Chattopadhyay , Urbashi Mitra , Erik Strom

Model predictive control (MPC) for linear systems with quadratic costs and linear constraints is shown to admit an exact representation as an implicit neural network. A method to "unravel" the implicit neural network of MPC into an explicit…

系统与控制 · 电气工程与系统科学 2024-04-19 Ross Drummond , Pablo R Baldivieso-Monasterios , Giorgio Valmorbida

The development of cost-effective highperformance parallel computing on multi-processor supercomputers makes it attractive to port excessively time consuming simulation software from personal computers (PC) to super computes. The power…

分布式、并行与集群计算 · 计算机科学 2007-05-23 Ning Lu , Z. Todd Taylor , David P. Chassin , Ross T. Guttromson , R. Scott Studham

It is well known that quantum technology allows for an unprecedented level of data and software protection for quantum computers as well as for quantum-assisted classical computers. To exploit these properties, probabilistic one-time…

The investigation of input-output systems often requires a sophisticated choice of test inputs to make best use of limited experimental time. Here we present an iterative algorithm that continuously adjusts an ensemble of test inputs…

生物物理 · 物理学 2009-11-07 Christian K. Machens

Due to the expanding scope of machine learning (ML) to the fields of sensor networking, cooperative robotics and many other multi-agent systems, distributed deployment of inference algorithms has received a lot of attention. These…

机器学习 · 计算机科学 2024-01-09 Kinjal Bhar , He Bai , Jemin George , Carl Busart

Resource allocation is a fundamental problem in Industrial Internet of Things (IIoT) systems, in which devices work together under limited communication bandwidth to complete diverse tasks. This paper proposes a communication-efficient…

最优化与控制 · 数学 2026-05-26 Yuzhu Duan , Ziwen Yang , Xiaoming Duan , Shanying Zhu
‹ 上一页 1 8 9 10 下一页 ›