基于布尔过程论的层次化延时分析方法 被引量：6

1

作者 杜振军 马光胜 冯刚 《计算机研究与发展》 EI CSCD 北大核心 2001年第10期1269-1275,共7页

芯片设计的日益复杂化和高速化对电路精确的定时特性提出了越来越高的要求 .电路的延时不仅与电路的拓扑结构有关 ,而且还与电路的逻辑功能及输入都有密切的关系 .采用 Boole过程论这种统一描述数字电路的逻辑行为和时变行为的代数形式... 芯片设计的日益复杂化和高速化对电路精确的定时特性提出了越来越高的要求 .电路的延时不仅与电路的拓扑结构有关 ,而且还与电路的逻辑功能及输入都有密切的关系 .采用 Boole过程论这种统一描述数字电路的逻辑行为和时变行为的代数形式作为理论基础 ,提出了波形多项式偏导的概念 ,并用之重新定义了敏化 .用偏导定义的敏化改进了解析延时模型 ,基于最长可敏化通路的延时建立了电路模块或子电路的延时矩阵模型 ,由延时矩阵模型出发提出了一种精确的电路层次化延时分析方法 .最后用实验验证了文中提出的延时分析方法的有效性 . 展开更多

关键词 系统芯片 布尔过程论 层次化延时分析 数字电路

在线阅读 下载PDF 职称材料

布尔过程论的实验研究 被引量：1

2

作者 于潇洋 闵应骅 +1 位作者 李忠诚 吴诚文 《计算机学报》 EI CSCD 北大核心 2000年第11期1196-1200,共5页

布尔过程论是 1994年提出的一种高速电路设计与测试分析理论 ,是布尔代数在时域中的扩充 ,适用于 IC定时研究与分析 .但布尔过程论的实践可行性受到一些国际同行的质疑 ,该文的工作旨在解释布尔过程论的物理意义以及构成布尔过程论的实... 布尔过程论是 1994年提出的一种高速电路设计与测试分析理论 ,是布尔代数在时域中的扩充 ,适用于 IC定时研究与分析 .但布尔过程论的实践可行性受到一些国际同行的质疑 ,该文的工作旨在解释布尔过程论的物理意义以及构成布尔过程论的实验基础 .文中采用 SPICE软件模拟电路中的电压波形 ,对一些电路例子进行模拟 ,发现模拟结果与用布尔过程论得出的结果是一致的 ,这就以实验验证了布尔过程论 .同时 。 展开更多

关键词 布尔过程论 SPICE软件 集成电路 电路分析

在线阅读 下载PDF 职称材料

基于布尔过程论的波形和波形空间的性质及应用 被引量：1

3

作者 尤志强 张大方 刘先霞 《电子学报》 EI CAS CSCD 北大核心 2000年第8期107-109,共3页

本文在布尔过程论的基础上运用布尔运算定义了波形空间 ,波形空间中的每一个元素为一波形 ,定义了波形的距离和极限 ,从数学角度推导出了波形与波形空间的许多性质 ,进一步完善了布尔过程论 .并在此基础上定义了延迟算子 ,推导了延迟算... 本文在布尔过程论的基础上运用布尔运算定义了波形空间 ,波形空间中的每一个元素为一波形 ,定义了波形的距离和极限 ,从数学角度推导出了波形与波形空间的许多性质 ,进一步完善了布尔过程论 .并在此基础上定义了延迟算子 ,推导了延迟算子的性质 ,论证了定义的距离的连续性和给出通路敏化的条件 ,展示了布尔过程论的应用前景 . 展开更多

关键词 布尔过程 波形空间 波形距离 波形极限 布尔代数

在线阅读 下载PDF 职称材料

基于泊松-威布尔过程的钢轨修理周期预测研究 被引量：5

4

作者 白文飞 张伟 +2 位作者 刘仍奎 王福田 孙全欣 《铁道科学与工程学报》 CAS CSCD 北大核心 2018年第12期3073-3081,共9页

在将线路上连续的钢轨离散划分成多个钢轨单元的基础上,提出基于泊松-威布尔过程的钢轨修理周期预测模型。模型以单个钢轨单元为研究对象,在充分考虑不同空间位置钢轨单元劣化过程异质性的前提下,根据钢轨单元伤损的历史检测数据,对每... 在将线路上连续的钢轨离散划分成多个钢轨单元的基础上,提出基于泊松-威布尔过程的钢轨修理周期预测模型。模型以单个钢轨单元为研究对象,在充分考虑不同空间位置钢轨单元劣化过程异质性的前提下,根据钢轨单元伤损的历史检测数据,对每个钢轨单元的维修周期和大修周期进行了预测,利用北京地铁2号线钢轨的伤损检测数据对模型的有效性进行验证。研究结果表明:本文提出的钢轨修理周期预测模型能够为管理者合理安排钢轨的修理计划提供足够的决策支持,辅助管理者实现钢轨的"预防修"。 展开更多

关键词 钢轨 维修周期 大修周期 劣化 异质性 泊松.威布尔过程

在线阅读 下载PDF 职称材料

威布尔过程场合下现场可靠性试验的统计分析 被引量：7

5

作者 敖长林 乔金友 戴有忠 《东北农业大学学报》 CAS CSCD 2000年第3期303-306,共4页

阐述了可修系统现场可靠性试验中切断数据的可靠性统计分析方法

关键词 数理统计 可修系统 威布尔过程 可靠性现场试验

在线阅读 下载PDF 职称材料

基于布尔过程的组合电路波形模拟 被引量：9

6

作者 李立健 闵应骅 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2001年第3期242-246,共5页

工作频率高和定时严格是现代集成电路的特点 ,它们要求数字系统模拟器不但可以模拟电路的逻辑行为 ,而且可以精确地模拟电路的定时特性 .文中提出了一个基于布尔过程的波形模拟途径 ,并介绍了它的理论基础、主要算法思想、所采用的技术。

关键词 布尔过程 波形模拟 组合电路 集成电路 设计

在线阅读 下载PDF 职称材料

布尔过程在通路敏化中的应用 被引量：1

7

作者 赵著行 闵应骅 李忠诚 《计算机学报》 EI CSCD 北大核心 1996年第8期568-575,共8页

对高性能数字电路来说，定时（Ｔｉｍｉｎｇ）的研究与分析是非常重要的．新近提出的布尔过程是定时分析的有效的理论工具，它将电路的逻辑关系和定时关系统一地表示在一个表达式中．本文首先介绍布尔过程的基本概念，然后利用此方法对... 对高性能数字电路来说，定时（Ｔｉｍｉｎｇ）的研究与分析是非常重要的．新近提出的布尔过程是定时分析的有效的理论工具，它将电路的逻辑关系和定时关系统一地表示在一个表达式中．本文首先介绍布尔过程的基本概念，然后利用此方法对任意输入模式下的通路敏化问题进行讨论──重新定义通路敏化的概念，并通过一个例子说明几种主要的敏化定义之间的不同，给出并证明判定通路敏化的充要条件．文章最后提出计算敏化通路的原始输入波形的算法，并给以证明． 展开更多

关键词 布尔过程 波形函数 通路敏化 数字电路

在线阅读 下载PDF 职称材料

基于威布尔过程的核电厂设备寿期管理决策 被引量：1

8

作者 王大林 赵博 《原子能科学技术》 EI CAS CSCD 北大核心 2013年第1期114-119,共6页

核电厂目前多通过对历史更换数据统计拟合获得设备寿命分布,以确定设备的平均寿命和可靠寿命,而忽视了故障维修和累积运行时间对设备寿命的影响。为解决该问题,根据核电厂设备现场运行特点,对威布尔过程的拟合方法及在现场数据处理中的... 核电厂目前多通过对历史更换数据统计拟合获得设备寿命分布,以确定设备的平均寿命和可靠寿命,而忽视了故障维修和累积运行时间对设备寿命的影响。为解决该问题,根据核电厂设备现场运行特点,对威布尔过程的拟合方法及在现场数据处理中的应用进行分析,提出了基于威布尔过程将专家经验寿命处理为失效率指标的寿期决策方法,克服了原方法对现场数据包含信息使用不完全的缺点,并进行了实例计算。 展开更多

关键词 威布尔过程 寿期管理 失效率指标

在线阅读 下载PDF 职称材料

考虑噪声效应的VDSM延时测试生成方法

9

作者 杜振军 马光胜 冯刚 《哈尔滨工程大学学报》 EI CAS CSCD 2003年第4期431-435,共5页

为了解决超深亚微米芯片的延时测试问题,首先提出了一种新的基于布尔过程论的逻辑级噪声预测方法,用波形多项式描述的同时发生的跳变数来预测噪声大小,并生成能产生最大跳变数目的输入波形;然后同基于波形敏化的长敏化通路选择法相结合... 为了解决超深亚微米芯片的延时测试问题,首先提出了一种新的基于布尔过程论的逻辑级噪声预测方法,用波形多项式描述的同时发生的跳变数来预测噪声大小,并生成能产生最大跳变数目的输入波形;然后同基于波形敏化的长敏化通路选择法相结合,提出了一种基于布尔过程论的能产生最大噪声效应的敏化测试波形生成方法.实验表明,本文提出的方法可以应用在复杂电路的延时故障测试中,有较好的推广价值. 展开更多

关键词 延时故障测试 噪声效应 布尔过程论 可敏化通路

在线阅读 下载PDF 职称材料

逻辑模拟验证中波形离散化及冒险问题研究 被引量：2

10

作者 刘岩 白燕 李静 《计算机工程与设计》 CSCD 北大核心 2008年第1期178-180,共3页

依照布尔过程论中有关波形的描述,研究并设计了便于逻辑模拟响应数据采集的激励输入方法,按照波形离散化的要求,控制两次激励的间隔时间,解决了响应数据间的干扰问题;通过采用加入逻辑门的方法,推迟指定跳变的发生时间,从而避免了冒险现... 依照布尔过程论中有关波形的描述,研究并设计了便于逻辑模拟响应数据采集的激励输入方法,按照波形离散化的要求,控制两次激励的间隔时间,解决了响应数据间的干扰问题;通过采用加入逻辑门的方法,推迟指定跳变的发生时间,从而避免了冒险现象,同时还保留了原电路的逻辑关系。 展开更多

关键词 布尔过程论 逻辑模拟 波形离散化 竞争冒险 波形激励

在线阅读 下载PDF 职称材料

数控机床可用度分析 被引量：3

11

作者 张英芝 申桂香 +1 位作者 吴甦 郑锐 《制造技术与机床》 CSCD 北大核心 2010年第1期124-126,共3页

数控机床的使用过程是在故障与维修交替作用下进行的,假设从系统使用开始已发生N次故障时,则进行预防性维修;而当已发生故障次数小于N时,则仅作事后小修(修复性维修)。根据某型号数控机床1年的25个故障数据,首先采用统计方法对故障数据... 数控机床的使用过程是在故障与维修交替作用下进行的,假设从系统使用开始已发生N次故障时,则进行预防性维修;而当已发生故障次数小于N时,则仅作事后小修(修复性维修)。根据某型号数控机床1年的25个故障数据,首先采用统计方法对故障数据进行趋势检验,然后通过参数估计与线性相关检验确定数控机床故障过程符合威布尔过程模型。在此基础上,确定其平均可用度模型。 展开更多

关键词 数控机床 威布尔过程 平均可用度

在线阅读 下载PDF 职称材料

城市轨道交通固定资产更新改造技术条件研究 被引量：1

12

作者 白文飞 韩嵩 +2 位作者 张伟 孙全欣 安茹 《都市快轨交通》 北大核心 2018年第2期77-82,共6页

为加强城市轨道交通固定资产更新改造的科学管理,提出将实际使用寿命和以可靠性指标为判定标准的健康状态作为其更新改造技术条件,并分别建立基于韦布尔-泊松过程的固定资产使用寿命估计模型和基于平均故障率、平均故障间隔时间和平均... 为加强城市轨道交通固定资产更新改造的科学管理,提出将实际使用寿命和以可靠性指标为判定标准的健康状态作为其更新改造技术条件,并分别建立基于韦布尔-泊松过程的固定资产使用寿命估计模型和基于平均故障率、平均故障间隔时间和平均可用度的固定资产健康状态评定模型。最后,利用北京地铁2号线钢轨的伤损数据对提出的更新改造技术条件及评估模型进行实例验证。结果表明,改进的更新改造技术条件及评估模型能够对城市轨道交通固定资产的更新改造需求进行量化分析评定,在城市轨道交通固定资产更新改造实际管理中具有实用性和更好的可操作性。 展开更多

关键词 城市轨道交通 固定资产 更新改造 技术条件 韦布尔-泊松过程 寿命估计 健康状态 可靠性指标

在线阅读 下载PDF 职称材料

四余度伺服机构可靠性试验方法研究

13

作者 王少萍 李沛琼 何建军 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2001年第1期36-39,共4页

由于四余度伺服机构高可靠性、短寿命设计的特点 ,使基于大样本长时间的指数分布可靠性试验方法难以奏效 .根据四余度伺服机构纯耗损的故障机理 ,对其可靠性试验方法进行了研究 ,提出了基于威布尔过程的可靠性试验及参数统计方法 .在 3... 由于四余度伺服机构高可靠性、短寿命设计的特点 ,使基于大样本长时间的指数分布可靠性试验方法难以奏效 .根据四余度伺服机构纯耗损的故障机理 ,对其可靠性试验方法进行了研究 ,提出了基于威布尔过程的可靠性试验及参数统计方法 .在 3个基本假设的基础上 ,对故障率逐步提高的纯耗损型产品在寿命末期进行工作点线性化处理 ,认为短任务时间内威布尔过程瞬时故障率可近似等于当前工作点的指数分布故障率 ,把威布尔过程可靠性试验与指数分布可靠性试验有机地结合起来 .试验结果表明 ,基于威布尔过程的可靠性试验方法可以大大缩短试验时间 ,节省试验费用 ,为高可靠性机电产品的可靠性试验提供了一种有效的途径 . 展开更多

关键词 四余度伺服机构 弹道导弹 运载火箭 控制系统 可靠性试验 寿命试验 威布尔过程

在线阅读 下载PDF 职称材料

某型发动机典型可修复附件可靠性分析

14

作者 孙波 武晓龙 +1 位作者 杨春 蒋英杰 《航空发动机》 2010年第5期32-35,51,共5页

针对传统方法评估航空发动机可修复件可靠性指标的部分不合理性,从外场可靠性信息特点着手,结合可修复件的结构特性,应用随机过程理论完善整个可修复附件的可靠性评估过程。基于可靠性评估模型、可靠性评估指标及外场数据等特点,提出了... 针对传统方法评估航空发动机可修复件可靠性指标的部分不合理性,从外场可靠性信息特点着手,结合可修复件的结构特性,应用随机过程理论完善整个可修复附件的可靠性评估过程。基于可靠性评估模型、可靠性评估指标及外场数据等特点,提出了某型发动机可修复附件可靠性评估分类方案,为合理确定可修复附件的可靠性和维修性指标奠定了基础。 展开更多

关键词 可修复附件 航空发动机 使用可靠性 威布尔过程

在线阅读 下载PDF 职称材料

基于BDMP的核电厂蒸汽发生器水位控制系统可靠性评价 被引量：9

15

作者 王浩 余嘉炜 +2 位作者 周世梁 毛伊静 许桐雨 《原子能科学技术》 EI CAS CSCD 北大核心 2017年第12期2330-2337,共8页

数字化仪表与控制系统(DICS)已广泛应用于核电厂安全/非安全相关的系统中。作为中枢神经系统,DICS的可靠性对核电厂运行过程的操作和维护至关重要。基于蒸汽发生器水位控制系统(SGWLCS)的结构和控制逻辑,采用布尔逻辑驱动的马尔科夫过程... 数字化仪表与控制系统(DICS)已广泛应用于核电厂安全/非安全相关的系统中。作为中枢神经系统,DICS的可靠性对核电厂运行过程的操作和维护至关重要。基于蒸汽发生器水位控制系统(SGWLCS)的结构和控制逻辑,采用布尔逻辑驱动的马尔科夫过程(BDMP)方法对系统进行了评价,分别得到可修复系统与不可修复系统随仿真步长增加的累积分布概率(CDP)。通过KB3搭建了BDMP模型,通过蒙特卡罗仿真软件YAMS对搭建的系统进行生产力分析,定量化分析出系统随仿真步长增加的CDP的变化趋势,以此计算系统的失效概率。通过对系统各组件的敏感性分析可直观得到各组件对系统的重要度影响。 展开更多

关键词 数字化蒸汽发生器水位控制系统 可靠性评价 布尔逻辑驱动的马尔科夫过程

在线阅读 下载PDF 职称材料

故障数据在科研试验装备维修保障中的应用 被引量：3

16

作者 刘广军 雷伶俐 +1 位作者 张亮 柴俊敏 《兵工自动化》 2015年第8期8-10,40,共4页

针对科研试验装备可修系统故障数据的特点,对故障数据在科研试验装备维修保障中的应用进行研究。介绍应用于可修系统故障数据分析的时齐泊松过程和非时齐泊松过程模型及其在故障数据分析中的适用性检验方法,并通过实例介绍可修系统故障... 针对科研试验装备可修系统故障数据的特点,对故障数据在科研试验装备维修保障中的应用进行研究。介绍应用于可修系统故障数据分析的时齐泊松过程和非时齐泊松过程模型及其在故障数据分析中的适用性检验方法,并通过实例介绍可修系统故障数据分析的步骤。结果表明:该方法能判断科研试验装备可靠性发展趋势,在一定程度上克服主观臆断,为装备维修保障决策提供科学依据。 展开更多

关键词 指数分布 泊松过程 非时齐泊松过程 韦布尔过程 趋势判断

在线阅读 下载PDF 职称材料