带OCL约束的多态路径测试线索生成方法

统一建模语言(UML)无法精确描述系统模型,只能从某一层面描述系统信息,从而导致基于UML模型的多态测试不完备。为此,提出一种带OCL约束的多态路径测试线索生成方法。通过在类图中加入OCL约束信息,考虑类图中多态性对测试的影响,结合UML类图、状态图及协作图,设计并构造OCL约束下包含多态和状态信息的消息间受限控制流图(MRCFG),应用唯一MRCFG路径覆盖准则生成测试线索。通过建立原型工具自动生成包含多态信息的测试线索,从而证明该方法提高了测试的自动化程度,并且生成的多态测试线索更完备。     

计算机模拟技术在军事上的应用及发展探讨

自从计算机诞生以来,为我们的生活提供了很大的便利.而在计算机的基础上,计算机模拟技术得到了深远的发展,作为一种高效安全的方法它实现了对现实世界中众多对象的对模拟,方便人们观察和了解一些现实中无法看到和了解的现象.近些年来计算机模拟技术广泛的应用与军事领域,为军事的发展提供了无限的潜力与便利.     

汽车主动悬架自适应模糊PID控制研究

为改善汽车行驶平顺性,建立了简化的1/4车二自由度汽车主动悬架模型,提出了主动悬架自适应模糊PID控制方法。该方法中PID控制器以车身垂直速度的误差为控制参量,将车身垂直速度误差及误差变化率作为模糊控制器的输入变量,对PID控制器参数进行在线自调整。以C级路面白噪声随机信号为输入,利用MATLAB/Simulink对自适应模糊PID控制器进行了仿真,结果表明:自适应模糊PID在车身垂直速度、加速度及轮胎动载荷等控制方面明显优于被动悬架及传统PID控制,说明该法具有较好的控制效果和鲁棒性。     

硬支撑轮胎动平衡机的振动特性研究

对硬支承轮胎动平衡机的主轴系统及其他主要机械结构的振动特性进行了详细的理论分析和计算,并使用Pro/E软件进行实体建模,借助有限元仿真软件对模型主轴-轴承-基础系统等结构进行模态分析。通过激振实验,获得了可靠准确的实验数据,实验数据与计算分析数据具有较好的一致性,证明了所采用模型的正确性和可靠性。综合计算和实验结果可得,皮带结构对机械系统的振动特性影响较大,应重点考虑。同时提出优化和改进建议,为提高平衡机的测量精度提供参考。     

基于OWL-S过程模型的Web服务发现方法

现有Web服务发现方法未考虑过程行为的相关信息,导致所发现的服务不能较好地满足用户需求且查准率较低。针对该问题,提出一种基于OWL-S过程模型的Web服务发现方法。将OWL-S过程模型转化为过程图,根据两过程图的相似度,判断两服务过程的匹配程度。实验结果表明,该方法能准确地匹配两服务的过程模型,具有较高的执行效率和较好的匹配效果。     

基于UML交互概览图的测试线索的生成方法

针对单一UML模型测试不充分的问题,结合UML2.0交互概览图的特点开展测试方法研究,提出一种测试线索自动生成的方法。首先,给出UML类图、顺序图、交互概览图(OID)的形式化定义;通过提取交互概览图的流程信息和对象交互信息分别构造节点控制流图(NCFG)和消息序列图(MSD);将从MSD提取的消息路径嵌入到NCFG中,构造可测试交互概览图模型;最后采用两两覆盖准则生成测试线索。实验验证了该方法自动生成的测试线索在保证测试充分性的前提下可避免组合爆炸。