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

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

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

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

日本滑板技术的最新发展

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

分布式光伏并网电压和功率因数协调控制策略

为应对分布式光伏并网引起的电压越限和功率因数超标问题,提出了一种改进的分布式光伏并网电压和功率因数协调控制策略。该策略包括电压控制策略和功率因数控制策略,电压控制策略采用优先控制光伏发出的无功功率,当无功容量不足时降低有功功率的方法调节并网点电压;功率因数控制策略控制光伏发出的无功功率以调节用户考核点功率因数。针对2种控制策略分别设计了比例积分控制器,最后通过算例,在RT-LAB仿真环境中验证了所提控制策略的有效性。     

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份时,共混物的拉伸强度达到最大。     

薄煤层高档普采工作面过断层技术研究与应用

本文结合赵坡煤矿12311、12312工作面开采经验,分析了高档普采工作面过断层的开采技术。薄煤层高档采煤工作面过断层的安全十分重要,本文通过对12311、12312采煤工作面断层存在方式及矿压显现规律的分析,分析了过断层的技术、方法,总结了薄煤层高档采煤工作面过断层的安全技术。     

全球竞争时代的城市与区域发展战略

作者认为在全球竞争时代，区域和城市规划的战略调整必须适应当代经济技术发展的特点，英国的新城规划和日本的科技城规划都是以促进区域经济技术发展、提高生活质量、减少区域与城市间差距为目的的战略举措，并且在不同方面和程度上取得了实效。     

二哌啶乙烷的合成及其在合成聚丁二烯中的应用

合成了二哌啶乙烷（ＤＰＥ），并进行了分析与鉴定。采用ＤＰＥ做丁二烯阴离子聚合的调节剂，考察了ＤＰＥ／ｎ－ＢｕＬｉ（正丁基锂）和ＤＰＥ／α－ＭＮＬｉ（α－甲基萘锂）比值对形成１，２－聚丁二烯（１，２－ＰＢ）微观结构调节规律，得到了１，２－结构近１００％的聚丁二烯。采用高分子设计方法，通过引入ＤＰＥ合成了１，４－１，２两嵌段和１，２－１，４－１，２三嵌段聚丁二烯，ＤＳＣ－ＤＴＡ示差扫描量热计测示表明：聚丁二烯的１，２－结构含量影响其玻璃化转变温度（Ｔｇ），一定嵌段比的聚丁二烯可以产生微观相分离