Interval Slopes as Numerical Abstract Domain for Floating-Point Variables

The design of embedded control systems is mainly done with model-based tools such as Matlab/Simulink. Numerical simulation is the central technique of development and verification of such tools. Floating-point arithmetic, that is well-known to only provide approximated results, is omnipresent in this activity. In order to validate the behaviors of numerical simulations using abstract interpretation-based static analysis, we present, theoretically and with experiments, a new partially relational abstract domain dedicated to floating-point variables. It comes from interval expansion of non-linear functions using slopes and it is able to mimic all the behaviors of the floating-point arithmetic. Hence it is adapted to prove the absence of run-time errors or to analyze the numerical precision of embedded control systems

Electron Transport Properties of Single-Molecule-Bearing Multiple Redox Levels Studied by EC-STM/STS

Multielectron systems as possible components of molecular electronics devices are attracting compelling experimental and theoretical interest. Here we studied by electrochemical scanning tunneling techniques (EC-STMicroscopy and EC-STSpectroscopy) the electron transport properties of a redox molecule endowed with two redox levels, namely, the hydroquinone/quinone (H2Q/Q) couple. By forming self-assembled monolayers on Au(111) of oligo-phenylene-vinylene (OPV) derivatized H2Q/Q moieties, we were able to explore the features of the tunneling current/overpotential relation in the EC-STS setup. The behavior of the tunneling current sheds light onto the mechanism of electron transport involving the redox levels of the H2Q/Q redox pair coupled to tip and substrate electrodes

Electrochemistry of nanozeolite-immobilized cytochrome c in aqueous and nonaqueous solutions

peer-reviewedThe electrochemical properties of cytochrome c (cyt c) immobilized on multilayer nanozeolite-modified electrodes have been examined in aqueous and nonaqueous solutions. Layers of Linde type-L zeolites were assembled on indium tin oxide (ITO) glass electrodes followed by the adsorption of cyt c, primarily via electrostatic interactions, onto modified ITO electrodes. The heme protein displayed a quasi-reversible response in aqueous solution with a redox potential of +324 mV (vs NHE), and the surface coverage (Gamma*) increased linearly for the first four layers and then gave a nearly constant value of 200 pmol cm(-2). On immersion of the modified electrodes in 95% (v/v) nonaqueous solutions, the redox potential decreased significantly, a decrease that originated from changes in both the enthalpy and entropy of reduction. On reimmersion of the modified electrode in buffer, the faradic response immediately returned to its original value. These results demonstrate that nanozeolites are potential stable supports for redox proteins and enzymes.ACCEPTEDpeer-reviewe

Highly exposed {001} facets of titanium dioxide modified with reduced graphene oxide for dopamine sensing

Titanium dioxide (TiO2) with highly exposed {001} facets was synthesized through a facile solvo-thermal method and its surface was decorated by using reduced graphene oxide (rGO) sheets. The morphology and chemical composition of the prepared rGO/TiO2 {001} nanocomposite were examined by using suitable characterization techniques. The rGO/TiO2 {001} nanocomposite was used to modify glassy carbon electrode (GCE), which showed higher electrocatalytic activity towards the oxidation of dopamine (DA) and ascorbic acid (AA), when compared to unmodified GCE. The differential pulse voltammetric studies revealed good sensitivity and selectivity nature of the rGO/TiO2 {001} nanocomposite modified GCE for the detection of DA in the presence of AA. The modified GCE exhibited a low electrochemical detection limit of 6 μM over the linear range of 2–60 μM. Overall, this work provides a simple platform for the development of GCE modified with rGO/TiO2 {001} nanocomposite with highly exposed {001} facets for potential electrochemical sensing applications

Fermi-GBM Discovery of GRB 221009A: An Extraordinarily Bright GRB from Onset to Afterglow

We report the discovery of GRB 221009A, the highest flux gamma-ray burst ever observed by the Fermi Gamma-ray Burst Monitor (GBM). This GRB has continuous prompt emission lasting more than 600 seconds which smoothly transitions to afterglow visible in the GBM energy range (8 keV--40 MeV), and total energetics higher than any other burst in the GBM sample. By using a variety of new and existing analysis techniques we probe the spectral and temporal evolution of GRB 221009A. We find no emission prior to the GBM trigger time (t0; 2022 October 9 at 13:16:59.99 UTC), indicating that this is the time of prompt emission onset. The triggering pulse exhibits distinct spectral and temporal properties suggestive of the thermal, photospheric emission of shock-breakout, with significant emission up to ∼15 MeV. We characterize the onset of external shock at t0+600 s and find evidence of a plateau region in the early-afterglow phase which transitions to a slope consistent with Swift-XRT afterglow measurements. We place the total energetics of GRB 221009A in context with the rest of the GBM sample and find that this GRB has the highest total isotropic-equivalent energy (Eγ,iso=1.0×10^55 erg) and second highest isotropic-equivalent luminosity (Lγ,iso=9.9×10^53 erg/s) based on redshift of z = 0.151. These extreme energetics are what allowed us to observe the continuously emitting central engine of GBM from the beginning of the prompt emission phase through the onset of early afterglow

Diagnostics of Anodic Stripping Mechanisms under Square-Wave Voltammetry Conditions Using Bismuth Film Substrates

A mechanistic study to provide diagnostics of anodic stripping electrode processes at bismuth-film electrodes is presented from both theoretical and experimental points of view. Theoretical models for three types of electrode mechanisms are developed under conditions of square-wave voltammetry, combining rigorous modeling based on integral equations and the step function method, resulting in derivation of a single numerical recurrent formula to predict the outcome of the voltammetric experiment. In the course of the deposition step, it has been assumed that a uniform film of the metal analyte is formed on the bismuth substrate, in situ deposited onto a glassy carbon electrode surface, without considering mass transfer within either the bismuth or the metal analyte film. Theoretical data are analyzed in terms of dimensionless critical parameters related with electrode kinetics, mass transfer, adsorption equilibria, and possible lateral interactions within the deposited metal particles. Theoretical analysis enables definition of simple criteria for differentiation and characterization of electrode processes. Comparing theoretical and experimental data, anodic stripping processes of zinc(II), cadmium(II), and lead(II) are successfully characterized, revealing significant differences in their reaction pathways. The proposed easy-to-perform diagnostic route is considered to be of a general use while the bismuth film exploited in this study served as a convenient nonmercury model substrate surface

A simple and sensitive method for determination of Norfloxacin in pharmaceutical preparations

In this approach, a new voltammetric method for determination of norfloxacin was proposed with high sensitivity and wider detection linear range. The used voltammetric sensor was fabricated simply by coating a layer of graphene oxide (GO) and Nafion composited film on glassy carbon electrode. The advantage of proposed method was sensitive electrochemical response for norfloxacin, which was attributed to the excellent electrical conductivity of GO and the accumulating function of Nafion under optimum experimental conditions, the present method revealed a good linear response for determination of norfloxacin in the range of 1×10-8mol/L-7×10-6 mol/L with a detection limit of 5×10-9 mol/L. The proposed method was successfully applied in the determination of norfloxacin in capsules with satisfactory results.</p