1) Boolean process
布尔过程
1.
In this paper,we propose an interconnected bus power consumption model based on Boolean process,which includes the self transition power dissipated on the signal lines and the coupled transition power dissipated between adjacent signal lines.
在布尔过程理论的基础上提出互连线功耗的扩展模型,该模型综合考虑互连线自身跳变及互连线间的耦合跳变所引起的功耗。
2.
The paper briefly introduced the theory of Boolean process and VHDL standard language.
概要地介绍了布尔过程理论和VHDL标准语言 ,并对其在组合电路设计中的应用作一些探
3.
The paper defines the waveform space,the distance and the limit of waveform on the basis of Boolean process with Boolean operation,and also deduces many properties of waveform and waveform space from the engle of mathematics.
本文在布尔过程论的基础上运用布尔运算定义了波形空间 ,波形空间中的每一个元素为一波形 ,定义了波形的距离和极限 ,从数学角度推导出了波形与波形空间的许多性质 ,进一步完善了布尔过程论 。
2) Weibull process
威布尔过程
1.
It was found that the failure process of the NC machine tool conforms to Weibull process model by means of the parameter estimation and the linear relativity hypothesis test.
首先应用故障总时间法对某型号数控机床在一年中的25个随机截尾故障数据进行预处理,然后采用图示和统计两种方法对故障数据进行趋势检验,最后通过参数估计和线性相关检验确定了数控机床故障过程符合威布尔过程。
2.
Some methods of estimation of future failure hour for a repairable system which can be described by Weibull process are studied.
分析研究了可修复系统故障时刻可用威布尔过程描述的情况下，进行系统后续故障时刻估评的几种方法。
3.
According to the failure mechanism of four redundancy servo control system, this paper studies the reliability testing method, presents a reliability testing and statistical method based on Weibull process.
根据四余度伺服机构纯耗损的故障机理 ,对其可靠性试验方法进行了研究 ,提出了基于威布尔过程的可靠性试验及参数统计方法 。
3) Boolean process
布尔过程论
1.
Research on Boolean Process and Its Application in Design Automation for Complex and High-speed Chips;
布尔过程论及其在复杂高速芯片设计自动化应用中的研究
2.
Representation Method and Simulation of Boolean Process-based Waveform by HDL;
基于布尔过程论的HDL波形表示方法与仿真
3.
To solve delay test problems for VDSM ehips, a novel noise prediction method based on Boolean process is proposed for running delay test of VDSM chips with transition numbers used to describe noise effects.
为了解决超深亚微米芯片的延时测试问题,首先提出了一种新的基于布尔过程论的逻辑级噪声预测方法,用波形多项式描述的同时发生的跳变数来预测噪声大小,并生成能产生最大跳变数目的输入波形;然后同基于波形敏化的长敏化通路选择法相结合,提出了一种基于布尔过程论的能产生最大噪声效应的敏化测试波形生成方法。
5) Boolean program
布尔程序
1.
Using this algorithm, a Java program is abstracted to a Boolean program.
谓词抽象是解决软件模型检查中状态空间爆炸的最有效方法之一,针对Java语言面向对象的特性,描述了一种对Java程序语言中间形式的谓词抽象算法,该算法将Java程序抽象成为布尔程序,抽象过程中处理的Java数据结构包括:赋值语句、条件语句、类对象引用、成员方法和方法调用等。
补充资料：正规过程和倒逆过程
讨论完整晶体中声子-声子散射问题时,由于要求声子波矢为简约波矢（见布里渊区），所得到的总波矢守恒条件会相差一个倒易点阵矢量G)。例如对于三声子过程有下列条件
， (1)
式中q1和q2是散射前的声子简约波矢, q3为散射后声子波矢，式(1)中G)的取值应保证q3也是简约波矢。这时会出现两种过程,其一是当q1+q2在简约区内时,可以取倒易点阵矢量G)＝0,式(1)则简化为总波矢守恒条件,称为正规过程或N过程。其二是当q1+q2超出简约区时,所取G)应保证q3仍落于简约区内,由于q3与q1+q2相差G),显然q3位于q1+q2的相反一侧，这时散射使声子传播方向发生了倒转，故称为倒逆过程或U过程。U过程总波矢不守恒,但总能量守恒,因为声子频率是倒易点阵的周期函数，而q3与q1+q2只相差一个倒易点阵矢量。N过程在低温长波声子的散射问题中起主要作用。当温度升高，简约区边界附近的声子有较多激发时，U过程变得十分显著,它对点阵热导有重要贡献。
在能带电子与声子散射问题中存在着与式 (1)相仿的总波矢条件
k+G＝k┡±q，
(2)
式中k与k┡分别为散射前后电子的简约波矢,±号分别对应于吸收或发射q声子。类似的在热中子-声子散射以及晶体中一切波的相互作用过程中，总波矢变化都相差一个倒易点阵矢量G),因此也都有N与U过程之分。这是晶体和连续媒质不同之处，连续媒质对无穷小平移具有不变性，才能求得总波矢守恒，而晶体只具有对布喇菲点阵的平移不变性，因此总波矢守恒条件会相差一个倒易点阵矢量。
， (1)
式中q1和q2是散射前的声子简约波矢, q3为散射后声子波矢，式(1)中G)的取值应保证q3也是简约波矢。这时会出现两种过程,其一是当q1+q2在简约区内时,可以取倒易点阵矢量G)＝0,式(1)则简化为总波矢守恒条件,称为正规过程或N过程。其二是当q1+q2超出简约区时,所取G)应保证q3仍落于简约区内,由于q3与q1+q2相差G),显然q3位于q1+q2的相反一侧，这时散射使声子传播方向发生了倒转，故称为倒逆过程或U过程。U过程总波矢不守恒,但总能量守恒,因为声子频率是倒易点阵的周期函数，而q3与q1+q2只相差一个倒易点阵矢量。N过程在低温长波声子的散射问题中起主要作用。当温度升高，简约区边界附近的声子有较多激发时，U过程变得十分显著,它对点阵热导有重要贡献。
在能带电子与声子散射问题中存在着与式 (1)相仿的总波矢条件
k+G＝k┡±q，
(2)
式中k与k┡分别为散射前后电子的简约波矢,±号分别对应于吸收或发射q声子。类似的在热中子-声子散射以及晶体中一切波的相互作用过程中，总波矢变化都相差一个倒易点阵矢量G),因此也都有N与U过程之分。这是晶体和连续媒质不同之处，连续媒质对无穷小平移具有不变性，才能求得总波矢守恒，而晶体只具有对布喇菲点阵的平移不变性，因此总波矢守恒条件会相差一个倒易点阵矢量。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条