We present in this paper an algorithm making it possible an efficient time analysis of the state space of preemptive real time systems modeled using Time Petri Nets with inhibitor arcs. For this effect, we discuss how to determine from the reachability graph linear and quantitative properties of the remote model. Then, we propose an algorithm to compute an approximation of the minimal and the m...

Dynamic linking supports flexible code deployment, allowing partially linked code to link further code on the fly, as needed. Thus, end-users enjoy the advantage of automatically receiving any updates, without any need for any explicit actions on their side, such as re-compilation, or re-linking. On the down side, two executions of a program may link in different versions of code, which in some...

In CBTC (Communications-Based Train Control) operated metro lines, headway can be reduced by taking advantage of the system's train–track continuous communication, thus increasing transport capacity. When a train runs close enough to the preceding one, a tracking algorithm is triggered to control the distance between the trains. The following train receives the LMA (limit of movement authority)...

One of the most striking pieces of evidence in attachment research is that attachment security is transmitted from 1 generation to the next. Although there has been an enormous advance in the understanding of this process, this area of research suffers from some significant gaps, as for example the transmission across 3 generations when considering the 2 parents as well as the 2 couples of gran...

Taking the reported high-Q anomaly at HERA as a signal of new physics, we show that several independent considerations point towards s-channel leptoquark production as the most attractive interpretation. We argue that even this option is highly constrained by flavor-changing processes: the couplings must be accurately diagonal in the quark and lepton mass eigenstate basis and should preserve in...

This paper deals with the on-line design of a supervisor to coordinate an automated guided vehicles (AGV) fleet. This supervisor ensures the system safeness (no collision) and a good coordination between vehicles (no blocking situations). It is the least restrictive, and ensures controllability and nonblocking. We propose a compositional procedure to resolve this problem allowing an efficient o...

Values education and environmental education for sustainability are both spheres of education research that have manifested rapid and overlapping development in recent years. An independent primary school located in the Perth metropolitan area of Western Australia participated in research on both values education and environmental education for sustainability. The school contributed to a Values...

The d = 2 string admits a black hole solution and also a singular solution when tachyon back reaction is included. It is of importance to know if the former solution can evolve into a later one. An explicit solution describing this process is difficult to obtain. We present here a scenario in which such an evolution is very likely to occur. In essence, it takes place when a derivative discontin...

von Neumann [2], Codd [4], and others who attempt to achieve various computational goals using minimal (for example, fewest states) primitive modules. Input and output are all done from a single machine, which, while no theoretical limitation because of the lumping of finite-state machines, is a further dissimilarity between the author's arrays and practical parallel-processing computing scheme...

Liquid-Liquid Extraction (LLE) technologies have been extensively used in the nuclear industry worldwide since the 1940’s for the recovery and purification of uranium and plutonium. These and related LLE technologies continue to be successfully utilized outside of the U.S., but their use for nuclear applications in the U.S. has been essentially discontinued. Numerous LLE technologies have been ...