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。     

通用布缆系统标准化现状与分析

分析了通用布缆系统的基本组成结构，对每一部分的主要功能作了说明。总结了国内外通用布缆系统标准化体系的状况，重点描述了北美、欧洲以及国际通用布缆系统标准体系。回顾了国内通用布缆系统标准化的历程，重点分析了国内通用布缆标准化工作的特点和未来通用布缆标准化工作方向。     

X80焊管H_2S环境应力腐蚀开裂行为研究

采用三点弯曲加载法和微电极扫描测试技术,研究了X80高强度级管线钢及其焊缝区的抗H2S环境应力腐蚀开裂(SSCC)行为。测定了焊接接头的显微硬度分布,分析了显微组织结构、力学性能及抗腐蚀性能之间的相关性。研究表明,热影响区(HAZ)对应力腐蚀开裂最为敏感,母材的纵向和横向取样对应力腐蚀敏感性影响不显著,薄壁管材比厚壁管材有较好的抗H2S环境应力腐蚀性能。HAZ晶粒粗大、硬度高,局部腐蚀倾向大,由此导致该区SSCC敏感性高。     

无线通信中的空时分组码

空时分组码技术结合信道编码、调制和天线分集技术,当发送天线一定时,他的解码复杂度正比于发送速率,在3G标准中,该技术有着重要的地位。对空时分组码及相关知识进行了介绍,并对可变速率的空时分组码设计进行了探讨,最后展望了空时分组码技术的应用前景。     

琼东南盆地深水区储层分布规律

琼东南盆地深水区经历了断陷、断拗和拗陷3大构造演化和沉积充填阶段,主要发育4种沉积体系,相应地形成了4类主要储层:1)陵三段扇三角洲或滨海相砂岩储层;2)三亚、梅山组滨浅海相砂岩储层;3)三亚—莺黄组低位体储层;4)梅山组台地边缘礁滩灰岩储层。平面上,储层发育具有明显的分带性,可划分为:北部浅水陆架滨岸砂岩、三角洲砂岩储层发育带;中央坳陷低位体储层发育带;南部永乐隆起区碳酸盐岩储层发育带。深水区主要位于后2个带,每个带储层发育的控制因素不同,可以进一步划分为多个储层发育区。每个储层发育区存在多套储盖组合,每套储盖组合在多个储层区中发育。其中台地灰岩储层可能成为南部隆起区具有重要意义的勘探层系。      

238C防盗报警系统的改进

漯河中波台自安装238C防盗报警系统以来,多次出现误报现象,严重影响了发射及其他工作的正常进行。首先对该系统的工作原理进行了简单介绍,然后对误报故障现象进行了分析、处理,并改进了电路设计中存在的不足。改进后的运行数据表明,系统误报率明显下降,达到了预期的目的。最后,对本系统的设计提出了进一步完善的建议。     

容灾系统中存储方案选择的研究

论文首先阐述了在容灾系统中存储方案的重要性,讨论了存储方案需要考虑的衡量指标,然后介绍了主要的存储方式,根据衡量指标划分了存储方式的特性范围,最后着重研究了容灾系统中存储方案的选择流程,并使用一个实例说明容灾系统中存储方案的选择流程。     

通信交流供电方案初探

在通信供电系统中,与直流供电系统相比,从设计、设备技术,到运行维护管理,交流供电系统都有所滞后。借鉴直流供电系统经验,通过应用N X并联逆变器模块热插拔技术,实行分散式供电,进而改变传统的以UPS为核心的集中供电模式,则可在很大程度上解决一直困扰着我们的交流供电系统成本高和可靠性低的难题。     

基于单片机加压控制的PCD复合片真空扩散焊接

文章针对普通钎焊的聚晶金刚石钻头剪切强度不高，提出了采用单片机加压控制的PCD复合片真空扩散焊接的设计思想，在对原真空扩散焊机液压改造的基础上给出如何由单片机控制加压的电路和程序流程设计。实际应用表明，该技术经济实用，有较好的经济效益。