Design of a robust controller for a supersonic aircraft using H∞ approach

In this paper an H_∞ optimal, robust flight control system design for a supersonic aircraft has been described. Separate controllers are designed for longitudinal and lateral motions. A general two-degrees-of-freedom controller is proposed, where feedback control is designed for robust performance augmentation, while a series compensator is used to ensure that requisite handling qualities. Three alternative methods to achieve performance robustness have been discussed. The results obtained are very encouraging. It is hoped that this will equip the flight control engineers with an alternative to the conventional methods.     

几何设计约束的表示与满足问题研究

对于智能ＣＡＤ系统来说，具有解决几何设计约束的功能是重要的。本文提出了一种面向对象的几何设计约束表示方法，它可以通过两种方式来表达。文中给出了一个约束传播算法，用于解决约束满足问题。     

变速箱结构设计专家系统技术的研究

结构设计是机械产品设计过程中的重要环节，解决结构设计的智能化不但可以缩短产品的设计周期，而且还可以降低成本，提高设计质量。专家系统是解决智能化设计的技术之一。本文讨论有关结构专家系统的几个关键技术，主要包括系统的控制策略，面积对象的知识表达方式及结构设计的并行设计     

Optimal task allocation in hypercube multiprocessor ensembles

Criteria are established to determine the optimal policy for allocating a set of uniform tasks onto a multiprocessor hypercube ensemble. It is shown that the optimal policy depends on the ratio of computation to intertask communication required by the distributed program, and that based on this ratio, tasks should be placed either all on one processor or uniformly distributed over the largest possible hypercube.     

面向大规模定制的虚拟设计研究

综述了大规模定制的范围经济性和面向大规模定制的基本设计方法，并提出了一个虚拟设计框架，该框架改变了传统的设计模式，利用先进的设计方法学和仿真支撑技术为产品开发提供了最大柔性和敏捷性。同时，它提供了一个多学科合作的设计环境，用户直接参与进设计循环中。最后，结合新型剑杆织机的开发，展示了一个能够支持新产品快速成功开发的虚拟设计环境。     

Optoelectronics in satellite designs

Design of artificial satellites for communication, remote sensing and scientific investigations follows, at present, a fixed pattern based on existing and proven technologies and the requirements of payload or experiment within the constraints of weight, volume and power available. The advances in optoelectronic components and systems have opened up a new dimension in designing satellites of the future, incorporating new technologies. This paper deals with general satellite design concepts based on optoelectronic systems wherever applicable.     

Rank order filters and priority queues

Summary A derivation of a parallel algorithm for rank order filtering is presented. Both derivation and result differ from earlier designs: the derivations are less complicated and the result allows a number of different implementations. The same derivation is used to design a collection of priority queues. Both filters and priority queues are highly efficient: they have constant response time and small latency. Anne Kaldewaij received an M.Sc. degree in Mathematics from the University of Utrecht (The Netherlands) and a Ph.D. degree in Computing Science from the Eindhoven University of Technology. Currently, he is associate professor in Computing Science at Eindhoven University. His research includes parallel programming and the design of algorithms and data structures. He enjoys teaching and he has written a number of textbooks on mathematics and programming. Jan Tijmen Udding received an M.Sc. degree in Mathematics in 1980 and a Ph.D. degree in Computing Science in 1984 from Eindhoven University of Technology. Currently, he is associate professor at Groningen University. His main research interests are mathematical aspects of VLSI, program derivation and correctness, and functional programming.     

层状催化剂颗粒的优化设计——双组分等温平行反应体系

针对双组分等温平行反应体系,分析讨论了以提高催化剂活性和选择性为目标时催化剂活性组分的最优分布形式(为δ-函数分布),并给出了确定这种反应体系的催化剂的最佳活性层位置的计算方法。结果表明:以提高选择性为目标的最佳活性层位置比以提高活性为目标的要更靠近催化剂核心,实用的最优位置应介于二者之间。最后,本文还研究了反应动力学级数、本性选择性以及内扩散模数(Thiele 模数)等因素对最佳活性层位置的影响。     

Formal methods: The next generation of system design tools

Because of the growing demand for increasingly complex computer-based systems there is now an urgent need to provide tools to assist during the design of such systems. Formal specifications and formal methods provide such assistance but their widespread adoption has been hindered by the so-called ‘math fear’ and the perception that the tools are too difficult, too time consuming and too costly to use in a commercial environment. The aim of this article is to dispel the mystery surrounding the topic and to explain what formal methods are, how and why they are used, the benefits that accrue and why the technology should be accepted on a broader front. The application of formal methods to the design of computer-based systems will be discussed without resorting to jargon or mathematics. The discussion will concentrate more on the software content of systems but the arguments apply equally well to hardware. Some of the available tools will also be introduced.     

DX型数据采集与无线传输系统

DX型数据采集与无线传输系统能对油井压力、温度、载荷和流量等参数进行自动采集 ,并通过无线传输向总站提供实时参数 ,为及时决策提供信息。数据采集系统采用STD总线 ,测量精度高、故障低 ;无线传输系统采用短波电台和具有自动纠错功能的数传机 ,抗噪能力强、可靠性高。文章介绍了DX型数据采集与无线传输系统的组成、工作原理、功能和主要技术指标