【摘 要】
：
摘 要 快速、高效是软件开发追逐的目标，集中体现软件复用思想的基于构件软件技术继面向对象技术后成为现今软件工程实践和研究的热点；软件所扮演的角色日趋关键，高效开发的同时更需要高可靠性的软件。论丈所关注的就是针对开发设计阶段的基于构件软件，采用FTA技术，考虑等概率条件下的软件运行剖面，进行面向软件运行的可靠性分析，试图为软件的设计和测试提供更具有实际意义的反馈和指导，进而增强软件的可靠性。文章
论文部分内容阅读
摘 要 快速、高效是软件开发追逐的目标，集中体现软件复用思想的基于构件软件技术继面向对象技术后成为现今软件工程实践和研究的热点；软件所扮演的角色日趋关键，高效开发的同时更需要高可靠性的软件。论丈所关注的就是针对开发设计阶段的基于构件软件，采用FTA技术，考虑等概率条件下的软件运行剖面，进行面向软件运行的可靠性分析，试图为软件的设计和测试提供更具有实际意义的反馈和指导，进而增强软件的可靠性。文章还介绍了基于这样的技术针对小型的基于构件软件进行的实证分析。
关键词 软件可靠性分析 故障树分析(FTA) 基于构件软件(CBS) 软件运行剖面
文章编号1002—8331—(2003)10—0118—03 文献标识码A 中图分类号TP311
其他文献
摘 要 软件开发的复杂性决定了理想的软件可靠性模型既应具有包容众多复杂因素的能力，又要有构造灵活的功能。迄今为止，人们提出的众多模型，由于设定了很多近乎苛刻的条件，使它们难以具有普适性。Bayes网提供了解决这一问题的有力工具，论文就利用多重马尔可夫Bayes网建立起基于Bayes网的软件失效预测模型，并对此进行了详细的分析，给出了模型的求解步骤。最后，通过实例验证了该模型的有效性。 关键词
摘 要 目前，软件Agent的研究已经在计算机科学的各个领域引起专家们的极大兴趣，同时给计算机辅助教育带来了无限的应用前景。文章首先讨论有关Agent的定义，进而提出了基于多Agent的智能网络教学系统的结构与实现模式，以供同行討论。 关键词 智能A9ent 多 Agent系统 网络教学 文章编号1002—8331—(2003)16—0169—03 文献标识码A 中图分类号TP3
摘 要 论文通过建立基于HLA(High Level Architecture)的网络通信机制，设计开发相关的联邦成员，实现了一种坦克训练模拟器视景子系统间的交互仿真方法。与DIS方法相比，HLA方法在互操作、可重用和可扩展方面具有很大的优越性，特别适合于庞大的分布式虚拟环境系统。 关键词 分布式虚拟环境 高层体系结构 协议数据单元 分布交互仿真 文章编号1002—8331—(20
摘 要 论文分析了电子政务系统对基础网络平台的需求特征，指出当前电子政务网络平台建设存在的问题，提出基于MPLS—VPN构筑电子政务系统网络平台的解决方法。 关键词 电子政务 网络平台 MPL3 VPN 文章编号1002—8331—(2003)10—0043—03 文献标识码A 中图分类号TP393
摘 要 提出了一种基于事件记录的塞拉门故障诊断方法，该方法在诊断知识数字化的基础上，结合知识检索技术实现了塞拉门故障诊断的计算机化，从而较好地解决了列车塞拉门系统检修工作中一直存在的故障部位查找困難和故障隐患难以排除的问题、应用该方法在塞拉门故障的现场诊断中获得了满意的效果。 关键词 事件记录 知识检索 故障诊断 塞拉门 文章编号1002—8331—(2003)16—0219—02
摘 要 论文研究了微束系统中的细胞图象识别技术。着重从提高图象质量出发，对图象识别的流程和影响图象质量的因素进行了介绍，详细讨论了几种图象识别技术，并给出了一种典型的图象识别的步骤。 关键词 图象识别 噪声 图象质量 滤波 统计值 文章编号1002—8331—(2003)10—0077—02 文献标识码A 中图分类号TP391．41
摘 要 论文介绍了Web挖掘的概念，指出了Web挖掘中存在的问题，给出了Web挖掘研究的三种分类：Web内容挖掘、Web结构挖掘、Web使用挖掘，针对每一种分类介绍了各自的研究对象、表示方法、处理方法、应用领域及最近的研究情况，同时展望了Web挖掘的未来研究方向。 关键词 数据挖掘 Web挖掘 Web内容挖掘 Web结构挖掘 Web使用挖掘 文章编号1002—8331—(2003
摘 要 论文讨论IDR的现状和发展，并在分析IBR方法的基础上提出一种改进的建模绘制方法：基于3D结构和图象的复杂场景建模绘制。即结合3D结构，整体应用三维实体，在某些结构复杂的细节处应用IBR技术，以达到真实绘制。 关键词 基于图象的绘制 3D结构模型 视图变形 文章编号1002—8331—(2003)10—0100—03 文献标识码A 中图分类号TP391
摘 要 论文根据防空部队人工决策指挥过程和功能模型，利用Petri网对其决策组织结构进行了研究探讨，并提出了一种复合式防空C3I决策组织结构的Petri网模型。 关键词 C3I\ 分布式 集中式 Petri网 文章编号1002—8331—(2003)10—0106—02 文献标识码A 中图分类号TP273
摘 要 仿真Testbench的设计是Top—Down流程中非常关键的一个环节，但是很多设计者却感到困难较大。实际上，verilog HDL有着较强的行为建模能力， 可以方便地写出更加高效、 简洁的行为模型。论文结合一个ATM测试平台的Testbench设计，讨论Testbench的结构和总线功能模型(BFM)，并对使用BFM模型进行Testbench设计的策略和方法进行了探讨，希望能对广