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

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

二值逻辑网络的三值模型

本文对Brzozowski时序电路三值模型提出改进。首先引入三值逻辑差;在新三值代数的基础上建立了任意网络的复数模型。最后,本文提出一个新算法,用此算法能完整地描述时序电路的过渡过程。     

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

在分析了时序电路冗余状态基础上,提出了基于状态转换符的时序电路冗余状态变换设计,可以把时序电路在４变量以内产生的冗余状态故障自动变换为合法状态,从而中免了状态验证和测试生成等较为繁琐的步骤,可以方便地设计出各种给定状态的具有自启动有力的时序电路。     

时序电路的状态测试研究

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

基于量子进化算法的时序电路测试生成

本文介绍将量子进化算法应用在时序电路测试生成的研究结果。结合时序电路的特点，本文将量子计算中的量子位和叠加态的概念引入传统的测试生成算法中，建立了时序电路的量子进化算法测试生成模型。在国际标准电路上的验证结果表明，与同类算法相比，该算法模型可获得较高的故障覆盖率和较小的测试矢量集。     

基于模型检查的VHDL到FSM的转换

随着计算机软硬件系统规模的日益复杂,如何保证系统的正确和可靠,逐渐成为当前理论界和产业界共同关心的重要问题.为此提出的诸多理论和方法中,模型检查以其简洁明了和自动化程度高而引人注目.提出了一个针时时序电路VHDL设计的模型检查的解决方案.讨论了该方案的系统结构,将VHDL设计转化为有限状态机模型的算法,以及针对同步时序电路设计的模型化简,可有效减少FSM的状态空间,继而可以采用符号模型检查算法对需要检查的性质进行验证.     

基于采样的POMDP近似算法

部分可观察马尔科夫决策过程（POMDP）是一种描述机器人在动态不确定环境下行动选择的问题模型。对于具有稀疏转移矩阵的POMDP问题模型,该文提出了一种求解该问题模型的快速近似算法。该算法首先利用QMDP算法产生的策略进行信念空间采样,并通过点迭代算法快速生成POMDP值函数,从而产生近似的最优行动选择策略。在相同的POMDP试验模型上,执行该算法产生的策略得到的回报值与执行其他近似算法产生的策略得到的回报值相当,但该算法计算速度快,它产生的策略表示向量集合小于现有其他近似算法产生的集合。因此,它比这些近似算法更适应于大规模的稀疏状态转移矩阵POMDP模型求解计算。     

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

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

产生时序电路测试的九—值电路模型

为了产生测试引进了九一值电路模型,此模型考虑了时序电路中的故障的多重和重复的影响。利用这个模型测试序列可以被确定,它允许时序电路的内部状态的多重和重复的虚设。因此有效的测试序列被导出,而其他熟知的过程像D—算法,虽然有测试存在却无法找到任何测试。 模型被定义且测试产生的过程被指出,它类似于D—算法。异步电路必须变换成同步电路或叠接组合电路,对这类电路测试被产生。因为冒险或振荡可以使测试变成无效所以异步电路测试序列的有效性必须通过测试模拟来确定。作为例子这模型被应用到一个异步电路中“常驻”一型的单故障和多故障,并且给出测试产生程序的总框图。     

基于混合蛙跳算法的时序电路测试生成

阐述了将混合蛙跳算法应用在时序电路自动测试生成的实现方法和结果;根据时序电路自身的结构特点,构造了测试生成的混合蛙跳表达方式,设计了自动测试生成离散混合蛙跳模型,通过群体中青蛙间的合作和竞争产生的群智能指导快速优化收敛;最后,根据国际标准时序电路进行了验证试验;结果表明,与同类算法相比,该算法获得了较小的测试集和较高的故障覆盖率。     

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

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

一种时序电路的测试生成算法

本文提出了一种高效的时序电路测试生成算法,该算法是建立在自适应算法的基础上,并使用了十七值逻辑模型。文章详细介绍了该测试算法的内容及其实现过程,并举例说明了该算法的测试效率。     

同步时序电路测试生成研究

本文分析了固定故障所反映出的状态变换特征，提出状态变换故障模型。基于无复位时序电路，详细研究了有复位的同步电路测试生成问题及在无复位电路中的应用。最后讨论了故障精简以及启发知识在测试过程中的应用。     

利用状态缓存的时序等价性验证算法

为了提高时序电路的等价性验证速度,提出一种改进的基于寄存器匹配的验证算法.除了利用原像计算避免误判之外,该算法还将可达状态和不可达状态引入到验证过程中.将仿真过程中从初始状态可以到达的状态记录为可达状态,将验证过程中确认不能从初始状态到达的状态记录为不可达状态,利用它们减少验证过程中的原像计算.基于mcnc91电路的实验数据表明,该算法有效地减少了验证时间.     

基于蚂蚁路径的时序电路故障诊断算法

提出了一种VLSI时序电路自动测试型生成(Automatic test pattern generation，ATPG)的新算法。传统ATPG算法采用局部状态转换图或收集门级电路的知识以及提取电路规则来解决时序电路ATPG的困难。本算法引入新的模型，着重解决了ATPG中的计算冗余问题。在蚂蚁路径模型的基础上，前向搜索得到了重建，故障点的前向传输和回溯归结到了单一路径之上．而该路径上可能分布着许多待测的故障点，从而改善了以往时序电路ATPG算法中搜索重复而导致的计算冗余问题，同时，最小测试向量的获取为数学定理所证明。最后在Benchmark电路上进行的与ILP算法的比较试验表明，本算法具备同样的故障覆盖率，且速度更快。     

产生功能级数字电路测试码的一种算法——主路径敏化法

本文提出了产生数字电路测试码的一种算法——主路径敏化法。这种算法适用于以功能块为基本单元的组合电路和时序电路。这个算法吸收了布尔差分法和D-算法的优点,把这两种方法统一起来并作了改进。根据这个算法编制的程序在实际使用中取得了比较满意的结果。     

模型参数失配有界下的扩展集员估计方法

在非线性模型参数失配下,直接采用滤波算法很难获到理想的估计状态.本文基于扩展集员估计方法,在状态估计中引入参数的不确定信息,提出一种参数失配有界下的状态估计方法.该方法应用区间或集合运算的法则,计算由参数失配引起的偏差范围,并将其用椭球集外包.在状态估计的预测步,通过该偏差椭球集与先验椭球区间的并运算,得到预测椭球区间;在状态估计的更新步,利用观测椭球集对预测椭球区间进行更新,从而得到后验椭球集合以及状态估计值.最后,在数值仿真和发酵模型中的仿真应用验证了算法的有效性.     

基于量测迭代更新集合卡尔曼滤波的机动目标跟踪算法

在机动目标跟踪中,用于模型辨识和状态估计的非线性滤波器的合理选择和优化是提升滤波精度的关键.融合量测迭代更新集合卡尔曼滤波和交互式多模型(interacting multiple models,IMM)方法,本文提出了基于量测迭代更新集合卡尔曼滤波的机动目标跟踪算法.通过迭代更新思想的引入构建了一种量测迭代更新下集合卡尔曼滤波的实现结构,并将其作为IMM的模型滤波器实现对于目标运动模式和状态的辨识与估计.针对算法结合过程中滤波精度和计算量的平衡,设计了用于输入交互环节的状态估计样本,同时简化输入交互环节和输出交互环节中滤波误差协方差矩阵的交互过程.理论分析和仿真结果验证了算法的可行性和有效性.     

不完备离散事件系统的当前状态不透明性

本文针对不完备系统模型,研究不完备离散事件系统的当前状态不透明性.根据系统的实际输出与预测输出之间的差异,构建了一个具有学习功能的学习诊断器.这种学习诊断器不仅能够模拟系统的状态转移,而且还可以将系统缺失的状态信息通过学习得到恢复.通过引入集合覆盖理论处理由学习诊断器得出的结果,提出了一种基于学习诊断器的不完备离散事件系统当前状态不透明性的验证算法.     

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

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