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

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

Existence of discrete-time LQG-controllers

Existence results for the LQG-controller are investigated. An infimal Riccati equation based controller may potentially give closed loop eigenvalues on the unit circle. Assuming left and right invertibility it is shown that there exists an optimal controller if and only if the Riccati equation based controller stabilizes the closed loop system after removal of all its unobservable and uncontrollable modes. Furthermore this reduced controller is the optimal controller, and its transfer function is unique. This existence condition is a considerable simplification of the more general geometric condition recently derived by Trentelman and Stoorvogel.     

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

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

Oxidation of methane in a wide range of pressures and effect of inert gases

The analysis of methane oxidation in a wide range of pressures (0.05–10 atm) demonstrates that the efficiency of CH₃ radicals recombination is of great importance for high selectivity of C₂ hydrocarbons formation. The relative efficiency of different “colliders” assisting the stabilization of exited C₂H*₆ molecules increases in the series: solid surface> Ar> He. The increase of the overall reaction rate upon increasing pressure of the inert gases in the case of catalysts having a higher surface area and more developed pore structure is likely due to the contribution of the surface-induced chain reaction in the volume of pores.     

一种弧焊机器人实时激光扫描视觉系统

研制了一种小型高精度弧焊机器人实时激光扫描视觉系统，对其各项性能进行了测试，并进行了抗电弧光干扰试验，结果表明，此系统精度高，抗干扰能力强，检测范围宽，能广泛地应秀于机器人和自动化焊接中。     

Al2O3—TiB2陶瓷刀具材料的高温氧化及其对刀具耐磨性能的影响

研究了Ａｌ２Ｏ３－ＴｉＢ２陶瓷刀具材料在１０００℃下的氧化行为，用ＸＲＤ、ＳＥＭ分析了氧化后的相组成及显微结构。结果表明：Ａｌ２Ｏ３－ＴｉＢ２陶瓷材料在１０００℃空气中氧化增重符合抛物线规律；随ＴｉＢ２含量的增加，该材料的抗氧化能力下降。     

Categorical ML — Category-theoretic modular programming

We consider an extension of the functional programming language Standard ML with a modular structure based upon concepts in category theory such as categories, functors, natural transformations and adjunctions. In essence, we are following the categorical imperative of considering arrows as well as objects. This is intended to enforce a certain mathematical rigour on the programmer, so that the only programs that can be expressed are those with a categorical significance. The essentially algebraic nature of category theory means that we may generate equational correctness conditions for the modular structure of programs, thus separating the correctness of individual functions from that of modules. We describe this programming language, give examples of its use, and explain how it is implemented in a type system.     

MPEG-2解码器中视频、音频同步的实现

本文分析了理想的MPEG－2信源解码器中视频、音频同步实现的关键，给出了实际的解码器中实现视频、音频同步会遇到的问题和解决的方法。实践证明，这些方法是有效的，已用于我们的MPEG-2信源解码器中。     

用纤维TiO2作光催化剂降解饮用水中腐殖质

用纤维状ＴｉＯ２作为光催化剂，采用间歇和连续两种操作方式，在Ｏ３／ＴｉＯ２／ＵＶ体系中处理含腐殖质的饮用水，使腐殖质去除率在９７％，纤维ＴｉＯ２可过滤回收，易于实际应用。     

水溶性丙烯酸共聚物对羊毛织物抗缩性能的研究

本文对水溶性丙烯酸共聚物的合成，以及其对羊毛织物的抗缩性能的影响作了较详细的研究和讨论。