【摘 要】
：
传统的概率转移矩阵（PTM）方法是一种用于估计软错误对组合电路可靠度影响的有效方法,但传统PTM方法只适用于组合逻辑电路的可靠度评估.触发器是时序逻辑电路的重要组成部分,其
【机 构】
：
同济大学软件学院,江西理工大学信息工程学院
论文部分内容阅读
传统的概率转移矩阵（PTM）方法是一种用于估计软错误对组合电路可靠度影响的有效方法,但传统PTM方法只适用于组合逻辑电路的可靠度评估.触发器是时序逻辑电路的重要组成部分,其可靠度评估对时序电路的可靠度分析研究至关重要.为此,本文提出了基于PTM的触发器可靠度计算的F-PTM方法及电路PTM的判定定理.F-PTM方法首先建立触发器电路的特征方程,再用电路PTM的判定定理生成触发器的PTM,最后,根据输入信号的概率分布函数计算出电路的可靠度.与传统PTM方法相比较,F-PTM方法既能计算组合电路的PTM,又能
其他文献
随着社会经济的进步与发展,城市建设规模的扩大和速度的加快,供电可靠性及客户安全供电要求不断提高,电力工程的施工安全管理在供电企业发展中具有重要意义。配电工程施工过
股权融资：5000万银行货款：5000万主导／产品简介：公司主导产品为化学药品，以消化系统和呼吸系统创新药物为主，其中消化内镜诊疗用药是我公司的特色品种，正致力于打造专业消化内镜诊疗
在芯片制造工艺中,参数扰动影响了集成电路（Integrated Circuit,IC）成品率,使不同参数成品率间存在着此消彼长的相互制约关系,而目前IC参数成品率优化算法却主要局限于单一优化
结合1978～2007年萍乡农业发展的数据,分析家庭联产承包责任制的4个优点,指出了其在发展过程中的4个成长制约上限,给出了其发展趋势的7种观点,对比了现代化规模经营的家庭农场
针对时变动态切换拓扑下具有多个领航者的网络化系统群集运动问题,本文分别给出了一阶/二阶网络化系统的控制算法,并对所提出的控制算法进行了理论分析.运用现代控制理论、代数图论和矩阵论等分析工具,研究了当通信拓扑为动态联合连通时,系统可以实现群集运动,即系统的运动轨迹都收敛到由多个领航者构成的凸包中.通过对系统信息拓扑连通部分的进一步研究,得到了二阶网络化系统群集运动的约束条件.最后应用仿真实验验证了结
隐式鉴别机制在解决移动智能设备的安全性与易用性冲突方面具有重要而独特的作用.然而,已有工作通常基于单一特征或动作进行隐式鉴别,仅适合于特定动作、场景和范围.为了解决
[目的]阐明XML在生物信息学研究中的重要地位与作用。[方法]通过详细阐述XML的基本原理，系统地比较和分析XML与其他应用于生物数据管理的标记语言包括HTML、BSML、BioML等的利
科技人才是事业发展的根本要素，也是促进社会发展的主要推动力。水利电业已成为人们生活中重要内容，而人才的开发显得尤为重要。文章围绕水利电业公司科技人才开发立法意义、科
就业是各个高校都非常重视的一项工作，四川大学锦城学院更是将就业工作视为学院发展的生命线。自建校以来，学院开展各项工作以促进就业率，校企合作是其中的一个重要形式。文章从
为了进一步提升人脸梯度特征的光照健壮性,本文结合低秩分解能有效分离图像本质特征和噪声的特性,提出了一种光照健壮的低秩相对梯度直方图特征提取方法.首先,通过对人脸图像进行相对梯度运算获得了图像的相对梯度幅值图像和各像素的梯度方向信息.然后,为了去除相对梯度图像中由于非均匀光照而引入的光照边缘误差,利用低秩分解将相对梯度图像分解为低秩分量和稀疏噪声分量之和.最后,结合人脸图像的梯度方向信息对相对梯度图