低醛E2D树脂织物整理剂的研制

本文介绍了织物整理剂的发展概况，讨论了采用多元醇醚化２Ｄ树脂研究低醛织物整理剂，分析了其反应机理，总结出以脲，乙二醛，甲醛和乙二醇的原料合成Ｅ２Ｄ的方法及其优化工艺条件。     

一种新的T型栅加工技术

研制出的ＰＨＥＭＴ采用一种新的０．１μｍＴ型栅制备方法，将薄膜纵向可控变为横向可控，应用这一原理，对时间等参量进行控制，获得０．１～０．３μｍ微细金属栅条，此工艺应用于３ｍｍ器件研制，器件的直流跨导大于４００ｍＳ／ｍｍ，微波性能在４０ＧＨｚ时，Ｇｍａｘ达５．６７ｄＢ。特征频率ｆＴ可外推至７４ＧＨｚ，最高振荡频率ｆｍａｘ可达１３０ＧＨｚ。     

高Q Ba(Zn_(1/3)Ta_(2/3))O_3介质谐振器材料及其在毫米波系统中的应用

叙述了Ｂａ（Ｚｎ１／３Ｔａ２／３）Ｏ３介质谐振器材料的制备、结构、微波性能及典型应用。Ｂａ（Ｚｎ１／３Ｔａ２／３）Ｏ３介质材料介电常数εｒ为２９．５，频率温度系数τ≈０（－５５～＋８５℃），１０ＧＨｚ下最大无载Ｑ值１４７００，在２８ＧＨｚ测得Ｑ值约为４８００。这种材料具有高Ｑ值，特别适用于Ｘ以上波段作为振荡器电路中频率稳定元件。用这种介质谐振器已研制出８ｍｍ介质稳频微带耿氏振荡器，频率稳定度小于１０×１０－６／℃，最大输出功率达１８０ｍＷ。     

β—FeSi2／SIMOX—一种新结构的光电子材料

本采用固相外延法在ＳＩＭＯＸ衬底上生长了β－ＦｅＳｉ２薄膜，采用Ｘ射线衍射（ＸＲＤ），卢瑟辐背散射（ＲＢＳ）以及自动扩展电阻测量研究了样品的多层结构，Ｒａｍａｎ谱表征说明它与直接在硅片上生长的薄膜具有类似的晶格振动特性。     

Automated Theorem Proving in Temporal Logic:T-Resolution

This paper presentes a novel resolution method,T-resolution,based on the first order temporal logic.The primary claim of this method is its soundness and completeness.For this purpose,we construct the corresponding semantic trees and extend Herbrand‘s Theorem.     

知识库系统中的一种并发控制方法

本文给出了一个基于ＤＡＴＡＬＯＧ环境的知识库并发控制算法，算法的基础是两段锁（ＴＷＯＰＨＡＳＥＬＯＣＫＩＮＧ），它使用了相关和覆盖的概念，减少了被锁对象的数目，从而提高了系统的效率．最后给出了算法的正确性证明．     

ZnSe的MOVPE生长相图：以DMZn和H_2Se为源

本文基于热力学平衡计算，首次给出以ＤＭＺｎ和Ｈ２Ｓｅ为源，ＭＯＶＰＥ生长ＺｎＳｅ的相图．文中讨论了ＺｎＳｅ单一凝聚相区的范围，以及可能出现ＺｎＳｅ（ｓ）＋Ｚｎ（ｓ）或ＺｎＳｅ（ｓ）＋Ｓｅ（ｌ）两种双凝聚相区的条件．     

制备2，4－二氯－5－氟苯甲酰乙酸甲酯的缩合剂及工艺研究

通过３种不同的碱来制备２，４－二氯－５－氟苯甲酰乙酸甲酯，优选得到了其最佳缩合剂甲醇钠；同时应用正交设计实验，研究了原料配比、反应时间、反应温度对收率的影响，在优选条件下收率为７８．５％。