采用传统方法难以去除由高温气冷堆燃料制作过程中产生的高浓度四氢糠醇（Tetrahydrofurfurly alcohol,THFA）和火炸药生产过程中产生......

该文立足于安全关键系统,选择铁路车站信号控制系统作为具体的应用对象,对安全关键系统的形式化开发方法进行了下述主要研究和探索......

体象障碍(Bodly dysmorphic disorder,BDD)又称为躯体变形障碍,是指个体在客观上躯体外表并不存在缺陷,或者有极其轻微的缺陷,但其......

针对SOC验证的需要,研究了形式化验证方法,重点分析了二元决策图(BDD)的等效性检查技术,设计了FSM等效性检查的程序,以及算法级描......

通过对时态逻辑的研究来探讨时态逻辑在硬件设计形式化验证上的应用,同时对布尔函数在计算机内的表示二叉判定图(BDD)进行了进一步......

Delay consideration has been a majorissue in design and test of high performance digital circuits. Theassumption of inpu......

选用掺硼金刚石(BDD)电极作为阳极、不锈钢电极阴极,对酸性橙Ⅱ染料废水进行电化学降解研究.讨论了电解质、电流密度、溶液pH、初......