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 unified critical state model for geomaterials with an application to tunnelling

This paper is prepared in honour of Professor E.T. Brown for his outstanding contributions to rock mechanics and geotechnical engineering and also for his personal influence on the first author's research career in geomechanics and geotechnical engineering. As a result, we have picked a topic that reflects two key research areas in which Professor E.T. Brown has made seminal contributions over a long and distinguished career. These two areas are concerned with the application of the critical state concept to modelling geomaterials and the analysis of underground excavation or tunnelling in geomaterials.Partially due to Professor Brown's influence, the first author has also been conducting research in these two areas over many years. In particular, this paper aims to describe briefly the development of a unified critical state model for geomaterials together with an application to cavity contraction problems and tunnelling in soils.     

A Dual Inhibitor of DYRK1A and GSK3β for β-Cell Proliferation: Aminopyrazine Derivative GNF4877

Loss of β-cell mass and function can lead to insufficient insulin levels and ultimately to hyperglycemia and diabetes mellitus. The mainstream treatment approach involves regulation of insulin levels; however, approaches intended to increase β-cell mass are less developed. Promoting β-cell proliferation with low-molecular-weight inhibitors of dual-specificity tyrosine-regulated kinase 1A (DYRK1A) offers the potential to treat diabetes with oral therapies by restoring β-cell mass, insulin content and glycemic control. GNF4877, a potent dual inhibitor of DYRK1A and glycogen synthase kinase 3β (GSK3β) was previously reported to induce primary human β-cell proliferation in vitro and in vivo. Herein, we describe the lead optimization that lead to the identification of GNF4877 from an aminopyrazine hit identified in a phenotypic high-throughput screening campaign measuring β-cell proliferation.     

3-三氟甲基-5,6,7,8-四氢-1,2,4-三唑[4,3-α]吡嗪盐酸盐的合成

乙二胺与氯乙酸乙酯经取代、环合反应制得2-哌嗪酮,2-哌嗪酮与Boc酸酐进行氨基保护反应后,再与五硫化二磷进行硫代反应制得4-(N-叔丁氧羰基)-2-哌嗪硫酮,其与三氟乙酰肼经取代、环合、脱叔丁氧羰基成盐,得标题化合物,总收率为45.7%(以氯乙酸乙酯计)。为磷酸西他列汀中间体的工业化生产提供了一条较理想的工艺路线。     

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.     

UML在网络安全监控系统建模中的应用

本文首先介绍了UML的特性,然后运用UML对网络安全监控系统中的数据采集系统进行了可视化的建模,建立了系统的需求模型和设计模型的各种视图,最后总结了用UML进行系统需求分析和设计的优越性.     

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.     

Study of Disk-Loaded Waveguide Filled with Plasma

Recently disk-loaded waveguide has been widely used in high-power traveling wave tubes (HPTWT). It has been shown in many experiments that the interaction efficiency and output power can be increased greatly by injecting plasma into the vacuum microwave device. Using field analysis, the dispersion characteristics and the interaction impedance of the disk-loaded waveguide filled with plasma are analyzed in a strong longitudinal magnetic field. In conclusion, the frequency of the TM₀₁ mode increases as the density of the plasma increases. It also can be found when the plasma density increases to a large scale, the TM₀₁ mode of the disk-loaded waveguide overlaps the TG mode, these two modes couple each other and form the new hybrid modes.     

MEMS封装技术研究进展

介绍了MEMS封装技术的特点、材料以及新技术,包括单片全集成MEMS封装、多芯片组件(MCM)封装、倒装芯片封装、准密封封装和模块式MEMS封装等。文中还介绍了MEMS产品封装实例。