一种生成通用简约验证测试集U(P,W)矩阵的算法

来源 :华东船舶工业学院学报 | 被引量 : 0次 | 上传用户:htagsll
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
作者曾著文给出了构造U(p,w)矩阵的公式,一个U(p,w)矩阵含有特定的一组权在前文的基础上,本文讨论如何根据给出的权产生相应的全部矢量的算法。本算法比较简单,适用于二值逻辑和多值逻辑。
其他文献
分析了瓶颈资源、缓冲、生产周期之间的关系,以及目前各种用于确定约束资源的方法.针对生产过程中的不确定性因素,提出了一种利用Q-GERT(Queue-Graphic Evaluation and Revie
课堂提问的设计是否合理往往是上好一堂课的关键,这里就能够体现出教师对教材的整体把握和理解程度。课堂提问的次数并不与学生对知识的理解和接受成正比,可是在我们的教学中,往
尿道下裂是小儿泌尿生殖系统最常见的畸形之一,绝大多数患儿需要手术治疗。手术后在复苏和运送过程中,由于伤口的疼痛及患儿的不合作,使伤口敷料极易被污染。本科室针对男婴特点
目的:探讨极低出生体重儿早期微量胃肠喂养最佳间隔时间,提高喂养的耐受性。方法将70例极低出生体重儿随机分为3组,以1 m l为起始剂量,A组23例间隔6 h、B组23例间隔4 h、C组24例
目的:研究常用的护理技术操作分类分级的方法及应用于新护士技术培训的效果。方法运用Delphi法设计调查问卷,将临床常用的护理操作技术分类分级,并据此制订教学培训路径,与传统的
利用智能遗传算法实现冲击隔离系统的最优化设计.通过遗传算法搜索出隔离系统中最佳的作用力使得此隔离系统的性能达到其极限,即在受到冲击时位移响应最小.计算结果表明这种
采用CBR(Case Based Reasoning)技术,建立战例库,用于战术指挥中的智能辅助决策,并着重探讨了如何结合实际进行战例库的设计以及技术实现方法。
根据夹具的特征,在装配的基础上,运用Top-Down的产品设计方法和参数化技术,实现夹具设计到夹具零件的详细设计过程。在软件设计中,采用人机交互输入的方式,根据系统的约束进行产品
对热喷涂铜基合金涂层的耐空蚀性能进行了试验,探讨其实用的可行性和研究人蚀破坏机理。研究结果表明:氧乙炔火焰喷涂铜基合金涂层的耐空蚀性能较差,其原因与涂层的结构特性有关
针对烧碱生产中的手工作业问题,对以WG-1200Ⅱ离心机主体的蒸发分离工艺设备,进行了自动化改造,重点阐述了改造方案和控制方案,对以PLC为控制主体设备的硬软件实现方法以及技术要点进行了较