Prolog逻辑程序的测试方法

Prolog逻辑程序设计语言具有不同于传统程序设计语言的特点.本文根据测试Prolog程序的实践,提出了一系列为Prolog程序生成测试用例的准则.按这些准则测试实际程序效果良好.这是在逻辑程序测试新领域迈出的一步.     

微波仪器远程自动测试系统的设计与实现

针对大多通信测试仪器仅局限于本地测试监控的现状,提出了一种将本地测试仪器用于对远程微波设备进行测试监控的开发模式,从而实现了远程仪器的自动化测试。分别就系统中的关键技术和交互方式作了详细的介绍,得出系统具有较强的可扩展性,且简单易操作的特点,相信该系统会有广阔的的应用前景。     

EXPERIMENTAL STUDIES AND NUMERICAL CALCULATION ON TURBULENT BOUNDARY LAYER OF WATER FLOW ALONG CURVED SURFACE

This paper will introduce experimental studies and numerical calculation onturbulent boundary layer of water flow along curved surface in our country in recent years.Onthe basis of the experimental studies,the effects of curvature and roughness on velocitydistribution and pressure distribution and the change of turbulent flow boundary layer onoverflow bucket concave surface is discussed.We proposed the empirical formula of velocity,pressure and the change of turbulent flow boundary layer on outlet bucket concave.According tothe momentum principle,we have deduced the momentum integral equation full water depthboundary layer and using the element as control unit inside the boundary layer on concavesurface of bucket.Combining with continuity equation,we have computed the boundary layerdevelopment on the bucket of a spillway.Compared with the field experimental data,thecalculation results are available.Under polar coordinates,a mathematical model for simulatingtime-averaged flow characteristics in concave surface of bucket is established.The turbulent flowfield on concave surface of bucket is calculated by SIMPLE method and this mathematicalmodel.The flow velocity field,pressure field,distribution of turbulent kinetic energy,distribution of turbulent energy dissipating rate and distribution of shear stress are available.Thecalculation value is consistent with measured test data.     

反应离化团束（RICB）法生长CN硬质薄膜

用反应离化团束（ＲＩＣＢ）法，以低分子量聚乙烯为蒸发材料，氨气为反应气体，在ＮａＣｌ（１００）和Ｓｉ（１００）衬底上淀积Ｃ－Ｎ薄膜，透射电子衍射（ＴＥＭ）分析表明薄膜中含有β－Ｃ３Ｎ４晶粒，Ｘ射线光电子谱（ＸＰＳ）和红外吸收谱（ＩＲ）表明存在Ｃ，Ｎ原子的化学键合。     

凝胶—溶胶法制备针状和纺锤状α—Fe2O3

采用凝胶－溶胶法由Ｆｅ（ＯＨ）３凝胶在微量有机络合剂存在下制备出了特殊形状的α－Ｆｅ２Ｏ３粒子，如针状、纺锤状和椭球状。研究了不同晶体成长剂对Ｆｅ（ＯＨ）３转化为α－Ｆｅ２Ｏ３的相转化过程。     

红外遥感用低温制冷器的进展

低温制冷器与红外探测器配套，是军事现代化、高新技术等急需发展的关键产品。国内研制技术也已接近国际先进水平，基本掌握了小型化、低振动、长寿命、细方形漆包线制作、间隙密封、消除电磁干扰等相关关键技术。本文列出了已研制过的直线电机谐振压缩机的主要技术性能。希望主管、用户、研制、生产各方通力合作，应用－改进－再应用－再改进，实现我国低温制冷器的产业化。     

LIGA技术制作微反应器的研究

介绍了微反应器的基本原理，根据化学反应传质和传热的需求，对反应微管道的几何形状和尺寸进行了初步设计，并利用LIGA技术制作完成了一种用于催化反应的微反应器。     

指纹细节特征提取与剪枝

指纹图像经预处理后，由于各种原因，会产生数以百计的特征。为了图像匹配的精确和快速，提出一套在细化后的指纹点线图上提取细节特征并对其剪枝的方法，并根据细节特征的拓扑特性，设计了验证其可靠性的算法。通过实验，证明了该后处理过程在去除指纹图像伪特征方法面具有良好的效果。     

聚乳酸的改性以及活性聚合方法

对聚乳酸这种具有生物降解性和生物相容性的高分子材料的化学改性和活性聚合近年来的研究工作进行了综述，化学改性主要涉及丙交酯和水溶性聚合物的共聚，而许多物质可以引发丙交酯的活性聚合，特别是带官能团的烷氧基类化合物更具有实际的应用价值。     

EGS程序图形化输入平台的开发

为了使EGS能够更加方便地被工程人员使用，使用VC^ 语言开发出一套运行于Windows下的EGSWIN程序，其中包括一个图形化的输入平台，通过使用本程序，用户可以仅仅进行简单而直观的输入几何实体的工作，就可以实现区域的定义。极大的提高了EGS的使用效率。