【摘 要】
：
针对数据激励生成器中定向激励和随机激励生成技术耗时长、跨平台使用时工作量大的问题,结合自主数据激励和响应数据激励2种激励产生方式,以内部逻辑自动机为核心,设计一种通
【基金项目】
：
国防基础科研计划项目“网络化嵌入式软件验证平台实现技术研究”(JCKY2016212B004)
论文部分内容阅读
针对数据激励生成器中定向激励和随机激励生成技术耗时长、跨平台使用时工作量大的问题,结合自主数据激励和响应数据激励2种激励产生方式,以内部逻辑自动机为核心,设计一种通用可配置的数据激励器。在战车导航设备上进行模拟验证,结果表明,该激励器具有较高的准确率和执行效率,其平均事件响应时间为0.493 ms,逻辑自动机平均形成时间为0.13 ms。
其他文献
小组合作学习已在国内外大学、中学、小学等各类学校的教学中广泛运用,其持有的教学理念和教学活动方式有别于传统的教学方式,突显了学生在教学中的主体地位,有利于激发学生
亨利·劳森是澳大利亚现实主义文学的鼻祖。作为澳大利亚19世纪伟大的现实主义小说家和诗人,劳森传统为一代优秀的澳大利亚作家继承和发扬,推动着澳大利亚民族文学的发展。他
为了降低加氢裂化装置的运行风险,辨识该装置存在的安全隐患,公司组织安排相关专业技术人员根据装置的情况对其开展危险与可操作性分析[1]（HAZOP）。应用中石化HSE风险矩阵方法,
随着石油工业的不断发展,石油造成的有机污染逐渐成为人们关注的焦点。辽河、大港、胜利三大油田在环渤海湾地区已有生产油田29个,其生产过程中的跑、冒、滴、漏等不利因素造
培养能解决职业工作岗位问题的技能型应用型人才是高等职业院校的学生培养目标,这种人才的培养须以学生的实训和顶岗实习等一系列实践教学环节为基础。目前,很多高职院校都在
导函数与原函数具有密不可分的关联性,同时又是两个完全不同的函数.本文给出导函数与原函数周期相同的一个充要条件.
目的 ：创新重症患者管理、查房和教学的模式,构建重症监护远程教学查房系统。方法 ：针对重症监护病房的特殊性及其要求,通过信息化手段,借助现代音视频传输技术和数字处理技术
实施生态护林员政策在推进生态扶贫工作方面具有十分重要的作用,本文收集资料的基础上,对生态护员政策的作用、实践进行分析,提出下步加强生态护林员政策落实的建议,助力全省
结合某型飞机机电管理系统自动测试研制项目,设计了一套机电管理系统自动测试系统,能够对多种机电管理系统进行全自动性能测试与故障诊断分析;介绍了自动测试系统的研究背景,
本研究采用改进的Lowry法对医用乳胶手套中水溶性蛋白质析出量进行了测定,并探讨了乳胶手套中水溶性蛋白质析出量与提取时间(2 h,4 h,8 h)的关系.统计学结果显示:2 h、4 h和8