【摘 要】
:
针对武器装备在总装测试中出现的接口时序不匹配,现有测试方法不能实现长期连续自动测试的问题,提出基于层次有向图的时序一致性测试方法。该方法首先通过建立接口时序的层次
【机 构】
:
北京理工大学机电学院,北京航天控制仪器研究所,北京宇航系统工程研究所
论文部分内容阅读
针对武器装备在总装测试中出现的接口时序不匹配,现有测试方法不能实现长期连续自动测试的问题,提出基于层次有向图的时序一致性测试方法。该方法首先通过建立接口时序的层次有向图模型实现标准时序描述,然后利用错误检测算法实现异常时序的检测和定位。实验结果表明,该方法能够对通信周期内单个逻辑性错误的异常时序实现准确检测,对不收敛的异常时序能实现完全检测,适用于单个错误的异常时序检测。
其他文献
摘要:随着社会主义现代化进程的加快,我国经济发展方式面临着重大转变,人们的生活越来越向精神追求转变。在此背景 下,研究探讨鞍山市南沙河流域蕴含着丰富的旅游资源和深远
为了研究中大口径火炮弹丸在外弹道飞行时弹道炸由引信旋松引起的可能性问题,应用FLUENT软件仿真与理论分析,得到了76 mm口径舰炮弹丸在外弹道上飞行时在空气动力作用下引信
要想促进高校思想政治理论课程价值的发挥,加强其实践教学是其重要的教学手段和教学举措。加强高校思想政治理 论课实践教学活动的发展,已经成为当下相关教育机构和高校教育
根据施工电梯工作需要,采用自动折叠门和自动翻转门相结合的方法,对现有的人工手动开门的施工电梯改造升级。采用伺服电机丝杠驱动、滑块连杆同步开合以及折叠门防坠落设计的
摘要: 随着科学技术的不断提高,社会的不断进步,知识经济时代已经到来。现代化信息技术背景下的智能制造的形成,有 效地解决了,企业在人力资源管理建设过程中存在的用人误区,
摘要: 随着我国经济实力不断提升、对外开放的水平不断加强,进一步完善我国外商投资中国家安全审查制度日益迫切。加 之《外商投资法》的正式生效,以此为契机,健全外商投资审
伴随着现代企业改革的不断深入,核算会计逐渐转型为管理会计,其转型的主要原因是传统核算会计职能的局限性, 也存在核算会计设计知识技能不足的问题。面对当下复杂的社会环境
英语作为九年义务的基础课程,为了适应经济全球化、国际化脚步的进程加快、人与人之间有共同语言而设立。中小 学是英语学习的最佳时期,小学处于学习英语的初期,将英语基础砸
随着设计性能要求和装备制造能力的不断提升,机械制造行业中多轴联动设备的应用越来越广泛。后置处理程序对充分发挥设备性能具有重要作用,因此基于DMU 160P五轴联动机床,分
实际生产中,圆片形是一种较为常见的零件成型形状。通常不同尺寸或不同材料的零件采用大批量生产,并在产线的末端采取分选和分类包装。由于传统的振动式分选机构的筛选效率低