新型水分散有机硅-聚氨酯共聚物的结构与性能

合成出含量为0%~12%的以二端羟丁基聚二甲基硅氧烷(DHPDMS)为部分软链段的新型水分散有机硅-聚氨酯共聚物(DHPDMS-PU)。NMR和FT-IR分析表明DHPDMS链段已被化学键入共聚物分子链中。比较透射和全反射衰减红外光谱发现,在含硅氧烷软链段的试样中,硅氧烷在成膜过程中逐渐向膜表面扩散,从而使材料具有较好的表面性能。随DHPDMS含量升高,DHPDMS-PU膜的水接触角增大,表面能减小;当DHPDMS含量超过7%时接触角渐趋于恒定。由分峰拟合发现氢键化的N-H含量随DHPDMS的增加而降低。     

非晶态TiO2-Ag薄膜的光催化性能研究

采用磁控溅射技术在玻璃基片上制备了非晶态的TiO2-Ag薄膜,用XRD、XPS、STS和椭圆偏光测厚仪等对薄膜的晶体结构、表面成分、电子结构和薄膜厚度进行了测试分析.试验和测试结果表明,薄膜呈非晶态,在薄膜表面存在单质Ag,其与Ti的原子浓度比为1.8:1.STS测试得到薄膜的禁带宽度为1.8eV.对10mg/L的亚甲基蓝溶液光催化脱色实验表明,随着薄膜厚度的增加,光催化脱色率递增,当厚度达360nm时,薄膜对亚甲基蓝的脱色率在2h达90%以上,当厚度＞360nm时,光催化脱色率不再增加;对2mg/L罗丹明B溶液光催化脱色实验表明,其脱色率对薄膜厚度的增加不敏感,薄膜对罗丹明B的脱色率在3h内达到88.7%.     

膨胀珍珠岩及其制品的生产

序言“膨胀珍珠岩及其制品的生产”是一篇综合性报导,它是全苏建筑材料工业科学技术情报及经济科学研究所和匈牙利建筑情报中心(技术管理处)根据“在苏联和匈牙利国家科学技术情报体系合作的基础上发展建筑和建筑材料工业科学技术情报”研究课题双方共同协作的结果。近年来,苏联和经互会成员国把很大的注意力集中在隔热材料上,其中包括以膨胀     

制备工艺参数对镁合金表面沉积TiCN薄膜耐蚀性的影响

采用射频磁控溅射法在AZ31镁合金表面沉积TiCN薄膜,研究了制备工艺参数对TiCN薄膜耐腐蚀性能的影响。结果表明,在Ti靶功率50W,C靶功率50W,N2流量20sccm,溅射时间4.5h条件下,镀TiCN薄膜的镁合金基体具有最佳的耐蚀性,其在3.5%(质量分数)NaCl溶液中的腐蚀电流密度为1.664×10-6 A/cm2,比同等条件下纯镁合金基体的腐蚀电流密度(1.785×10-5 A/cm2)下降了1个数量级。     

石棉工业的科学研究中心

国立全苏石棉工业研究设计院,1950年建立于石棉城——位于世界最大的巴热诺夫石棉矿床地区的国家石棉工业中心。该院的主要研究方向是: 石棉矿床露天采矿工艺的改进; 石棉矿石选矿工艺的改进; 石棉工业新型选矿设备的设计,试验和推广应     

铁电复合物PZT/P[VDF(77)-TrFE(23)]退极化场系数的电场与温度效应

用自建的适合厚片材料测量的介电测试系统研究了不同组分含量的ＰＺＴ／Ｐ（ＶＤＦ（７７）－ＴｒＦＥ（２３））０－３型铁电复合物厚片介电系数的电场和温度依赖性,在低电场和室温附近的温度范围,由Ｂｒｕｇｇｅｍａｎ方程预测的介电系数和实验值较为接近。Ｙａｍａｄａ模型通过退极化场系数Ｌｚ的变化,可拟合复合物介电系数的电场和温度依赖关系。结果显示Ｌｚ随电场的升高而降低,随温度的改变（升温、降温过程）而与复合物介     

基于模糊数据融合的刀具磨损状态辩识

选取能够充分反映刀具磨损状态的振动信号和功率信号作为研究对象,采用正交小波变换技术,提取刀具磨损特征信号,利用该特征信号建立了振动幅值变化与刀具磨损量间的关系,计算出基于振动信号的刀具状态特征值,定性地识别出刀具磨损状态;对功率信号,采用统计分析方法,通过均方根处理提取出刀具磨损特征信号,并以信号强度的变化来表征刀具的磨损情况;为了避免单一特征信号提供刀具状态信息的局限性,采用模糊数据融合方法对振动、功率特征信号进行融合,获得更加全面、准确的刀具磨损状态;实验结果表明,基于模糊数据融合的刀具磨损状态识别比单一传感器系统对刀具磨损状态识别更为可靠.     

并发系统概率空间的形式化构造方法

本文用Paulson归纳法描述并发系统,对系统执行的不确定性进行建模,给出了一种适合定义测度的产生集合,利用测度评估函数将产生集合的测度与有限执行序列的测度联系起来;证明执行序列集合上的测度满足非负性和可列可加性,利用测度扩张定理构造并发系统执行序列集合上的概率空间。所有证明脚本经过定理证明工具Isabelle／HOL／Isar的检查。     

BP神经网络在测距误差补偿中的应用

文章提出了一种采用BP前馈神经网络补偿超声波测距受温度、湿度变化而引起的误差的方法,详细介绍了如何利用BP神经网络数据融合方法补偿超声测距传感器误差的实现方法,给出了该方法在室外测距仪中的应用实例。实际应用表明,该补偿方法明显提高了超声测距的精度,适用于高精度要求或复杂环境下的超声测距。     

电梯控制系统在Isabelle/HOL中的活动性证明

电梯控制系统经常被用于展示形式化验证方法的有效性。将电梯控制系统看作一个并发系统,利用Paulson归纳法对其进行描述。在定理证明工具Isabelle/HOL/Isar中给出了电梯控制系统的活动性证明。该方法能够处理状态空间任意大的电梯控制系统。