ZG31Mn2Si履带板的铸造工艺

采用ＺＧ３１Ｍｎ２Ｓｉ替代ＺＧＭｎ１３生产拖拉机和推土机履带板．改进铸造工艺，可以生产出合格的铸件；经淬火、低温退火处理，其基体组织为马氏体，属强韧性钢种，能够切削加工．     

An integrated approach to the optimum utilization of national tungsten resources: Technology gaps

A critical review of the current status of tungsten resources, of state-of-the-art processing technology and of product development in India vis-a-vis the world scenario is presented. An attempt has been made to identify technology gap areas requiring attention.     

用分析－数值法求解非线性包装系统的产品破损边界曲线

应用非线性动力学方程的分析－数值解法，推导了矩形冲击时非线性包装系统的破损边界曲线，研究了非线性项对破损边界曲线的影响，分析了影响破损边界曲线安全区范围大小的因素。     

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特性材料的实验,实测了样品有关特性,并用非线性回归方法讨论了其导电机理.这对指导温度传感器的设计有一定帮助.     

脉冲序列的快速搜索法及可信度分析

对于周期脉冲序列的信号分选识别，可采用序列搜索的时域方法[1，2]。本文将大周期内完全重复的脉冲序列分解为多个“单周期信号”．并把它们均定义为周期性信号．同时，提出了序列搜索的一种软件实现方法及密集视频脉冲信号分选的变步长、信步长快速搜索法．在此基础上，本文针对序列搜索分选法的可信度计算公式进行了推导和分析，证实了这种方法的可行性和有效性．     

基于MPLS骨干网络的VPN解决方案

现有的虚拟专用网(VPN)方案大多基于IP协议,这种结构的VPN在数据包转发速度、扩展性、服务质量等方面都存在欠缺,所以本文提出了基于多协议标记交换(MPLS)骨干网络的VPN解决方案.由于MPLS和IPSec在身份认证方面都没有定义,所以我们在方案中把认证中心(CA)的证书管理引入进来.该方案的核心思想是:利用MPLS在传输效率上的优势,通过CA进行身份认证、IKE协议^[1]进行密钥协商以及IPSec协议^[2]进行数据包加密,从而在MPLS骨干网络上建立一个安全高效的VPN.本文对实现MPLS VPN的每个关键部件都做了进一步的描述.     

环境友好阻燃环氧树脂覆铜板研究进展

论述了环境友好阻燃环氧树脂覆铜板研究开发的意义。提出通过开发并使用含氮、磷或硅的非卤阻燃型环氧树脂,含磷、氮或磷-氮的功能性阻燃固化剂和在体系中添加有机磷阻燃剂、氢氧化铝等无机阻燃剂等途径来开发环境友好阻燃环氧树脂覆铜板。并对我国在今后该领域的研究作了展望。     

几种数据压缩算法的比较

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