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.     

层序单元体系域划分及勘探意义

体系域是层序地层学理论体系中的重要概念，在隐蔽油气藏的勘探中，勘探家们极为重视低位体系域。但体系域的成因意义、是否有不同级别层序的体系域以及如何划分，在实际工作中认识不一致。结合勃海湾盆地的勘探实例，分析体系域的成因机制、组合特征和勘探规律，认为：体系域是基准面变化等因素作用的产物，不同级别的层序都发育着与其对应的体系域：一般情况下，三级层序对应的体系域单元与含油气层的规模相匹配，但四级层序对应的体系域才是隐蔽油气藏赋存的有利部位。图5参6。     

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.     

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

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

单向实时数字视频传输中帧同步锁定技术研究

提出一种适用于单向实时数字视频传输系统的帧同步锁定方案。其方法在接收端采用本地参考时钟、状态机、锁相环，并结合CIMT编码方式实现系统自动维持帧同步锁定，而无需周期性加入帧同步码。对该帧同步锁定方案与周期性加入帧同步码强制锁定方案进行性能比较．并将其应用到单向实时数字视频光纤传输系统中。实验证明，系统自动实现帧同步锁定的方案是单向实时数字视频传输系统实现帧同步锁定的最佳方案。     

DC/DC电源中的电磁干扰及其对策

概述了电磁干扰(EMI)和电磁兼容(EMC)的基本知识，对DC／DC电源中的电磁干扰进行了综合分析，并给出了各自的解决方案。     

柔性联轴节在减小转子系统扭转冲击运动中的作用

通过对大型振动磨机运动特性的研究分析,把其旋转系统简化为由两个柔性联轴节连接的三转子系统。建立了柔性连接的三转子系统在冲击转矩作用下的运动方程,对方程求解得到了柔性连接转子系统的扭转冲击响应。通过对冲击响应随柔性联轴节扭转刚度和阻尼变化规律的讨论分析,发现减小柔性联轴节的扭转刚度和增大柔性联轴节的阻尼,可以减小转子系统的扭转冲击响应。     

光电平台无角位移减振机构运动分析

分析了光电平台的工作环境和角振动对成像质量的影响，应用空间机构学原理和减振理论，设计了一种既具减振功能又能抑制角位移的无角位移减振机构。对减振机构的减振机理及运动特性进行了分析，并利用三维建模软件和MSC．Visual Nastran 4D仿真分析软件对该减振机构进行了三雏实体仿真分析，通过输出的仿真数据及曲线检验无角位移减振原理的正确性。     

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

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

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

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