基于BDD的组合电路等价性检验方法

文章分析了目前常用的等价性检验方法的特点，包括功能性和结构性的验证方法，讨论了基于二叉判决图（BDD）的组合电路等价性检验方法，并分析了等价性检验过程中的误判问题及其消除方法，然后给出了一种关于带黑匣子的部分实现的隐式等价性检验方法，实验结果表明了该方法的有效性。     

A Novel Parsimonious Neurofuzzy Model Applied to Railway Carriage System Identification and Fault Diagnosis

ＡＮｏｖｅｌＰａｒｓｉｍｏｎｉｏｕｓＮｅｕｒｏｆｕｚｚｙＭｏｄｅｌＡｐｐｌｉｅｄｔｏＲａｉｌｗａｙＣａｒｉａｇｅＳｙｓｔｅｍＩｄｅｎｔｉｆｉｃａｔｉｏｎａｎｄＦａｕｌｔＤｉａｇｎｏｓｉｓＳ．Ｃ．Ｚｈｏｕ，Ｏ．Ｌ．Ｓｈｕａｉ＋，Ｔ．Ｔ．Ｗｏｎｇ?..     

氧化铝的水热化学研究：I.拟薄水铝石脱水产物的再水合现象

采用ＸＲＤ方法，研究了拟薄水铝石三种典型脱水产物γ、δ－和θ－Ａｌ２Ｏ３在１７０℃水热及自身压力条件下的晶相变化情况。结果表明，这三种氧化铝都发生了再水合现象，最终产物都是薄水铝石。对部分再水合样品的晶相分析表明，氧化铝直接水合成水合产物，再水合过程不是原水合氧化铝脱水过程的逆过程。     

日本滑板技术的最新发展

Ａｌ2 Ｏ3 -ＺｒＯ2 材质的滑板由于具有良好的抗剥落性而在日本获得了广泛的应用 ,其ＺｒＯ2 含量大约为 11%。但钢水中含有大量的游离氧 ,钢水中的ＦｅＯ和滑板中的Ａｌ2 Ｏ3 、ＺｒＯ2 反应生成低熔点的物质 ,从而使滑板的抗侵蚀性下降 ;另外 ,滑板在冷却过程中由于ＺｒＯ2 的膨胀增大了滑板内的裂纹 ,阻止了滑板寿命的提高。滑板中不含ＺｒＯ2 时可获得良好的抗侵蚀性 ,但 3%～6 %的ＺｒＯ2 可使滑板具有良好的抗剥落性。为获得长寿命的滑板 :(1)用Ｓｉａｌｏｎ结合代替原来的结合形式 ,提高滑板的高温强度 ,改进滑板表面的耐磨损性 ;(2…     

PLA/PMA/PEG共混改性研究

采用悬浮聚合的方法,以丙烯酸甲酯(MA)为反应单体制备珠粒状的聚丙烯酸甲酯(PMA),然后采用熔融共混的方法,以PMA为增韧剂,聚乙二醇(PEG)为增塑剂,石蜡为润滑剂来改性PLA,对改性后共混物的热性能和力学性能的研究。结果表明:PMA与PLA相容性好。PMA对PLA有增韧作用,添加25份的PMA时,PLA共混材料的冲击强度为58.90kJ/m2,是纯PLA的4.9倍;随着PMA用量的增加,共混物的断裂伸长率提高;拉伸强度先升高后降低,PMA加入量在12.5份时,共混物的拉伸强度达到最大。