排序方式: 共有92条查询结果,搜索用时 312 毫秒
71.
72.
73.
74.
根据嵌入式火控软件的数据特点 ,设计了相应的划分测试原则。并以某型坦克火控软件的实验数据对比了划分测试与随机测试的覆盖率 ,总结出对于该类软件划分测试具有一定的优势 相似文献
75.
在部队军营,河南省温县籍战士常以故乡是司马懿故里和太极拳发源地而自豪。古代三国时期,司马父子与诸葛亮逐鹿争雄而威震天下;今天,温县太极神功艺惊武坛而名扬四海。1985年8月,古城西安举行的五大洲14个国家武术国 相似文献
76.
通过分析故障模拟算法的发展及其现状,在理论和对ISCAS实验的基础上,给出各种算法的复杂性分析结果,并比较了各种故障模拟方法的优劣。 相似文献
77.
提出了一种网络节点双机容错系统中的重构算法,详细叙述了重构时序和内存数据的一致性,并给出了算法流程。 相似文献
78.
提出了一种故障模拟方法——多故障信息标志的临界路径跟踪。虽然其基本概念类似于临界路径跟踪(CPT)和故障信息跟踪(FIT),但是这种方法能大大减少扇出源的分析数量,故障在FFR中的传播比CPT中更加有效。本算法已用C语言在386微机上实现,并给出了ISCAS’85的十个组合电路的实验结果。 相似文献
79.
提出了建立德育考核指标体系的基本依据和重要原则,明确了在考核过程中应把握的问题,使用计算机软件对德育考核指标体系进行了分析评估. 相似文献
80.
根据军内外计算机课程改革的形势,并结合新制定的“全军计算机课程教学基本要求”,提出了我院计算机课程改革的设想. 相似文献