An Intelligent Transportation System to control air pollution and road traffic in cities integrating CEP and Colored Petri Nets

Neural Computing and Applications - Air pollution generated by road traffic in large cities is a great concern in today’s society since pollution has an important impact on human health, even...     

A congruence relation for sPBC

In this paper we define a congruence relation for regular terms of sPBC (stochastic Petri Box Calculus), by means of which we identify those processes that have the same behaviour, not only in terms of the multiactions that they can perform, but also taking into account the stochastic information that they have associated. In order to define this equivalence relation we have to define an adequate semantics for the synchronization operator, as well as a new labelled transition system for regular terms of sPBC.     

Endogenous endophthalmitis caused by Rickettsia conorii

Changes in serum glucose levels were examined in a female with insulin-independent diabetes who received a gonadotropin-releasing hormone (GnRH) analog treatment for pelvic endometriosis. The mean blood glucose levels were higher on busereline therapy, and higher levels of hemoglobin A1c were noted on busereline therapy (range 6.9-12.5%) versus pre- and post-treatment (range 5.1-5.9%). Hormonal alteration induced by GnRH analog treatment may impair glucose tolerance.     

Voltammetric behaviour and square-wave voltammetric determination of the potent antioxidant and anticarcinogenic agent ellagic acid in foodstuffs

The voltammetric behaviour of ellagic acid (EA) is investigated by cyclic, differential pulse and square-wave voltammetry (CV, DPV and SWV, respectively). Based on the anodic oxidation peak at approximately 0.42 V in acetic/acetate buffer (pH 5.5) a robust and a highly reliable square-wave voltammetric method is presented for the determination of EA. The oxidation peak current was linearly dependent on the concentration of EA in the range of 1.0 × 10⁻⁷–1.5 × 10⁻⁶ mol/L (r = 0.9997), with a detection limit of 1.0 × 10⁻⁸ mol/L (S/N = 3) and a quantification limit of 3.4 × 10⁻⁸ mol/L (S/N = 10), good reproducibility and a satisfactory level of selectivity towards others polyphenols. The proposed method was applied to the determination of free and total EA in fruits, nuts and juices with good analytical results being obtained.     

Improving performance in flexible manufacturing systems

The need for flexible manufacturing systems (FMSs) has become of utmost importance over the last years due to the fierce competition present in the manufacturing industry as well as the ever decreasing product life spans and the markets attempts to respond to customers’ changing needs. These systems allow us to react quickly to changes, however this flexibility costs both time and money. Given this fact, it would be desirable to reduce costs by testing potential implementations before using them.We will use a timed process algebra called BTC (for bounded true concurrency) to face up to this challenge. We have developed this algebra by extending CSP in order to consider the duration of actions and the context (resources) in which processes are executed. This new algebra is able to take into account that the resources in a system must be shared by all the processes. So, we can find two kinds of delays in the execution of a process: delays related to the synchronization of processes, and delays related to the allocation of resources.Once FMSs are specified by means of BTC, we will focus our attention on the performance of the system which will be variable depending on the number of available resources. For this, we have developed a performance algorithm and a tool which implements it.Three examples are used to show how an FMS can be specified and how the algorithm and the tool work, allowing us to obtain the best performance with the lowest cost.