论文部分内容阅读
本文应用泛系方法论中泛权网络聚类的思想对数字电路逻辑设计中的状态化简方法进行形式化,得到了状态化简的一组形式化描述,推广了不完全状态化简的一些结论,得到了几个有意义的判定定理。
泛权网络聚类在数字电路逻辑设计中的应用
【摘 要】
：
本文应用泛系方法论中泛权网络聚类的思想对数字电路逻辑设计中的状态化简方法进行形式化,得到了状态化简的一组形式化描述,推广了不完全状态化简的一些结论,得到了几个有意
【机 构】
：
华工船舶工业学院计算机系
【出 处】
：
计算机与数字工程
【发表日期】
：
1994年4期
其他文献
6月8日,首都女新闻工作者协会召开了一个会,发给工作50年以上的女新闻工作者每人一份"荣誉证书",表彰她们在"半个世纪的新闻工作中取得了重大的成就"。伴随证书的,还有一朵玫
因极限应变构成的FLD受应变路径的影响很大,在研究复杂应变路径的成形极限问题时带来极大不便.而以极限应力构成的成形极限应力图FLSD由于不依赖加载应变路径,已成为目前研究
以BaCl2和Na2SO4为原料,采用微通道反应器制备得到立方形纳米BaSO4颗粒,并通过SEM、XRD对其进行表征。考察了不同反应方式及微通道反应器结构、反应物体积流量、反应物浓度、
对0.3 mol·L-1 Na OH改性后的HZSM-5以及未改性HZSM-5催化剂进行循环和再生评价实验以考察催化剂的寿命。对反应后和再生的催化剂进行N2吸脱附以及NH3-TPD表征,并通过对
榆林市工信局组织羊老大、七只羊、蒙赛尔等三户羊毛防寒服企业参加第22届中国国际服装服饰博览会，并于3月26日召开中国羊毛防寒服名城·榆林新闻发布会。榆林市工信局局
最近一段时间,不时看到报纸对某些领导干部耍官威的报道,其中的几个事例实在匪夷所思。湖南株洲某工厂厂长刘建成购买的狼狗多次咬伤工人,有位叫何阳的工人被狗咬后用石子打
前段时间，鞋帮在微博以及微信平台开展了有奖征文活动，内容是Under Armour ClutchFit Drive Ⅱ篮球鞋的评测。经过一段时间的艰难抉择，我们选出了前三名的文章——第三名《一双
使用丙胺溶液对裙带菜孢子叶残渣进行水热液化,分析了水热液化后生物油、水溶性物质和固体残渣的成分。在丙胺浓度1.5 mol·L^-1、反应温度240℃、料液比1：10的条件下得到
中原叶县,沣河之畔,有一墓地,方圆10米,墓碑字迹斑驳,唯"叶公沈诸梁墓"六字尚依稀可辨,而"叶公好龙"故事却早已家喻户晓了。这个典源,出自刘向《新序·杂事》:"叶公子高