论文部分内容阅读
模型检测技术因其自动化程度高和简洁明了的特点在软件测试的发展中占据重要地位。本文以某型对抗靶标为例,通过一种模型检测技术的检测逻辑、逻辑语义和检测算法,对该系统的相关特性进行研究。通过这种方法,我们可以对系统的可靠性和正确性进行有效评估,提升了测试效率,为测试工作的进一步优化奠定了良好的基础。
基于模型检测的某型对抗靶标可靠性测试研究
【摘 要】
：
模型检测技术因其自动化程度高和简洁明了的特点在软件测试的发展中占据重要地位。本文以某型对抗靶标为例,通过一种模型检测技术的检测逻辑、逻辑语义和检测算法,对该系统的
【机 构】
：
南京模拟技术研究所
【出 处】
：
电子设计工程
【发表日期】
：
2019年17期
其他文献
普通高中高考复习一般都采用三轮复习法甚至四轮复习法。三轮复习法是被实践证明了的较为有效的高考复习方法，但它并不适用于艺术学校的学生。这是由艺术学校学生专业学习特点
加入WTO后，我国国际化进程不断加快，对新型国际化人才的需求急剧增加。而以培养一流国际化人才为使命的宁波诺丁汉大学则为我国培养具有国际化思维与视野的高层次人才提供了支
磷矿石中酸不溶物的检测方法主要有硼酸—王水重量法和王水重量法,但是2种方法的再现性都较差,难以满足国家标准或行业标准的质量要求。在比对试验的基础上,分析结果稳定性较
鲁迅是我国近现代历史上伟大的文学家、思想家、革命家。同时,他还是一位伟大的教育家。儿童的教育问题是鲁迅最关注的问题之一。他批判旧社会对儿童的摧残,主张要尊重儿童、
在'内容为王'的今天,作为一种城市广告,城市宣传片的创意不可或缺。首尔作为'韩流'的发源地和韩国古都,其宣传片在内容创意方面有许多值得借鉴的经验。通过
贝氏体钢轨辙叉具有高强、高韧、耐磨等良好综合力学性能,在铁路线上得到了广泛的推广应用。贝氏体钢辙叉的磨耗伤损随着线路的提速,其焊接性能对贝氏体钢轨的整体使用性能影
曹雪芹,是伟大小说《红楼梦》的作者,他的名字,已并列于世界伟大作家之林。曹雪芹,名露,字梦阮,号雪芹,又号芹溪、芹圃。祖籍今辽宁省辽阳市。①曹雪芹的上世有可靠史料证明
如何做好一个党报记者？尽管有很多要求,诸多答案,但有几点笔者认为是共性,那就是党报记者必须要有鲜明的党性,要具备较高的职业性,要有悲天悯人的＂人性＂。
采用NaOH处理对Si3N4粉体进行表面改性.通过改变反应温度、反应物料比等条件使NaOH与Si3N4表面基团充分反应.对比处理前后Si3N4粉体浆料粘度、浆料最大固含量、浆料Zeta值、
在中国戏曲史上,不同朝代有不同的演出体制.明清两代江浙一带的戏曲,包括杂剧或传奇,尤其是昆剧,主要是通过家乐和民间职业戏班实现演出的,其中家乐可说是昆剧最重要的演出形