一种面向对象类级状态测试的形式化方法研究

面向对象的软件开发给测试带来了新的挑战,传统的测试技术不能直接用于面向对象的软件测试中,必须对其进行扩充和完善.类级测试是面向对象测试过程中的一个重要阶段,而类状态的测试是类级测试的核心.作者将扩充后的黑盒测试技术应用到类状态的测试过程中,可直接使用方法级的测试数据有效测试类中方法间的交互及其类状态的变化.最后,通过一个实例说明对类级状态的测试及其测试用例的生成.     

工作压力测试量表

1.你是否在工作日就餐时感到没食欲,嘴巴发苦?A经常B有时候C从来不2.你是否认为工作负担过重,感到难以承受?A经常B有时候c从来不3.你是否感觉缺乏工作自主性,大多是领导让做什么才做什么?A经常B有时候C从来不4.你是否觉得自己有太多工作,不能每件事情都做到尽善尽美?A经常B有时候c从来不     

个人修养重在“六平”

面对着物欲横流、竞争激烈的现代社会,不少人在对待生活、注重做人、把握心态、梦想事业、提升素质、选择方向时,难免困惑、不知所向,而"平"字的修养之道也许会给党员干部一些启发。平淡生活记宗旨。不少人都希望自己的人生能散发着耀眼的光环,能拥有一个富有温馨、生活惬意的家庭,或拥有一段惊天动地、功成     

支持广义多方案分析仿真的异地克隆研究

仿真克隆可以提高并行离散事件仿真的效率和并行性,方便快捷地对仿真中的多种可能性进行分析、比较和评估.给出广义多方案分析仿真概念,介绍仿真克隆的相关概念,分析当前仿真克隆方法的不足,提出提高广义多方案分析仿真整体运行效率的异地克隆概念.基于检查点与恢复方法,在动态并行仿真引擎中实现了异地克隆.利用Phold测试程序对异地克隆方法的效率进行测试,测试结果表明,异地克隆可以提高多方案分析仿真系统整体运行效率.     

自行火炮状态维修决策支持系统

针对现阶段自行火炮定期维修中存在问题,为了预防自行火炮的故障以及缩短维修时间,提高自行火炮维修的针对性和有效性,在自行火炮维修中引入了基于状态的维修(Condition Based Maintenance,CBM),从工程应用的角度出发,设计并开发了自行火炮状态维修决策支持系统(CBMDSS),明确了系统设计的目标,构建了系统的总体结构,详细阐述了系统实现的具体功能,应用Visual Studio.Net及Matlab相结合的程序开发语言开发了自行火炮状态维修决策支持系统,对自行火炮开展状态维修具有十分重要的使用价值。     

做好海上科研试验任务中的心理服务工作

做好海上科研试验任务中的心理服务工作,对于保持参试船员良好心理状态与较高的工作效率,维护其心理健康水平,确保海上科研试验任务的圆满完成,具有重要意义。一、重视海上科研试验船员心理素质的筛选和甄别,消除安全隐患。执行重大任务前,通常会安排     

伴随维修组维修模型聚合方法

面向装备维修保障系统的多分辨率建模问题,提出了一种装备维修模型的聚合方法,为装备维修保障系统模型的聚合研究提供了一种新的思路。该方法通过聚合故障输入和推理维修状态实现维修模型的聚合。最后通过基于MATLAB的仿真实验验证了该方法的可行性。通过实例验证可以看出,该方法缩短了仿真时间,减少了复杂系统底层建模的工作量。     

谈军代表与装备技术状态管理监督

针对我国装备技术状态管理的实际需要,讨论了装备技术状态管理的有关概念,重点讨论了军代表对装备技术状态管理的监督中应强调的具体工作,供参考。     

目标自动跟踪参数辨识模型的工程化动态辨识

为解决机动目标参数辨识模型工程应用问题,采用扩张状态观测器等先进的非线性滤波算法,从实测的含有观测噪声的目标位置数据的序列中,直接估计出机动目标运动的一阶、二阶、三阶导数,并结合目标运动模型辨识的理论算法,在工程应用上首次实现了机动目标运动模态和运动模型的双重动态辨识,完成了目标模型动态辨识的工程化设计.     

载梦翘首向蓝天--中国新支线飞机ARJ21进入全面试制阶段

新支线飞机项目是我们民族航空工业的争气项目,我们自己在实践中积累的能力和摸索的经验是最宝贵的,项目承载着实现国家战略的重要历史使命,是我国航空工业可持续发展的需要,也是发展大型