Operations Research practitioners often want to model complicated functions that are difficult encode in their underlying optimisation framework. A common approach is solve an approximate model, and then use a simulation evaluate the true objective value of one or more solutions. We propose new integrating into itself. The idea run at each incumbent solution master problem. results used guide t...

The aim of the research is to create logic-free vector computing, leveraging read-write transactions in memory, solve problems modeling and simulation stuck-at-fault combinations for complex logic elements digital structures. At same time, problem creating smart data structures based on logical vectors, truth tables, deductive matrices considered simplify algorithms parallel simulation. Vector ...

ESIM is a simulation tool that integrates logic fault and design error simulation for logic circuits. It targets several design error and fault models, and uses a novel mix of simulation algorithms based on parallel-pattern evaluation, multiple error activation, single fault propagation, and critical path tracing. Several experiments are discussed to demonstrate the power of ESIM.

A very large-scale logic simulation engine "VELVET" has been developed VELVET is a vectorized event-driven simulator which can handle simultaneously both gate-level logic and Register-Transfer Level structure. VELVET can process simulation jobs two orders of magnitude faster than a conventional gate-level simulator. This paper describes how to realize such high performance, an algoritha for vec...

We propose a modular approach to defining notions of simulation, and modal logics which characterise them. We use coalgebras to model state-based systems, relators to define notions of simulation for such systems, and inductive techniques to define the syntax and semantics of modal logics for coalgebras. We show that the expressiveness of an inductively-defined logic for coalgebras w.r.t. a not...

A constructive method for simulating small-scale quantum circuits by use of linear optical devices is presented. It relies on the representation of several quantum bits by a single photon, and on the implementation of universal quantum gates using simple optical components ~beam splitters, phase shifters, etc.!. This suggests that the optical realization of small quantum networks with present-d...