基于概率转移矩阵的电路可靠性并行计算方法

随着电路集成度的提高,软差错已经成为影响可靠性的关键因素.概率转移矩阵是一种用于估计软差错对电路影响的有效方法,它通过对门级电路建立概率模型来计算电路的可靠性.本文基于概率转移矩阵研究计算电路可靠性的并行方法,提出了一种电路分割算法,在对电路进行划分后,并行地计算各个模块的概率转移矩阵,再合成对应于整个电路的概率转移矩阵.其中,引入了代数决策图压缩矩阵存储空间.初步的实验结果表明,该并行算法可以有效地减少21.46%的平均时间开销.     

基于差错传播概率矩阵的时序电路软错误可靠性评估

在深亚微米及纳米级集成电路设计过程中,电路的可靠性评估是非常重要的一个环节.该文提出了一种基于差错传播概率矩阵(Error Propagation Probability Matrix,EPPM)的时序电路软错误可靠性评估方法,即先将逻辑门和触发器在当前时钟周期对差错的传播概率用4种EPPM表示,再利用自定义的矩阵并积运算计算多周期情况下的差错传播概率,最后结合二项分布的特点计算时序电路的可靠度.用ISCAS' 89基准电路为对象进行实验,结果表明所提方法是准确和有效的.     

用于电路级仿真软故障注入的自动化方法

为了克服电路级仿真故障注入评估软错误敏感性时烦琐费时的缺陷,提出一种将注入过程自动化的方法.使用LL(k)语法分析技术自动解析Spice网表,以自动提取故障注入目标的信息;由程序将网表自动展平,克服了多次例化的子电路无法注入单故障的问题;通过对展平后网表的遍历而自动插入表征软错误的电流源;开发了一个电路级软错误注入器HSECT-SPI,并针对ISCAS'85和ISCAS'89 Benchmark电路进行了故障注入实验,结果表明:文中方法适于自动分析单元和模块电路的软错误敏感性,并可指导高可靠集成电路的设计.     

高层次时序电路可靠度估计方法研究进展

时序电路的可靠性问题日益成为人们关注的焦点。讨论高层次时序电路的可靠性评估方法,重点研究分析了贝叶斯可靠性分析方法、多阶段可靠性分析方法和基于概率转移矩阵的时序电路可靠性分析方法。以ISCAS 89基准电路为实验对象,选择几种典型的高层次时序电路可靠性评估方法进行实验和分析。研究结果和实验结果表明,电路的抽象级别越高,评估方法所获得结果的准确性就越低,评估时间开销越小;同一抽象层次上,不同类型的方法相比,仿真模拟方法的准确性高但时间开销大,解析方法省时但准确性较低。     

基于看门狗的星载计算机五级保护系统设计

小卫星要求星载计算机可靠性高、重量轻、体积小、功耗低。针对探测小卫星（ Ｓ Ｅ Ｓ） 的特殊性,我们设计了用８０３８６ 芯片作处理器的星载计算机（ Ｓ Ｃ Ｓ） 系统。由于 Ｓ Ｃ Ｓ 的设计尽量少用硬件冗余,我们采用多级看门狗电路保证星载系统的可靠性,看门狗也用最少的硬件及软件实现。看门狗提供了五级保护措施,根据故障严重程度,保护级别逐步升级。在处理器或存储器出现软、硬件故障后,包括出现单粒子翻转（ Ｓ Ｅ Ｕ） 或死锁现象后,不同看门狗启动不同保护措施,使系统恢复正常。     

片上系统设计中的事务级建模方法

本文论述了片上系统设计与验证中存在的一些问题,如系统架构探索与评估、软硬件协同仿真等,介绍了用来解决这些问题的可执行规格、可执行平台、多抽象层次混合建模与验证等较新的观念和方法,最后着重介绍了基于软硬件统一的建模语言SystemC的事务级建模方法。     

单向信道的信息可靠传输机制研究

提出了两级FEC的机制来解决单向信道的信息可靠传输的问题。数据包级FEC（第一级）通过添加冗余数据包来恢复传输过程中数据包的丢失。比特级FEC（第二级）通过添加冗余比特来纠正数据在传输过程中比特差错。鉴于包头信息是数据包级FEC的关键,提出数据包包头FEC机制来尽量保证包头信息的正确。提出的方案能很好地恢复丢失的数据包,特别是连续数据包的丢失,能很好地纠正比特差错。     

VxWorks操作系统板级支持包的设计与实现

用于工业过程控制、通信和航天器上的嵌入式计算机对软、硬件的可靠性要求极高，对于软件较为复杂的嵌入式计算机系统，必须采用高可靠的实时多任务操作系统，处于操作系统和硬件之间的板级支持（BSP Board Support Packge)的设计是一个复杂的过程，该文介绍了基于VxWorks操作系统的板级支持包以及板级支持包设计、调试中的问题。     

SoC体系结构中AMBA总线的系统级设计

建立系统级模型在SoC体系结构设计过程中的意义。AMBA片上总线和它的时序及基于AMBA的SoC体系结构。简要说明了SoC系统级设计中的各抽象层次模型和建模语言Sys-temC。并以AMBA系统总线AHB为例,介绍了如何使用SystemC建立其非时序模型的方法。     

基于TLM2.0的SPARC事务级建模

为提高可扩展处理器体系结构(SPARC)的设计抽象层次和仿真速度,设计一种符合第8版SPARC(SPARC V8)的事务级模型。该模型基于TLM2.0标准,采用解释型指令集仿真方法实现程序执行。通过构建验证环境,证明该事务级模型能够正确运行并跟踪SPARC V8程序,仿真速度比寄存器传输级提高2个数量级。     

二维码识读机具后台通讯处理软件的设计与实现

本文在定义四层协议模型(硬件层、数据链路层、传输层和应用层)的基础上，讨论了基于Windows 9x／NT/2000平台的二维码识读机具后台通信处理软件QuickSet的基本设计思路及其实现方法，为二维码识读机具的软件设置方法提供了通用的标准，简化了设计工作。     

智能移动机器人的一种体系结构

本文介绍了智能移动机器人的一种体系结构,介绍了智能级、协调级和执行级的组成和功能.     

常见浮选液位测量装置的分析及对比

为了解决浮选控制过程中的液位计选型问题,从现场应用出发,分析对比了常用的浮力式液位计、激光液位计、静压液位计、超声波液位计等浮选液位测量装置的基本结构、工作原理及现场应用情况。分析认为因传感器性能、附属装置稳定性、测量介质等不同,各测量装置均有优缺点,实际应用时应综合考虑现场浮选生产过程具体情况、维修条件、装置性能、安装使用费用等因素,选择合适的浮选液位测量装置。     

浅析锅炉水包数学模型及控制方法

锅炉汽包水位是现代电厂锅炉安全运行的重要监控参数。本文在综合分析了以往汽包蒸发区数学模型的基础上,针对锅炉蒸发区的特点,依据质量和能量平衡,建立了汽包水位非稳态数学模型,并提出了水位控制的方法,对汽包锅炉的安全运行和控制具有参考意义。     

浅析人机交互图形化界面的情感化设计

本文从阐明了在界面设计中情感因素的重要性,并从情感认知的三个水平层次入手分析论证了界面的情感化设计。     

高精度系列水(闸)位计的研制与应用

在天津市引滦工程的输水管理研究工作中发现,国内常用的水位、闸位计测量精度虽满足水文测验技术规程的要求,但用于引水工程的水量计量时精度不够,为解决此问题研制了功能齐全、精度较高的SW-2000系列水位、闸位计,应用效果良好,经济效益显著,推广前景广阔。     

车联网安全综述

随着移动互联网和工业智能化的快速发展,以智能网联汽车为中心的车联网逐渐深入人们的生活,在为出行带来便利的同时也暴露出车辆被远程控制、恶意攻击等安全威胁。本文首先总结并分析了当前车联网环境中所遭遇的多个攻击案例,将车联网的安全问题总结为三个层面,分别为：网络级安全、平台级安全和组件级安全。其次将车联网的整体架构进行了划分和介绍,从这三个层面对车联网目前存在的主要安全威胁进行了分析和总结,针对性地介绍了目前的研究热点和研究现状。最后对车联网未来的发展方向和研究重点进行了展望。     

遥感图像变化检测综述

主要介绍了变化检测的基本理论。首先简述和分析了遥感图像变化检测的基本概念,指出变化检测的本质是一类模式分类问题;然后全面回顾了现有变化检测方法,将其归纳为像素级、特征级和目标级三大类,详细论述了各种方法的基本原理和特点并对其适用范围和优缺点进行了总结。     

反应堆温差法液位传感器的研究

国内新建的三代核电技术基于安全考虑,提出了温差法液位测量技术。本文据此设计了一种基于温差法的液位传感器。其根据水与水蒸气的传热系数的显著差异,通过安装于电加热器加热区处热电偶与远离加热区热电偶之间的测量温度差值,判断测点处液位情况。通过软件模拟计算和试验实测数据,证实了所设计的液位传感器结构设计合理,性能可靠,能够有效地判断反应堆内液位变化情况。     

基于ROI信息的活动轮廓模型MR图像分割

参数活动轮廓模型和几何轮廓模型是目前常用的图像分割方法。传统的参数活动轮廓模型在曲线演化过程中仅使用了梯度信息,在处理具有强噪音或弱边界的目标时往往得不到理想的结果,且不具有拓扑可变性。为此,构造一种基于区域信息约束力的参数活动轮廓模型,在新的约束力的作用下,模型可以有效降低噪音的影响并防止曲线从弱边界泄漏,且提高曲线进入细窄区域的能力,将参数模型几何化,使该模型具有拓扑可变的能力。实验表明,该模型具有较好的分割效果。