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.     

Development of core mode blocker with H/sub 2/-loaded Ge-B codoped fibres

A novel fabrication method of the core mode blocker by exposing H/sub 2/-loaded Ge-B codoped fibres to local electric arc discharge for application to the LPFGs-based tunable all-fibre bandpass filter with 6.5 nm bandwidth and 40 nm tuning range is presented.     

改性乳化沥青的发展和应用概况

综述了改性乳化沥青的发展及应用概况,重点讨论了改性乳化沥青的生产、制备工艺、稳定性影响因素,并对国内外改性乳化沥青的应用情况加以概述。     

Microscale Patterning of Mesoscopic PZN-PT Single Crystal Films by Crystal ion Slicing and Laser-Induced Etching

Advances in the fabrication of solid-solution single crystal relaxor ferroelectrics have made it possible to produce highly efficient piezoelectric crystals, and have attracted renewed interest in the use of these crystals for a new generation of piezoelectric transducers, actuators and sensors. Of particular interest is their incorporation into micro-electromechanical systems (MEMS). In this paper we report on the laser-induced wet chemical etching of lead zinc niobate-lead titanate (PZN-PT) in hydrochloric acid (HCl). Argon-ion laser radiation at power levels up to 4 W is focused to a spot diameter of about 15μm and results in the chemical etching of grooves at patterning speeds up to 5μm/sec. Crystal ion slicing, an ion-implant-based film separation technique, is used in combination with laser etching to form 5 to 10μm-thick patterned and freestanding films for incorporation into micro-electromechanical devices.     

混合动力电动汽车用电机及驱动控制器的电磁兼容设计

电机及驱动控制器作为电动汽车的关键部件,其电磁兼容设计对于保证电动汽车的可靠运行非常重要.介绍了国家十五项目中某混合动力轿车用电机及控制器系统的电磁兼容措施,分别从控制电路、信号电缆、功率电路及屏蔽机箱等工程角度进行了分析和设计.该系统的电磁兼容性符合GB/T17619-1998的要求,且已应用于实际混合动力电动汽车,运行情况良好.     

一种基于混沌同步的噪音衰减算法

论文提出了一种混沌通信系统的噪音衰减算法,该算法利用混沌同步现象在接收端获得正确的噪音估计值,从而从接收信号中滤除噪音恢复出正确的信号。通过数值仿真试验表明该方法是可行的。     

基于素性检验思想的不可约多项式判断

论文将Fermat素性检验的思想运用于不可约多项式的判断,给出了一个对于不可约判断问题的Monte Carlo 算法,分析了该算法的计算复杂度问题,并且给出了次数在200以内的检验结果。     

Acquisition and pattern recognition of spectrum information of welding metal transfer

With the creation of a pattern recognition system for metal transfer mode, this article has collected five kinds of spectrum signals in gas metal arc welding (MIG, MAG and CO₂) and take them as training samples. These samples have been pretreated by computer, several key characteristic parameters of the spectrum signal have been creatively extracted, and a corresponding recognition function and a minimum-distance-classifier have been constructed. The results show that the pattern recognition of several kinds of metal transfer modes for the metal gas arc welding can be done successfully, and relative important parameters in welding process, such as the frequency of droplet transfer and the approximate diameter of each droplet, can also be obtained.     

Mining constrained gradients in large databases

Many data analysis tasks can be viewed as search or mining in a multidimensional space (MDS). In such MDSs, dimensions capture potentially important factors for given applications, and cells represent combinations of values for the factors. To systematically analyze data in MDS, an interesting notion, called "cubegrade" was recently introduced by Imielinski et al. [2002], which focuses on the notable changes in measures in MDS by comparing a cell (which we refer to as probe cell) with its gradient cells, namely, its ancestors, descendants, and siblings. We call such queries gradient analysis queries (GQs). Since an MDS can contain billions of cells, it is important to answer GQs efficiently. We focus on developing efficient methods for mining GQs constrained by certain (weakly) antimonotone constraints. Instead of conducting an independent gradient-cell search once per probe cell, which is inefficient due to much repeated work, we propose an efficient algorithm, LiveSet-Driven. This algorithm finds all good gradient-probe cell pairs in one search pass. It utilizes measure-value analysis and dimension-match analysis in a set-oriented manner, to achieve bidirectional pruning between the sets of hopeful probe cells and of hopeful gradient cells. Moreover, it adopts a hypertree structure and an H-cubing method to compress data and to maximize sharing of computation. Our performance study shows that this algorithm is efficient and scalable. In addition to data cubes, we extend our study to another important scenario: mining constrained gradients in transactional databases where each item is associated with some measures such as price. Such transactional databases can be viewed as sparse MDSs where items represent dimensions, although they have significantly different characteristics than data cubes. We outline efficient mining methods for this problem.     

一种高性能的新结构IGBT

提出了一种低功率损耗的新结构IGBT.该新结构的创新点在于其复合耐压层结构,该耐压层包括深扩散形成的n型缓冲层和硼注入形成的透明背发射区两部分.虽然在正常工作条件下,该新结构IGBT工作于穿通状态,但器件仍具有非穿通IGBT(NPT-IGBT)的优良特性.该新结构IGBT具有比NPT-IGBT更薄的芯片厚度,从而可以获得更好的通态压降和关断功耗之间的折衷.实验结果表明:与NPT-IGBT相比较,新结构IGBT的功率损耗降低了40%.