采用部分增强型扫描提高跳变时延故障覆盖率的触发器选择方法

选择关键的常规扫描触发器进行置换是采用部分增强型扫描时延测试方法的核心问题.通过定义常规扫描触发器和未检测跳变时延故障的相关度的概念及其计算方法,提出一种触发器选择方法.首先找到被测电路中采用捕获加载方法不可测,但采用增强型扫描可测的跳变时延故障;然后依据常规扫描触发器与这些故障的相关度把少量关键的常规扫描触发器替换成为增强型扫描单元,从而有效地提高电路中跳变时延故障被检测的概率.实验结果表明,采用文中方法在可以接受的硬件开销下能有效地提高被测电路中的跳变时延故障覆盖率.     

离散事件动态系统的状态补偿观测控制

在离散事件控制系统中,系统的信息结构由系统事件和系统状态构成。本文研究了具有混合信息结构的离散事件控制系统的分析与综合等问题。     

利用重叠扫描方法改进单片机乘法运算

目前微型机运算的速度成级数上升,加之数据运算的专门高速处理系统如ＤＳＰ的开发利用,使人们忽视了计算机基本运算的算法研究。然而在许多场合,如需要高精度运算的简易系统中,高速高精度的算法往往直到决定性作用;同时,好的算法在快速运算器件上的应用可以使其速度更快,而且对系统的设计提供了很大的帮助。因而本文在扫描运算的基础上,介绍了一种重叠扫描算法来提高单片机浮点多宇节算法运算的速度。     

基于扫描森林的BIST策略

在本文中,我们提出了一种改进的扫描森林结构并将其运用到基于扫描的自测试中,目的是在保证故障覆盖率的同时,将电路的扫描测试代价降低到非扫描可测试性设计的水平。为了构造这种适合于自测试(以下简称BIST)的改进的扫描森林结构,我们使用了三项技术：一种扫描触发器平衡分组策略、一种新的扫描树结构和一种新的扫描输入信号号处理办法。大量的实验结果表明,该方法与传统的基于扫描自测试方法相比,能获得更高的故障覆盖率。同时,改进的扫描森林结构相比于原始的扫描森林结构,能大幅度 减少集成电路芯片的面积开销。     

数字模拟集成触发器TCA785的主要功能及应用方法

系统地介绍了数字模拟集成触成器ＴＣＡ７８５的主要功能及应用方法，该触发器被应用到多个领域并取得了良好的效果。     

改进的部分可观Petri网系统在线故障诊断器设计

本文研究部分可观Petri网建模的离散事件系统的故障检测问题.针对现有的部分可观Petri网系统的在线故障诊断器存在故障诊断率较低的缺陷,本文提出了整数线性规划与广义互斥约束集成的部分可观Petri网系统在线故障诊断改进算法.假定部分可观Petri网系统的结构与初始标识为已知,故障被建模为不可观变迁.首先,算法需要观测接收事件序列,求解部分可观Petri网的整数线性规划问题,算法对系统的故障进行初步诊断.初步诊断为不确定诊断的情形,采用广义互斥约束的方法进行诊断.最后,通过离散事件系统实例分析,采用本文的算法,故障诊断率显著提高,验证了算法的有效性.     

一种利用触发器实现智能化数据库的方法

触发器是DBMS中提供的一种用来维护数据完整性的机制。文章提出了一种利用触发器机制实现智能化数据库的方法。该方法通过使用SQL语言进行编程,可以在数据库系统内对知识进行表示和存储并利用这些知识推理,从而实现数据库的智能化。     

连续计时离散事件系统监控及其可观性

本文提出了一种带有连续时间变量的离散事件系统(称为计时离散事件系统)结构模型.通过讨论计时语言的性质,如封闭性、可控性以及可观性,研究了计时离散事件系统的监控综合问题,并基于这些性质,分别提出了计时离散事件系统在完全可观与部分可观条件下监控器存在的充要条件.     

PHM需求下的系统级装备测试优化选择方法研究

PHM对于提高复杂装备任务成功性和战备完好性具有重要意义,测试与信息感知是实现PHM的基础.针对目前测试选择与布局主要面向故障诊断需求的问题,分析并定量描述了装备PHM需求下的故障可观性要求,建立了以故障可检测、可隔离和可预测为约束条件,以总测试费用为目标函数的测试优化选择模型,给出了基于布尔逻辑推理的测试优化选择方法.仿真案例验证了所提模型和方法的有效性.     

SQL Server中触发器的应用

触发器是一种特殊类型的存贮过程,它在插入、删除或修改特定表中数据时起作用,通过维持不同表中逻辑上相关数据的一致性,保持数据的相关完整性。本文讨论了SQLServer数据库中触发器的作用、实现和使用等问题。     

一种高效的系统扫描检测方法

系统扫描检测是网络入侵检测与预警系统的重要组成部分。传统基于统计的系统扫描方法具有阈值、时间窗口难以设定,而且难以检测隐蔽扫描等不足。该文提出一种基于TCP包头异常检测的系统扫描检测方法THAD。通过学习到达被保护主机的TCP包的端口(Port)和标记(Flag)的分布特征,THAD可计算出每个到达TCP包的异常值,并结合TCP协议本身的特征对检测方法进行优化。测试表明,THAD可以有效地检测包括慢扫描和隐蔽扫描等多种系统扫描行为,与已有多种检测方法相比,THAD显著提高了检测的准确性,并提高了检测的效率和实时性。     

扫描链故障确定性诊断向量生成算法

扫描技术是一种广泛采用的结构化可测试性设计方法,是提高测试质量的有效手段.但由于扫描链及其控制逻辑可能会占到整个芯片面积的30%,因此扫描链故障导致的失效可能会达到失效总数的50%.提出一种扫描链故障确定性诊断向量生成算法:首先建立了诊断扫描链故障的电路模型,利用该模型可以采用现有固定型故障测试生成工具产生扫描链诊断向量;然后提出一种故障响应分析方法,以有效地降低候选故障对的数量,从而在保障诊断质量的前提下减少诊断向量数目,缩短了诊断过程的时间.实验结果表明,在测试诊断精确度、故障分辨率和向量生成时间方面,该算法均优于已有的扫描链诊断向量生成方法.     

PartialRC: A Partial Recomputing Method for Efficient Fault Recovery on GPGPUs

GPGPUs are increasingly being used to as performance accelerators for HPC (High Performance Computing) applications in CPU/GPU heterogeneous computing systems, including TianHe-1A, the world’s fastest supercomputer in the TOP500 list, built at NUDT (National University of Defense Technology) last year. However, despite their performance advantages, GPGPUs do not provide built-in fault-tolerant mechanisms to offer reliability guarantees required by many HPC applications. By analyzing the SIMT (single-instruction, multiple-thread) characteristics of programs running on GPGPUs, we have developed PartialRC, a new checkpoint-based compiler-directed partial recomputing method, for achieving efficient fault recovery by leveraging the phenomenal computing power of GPGPUs. In this paper, we introduce our PartialRC method that recovers from errors detected in a code region by partially re-computing the region, describe a checkpoint-based faulttolerance framework developed on PartialRC, and discuss an implementation on the CUDA platform. Validation using a range of representative CUDA programs on NVIDIA GPGPUs against FullRC (a traditional full-recomputing Checkpoint-Rollback-Restart fault recovery method for CPUs) shows that PartialRC reduces significantly the fault recovery overheads incurred by FullRC, by 73.5% when errors occur earlier during execution and 74.6% when errors occur later on average. In addition, PartialRC also reduces error detection overheads incurred by FullRC during fault recovery while incurring negligible performance overheads when no fault happens.     

改进的用于模型降阶的最小信息损失方法

针对最小信息损失方法进行模型降阶时结果不唯一的问题,提出了改进的最小信息损失方法.本方法通过限制系统采用输出正规模型,将系统的能观性格兰姆矩阵限制为单位矩阵,从而使得系统的总信息损失达到最小.并且保证了降阶结果的唯一性.     

扩展相容性扫描树中的测试响应压缩器设计

在扫描树测试技术中,对相容单元扫描移入相同的测试向量值可以显著地减少测试应用时间,但会使测试需要的引脚数和测试响应数据量增大.为了减少扫描树测试结构需要的引脚数以及测试响应数据量,同时克服错误位扩散带来的困难,在异或网络的基础上,提出一种适用于扫描树结构的测试响应压缩器.该压缩器由扩散抑制电路和异或网络构成,通过抑制电路消除错误位扩散给测试响应压缩带来的困难.最后,用实验数据从性能上分析了该测试响应压缩器的适用性,对于ISCAS89标准电路,最高将输出压缩74倍,且没有混叠产生.     

复杂工业过程控制系统中操作变量与量测变量的选择

本文讨论复杂工业过程控制系统中操作变量与量测变量的选择问题。文中通过引入变量选择矩阵，给出了问题的一般数学表达，提出了具有物理，几何意义的三种能控测度，以观测度，并在此基础上给出了变量选择的有效方法及一般步骤。     

在部分观测环境下学习规划领域的派生谓词规则

文中提出了一种在部分观测环境下学习规划领域的派生谓词规则的方法。在规划领域描述语言（PDDL）中,派生谓词用来描述动作的非直接效果,是规划领域模型和搜索控制知识的重要组成部分。然而,对于大多数规划领域而言,从无到有地构造派生谓词规则是不容易的。因此,研究自动获取派生谓词的推导规则是有意义的。已有研究工作提出通过修订一个初始的不完备的领域理论来获取推导规则的方法,但是它们的主要缺点在于待学习谓词的训练例的数量非常少,这是因为训练例按照非常有限的方式来生成。而更本质的原因在于它们假设环境是不可观测的。其实,在现实生活中很多动作的非直接效果是可以观测的,或者通过简单的目测或者通过专门的工具。因此文中提出增加观测来反映动作的非直接效果,以便增加待学习谓词的训练例数目从而改善学习的精准度。此外,为了补充一些在归纳学习过程中学习不到的谓词,文中还提出了一个后处理方法来使得学习到的规则在语义上更完整。通过在派生谓词基准领域上的实验表明,文中所提出的方法是可行有效的。更深远的意义在于,文中的研究工作有利于规划领域的自动建模或者控制知识的自动获取的研究与实现。     

采用独立复位信号的同步时序电路可测试性设计

针对同步时序电路提出一种结合了插入可观测点的部分复位方法,该方法是基于迭代计算的电路状态信息和冲突分析测度而提出的．根据基于电路状态信息的测度和冲突分析所选择出来的部分复位触发器,可以割断电路中的关键回路,使得电路容易被初始化．同时减少在时序ATPG中的潜在冲突．以前的部分复位方法中,部分复位的触发器不能由独立的复位信号所控制,这也是不能彻底改善可测试性的一个重要原因．当部分复位触发器可以由独立的复位信号所控制时,电路的可测试性会显著提高．该文提出了一种新的可测试性结构来设计部分复位触发器,该方法同时减小了在管脚、延时和面积的开销。     

一种改进的H∞回路成形权重函数优化选取方法

在介绍和分析H∞回路成形基本设计方法的基础上，针对权重函数选取需要反复迭代、过程繁琐、所得控制器难以同时满足时域和频域性能指标等问题，提出了一种基于工程设计、辅以混沌优化理论的权重函数选取方法．与常规的权重函数选取方法相比，该方法能够减少权重函数选取时迭代的次数，保证控制器的综合性能．仿真研究表明，利用该选取方法设计控制器简单易行，且控制器的性能能够更好地满足设计要求．