面向对象软件的测试

以软件工程中面向对象软件开发模式为参考,分别在面向对象分析,面向对象设计,面向对象编程的三个阶段中,依据各阶段的地位、作用、实现目标,具体阐述测试目的和应注意的测试点。依照传统的三个测试步骤:单元测试、集成测试、系统测试、借鉴传统测试方法有用的部分,提出有效的对面向对象软件进行测试的方法。结合传统的测试技术,针对面向对象技术新特性在测试中所引发的问题,提出一种测试模型。该模型简便、实用性强。     

基于膨胀图的SAT算法

命题公式的可满足性问题是理论计算机科学和人工智能中的著名问题,判断命题公式可满足性的一个直接办法就是穷举法,但该方法计算量大,因此高效实用的SAT算法设计与分析一直是计算机科学界的研究热点。膨胀图是具有良好连通性的稀疏图,已引起了科学家们的关注,并广泛应用于证明计算复杂性理论的结论。本文在膨胀图的基础上,利用膨胀图来诱导SAT算法搜索的随机步,提出了一种新的SAT算法。经证明:新的SAT算法能够降低随机算法对随机位的依赖程度。     

录像机鼓软件伺服模型及相关系数的确定

提出了用于录像机软件伺服控制系统设计的鼓伺服系统模型；针对这种模型计算和测试了所需要的参数，又提出了用计算机辅助设计和分析技术建立三维实体模型，快速准确计算磁鼓组件物理参数的新方法，确定出相关系数；并用实验验证了理论分析计算结果，最后建立了鼓电机的等效电路模型。     

试论面向对象的软件重用需求分析

在采用面向对象的技术进行软件开发过程中 ,对已有的且经过较好测试的软件部件进行重用 ,可以更好、更快、更方便地生产出软件产品 ,从而提高软件生产效率 ,降低成本和缩短生产周期 .本文对面向对象的软件重用需求分析的标准及模型进行了探讨 ,这有利于需求分析的标准化     

基于虚拟样机技术的铰接式车辆动力学建模

在ADAMS／View软件环境下，建立了某工程车辆多体动力学模型，提出了随机路面的建模方法，进行了不同车速和不同随机激励输入下的车辆平顺性评价虚拟试验．通过与相同实验条件下实车平顺性道路试验结果比较，验证了该模型在评价车辆平顺性方面具有较高的精度和可信度。     

面向对象技术在行波管CAD中的应用

应用面向对象技术设计基于客户／服务器模型的分布对象计算环境，采用完全的数据并行处理方式提高行波管CAD科学计算能力。系统具有良好的并行性和集成性，代码具有较强的可重用性。可扩展性和可维护性。文中给出了实现行波管泣波工作用科学可视化的体系结构和关键技术。     

疲劳裂纹扩展的数值模拟

本文基于弹塑性基本理论．针对理想弹塑性模型．随动强化模型．编制了弹塑性有限元程序，并成功地模拟了疲劳裂纹稳定扩展和超载延迟等实验现象．     

试 论面向对象软件的维护

用面向对象的方法开发软件已渐成潮流，人们也普遍认为面向对象软件的维护应不成问题，但事实却非如此，随着向向对象技术的广泛使用，面向对象软件不易维护（原因是维护者不类软件）的问题已赵来赵突出，本文人面向对象技术对软件维护影响的基础 ，探讨了面向对象软件的维护问题，并提出了解决的对策。     

齿轮范成原理CAI课件的设计

从齿轮齿廓共轭的特点出发，可用面向对象的编程软件VisualBasic6．0开发齿轮范成原理CAI课件。文章详细介绍了该课件的制作思路和编程流程，并对数据计算、存储、传输与图形绘制、动画生成之间的关系进行了适当分析。     

互模拟在理论和实践中的应用

互模拟是连接模态逻辑、计算机科学和集合论领域中许多重要理论的桥梁和纽带。可在扩展模态逻辑中证明一些结果,然后通过互模拟运用到过程理论中去;可以使用扩展模态公式描述不同的非良基集合的域;可以运用非良基集合来研究模态逻辑的可导出性。今天,互模拟因为各种目的广泛地应用在并行系统中;并行理论不仅仅与计算机科学有关,而且用在许多自然现象的模型化中;随着互模拟应用范围的扩大,如何把一个模型的随机部分反映到互模拟概念中去成了互模拟的一个研究方向;概率模型通常在几个应用领域被分析和定义;定义新颖的构造性的状态空间归约技术会大大提高概率模型检测效率,扩展概率模型检测范围。     

基于Delphi法的医院临床见习质量控制适用评价体系的建立与优化

本文根据教学论的方法和临床教学医院的实际情况，建立了一套对临床教学见习质量进行控制和综合评价的体系，采用Delphi法针对教学医院临床教学评价的多方面的指标进行多因子的筛选以及各因子之间的关系的描述和计算，采用图论中有向树的概念建立了数学模型，力图使计算简单且能得到较为完整、合理的评价结果。     

干线战术通信网的抗毁模型研究

介绍了抗毁通信网分析与设计的原理和方法、针对干线战术通信网中节点移动会导致网络拓扑结构发生变化的特点,提出了动态网络拓扑设计模型和衡量干线战术通信网的抗毁性能的数学模型—随机图模型和齐次随机图模型、计算机模拟结果验证了随机图模型和齐次随机图模型的正确性.     

基于复杂网络理论的客运专线网络可靠性分析

随着客运专线网络的逐渐完善,人们对其可靠性也提出了更高要求。利用复杂网络理论对客运专线网络的可靠性进行分析,有利于发现网络中的关键节点及薄弱环节,从而有针对性地对网络进行完善。基于复杂网络理论,建立客运专线网络模型,并计算该复杂网络模型的静态统计特征,包括度分布、聚类系数和平均路径长度,得出客运专线网络是典型的无标度复杂网络。分别在随机性攻击和选择性攻击两种模式下,从网络的全局效率和最大连通子图的相对大小两个指标,对客运专线网络的可靠性进行分析,得知客运专线网络对随机性攻击的抗破坏能力较强,而对选择性攻击     

加权有向图生成算法研究及其计算机实现

提出了加权有向图的生成算法及其在计算机中的实现，定义了加权有向关联矩阵，并据该矩阵解决了加权有向图的生成、绘制问题，从而为可视化教学提供了基础.     

故障诊断训练系统中人的能力评价

本文根据模糊图理论，提出了一种适用于人的故障诊断能力评价的双向模糊图模型，并以机床故障诊断为例，证明了该方法的有效性，说明其能够比较客观地反映出个人的能力水平，具有一定的实用价值．     

高校思想政治理论课课堂教学质量评价指标研究

科学有效地进行教学质量的评价是不断推进高校思想政治理论课教学质量提升的基本环节和重要途径。而设立教学质量评价指标是教学质量评价的核心与基础。设立教学质量评价指标,必须坚持以先进的教育教学理论及其评价理念为指导,注重针对性,教学过程的形成性与发展性,内容的精确性、易测性等基本原则;围绕教学指导思想、教学态度、教学内容、教学方法、教学效果和教学评价来进行。     

基于模糊集理论的软件质量评估研究

针对软件质量评估数据的模糊性问题,提出了基于模糊集理论实施评估的处理方案,改善传统评估方法中不精确性和复杂性的弊端,达到科学、客观、合理评估的目的;描述了模糊集理论解决现实世界模糊性问题的基本原理,并给出应用模糊逻辑与推理的多因子软件质量评估模型设计。针对模型的应用方法给出了一个软件质量评估实例,便于对多因子软件质量评估模型有更深的理解。     

基于布尔差分的数字逻辑电路故障诊断

讨论了数字系统的故障分析的内涵,阐述了故障的可测性定理,并以组合逻辑电路为例,介绍如何利用布尔差分法求解其全部测试码,给出了多重故障测试码的公式,说明了布尔差分法数字系统故障诊断的局限性。     

六西格玛软件过程度量模型的建立与实证分析

软件过程度量是软件过程管理的重要内容,也是进行软件过程控制和软件过程改进的基础。结合六西格玛DMAIC流程建立了软件过程度量模型,其中包括定义度量内容、采集度量数据、分析影响因素、改进影响因素、度量分析及决策。将软件度量过程与六西格玛改进相结合,充分利用六西格玛完善的体系结构和其改进方案流程,为软件流程改进提供更有效的解决方案。该度量模型不但为软件过程改进提供了具体的量化工具,而且为软件持续过程改进提供了理论支持。     

重载列车40 m简支钢板梁桥运营安全性分析

运用有限元方法建立了车辆模型（轴重23 t、25 t和30 t）和40 m简支钢板梁桥模型，利用基于模态叠加法的车桥耦合分析软件VBC2.0对车桥耦合振动进行了分析研究，以评定重载列车通过40 m简支钢板梁桥时的运营安全性。