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.     

Properties and applications of β‐glycosidase from Bacteroides thetaiotaomicron that specifically hydrolyses isoflavone glycosides

To modify the glycan part of glycosides, the gene encoding β‐glycosidase was cloned from Bacteroides thetaiotaomicron VPI‐5482. The cloned gene, bt_1780, was expressed in Escherichia coli MC1061 and the expressed enzyme was purified using Ni‐NTA affinity chromatography. The purified enzyme, BTBG, showed optimal activity at 50 °C and pH 5.5. Interestingly, this enzyme did not have any hydrolysing activity on ordinary β‐linkage–containing substrates such as xylobiose, lactose and cello‐oligosaccharide, but specifically hydrolysed isoflavone glycosides such as daidzin, genistin and glycitin. Compared to a commercial beta glucosidase, BTBG selectively hydrolysed isoflavone glycosides in soybean extract mixture solution. These results suggest that BTBG may be a specialized enzyme for the hydrolysis of glycosides and that the substrate specificity of BTBG is applicable for the bioconversion of isoflavone glycosides in the food industry.     

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.