【摘 要】
：
针对求解布尔差分要做大量的异或运算,特别是求解高阶布尔差分繁琐的问题,提出一种具有约束条件的布尔差分简化方法。通过对布尔差分算法进行剖析,得出所求测试应该使测试集
【基金项目】
：
黑龙江省教育厅基金资助项目（11533030）
论文部分内容阅读
针对求解布尔差分要做大量的异或运算,特别是求解高阶布尔差分繁琐的问题,提出一种具有约束条件的布尔差分简化方法。通过对布尔差分算法进行剖析,得出所求测试应该使测试集方程中的布尔函数f（X）随变量的改变而改变,由此可将差分方程表示成恒等式。为保证故障能向输出端传播,需要加入测试矢量生成的约束条件,所以该方法只需通过求解恒等式及约束条件来得到完全测试集。通过采用简化算法和未采用简化算法实例的比较,证明了简化方法的正确性和简化性,仿真验证了所求测试矢量可以检测出设定故障。
其他文献
1993年，我国公布了林业植物检疫领域的第一项国家标准《林木引种》和第一项林业行业标准《松材线虫病检疫技术》，拉开了我国林业植物检疫标准化工作的序幕。随后我国林业植物栓
文中就传统的沥青混合料和经消石灰改性的沥青混合料按永久变形和抗疲劳特征规定的基本工程特性来作评价。试验采用一种典型的路易斯安那州轻交通密级混合料，其结果表明掺加消
规模养殖业的发展，为推进现代化畜牧业注入了强大活力，但也给动物疫病防控也来了新的考验，笔者根据多年来进行规模化猪场的服务经验，对规模猪场的疫病防控工作提出4点建议，供大家
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
<正>在山间的小路上,缓缓地行来了几个路人,不远处传来汩汩的溪流声,山涧里飞泻的瀑布溅起的水珠形成了一层薄薄的雾气,为远处雄壮的山峦增添了几分神秘的色彩,不时从山谷中
压实是影响SAC25沥青混合料结构形成和使用性能的关键环节，为了更好地指导设计和施工，采用3种压实试验方法——标准马歇尔击实、大型马歇尔击实法和SGC旋转压实研究SAC25沥青混
目前对于大肠杆菌病的防治仍是使用各种抗生素，但随着抗生素应用的增多．耐药性问题越来越严重。因此．寻找对大肠杆菌敏感的药物至关重要。氟苯尼考是一种广谱抗菌药，与其它抗生素
针对太平大桥深孔桩桩底无法清除的碎石、河砂层、相应提出了压浆强方案，采用了一整套压浆补强工艺，在该桥初中中取得了预期的效果。
现如今,地铁的建设不但节省了道路路面的空间,还很好的缓解了城市的交通压力,来更好的为人们出行提供便利,全方位分析评价地铁风险,并合理划分其中所存在的风险,为风险管理提
教师自主发展是指具有教育主体性的教师在发展过程中,能够意识到自我发展的需求,具备自我发展的个人知识和个人能力,自觉、主动制定发展计划和调控策略,付诸行动并有效反思的