VLMC控制流软件可靠性度量方法

针对现有软件可靠性模型普遍不适用于实际软件的问题,分析了软件内部模块间控制转移机理,通过分离入口模块,提取一阶控制转移概率矩阵;弱化内部模块与出口模块间差异,重构二阶以上转移概率矩阵,在改进Cheung模型的基础上建立一个更符合软件实际的可靠性度量模型。针对变阶依赖（ VLMC）控制转移导致的可靠性度量难问题,通过对导致复杂依赖的多入多出模块进行节点扩展,将VLMC控制流转化为Markov链,利用所建立的软件可靠性模型对VLMC控制流软件进行可靠性度量。研究利用演绎推理对所建立模型进行了正确性形式化证明。最后给出了方法的实例验证。     

运用模糊数学结合层次分析法对后勤管理决策进行定量分析

后勤管理决策的科学性、可靠性直接关系到后勤管理效果的好坏。由于后勤管理决策受决策人员个人经验和主观倾向影响较大,因此,为使后勤管理决策更加科学、可靠,根据决策评定的满意准则,运用模糊原理确定决策人员对后勤管理满意程度的隶属度,结合层次分析法确定各因素之间的相对权值,对后勤管理决策方案的满意程度进行定量计算,得出决策方案整体评价指标,辅助后勤管理人员进行后勤管理决策,从而使后勤管理决策更加科学、客观、可靠,提高后勤管理效益。     

Petri网的活跃性和非死锁性的判定算法及证明

用Petri网分析系统的逻辑特性时很重要的是分析它的活跃性、非死锁性及安全性。在此提出两个算法—Petri网深度优先算法和活跃性判定算法,并加以证明。     

在非高斯马尔可夫噪声中的Robust检测

文中探讨了在仅已知噪声边缘分布族和相关系数的条件下非高斯马尔可夫噪声中确知信号的Robust检测问题。设噪声样本可表示为一阶AR过程:n_i=ρn_(i-1)+Y_i,(i=1,2,…,N),其中Y_i为独立同分布的随机序列。当p较小时,以检测器效验为性能指标并对ρ取一级和二级近似,分别得到了对应的有记忆和无记忆Robust检测器的结构。     

人才结构系统分析的目标规划方法

本文把马尔可夫过程和目标规划结合起来,提出人才结构系统分析的单项控制和多项控制,并在单项控制模型的基础上发展成了多项控制模型,加强了模型的可信度和通用性。     

最小、最大广义最优停止规则的特征

设(X_n,F_n)_1~∞是适应的报酬序列,(γ_n)是相应的snell 包,(A_n)是(γ_n)的Doob-Meyer 分解中零初值的可料增过程。本文继J.Klass 的研究证明了σ_1=inf{K≥1:X_k≥γ_k}是最小半最优的且是最大严格正则的广义规则,而K_0=sup{n≥0:A_n=0}<∞是最大正则的广义规则,从而得出了广义最优规则唯一性的另一表述。     

基于模糊层次分析法的装备采购风险评价

针对装备采购风险评价中的目标模糊、难以精确化问题,综合运用模糊Delphi法,模糊数的排序理论和模糊语言变量决策方法,提出了装备采购项目风险评价的模糊层次分析法,较好地解决了传统层次分析法自身存在的问题及其评价过程中的模糊信息处理问题,算例分析结果证明了方法的合理性和有效性.     

多属性决策的战时集群装备维修保障需求优先级评估

集群装备维修保障需求优先级评估是战时集群装备维修保障决策的前提和基础.通过对集群装备维修保障需求的分析和量化,依据多属性决策理论和方法,建立了集群装备维修保障需求优先级评估的属性集和模型,把战损装备的客观信息与决策者的主观权重偏好信息有机集成,并通过示例介绍了集群装备抢修排序的求解过程.研究结果表明,该方法是可行有效的...     

三态部件的可靠性分析

本文给出完备的三态部件的可靠性模型类。从静态的观点来看,三态部件的可靠性模型有两类：（１）成功,降格成功,失败;（２）成功,双失败。从动态的观点来看,考虑到三个状态之间的转化关系,其模型类相对复杂;但是在失败率λ、维修率μ为常数的条件下,只需六个参数（λ１λ２λ３μ１μ２μ３）,便可以用马尔可夫模型给出三态部件的可靠性统一模型,并给出部件在三状态的概率函数Ｐｉ（ｔ）的解析表达式（ｔ为时间,ｉ表示状态）。     

基于隐马尔可夫模型的IDS程序行为异常检测

提出一种新的基于隐马尔可夫模型的程序行为异常检测方法,此方法利用系统调用序列,并基于隐马尔可夫模型来描述程序行为,根据程序行为模式的出现频率对其进行分类,并将行为模式类型同隐马尔可夫模型的状态联系在一起。由于各状态对应的观测值集合互不相交,模型训练中采用了运算量较小的序列匹配方法,与传统的Baum Welch算法相比,训练时间有较大幅度的降低。考虑到模型中状态的特殊含义以及程序行为的特点,将加窗平滑后的状态序列出现概率作为判决依据。实验表明,此方法具有很高的检测准确性,其检测效率也优于同类方法。