Specifying and proving properties of timed I/O automata using Tempo

Timed I/O automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for example, to model a real-time software component controlling a physical process. The TIOA model is sufficiently general to subsume other models in use for timed systems. The Tempo Toolset, currently under development, is aimed at supporting system development based on TIOA specifications. The Tempo Toolset is an extension of the IOA toolkit, which provides a specification simulator, a code generator, and both model checking and theorem proving support for analyzing specifications. This paper focuses on the modeling of timed systems and their properties with TIOA and on the use of TAME4TIOA, the TAME (Timed Automata Modeling Environment) based theorem proving support provided in Tempo, for proving system properties, including timing properties. Several examples are provided by way of illustration.     

Amidoamine: Synthesis,disparity in cure with epoxy resins between bulk and solvent systems,and structure–property relationships of its epoxy‐based coatings

Amidoamines are widely used as crosslinkers for epoxy resins in protective coatings on metal substrates; however, their cure chemistry is not well elaborated in the technical literature. During cure, the epoxy–amine and epoxy–amide NH reactions could be accompanied by epoxy–hydroxyl etherification, epoxy–epoxy homopolymerization, and reaction between hydroxyls and amide moiety to form in situ ester and amine. To understand the epoxy–amidoamine cure chemistry and correlate it with coating performance properties, amidoamines of known structure are required. Therefore, amidoamines were synthesized by reacting dimer fatty acids with diethylene triamine. When these amidoamines were cured with epoxy resins, discrepancies were observed between systems cured at ambient and thermal conditions. The presence of solvents were seen to greatly affect the rate of epoxy–amidoamine cure at ambient, and before and after vitrification. Near‐IR and mid‐IR spectroscopy studies indicated that side reactions occurred to some extent during cure. No reaction was noted between the amide NH moiety and the epoxide group below 150°C whereas ester formation was noted above 120°C. Solvent‐based clear epoxy–amidoamine coatings formulated at an epoxy:amine equivalent ratio 1.15 passed basic organic coatings evaluation tests. POLYM. ENG. SCI., 59:E69–E81, 2019. © 2018 Society of Plastics Engineers     

Enhanced mechanical toughness of carbon nanofibrous-coated surface modified Kevlar reinforced polyurethane/epoxy matrix hybrid composites

High-performance Kevlar fiber had extensively been explored to upgraded mechanical properties of the advanced composites. Therefore, this study aimed a challenging work to grow carbon nanofibers onto the Kevlar fiber to improve its fiber-matrix interaction properties. It was successfully done through inexpensive flame deposition as well as modification of matrix with hybrid resin using polyurethane-epoxy mixture. A hand-layup method had been adopted to manufacture the composite laminates. The chemical and surface structures of the prepared laminae were examined by scanning electron microscopy, Raman spectroscopy, X-ray diffraction, and the composite's properties were evaluated tensile test, compact tension (CT) fracture test, fractography, and differential scanning calorimetry. The surface modified Kevlar laminae with CNF were used as reinforcing layer in the epoxy and PU/epoxy hybrid resin matrices. CNF-coated heated Kevlar reinforced laminated PU/epoxy hybrid composites (CNF-Kev/PU-Epoxy) showed highest elongation 47% and fracture toughness (11.7 MPa√m) along with good UTS 139 MPa. Therefore, these hybrid nanocomposites developed by simple inexpensive method would be the potential candidates for several advanced applications particularly in defense, automobile, aerospace, and spacecraft applications. © 2019 Wiley Periodicals, Inc. J. Appl. Polym. Sci. 2020 , 137, 48802.     

Poly(N-vinylpyrrolidone)-stabilized colloidal graphene-reinforced poly(ethylene-co-methyl acrylate) to mitigate electromagnetic radiation pollution

Polymer Bulletin - Electrically conducting flexible polymeric nanocomposite has been fabricated through wet mixing method where conducting inclusion was acoustically exfoliated pristine graphene...     

Novel model reference adaptive control architecture using semi‐initial excitation‐based switched parameter estimator

This paper is a generalization of the recently developed techniques of initial excitation (IE)–based adaptive control with an introduction to the definition of semi‐initial excitation (semi‐IE), a still more relaxed notion than IE. Classical adaptive controllers typically ensure Lyapunov stability of the extended error dynamics (tracking error + parameter estimation error) and asymptotic tracking, while requiring a stringent condition of persistence of excitation (PE) for parameter convergence. Of late, the authors have proposed a new adaptive control architecture, which guarantees parameter convergence under the online‐verifiable IE condition leading to exponential stability of the extended error dynamics. In earlier works, it has been established that the IE condition is significantly milder than the classical PE condition. The current work further slackens the excitation condition by proposing the concept of semi‐IE. The proposed adaptive controller is proved to ensure convergence of the parameter estimation error to a lower‐dimensional manifold under the weaker semi‐IE condition, while the stronger condition of IE guarantees convergence of the parameter estimation error to zero. The designed algorithm is shown to improve transient response of tracking error sufficiently in contrast to conventional adaptive controllers.     

Designing Stimuli-Responsive Upconversion Nanoparticles that Exploit the Tumor Microenvironment

Tailoring personalized cancer nanomedicines demands detailed understanding of the tumor microenvironment. In recent years, smart upconversion nanoparticles with the ability to exploit the unique characteristics of the tumor microenvironment for precise targeting have been designed. To activate upconversion nanoparticles, various bio-physicochemical characteristics of the tumor microenvironment, namely, acidic pH, redox reactants, and hypoxia, are exploited. Stimuli-responsive upconversion nanoparticles also utilize the excessive presence of adenosine triphosphate (ATP), riboflavin, and Zn²⁺ in tumors. An overview of the design of stimulus-responsive upconversion nanoparticles that precisely target and respond to tumors via targeting the tumor microenvironment and intracellular signals is provided. Detailed understanding of the tumor microenvironment and the personalized design of upconversion nanoparticles will result in more effective clinical translation.     

Comparative analysis of storage modules under different dispatch strategies for an optimum decentralized hybrid energy solution: a case study of a remote Indian village

India has a large poor population in spite of having a steady economic growth. Supply of centralized grid power to remote villages of India is not feasible due to adverse topography and poor economic condition of the villagers. To supply the reliable power at a minimum cost including penalty due to carbon dioxide emission, a suitable decentralized energy combination using locally available resources may be a better sustainable solution. The economy of such a hybrid energy supply system significantly depends on storage devices and dispatch strategies. Therefore, selection of appropriate storage devices and dispatch strategy need to be optimized based on available local resources. In this study, the comparative analysis of techno-economic factors for five different storage devices (lead acid battery, lithium-ion battery, vanadium redox battery, zinc bromide battery and pumped hydro energy storage) are studied under two different dispatch strategies, i.e., Load Following and Cycle Charging. The estimated cost of energy and net present cost of the recommended optimum combined energy system are in the range of US$0.197/kWh–US$0.453/kWh and US$3,62,384–US$5,76,369, respectively. The cost of energy, net present cost and carbon dioxide emission for the selected energy generators combination with the zinc bromide battery is 48.964–56.512%, 24.149–32.147% and 43.419–55.865% lower than other storage-based energy systems, respectively. The abovementioned economic and environmental factors are lower by 34.113, 10.489 and 31.094%, respectively, under Load Following dispatch strategy with respect to the Cycle Charging dispatch strategy for the optimum energy combination with zinc bromide battery.

Graphical abstract

     

A novel methodology for vessel extraction from retinal fundus image and detection of neovascularization

Multimedia Tools and Applications - Vessel extraction from the retinal fundus images plays a significant role in ophthalmologic disease diagnosis. Proliferative Diabetic Retinopathy (PDR) is the...     

Selection of the optimum electrolyte composition and flow rate for machining a particular high alloy steel

Conventional methods employed for machining flame cut surfaces of alloy steel castings present many difficulties, mainly breakage of tool tips which makes the process uneconomical. In this paper D.L. Pramanik and A. Chattopadhyay have chosen the electrochemical (ec) method to machine these surfaces. The present work has been designed to deal with the problem in such a way so as to be useful for a broad spectrum of applications. Efforts have been made to select the optimum electrolyte and operating conditions to produce low overcut and a good surface finish