具有未知时滞的线性连续系统的辨识

本文给出了一种频域方法,它能用来辨识具有未知时滞的连续过程.     

基于CCD的激光微位移测量系统研究

介绍了一种基于多普勒效应的可进行动态微位移测量的激光微位移测量系统。该系统以He-Ne激光器为光源,配以干涉系统移动方向判别及分频系统、CCD视频信号的高速动态采集系统、微机处理系统及干涉图处理软件包等。与传统测量方法相比,其精度、灵敏度及稳定性都有较大提高,并实现了微位移的全自动测量。     

基于FPGA的红外焦平面成像电路的研究

介绍了以FPGA器件为核心的红外焦平面成像电路的组成原理，并对几个关键性技术进行了分析。     

一个改进的单抓钩周期性排序模型及其在自动化学处理线中的应用

计算机控制的抓钩广泛用于自动化学处理线的工件的运送。抓钩的排序直接影响系统的生产率，抓钩排序的目标是对运送进行排序以极大化生产率。当某工序处理时间非常长时，该工序成为瓶颈。为了去除该瓶颈，系统可以为该工序设计多个处理槽，这称为“多重处理槽”问题。本文提出一个改进的混合整数规划模型以求解有“多重处理槽”的单抓钩周期性排序问题的最优解。实例表明所提出的方法是有效的。     

Kripke Semantics for Modal Substructural Logics

We introduce Kripke semantics for modal substructural logics, and provethe completeness theorems with respect to the semantics. Thecompleteness theorems are proved using an extended Ishihara's method ofcanonical model construction (Ishihara, 2000). The framework presentedcan deal with a broad range of modal substructural logics, including afragment of modal intuitionistic linear logic, and modal versions ofCorsi's logics, Visser's logic, Méndez's logics and relevant logics.     

鱼雷罐喷粉预处理过程水模研究

在鱼罐喷粉预处理水模实验数据的基础上，进一步利用线性回归确定各工艺操作参数对喷吹基本参数（均混时间、粉剂穿透比和粉剂停留时间）的影响，得出各传输动力学基本参数的函数关系式。     

8万门母片系列电路测试软件开发及COMPASS门阵列库单元测试验证技术

JSC710XX是我国第一块利用COMPASS8万门门阵母片正向设计的超大规模集成电路，我们在DIC8032测试系统上开发出测试软件，对该电路的功能和参数进行了较完整的测试，也验证了COMPASS门阵列库单元。     

Finite elements in the analysis of pressure vessels and piping-a bibliography (1976–1996)

The paper gives a bibliographical review of the finite element methods (FEMs) applied for the analysis of pressure vessel structures/components and piping from the theoretical as well as practical points of view. The range of applications of FEMs in this area is wide and cannot be presented in a single paper; therefore the aim of this review is to give the reader an encyclopaedic view of the differnt possibilities that exist today for the finite element analysis in the fields of pressure vessels and piping. The bibliography at the end of the paper contains approximately 1900 references to papers, conference proceedings and theses/dissertations on the subject that were published in 1976–1996. These are classified in the following categories: linear and non-linear, static and dynamic, stress and deflection analysis; stability problems; thermal problems; fracture mechanics problems; contact problems; fluid-structure interaction problems; manufacturing of pipes and tubes; welded pipes and pressure vessel components; development of special finite elements for pressure vessels and pipes; finite element software; and other topics. Also finite element software, general purpose and special purpose codes, used for the analysis of pressure vessels and pipes are briefly discussed and presented.     

X波段双极化有源相控阵天线的设计

机载或星载X波段有源相控阵雷达系统具有很高的分辨率，由于雷达系统使用了大量双极化子阵组成的有源相控阵天线（俯仰面和方位面均需扫描），频率的升高使得子阵馈线网络的可用面积受到了很大的限制。本文着重论述了有源相控阵天线中的双极化阵设计，提出了一系列解决方法，进而叙述了整个天线阵的设计。     

Resolution calculus for the first order linear logic

This paper presents a formulation and completeness proof of the resolution-type calculi for the first order fragment of Girard's linear logic by a general method which provides the general scheme of transforming a cutfree Gentzen-type system into a resolution type system, preserving the structure of derivations. This is a direct extension of the method introduced by Maslov for classical predicate logic. Ideas of the author and Zamov are used to avoid skolomization. Completeness of strategies is first established for the Gentzen-type system, and then transferred to resolution. The propositional resolution system was implemented by T. Tammet.