【摘 要】
：
随着导弹作战流程复杂度和自动化程度的提升,基于模型的系统分析和测试技术已成为导弹武器系统作战流程测试验证技术的重要发展方向。通过对某型导弹武器系统作战过程信息流
论文部分内容阅读
随着导弹作战流程复杂度和自动化程度的提升,基于模型的系统分析和测试技术已成为导弹武器系统作战流程测试验证技术的重要发展方向。通过对某型导弹武器系统作战过程信息流程的梳理,建立了作战流程的Petri网模型,对系统的特性进行了分析,并基于Petri网模型的数学工具构造出了测试用例的自动生成算法。该算法能够将系统状态变迁的测试用例整理为符合导弹武器系统测试场景的测试序列集合,实现对系统状态变迁的完整性覆盖。
其他文献
中国古代思想家对贫富差别原因的分析较为全面，其中有些观点不乏理论深度。关于国家应对贫富差别的职能定位和缩小贫富差别的诉求，显示了文化理性和道德力量。历史上的富民主张
目的:了解广西地区异基因造血干细胞移植后患者的口腔黏膜健康状况,尤其是对慢性移植物抗宿主病(chronic graft-versus-host disease,cGVHD)的口腔表征进行深入分析。方法:调
"今年完成目标不成问题"随着减税降费政策的有序实施,减税降费效应不断释放。国家税务总局7月23日发布数据显示,今年上半年,全国累计新增减税降费11709亿元,其中减税10387亿
本论文致力于运用毛细管气相色谱单检测器切割反吹技术归一化法定量分析汽油、航空煤油和柴油等石油样品中的芳烃。 由于在FFAP毛细管预柱上芳烃在比高它三个碳数的烷烃之
在一个直流分布式电源系统中,各独立设计的电源模块或子系统之间的相互作用,可能导致整个系统的不稳定.在小信号的意义下,系统稳定性能通过测定阻抗比Zo/Zi来判断.在讨论已有
结合实际,针对建设工程监理企业人员培训工作进行了论述。
采用三柱一阀气相色谱系统单次进样、归一化法定量分析初馏至200℃的汽油(包括含有醇类、醚类的成品汽油)中的芳烃含量。具体操作:样品进入系统后分为两路,一路经过分析柱1(C
在发生突发事件利用应急车辆进行疏散和救援时,需根据时间延误确定车辆的最佳疏散路线。应急车辆在路段的走行时间依赖于路段上的车流量,且出发时刻不同,到达交叉口时对应着
<正>20世纪80年代以来,对教师角色的研究成为教师教育研究领域中一个备受关注的焦点。究其原因,一方面是由于教师教育在推进国家和社会进步的进程中起着越来越重要的作用;另
《文选》中的“难”“对问”“设论”,历来对其文体分类、特征及其文体来源众说纷纭、莫衷一是。《难蜀父老》“难”体具备先秦“语”体的特征,即对问的形式、有关国家政治的