光盘的出错率分析和研究

本文通过对光存储系统出错特性的分析，研究了一些描述出错特性的主要参数，并且给出了描述出错特性的Ｇｉｌｂｅｒｔ模型及其改进型模型。     

同步辐射X射线光刻掩模镀金工艺的研究

介绍了利用北京正负对撞机(BEPC)同步辐射X射线光刻装置,进行LIGA工艺技术深结构光刻实验研究,详细论述了X射线光刻使用的掩模制备过程及掩模镀金工艺,在国内最早曝光出直径为400μm、厚为27～45μm的三维立体齿轮胶图形。     

可调谐的双波长钛宝石激光器

一台可调谐钛宝石激光器两个波长同时运转,在数ns以内同步,相对波长差最大可达55nm。观测到明显的两种波长激光的竞争和关联。由BBO实现了两波的和频与倍频。     

面向对象工程数据库管理系统O2S并发事务模型

Ｏ２Ｓ是我们在ＳＵＮ工作站上开发的一面向对象工程数据库管理。本文针对工程应用域事务的嵌套性，长时性，数据库逻辑分区性和涉及数据量大的四个显著特点，阐述了Ｓ２Ｓ的事务管理模型。对工程域事务的管理，数据库的恢复和封锁技术进行了讨论。     

超导／半导兼容材料的制作及性能分析

介绍了几种结构合理的超导／半导兼容材料的制作技术及其测试结果，重点讨论了超导体（ＹＢＣＯ）与半导体（Ｓｉ，ＣａＡｓ）间缓冲层的选取，并对这几种复合材料的性能作了较详细的分析。     

Dynamic analysis of the NPP pressure sensor system

The aim of the work was to develop on-line methods of control and diagnostics of pressure sensors at a NPP. The analysis was carried out along two lines:

1. i) The detection system including the sensor itself was modeled theoretically to obtain and study its transfer function, and to establish correspondence between the spectral characteristics of the pressure signal.

2. ii) The numerical processing of the signal using the AR technique to reconstruct the transfer function and evaluate the system's response, to a step impulse, as well as the spectral analysis. The hydraulic model presented indicate that the spectral lines observed at 10 Hz are due to longitu-dinal oscillations of water in the system branches, while the response time of the detection system is effectively the time of signal retardation in the porous ceramic diaphragms of the δ-cell of the sensor itself.

     

A scheduling decision aid in glass fiber manufacturing

A decision aid for scheduling production in glass fiber manufacturing industry is described. The methodology combines a linear programming (LP) optimization model with a heuristic model. The LP model determines production goals; the heuristic model then uses the LP output to incorporate system-specific constraints in developing processing sequences.     

The VLISP verified PreScheme compiler

This paper describes a verified compiler for PreScheme, the implementation language for thevlisp run-time system. The compiler and proof were divided into three parts: A transformational front end that translates source text into a core language, a syntax-directed compiler that translates the core language into a combinator-based tree-manipulation language, and a linearizer that translates combinator code into code for an abstract stored-program machine with linear memory for both data and code. This factorization enabled different proof techniques to be used for the different phases of the compiler, and also allowed the generation of good code. Finally, the whole process was made possible by carefully defining the semantics ofvlisp PreScheme rather than just adopting Scheme's. We believe that the architecture of the compiler and its correctness proof can easily be applied to compilers for languages other than PreScheme.This work was supported by Rome Laboratory of the United States Air Force, contract No. F19628-89-C-0001, through the MITRE Corporation, and by NSF and DARPA under NSF grants CCR-9002253 and CCR-9014603. Author's current address: Department of Computer Science and Engineering, Oregon Graduate Institute, P.O. Box 91000, Portland, OR 97291-1000.The work reported here was supported by Rome Laboratory of the United States Air Force, contract No. F19628-89-C-0001. Preparation of this paper was generously supported by The MITRE Corporation.This work was supported by Rome Laboratory of the United States Air Force, contract No. F19628-89-C-0001, through the MITRE Corporation, and by NSF and DARPA under NSF grants CCR-9002253 and CCR-9014603.     

用面向对象编程实现问题求解自动化

本文从面向对象方法基本原理和面向对象编程的技术特征出发，阐明所建应用软件系统中的对象，类及相应类层次结构和类组合结构，使系统具有很强的表现真空世界复杂系统结构的能力，系统通过消息传递在程序执行中实现对操作的调用机制，使之在面向用户问题选择和执行求解策略方面有很强的适应性，这一点对于强调人－机交互和解题协作的智能决策支持系统设计至关重要，文章给出了用Ｃ＋＋实现的模型对象系统及消息传递机制。