组合结构体的控制爆破拆除

根据待拆构筑物的结构特点和周围环境，分析论述构件倒塌的可能性。因地制宜选择，制定出合理的爆破方案。并通过对爆破参数，起爆网络，安全防护等进行精心设计和施工，拆除爆破达到了预期的效果。     

反铁磁晶体的红外频率特性

研究了红外频段非线性s偏振表面波在反铁磁晶体和电介质交界面上的频率特性，求出了非线性色散方程，揭示了非线性s偏振表面波存在一个临界频率，低于这个频率，非线性s偏振表面波的频率范围，发现功率不再是决定导波频率范围的唯一因素，两种材料的介电常数比在这里起了至关重要的作用。     

高含沙水深井泵站的综合治理

对攀钢动力厂深井泵站自投产以来出现的主要问题及其解决方案，方法进行了分析和论述。     

Multispectral data compression using bidirectional interbandprediction

The introduction of high spatial and spectral resolution sensors on-board remote-sensing spacecraft has increased, by orders of magnitude, the data rates which need to be sustained on the down-link or cross-link transmission channels. Since these channels are severely limited in capacity, the need arises to perform on-board compression to reduce the volume of data which would need to be down-linked. This paper discusses the development and refinement of a low complexity lossy spectral/spatial compression method which provides high compression ratios at low levels of distortion. The developed techniques uses pixels in adjacent bands to predict the intensity of pixels in the band being compressed via a simple linear prediction model. This prediction method when combined with a low-distortion discrete cosine transform (DCT) block coding method yields performance comparable to block-adaptive Karhunen-Loeve Transform (KLT)-DCT methods without incurring the complexity penalty of the KLT. The methods' performance suffers under misregistration. A fractional-pixel interpolation enhancement to the basic technique significantly improves the performance in the case of misregistered bands     

Mean residence time of gas in mechanically agitated gas–liquid contactors

In the present study of gas–liquid contactors, mean residence/contact time was calculated from knowledge of superficial velocity and the gas phase hold-up, for various gas rates and impeller geometry and speeds, and compared with values obtained from RTD measurements. A new correlation, involving Flow Number, Froude Number, system geometry and the physical properties, is proposed. This uses the authors data and those available in literature.     

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.     

运用NOAA AVHRR和Landsat TM数据估算多年水稻种植面积

介绍了综合运用NOAA AVHRR和Landsat TM数据进行多年水稻种植面积监测的一种方法,以湖北省为例,首先运用Landsat TM数据计算了该省1992年的水稻种植面积;接着运用1992年和1994年的NOAA AVHRR数据分别计算这两年的水稻像元数,以这两年水稻像元数的变化来反映水稻种植面积的变化;最后运用线性模型,估算1994年的水稻种植面积。所得的1994年水稻种植面积与湖北省农调队资料相比精度为84.5%。运用同样的方法估算1995年该省的水稻种植面积,精度达90%以上。     

NMOS器件两次沟道注入杂质分布和阈电压计算

分别考虑了深浅两次沟道区注入杂质在氧化扩散过程中对表面浓度的贡献。对两次注入杂质的扩散分别提取了扩散系数的氧化增强系数、氧化衰减系数和有效杂地系数，给出了表面浓度与工艺参数之间的模拟关系式，以峰值浓度为强反型条件计算了开启电压，文章还给出了开启电压、氧化条件、不同注入组合之间的关系式。     

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