无直透光和共轭像的数字全息

根据数字全息的可计算特性，提出用图像处理的方法直接对数字全息图在空域进行预处理，使其再现时不出现直透光和共轭像，大幅度提高再现象的质量。并进行了实验验证。     

Chaotic Vibrations of a Cylindrical Shell-Panel with an In-Plane Elastic-Support at Boundary

This paper presents numerical results on chaotic vibrations of a shallow cylindrical shell-panel under harmonic lateral excitation. The shell, with a rectangular boundary, is simply supported for deflection and the shell is constrained elastically in an in-plane direction. Using the Donnell--Mushtari--Vlasov equation, modified with an inertia force, the basic equation is reduced to a nonlinear differential equation of a multiple-degree-of-freedom system by the Galerkin procedure. To estimate regions of the chaos, first, nonlinear responses of steady state vibration are calculated by the harmonic balance method. Next, time progresses of the chaotic response are obtained numerically by the Runge--Kutta--Gill method. The chaos accompanied with a dynamic snap-through of the shell is identified both by the Lyapunov exponent and the Poincaré projection onto the phase space. The Lyapunov dimension is carefully examined by increasing the assumed modes of vibration. The effects of the in-plane elastic constraint on the chaos of the shell are discussed.     

Discrete-event dynamic systems: The strictly convex case

Given the observed outputg _j of a discrete-event system, a classical problem is to find a matrix realisationg _j =cA ^jb withA of least possible dimension. When the sequenceg _j is convex and ultimately 1-periodic, a linear-time algorithm suffices to construct such a realisation over the algebra (R, max, +). When the transient is strictly convex, this realisation is minimal-dimensional.     

光电跟踪系统轴角编码与数字显示

介绍一种光电跟踪系统所采用的轴角编码与数字显示器。分析跟踪型轴角编码器的基本原理，探讨并提出了提高分辨率的具体方法，保证系统测角精度并可进行数字显示。     

非线性RL电路的暂态特性

对一个可解的非线性ＲＬ电路模型的暂态过程进行了研究，得到非线性ＲＬ电路的一些普遍特性，加深了加ＲＬ电路中的有关概念的理解，对教学有一定的参考价值。     

一种新的数字式多媒体图像采集系统

本文以多媒体概念为指导思想，论述了一种新的数字式多媒体图像采集系统。它采用多制式数字解码器、视频窗口控制器等超大规模集成电路芯片构成，较之以往的模拟式图像采集系统有本质区别     

电流镜及其在多值I2L电路开关级设计中的应用

运用开关信号理论和有界算术运算理论，对电流镜的多种性质进行了讨论，并系统研究了利用电流镜实现电流信号的各种算术运算，其中倍除运算属于初次提出，最后通过N进制半加电路和N值比较电路等两个设计实例介绍了电流镜技术在I^2L电路开关级设计中的应用。     

Determination of Soot Particle Size in a Premixed Flame: a Static and Dynamic Light Scattering Study

In this contribution we report upon our static and dynamic light scattering experiments to characterize soot particles in flames. We studied sooting laminar premixed flame with acetylene as fuel mixed with air as oxidizer. The air equivalence ratio of the combustion was larger than one. We used a Kaskan type burner with circular geometry and a stabilizing flow of nitrogen around the flame. We focused on the determination of the size of the soot particles in the center of the flame as a function of height above burner. In addition we investigated the influence of the mixing ratio of the gases on the size of the particles. Our results show that static light scattering is better suited than dynamic light scattering for a fast and reliable characterization of soot particles in flames. The latter needs detailed a priori information about the flame to allow the unique determination of sizes from the diffusion measurements. The soot particles grow monotonously with height above burner and with decreasing air equivalence ratio. The aggregates have a fractal dimension lower than two.     

CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT

The aim of this paper is to extend the semantic analysis of tense logic in Rescher/Urquhart [3] to propositional dynamic logic without*. For this we develop a nested sequential calculus whose axioms and rules directly reflect the steps in the semantic analysis. It is shown that this calculus, with the cut rule omitted, is complete with respect to the standard semantics. It follows that cut elimination does hold for this nested sequential calculus. MSC: 03B45.