论文部分内容阅读
本文旨在解决伪穷举测试技术中的一个问题．文中通过递归方法产生一个描述二进制多维空间全部矢量的生成关系图．在研究该图性质的基础上，推导出构造最优通用简约验证测试集U(p，w)矩阵的一般公式．最后，给出一个GCLISP的应用程序．
构造通用简约验证测试集U（p，w）矩阵的一般公式与程序实现
【摘 要】
：
本文旨在解决伪穷举测试技术中的一个问题．文中通过递归方法产生一个描述二进制多维空间全部矢量的生成关系图．在研究该图性质的基础上，推导出构造最优通用简约验证测试集U(p，w)
【机 构】
：
镇江船舶学院
【出 处】
：
计算机学报
【发表日期】
：
1993年7期
其他文献
今后．北京市城8区将不再有畜禽养殖场。同时．北运河流域的700多家养殖场将进行搬迁和治理．4月16日．北京市农业局负责人表示．畜禽养殖场将逐步退出城8区．今后北京市还将对新建养殖场
1986年12月9日，沐浴着改革开放阳光而诞生的中国建筑卫生陶瓷协会，时至今日已满20周年了。20年来，中国建筑卫生陶瓷行业发生了举世瞩目的变化，从第一代创业者到第三代成就人，从国
根据农业部对全国470个集贸市场畜禽产品和饲料价格定点监测．2009年3月全国活猪平均价格11．63元／kg．环比下降8．4％。3月份猪粮比价为7．5：1．比2月份下降0．7个点。全国猪肉平均价格19．30元／k
脱霉素（NS）在多种动物身上均可对黄曲霉毒素引起的不良影响起到保护作用．因为其降低了黄曲霉毒素（AFs）在胃肠道中的生物利用。假定脱霉素可以安全地添加到人的日粮中，就可以减少人
2月22日．湖北省农业厅在武昌召开2009年全省饲料工作会议．并举行“饲料质量安全执法年行动”启动仪式。各市州饲料工作办公室主任参加了会议．省农业厅副厅长李昌桂同志到会作了
本文提出了一种新的CMOS电路开关级测试生成算法,该算法以Hayes模型为基础,以开关级代数为工具,充分利用CMOS电路自身的特点,生成CMOS电路的完全测试集,这种算法较之于已有的
采用分布式知识处理方法求解自然语言篇章理解问题是人工智能领域中重要的研究课题,本文论述一个面向篇章理解的分布式知识处理系统——DKPS/TH-2,首先介绍体系结构,然后详细
国家统计局消息．4月份。居民消费价格总水平同比下降1．5％。其中．城市下降1．7％，农村下降1．0％；食品价格下降1．3％．非食品价格下降1．5％：消费品价格下降1．5％，服务项目价格下降1．4％。从月环比看．居民消费
本文提出了一种基于信号冲突的可测试性测度SCTM.该测度主要针对SCOAP对扇出重汇聚等问题处理所存在的缺陷,着重考虑了扇出重汇聚在测试过程中可能导致的信号冲突.