空间对接模拟器控制系统设计

给出了一种五自由度航天器空间对接地面物理仿真平台控制系统的设计方法,使用有限状态机理论(FSM)对控制系统中的关键功能进行建模分析,并给出了以此模型为基础得到的软件详细设计流程图。阐述了如何利用分层式有限状态机理论对定时硬件中断程序进行建模分析,描述其控制功能状态及转移、继承关系,可以更清晰地设计出中断程序所需要的构成结构。系统的实际应用结果证明了上述方法的有效性。     

弹性飞行器姿态控制系统的反馈控制

本文应用控制器通频带的有限带宽性质,讨论了弹性飞行器姿控系统降价模型,得出控制 系统的一种设计方法.这种方法可使降价系统的所有本征模态都得以控制,且控制器参数设 计与闭环系统本征值有简捷明确的关系.     

一种离散事件系统实时控制器的设计

针对实时离散事件系统,提出了一种实时动态控制器的设计方法.用有限状态机 FSM(Finite State Machine)对系统进行建模.用时态逻辑TL(Temporal Logic)给出系统的 规范化要求.通过这两种形式化方法的有效结合,实现了控制器动态监控的功能.     

基于非线性模型的电加热温度控制器的设计

电加热炉具有非线性、时变、滞后、不对称等特点。控制对象的复杂性,导致对它的控制有一定的难度。本文根据电加热温度控制系统的全功率升温／自然降温特性曲线．提出一种非线性数学模型。基于该模型的特性,针对多段程序控制升温系统．讨论了控制器结构。设计了前馈控制器和PID控制器．分析了控制器参数与模型参数之间的内在联系。根据实际的电加热温度控制系统,计算出了具体的控制参数．实现了精确控制。通过实验,验证了模型建立的有效性和控制器设计的优越性。     

迭代学习控制在励磁控制器设计中的应用

将迭代学习控制理论应用于励磁控制器的设计中,提出了一种新的设计方法,克服了迭代学习控制在有限时间区间上实现完全跟踪的限制.该方法设计的控制器结构简单,可获得较佳的静态和动态特性.采用MATLAB/Simulink软件对单机-无穷大系统进行仿真,结果表明了该方法的有效性和一般性.     

基于FPGA的多通道语音通信控制器的设计

基于PowerPC处理器的多通道通信系统中需要相应的控制器用于实现数据缓冲和控制、握手信号的产生.文中介绍了一种基于FPGA实现的四通道语音通信控制器.该控制器使用异步FIFO实现数据缓冲,应用基于FSM(有限状态机)的逻辑电路控制AD、DA转换芯片周期性的、依次处理各通道的语音和MPC860T传送数据.设计时对各部分电路的设计方法进行了深入的研究,以使其满足系统功能和时序要求,应用该控制器的多通道语音通信系统话音质量稳定、没有杂音,能够满足性能要求.     

化学反应器的非线性最优控制设计方法

本文针对具有非线性动态特性的连续搅拌釜式反应器，提出了一种基于分步变换的控制器设计方法，通过引入一种简单的中间非线性模型和相应的非线性状态变换，综合得到了一种新的非线性系统的非线性控制器设计方法，最后的控制仿真结果表明这种设计方法是有十分有效的。     

有限状态机的方法描述与应用研究

随着设计系统结构的日益复杂,选择合理的设计方法与结构已成为软件设计中的关键技术。目前,在软件设计领域,有限状态机（FSM）的理论俨然已自成一体,经常用来描述一些复杂的算法,表明算法内部的状态结构,关注对象的执行顺序等。据此,本文以EDA和PLC这两种不同的支持平台为载体,对有限状态机方法的结构体系及应用进行研究。结果表明,FSM方法将控制过程分成有限个稳定状态,描述对象所经历的状态序列与转移,从而解决电子领域中诸多控制问题。且在不同的应用平台上,FSM方法的核心要素不变。     

基于状态节点设计的总线式呼叫中心系统

在分析现行呼叫中心模式与应用现状的基础上,提出并实现了一种基于状态节点设计的总线式架构,并对其运行时间进行了优化控制。该系统采用总线式结构以弥补传统意义上的点对点和中心式的信息集成方式的不足,以有限状态机(FSM)进行节点化设计,规范业务流程,提高了信息集成的可复用性,使得综合组织、规范和合理化企业信息成为可能。实验结果表明,系统实现了与环境的无缝结合,能够应用于特定业务领域。     

有限拍控制研究

设计了一种新的有限拍控制方法.由于控制器结构的改变,改善了开环系统的性质,使具有不稳定极点的被控对象也可以应用有限拍控制,扩大了有限拍控制的应用范围.     

协议软件实现的面向对象的方法

提出一种用面向对象的方法来实现协议，协议由ＦＳＭ说明，然后ＦＳＭ由一组相关的对象实现，对象的成员函数是接口事件，它们激发状态变迁，与状态变迁相联系的行为构成成函数的主体，当状态变迁产生时，一个对象成为另一个对象。文中给出了一个实例，还提出一个软件工具，使设计者可以用图形方式编辑状态机，并且自动产生Ｃ＋＋的类定义。     

基于神经索引实例与知识推理的混合型智能CAPP策略

提出了一种新的基于耦合神经网络实例与知识的混合推理策略,采用面向对象的方法表达实例和知识,将神经索引模型引入实例推理中,在此基础上实现了ＣＡＰＰ的变异设计。同时,建立了基于零件及其工艺数据知识的分层知识表达与层次式推理机制,从而实现了ＣＡＰＰ的创成式设计。在给出这种知识化的ＣＡＰＰ系统的总体结构之后,详细讨论了基于神经网络的实例索引模型及实例推理和知识基推理的实现过程,由于吸收了派生法的类比设计思     

虚拟轴数控机床刀具运动状态的实时规划

提出了虚拟轴数控机床的递阶控制方法, 并着 重介绍了递阶控制的第一级——刀具运动状态实时规划所涉及的切削路径生成、刀具运动路 径计算和刀具运动姿态规划三个关键问题的求解过程, 为虚拟轴机床数控系统的研究开发奠 定了必要的理论与技术基础．     

描述实时系统需求的模型

本文提出一个描述实时系统需求的模型。在这个模型中,层次式有穷状态机械表示成规则和模板的形式,且一个模板对应于一个状态机。由于与状态机相关的规则和信息可被写入到模板中,故用此模型写出的需求规格说明书可由多个模板组成,而且易于理解和阅读。最后,本文讨论了此模型的特点。     

2-adic有限状态自动机的新实现方法

对2-adic有限状态自动机（2-adic FSM）的构造进行了研究,利用多输入的Galois 进位反馈移位寄存器(FCSR)模块代替以往方法中单输入的Galois进位反馈移位寄存器模块,给出一种实现2-adic有限状态自动机的新方法。该方法可将一般的2-adic有限状态自动机等价变换为整数矩阵的2-adic有限状态自动机,且当输入矩阵或状态转移矩阵某行中存在分母不互素的元素时,所得的整数矩阵2-aidc有限状态自动机长度更短,从而节省了寄存器的使用数量。     

Specification and design of transactions in information systems: aformal approach

In conventional information systems development, consistency between requirements specifications and design is achieved by manual checking. The application of the transformational paradigm to the specification and design phases is proposed. Requirements are expressed in the ADISSA notation, using the ADISSA method, a transaction-oriented refinement of structured systems analysis. The control part of a transaction is transformed into a formal specification, the FSM (finite state machine) transaction, by applying a set of rules. The design stage is realized by an algorithm which compares the FSM transaction into simpler transactions and implements them with a hierarchical set of finite-state machines. Consistency between the formal specification and the result of the design is achieved by proving that the latter has the same behavior as the former     

面向知识应用和交互的工作流系统建模与控制

针对基于知识应用和交互的复杂工作流系统，对知识应用特性进行了分析，并构造了对应知识聚合与信息再生的过程单元。利用过程单元之间的关联分析，对面向知识应用和交互的工作流系统建模进行了深入的研究。在对一个基于知识应用的具体实例进行分析的基础上，探讨了基于知识应用和交互的工作流系统中的控制问题，提出了一种基于区域控制和交互的控制策略，并给出了控制分解所遵循的基本原则。最后，讨论了工作流技术的发展方向和热点技术。     

通用型CAPP专家系统中知识表示和推理机制的研究

ＣＡＰＰ作为ＣＡＤ与ＣＡＭ的中间桥梁，是ＣＩＭＳ必不可少的重要环节．本文针对开发通用性ＣＡＰＰ专家系统过程中，产品零件表示和工艺规程设计这两个关键问题，根据事物之间的相似性原理，提出了面向对象的产品零件和工艺规程的知识表示方法，以满足ＣＡＰＰ系统对产品零件信息表示的完整性、通用性、逻辑可分解性、动态性和相容性等要求，并在此基础上提出了ＣＡＰＰ专家系统的混合推理机制，包括单继承、多继承、非单调继承、类比推理等．     

Implementation of real-time distributed control for discrete event robotic systems using Petri nets

This article presents a systematic method of modeling and implementing real-time control for discrete-event robotic systems using Petri nets. Because, in complex robotic systems such as flexible manufacturing systems, the controllers are distributed according to their physical structure, it is desirable to realize real-time distributed control. In this article, the task specification of robotic processes is represented as a system control-level net. Then, based on the hierarchical approach, it is transformed into detailed subnets, which are decomposed and distributed into the local machine controllers. The implementation of real-time distributed control through communication between the system controller and the machine controllers on a microcomputer network is described for a sample robotic system. The proposed implementation method is sufficiently general, and can be used as an effective prototyping tool for consistent modeling, simulation, and real-time control of large and complex robotic systems.     

Solid modeling of 4-axis wire EDM cut geometry

NC verification has been widely used in milling and turning machining, but the implementation of NC verification for wire electrical discharge machine (wire EDM) has received little attention, made difficult by the characteristics of geometry cut by the thin wire. For an NC verification system, the speed and the accuracy of are two of the most critical issues. In this paper, a novel solid modeling method, which utilizes a dual quadtree structure and a boundary representation, is applied to modeling the parts cut by a wire EDM. In this implementation, two extended quadtrees on the top and bottom surfaces of the stock are first created. Special quadtree nodes are introduced into the dual quadtree structure to model the features associated with the almost coincident surfaces left by a thin wire. The region swept by a wire in each move is generated based on the diameter of the wire, spark gap size and the paths. The overall geometry of the part is represented by a boundary representation which is updated by means of efficient Boolean operations of extended quadtrees. The free-falling objects which may damage the machine tool can be detected. Dimensional inspection and feature detection can be made with the solid model representing the machined part. The system has demonstrated very promising speed and accuracy.