2. 您的位置
3. 首页
4. 期刊论文
5. Boolean process

Boolean process

来源 :中国科学：技术科学英文版 | 被引量 : 0次 | 上传用户：hziyin

【摘 要】

：

Boolean algebra successfully describes the logical behavior of a digital circuit, and has been widely used in electronic circuit design and test With the develo

【作 者】

：

闵应骅 李忠诚 赵著行 

【机 构】

：

CenterforFault-TolerantComputing,CADLaboratory,InstituteofComputingTechnology,ChineseAcademyofScienc

【出 处】

：

中国科学：技术科学英文版

【发表日期】

：

1997年3期

【关键词】

：

BOOLEAN PROCESS WAVEFORM WAVEFORM LIMIT PATH sensitization. Boolean process  wav 

【基金项目】

：

Project supported by the National Natural Science Foundation of China.

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

Boolean algebra successfully describes the logical behavior of a digital circuit, and has been widely used in electronic circuit design and test With the development of high speed VLSIs it is a drawback for Boolean algebra to be unable to describe circuit

其他文献

Research on indoor experimentation of range SAL imaging system

By means of advantages of both SAR and lidar, the combination of the techniques of (inverse) synthetic aperture and lidar makes it possible to obtain high resol

期刊

idarsyntheticAPERTURERANGEprofilephaseerrorimagingofROTATINGOBJECTSid

Magnetic reconnection events in the interplanetary space

Magnetic field and plasma measurements in the period of 1975-1981 with 0. 18-h averages from Helios spacecrafts are analyzed. It is discovered that magnetic rec

期刊

INTERPLANETARYspaceMAGNETICRECONNECTIONHEMISPHERICphysics.interplanetary s

Semi-random simulation method for calculating 3-D radiation transfer problems in cavity

One of the most important issues in inertial confinement fusion (ICF) is to study the uniformity of the radiation field around the implosion pellet containing f

期刊

radiationtransfersemi-randomsimulationMONTECarlomethod.radiation transfer

A fast algorithm for n-D discrete cosine transform

为 lengthN=2 m (m2 ) 的然后维的分离余弦变换(n-D DCT ) 的一个概括快计算算法被介绍。发达算法理论上被证明，它的效率被评估。理论结果与常规方法相比显示那计算 1-D DCT

期刊

DISCRETECOSINETRANSFORMMULTIDIMENSIONALsignalprocessingfastalgorithmMPEG

3-D finite element computation and dynamic modal analysis on ultrasonic vibration systems

Stress and modal analyses are performed on an ultrasonic vibration system by means of a 3-dimensional finite element computation and dynamic modal analysis code

期刊

ULTRASONICFATIGUERESONANTvibrationFINITEelementMODALanalysis.ultrasonic

Sharp convergence rates of stochastic approximation for degenerate roots

随机的近似算法的锋利的集中率为在寻求为根的未知回归功能的衍生物是零的盒子被给。获得的集中率为为慢慢地减少的步尺寸突然地与他们不的以前的工作相对照在算法使用的一般

期刊

stochasticAPPROXIMATIONCONVERGENCErate.stochastic approximation convergence

Silver inlaid Ox-shaped Bronze Lamp

Eastern Han Dynasty(25 AD-220 AD)Height:46.2 cm,length:36.4 cm.Silver-inlaid bronze.The bronze lamp is in the shape of an ox with its head down and tail up,and

期刊

SILVERinlaidOx-shapedBRONZELAMP

A novel method for generating pseudorandom integer strings and pseudorandom sequences

A new method, referred to as the full-recurrent-decimal-sequences (FRDS) method, is proposed to generate the pseudorandom integer strings and the pseudorandom s

期刊

PSEUDORANDOMINTEGERstringsRUN-LENGTHlinearCONGRUENCEgenerator(LCG)PRIMIT

The establishment of crystal position look-up table for positron emission tomography with block dete

A method has been developed to establish the crystal position look-up table for positron emission tomography with block detectors. It is based on the principle

期刊

POSITRONemissionTOMOGRAPHYPOSITIONlook-upTABLE2-DPOSITIONHISTOGRAMposit

Consistency argument and classification problem in λ-calculus

Enlightened by Mal’cev theorem in universal algebra, a new criterion for consistency argument in λ-calculus has been introduced. It is equivalent to Jacopini

期刊

λ-termCONSISTENCYclassification.λ-term consistency classification