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.     

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

BaFe12O19/SiO2-B2O3微晶玻璃陶瓷的制备和微波性能

采用柠檬酸sol-gel工艺合成了BaFe12O19/SiO2-B2O3微晶玻璃陶瓷，研究了SiO2-B2O3玻璃的含量，Ba/Fe原子比和热处理温度对体系析出晶相的影响，以及介电常数和磁异率在1MHz-6GHz频率范围的变化规律，结果表明，休系中SiO2-B2O3玻璃的含量和Ba/Fe比越高，BaF312O19相的析出越困难，前驱体合适的热处理温度为1000℃，介电常数和磁导率基本上随测试频率的增而加下降；介电损耗的最大值为0．43，磁损耗较小。     

8Li次级束的产生

在北京串列加速器次级束流线上通过2 H(7Li,8Li) 1H逆运动学反应产生了用于核天体物理研究的8Li次级束。准直后的次级束纯度达到 80 %以上 ,对于 44MeV的7Li强度约为 3 0s- 1·pnA- 1,可以用来进行逆几何转移反应的实验测量。     

露天矿半连续工艺技术应用现状及发展前景

介绍了露天矿半连续工艺技术国内外应用现状、研究成果以及发展趋势。     

金刚石膜的计算机虚拟制备技术中的分子动力学模拟

综述了近年来金刚石薄膜形成过程的分子动力学（Molecular Dynamics，简称MD）模拟研究，详细地阐述了原子间相互作用势的选取，总结了不同沉积条件下MD的计算模型和几种典型情况下的模拟结果。研究表明：在原子尺度上，MD方法能较全面地提供有关膜生长的信息，对进一步了解金刚石膜形成的微观机制以及为细观层次仿真提供基本信息均具有重要意义。     

纳米β-NiOOH的固相合成及其性能

首次利用固相氧化法制备了 β NiOOH纳米粉体样品 ,经X射线衍射和透射电镜测试结果表明所得样品 β NiOOH粒子呈球形 ,粒径大小在 2 0～ 40nm之间。热重与差热分析结果表明当温度超过 10 0℃ ,样品开始不可逆地分解为NiO。运用恒流充放电、循环伏安以及Tafel极化等电化学测试对样品的电化学性能进行了初步研究。结果表明 :β NiOOH的交换电流密度高于 β Ni(OH) 2 的交换电流密度约一个数量级 ,具有较好的电极可逆性、较高的质量比容量以及优良的容量保持率 ,适于作为Zn/NiOOH类型镍电池的正极活性材料     

Cooling and Solidification of Melted Drops in an Immiscible Cooling Medium

The cooling and solidification of melted drops during their movement in an immiscible cooling medium is widely employed for granulation in the chemical industry, and a study of these processes to provides a basis for the design of the granulation tower height and the temperature of the cooling medium is reported. A physical model of the cooling and solidification of the drop is established and the numerical calculation is performed. The influences of the key factors in the solidification, i.e., Bi number, drop diameter, temperature of the cooling medium, etc. are presented. The cooling and solidification during wax granulation in a water‐cooling tower and during urea granulation in an air‐cooling tower (spraying tower) are described in detail. Characteristics of the solidification and temperature distribution within the particle at different times are shown. The model and calculations can be used for structure design of the granulation tower and optimization of the operation parameters.