基于随机Petri网的容灾系统安全性分析

该文采用基于状态的随机模型对容灾系统进行安全性分析。通过构建一个通用的远程容灾系统模型,使用随机回报网SRN描述了整个系统模型的备份与恢复过程,包括SRN模型中的各个位置、变迁的含义,对该系统模型进行建模。使用随机Petri网软件包SPNP对所建立模型进行仿真,通过对不同概率参数的设定得出系统可用性的量化值。仿真实验结果表明:不同的参数变化对系统可用性的影响不同,在本地备份中失效检测对于系统可用性的影响最大,远程备份中的失效检测对于系统可用性的影响最小。     

一类定常非线性随机差分方程平稳解的存在性

本文首先给出了由一般形式广义Ｋａｐｌａｎ条件表述的关于一般状态马氏链不存在平稳分布的一个充分条件，并放宽了对马氏链本身ψ－不可约性的条件要求；其次，对一类定常非线性随机差分方程平稳解及其矩的存在性问题进行了讨论；最后，对一类具有无限容量的随机库存模型，分析了其平稳分布的存在性问题。     

具有相依性的加权n中取k系统的热分配问题

研究具有相依性的加权n中取k系统的热分配问题.假设工作元件的寿命具有随机排列递增的相依性,建立不同冗余分配策略下加权n中取k系统的可靠性大小关系.结果表明:将较好的冗余元件分配给权重较大、性能较差的工作元件,系统的可靠性能随机地提高.     

适应于可再生能源接入下配电网极限线损的计算方法

随着可再生能源的开发与利用大幅提升,分布式的电源接入给中压配电网潮流分布带来了波动性和不确定性,从而加大了线损计算的难度,不利于电网经济性考核指标的制定.因此.极限线损的计算方法与模型越来越引起重视.提出了一种基于半不变量的配电网极限线损计算模型,以实现含可再生能源配电网极限线损的快速计算.首先,分别依据潮流计算与统计...     

拖后工件数最少的单机随机调度问题

讨论了工件准备时间，加工时间和交货期都为随机变量的单机调度问题，文中对拖后工件采用了另一定义方法，在此基础上，对于（１）工件的加工时间和交货期分别可随机排序而准备时间独立同分布。（２０工件的准备时间和交货期可随机排序而加工时间独立同分布的情况给出了确定使拖后工件数最少的最优排序算法并对算法的最优笥进行了证明。     

基于随机Petri网可修控制系统的可用度计算

提出了一种基于随机Ｐｅｔｒｉ网的可修控制系统的稳态可用度的计算方法。该方法利用随机Ｐｅｔｒｉ网作工具来分析系统的状态变化关系，从而得出相应的Ｍａｒｋｏｖ链状态转移图，再利用由此得来的状态概率矩阵方程求解，计算较为简单。     

关于Birkhoff定理的一个注记

主要对非负矩阵理论中的一个著名的Ｂｉｒｋｈｏｆｆ定理的证明方法作了改进研究，给出了一种简单的证明方法。     

基于服务水平可靠性的连续交通网络设计模型与算法

传统路网设计很少同时考虑交通供需的随机性和服务水平可靠性对交通运行效率的影响,难以获得鲁棒性好、可靠度高的路网设计方案。针对此缺陷,假定路网中的交通需求服从对数正态分布,通过双层规划理论构建了考虑需求随机性及路网可靠性的连续均衡交通网络设计模型;其中上层规划是在满足投资预算的约束条件下使得系统期望的总阻抗最小,下层规划通过用户均衡交通分配模型来刻画出行者的路径选择行为。根据模型特点,设计了一种带罚函数的、基于蒙特卡洛仿真的多种群遗传求解算法;并用算例验证模型和算法的有效性。结果表明该模型能较好地解决交通供需的随机性和服务水平可靠性对交通运行效率的要求。     

随机利率下一种改进的几何型重置期权定价

通过将有效期内股价的几何平均值作为期权结算价格,创建了一种改进的几何型重置期权模型,当利率随机时,利用等价鞅方法,推导了该期权模型在OrnsteinUhlenback过程下的定价公式.     

面向MANETs按需路由协议的黑洞攻击解析改进模型

传统移动Ad Hoc网络(mobile Ad Hoc network,MANETs)黑洞攻击解析模型存在网络拓扑结构固定、网络传输性能预测精确度低的问题.针对使用按需路由协议的MANETs网络,提出一种基于随机拓扑近似技术的黑洞攻击解析改进模型(improved black hole attack analytical model,IBAAM).IBAAM协议使用随机模型代替传统解析模型使用的n元2立方体模型,并将网络结构扩展至随机拓扑结构,使用最短跳距离概率描述表示网络拓扑结构的随机拓扑信息,再使用K均值聚类法实现跳距离文件配置以求解任意拓扑结构下的攻击概率问题,从而在不利用任何实际拓扑先验信息条件下有效预测MANETs网络平均丢包数目.IBAAM实验结果表明,在多种不同固定Ad Hoc拓扑结构下,IBAAM的网络丢包预测精确度在仿真结果的95%置信区间内,能够有效预测网络传输性能.