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.     

弯曲性分叉河道中污染物扩散性的初步研究

弯曲性分叉河道中水流特征复杂,对污染物扩散有很大影响。为了定量分析其水流特征对污染物扩散的影响,采用有限元方法求解弯曲性分叉河道中的污染物扩散数学模型,研究其中污染物扩散的状况。主要针对河道回流、绕流对污染物扩散的影响进行了详细数值模拟计算,并分别给出了可视化结果及平均的扩散距离。计算结果表明:边界层稍微减弱污染物的扩散,弯道分离使污染物扩散呈现多向扩散,而回流和绕流尾迹区使污染物很难扩散,从而有利于泄漏污染物的收集和集中治理。     

炼油厂碱性污水生物催化氧化预处理工艺研究

在对炼油厂碱性污水水质分析的基础上,提出采用生物催化氧化工艺对碱性污水进行预处理。试验结果表明,在水力停留时间为4 h,曝气量(标准状态)为8 m3／h的条件下,碱性污水的硫化物去除率可达90％以上,出水中的硫化物平均值为15．2 mg/L,CODCR、酚和油的去除率分别为47．5％,44．1％,50．8％,其中CODCR体积负荷为3．85 kg／(m3·d),是传统生化处理的10倍, 达到了污水预处理的目的。     

原油基压裂液研究

研制了一种适用于低压、低渗、水敏性储集层的新型原油基压裂液体系。根据基液原油的组分合成相应的增稠剂，增稠剂在原油中与交联剂反应，形成网状结构，使原油成为黏度可以调控的冻胶，从根本上改变了油基压裂液以柴油、煤油为基液的现状，降低了油基压裂液的成本，同时还提高了压裂液的抗温、抗剪切和破胶性能，并将交联时间缩短到2h以内，可以满足现场压裂施工的要求，大大降低了施工强度和压裂改造的综合成本。在青海油田进行的现场先导试验取得成功。图9表1参5     

无线网络融合的安全技术研究

融合多种网络可满足用户长日寸间连接和尽可能获得较高数据传输速率的需要，但融合后的网络也将各种网络的安全缺陷带进融合网络中。这不但给融合网络的运行带进各种原有的安全问题，而且增加了一些新的安全问题。对此，文章提出了基于恢复的多重防护解决方案，并使用公钥加密算法鉴权。使用私钥对通信数据进行加密。该方案可以为系统提供可靠的安全性，并实现用户对服务的不可抵赖性。该方案还处于研究起步阶段，下一步还需要明确各层的正确行为，以及出现多个恶意节点对某个合法节点诬陷时所应采取的行动。     

陆东凹陷油气藏烃类组成非均质性及其意义

陆东凹陷原油和油砂抽提物中烃类的宏观组成存在着明显的非均质性。在高孔隙度(>15%)储层单元中,饱和烃的含量高,占总组成的含量均大于40%,而极性化合物则相对较低,一般不足40%;相反,在低孔隙度(<15%)储层单元中,饱和烃的含量明显降低,而极性化合物则显著增加。此外,陆东凹陷原油和油砂抽提物中烃类成熟度亦存在着非均质性:在高孔隙度储层中,原油和油砂烃类的成熟度参数高,而在低孔隙度储层中原油和油砂烃类的成熟度参数低。根据原油和油砂抽提物中烃类的宏观组成特征和成熟度参数的变化规律,提出了陆东凹陷油气聚集模式。     

三网互联的几个关键技术

对三网互联的几个关键技术进行分析与研究，介绍利用IP技术解决有线电视网地址选择问题，探讨怎样将ATM技术与IP技术相互融合，使真正的信息高速公路成为现实，阐述利用H．323标准全面解决视频网络方案。     

Throughput analysis for multicast switches with multiple input queues

This letter analyzes the saturated throughput for multicast switches with multiple input queues per input port. Under the assumptions of a Poisson uniform traffic model and random packet scheduling policy, we derive the multicast switch saturated throughput under different fanouts. To verify the analysis, extensive simulations are conducted with different switch sizes and fanouts. It is shown that the theoretical analysis and the simulation results have a discrepancy less than 1.9%. Results from this letter can be used as a guidance to design the optimal queuing for multicast switches.     

基于SOI的双极场效应晶体管

在分析了双极型晶体管和场效应晶体管各自的特点和不足后，介绍了一种既具有双极型晶体管较大电流容量和功率输出，又具有场效应晶体管高输入阻抗的电子器件——双极MOS场效应晶体管(BJMOSFET)，同时指出体硅BJMOSFET的阳极扩散区与衬底之间存在较大的漏电流，可产生较大的寄生效应。提出了一种新型固体电子器件——基于SOI的BJMOSFET，分析了其工作原理j与体硅BJMOSFET比较，由于SOI技术完整的介质隔离避免了体硅器件中存在的大部分寄生效应，使基于SOI的BJMOSFET在体效应、热载流子效应、寄生电容、短沟道效应和闩锁效应等方面具有更优良的特性。