Characterizing the set of all parameter vectors such that their image by a vector belongs to a given set is a set-inversion problem. The algorithm set inversion via interval analysis (SIVIA) makes it possible to perform this task in an approximate but guaranteed way. In the examples treated so...

Chromatographic separation processes are an emerging technology, especially in the field of fine chemicals and pharmaceutical products. As an alternative to conventional batch chromatography, the simulated moving bed (SMB) process gained more and more impact recently. Because of the complex...

The S-matic power split drive of Steyr Antriebstechnik is a drive box for vehicular drive systems which combines the advantages of hydrostatic and mechanical transmission. This paper is concerned with the mathematical modeling of the hydrostatic unit of the drive box with special emphasis on the...

The phenomenon of ‘synchronization’ of physical diffusion is widely discussed in the physical literature. In this paper, we give a simple rigorous proof of the synchronization for a one-dimensional diffusion including the one-dimensional counterpart of a physical diffusion described by a...

We describe how our world dominated by science and scientists has been changed and will be revolutionized by technologies moving with internet time. Computers have always been well-used tools but in the beginning only the science counted and little credit or significance was attached to any...

The design of PDE black-box solvers (for nonlinear systems of elliptic and parabolic PDEs) needs many compromises between efficiency and robustness which we call ‘Numerical Engineering’. The requirements for a black-box solver are formulated and the way how to meet them is presented, guided...

We consider the changing face of computing and the evolving interface of numerical algorithms from subroutines to: •spreadsheets,•high-level scripting languages,•visual programming,•Web browsers.

The article presents an attempt to apply an artificial neural network in anti-collision systems at sea. Such systems determine safe trajectory for a ship by, most frequently, processing the information sourced from an automatic radar plotting aids (ARPA) type arrangement. In this research work...

Coupled problems describing global thermal behaviour of buildings are difficult to solve. We are interested here in the numerical resolution of algebraic non-linear systems corresponding to the steady-state behaviour. After a short description of the physical problem, main ideas of block methods...

A two-level flexible manufacturing system is considered to be composed of several different production units Ui, 1≤i≤n, at the lower level and a section at the upper one. The section is required to produce a given target amount V by a given due date D subject to a chance constraint, i.e. the...