交通灯智能控制系统的设计与实现

针对传统交通灯存在不能根据车流量大小自动调节通车时间的缺点,提出利用单片机设计智能交通灯的方案。进一步作系统硬件电路和系统程序的分析与设计;简介PROTEUS的功能及用PROTEUS对电路进行仿真的过程和结果。并且说明硬件制作的过程与安装调试的结果。     

Design procedure for stable suboptimal fixed-lag smoothers

A procedure is presented for designing stable suboptimal fixed-lag smoothers for the continuous-time linear Gaussian problem. Apart from incorporating an ideal delay, the smoothers are finite-dimensional. The design procedure involves the approximation by a very straightforward procedure of a matrix impulse response of compact support by a matrix impulse response with a rational and stable Laplace transform. The approximation procedure involves studying the pole-zero pattern of transfer functions derivable from the transfer function matrix being approximated.     

Automatic design of diagnosis systems with application to an automotive engine

It is highly desirable to systematize and automate the process of designing diagnosis systems. The reason is that in many applications, high diagnosis performance is required, and at the same time, the time-consuming engineering work of designing diagnosis systems must be minimized. Here, model-based diagnosis based on structured hypothesis tests is considered. Principles for evaluating diagnosis systems are developed, and a systematic and automatic design procedure is proposed. The procedure is successfully applied to the problem of designing a diagnosis system for the air-intake system of an automotive engine. The resulting diagnosis system is then experimentally validated using a real engine.     

基于曲面的飞机机翼结构参数化设计

以某型无人机机翼结构设计为例，介绍在计算机辅助三维交互应用（Computer Aided Three-dimensional Interactive Application，CATIA）软件三维设计环境下，基于机翼理论外形曲面的机翼结构参数化设计方法。通过完整数据链的全相关结构设计，实现设计更改过程的全模型自动更新，设计周期缩短，成本降低。     

Hybrid method for designing digital Butterworth filters

A procedure for designing digital Butterworth filters is proposed. The procedure determines the denominator and the numerator of the filter transfer function based on the positions of the poles in the s-plane and zeros in the z-plane, respectively, and calculates the gain factor using a maximum point normalization method. In contrast to some conventional algorithms, the presented procedure is much simpler by directly obtaining the filter with 3-dB frequencies. This makes the presented algorithm a useful tool for determining the boundaries in electronic or communication systems’ frequency responses. Moreover, the proposed algorithm is compatible with high-order transformations which are the limitations of general pole-zero placement techniques. The proposed method is illustrated by the examples of designing the low-pass, high-pass, band-pass, and band-stop filter.     

基于Linux和IPSec的VPN安全网关设计与实现*

IPSec协议通过对IP数据包的加密和认证能够提供网络层的安全服务,可以保证数据在传输过程中的安全;Linux是一个开放的操作系统,在开放的操作系统平台上开发的安全系统具有更高的可靠性和安全性。在此基础上设计了一种基于Linux和IPSec协议的VPN安全网关,并详细阐述设计原则、功能、安全机制以及VPN安全网关实现过程,同时对这种安全网关性能进行了分析。     

基于Linux和IPSec的VPN安全网关设计与实现

IPSec协议通过对IP数据包的加密和认证能够提供网络层的安全服务，可以保证数据在传输过程中的安全；Linux是一个开放的操作系统，在开放的操作系统平台上开发的安全系统具有更高的可靠性和安全性。在此基础上设计了一种基于Linux和IPSec协议的VPN安全网关，并详细阐述设计原则、功能、安全机制以及VPN安全网关实现过程，同时对这种安全网关性能进行了分析。     

EJB中面向过程的设计模式

适应业务需求的客观变化一直是信息系统应用开发研究的重点和难点。文章在J2EE框架下,于服务器端(sessionbean)应用模版模式,客户端应用代理模式,两者相结合,提出面向过程的设计方法。以此来解决业务流程变化的应用开发框架设计问题。     

A Riccati equation approach to the design of stabilizing controllers and observers for a class of uncertain linear systems

This paper presents a procedure for designing a full state observer and feedback control law which will stabilize a given uncertain linear system. The uncertain linear systems under consideration are described by state equations which depend on uncertain parameters. These uncertain parameters may be time varying. Their values, however, are constrained to lie within known compact bounding sets. The design procedure involves solving two algebraic Riccati equations. A feature of the design procedure presented is the fact that it reduces to the standard LQG design procedure if the system contains no uncertain parameters.     

大型企业CIMS中数据安全性的研究与应用

数据安全性是设计与实施 ＣＩＭＳ中的一个重大关键技术。该文针对大型企业 ＣＩＭＳ环境下提出了一个完整的安全性控制方法,该方法充分考虑了设计与开发过程中的多平台,具有控制完备、维护方便、操作性强等特点。     

多重系统同时极点配置的动态补偿器的设计

本文研究了多重系统同时稳定或极点配置的控制器设计问题。同时稳定或极点配置是出于设计容错控制系统之所需。本文推导了由一个动态补偿器对多重系统进行同时极点配置的充分条件。对于单输入或单输出的情况,上述充分条件也是必要的。文章的最后给出了设计方法以及一个实例。     

基于Speech SDK的语音控制应用程序的设计与实现

分析了微软Speech SDK5．1里语音应用程序接口(SAPI)的结构和工作原理，提出了语音控制应用程序的设计方法，并以“Z Z智能教学平台的语音识别接口”的设计为例，展示了这类系统的主框架和关键技术。     

Design of a minimal precompensator for the decoupling problem

For right invertible linear time-invariant systems, which cannot be decoupled row by row using regular static state feedback laws, we propose a new algorithmic procedure for designing a minimal precompensator leading to a compensated system which can be decoupled by regular static state feedback.     

A Functional Approach to Module Verification

The purpose of this paper is to develop a method for designing and verifying data abstractions using the functional approach. Before doing so, the existing techniques for designing and verifying procedure and data abstractions will be surveyed briefly. These techniques will then be modified and extended to verify data abstractions. By using the concept of a mathematical function, one can model the behavior of a procedure abstraction and give a more uniform and clearer meaning to the stepwise refinement and verification of procedure abstractions. The concept of a state machine is then used as a basis to specify data abstractions. Using state machine specification, a technique for expressing the design of a data abstraction is then given. A method is then developed to verify the design of a data abstraction with respect to its specifications.     

密码通讯模块设计的实现原则与要求

密码系统的模块化设计是当前军队信息化建设中的重要环节。在对国内外密码系统模块化设计应用进行研究分析的基础上,从分析密码系统一般模型着手,提出了密码系统模块化设计过程中应着重注意的几个方面,对各种密码系统模块化研究与设计工作有着一定的指导意义。     

Robust control of nonlinear uncertain systems without generalizedmatching conditions

A novel procedure, called recursive-interlacing procedure, is proposed for designing globally stabilizing robust control. The procedure introduces new interlacing steps and combines them with the existing recursive or backstepping design. It is shown by examining all possible third-order vector systems that the procedure is applicable to systems not satisfying any of the existing structural conditions, that is, to systems in which uncertainties are potentially anywhere and of any bounding function. By its nature, the procedure is not limited to systems of any specific order; it either produces stabilizing control or reveals certain measure of unstabilizability, and it includes recursive design as a special case     

基于MatLab与DSP的滤波器的快速设计方法

以IIR滤波器为例,阐述了Matlab与CCS及DSP的连接方法,说明了利用Matlab结合DSP设计滤波器的过程,以及如何在Matlab环境中调试DSP程序.结果表明采用这种方法设计滤波器可以大大提高程序的设计效率.     

结合B/S模式和C/S模式的商业信息系统的设计与实现

提出一种将B／S模式和C／S模式相结合的商业信息系统开发方法，并结合一个实际的商业系统的开发，描述了主要设计思路，分析了系统的性能，并举例说明了系统的设计与实现方案。     

具有滞后输入的不确定系统的鲁棒镇定

本文研究具有滞后输入的不确定系统的鲁棒镇定问题，导出了系统可以用一个无记忆状态反馈控制律鲁棒镇定的条件，据此，提出了一个鲁棒稳定化控制器的设计方法．