负指数分布排错时间的软件可靠性模型

传统的软件可靠性模型大多假设排除错误的时间忽略不计,基于假设过于苛刻,影响了模型应用的范围和精度。因此在JM模型的基础上,提出了排错时间为负指数分布的软件可靠性模型及本模型的极大似然参数估计方法。通过用马尔可夫过程描述系统的状态,分析了模型的数值求解方法,并讨论了使用在本模型中的失效预测、剩余错误预测和等待排出的错误数预测公式。同时利用实际的工程数据对本模型的应用过程进行了验证。     

软件可靠性模型现状与研究

对近几十年中用于正确评估预测软件系统可靠性的主要模型进行了回顾性研究。对基于模型采用的数学工具,将文献中的模型分为解析性模型和启发性模型。再对于模型假设以及模型主要思想进行了研究和分析。最后对软件系统可靠性模型研究趋势和存在的问题进行了展望。     

MCS—51多机系统

本文给出了一种ＭＣＳ—５１多机系统的拓朴逻辑结构及实现方法．该系统的联接仅用一对双绞线，通讯口利用８０３１串行口加上ＭＣ１４８８、ＭＣ１４８９构成，故使于实现或时原有单机系统的扩展．文章分析了系统的拓朴结构和通讯协议．为证实文中提出的方法，介绍了实例“自动寄包柜系统”．     

Markov模型的软件可靠性测试充分性问题的研究

在分析现有Markov模型的软件可靠性的充分性判别的基础上,定义了严格转移概率的概念,提出了基于严格转移概率的测试充分性判别方法。将Markov模型转化为严格Markov模型,在每个边或者状态的差异计算时引入严格转移概率,对可达相异转移集中所有可达相异转移k的转移概率进行原转移概率对应计算后进行求和再平均运算,得到的结果作为每个边或者状态的差异值。实验表明严格测试充分性判别方法比非严格Markov模型方法更稳定、有效。     

三重化冗余多机系统心跳检测机制研究

以汽轮机三重化冗余危急跳闸系统为对象,研究了用于多主多从结构高可靠系统的心跳故障检测机制。采用PUSH模式结合PULL模式的心跳检测方法,减小了系统的误判率;针对三重化冗余系统的特点,结合不同控制器节点在系统中起的作用,将系统通信模式设定为多主多从结构。采用分级心跳检测机制和把心跳信息融入系统周期性传输数据中的方法,减少了故障检测的通信开销。仿真及实际应用结果证明了该方法的有效性和可靠性。     

分布式软件模块的相关性与软件可靠性模型

在一个分布式系统中，一个结点上的程序模块故障可能是该模块自身产生的，也可能是由与该模块通信的另一结点上的模块或文件的故障引起的。所以，软件故障可以通过程序模块和文件的相关集合来跟踪。基于上述特点，提出一种分布式软件的可靠性模型。     

论医疗事故罪的客体

目前,学界对医疗事故罪的客体认识不一,主要有五种观点。笔者根据犯罪客体的基本理论对此五种观点进行评析,指出存在的不足,认为医疗事故罪的客体应为复合客体,其主要客体为医疗单位医疗方面的公共卫生管理秩序（制度）,次要客体为就诊人的生命健康权。并在此基础上指出,只有从负有保障人民生命健康义务的医疗护理工作人员来界定此罪主体,才符合此罪客体所体现的立法精神。     

发展客体的地位与结构

［摘要］任何发展均表现为发展主体依据发展标准、创造发展客体并付出发展代价的一种价值建构过程,发展客体是生成、表征并规制发展性质、发展价值的一种客观历史性标志。科学合意的发展,既不是“发展主体”脱离发展客体的客观运行状态去膨胀主体需要之孤立性的自为发展,也不是“发展客体”脱离发展主体合理需要的牵引而自我设定、自我实现之单向性的自在发展。经济、政治、文化、社会和生态“五位一体”建设,是自觉回归人类生存发展所需要的发展客体之原生结构;“五位一体”建设的发展客体地位即从属、手段、工具地位,是保障人民群众的发展主体地位,防止各种“发展异化”的基本前提。     

XML技术在软件可靠性测试中的应用

软件的可靠性测试是保证软件质量的重要措施。应用XML保存软件可靠性测试中生成的测试用例,提出了XML测试用例模型,实现了XML测试用例文件生成器与测试引擎,用测试驱动程序来读取测试用例,驱动被测程序运行,自动比较测试结果。能够自动、高效地对软件接口进行测试,测试数据与测试驱动程序相分离,有利于测试数据的维护与重用,在实际应用中取得了很好的效果。     

关于犯罪客体的反思——兼谈犯罪客体要件的合理定位

传统刑法理论关于犯罪客体的解释有失严谨与科学,并且未能将犯罪客体与犯罪客体要件这两个截然不同的概念予以严格区分,以致得出“犯罪客体是犯罪构成要件”这一明显有悖逻辑的错误命题;同时,传统刑法理论对犯罪客体要件在犯罪构成中的定位也明显失当。犯罪客体与犯罪客体要件不容混淆。犯罪客体是我国刑法所保护而为犯罪所破坏的社会主义社会关系,不是犯罪成立以前就存在的一种事实情况,不具有犯罪构成要件的性能。而犯罪客体要件则是我国刑法所保护而为危害行为所破坏的社会主义社会关系,是犯罪成立以前的客观表现之一,具有犯罪构成要件的性能,属于犯罪客体要件的范畴     

基于任务模块的实时软件可靠性模型

根据实时多任软件的特征和各任务所占系统时间的非均匀分布，以任务模块为基本测试单元，提出一种实时多任务软件可靠性评价模型。由于任务周期、任务切换方式、切换频率以及任务故障率等基本参数易于分析和测试，因此该模型具有良好的可实现性和可扩充性，为实时多任务软件的可靠性评价开辟了一条新途径     

对某一两部件串联可修系统的可靠性分析

本文研究有1个修理工和1个修理专家的两部件串联可修系统。假定两部件各有两种故障形式,不同的故障形式对修理人员的需求也不同。利用向量Markov过程方法,我们得到系统可靠度、系统可用度、系统故障频度、系统更新频度和平均更新时间。     

基于三重冗余的ETS控制系统设计及可靠性评估

针对汽轮机安全保护系统的高可靠度和高安全度要求,提出了基于三重化冗余容错技术的危急跳闸系统(ETS)设计方案。系统从输入模块、传输总线、主控制器到输出模块均采用硬件三重化无耦合设计。通过通道内自监测和通道间互监测及同步策略实现系统的故障处理与隔离。通过设立输入、输出数据表决面及H型结构硬件表决器表决面,根据可预设的表决适应方案使系统实现了二次故障工作、三次故障安全,以较少的余度实现较高的容错能力。考虑可修复条件下建立了系统的马尔可夫可靠性模型,并进行了系统的可靠度和安全度分析。仿真结果验证了该系统具有很高的可靠性和安全性。通过现场调试和长时间通电实验,验证了系统满足汽轮机组安全保护装置的要求。     

具有图形界面的面向对象软件测试研究

软件工程的发展,使具有图形界面的面向对象软件开发方法越来越得到广泛的应用。分析了该类软件开发方法的固有特点及其在软件工程不断发展过程中衍生出的事件驱动、程序交互等新特点。针对每一特点,提出了基于该类软件测试的新思路,以适应软件复杂性的不断增加。     

试述多媒体教学软件评价指标体系的构建

多媒体技术在教学中的应用越来越普及,教学软件的实际应用问题已成为计算机辅助教学(CA I)深入发展所面临的一个重大问题。构建一套科学、客观、公正的多媒体教学软件评价指标体系已成为当务之急。本文试从国内外的多种评价指标中结合当今时代的特点构建出一套较为合理的指标体系,并将其量化以便于实际应用。     

基于任务链的实时多任务软件可靠性建模

提出了以实时多任务系统中的任务链为组件,任务链运行时间比例作为组件的权重系数,建立实时多任务软件的可靠性建模方法。该方法符合实时多任务系统应用软件运行的实时情况,拓展了实时系统可靠性建模的思路,其可靠性模型可以给出单个任务链的可靠性参数,且建模方法还可以根据不同任务链的重要程度,进行可靠性分配并决定软件测试和投放时间。