基于状态转换符的时序电路冗余状态变换设计

在分析了时序电路冗余状态基础上,提出了基于状态转换符的时序电路冗余状态变换设计,可以把时序电路在４ 变量以内产生的冗余状态故障自动变换为合法状态,从而避免了状态验证和测试生成等较为繁琐的步骤,可以方便地设计出各种给定状态的具有自启动能力的时序电路,简洁方便、设计效率高,尤为适应采用Ｍａｔｌａｂ 程序对各类同步时序电路进行分析、化简和设计,具有较为实际的应用价值     

基于状态转换图同构求解的等价性验证算法

文中提出了一种基于状态转换图同构求解的时序电路等价性验证算法.算法将两时序电路的等价性问题转化为验证相应状态转换图的同构性.首先将初始状态对匹配为待验证对,然后采用递归的方法验证以初始状态对的下一状态对为初始状态的子状态转换图是否同构,从而得到时序电路是否等价的信息.若两状态转换图同构,则两图中的状态均可--配对为待验证状态对,即所有的代验证状态对均为等价状态对.该方法可以有效地克服算法级描述到底层实现之间跨度太大的问题.     

同步时序电路设计中状态化简方法探讨

本文通过实例分析了同步时序电路设计中状态化简的过程,指出了隐含表化简法在实际应用中出现的问题,进而提出了相应的改进方法。     

用时序电路综合法设计微机接口

1 引言接口电路是建立微机和外部之间联系的电路。它一般由脉冲组合逻辑电路、时序电路、波形处理、信号隔离和电平变换等电路组成。本文以“MAT-1型40线流速自动测试仪”中使用的微机接口电路为例,叙述以时序电路综合法来设计接口电路的方法。     

基于连续逻辑的多值同步时序电路模块设计

本文对多值时序逻辑电路提出了一种新的设计思想:以连续逻辑中不同的逻辑电平来表示时序机状态集中的不同状态及其他参数集中的不同元素;以电容及其旁路MOS管代替触发器实现信号的暂存和抹除.由于取消了传统的以一个二进制码代表一种状态的方法,使设计过程大大简化,可以使用多值时序电路的通用模块.实现不同的时序函数只需改变模块中某几个接点,所以设计、制造和使用都很方便.     

异步时序电路的功能测试自动生成方法

异步时序电路的测试一直是一个比较困难的问题。该文通过在前人研究的基础上，提出了一种实用、高效的自动测试生成方法。该方法通过使用基于OBDD(有序二元判决图)的布尔特征函数的运算求解来确定电路的状态转换图，然后通过对转换图的强连通图的搜索运算简化状态转换图，最后使用图论的方法求出测试序列。     

未知时序电路状态图生成算法及状态间路径的递…

运用数字系统自动化设计的基本理论和技术，可采用逻辑反向设计法分析未各逻辑电路，本文为分析未知时序逻辑提出一个适合多状态，复杂同步时序电路的数据采集方法，并引入状态网络和基于状态网络的路径导出算法，使时序时机数据采集有较理想的时空开销。     

时序电路的状态测试研究

根据时序电路单固定故障所产生的状态变换特征 ,分析了基于单状态变换故障模型的测试问题 ,给出了测试序列的精简方法 ,最后简要分析了无复位时序电路的测试问题。     

时序电路状态覆盖向量的遗传方法筛选

传统的状态覆盖方法对电路的数据单元测试不足,而随机测试方法又具有盲目性．在综合2种方法的基础上,给出一种以状态与状态转换覆盖率为评估、以遗传筛选为工具对生成的测试向量进行择优选择的方法．为了指导测试生成,给出了动态状态转换与静态状态转换概念．同时,基于该方法给出一个测试生成工具GRTT．最后,将文中方法实验于ITC99-benchmark电路,并将实验结果与测试生成系统X-Pulling的结果进行比较．     

基于状态转换系统的Z语义模型扩充

利用状态转换系统对Z语义模型进行分析。指出其三种不足；然后利用状态转换系统、有限状态转换系统和时序状态转换系统。对Z语义模型分别进行多样性、有效性和时序性扩充，定义多种数据实现关系和时序实现关系，导出相应的求精关系；并通过一个简单的实例说明Z语义模型扩充在多视点需求工程中的应用．     

计算机网络冗余设计研究

介绍了网络规划中网络冗余设计用到的一些主要技术和各种协议,分析了网络冗余设计的重要性。     

一种基于冗余小波变换的快速运动估计算法

由于冗余小波变换克服了离散小波变换的移变性,在冗余小波域进行运动估计可以达到很好的效果,其缺点是算法的时间复杂度过高。在分析视频序列的运动特性和已有的运动估计算法的基础上,提出一种快速的基于冗余小波变换的运动估计算法。在冗余小波域提取潜在运动区域并对图像块的运动剧烈程度进行划分,在此基础上对不同类型的图像块采取不同的搜索策略,从而减少了运动估计中不必要的搜索。实验结果表明,该方法较经典的基于冗余小波变换的运动估计算法在时间复杂度方面具有优势。     

基于冗余Contourlet变换的图像相关法去噪

Contourlet变换是多尺度几何分析中十分重要的一种方法,可以实现灵活的多分辨、局部、多方向图像表示,但是由于不具有平移不变性,在图像去噪中易产生伪吉布斯现象,这里应用冗余Contourlet变换,具有平移不变性,且能有效表示图像几何纹理信息。在去噪应用中考虑分解系数的层间信息,将BivaShrink方法推广到冗余Contourlet变换中。实验结果表明,本文方法提高了去噪后图像的峰值信噪比(PSNR),同时有效保存了图像纹理信息,视觉效果更好。     

基于信息论的时序电路演化设计

时序电路由于存在反馈连接,因此是数字型演化硬件研究中的难点问题。为此,对时序电路的演化设计方法进行改进,提出一种针对时序电路演化的虚拟可重构平台,阐述在此平台上演化时序电路的方法。基于信息论改进电路的适应度评估方法,以目标函数和电路实测输出之间的信息熵设计适应度评估函数。实验结果表明,该方法具有较好的稳定性和全局寻优能力。     

卫星信息处理系统中基于FPGA的时序电路设计

本文卫星信息处理系统中基于FPGA的时序电路设计进行了研究,给出了系统构成,进行了软件设汁和硬件设计及系统实现工作,并认真分析了各种时序之间的关系,提出了利用复杂可编程逻辑器(CPLD)方法来提高单片机系统的集成化、智能化和可靠性,有效的压缩了占有空间,利用PC机实现了测试设备之间的信息连接。实验结果表叫：该系统研制是成功的,并且已被工程应用。     

基于VHDL描述的时序电路测试方法探析

借助软件测试思想。将基应用到行为级描述时序电路测试生成当中。对所生成测试矢量用门级时序电路故障模拟器来反映测试矢量对相应的门级电路故障检测能力。这对复杂的电路故障检测和测试生成提供了一种新的解决问题途径。     

基于单边沿触发器的双边沿时序电路设计

从同步时序电路的逻辑功能入手,介绍了基于单边沿触发器的双边沿同步时序电路设计方法,并引出脉冲倍频器,最后给出了基于单边沿触发器设计双边沿时序电路的方法。     

基于冗余离散小波变换的信号配准及分类

离散小波变换(Discrete wavelet transform, DWT)对输入信号的平移敏感,当输入信号间存在平移时, 基于DWT的信号分类会受到负面影响. 本文提出一种基于冗余离散小波变换(Redundant DWT, RDWT)的信号配准及分类方法, 克服了DWT的平移敏感性, 解决输入信号间存在平移变化的信号分类问题, 同时实现了信号配准以及平移不变小波系数提取. 对基准信号作离散小波变换. 对测试信号作冗余离散小波变换, 得到测试信号的平移所对应的DWT分解, 计算其同基准信号DWT分解之间的相似性, 根据相似性大小对该测试信号分类并确定其相对基准信号的平移量. 利用ECG (Electrocardiograph)信号的仿真实验证明了本文所提方法的有效性.     

基于状态分析的键盘管理软件设计

介绍一种基于状态分析的人机交互接口设计方法,提出运用状态分析法设计人机接口的几个关键步骤。运用此方法,可以很方便、快速地设计出各类人机交互接口。