【摘 要】
：
针对已有方法在求解布尔e偏导数时只能解决小规模电路的问题,提出了一种基于逻辑函数不相交运算的大函数高阶布尔e偏导数的求解算法.该方法将逻辑函数转化为不相交乘积项的集
【基金项目】
：
国家自然科学基金资助项目(61471211).
论文部分内容阅读
针对已有方法在求解布尔e偏导数时只能解决小规模电路的问题,提出了一种基于逻辑函数不相交运算的大函数高阶布尔e偏导数的求解算法.该方法将逻辑函数转化为不相交乘积项的集合,用逻辑函数的不相交运算替代布尔e导数运算中的逻辑“与”运算;并将不包含待求导变量的乘积项拆分出来,不参与布尔e导数运算,以达到降低算法复杂度、提高算法速度的目的.提出的算法用C语言编程实现,并用MCNC测试电路进行了测试.实验结果显示,本算法能快速实现大函数高阶布尔e偏导数的求解,求解效率与参与不相交运算的乘积项数量有关,但对输入变量的数量
其他文献
胸腰段椎间盘突出症是临床较少见的一种病症，作者在多年的临床实践中确诊5例病人，均行侧前方入路椎间盘切除、肋骨植骨、Ventrofix内固定，效果较好，汇报如下。
调和函数在SG3上的Dirichlet边值问题是分形分析领域的重要研究内容之一。考虑通过垂直切割自相似图形SG3,得到SG3上的特定定义域。对于边界值为Cantor集的新的自相似图形,试
针对现有点云索引研究方法欠考虑移动终端性能特点这一问题,提出了一种适用于移动端点云场景在线可视化的集成型空间索引。该索引首先利用考虑了移动终端网络带宽与计算渲染性能特点的改进型KD-tree实现点云数据的均衡划分与编码,在此基础上构建点云数据的LOD模型,并使用改进型八叉树管理其组织,最后通过改进型KD-tree的编码联结改进型八叉树形成〈1一级树:1二级树〉的优化型索引结构。该索引可支持移动端实
目的评价DHS内固定治疗股骨粗隆间骨折的疗效。方法对2000年10月至2005年10月间69例股骨粗隆间骨折的患者用DHS治疗，对手术方法及疗效进行分析。结果优39例，良25例，差5例，优良率9
麻竹又称甜竹,为巨型合轴丛生竹类.经各地试栽,表现出极佳的综合性状,被人们誉为"竹中之王".目前我场繁育成功.
为得到新型高效多相催化剂,有效去除废水中的染料,以Cu(Ac)2与CuFe2O4@PDA为原料制备了催化剂CuFe2O4@PDA-Cu.通过IR、XRD、XPS、UV-Vis、DRS技术对催化剂的性能进行了表征,
利用算子的一致可逆性质,定义了一个新的谱集,分别给出了有界线性算子满足(ω)性质的充分条件和必要条件,并在此基础上得到算子与其算子演算满足(ω)性质的判定条件。
研究了分次环R上的Ding分次投射(内射)R-模以及强Ding分次投射(内射)R-模,证明了任意分次环上的Ding分次投射(内射)模类是投射(内射)可解的.研究了强Ding分次投射(内射)R-模