通用简约验证测试集U(p,w)矩阵的广义构造公式

来源 :计算机学报 | 被引量 : 0次 | 上传用户:zxhouxingzx
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文是在文献[1]的基础上进行的研究,通过将文献[1]的三条定理推广到多进制情况以及对多进制p中取i矢量矩阵生成关系图的研究,提出U(p,w)矩阵的广义构造公式,利用本文公式可直接生成多值逻辑电路在进行伪穷举测试时需要的通用简约验证测试集。
其他文献
1月6日结束的央行年度工作会议再次向市场传递出2009年将实施适度宽松货币政策的信号.作为最受市场关注的数据.其公布的广义货币供应量M2增速17%在意料之中。央行强调.要加强货币
苏卡斯(瑞士)调味技术有限公司为全球首家专业、专注于饲料甜味剂的研发、生产和销售的企业。紧紧围绕动物味觉生理研究进展,以甜味味觉为中心.结合其它味觉及嗅觉生理,研发而成针
目的对介入性B型超声显像诊断引导经皮腹腔穿刺治疗阑尾脓肿的探讨。方法选择9例临床症状典型的阑尾脓肿病例,采用B型超声显像诊断定位,引导用细针进行腹腔穿刺,抽出脓液,然
目的观察前列地尔(PGE1)对慢性心衰患者(CHF)血浆脑钠肽(BNP)的影响。方法慢性心衰患者82例,随机分为对照组41例和治疗组41例。治疗组在CHF常规治疗的基础上加用(PGE1)20ug/d,共14d,
采用固态发酵技术(Solid—substrate fermentation,SSF)生产的,含有植酸酶、淀粉酶和非淀粉多糖酶等的复合多酶制剂(特威宝SSF,奥特奇公司)已顺利投放市场.用于肉鸡生产养殖.以提高肉
低血钾症在临床中十分常见,轻型低钾血症症状较轻,而重型低钾血症往往症状较重,甚至致命。老年人的脏器呈萎缩状态,由于口渴中枢的敏感性降低,因此饮水量不多,轻微的原因即可
中共中央政治局常委、国务院总理温家宝1月1—2日在山东青岛考察时.鼓励广大干部群众在新的一年里坚定信心,迎难而上,共渡难关。
本文利用二次规划方法,讨论对神经网络训练样本的吸引半径的优化问题,并借用二交规划中的RPA算法求该优化解,得到一种新的神经网络基于规划的学习算法,其次,将规划学习算法与现有的几
为贯彻落实党中央、国务院一系列推进农业区域布局、加强农业基础建设、发展现代农业的工作部署,适应现代畜牧业发展的内在要求,根据《全国优势农产品区域布局规划(2008—2015年
本文讨论自反馈神经网络的学习问题,指出联想记忆的神经网络的学习可以化为某种规划(优化)的问题来解,于是可借用规划数学中发展得成熟的优化技术来解自反馈神经网络的学习问题,文