【摘 要】
：
该论文主要研究的是对大中规模的可编程逻辑器件的解析问题.该论文在总结了前人的算法基础之上,利用图论中的基础理论,在进行数据采集的过程中,不按照常规方法生成有效状态的
论文部分内容阅读
该论文主要研究的是对大中规模的可编程逻辑器件的解析问题.该论文在总结了前人的算法基础之上,利用图论中的基础理论,在进行数据采集的过程中,不按照常规方法生成有效状态的强连通图,而是生成其强连通子图即生成其状态网络的思想.并且在此基础之上,引用一种基于环的方法来保存生成的状态网络,而非采用已有的存储图的常规数据结构,例如邻接表和邻接矩阵的方法来保存状态网络,采用这种方法和数据结构,大大降低了存储的需求.同时,基于此种保存环来生成状态网络的方法,该文还提出了一种路径的导出算法和状态驱动算法.采用这种算法可在程序设计中运用回溯和递归的方法来方便地实现状态间的驱动,从而最终用一种新的算法解决了未知时序电路的数据采集,为中大规模可编程逻辑器件的解析提供了可能性.除此以外,该论文还分析和介绍了可编程逻辑器件的解析原理、可解性以及可编程逻辑解析系统的硬件系统模型和软件系统模型及其相关的逻辑综合方面的内容.
其他文献
该文首先介绍了被测的通信网专家系统的结构和功能.其次,作为选择测试指标的参考依据以及作为进行实际测试的指导,在论文中介绍了软件产品和过程改进的国际标准ISO9000-3的思
该文以某种特定类型的防空C系统为对象,综合运用了包括面向对象技术、可视化技术在内的多种仿真技术,对该类CI系统进行了深入分析研究,并开发出用于该类CI系统的通用仿真平台
Ada语言是一种面向对象的语言,特别适合开发大型复杂的实时应用软件.GNAT是Ada应用最广泛的一种编译系统.目前,国外已经将实时操作系统和GNAT结合起来,建立了GNAT的实进应用
该文首先分析了多层客户/服务器结构、DCOM技术以及Internet的相关技术.并以此 为理论基础和实践依据,从分析设计目标、系统需求、规划和建设方案入手,提出了北京理工大学出
呼叫中心是集现代通信手段和计算机技术于一体的综合信息服务系统,利用现有的电话系统,为广大企业和用户提供全新的现代化服务。企业为了提供优质的服务,需要尽可能多的处理
该文针对CIMS建模过程中多视图模型的一致性问题,提出了一个面向对象的集成多视图建模方法--面向对象的IDEF方法(OIDEF).OIDEF方法选择了系统最重要的三个视图,即功能视图、
该文系统地介绍了目前信息安全保密技术的发展状况,详细解释关于信息安全的技术概念和常用的技术要点.该文以信息加密作为重点研究方向,阐述信息加密技术的基本方法,并在分析
该文详细介绍了一个上下文敏感的过程间指针分析算法,这一算法很好地解决了以上几个问题,这是迄今为止对指针分析算法的一个最完整阐述.其次,该文指针分析算法的完整性还体现
XML作为最新的Web标准,将会也正在对Web应用的发展产生巨大影响.规定了Web上数 据交换的标准形式,从而能使数据在Web上分布式处理.另外它不依赖于特定系统的描述方式,使它在
该论文来源于国家自然科学基金课题和ISN国家重点实验室开放研究课题"PPL技术在智能网业务生成中的应用".该文首先深入地研究了智能网业务生成技术和美国Excel通讯公司研制开