论文部分内容阅读
综述了半行自动测试生成（ＡＴＰＧ）理论的发展情况，并对发展前景提出了几点看法。文章特别强调：研究一种能把被测电路实质性划小的方法是进一步提高并行ＡＴＰＧ效率的关键所在。
对并行测试生成理论的一点综述
【摘 要】
：
综述了半行自动测试生成（ＡＴＰＧ）理论的发展情况，并对发展前景提出了几点看法。文章特别强调：研究一种能把被测电路实质性划小的方法是进一步提高并行ＡＴＰＧ效率的关键所在。
【机 构】
：
国防科技大学计算机学院
【出 处】
：
桂林电子工业学院学报
【发表日期】
：
2000年4期
其他文献
城固职业中专创建于1986年，1991年首批进入陕西省重点职业高中行列，1997年由陕西省教育厅批准更名为城固县职业中等专业学校，1999年被国家教育箭确定为陕西省首批国家级重点职业
在一次高中思想政治课教学竞赛中，一个教师在给学生讲“企业”含义时，一个学生突然站起来问：“老师，市场上的面皮摊是不是企业？”这个老师显得有点紧张，做出这样的回答：也可以算是一
研究了Ｆｒｏｂｅｎｉｕｓ问题，对满足（ａ１，ａ２，…，ａｎ）＝１的正整数。ａ１，ａ２，…，ａｎ，（ｎ≥３），在ｘ１，ｘ２，…，ｘｎ皆为非负整数的条件下，用递推的方法解决了求最大的不可线性表示成ａ１ｘ１＋ａ２ｘ２＋…＋ａｎｘｎ的整数的问题。
目的分析产后盆底康复时间选择对尿失禁及盆底肌的影响,以供临床参考。方法随机选取2015年3月至2016年9月在自然分娩产妇112例纳入本研究,根据随机原则分组。对照组产妇于产
职高阶段物理课程属于高层次的基础教育，要求学生在职高物理课程中较系统地学习物理基础知识，并受到基本技能的训练，受到科学方法和科学思维的训练，受到科学态度和科学作风的熏陶。教学实践证明：充分发挥教师的主导作用，是提高职高物理教学质量的重要策略之一。 能否良好地掌握知识，取决于学生获取知识时的情感，态度，兴趣和学习习惯等。知识是客观存在的，学生是学习的主体，教师则在教学中起重要的主导作用：一方面控制
本文介绍了一种将频带利用率较高的调制方式与高效纠错编码结合的新技术,并且就具体的数字静态图象传输系统中给定的调制方式,对R=1/2的卷积码进行了探讨和实践,根据编码—映
据统计，建筑业的生产事故频率、灾害率要高于全国各行业的平均水平，每年建筑业生产事故伤亡人数占全国生产事故总伤亡人数的25％。频繁和严重的伤亡事故，给国家和人民群众的生命财