两环路核电厂概率安全分析

秦山二期核电厂是两环路电功率为 ６００ ＭＷ的核电厂，而已进行过概率安全分析的广东大亚湾核电厂则为三环路９００ＭＷ核电厂。本文以去掉一个环路的９００ＭＷ三环路核电厂为参考电厂来进行两环路核电厂概率安全分析（ＰＳＡ）。分析结果指出：１）只要满足确定论安全审查，两环路核电厂的概率安全特性不亚于三环路核电厂的概率安全特性；２）参考的两环路核电厂堆熔频率为２．４２×１０－５／（堆年）；３）参考的两环路核电厂严重事故的支配性初因依次为失水事故（ＬＯＣＡ）和丧失热阱。本研究对两环路核电厂设计、建造和运行提供了有益的参考。     

Research on Fault Tolerant Scheduling Algorithms of Web Cluster Based on Probability

Aiming at the soft real time fault tolerant demand of critical web applications at present, such as E-commerce, a new fault tolerant scheduling algorithm based on probability is proposed. ““““““““Ib achieve fault tolerant scheduling, the primary/slave backup technology is applied on the basis of task‘s self similar accessing characteristics, when the primary task completed successfully, the resources allocated for the slave task are reclaimed, thus advancing system‘s efficiency. Experimental results demonstrate on the premise of satisfying system‘s certain fault tolerant probability, task‘s schedulabilistic probability is improved, especially, the higher task‘s self similar degree is, the more obviously the utilization of system resources is enhanced.     

基于贝叶斯网络的概率安全评估方法研究

针对传统的事件树/故障树分析方法的局限性,提出了基于贝叶斯网络的系统概率安全评估方法.该方法采用了一体化的建模思想,将故障树和事件树转化为贝叶斯网络进行分析,不仅可以得到常用的安全性分析结果,还可以得到其他有用的信息,非常便于推理和诊断.而且该方法还可以处理多态、相依、非单调和非确定性逻辑关系,有很强的适用性.通过1个油井平台瓦斯泄漏实例说明了该方法的有效性,并与传统的故障树/事件树分析方法和基于二元决策图的分析方法进行了比较.     

蒙特卡洛法在油气储量估算中的应用

详细论述了蒙特卡洛法的数学原理及其在油气储量估算中的具体使用方法 ,并通过应用实例说明在油气田的不同勘探开发阶段 ,根据拥有资料的多少选用适当的数学模型 ,利用蒙特卡洛法都可以估算出一个具有一定可信度的比较合理的油气储量数值。当一个区块勘探程度较高 ,拥有资料较多时 ,用蒙特卡洛法估算的储量与用容积法估算的储量比较接近。     

关于概率多项式时间谱系的一些结果

研究概率多项式时间谱系的结构性质,证明了:(1)如果BP∑_(k+1)~pBP∑_k~P,则PH=BP∑∏_K~P;(2)如果BP∑_k~PBP∏_k~P,则;PH=BP∑_K~PP;(3)对任意n,k≥0,BP∑_K~P(BP∑_n~P)=BP∑_(n+k)~p,BP∑_n~P(BP△_(k+1)~P)=BP∑_(n+k)~n;(4)对任意n,k≥1,BP∑_n~P(BP∑_k~p∩BP∏_k~P)=BP∑_(n+k-1)~P这些结果说明概率多项式时间谱系与多项式时间谱系有相同的结构性盾,但也有差别.     

概率度量空间中集值Caristi定理

本文得到了概率度量空间中的集值Caristi型重合定理、加强形式的集值Caristi不动点定理及Ekeland变分原理,同时还证明了这一加强形式的集值Cariti不动点定理与Ekeland变分原理的等价性.本文所得结果统一和发展了近期一些巳知的重要结果.     

关于概率自动机的等价性与极小化问题

本文给出了两概率自动机按顺序初始等价的充要条件,证明了初始等价的概率自动机的基矩阵秩必相等及判定极限极小概率自动机的一个充要条件.同时也更正了[1]中的一个错误。     

拟度量空间性质的研究

本文首先给出了拟度量空间以及生成拟度量空间的若干概念,接着主要研究了它的连续性问题。     

核电站风险指引设备分级的方法

该文通过大亚湾核电站的实例分析来探讨核电站构筑物、系统及设备(SSC)的风险指引分级方法的可操作性及在执行过程中需考虑的问题,并对实例分析的结果进行讨论,以推动此分级思想的发展。风险指引SSC分级通过定量化的概率风险分析(PSA)、纵深防御分析和敏感性分析3个步骤综合评估设备的安全重要性。实例是以大亚湾核电站辅助给水系统为对象,结果中有33%的“安全相关”设备被划分为低安全重要设备,64%的“非安全相关”设备被划分为高安全重要设备。实例研究表明,此分级方法是一个系统化的、全面的并具可操作性的流程。     

Probabilistic transitions for P systems

In this paper we use the abstract syntax and the structural operational semantics of the P systems given in [ 1 ], and add probabilities to the rules and to the communication targets. We take into account the number of possible combinations of rules which can be applied in a computation step, as well as the consumption degree of the current resources.