Progressive NO2 Sensors with Rapid Alarm and Persistent Memory-Type Responses for Wide-Range Sensing Using Antimony Triselenide Nanoflakes

Antimony triselenide (Sb₂Se₃) nanoflake-based nitrogen dioxide (NO₂) sensors exhibit a progressive bifunctional gas-sensing performance, with a rapid alarm for hazardous highly concentrated gases, and an advanced memory-type function for low-concentration (<1 ppm) monitoring repeated under potentially fatal exposure. Rectangular and cuboid shaped Sb₂Se₃ nanoflakes, comprising van der Waals planes with large surface areas and covalent bond planes with small areas, can rapidly detect a wide range of NO₂ gas concentrations from 0.1 to 100 ppm. These Sb₂Se₃ nanoflakes are found to be suitable for physisorption-based gas sensing owing to their anisotropic quasi-2D crystal structure with extremely enlarged van der Waals planes, where they are humidity-insensitive and consequently exhibit an extremely stable baseline current. The Sb₂Se₃ nanoflake sensor exhibits a room-temperature/low-voltage operation, which is noticeable owing to its low energy consumption and rapid response even under a NO₂ gas flow of only 1 ppm. As a result, the Sb₂Se₃ nanoflake sensor is suitable for the development of a rapid alarm system. Furthermore, the persistent gas-sensing conductivity of the sensor with a slow decaying current can enable the development of a progressive memory-type sensor that retains the previous signal under irregular gas injection at low concentrations.     

A Distribution‐freeCUSUMChart for Monitoring Variability of AutocorrelatedProcesses

We present a distribution‐free tabular cumulative sum chart for monitoring the variability of an autocorrelated process. A quantity known as the asymptotic variance parameter is employed as a measure of the variability, and a distribution‐free tabular cumulative sum chart is applied to variance estimates calculated from batches of nonoverlapping samples. The proposed chart is applicable to a stationary process with a general marginal distribution and a general autocorrelation structure. It also determines control limits analytically without trial‐and‐error simulations. The performance of the proposed chart is tested on stationary processes with both normal and nonnormal marginals with various autocorrelation structures. Copyright © 2014 John Wiley & Sons, Ltd.     

Development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application

Safety-critical software systems such as certain nuclear instrumentation and control (NI&C) systems should be developed with thorough verification. This study presents a method of software requirement verification with a case study for a nuclear power plant (NPP) protection system. The verification introduces colored petri net (CPN) for system modeling and prototype verification system (PVS) for mathematical verification. In order to aid flow-through from modeling by CPN to mathematical proof by PVS, an information extractor from CPN models has been developed in this paper. In order to convert the extracted information to the PVS specification language, a translator has also been developed. This combined method has been applied to the functional requirements of the Wolsong NPP Shut Down System #2 (SDS2); logical properties of the requirements were verified. Through this research, guidelines and a tool support for the use of formal methods have been developed for application to NI&C software verification.     

Abnormal junction profile of silicided p+/n shallowjunctions: a leakage mechanism

The leakage mechanism in p⁺/n shallow junctions fabricated using Co silicidation and shallow trench isolation processes has been investigated using transmission electron microscopy (TEM) combined with selective chemical etching. TEM and TSUPREM-4 simulation results show that dopant profiles bend upward near the edge of the active region. The formation of the abnormal profile is attributed to transient enhanced diffusion induced by source/drain implantation. Based on the TEM and simulation results, it is suggested that the shallower junctions formed near the active edge can serve as a source for leakage current in the silicided p+ /n shallow junctions     

Complementary effects of solid lubricants in the automotive brake lining

An experimental investigation was carried out to examine the tribological behavior of NAO (non-asbestos organic) type brake linings containing different volume ratios of graphite and antimony trisulfide (Sb₂S₃). A scale dynamometer was used for friction tests and particular emphases were given to the effect of applied pressure, sliding speed, and temperature on the coefficient of friction according to the relative amounts of the two solid lubricants. Results showed that the brake linings with both solid lubricants exhibited better friction stability and less speed sensitivity than the friction materials containing a single solid lubricant. In particular, the brake lining containing higher concentrations of graphite showed better fade resistance than others during high-temperature friction test.     

Primary afferent depolarizations of sensory origin within contact-sensitive mechanoreceptive afferents of a crayfish leg

Recordings from the central branches of single identified dactyl sensory afferent (DSA) neurons in a crayfish in vitro preparation were performed to study modifications of the sensory message occurring before the first central synapse. These afferents comprised hairs and force-sensitive mechanoreceptors with phasic and phasotonic response characteristics in the terminal segment (dactyl) of the crayfish leg. More than one afferent spike size was often observed in intracellular recordings from these afferents, thus indicating the presence of electrical coupling between the central processes of DSA fibers. Additionally, in identified DSA fibers with large spike sizes, primary afferent depolarizations (PADs) of up to 15 mV were observed, which sometimes triggered antidromic spikes in the afferent. Nevertheless, PADs were clearly inhibitory, because they shunted the afferent spikes. They exhibited the following properties. First, each PAD was preceded by an afferent spike from a neighboring hair, indicating that the PADs had a sensory rather than central origin. Second, PADs could follow high frequencies of afferent discharges without failure, a property suggestive of monosynaptic connections, but because PAD latencies varied by +/-0.5 ms it is more likely that they were mediated by a disynaptic pathway. Third, although PADs were evoked in an extremely reliable manner, their amplitude varied in a quantal manner. Most unitary PADs were the result of the release of < 12 quanta, the mean quantal content lying between 4 and 5; quantal size was large, approximately 1 mV. Fourth, PADs showed facilitation in some fibers, whereas in others they became much smaller when occurring at brief intervals. We suggest that PADs may be an efficient and parsimonious way to limit sensory inflow in space and time, allowing the crayfish to identify precisely both weak and strong mechanical stimuli.     

Passive sensitization of human airways induces myogenic contractile responses in vitro

We assessed effects of passive sensitization on human bronchial smooth muscle (BSM) response to mechanical stretching in vitro. Bronchial rings were sham (control) or passively sensitized overnight by using sera from donors demonstrating sensitivity to Dermatophagoides farinae and having immunoglobulin E (IgE) concentrations of 2,600 +/- 200 U/ml. Tissues were fixed isometrically to force transducers to measure responses to electrical field stimulation (EFS) and quick stretch (QS). The myogenic response to QS was normalized to the maximal response to EFS (%EFS). The myogenic response of sensitized BSM was 47.9 +/- 10.9 %EFS to a QS of approximately 6.5% optimal length (Lo); sham-sensitized tissues had a myogenic response of 13.5 +/- 6.4 %EFS (P = 0.012 vs. passively sensitized). A QS of approximately 13% Lo in sensitized BSM caused a response of 82.8 +/- 20.9 %EFS; sham-sensitized tissues developed a response of 38.2 +/- 17.3 %EFS (P = 0.004). BSM incubated with serum from nonallergic donors did not demonstrate increased QS response (4.6 +/- 1.4 %EFS, P = not significant vs. tissue exposed to atopic sera). However, tissues incubated in sera from nonatopic donors supplemented with hapten-specific chimeric IgE (JW8) demonstrated augmented myogenic response to QS of approximately 6.5% Lo (21.9 +/- 6.2 %EFS, P = 0. 027 vs. nonatopic sera alone). We demonstrate that passive sensitization of human BSM preparations causes induction and augmentation of myogenic contractions to QS; this hyperresponsiveness corresponds to the IgE concentration in sensitizing sera.