In French, the prosody associated with post-focus sequences is usually described a steadily flat, the suppression of any tonal variation being explained by the semantic and pragmatic content of these sequences. This paper aims to show that postfocus sequences may be realized in different ways. An experimental analysis of various post-focus sequences has shown that three distinct prosodic realiz...

We have carried out the basic research for the accelerator and tokamak control system based on the Experimental Physics and Industrial Control System (EPICS). We have used the process database and the state notation language (SNL) in the EPICS to develop the simulator which represents as a virtual machine. In this paper. In this paper, we introduce the simulator of the global orbit feedback sys...

Can we evaluate a logic program declaratively? That is, can a logic program be evaluated correctly and eeciently, independent of query modes and rule/predicate ordering, nding a complete set of answers, and terminating properly? The answer could be \yes", at least for a good subclass of logic programs, based on our investigation and experimentation using a deductive database approach. In this p...

The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing Java realizations of UML design models and introduce a new Hoare-Calculus for Java classes which uses OCL as assertion language. The Hoare rules are as usual for while programs, blocks and (possibly recursive) method calls. Upda...

One edge of an elastic rod is inserted into a friction-less and fitting socket head, whereas the other edge is subjected to a torque, generating a uniform twisting moment. It is theoretically shown and experimentally proved that, although perfectly smooth, the constraint realizes an expulsive axial force on the elastic rod, which amount is independent of the shape of the socket head. The axial ...

An on line Fuzzy Logic Controller (FLC) realization with Genetic Algorithm (GA) optimization for Automatic Generation Control (AGC) system is developed. By rearranging the multi area AGC system into integration of the SISO cascade loops, the simple FLC Decision Table algorithm could be used in the complex AGC system. This Decision Table looking up algorithm for FLC with GA optimization is suita...

The Aimms package integrates externally supplied solution algorithms for mathematical programming and constraint programming with model development, application integration, and application deployment. In this context, some aspects of the technical realization of the extension of the AIMMS package with a CP interface will be discussed: – Element variables are an abstraction of integer variables...

This paper presents a novel optimization formulation for coordinated exploration between unmanned ground vehicles (UGV) and micro-aerial vehicles (MAV). The exploration is posed as an Integer Programming (IP) problem and the allotment of these vehicles(agents) to frontier locations is specified as an integer constraint. The optimization provides a one shot solution for the allotment of all such...

This article interprets emotional change as a transition in a complex dynamical system. We argue that the appropriate kind of dynamical system is one that extends recent work on how neural networks can perform parallel constraint satisfaction. Parallel processes that integrate both cognitive and affective constraints can give rise to states that we call emotional gestalts, and transitions can b...

Timed automata has been used as a powerful formalism for specifying, designing, and analyzing real time systems. We consider the generalization of timed automata to Pushdown Timed Automata (PTA). We show how PTAs can be elegantly modeled via logic programming extended with coinduction and constraints over reals. We use this logic programming realization of a PTA to develop an elegant solution t...