小卫星及多星测控的技术发展

本文从小卫星、星座飞速发展以及对测控通信系统新的要求出发，介绍了综合基带、连续波多波束相控阵天线的功能、特点及工作原理，提出了建立新型多功能智能化测控通信站的设想。     

Proving termination of GHC programs

A transformational approach for proving termination of parallel logic programs such as GHC programs is proposed. A transformation from GHC programs to term rewriting systems is developed; it exploits the fact that unifications in GHC-resolution correspond to matchings. The termination of a GHC program for a class of queries is implied by the termination of the resulting rewrite system. This approach facilitates the applicability of a wide range of termination techniques developed for rewrite systems in proving termination of GHC programs. The method consists of three steps: (a) deriving moding information from a given GHC program, (b) transforming the GHC program into a term rewriting system using the moding information, and finally (c) proving termination of the resulting rewrite system. Using this method, the termination of many benchmark GHC programs such as quick-sort, merge-sort, merge, split, fair-split and append, etc., can be proved. This is a revised and extended version of Ref. 12). The work was partially supported by the NSF Indo-US grant INT-9416687 Kapur was partially supported by NSF Grant nos. CCR-8906678 and INT-9014074. M. R. K. Krishna Rao, Ph.D.: He currently works as a senior research fellow at Griffith University, Brisbane, Australia. His current interests are in the areas of logic programming, modular aspects and noncopying implementations of term rewriting, learning logic programs from examples and conuterexamples and dynamics of mental states in rational agent architectures. He received his Ph.D in computer science from Tata Institute of Fundamental Research (TIFR), Bombay in 1993 and worked at TIFR and Max Planck Institut für Informatik, Saarbrücken until January 1997. Deepak Kapur, Ph.D.: He currently works as a professor at the State University of New York at Albany. His research interests are in the areas of automated reasoning, term rewriting, constraint solving, algebraic and geometric reasoning and its applications in computer vision, symbolic computation, formal methods, specification and verification. He obtained his Ph.D. in Computer Science from MIT in 1980. He worked at General Electric Corporate Research and Development until 1987. Prof. Kapur is the editor-in-chief of the Journal of Automated Reasoning. He also serves on the editorial boards of Journal of Logic Programming, Journal on Constraints, and Journal of Applicable Algebra in Engineering, Communication and Computer Science. R. K. Shyamasundar, Ph.D.: He currently works as a professor at Tata Institute of Fundamental Research (TIFR), Bombay. His current intersts are in the areas of logic programming, reactive and real time programming, constraint solving, formal methods, specification and verification. He received his Ph.D in computer science from Indian Institute of Science, Bangalore in 1975 and has been a faculty member at Tata Institute of Fundamental Research since then. He has been a visiting/regular faculty member at Technological University of Eindhoven, University of Utrecht, IBM TJ Watson Research Centre, Pennsylvania State University, University of Illinois at Urbana-Champaign, INRIA and ENSMP, France. He has served on (and chaired) Program Committees of many International Conferences and has been on the Editorial Committees.     

EVA基质PTC特性材料制备与导电机理分析

本文简述了以EVA为基质材料制备有机PTC特性材料的实验,实测了样品有关特性,并用非线性回归方法讨论了其导电机理.这对指导温度传感器的设计有一定帮助.     

敏捷夹具构型设计系统的体系结构、知识表达与推理策略

介绍了敏捷夹具系统的基本特征，提出了敏捷夹具构型设计系统的体系结构，论述了敏捷夹具构型设计的知识表达、推理策略及其实现方法。     

新型硅蜡乳液的制备

将蜂蜡用复合乳化剂乳化时加入自制的乳化助剂，制得稳定的蜡乳液，将该乳液与羟基蛙油乳液复配，制得乳白色略带蓝光硅蜡乳液，该硅蜡乳液用于绵羊服装革作顶层手感改善剂，除了获得油润的蜡感和滑爽感之外，还使成革具有抗菌和抗静电作用。     

磷钨酸乙醇染色法在嗜铬颗粒电镜X射线显微分析中的应用

通过比较常规透射电镜制样法、快速冷冻固定－冷冻超薄切片法及磷钨酸乙醇（EPTA）染色法在嗜铬颗粒透射电镜X射线显微分析中的应用，发现磷钨酸乙醇染色法能使嗜铬颗粒电子着色，从而较好地显示嗜铬颗粒的超微结构。同时磷钨酸乙醇染色法也以在一定程度上原位保留生物样品中元素，可以应用于检测样品元素含量的变化或比较样品元素含量的组间差别，提示磷钨酸乙醇染色法是一种可应用于透射电镜X射线显微分析的经济简便的生物样品制备方法。     

液晶显示驱动电路中Fibonacci型电荷泵单元

本文中所设计的电荷泵将用于手机液晶显示驱动模块中.通过对Fibonacci型电荷泵上升时间的估算,对减小上升时间和动态功耗进行折中考虑,本文提出优化开关频率的方法.用1.2μm CMOS双阱工艺参数对所设计的电荷泵进行模拟,结果表明这个电荷泵具有较快的上升速度和较高的效率.通过提高V_GS电平和保证开关管的衬底始终接在最高电位上,文中提出了一种新型Fibonacci电荷泵,它可以正常工作在从1.2V到5V变化的多种电源电压下.     

一种用于SOC设计中的智能I/O处理器的实现

文章介绍了SOC设计流程，智能I／O处理器组成，在开发该处理器对VHDL源代码的优化问题。     

几种数据压缩算法的比较

对几种数据压缩算法进行了总结,并针对实验数据表对其压缩率进行了比较。     

公路安全线轧压监测系统的研究及方案设计

严格公路黄色安全线尤其是交叉路段的管理，是保障交通安全通畅的重要前提之一。系统从实际出发，利用先进的摄像设备实时监测安全线的轧压现象，通过精确的图像处理，准确提取违章车辆的牌照号码，同时提供完善的数据管理功能，该文结合对系统核心技术的剖析，详细论述论证设计方案的可行性。