The numerical simulation of the rehabilitation to walking of disabled people by Functional Electric Stimulation can offer new tools in the design and optimization of stimulation patterns, but some Hybrid Dynamics need to be taken into account. We propose here a specific time-integration scheme for such dynamical systems, with a particular emphasis on the various measures that need to be underta...

This paper proposes a plant/controller design integration method for H∞ loop-shaping design based on symbolic-numeric hybrid optimization. This approach firstly employs parametric polynomial spectral factorization to accomplish parametric optimization and derive an expression for the optimal cost. Owing to the obtained expression, sensitivity analysis of the achievable performance level with re...

Arc length's may be measured by numeric integration if the curves are given by analytic formulas. This report deals with an alternative way. A shortest polygonal Jordan curve may be used to estimate arc length's. This theoretically known result is illustrated in this report. Measured convergence of error values is discussed for a few examples of curves. A new error measure (approximation effect...

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...

The chemical industry poses a potential security risk to factory personnel and neighboring residents. In order to mitigate prospective damage, a synthetic method must be developed for an emergency response. With the development of environmental numeric simulation models, model integration methods, and modern information technology, many Decision Support Systems (DSSs) have been established. How...

The Semantic Web is an effort by the W3C to enable integration and sharing of information across different applications and organizations using annotations by means of ontology instances. With the growth of such data, two important problems need to be addressed: (1) a scalability issue and (2) a performance issue for reasoning. Main memory reasoners are efficient for reasoning, but they hardly ...

Although scientific data analysis increasingly requires access and manipulation of large quantities of data, current database technology fails to meet the needs of scientific processing in a number of areas. To overcome acceptance problems among scientific users, database systems must provide performance and functionality comparable to current combinations of scientific programs and file system...