有限状态机在导弹防御系统分析中的应用

介绍了有限状态机的基本概念,基于UML详细分析了导弹防御系统的作战过程.由于UML状态机无法直接运行而实现系统状态的动态转换,研究了基于有限状态机理论的图形化建模与仿真工具Stateflow.在分析了导弹防御系统作战过程中各子系统状态以及状态转换的基础上建立了Stateflow状态机模型,并与Matlab其它建模和仿真工具有机结合,建立了导弹防御系统的仿真模型,该模型可实现不同条件下系统性能的分析与评估.     

水下控制系统逻辑建模与应用

介绍了有限状态机的图形工具Stateflow的基本概念和Stateflow图的构成,以及基于Stateflow的水下控制系统仿真建模方法。     

基于Petri网的Stateflow建模方法的研究与应用

以输送机器人生产线控制系统设计为例,提出将基于Petri网的Stateflow建模仿真方法应用于PLC控制软件的开发过程中。首先利用Petri网对系统控制功能进行分析,结果表明系统在运行时序上存在并行冲突,采用Petri网的数学建模功能协调冲突后,通过可达图验证了此Petri网模型是安全无死锁的;其次在上述基础上将Petri网与Stateflow组成元素相对应并进行转换;最后利用Simulink构建模型进行系统仿真分析,证明输送机器人生产线控制逻辑正确,状态转移有效。     

Stateflow在安全联锁回路仿真中的应用

Matlab是现在工程领域中一套最为出色的科学计算软件,Stateflow是Matlab自带的工具箱,主要用来实现对工程问题的模型化和动态仿真。本文介绍了Stateflow的基础知识以及基于Stateflow的安全联锁回路仿真建模方法,并以氢氧化铝焙烧炉预热燃烧器作为具体实例进一步阐述。这种方法使逻辑设计仿真变得容易、直观且便捷。     

基于Stateflow和xPC的监控系统实现

Stateflow是MATLAB提供的一种基于有限状态机理论的图形化建模和仿真工具。本文介绍了Stateflow的重要概念和基本用法。并使用MATLAB的Simulink、Stateflow和RTW／xPC工具箱,完成一仓厍监控系统从建模、仿真到实时代码生成的完整过程,大大缩短了监控系统的开发周期。     

Simulink动态仿真中Stateflow建模存在问题

Matlab是现在工程领域中一套最为出色的科学计算软件,Simulink/Stateflow是Matlab自带的工具箱,主要用来实现对工程问题的模型化和动态仿真。Simulink/Stateflow基于模块化设计和系统级仿真的具体思想,使得建模仿真如同搭积木一样简单。Simulink/Stateflow对仿真的实现可以应用于动力系统、信号控制、通信设计等各个领域的研究中。但它也有不完善的地方,如果使用不慎就会得出错误的仿真结果。该文就以一个很简单的例子来进行了说明,并在此基础上提出了解决方案。     

基于FSM的紧凑型回旋加速器控制系统研究

针对CYCHU-10紧凑型低能强流回旋加速器的实际运行需求,基于有限状态机理论,提出一种层次化的加速器控制系统设计方法,在Simulink环境下利用Stateflow完成系统建模和仿真.仿真结果表明,该设计能全面反映加速器中的动态逻辑关系,可用性及可靠性较强.     

Simulink/Stateflow仿真程序的HLA兼容性改造设计

该文从数据结构入手，宏观分析了Simulink／Stateflow仿真模型在进行HLA(高层体系结构)兼容性改造过程中所涉及的主要问题及步骤。主要包括由RTW(实时工作室)所生成的Simulink／Stmeflow模型C代码的通用运行框架，模型程序的SOM(仿真对象模型)开发，模型程序的HLA软件接口设计等。特别是针对HLA软件接口的设计与实现过程中存在许多重复性的工作，提供了一个将Simulink／Stateflow模型程序自动转化为HLA联邦成员且能适用于不同联邦的工具软件框架结构，从而为基于HAL仿真系统的Simulink／Stateflow仿真模型开发提供一条优化途径。     

基于Simulink／Stateflow模型的嵌入式软件开发研究

当前在控制领域内使用Simulink／Stateflow建模并以RTW生成指定代码的方式代替传统嵌入式软件开发方法已形成趋势。这是由于基于Simulink模型的嵌入式软件开发大大节省了软件开发的人力、物力和时间成本。本文针对在Matlab环境下如何使用Simulink／Stateflow建立模型,实现嵌入式软件开发的过程进行了详细介绍。     

蒸汽锅炉安全联锁系统的建模及校验

蒸汽锅炉实时控制系统一股用于控制炉内水位．使其保持在特定的范围内。为了加强环保和安全监测，蒸汽锅炉实时控制系统等过程控制中的有关场所要设置监测报警及安全联锁系统．所以其安全联锁系统的设计与验证也非常重要。本文采用Stateflow工具在有限状态机理论的基础上，建立蒸汽锅炉安全联锁系统的离散模型并根据输入输出验证其安全性．并结合Sf2smv工具从Stateflow产生Smv(Symbolic Model Verifier)程序。自动检验Stateflow状态图的属性，以此来检验蒸汽锅炉安全联锁系统的设计是否合理。     

Intelligent predicting approach of peritoneal fluid absorption rate based-on neural network

This paper addresses the important intelligent predicting problem of peritoneal absorption rate in the peritoneal dialysis treatment process of renal failure. As the index of dialysis adequacy, KT/V and Ccr are widely used and accepted. However, growing evidence suggests that the fluid balance may play a critical role in dialysis adequacy and patient outcome. Peritoneal fluid absorption decreases the peritoneal fluid removal. Understanding the peritoneal fluid absorption rate will help clinicians to optimize the dialysis dwell time. The neural network approach is applied to the prediction of peritoneal absorption rate. Compared with multivariable regression method, the experimental results showed that neural network method has an advantage over multivariable regression. The application of this predicting     

A rotationless formulation of multibody dynamics: Modeling of screw joints and incorporation of control constraints

In the present work, a new energy-momentum conserving time-stepping scheme for multibody systems comprising screw joints is developed. In particular, it is shown that the underlying rotationless formulation of multibody dynamics along with a specific coordinate augmentation technique makes possible the energy-momentum discretization of the screw pair. In addition to that, control (or servo) constraints are treated within the rotationless framework of multibody dynamics. The control constraints are used to partially prescribe the motion of a multibody system. In particular, control constraints, in conjunction with the coordinate augmentation technique, make possible to solve inverse dynamics problems by applying the present simulation approach.     

嵌入式智能代理技术的应用研究

在文章第一节简要说明智能代理的概念及其特点(智能性、自治性、机动性)。第二节主要介绍了嵌入式系统及嵌入式软件。第三节提出了嵌入式智能代理技术的概念，它融智能代理和嵌入式软件为一体，并以一个建筑模型为例祥细介绍了嵌入式智能代理技术的应用；在文章最后部分描绘了它的应用前景。     

相位校正器波前拟合误差仿真分析

在自适应光学系统中,波前拟合误差直接影响到相位校正器的校正效果。在仿真分析中,作为相位校正器的变形镜,其面形影响函数通常采用高斯函数近似。以高斯型面形影响函数为基础,利用最小二乘法,通过仿真计算分析了波前拟合误差与入射波前空间频率、驱动器密度、高斯指数、交连值等变形镜主要参数的关系。结果表明,变形镜对低空间频率波前具有较好的补偿能力,且驱动器密度是波前补偿能力的决定因素,增大高斯指数和交连值一定程度上有利于波前的补偿,并对其原因进行了阐释。存在一类特殊情况,当入射波前的零点恰好通过各变形镜所在位置,补偿拟合基本失效,应注意避免。     

实时操作系统调度策略的分析与改进

在RT-Linux的基础上提出一个能统一支持硬实时、软实时和尽力而为应用的调度框架,在该框架之下,硬实时应用的响应时间短且可预测.对软实时应用进行接入控制,从而可以保证软实时应用的QoS.对尽力而为的应用保留CPU资源,从而保证它不会饥饿.     

热处理温度对氧化铟薄膜特性的影响

利用离子束溅射沉积的方式在Al2O3陶瓷基片表面制备了In2O3薄膜,并分别研究了热处理温度对薄膜相结构、电阻-温度特性及气敏特性的影响。结果表明:薄膜相结构受热处理温度影响显著,热处理温度高于600℃时,薄膜相结构由无定形状态变为立方相状态;随着热处理温度的升高,薄膜电阻率显著增大;薄膜对CO气体具有良好的气敏特性,热处理温度为600℃时,薄膜对CO气体灵敏度达到最大值。     

支持协商的网构软件体系结构行为建模与验证

针对网构软件行为中的不确定性和不完整性,提出了一种支持协商的网构软件体系结构行为建模与验证方法.在建模中,该方法借鉴了UML时序图元素表示法,并增加了建模元素支持行为的不确定与不完整建模.在验证中,除了集成广泛应用的模型检查工具Spin以提供行为模型的验证能力以外,还引入了基于反例引导的抽象-精化过程思想的协商检查,以解决不确定和不完整建模所带来的正确性验证问题.     

Selection of input variables for model identification of static nonlinear systems

System identification can be divided into structure and parameter identification. In most system-identification approaches the structure is presumed and only a parameter identification is performed to obtain the coefficients in the functional system. Yet, often there is little knowledge about the system structure. In such cases, the first step has to be the identification of the decisive input variables. In this paper a black-box input variable identification approach using feedforward neural networks is proposed.     

生产实时信息网络通信的一种实现方法

介绍了在客户机服务器环境下用VB实现生产实时信息网络通信的一种简单方法。     

用Lanczos算法进行周期结构固有特性分析的研究

1．概述1．11程背景大型柔性空间结构（LargeFlexibleSpaceStructures,简称LFSS）是随着空间技术的发展而产生的一类特殊结构．六十年代以来,LFSS已成为卫星、太空站等的基本组成部分．这类柔性结构形式主要有三种：（1）梁式结构;（2）板式结构;（3）抛物天线及其他天线结构．LFSS是具有周期性的框架结构,其构成具有重复性,整体结构由相同构件按照一定规律彼此连接而成．该构件,称典型构件,由若干梁、杆、索、板等元件按一定方式连接而成．按结构是否封闭可将其分类为平移周期结构与旋转周期结构．平移周期结构由典型构件依…