Integration of virtual and real environments for engineering service-oriented manufacturing systems

Engineering frameworks are currently required to support the easy, low-cost, modular and integrated development of manufacturing systems addressing the emergent requirements of re-configurability, responsiveness and robustness. This paper discusses the integration of 2D/3D digital software tools with Petri net based service-oriented frameworks to allow the design, configuration, analysis, validation, simulation, monitoring and control of manufacturing systems in a virtual environment and its posterior smooth migration into the real ??physical?? environment. An experimental case study was implemented to validate the proposed concepts, using the Continuum platform to design, compose, analyze, validate and simulate the Petri nets based service-oriented manufacturing control system, and the Delmia Automation^TM software suite to support the rapid prototyping and the easy simulation of the designed control solution. The experimental results prove several aspects of the proposed approach, notably the smooth migration between the design and the operation phases, one of the main objectives of the work.     

A case based reasoning model for multilingual language generation in dialogues

The process of Natural Language Generation for a Conversational Agent translates some semantic language to its surface form expressed in natural language. In this paper, we are going to show a Case Based Reasoning technique which is easily extensible and adaptable to multiple domains and languages, that generates coherent phrases and produces a natural outcome in the context of a Conversational Agent that maintains a dialogue with the user.     

Comments on “A novel dead time compensator for stable processes with long dead times” [Journal of Process Control 22 (2012) 612–625]

This short communication analyzes the results recently presented in the paper “On a novel dead time compensator for stable processes with long dead times” published in the Journal of Process Control. In the mentioned paper it is argued that the proposed strategy, called modified Smith predictor (MSP), gives better performance than the filtered Smith predictor (FSP) dead-time compensator for stable processes with dead time. In fact MSP has the same structure as FSP and only some specific tuning rules of the filters are proposed. Therefore, in this work some aspects of the comparative analysis and tuning rules presented in the referred paper are discussed to show that MSP is a particular case of FSP and that for some particular cases its tuning rule does not allow for a good closed-loop response. Some simulation case studies are used to illustrate these aspects.     

Chance-constrained model predictive control for spacecraft rendezvous with disturbance estimation

A robust Model Predictive Controller (MPC) is used to solve the problem of spacecraft rendezvous, using the Hill-Clohessy-Wiltshire model with additive disturbances and line-of-sight constraints. Since a standard (non-robust) MPC is not able to cope with disturbances, a robust MPC is designed using a chance-constrained approach for robust satisfaction of constraints in a probabilistic sense. Disturbances are modeled as Gaussian allowing for an explicit transformation of the probabilistic constraints into simple algebraic constraints. To estimate the distribution parameters a predictor of disturbances is proposed. Both robust and non-robust MPC control laws are compared using the Monte Carlo method, which shows the superiority of the robust MPC.     

A learning result for continuous-time recurrent neural networks

The following learning problem is considered, for continuous-time recurrent neural networks having sigmoidal activation functions. Given a “black box” representing an unknown system, measurements of output derivatives are collected, for a set of randomly generated inputs, and a network is used to approximate the observed behavior. It is shown that the number of inputs needed for reliable generalization (the sample complexity of the learning problem) is upper bounded by an expression that grows polynomially with the dimension of the network and logarithmically with the number of output derivatives being matched.     

The fully informed particle swarm: simpler, maybe better

The canonical particle swarm algorithm is a new approach to optimization, drawing inspiration from group behavior and the establishment of social norms. It is gaining popularity, especially because of the speed of convergence and the fact that it is easy to use. However, we feel that each individual is not simply influenced by the best performer among his neighbors. We, thus, decided to make the individuals "fully informed." The results are very promising, as informed individuals seem to find better solutions in all the benchmark functions.     

Packet Video Broadcasting with General-Purpose Operating Systems in an Ethernet

Video transmission with general-purpose PCs poses a number of requirements that radically differ from those of high-end dedicated video servers. We analyze the scenario of an Ethernet local area network in which a number of PCs are transmitting video streams, while other TCP/IP applications are also running concurrently. Our findings show that since the operating system clock resolution cannot cope with the transmission timing requirements the following holds: if the video transmission is performed with exact timing accuracy to maintain a constant rate then CPU load grows to 100%, thus blocking the PC for other user applications; on the other hand, if transmission is performed in a bursty manner, i.e. with sleep system calls, then CPU load decreases dramatically but the increased burstiness of the video stream has a negative impact on network performance (for example, capture effect in the Ethernet). Furthermore, the impact of video transmission over the rest of TCP/IP applications running on the same network depends heavily on the packet size. We provide an integrated analysis of operating system and network parameters to achieve video broadcasting while preserving timing requirements and minimizing the impact on other applications.     

An exact method for graph coloring

We are interested in the graph coloring problem. We propose an exact method based on a linear-decomposition of the graph. The complexity of this method is exponential according to the linearwidth of the entry graph, but linear according to its number of vertices. We present some experiments performed on literature instances, among which COLOR02 library instances. Our method is useful to solve more quickly than other exact algorithms instances with small linearwidth, such as mug graphs. Moreover, our algorithms are the first to our knowledge to solve the COLOR02 instance 4-Inser_3 with an exact method.     

Fine structure of the male accessory glands of Triatoma rubrofasciata (De Geer, 1773) (Hemiptera, Triatominae)

Male of Triatoma rubrofasciata has four elongated sac-like reproductive mesodermic accessory glands, lined by an inner single layer of secretory cells, with basal plasma membrane infolds and short apical microvilli, and externally enveloped by a thin visceral muscle layer. The secretory cells have a well-developed rough endoplasmic reticulum, Golgi complex, mitochondria, and secretory granules. In one day old adult the gland cells are poorly developed, presenting small, electron-transparent secretory granules scattered among the rough endoplasmatic reticulum, whereas in three days old adult these cells have the cisternae of the rough endoplasmatic reticulum varing size degree, filled with granular electrondense content. In five days old males the secretory granules increase in diameter, being released to the gland lumen. Therefore, there is an increase of the secretory activity according to male maturation.     

Intra- and interspecific mineral composition variability of commercial instant coffees and coffee substitutes: Contribution to mineral intake

The present paper reports the amount and estimated daily mineral intake of nine elements (Ca, Mg, K, Na, P, Fe, Mn, Cr and Ni) in commercial instant coffees and coffee substitutes (n = 49). Elements were quantified by high-resolution continuum source flame (HR-CS-FAAS) and graphite furnace (HR-CS-GFAAS) atomic absorption spectrometry, while phosphorous was evaluated by a standard vanadomolybdophosphoric acid colorimetric method.Instant coffees and coffee substitutes are rich in K, Mg and P (>100 mg/100 g dw), contain Na, Ca and Fe in moderate amounts (>1 mg/100 g), and trace levels of Cr and Ni. Among the samples analysed, plain instant coffees are richer in minerals (p < 0.001), except for Na and Cr. Blends of coffee substitutes (barley, malt, chicory and rye) with coffee (20–66%) present intermediate amounts, while lower quantities are found in substitutes without coffee, particularly in barley.From a nutritional point of view the results indicate that the mean ingestion of two instant beverages per day (total of 4 g instant powder), either with or without coffee, cannot be regarded as important sources of minerals to the human diet, although providing a supplementation of some minerals, particularly Mg and Mn in instant coffees. Additionally, and for authentication purposes, the correlations observed between some elements and the coffee percentage in the blends, with particular significance for Mg amounts, provides a potential tool for the estimation of coffee in substitute blends.