带类型λ—演算

一、引言补演算是一个用函数描述计算的形式理论体系[1J,它由许多计算模型所组成。文〔1〕指出,应用认-演算比纯粹补演算更接近程序语言.但是由于内建函子和常数的引入常会发生一些问题,例如.常数O和函子+在机器中同样看待     

压缩式致冷设备的电子宽温域多功能控制

设计并研制了一种用于压缩式致冷设备的电子式定温域多功能控制装置。它除具有控温范围宽、精度高、控温参数易调等优点外，还实现了低成本的温度显示、半自动除霜控制、加电延时保护、过欠压保护等功能。全部采用无触点控制方式，有良好的性能／价格比。     

Regulator problem for uncertain linear discrete-time systems with constrained control

A necessary and sufficient condition to test the robustness of a regulator of uncertain linear systems with constrained control is given. The candidate regulator for this test is that stabilizing nominal systems. An illustrative example is also given.     

H∞-control with measurement-feedback for Pritchard-Salamon systems

In this paper we extend the finite-dimensional results for the H_∞-control problem with measurement-feedback to a large class of infinite-dimensional systems, allowing for a certain type of unboundedness in the input and output operators (the Pritchard-Salamon class). The main result of the paper relates the solvability to the suboptimal H_∞-control problem to the existence of stabilizing solutions to certain operator Riccati equations. Furthermore, a characterization of all suboptimal controllers is given.     

Design of minimax robust LQG controllers under parameter and noise uncertainties

The problem of design of minimax robust LQG controllers for linear systems with parameter and noise uncertainties is considered in this paper. Necessary and sufficient conditions for converting this problem to a two-person, zero-sum continuous game problem are presented. A simple procedure for design of a suboptimal minimax robust LQG controller, i.e., the LQG controller for least-favourable model, is proposed. Necessary and sufficient conditions for the existence of a saddle point are established. Under these conditions, the controller obtained is exactly the minimax LQG controller. When there does not exist a saddle point, the worst-case error between the controller obtained and the minimax robust LQG controllers under described uncertainties is bounded.     

An explicit finite difference method for finite-time observers

In this paper we present a numerical method for estimating the current state of a nonlinear control system. We use finite differences to discretize a modified version of the finite-time observer equations in James. The discretized equations are simple and easily programmed. The convergence and accuracy of the scheme is proved, and the scheme enjoys a number of important properties: availability of rate of convergence estimates, good robustness characteristics, and the ability to handle certain types of discontinuities in the observations. The major disadvantage is that the number of grid points required increases exponentially with the number of state dimensions.     

Management of multidimensional discrete data

Spatial database management involves two main categories of data: vector and raster data. The former has received a lot of in-depth investigation; the latter still lacks a sound framework. Current DBMSs either regard raster data as pure byte sequences where the DBMS has no knowledge about the underlying semantics, or they do not complement array structures with storage mechanisms suitable for huge arrays, or they are designed as specialized systems with sophisticated imaging functionality, but no general database capabilities (e.g., a query language). Many types of array data will require database support in the future, notably 2-D images, audio data and general signal-time series (1-D), animations (3-D), static or time-variant voxel fields (3-D and 4-D), and the ISO/IEC PIKS (Programmer's Imaging Kernel System) BasicImage type (5-D). In this article, we propose a comprehensive support ofmultidimensional discrete data (MDD) in databases, including operations on arrays of arbitrary size over arbitrary data types. A set of requirements is developed, a small set of language constructs is proposed (based on a formal algebraic semantics), and a novel MDD architecture is outlined to provide the basis for efficient MDD query evaluation.     

关于可分2－D系统的几个注记

可分２－Ｄ系统是一类具有良好特性的重要的特殊２－Ｄ系统，它在多方面均有重要的应用．本文在已有结果的基础上对具有可分性的２－Ｄ多输入多输出系统在再实现问题、渐近稳定性代数判据、状态观测器设计等方面进行了较为广泛的研究，得到了许多较好的结果．     

Efficient Parallel Algorithms for Some Graph Theory Problems

In this paper,a sequential algorithm computing the aww vertex pair distance matrix D and the path matrix Pis given.On a PRAM EREW model with p,1≤p≤n^2,processors,a parallel version of the sequential algorithm is shown.This method can also be used to get a parallel algorithm to compute transitive closure array A^* of an undirected graph.The time complexity of the parallel algorithm is O(n^3/p).If D,P and A^* are known,it is shown that the problems to find all connected components,to compute the diameter of an undirected graph,to determine the center of a directed graph and to search for a directed cycle with the minimum(maximum)length in a directed graph can all be solved in O(n^2/p logp)time.