On time-reversal and space-time harmonic processes for Markovian quantum channels

The time reversal of a completely-positive, nonequilibrium discrete-time quantum Markov evolution is derived in a general framework via a suitable adjointness relation. Space-time harmonic processes are then introduced for the forward and reverse-time transition mechanisms, and their role in the study of quantum dynamics is illustrated by discussing (operator and scalar) relative entropy dynamics.     

Semantic Mediation for Standard-Based B2B Interoperability

The authors discuss a semantic-mediation architecture to advance traditional approaches for standards-based business-to-business (B2B) interoperability. The architecture is supported by the Athena Knowledge Representation and Semantics Mediation tool suite. Initial experimentations with the architecture and the toolset offer discussions of key architectural and functional aspects and suggest directions for future tools enhancements.     

Allocation and scheduling of Conditional Task Graphs

We propose an original, complete and efficient approach to the allocation and scheduling of Conditional Task Graphs (CTGs). In CTGs, nodes represent activities, some of them are branches and are labeled with a condition, arcs rooted in branch nodes are labeled with condition outcomes and a corresponding probability. A task is executed at run time if the condition outcomes that label the arcs in the path to the task hold at schedule execution time; this can be captured off-line by adopting a stochastic model. Tasks need for their execution either unary or cumulative resources and some tasks can be executed on alternative resources. The solution to the problem is a single assignment of a resource and of a start time to each task so that the allocation and schedule is feasible in each scenario and the expected value of a given objective function is optimized. For this problem we need to extend traditional constraint-based scheduling techniques in two directions: (i) compute the probability of sets of scenarios in polynomial time, in order to get the expected value of the objective function; (ii) define conditional constraints that ensure feasibility in all scenarios. We show the application of this framework on problems with objective functions depending either on the allocation of resources to tasks or on the scheduling part. Also, we present the conditional extension to the timetable global constraint. Experimental results show the effectiveness of the approach on a set of benchmarks taken from the field of embedded system design. Comparing our solver with a scenario based solver proposed in the literature, we show the advantages of our approach both in terms of execution time and solution quality.     

Strong normalization property for second order linear logic

The paper contains the first complete proof of strong normalization (SN) for full second order linear logic (LL): Girard’s original proof uses a standardization theorem which is not proven. We introduce sliced pure structures (sps), a very general version of Girard’s proof-nets, and we apply to sps Gandy’s method to infer SN from weak normalization (WN). We prove a standardization theorem for sps: if WN without erasing steps holds for an sps, then it enjoys SN. A key step in our proof of standardization is a confluence theorem for sps obtained by using only a very weak form of correctness, namely acyclicity slice by slice. We conclude by showing how standardization for sps allows to prove SN of LL, using as usual Girard’s reducibility candidates.     

Enhancement of interconnected power system stability using a control strategy involving static phase shifters

The static phase shifting transformer is one of the potential options of the recently proposed FACTS (flexible AC transmission systems). Promising results have been obtained for enhancing the small-disturbance and the transient stability of interconnected power systems.

In this paper, the important concept of involving in the same control strategy both generating units and static phase shifters has been considered. A systematic procedure for designing co-ordinated and decentralized controllers of these components is provided to assure a satisfactory dynamic performance of an interconnected power system under both small and large perturbations. The approach uses optimal control theory as a basis for the co-ordination of static phase shifter and governor controllers. A suboptimal decentralized control scheme is derived from the designed optimal controller by using a ‘minimum norm’ nearness criterion. The resulting feedback control signals for each generating unit and for each phase shifter is expressed in terms of measurable and local variables only.

Test results show the effectiveness of the proposed control strategy and the usefulness of control actions on static phase shifters.     

A numerical model for the oscillation frequency,the amplitude and the phase‐noise of MOS‐current‐mode‐logic ring oscillators

This paper presents a new model for the frequency of oscillation, the oscillation amplitude and the phase‐noise of ring oscillators consisting of MOS‐current‐mode‐logic delay cells. The numerical model has been validated through circuit simulations of oscillators designed with a typical 130 nm CMOS technology. A design flow based on the proposed model and on circuit simulations is presented and applied to cells with active loads. The choice of the cell parameters that minimize phase‐noise and power consumption is addressed. Copyright © 2009 John Wiley & Sons, Ltd.     

Curcumin Prevents Cerebellar Hypoplasia and Restores the Behavior in Hyperbilirubinemic Gunn Rat by a Pleiotropic Effect on the Molecular Effectors of Brain Damage

Bilirubin toxicity to the central nervous system (CNS) is responsible for severe and permanent neurologic damage, resulting in hearing loss, cognitive, and movement impairment. Timely and effective management of severe neonatal hyperbilirubinemia by phototherapy or exchange transfusion is crucial for avoiding permanent neurological consequences, but these therapies are not always possible, particularly in low-income countries. To explore alternative options, we investigated a pharmaceutical approach focused on protecting the CNS from pigment toxicity, independently from serum bilirubin level. To this goal, we tested the ability of curcumin, a nutraceutical already used with relevant results in animal models as well as in clinics in other diseases, in the Gunn rat, the spontaneous model of neonatal hyperbilirubinemia. Curcumin treatment fully abolished the landmark cerebellar hypoplasia of Gunn rat, restoring the histological features, and reverting the behavioral abnormalities present in the hyperbilirubinemic rat. The protection was mediated by a multi-target action on the main bilirubin-induced pathological mechanism ongoing CNS damage (inflammation, redox imbalance, and glutamate neurotoxicity). If confirmed by independent studies, the result suggests the potential of curcumin as an alternative/complementary approach to bilirubin-induced brain damage in the clinical scenario.     

High-temperature stabilization of polypropylene using hindered phenol–thioester stabilizer combinations,Part 1: Optimization and efficacy via nondust blends

The thermal degradation of unstabilized polypropylene has been investigated under long-term processing (twin extruder) and thermal aging at 150°C, with additive concentration studies on combinations of an established hindered phenolic antioxidant (pentaerythritol tetrakis (3-(3,5-di-tert-butyl-4-hydroxyphenyl) propionate) [S1010] and two popular thioesters (distearyl-3,3′-thiodipropionate [DSTDP] and didodecyl-3,3′-thiodipropionate [DLTDP]) using melt flow rate, carbonyl index and powder diffuse reflectance infrared Fourier transform spectroscopy (DRIFTS) (FTIR), and differential scanning calorimetry (DSC) (oxidation induction time [OIT]) and ultimate embrittlement time (Fracture) on injection-molded test pieces. It was found that 20:80 phenol:thioester ratios provided the best long-term thermal stability (LTTS); however, this was the reverse for processing stabilization (80:20), underlining the antioxidant nature of the two stabilizers (long term vs. melt). Melt preblending of the stabilizers (to form a no-dust blend) gave rise to improved LTTS. DRIFTS FTIR indicated that there was an improvement in preblending the additives, which removed any volatile impurities. Increased additive dispersion and localized potential efficacy in the stabilization cycle is important, as well as possible improved addition of the additives to the extruder rather than fine powder. The data are discussed in relation to the long-term stabilization of polypropylene in high-temperature applications such as under the bonnet of automobiles where minimizing stabilizer losses and maximizing synergy are important.     

Role of π-π interactions and chain flexibility in dispersion and dynamic-mechanical properties of nanocomposites with multiple wall carbon nanotubes

Two polymers of same functional group were used; one with greater chain flexibility, PA 6.6, and the other with two benzene rings in the main chain, PA 6I-6T (aPA), to evaluate how the structure influences on the nanoparticle dispersion homogeneity and on dynamic-mechanical properties. In the aPA nanocomposites, good dispersion and homogeneous distribution were observed for all CNT concentrations. However, PA 6.6 nanocomposites showed agglomerated regions in all formulations. The interfacial energy of the aPA/CNT was five times lower than that of PA6.6/CNT, resulting in greater compatibility in this nanocomposite. An increase of up to 26% was observed with 2.5% of CNT in aPA nanocomposites storage modulus. In the samples with PA 6.6, the increase was at most 5%. Even with greater flexibility of PA 6.6 macromolecules, the π-π interaction between the aPA aromatic rings and CNTs might be the decisive factor for dispersion improvement and positively influence on the dynamic-mechanical properties of these nanocomposites. © 2019 Wiley Periodicals, Inc. J. Appl. Polym. Sci. 2019 , 136, 48195.