生物超微弱发光的光子计数成象方法

介绍了我们研制和设计的用于测量生物超微弱发光的光子计数成象系统，包括光子成象头，高帧频ＣＣＤ摄象机，图象采集系统和计算机，可以定量地探测出生物的发光强度分布 ，还能够显示出其发光的图象，确定发光的形状和位置，本系统的信噪比为１０：１，最小探测功率达１０＾－１６Ｗ，灵敏度高，动态范围大。     

An agent-based framework for cooperating expert systems in concurrent engineering

This paper describes an agent-based framework with a tandem integration architecture for cooperating distributed, heterogeneous, and autonomous concurrent engineering systems. The approach has been experimented with using the prototype AGENTS system. It is demonstrated that design tools can be dynamically connected and configured to construct highly complex systems on an incremental basis, designing and proving one system at a time without bothering the rest. A major advantage of the approach is the balance between the interoperability and the autonomy of individual systems.     

CCD应用中的高速图象数据采集技术

介绍了一种可用于精密光学测量的高速线阵ＣＣＤ图象数据采集系统，给出了系统组成、各单元设计考虑和主要技术指标。     

HS－2000型双反射镜补偿式高速摄影系统研究

介绍ＨＳ─２０００双反射镜补偿式高速摄影系统的补偿原理、结构及其试验结果。     

Object-oriented query language access to relational databases: A semantic framework for query translation

This research investigates and approach to query processing in a multidatabase system that uses an objectoriented model to capture the semantics of other data models. The object-oriented model is used to construct a global schema, defining an integrated view of the different schemas in the environment. The model is also used as a self-describing model to build a meta-database for storing information about the global schema. A unique aspect of this work is that the object-oriented model is used to describe the different data models of the multidatabase environment, thereby extending the meta database with semantic information about the local schemas. With the global and local schemas all represented in an object-oriented form, structural mappings between the global schema and each local schema are then easily supported. An object algebra then provides a query language for expressing global queries, using the structural mappings to translate object algebra queries into SQL queries over local relational schema. The advantage of using an object algebra is that the object-oriented database can be viewed as a blackboard for temporary storage of local data and for establishing relationships between different databases. The object algebra can be used to directly retrieve temporarily-stored data from the object-oriented database or to transparently retrieve data from local sources using the translation process described in this paper.     

Nonterminating Rewritings with Head Boundedness

We define here the concept of head boundedness,head normal form and head confluence of term rewriting systems that allow infinite derivation.Head confluence iw weaker than confluence,but sufficient to guarantee the correctness of lazy implementations of equational logic programming languages.Then we prove several results.First,if a left-linear system is locally confluent and head-bounded.then it is head-confluent.Second,head-confluent and head-bounded systems have the heau Church-Rosser property.Last,if an orthogonal system is head-terminating,then it is head-bounded.These results can be applied to generalize equational logic programming languages.     

一类连续时间广义边值系统的能控性和能观性

连续时间广义边值系统被描述为Ｅｘ（ｔ）＝Ａｘ（ｔ）＋Ｂｕ（ｔ），Ｖ０ｘ（０）＋Ｖｒｘ（Ｔ）＝ｖ，其中Ｅ是奇异方阵，ｕ（ｔ）满足任意次可微，本文讨论了一类连续时间广义边值系统的有关向内和向外边值过程的两个重要概念，并在此基础上给出了能控性和能观性定义和判别准则．     

多变量系统故障诊断和容错控制新方法及其在精馏过程中的应用

本文提出一种多变量系统的故障诊断和容错控制新方法，整个系统由四个神经元组成。将本文方法用于二元精馏塔顶和塔底组分的容错控制，仿真结果证实了本文方法的有效性。该方法可望在难以建模的复杂化工过程中得到应用。     

光盘用光学头物镜性能的综合评估

论述了采用波象差均方根、点扩展函数、光学传递函数对高次旋转对称非球面光学头物镜性能进行综合评估的方法。作者在正则坐标理论基础〔１〕上编制了光学头物镜性能综合评估软件。给出了评估实例。     

扩展有限递归进程模型

主要讨论离散事件动态系统的建模问题。由ＫＩｎａｎ和ＰＶａｒａｉｙａ提出的有限递归进程（ＦＲＰ）是描述并发离散事件动态系统的有力工具，但在其ＦＲＰ中，没有定义对数据变量的操作和条件转移算子。本文扩展ＦＲＰ包括这两方面内容。最后举例说明扩展ＦＲＰ的描述能力。