面向等价性验证的锁存器匹配算法

为了克服现有等价性验证技术中难以精确匹配锁存器的局限性,提出了一种结合多种方法的新型锁存器匹配算法.该算法结合任意模拟、局部二叉判决图、目标模拟3种方法来匹配锁存器,并使用了类似滤波器的思想,任意模拟对锁存器作初步快速匹配,提出的局部二叉判决图技术降低了发生内存爆炸的可能性,目标模拟则针对性地对锁存器作进一步的划分. ISCAS89电路实验结果表明,该算法与模拟和自动测试矢量生成等方法相比,在运行时间、占用内存和匹配精度等方面均体现出有效性,可用于处理较大规模的时序电路验证问题.     

铝合金阳极氧化废酸的再生

介绍了铝合金阳极氧化的工艺流程及其污染物的来源。采用离子膜分离技术处理阳极氧化废酸,研究了废酸的初始质量浓度和流量对硫酸回收率和铝离子去除率的影响。当废酸中硫酸的初始质量浓度为160 g/L、废酸流量为1.5 m³/h时,硫酸回收率可达到90.62%,铝去除率达到96.78%,回收所得硫酸可用于配制阳极氧化溶液。     

人血清白蛋白对模拟宫腔液中铜的光电响应特性的影响

用动电位伏安法，动电位光电流测量，表面膜的阴极还原和XRD分析等手段研究了铜在含或不含人血清白蛋白的模拟宫腔液（pH=7)中的电化学和光电化学行为，在不含白蛋白的模拟宫腔液中，铜电极表面生成的Cu2O呈n型光响应；一定量白蛋白存在时使Cu2O的光响应从n型转为p型，Cu2O在模拟宫腔液中呈n型光响应可归因于氯离子对Cu2O的掺杂，白蛋白排斥氯离子对Cu2O的掺杂，使其光响应从n型转为p型。     

非晶成带机的关键技术研究

介绍了中小型非晶带材生产设备的结构,分析了其控制系统的特点、实现控制的关键技术,并在实践的基础上提出了基于专家PID的控制策略,实现了对中小型非晶带材生产设备的高效控制,满足了实际生产的需要.     

螺栓联合机三序顶出凸轮的改进

我厂使用齐齐哈尔第二机床厂生产的Z47——12C螺栓联合自动机生产内六方螺钉,该机是八十年代我国自行设计、制造的先进冷镦设备。经过近2年来的实际工作,为适应我厂生产,我们对设备先后改造了三序顶出部分、自动搓丝机部分,取得成功。机床由冷镦机、搓丝机、料道三部分组成。不包括切断有三个变形工位:预成形、镦头和切边。加工内六方螺钉时,由于材料的变形工艺与六方头螺栓不同,不仅需要更换模具,而且还需要把第三序推出,改成与前两序(预成形、镦头)相同推出时间的结构,以便完成镦出内六角和缩杆的任务(图1)。这就是     

硬PVC家具及建筑用异型材的挤压成型

本文介绍了硬PVC异型材的挤压成型工艺、原料配方的选择,机头设计,以及异型材在门柜、衣柜、杂物柜、写字台等十多种框架结构上的应用。     

改性壳聚糖在化妆品中的应用研究

用 2 .3 环氧丙基三甲基氯化铵对壳聚糖进行改性 ,采用不同反应条件制备了一系列不同取代度的羟丙基三甲基氯化铵壳聚糖 (HACC)。通过红外光谱、核磁共振谱对结构进行表征 ,IR谱图分析证实以N上取代为主。研究了产物的取代度、吸湿保湿性、抗菌性、pH稳定性、与表面活性剂的配伍性。     

高掺量粉煤灰路面试验研究获得成功

据悉，“十一五”期间六盘水市的煤产量将达到4000万t／年，火电装机容量为1000万KW，粉煤灰排放量将逐步增到1000万t左右。为提高粉煤灰的综合利用率，拟将粉煤灰混凝土用于公路路面工程。     

活性端基聚氨酯橡胶改性不饱和聚酯树脂的研究(Ⅰ)

通过在不饱和聚酯树脂中加入活性端基聚氨酯橡胶对树脂进行增韧.树脂固化前,橡胶与不饱和聚酯树脂相溶性好;树脂固化时,橡胶中的不饱和双键可参与反应,并与树脂发生相分离.改性后,树脂的冲击强度可提高60%以上,而且拉伸强度、弯曲强度及马丁耐热温度等物理机械性能的保持率也达60%以上.     

羟基铁对污水厂二级处理出水中低浓度磷的深度处理性能

以自行开发的羟基铁作为除磷吸附剂,针对低磷浓度水研究了羟基铁吸附法深度除磷的影响因素及吸附动力学,并对污水厂二级出水进行吸附除磷试验。结果表明:当水中磷酸盐的初始浓度为0.5 mg/L、羟基铁投加量为0.03 g/L、反应体系pH值为6.0、反应时间为30 min、体系温度为25℃时,羟基铁对磷酸盐的去除率为98.3%,剩余磷酸盐浓度为0.008 mg/L;在15～35℃的吸附等温线均能用Langmuir等温吸附模型描述,模型的R~2均达到0.99以上;伪二级动力学方程能够更好地拟合羟基铁对磷的吸附过程,R~2均达到0.999以上;2 mol/L的NaOH溶液对载磷羟基铁进行解吸,解吸率为97.3%,连续再生3次后的吸附量为初始吸附量的88.1%,再生效果明显;二级出水经羟基铁吸附深度除磷后,出水TP降至0.02 mg/L,可有效控制受纳水体的富营养化。