Artificial bee colony (ABC) algorithm is an optimization algorithm based on a particular intelligent behaviour of honeybee swarms. This work compares the performance of ABC algorithm with that of differential evolution (DE), particle swarm optimization (PSO) and evolutionary algorithm (EA) for multi-dimensional numeric problems. The simulation results show that the performance of ABC algorithm ...

VapCyc is a vapor compression refrigeration simulation tool which features charge management and component inter-changeability. In addition to the four basic cycle components, additional components, such as pipes, bypass valves and various auxiliary heat exchangers can be added to the system at run-time, rather than design time, making the simulation very user-friendly. The simulation is achiev...

We introduce a systematic approach to designing summarizing abstract numeric domains from existing numeric domains. Summarizing domains use summary dimensions to represent potentially unbounded collections of numeric objects. Such domains are of benefit to analyses that verify properties of systems with an unbounded number of numeric objects, such as shape analysis, or systems in which the numb...

The experimental investigation and optimization of lanthanide nanoparticles are complex resource-consuming endeavors. In article number 2300096, Simon Spelthann colleagues describe a versatile modeling simulation approach that reliably predicts the spatiotemporal dynamics allowing to replace experiments through numeric optimization. This is depicted as mainboard with central processing unit fro...

Verification problems and numeric simulation of cavitation processes with the help LOGOS computational fluid dynamics software are presented in this article. The Volume Fluid method realized within allowing numerical double-phase a free surface is used for simulation. Cavitation resolved by updating account interphase mass exchange; its condensation evaporation parameters calculated use Schnerr...

Among a nation’s goals are competitive leadership in the international marketplace and excellence in industrial productivity. Superior design, a fundamental prerequisite for superior products and systems, is one of the keys for achieving these goals. Computer aids to design (computer-aided design) have the potential to unlock this key. Whilst the early work on computer-aided design concentrated...

Verification by simulation, based on covering the set of time-bounded trajectories of a dynamical system evolving from the initial state set by means of a finite sample of initial states plus a sensitivity argument, has recently attracted interest due to the availability of powerful simulators for rich classes of dynamical systems. System models addressed by such techniques involve ordinary dif...

An experiment was carried out to estimate the effect of auditory alarms on the work of an plant operator in the context of a computer simulation. We designed our process simulator so that each of eight machines ('numeric controlled' (NC) or 'computer numeric controlled' (CNC) robots) made tones to indicate its status over time. Each tone was designed to reflect the semantic of the actual break ...