基于概率转移矩阵的时序电路可靠度估计方法

传统的概率转移矩阵(Probabilistic Transfer Matrix,PTM)方法是一种能够比较精确地估计软差错对门级电路可靠度影响的方法,但现有的方法只适用于组合逻辑电路的可靠度估计.本文提出基于PTM的时序电路可靠度估计方法(reliability estimation of Sequential circuits based on PTM,S-PTM),先把待评估时序电路划分为输出逻辑模块和次态逻辑模块,然后用本文提出的时序电路PIM计算模型得到电路的PIM,最后根据输入信号的概率分布计算出时序电路的可靠度.用ISCAS 89基准电路为对象进行实验和验证,实验表明所提方法是准确和合理的.     

计算机网络互连的低成本高可用设计

本文主要研究了如何构成低成本高可用的计算机网络的原理和技术 ,包括低成本高可用网络的设计目标和网络通信链路、主机、服务器和网络设备 (如集线器、交换机、路由器 ,还包括程控交换机 )的低成本高可用结构的设计     

一款通用CPU中的Load Aligner数据通道的全定制设计

深亚微米时 ,芯片的设计和制造成了一个复杂浩大的工程体系。本文以一款通用CPU的LoadAligner数据通道部分的全定制设计为例 ,讲述了一个集成电路子模块的逻辑设计 ,电路设计 ,版图设计 ,并给出了相关结果     

主机和网络设备：分类,产品及其容错问题

本文针对计算机通信网络（计算机网络）中的主机和主要网络设备（包括集线器、路由器和交换机）的大量现有产品，提出了多种分类方法。按不同的分类法对设备进行分类，既有利于深刻理解它们的工作原理，掌握其结构上的特点，又有利于新产品的研制。文章还讨论了提高网络可信性所必须解决的如下容错问题：计算机网络可信性评估与分配、网络节点计算机的容错结构、容错计算机在网络中的应用实例分析、网络软件的实时容错结构以及网络通信协议及其容错机制。     

以"互联网+"体验式社区农场为例的毕业设计 课题设计

分析我国农业扶贫攻坚推广新模式的体验式社区农场的应用需求,结合大学本科生的毕业设计任务,提出"互联网+"课题的设计方案,介绍同济大学软件工程专业本科生的教学实践,说明效果。     

基于可复用连接件的可信软件构造方法*

为了增强在构件组装过程中连接件的复用性,根据体系结构层的异常处理技术和理想容错构件的特点,提出了用四个基本连接件及其相互组合来实现构件间的连接,并将这一技术应用到理想容错构件结构中。相关的实践活动表明,通过四个基本连接件的组合可部分实现相关功能模块的功能,增强了连接件的复用,同时还方便了系统的维护和更新,增强了系统的可信性。     

动态可重构系统的时域划分及其行为级算法的定量分析

对近20年来可重构系统的时域划分算法进行了分析,把它们分为网表级和行为级算法两大类.网表级时域划分算法主要采用网络流方法,使电路的面积、割网的个数等最小化,并使电路获得较小的时延和通信代价.我们对层划分、簇划分、增强静态列表调度、多目标时域划分等四种行为级时域划分算法进行了定量分析和比较,评价指标体系包括划分后的模块数、跨模块的输入/输出边数、划分后所有模块的执行总延迟.实验结果表明,层划分是四个算法划分后所有模块执行总延迟最小的;簇划分算法获得较少的跨模块的输入/输出边数;增强的静态列表调度和多目标时域划分两个算法在三个指标之间获得了一个好的折中.然而,这四个算法均没有考虑划分后的模块形状及模块的跨层映射成本.     

软件安全性残留风险分级评估的实例分析

评估软件安全性常用的方法有风险评估和基于可靠性模型的评估。基于上述二种方法提出了残留风险分级评估方法。该方法用失效强度和失效严重度来刻画软件的风险,较好地解决了由于测试数据按失效严重度分类后数据少而难以应用可靠性模型的问题,并用实例说明了新方法的可行性。     

一个基于轨道电路的自动闭塞的离线模拟器

为了研究智能列车调度与控制的理论与实现技术，需要首先建立相应的铁道线路、机车、车辆和信号系统的仿真模型和系统。列车自动控制系统分为地面和车载两个子系统，它具有闭环控制的特性。而地面控制子系统又可分为自动闭塞和车站联锁两个部分。本文阐述了一个基于轨道电路的自动闭塞的离线模拟器的主要功能、仿真的原理和结构，并提出了一种减小仿真自动闭塞设备延迟误差的方法。该软件模块已在Ｗｉｎｄｏｗｓ９５和Ｍｉｃｒｏｓｏ     

N为偶数的并发差错可定位N-模冗余结构

N－模冗余结构是一种广泛应用的容错结构，其有效性是建立在它所包含的故障模型块数不超过[（N－1）／2]的假设之上的，而破坏该假设的可能途径有故障累积和同时故障，防止故障模块累积的方法之一是使冗余系统具有故障定位能力，然后及时地将故障模块予隔离和替换。传统的静态和动态硬件冗余结构或都不具有故障定位能力，中者不提供显式的故障定位信息，并且对附电路本身的故障是无法处理的，为此，针对静态硬件冗余结构，作者等人曾提出了N为奇数情况下的差错定位解决方案，而该文则提出了N为偶数情况下的相应解决方案。