Reduction mechanism of tioglycolic acid on keratin fibers using microspectrophotometry and FT-Raman spectroscopy

In order to investigate the reduction mechanism of thioglycolic acid (TG) on the keratin fibers, cross-sectional samples of white human hair treated with TG were prepared. The heterogeneous reaction between TG and keratin fibers involving the diffusion of TG into human hair was analyzed at the molecular level using microspectrophotometry and FT-Raman spectroscopy. The diffusion of TG into human hair clearly increased by increasing the treatment time and by raising pH. The TG relative concentration and the disconnected relative concentration of disulfide (–SS–) groups at various depths of the hair samples with pH 9.0 were in good agreement, indicating that the reaction rate (the disconnection of –SS– groups) was faster than the diffusion rate of TG into human hair. From these experiments, we demonstrated that TG diffuses gradually beyond the cuticle region, and toward the inside of the cortex region along with the disconnection of –SS– groups.     

一种新的网络对象存储设备研究

Internet的飞速发展对于存储系统的可扩展性提出了很高的要求,也带来了由数据模型与存储模型的不一致问题引起的服务器性能瓶颈现象.针对这些情况,本文提出了网络对象附属存储设备(NAOSD)的概念,其利用设备处理器的能力直接支持结构化数据存储.这一设计减少了存储系统中数据服务器的负载,增加了系统吞吐量.同时,研究了该设备原型在集群环境中的应用,提出了数据/元数据统一存储与查询式数据定位机制.分析表明,这些机制能够较显著地提高系统扩展性——数据访问时间随系统规模的扩大呈对数增长,优于传统的映射定位机制.我们已经模拟实现了NAOSD,并在性能比较测试中取得了较好的效果.     

用于高频谐振器的PbTiO_3基压电陶瓷

传统的PZT压电陶瓷的相对介电常数较大,一般为1 000以上,用于高频谐振器不易与线路匹配;而PbTiO3基压电陶瓷的相对介电常数较小,一般仅为200左右,对于10 MHz以上频率的谐振器,用PbTiO3基压电陶瓷作为压电振子是最佳的选择。本文主要研究用于高频谐振器的MnO2和Nd2O3改性PbTiO3基压电陶瓷的性质。PbTiO3基压电陶瓷的性质的改善是与此种陶瓷的制备工艺,显微结构和电导机制紧密相关的。     

Investigation into polishing process of CVD diamond films

A new technique used for polishing chemical vapor deposition (CVD) diamond films has been investigated, by which rough polishing of the CVD diamond films can be achieved efficiently. A CVD diamond film is coated with a thin layer of electrically conductive material in advance, and then electro-discharge machining (EDM) is used to machine the coated surface. As a result, peaks on the surface of the diamond film are removed rapidly. During machining, graphitization of diamond enables the EDM process to continue. The single pulse discharge shows that the material of the coated layer evidently affects removal behavior of the CVD diamond films. Compared with the machining of ordinary metal materials, the process of EDM CVD diamond films possesses a quite different characteristic. The removal mechanism of the CVD diamond films is discussed.     

微米／纳米技术及其应用

介绍了当前国际上关于微米、纳米技术及其在微型机械、微型机械电子系统以及在专用集成型仪器等方面的应用。     

一种有效的并行汉字／字符串相似检索技术

本文提出了一种有效的并行汉字／字符串相似检索技术．通过引入搜索状态向量及字符一模式匹配向量，该技术将字符串匹配比较转化为简单的整数字位运算，通过对字符串方向相反的搜索有效地实现了多处理机对汉字／字符串的并行相似检索．文中也给出了并行实现算法，同时分析了算法的复杂性．     

Formation and growth mechanism of TiC crystal in TiC_p/Ti composites

1　ＩＮＴＲＯＤＵＣＴＩＯＮＰａｒｔｉｃｌｅｓｒｅｉｎｆｏｒｃｅｄｔｉｔａｎｉｕｍａｌｌｏｙｍａｔｒｉｘｃｏｍｐｏｓｉｔｅｓ(ＴＭＣｐ)ｈａｖｅｗｉｄｅａｐｐｌｉｃａｔｉｏｎｆｉｅｌｄｓｆｏｒｔｈｅｉｒａｔｔｒａｃｔｉｖｅｈｉｇｈｓｐｅｃｉｆｉｃｓｔｒｅｎｇ     

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.     

宽带放大器可靠性问题浅析

叙述了国产高频宽带放大器的质量和可靠性现状，详细介绍了这类产品的质量一致性检验、可靠性摸底试验和现场使用过程中出现的可靠性问题，用统计的方法得出了可靠性特征量，通过对失效样品的失效分析，总结出宽带放大器主要的失效模式和失效机理，并提出了消除和减少失效、提高宽带放大器可靠性的措施和建议。