The fair cycle detection problem is at the heart of both LTL and fair CTL model checking. This paper presents a new distributed scalable algorithm for explicit fair cycle detection. Our method combines the simplicity of the distribution of explicitly presented data structure and the features of symbolic algorithm allowing for an efcient parallelisation. If a fair cycle (i.e. counterexample) is ...

The phase reduction approach has manifested its efficacy in investigating synchronization behaviors limit-cycle oscillators. However, spatial distributions of the value on limit cycle may lead to illusions synchronizations for oscillators close bifurcations. In this paper, we compared sensitivity function domain and time saddle-node homoclinic (SNH) bifurcation, also known as bifurcation an inv...

In order to use gaseous fuels in Diesel Engines, Dual-Fuel Diesel Engine (D. F. D. E) the pilot injection approach is chosen. To predict its performance, an engine cycle model, based on limited-pressure Diesel cycle, is constructed. The model predicts D. F. D. E performance with LPG, and CNG gases. Comparing with pure Diesel engine, by increasing gas proportion in dual-fuel, indicated power and...

In this paper two external schema generation algorithms are presented. These algorithms are defined in the framework of the new external schema definition methodology for OODBs put forward in (Samos, 1995); they generate an external schema from a set of classes selected from those existing in an external schema definition repository. Their main characteristic is that they avoid the generation o...

What are the sources of macroeconomic comovement among G-7 countries? Two main candidate explanations may be singled out: common shocks and common transmission mechanisms. In the paper it is shown that they are complementary, rather than alternative, explanations. By means of a large-scale factor vector autoregressive (FVAR) model, allowing for full economic and statistical identi...cation of a...

Cyclic biomechanical data are commonplace in orthopedic, rehabilitation, and sports research, where the goal is to understand and compare biomechanical differences between experimental conditions and/or subject populations. A common approach to analyzing cyclic biomechanical data involves averaging the biomechanical signals across cycle replications, and then comparing mean differences at speci...