Introducing QoS awareness in distributed programming: QTcl

A number of distributed applications require communication services with quality of service (QoS) guarantees. Building global‐scale distributed systems with predictable properties is one of the great challenges for computer systems engineering in the new century. Work undertaken within the Internet Engineering Task Force has led to the definition of novel architectural models for the Internet with QoS support. According to these models, the network has to be appropriately configured in order to provide applications with the required performance guarantees. In next‐generation networks, enabling applications to interact with the underlying QoS services is of primary importance. Hence, several special‐purpose application programming interfaces (APIs) have been defined to let applications negotiate QoS parameters across QoS‐capable networks. However, so far, none of these APIs are available in different operating environments. We believe that such features should be embedded in programming environments for distributed applications. In this work we present how we included QoS control features in Tcl, a programming language that has been widely adopted for the development of distributed multimedia applications. Our work has led to the implementation of QTcl, an extended Tcl interpreter that provides programmers with a new set of primitives, in full compliance with the standard SCRAPI programming interface for the RSVP protocol. QTcl in highly portable, in that it enables standard QoS negotiation to be performed in a seamless fashion on the most common operating systems. Copyright © 2003 John Wiley & Sons, Ltd.     

Focusing qualitative simulation using temporal logic: theoretical foundations

We illustrate TeQsim, a qualitative simulator for continuous dynamical systems that combines the expressive power of qualitative differential equations with temporal logic to constrain and refine the resulting predicted behaviors. Temporal logic is used to specify constraints that restrict the simulation to a region of the state space and to specify trajectories for input variables. A propositional linear‐time temporal logic is adopted, which is extended to a three valued logic that allows a formula to be conditionally entailed when quantitative information specified in the formula can be applied to a behavior to refine it. We present a formalization of the logic with correctness and completeness results for the adopted model checking algorithm. We show an example of the simulation of a non‐autonomous dynamical system and illustrate possible application tasks, ranging from simulation to monitoring and control of continuous dynamical systems, where TeQsim can be applied. This revised version was published online in June 2006 with corrections to the Cover Date.     

Integration of XML Schemas at various “severity” levels

This paper presents a novel approach for the integration of a set of eXtensible Markup Language (XML) Schemas. The proposed approach is specialized for XML, almost automatic, semantic and “light”. Further, an original peculiarity is that it is parametric w.r.t. a “severity” level against which the integration task is performed. The paper describes the approach in all details, illustrates various theoretical results, presents the experiments we have performed for testing it and, finally, compares it with various related approaches already proposed in the literature.     

Harmonic solution of semiconductor transport equations for microwave and millimetre-wave device modelling

The hydrodynamic transport equations for charges in a semiconductor have been solved for a periodic excitation by means of a harmonic approach, in order to model microwave and millimetre-wave active devices. The solution is based on the expansion of physical variables in a Fourier series in the time domain, and on discretisation in the space domain. A waveform-balance technique in the TD is used to solve the nonlinear equations system. This approach allows for a longer time step with respect to standard TD solutions for most cases of interest, greatly reducing simulation time by at least two orders of magnitude in typical cases. © 2003 Wiley Periodicals, Inc. Int J RF and Microwave CAE 14: 36–48, 2004.     

Direct-EI in LC-MS: towards a universal detector for small-molecule applications

This review article will give an up-to-date and exhaustive overview on the efficient use of electron ionization (EI) to couple liquid chromatography and mass spectrometry (LC-MS) with an innovative interface called Direct-EI. EI is based on the gas-phase ionization of the analytes, and it is suitable for many applications in a wide range of LC-amenable compounds. In addition, thanks to its operating principles, it prevents unwelcome matrix effects (ME). In fact, although atmospheric pressure ionization (API) methodologies have boosted the use of LC-MS, the related analytical methods are sometime affected by inaccurate quantitative results, due to unavoidable and unpredictable ME. In addition, API's soft ionization spectra always demand for costly and complex tandem mass spectrometry (MS/MS) instruments, which are essential to acquire an "information-rich" spectrum and to obtain accurate quantitative information. In EI a one-stage analyzer is sufficient for a qualitative investigation and MS/MS detection is only used to improve sensitivity and to cut chemical noise. The technology illustrated here provides a robust and straightforward access to classical, well-characterized EI data for a variety of LC applications, and readily interpretable spectra for a wide range of areas of research. The Direct-EI interface can represent the basis for a forthcoming universal LC-MS detector for small molecules.     

Study of relationship between temperature and thermal energy,operating conditions as well as environmental factors in large‐scale lithium‐ion batteries

We have developed a thermal model for a large‐scale lithium‐ion cell and have simulated its thermal behaviors during charge, discharge, and charge–discharge cycles with different current rates by using the software of COMSOL Multiphysics 3.5a. In this work, thermal energy and its distribution were firstly calculated based on experimental data under different operating conditions. A new parameter, called thermal energy conversion efficiency, was proposed to describe relative value of thermal energy in the cell. The thermal energy conversion efficiency and the temperature were plotted in a figure to show their relativity. The temperature variation was also studied systemically when the cell underwent discharge–charge cycles. A low rate charge is validated to be a favorable factor in protecting the cell from overheating during charge–discharge cycles. A connection resistance is proved to be a main factor that accelerates the rise of temperature in the spot near a terminal column, which should be eliminated as much as possible to protect the cell from local overheating. Copyright © 2014 John Wiley & Sons, Ltd.     

The effect of operating and design parameter on bubble column performance: The LOPROX case study

It is known that the performances of multi-phase reactors depend on the operating parameters (the temperature and the pressure of the system), the phase properties, and the design parameters (the aspect ratio (AR), the bubble column diameter, and the gas sparger design). Hence, the precise design and the correct operation of multi-phase reactors depends on the understanding and prediction of the fluid dynamics parameters. This paper contributes to the existing discussion on the effect of operating and design parameter on multi-phase reactors and, in particular, it considers an industrial process (e.g., the LOPROX (low pressure oxidation) case study, which is typical example of two-phase bubble columns). Based on a previously-validated set of correlations, the influence of operating and design parameter on system performances is studied and critically analyzed. First, we studied the effects of the design parameter on the liquid–gas interfacial area, by keeping constant the fluid physical–chemical properties as well as the operating conditions; subsequently, we discussed for a fixed system design, the influence of the liquid phase properties and the operating pressure. In conclusion, this paper is intended to provide guidelines for the design and scale-up of multi-phase reactors.     

Diet supplementation with donkey milk upregulates liver mitochondrial uncoupling,reduces energy efficiency and improves antioxidant and antiinflammatory defences in rats

Dietary PUFA, mainly those of the n‐3 family, are known to play essential roles in the maintenance of energy balance and in the reduction of body fat deposition through the upregulation of mitochondrial uncoupling that is the main source of reactive oxygen species. We hypothesized that rat supplementation with raw donkey's milk (DM), characterized by low‐fat content and higher n3:n6 ratio, may affect energy balance, lipid metabolism, and prooxidant status as compared to animals treated with cow's milk. In the present study, the effects of drinking raw DM (for 4 weeks) on energy balance, lipid metabolism, antiinflammatory, and antioxidant/detoxifying defences was compared to that produced by rat intake of an iso‐energetic amount of raw cow's milk. The hypolipidemic effect produced by DM paralleled with the enhanced mitochondrial activity/proton leakage and with the increased activity or expression of mitochondrial markers namely, carnitine palmitoyl transferase and uncoupling protein 2. The association of decreased energy efficiency with reduced proinflammatory signs (TNF‐α and LPS levels) with the significant increase antioxidant (total thiols) and detoxifying enzyme activities (glutathione‐S‐transferase NADH quinone oxidoreductase) in DM‐treated animals, indicated that beneficial effects were attributable, at least in part, to the activation of nuclear factor 2 erythroid‐related factor 2 pathway.     

Packet loss detection in networked control systems

One of the main issues related to the reliable operation of network control systems concerns the design of mechanisms able to detect anomalies in the functioning of the communication network through which the control loops are closed. In this article, we address the problem of detecting the occurrence of packet losses and design a mechanism that can detect the occurrence of packet losses directly from process sensor data. Specifically, we propose a moving‐horizon estimation scheme that permits to detect if the packet‐loss rate exceeds prescribed thresholds, which are representative of stability and performance of the control system. We discuss theoretical properties of the proposed solution along with an approximation scheme with reduced computational burden. A numerical example is discussed to substantiate the analysis.     

Sustainable control strategies for plant protection and food packaging sectors by natural substances and novel nanotechnological approaches

An overview is provided of the current technological strategies (also at the nanoscale level) recently involved in plant and/or food protection. In addition, the potential use of natural and sustainable substances, instead of traditional synthesized molecules or chemical-based compounds, is addressed both with respect to packaging systems and novel pesticide formulations. In this context, nanotechnological approaches represent promising strategies for the entire agriculture industry chain, from the field to consumers. Traditional plant protection strategies are often insufficient and the application of chemical-based pesticides has negative effects on animals, humans and the environment. Novel greener tools could represent efficient alternatives for the management of plant diseases using promising strategies; the use of nanotechnologies allows the promotion of the more efficient assembly and subsequent release of environmentally sustainable active principles, limiting the use of chemicals in terms of economic losses. At the same time, new sustainable, antimicrobial and antioxidant systems have been rapidly promoted and investigated in the food packaging sector as a valid eco-friendly possibility for improving the safety and quality of food products and reducing and/or limiting the environmental impact with respect to traditional materials. Together, the scientific community and the growing interest of consumers have promoted the development of new edible and eco-friendly packaging that reduces waste and any environmental impact. In this context, the aim is to provide evidence of the usefulness of strategies aiming to limit agrochemicals, as well as the potential of nanomaterials, in sustainable plant and food protection for agriculture management and the packaging sector. © 2018 Society of Chemical Industry