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.     

Protocol misbehavior detection framework using machine learning classification in vehicular Ad Hoc networks

Wireless Networks - A novel approach is proposed to detect protocol misbehavior using state-of-the-art machine learning frameworks and entropy. Nodes in Vehicular Ad Hoc Networks (VANETs) use...     

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.     

Small‐Sized High‐Power PIN Diode Switch with Defected Ground Structure for Wireless Broadband Internet

This letter presents a small‐sized, high‐power single‐pole double‐throw (SPDT) switch with defected ground structure (DGS) for wireless broadband Internet application. To reduce the circuit size by using a slow‐wave characteristic, the DGS is used for the quarter‐wave (°/4) transmission line of the switch. To secure a high degree of isolation, the switch with DGS is composed of shunt‐connected PIN diodes. It shows an insertion loss of 0.8 dB, an isolation of 50 dB or more, and power capability of at least 50 W at 2.3 GHz. The switch shows very similar performance to the conventional shunt‐type switch, but the circuit size is reduced by about 50% simply with the use of DGS patterns.     

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.     

Why does it pay to be selfish in a MANET?

Routing protocols for a mobile ad hoc network have assumed that all mobile nodes voluntarily participate in forwarding others' packets. This was a reasonable assumption because all MNs in a MANET belonged to a single authority. In the near future, however, a MANET may consist of MNs that belong to many different organizations since numerous civilian applications are expected to crop up. In this situation, some MNs may run independently and purposely decide not to forward packets so as to save their own energy. This could potentially lead to network partitioning and corresponding performance degradation. To minimize such situations in MANETs, many studies have explored the use of both the carrot and the stick approaches by having reputation-based, credit-payment, and game theory schemes. This article summarizes existing schemes, identifies their relative advantages, and projects future directions     

Performance analysis of OFDMA uplink systems with symbol timing misalignment

This letter presents our investigation for the effect of symbol timing errors in orthogonal frequency-division multiple access (OFDMA) uplink systems. We express the symbol timing errors between users as the symbol timing misalignments with respect to the desired user. Then, we derive an explicit expression of the signal-to-noise ratio (SNR) as a function of the maximum value of the symbol timing misalignments. Analyses and simulation results show that, to achieve an SNR of 20 dB, the maximum value of the symbol timing misalignments must be less than the cyclic prefix duration plus 6.25% of the useful symbol duration. Based on the resulting SNR degradation, we evaluate the SNR gain with guard subcarriers in order to mitigate the effect of the symbol timing misalignments.     

A three-dimensional FE analysis of large deformations for impact loadings using tetrahedral elements

 A three-dimensional dynamic program for the anaysis of large deformations in contact-penetration problems is developed using the finite element Lagrangian method with explicit time integration. By incorporating a tetrahedral element, which allows a single-point integration without a special hourglass control scheme, this program can be more effective to the present problem. The position code algorithm is used to search contact surface. Eroding surfaces are also considered. The defense node algorithm was slightly modified for the calculation of contact forces. A study of obliquity effects on metallic plate perforation and ricochet processes in thin plates impacted by a sphere was conducted. It is well simulated that on separation of two parts of the sphere, the portion still within the crater tends to perforate, while the portion in contact with the plate surface ricochets. This deformation pattern is observed in experiments, especially at high obliquities. A long rod that impacts an oblique steel plate at high impact velocity was also simulated in order to study the dynamics of the rod caused by the three dimensional asymmetric contact. The agreement between simulated and experimental results is quite good. Fracture phenomena occuring at high obliquity deserves further investigations. Received: 20 February 2002 / Accepted: 20 September 2002     

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