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.     

Near-infrared photodetection with a diruthenium complex having redox-switchable wavelength response

We report on the electrochromic behavior of a dinuclear ruthenium complex, which provides high environmental stability together with an intense absorption maximum at 1237 nm in solution in its +3 oxidation state. To verify its optoelectronic properties, we used this complex as the photoactive material in a planar photodetector prototype for near-infrared light pulses, succeeding in the detection of a train of light pulses at a wavelength of 1280 nm.     

Quattor: Tools and Techniques for the Configuration,Installation and Management of Large-Scale Grid Computing Fabrics

This paper describes the quattor tool suite, a new system for the installation, configuration, and management of operating systems and application software for computing fabrics. At present Unix derivatives such as Linux and Solaris are supported. Quattor is a powerful, portable and modular open source solution that has been shown to scale to thousands of computing nodes and offers a significant reduction in management costs for large computing fabrics. The quattor tool suite includes innovations compared to existing solutions which make it very useful for computing fabrics integrated into grid environments. Evaluations of the tool suite in current large scale computing environments are presented.     

The hyper-cube framework for ant colony optimization.

Ant colony optimization is a metaheuristic approach belonging to the class of model-based search algorithms. In this paper, we propose a new framework for implementing ant colony optimization algorithms called the hyper-cube framework for ant colony optimization. In contrast to the usual way of implementing ant colony optimization algorithms, this framework limits the pheromone values to the interval [0,1]. This is obtained by introducing changes in the pheromone value update rule. These changes can in general be applied to any pheromone value update rule used in ant colony optimization. We discuss the benefits coming with this new framework. The benefits are twofold. On the theoretical side, the new framework allows us to prove that in Ant System, the ancestor of all ant colony optimization algorithms, the average quality of the solutions produced increases in expectation over time when applied to unconstrained problems. On the practical side, the new framework automatically handles the scaling of the objective function values. We experimentally show that this leads on average to a more robust behavior of ant colony optimization algorithms.     

Specification and Verification of Agent Interaction using Social Integrity Constraints

In this paper we propose a logic-based social approach to the specification and verification of agent interaction. We firstly introduce integrity constraints about social acts (called Social Integrity Constraints) as a formalism to express interaction protocols and to give a social semantics to the behavior of agents, focusing on communicative acts. Then, we discuss several possible kinds of verification of agent interaction, and we show how social integrity constraints can be used to verify some properties in this respect. We focus our attention on static verification of compliance of agent specifications to interaction protocols, and on run-time verification, based on agents' observable behavior. We adopt as a running example the NetBill security transaction protocol for the selling and delivery of information goods.     

A Logical Model for Agent Communication Languages

The current ACL proposals show some shortcomings with respect to the definition of their semantics. Our paper aims at tackling those issues by defining an ACL semantics as a specification of the analytical effects of agent communicative acts. We analyze agent communication in terms of concepts taken from Speech Act Theory, as several researchers have already done, but move away from the mainstream view of artificial agent research, as we define communicative acts in terms of changes at the level of social relationship between agents. We take commitment to be a primitive concept underlying the social dimension of multiagent systems, and define a basic artificial institution whose aim is to provide agents with the means to affect the commitment network that binds them to each other.     

Qualitative Ordinal Scales: The Concept of Ordinal Range

Many practical problems of quality control involve the use of ordinal scales. Questionnaires planned to collect judgments on qualitative or linguistic scales, whose levels are terms such as “good,” “bad,” “medium,” etc., are extensively used both in evaluating service quality and in visual controls for manufacturing industry. In an ordinal environment, the concept of distance between two generic levels of the same scale is not defined. Therefore, a population (universe) of judgments cannot be described using “traditional” statistical distributions since they are based on the notion of distance. The concept of “distribution shape” cannot be defined as well. In this article, we introduce a new statistical entity, the so-called ordinal distribution, to describe a population of judgments expressed on an ordinal scale. We also discuss which of the traditional location and dispersion measures can be used in this context and we briefly analyze some of their properties. A new dispersion measure, the ordinal range, as an extension of the cardinal range to ordinal scales, is then proposed. A practical application in the field of quality is developed throughout the article.     

Distinct Tomato Cultivars Are Characterized by a Differential Pattern of Biochemical Responses to Drought Stress

Future climate scenarios suggest that crop plants will experience environmental changes capable of affecting their productivity. Among the most harmful environmental stresses is drought, defined as a total or partial lack of water availability. It is essential to study and understand both the damage caused by drought on crop plants and the mechanisms implemented to tolerate the stress. In this study, we focused on four cultivars of tomato, an economically important crop in the Mediterranean basin. We investigated the biochemical mechanisms of plant defense against drought by focusing on proteins specifically involved in this stress, such as osmotin, dehydrin, and aquaporin, and on proteins involved in the general stress response, such as HSP70 and cyclophilins. Since sugars are also known to act as osmoprotectants in plant cells, proteins involved in sugar metabolism (such as RuBisCO and sucrose synthase) were also analyzed. The results show crucial differences in biochemical behavior among the selected cultivars and highlight that the most tolerant tomato cultivars adopt quite specific biochemical strategies such as different accumulations of aquaporins and osmotins. The data set also suggests that RuBisCO isoforms and aquaporins can be used as markers of tolerance/susceptibility to drought stress and be used to select tomato cultivars within breeding programs.     

Binding Properties of RNA Quadruplex of SARS-CoV-2 to Berberine Compared to Telomeric DNA Quadruplex

Previous studies suggest that berberine, an isoquinoline alkaloid, has antiviral potential and is a possible therapeutic candidate against SARS-CoV-2. The molecular underpinnings of its action are still unknown. Potential targets include quadruplexes (G4Q) in the viral genome as they play a key role in modulating the biological activity of viruses. While several DNA-G4Q structures and their binding properties have been elucidated, RNA-G4Qs such as RG-1 of the N-gene of SARS-CoV-2 are less explored. Using biophysical techniques, the berberine binding thermodynamics and the associated conformational and hydration changes of RG-1 could be characterized and compared with human telomeric DNA-G4Q 22AG. Berberine can interact with both quadruplexes. Substantial changes were observed in the interaction of berberine with 22AG and RG-1, which adopt different topologies that can also change upon ligand binding. The strength of interaction and the thermodynamic signatures were found to dependent not only on the initial conformation of the quadruplex, but also on the type of salt present in solution. Since berberine has shown promise as a G-quadruplex stabilizer that can modulate viral gene expression, this study may also contribute to the development of optimized ligands that can discriminate between binding to DNA and RNA G-quadruplexes.