Specifications for decidable hybrid games

We introduce STORMED hybrid games (SHG), a generalization of STORMED hybrid systems, Vladimerou et al. (2008) [33], which have natural specifications that allow rich continuous dynamics and various decidable properties. We solve the control problem for SHG using a reduction to bisimulation on finite game graphs. This generalizes to a greater family of games, which includes o-minimal hybrid games, Bouyer et al. (2006) [6]. We also solve the optimal-cost reachability problem for Weighted SHG and prove decidability of WCTL for Weighted STORMED hybrid systems.     

Metol as Corrosion Inhibitor for zinc

The inhibition behavior of metol (N-methyl-p-aminophenol sulphate) on zinc in different corrosive solutions at room temperature was investigated by various techniques such as weight loss, polarization and linear polarization methods. The percentage inhibition efficiencies were evaluated at different concentrations of the inhibitors. The corrosion rate, inhibition efficiency and surface coverage were dependent on metol concentration. The electrochemical data indicated a basic modification of zinc surface resulting in a decrease in the corrosion rate. Corrosion inhibition was explained by considering an interaction between metal surface and the inhibitor. SEM images and FT-IR profiles confirmed the formation of passive film on the metal surface.     

Hydrothermally synthesized ZnO and Z-rGO nanorods: Effect of post-annealing temperature and rGO incorporation on hydrogen sensing

Journal of Materials Science: Materials in Electronics - In this work, hydrogen-sensing characteristics of zinc oxide nanorods and reduced graphene oxide-incorporated zinc oxide nanorods are...     

Sources and impacts of pharmaceutical components in wastewater and its treatment process: A review

Pharmaceutical compounds and their derivatives are major pollutants in the environment, as their metabolites affect the terrestrial as well as aquatic organisms in one or another way. In recent times, many papers have discussed the treatment procedures for single pharmaceutical and mixture of pharmaceutical components, but only few papers have discussed the fate and the exposure of pharmaceutical contaminants in our environment. In this paper, we discuss the sources and the forms of pharmaceutical products and their resultant in the environment and their addition to the microbial and to human communities. A detailed discussion of various treatment techniques from conventional to current techniques, their advantages and disadvantages is given here. Researchers are finding the techniques in order to completely degrade the contaminants and their transformed products from the environment. Among the technique, s nanotechnology was found to be an efficient technique, and the combination of nanotechnology with other conventional technologies gives higher removal efficiency.     

Semianalytical investigation on heat transfer in porous fins with temperature-dependent thermal conductivity via the homotopy perturbation Sumudu transform approach

A unique investigation has been undertaken to analyze the heat transmission by convective and radiative mechanisms in a fully saturated penetrable fin of a longitudinal structure positioned on a leaning surface. This study introduces the fusion of the realms of Homotopy perturbation and Sumudu transform techniques to address a previously unexplored problem involving a moving fin with temperature-dependent thermal conductivity. In prior research papers, the Homotopy Perturbation Sumudu Transform Method (HPSTM) was utilized to obtain analytical solutions for fins featuring temperature-dependent thermal conductivity. However, in our current study, we employ the HPSTM to tackle a novel problem involving a moving porous fin. This fin exhibits temperature-dependent thermal conductivity and is subjected to convection and radiation effects. Through a comparison with numerical results, the present study has validated the dependability of its findings. The dimensionless temperature profile has been investigated by studying its relationship with several parameters. Here we observed that when the Peclet number $$ is augmented by 400%, there is a corresponding 1.11% increase in thermal outline at the fin's extremity. Enhancing the value of radiation parameter $$ by 400% declines the temperature of the fin tip by 14.079%. This study encourages the application of the Homotopy perturbation Sumudu transform technique in more complex fin problems.     

Fast-scan deposition-stripping voltammetry at carbon-fiber microelectrodes: real-time, subsecond, mercury free measurements of copper

Elevated concentrations of hazardous metals in aquatic systems are known to threaten human health. Mobility, bioavailability, and toxicity of metals are controlled by chemical speciation, a dynamic process. Understanding metal behavior is limited by the lack of analytical methods that can provide rapid, sensitive, in situ measurements. While electrochemistry shows promise, it is limited by its temporal resolution and the necessity for Hg modified electrodes. In this letter, we apply fast-scan deposition-stripping voltammetry at carbon-fiber microelectrodes for in situ measurements of Cu(II). We present a novel, Hg-free technique that can measure Cu(II) with ppb sensitivity at 100 ms temporal resolution.