改进的J-M模型及其在软件安全性评估中的应用

分析了软件可靠性和安全性之间的关系;针对安全软件测试剖面和操作剖面有不同的故障检测率,以及软件故障剔除时有引入新故障的可能,通过改变Jelinski-Moranda(J-M)可靠性模型相关假设及参数,提出了一个既能描述安全软件测试剖面与操作剖面不同,又能描述故障引入率的软件安全性评估模型;并给出了该安全性评估模型的性能度量.最后,对同一组铁路信号控制安全软件的失效数据进行分析,结果表明改进后的J-M评估模型比原J-M模型有着更好的拟合能力和预测能力.     

MDA框架中CIM业务流模型与PIM工作流模型的一致性验证

对平台无关模型(PIM)层次上的工作流模型进行细化操作，往往会造成计算无关模型(CIM)业务流与PIM工作流不一致的后果。对此，提出业务流模型与工作流模型的一致性验证方法。定义三种不同情形的细化，并利用扩展Petri网形式化描述每种细化的语义条件；设计语义一致性验证步骤；演示语义一致性验证的过程和结果。实验结果表明，该方法可有效地验证PIM工作流模型在细化过程中是否改变了系统的业务流，以及修改的程度。     

反应堆保护系统动态可靠性建模与分析

反应堆保护系统(RPS)是核电站最重要的安全设备之一。对该系统的可靠性评估一直备受关注。事件树和故障树等传统可靠性分析方法只能对反应堆保护系统进行静态分析,难以反映定期试验(PST)等检测和维修活动对系统可靠性的影响。动态分析方法中,马尔科夫模型一般适用于指数分布的情况,而反应堆保护系统的失效和维修过程,并不都服从指数分布。此外,很多模型都假设反应堆保护系统的各通道经过定期试验后都修复如新,这与实际情况也有差异。基于Petri网,建立了反应堆保护系统的动态可靠性模型,考虑了定期试验只维修故障通道的情况,描述了系统在不同状态之间的动态转换关系,计算了反应堆保护系统的瞬时可靠性。通过与理论值对比,验证了Petri网能很好地适用于反应堆保护系统的可靠性评估;并在假设反应堆保护系统失效过程服从不同分布的条件下,进行了可靠性分析。     

一种CPAV查不到的病毒分析

(1)表现特征及传染特性 当微机被这种病毒感染之后,只要在带毒的环境中操作过的所有目录下的.COM文件都加长848个字节。据此,我们称它为848病毒,当系统被848病毒感染之后,则在进行改变路径和有计算磁盘剩余空间的操作时,病毒就感染所有当前目录的.COM文件。而我们常用的DIR命令里是有计算磁盘剩余空间这一操作的,也就是说至少在用CD命令和DIR命令时就不可能逃过848病毒的感染。因此,该病毒的传染性是很强的。 (2)848病毒的发作条件及破坏性 发作条件为当系统日期大于12月20日时发作。当848病毒发作时,它破坏C盘和A盘的0面0道1到9扇区的全部数据。也就是说硬盘的分区表被毁,A盘的引导记录和一部分FAT表被毁。这样,硬盘和A盘上的所有数据就无法使用了。因此,这种病毒的破坏性是很大的。     

计算反射性ICAI模型

智能计算机辅助教学（ＩＣＡＩ）系统是一个综合多领域知识的复杂的知识系统．理想的ＩＣＡＩ应具有强的自适应性以实现个别化教育的目的．计算反射是指能因果关联地对自身进行处理的一种计算行为．本文从计算反射的基本思想出发，讨论了知识系统中计算反射的基本模型，进而推广到ＩＣＡＩ系统的设计中，提出了将教师实体和学生实体作为“自身”的反射性的ＩＣＡＩ系统的初步模型．各知识实体均由对象层和反射层组成，在不同层次上依赖不同的知识源完成不同性质的任务．     

DOSFGS中的语义子系统

分布式OS形式化生成系统模型(DOSFGS)主要由文法部分DOSFSG和语义子系统DOSFSS组成.其中DOSFSG采用了上下文无关文法(CFG)。DOSFSS则是一个带操作集的语义子系统,DOSFGS按照抽象、描述和细化三个步骤自动模拟生成用户所需的分布式OS。本文主要讨论其中的语义子系统DOSFSS的设计思想、操作集及其定义及基本工作流程等。     

基于反射技术的有性能约束特征的软件集成方法研究

软件集成是一种基于构件技术的软件复用实践．提出了一个基于反射技术，遵循传统CORBA规范、采用中间件技术和特有构件模型(具有性能约束的构件模型PCCM)的解决方案一基于反射技术有性能约束特征的软件集成．其特点是对传统软件集成方法进行扩充，引入反射技术，具体化性能约束的静态描述和集成中间件的性能约束动态机制，建立能够保障单一性能约束、组合性能约束的统一开放式模型．最后给出一个相应案例．     

硬/软件可靠性增长模型

在现有的描述计算机系统可靠性增长的模型当中,提出了一个描述硬/软件综合系统 可靠性增长的二维跳跃马氏链模型.该模型基于下面两个主要假设:1)在故障间隔期间内, 硬、软件的故障率均是常数,硬(软)件的故障率仅在每个硬(软)件的故障恢复点处发生跳 跃变化.2)同一时间发生多于一次故障的机会近乎为0.本文推导了系统各种可用度指标 的显式表达式,并给出计算复杂度的度量.为了降低应用时求解的复杂程度,在当前硬、软 件可靠性增长模型研究的基础上,提出了一种在工程应用中的简化计算方法.     

基于简化模型的T型微反应器设计

分析T型微反应器内流体混合程度和反应产物收率的常用方法:是建立计算流体动态模型,也就是CFD模型,可是这种模型不适用于微反应器的优化设计,因为利用CFD模型进行优化计算需要的大量的计算时间。本研究开发了一个描述T型微反应器流体流动状态的简化模型,通过假设边界条件和假设扩散系数的设定来计算微反应器内反应产物收率。其中假设边界条件用来描述强混合效果在反应通道入口处的流动状态,假设扩散系数用来描述混合效果在流动路径上的变化。本研究依据此简化模型,确立了一种优化设计方法:,用来设计具有最优尺寸的T型微反应器。优化问题的目标函数是最大反应产物收率,优化约束包括反应通道尺寸约束和操作压力约束。在求解过程中,首先建立尺寸约束边界条件下的CFD模型,然后依据CFD模型计算结果:,求解简化模型中的未知参数。将建好的简化模型作为优化问题的等式约束,最后求出最优的T型微反应器。简化模型和优化设计方法:的有效性通过一个快速平行串联反应在微反应器中的反应过程来验证。简化模型的优化设计结果:和CFD模型验证结果:高度一致。     

基于上下文的普适计算使用控制模型

目前普适计算中的访问控制绝大多数采用基于角色访问控制模型(RBAC);然而使用控制(UCON)模型具有可变性和持续性,更适合普适计算,但没有充分考虑上下文信息。在UCON模型中增加对上下文信息考虑的同时将义务和条件决策因素分为静态和动态,提出了基于上下文的普适计算使用控制(Con_UCON)模型,动态义务和条件作为使用过程中的决策因素;同时建立了模型的核心规则集,并给出了形式语言描述。该模型能满足普适计算环境中访问控制的需求。通过普适计算智能办公系统中的三个实例,证明此模型具有有效性、灵活性和安全性。