基于场景的软构件自动化测试模型研究

随着软构件技术的快速发展,聚集软构件设计复杂软件系统的软件开发方法日趋成熟.如何利用系统架构和软构件的可靠性分析软件系统的可靠性成为一个亟待解决的问题.提出了一种基于场景的软构件自动化测试模型,给出基于统一建模语言UML的顺序图构造测试场景具体方法,并对基于UML顺序图构造测试场景方法的有效性进行了分析.     

构件软件的层次可靠性估计模型

可靠性是质量体系中最重要的特性之一,针对构件软件系统,利用相对独立的构件开发与系统开发的特点,从路径分析与基于运行剖面测试的思想出发,建立了分层的系统可靠性模型.模型可根据路径信息的层次和构件信息详细程度,调整到适当的粒度层次.并通过统计测试试验数据给出了模型的实例应用,同时提出了提高可靠性估计准确性的方法.     

考虑模糊信息时的机械可靠性设计及应用研究

通过将模糊可靠性设计转化为常规可靠性设计,给出了随机应力和模糊强度时用随机模拟方法模拟失效概率所需的基本公式,并研究了该方法在机械设计中的应用.     

深水库区施工专用工程浮箱的设计理论——综合设计法

以樟湖库区大桥深水桩基施工为工程背景,提出了一种适用于深水库区施工的专用工程浮箱的设计理论——综合设计法.综合设计法首先综合利用各领域规范,完成箱体构件设计;再利用有限元分析软件,对箱体在各工况下的变形、应力分布情况进行分析,验证设计是否合理;最后,将可靠性理论引入专用浮箱设计,通过可靠指标与失效概率之间的关系评价浮箱抵抗风险能力.文章有效解决了多功能浮箱无法满足深水桩基施工水上平台要求的难题.     

基于概率语言术语集可靠性度量的VIKOR决策方法

针对概率语言术语集(PLTS)的多属性决策问题,提出了一种基于PLTS可靠性度量的多属性决策方法.首先根据PLTS的内在特征,定义了新的犹豫度度量指标和可靠性度量函数;其次根据专家的原始评价信息的可靠性度量和专家评价意见的相似性度量确定了专家的属性权重;另外考虑到缺失概率的存在,提出了基于可靠性度量的归一化方法;进一步,将新定义的概率语言集的可靠性度量应用到VIKOR的多属性决策方法中,基于此得到综合评价矩阵;最后通过一个实例来验证该方法的实用性和有效性.     

燃气轮机保护与控制系统安全完整性等级分析

针对某燃气-蒸汽联合循环发电机组燃气轮机的保护与控制系统展开安全完整性等级分析,对了解机组状况、提高其安全稳定运行具有重要意义。首先,对该系统的组成模件在系统中的作用、冗余情况与通信连接方式进行分析。然后,对系统的失效类型进行定义,将失效划分为危险失效与安全失效两类。再次,根据冗余情况来区分系统中的各子模件与总线的1oo1结构、1oo2结构,并利用可靠性框图法与故障树法来建立可靠性模型。最后,通过危险失效率的计算分析得到系统的安全完整性等级。研究结果表明,该机组的燃气轮机保护与控制系统满足SIL1要求。研究成果对同类机组的安全完整性等级分析具有一定的参考价值。     

基于NF-QFD的构件选择方法

在利用构件进行软件开发时,用户的需求通常是模糊和不确定的.提出了基于非线性模糊质量功能展开(NF-QFD)的构件选择模型.该模型在考虑构件之间高内聚、低耦合的同时还兼顾用户需求最大化,通过该模型可以解决软件系统开发时构件选择的优化问题,为设计人员提供更多的决策支持.     

基于证据推理算法的网络安全评估

针对目前网络安全评估方法在同时处理各种类型信息时精度不高等问题，提出了一种新的基于证据推理算法的网络安全评估方法.首先选取指标建立多层次的网络安全评估框架.其次，通过专家知识确定各指标的权重、评估等级和参考值，并以证据推理算法融合出来的安全态势评估值为基础，确定最终网络安全评估等级.最后，通过实验验证了该方法可以得出一个合理的评估结果，具有可行性和有效性.     

基于ECC的增强型双因子身份认证系统的设计

身份验证是网络安全最重要的一道防线.首先介绍了椭圆曲线密码体制(ECC),讨论了静态口令和三种动态口令身份认证机制,然后探讨了指纹识别技术,并比较了它们的优缺点.在此基础上,提出了基于ECC的增强型双因子身份认证系统,设计了系统的软件体系结构,阐述了各模块的功能.双因子身份认证的目的是将动态口令和用ECC加密的指纹技术有机地结合起来,进一步增强客户端身份认证的强度.实践结果表明,该系统提高了身份认证的可靠性和安全性,并达到双重认证的效果.     

聚合物材料老化的随机过程模型

根据聚合物材料老化一般规律,用随机过程方法,得到描述老化过程的数学模型与寿命概率分布函数.并进一步讨论了聚合物材料由于老化引起的失效及进行可靠性分析的方法.     

软件系统序贯验后加权检验模型

本文用Bayes动态模型检验软件可靠性．模型失效间隔时间长度服从weibull分布；利用主观信息和客观信息逐步修正先验分布．利用Gibb方法计算后验样本，利用序贯验后加权检验系统的稳定性和失效率．最后在系统稳定的条件下，给出失效率的序贯验后加权的结尾检验的两类错误上界．     

基于ANSYS的平面框架结构位移可靠度分析

为研究框架结构位移可靠度,基于蒙特卡罗法和响应面法的基本原理,利用ANSYS有限元分析软件对一榀三跨十二层框架在水平荷载作用下进行了位移可靠度分析.计算结果表明,结构顶层最大水平位移利用蒙特卡罗法和响应面并结合蒙特卡罗法计算的失效概率较为接近;结构顶层最大水平位移的概率分布近似按极值I型分布;在设计过程中要注意截面尺寸对结构位移的影响.ANSYS分析结构可靠度速度较快,数据合理,可为复杂结构的可靠性分析提供参考.     

“再用式”软件开发方法

笔者根据当前软件开发的现状,提出了一种在保证当前开发质量及效率的前提下,还能让以后的软件开发人员重用已开发软件资源的“再用式”软件开发方法.该方法结合了面向对象及快速原型法的优点:针对软件开发中的需术多变性,用快速原型法进行需求分析,在后续的开发中,以面向对象为基础,用各种“级别”不同的可重用软部件组装系统,在对软部件不断的创建(只在没有所需部件时才创建)、重用及组合中完成系统的开发.这种方法可以有效地提高软件的整体开发效率.文中最后对该方法的进一步研究方向进行了探讨.     

两类三状态系统可靠度优化方法

研究以开路失效、短路失效作为失效模式,并由相同子系统串、并联组成的两类三状态系统模型.由定义得到系统可靠度的计算公式,进一步给出可靠度的优化方法,并验证了该方法的有效性.举例比较两类模型部件增加时,可靠度的变化趋势,得出结论:三状态系统部件组合,并联不一定优于串联:当子系统相同时,以子系统串联方式组建的三状态系统可靠度更强.     

基于构件/构架的雷达电源测试台软件框架设计

应用构件，构架技术来设计雷达电源测试台软件框架．介绍了软件的框架设计，并描述了框架中各组成部分的作用和相互关系．结果表明，构件，构架技术可有效地实现测试系统软件的重用。     

一种多任务实时软件可靠性模型

根据实时多任务软件的特征和各任务所占系统时间的非均匀分布，以任务模块为基本单元，提出一种实时任务软件可靠性评价模型。该模型所需参数易分析和计算，具有良好的可实现性和可扩充性，为实时多任务软件的可靠性评价开辟了一条新途径。     

阻尼器对高速铁路连续梁桥易损性的影响研究

中等跨径的预应混凝土连续梁广泛运用于高速铁路,以往震害及实验都表明该类桥型在地震下的破坏集中在桥墩和支座位置。为研究阻尼器对高速铁路连续梁桥地震易损性的影响,以某典型高速铁路连续梁桥为例,采用IDA方法,利用有限元软件OpenSees建立了地震易损性分析模型,定义四种破坏极限状态,并应用基于可靠度理论的概率解析易损性函数表达式获得地震易损性曲线,探讨阻尼器对桥梁地震易损性的影响。结果表明:设置阻尼器使桥梁受力更为合理,可进一步提高桥梁抗震性能。     

面向图文法的体系结构测试方法研究

针对目前体系结构描述语言对体系结构动态行为描述方面的不足而难以生成测试路径问题,提出一种基于超边图文法的软件体系结构测试技术,首先用超边图文法表示软件体系结构,同时用实体语言EL描述体系结构,然后根据EL描述导出接口互联图IIG,再根据测试覆盖准则,生成测试路径,最后以Client/Server为例验证该方法的有效性.     

基于虚构件的软件开发研究

对构件的软件工业化生产中的两个主要问题:构件模型和构件组装进行讨论.在总结了最具代表性的国内外构件模型的成功与不足之后,文中提出了一个改进的构件模型.在此基础上,为方便构件的检索和组装而提出了虚构件的概念,最后提出引入虚构件概念之后的软件开发模式.