制导武器系统的MATLAB仿真

该文以防区外投放的制导航空弹药为背景,探讨了在MATLAB／Simulink环境下建立制导武器系统仿真模型并进行仿真研究的共性问题。首先,提出了Simulink环境下分层次建模的思想,这一思想能将仿真建模的任务逐步细化,避免在建立复杂大系统的模型时,一开始就面临太多的具体细节;其次,以气动参数插值为例研究了应用S函数来增强Simulink仿真功能的具体方法;然后,建立了某制导武器系统完整的六自由度仿真模型并进行了仿真研究;最后,探讨了仿真时间要求苛刻的条件下,缩短仿真时间、提高实时性的一些方法和手段。事实上,该文对于一般武器系统的仿真,特别是需要快速建立仿真模型的复杂大系统仿真来说,具有非常重要的参考价值。     

SIMULINK在液压回路动态特性仿真中的应用

针对液压系统动态特性仿真问题,分析了节点法建立液压回路数学模型的方法,用容腔节点表征回路的压力变化,对与容腔节点相连的液压元件则建立其流量方程.研究了在SIMU-LINK下建立容腔节点和液压元件仿真模型的方法,并将仿真模型封装为用户定制模块,为快速建立系统仿真模型奠定了基础.给出了仿真实例,表明这种应用SIMULINK实现液压系统动态特性仿真的方法是有效的.     

基于Modelcia的空调半实物仿真系统的设计与实现

为进行多领域空调系统的整体性能分析,基于Modelica建立了串口通信模型和空调模型,利用自编程的信号调理电路和已建立的串口通信模型将空调模型与空调控制器进行连接,建立了空调半实物仿真系统,仿真实验结果证明了本系统的有效性。本空调半实物仿真系统为多领域系统的半实物仿真提供了一套新的解决方案,可有效提高产品研发效率,降低研发成本。     

基于Petri网的FMS物流系统建模与仿真

在建立FMS物流系统Petri网模型的基础上,采用“映射”思想,将Petri网模型转化为物流系统的仿真程序,提出了库所映射为程序数据、变迁映射为程序函数、系统子网映射为FMS系统基本类的映射方法,通过实例仿真验证了软件程序与模型的一致性。     

随机性的批量制造库存系统的仿真模型

对用计算机仿真技术来研究包含随机因素的批量制造库存系统提出了仿真策略，建立了仿真模型，从而可通过系统仿真的方法来选定最优批量制造库存策略。     

复杂系统仿真与人体仿真探讨

系统仿真是为复杂系统的组成建立模型,对系统功能的实现进行可视化的研究,是基于系统认识的模型化表示。通过对仿真演示结果评估与分析得到的结论,再与系统模型表达的系统知识进行重合性、再现性比较研究。在生理系统中人体系统仿真研究分为医学人体仿真研究和应用人体仿真研究。由人体切片数据重建的人体构造三维图像,是在计算机虚拟空间中对人体解剖数据的可视化;下一阶段的医学人体仿真研究工作是建立各种器官系统的附加相应的物理性、生理性等参数的仿真模型模块,在仿真集成环境中进行仿真,并对仿真研究结果加以评估和分析。     

C~4ISR系统需求仿真组件模型研究

研究面向C4ISR系统需求验证中的仿真支持过程,针对不同阶段、不同领域的需求仿真和重用问题,通过C4ISR系统需求的仿真概念模型,从系统功能、作战活动和系统状态等不同侧面抽象描述需求仿真的特性,建立了面向仿真的C4ISR系统需求组件模型,并用案例分析了C4ISR系统需求仿真组件模型的可行性。     

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

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

电站锅炉系统仿真建模的研究

本文应用面向对象的方法对电站锅炉系统进行了建模研究,并用C＋＋语言建立了电站锅炉系统的仿真程序库。根据不同仿真目的需要及不同的锅炉系统使用该程序库可以方便建立满足使用要求的仿真模型。最后给出了一台210MW锅炉在负荷波动时的仿真曲线。     

三峡五级船闸运行系统仿真技术研究

针对三峡五级船闸系统运行模态的复杂性和混合仿真需求,该文建立了相应的连续系统模型以及离散系统模型,首次提出了利用双传感器实测数据和模型仿真结果进行信息融合的机制来进行故障诊断和 决策的方法,并采用面向对象的方法初步实现了该仿真系统,给出了船闸系统的动态运行结果,为系统后期的运行控制提供了依据。     

直流锅炉蒸汽发生器的模块化建模与仿真

为简便、全面地研究直流锅炉蒸汽发生器的动态特性,采用了模块化和移动边界法相结合的方法,建立了直流锅炉蒸汽发生器的数学模型.建模过程中,将蒸汽发生器划分为水冷壁、汽水分离器两大模块,其中水冷壁分为三段,采用非线性集总参数移动边界法建立三个独立模块;汽水分离器采用集总参数法建立干式运行模块.在仿真模型的基础上进行动态仿真试验,试验结果与实际系统的动态特性相符,不仅成功解决了大扰动全工况仿真问题,而且使得二次建模过程更为简便.该模型的建立,为直流锅炉系统工程分析和大规模火电厂仿真机的开发打下了良好的基础.     

霍尔辛赫选煤厂煤泥分选系统改造方案

介绍了霍尔辛赫选煤厂煤泥分选流程;通过分析及试验,找出了螺旋分选机分选出的精煤灰分升高的原因;通过在管路上增加一个三通并设置闸阀,对煤泥分选系统进行了改造。煤泥分选系统改造前后螺旋分选机截取器在相同位置时的精煤灰分分别为11.71%和8.67%,可见精煤灰分明显降低。     

火电机组经济性分析仿真模型的模块化

该文讨论了建立火电机组运行经济分析模型的重要性和必要性 ,用工程模块化的建模方法建立了该模型 ,模型较为真实地反映了机组运行的经济分析结果 ,在分析单元机组工作状态、指导运行人员的实践操作和对运行人员的培训考核中发挥了较为重要的作用。     

Modular parametric finite element modelling for reliability-studies in electronic and mems packaging

A modular and parametric approach to FE-modelling is presented which allows rapid virtual prototyping for MEMS and other microelectronics packages with respect to some topical reliability issues: Thermal management and thermo-mechanical fatigue. Thereby the method of automatic model generation by modular parametric modelling is outlined and some examples featuring the required solution techniques are given. This simulation procedure forms part of a comprehensive design optimisation process in the field of predictive engineering.     

Modular Simulation in Multibody System Dynamics

The dynamic analysis of complex engineering systems likeautomobiles is often relieved by a modular approach to make it treatableby a team of engineers. The modular decomposition is based onengineering intuition of corresponding engineering disciplines. In thispaper, a modular formulation of multibody systems is proposed which isbased on the block representation of a multibody system withcorresponding input and output quantities. Advantages of this modularapproach range from independent and parallel modeling of subsystems overthe easy exchange of the resulting modules to the use of differentsoftware for each module. However, the modular simulation of the globalsystem by coupling of simulators may result in an unstable integrationif an algebraic loop exists between the subsystems. This numericalphenomenon is analyzed and a method of simulator coupling whichguarantees stability for general systems including algebraic loops isintroduced. Numerical results of the modular simulation of aslider-crank mechanism are presented.     

A metamodel for the design of polychronous systems

This article presents the development of a metamodel and an open-source design environment for the synchronous language Signal in the Gme and Eclipse frameworks. This environment is intended to be used as a pivot modeling tool for a customized, aspect-oriented and application-driven, computer-aided engineering of embedded systems starting from multiple and heterogeneous initial specifications. The metamodel, called SignalMeta, is defined on top of the design workbench Polychrony, which is dedicated to Signal programming. Automated transformations are defined and implemented in order to produce, analyze, statically verify and model-check programs obtained from high-level models.The proposed approach promotes model-driven engineering within a framework that strongly favors formal validation. It aims at significantly decreasing design costs while improving the quality of systems. We demonstrate the agility of this approach by considering the design of both control-oriented and avionic systems. We start with an implementation of core polychronous¹ data-flow concepts in Gme and show the ease of its modular extension with application-specific concepts such as mode automata or integrated modular avionics concepts. This work is the first attempt to generalize the formal model of computation and the design philosophy of Polychrony.     

选煤厂特大型煤仓电气设计经验

针对煤仓安全隐患问题,以某选煤厂特大型产品仓为例,介绍了其在电气安全防范、电气节能和模块化设计等方面的设计方法。实际应用表明,该设计方法确保了选煤厂的安全持续生产。     

基于CDIO的高职软件技术专业人才培养方案

本文介绍苏州工业园区职业技术学院基于CDIO工程教育模式制定的高职软件技术专业人才培养方案,探讨基于CDIO工程教育模式的软件人才培养方案制定方法,包括工作过程系统化的高职软件技术专业课程体系构建、核心专业课程开发、模块化教学与学期项目的实施,最后提出该方案实施所必备的师资条件、实验实训条件等。     

A system for simulation, monitoring and diagnosis of controlled continuous processes with slow dynamics

This paper presents a modelling approach specifically designed to be used in a monitoring and diagnosis system based on the simulation of relevant process and control system variables. The model is based on semantically extended data flow diagrams with each computational process representing the incremental behaviour of a component of the plant to be modelled. Variable as well as delay time behaviour is associated with each component model to support an event-driven simulation which, in turn, reduces computation time. This plant model of independent but interacting computational processes is easily extendable, modifiable and adjustable according to changes in the plant.

The modelling approach is applied to a coal power plant process and is implemented in G2, an object-oriented, real-time expert system shell with built-in simulation and online external connection capabilities. Generic rules guiding the event-driven simulation and monitoring allow for modular adaptation of the model as the plant's structure and functionality change without requiring changes in the rule set.     

Black-white pebbles and graph separation

Summary We exhibit a close relationship between two topics in computational complexity. One topic is the analysis of storage requirements for nondeterministic computations. The corresponding mathematical model is a well known black-white pebble game on directed acyclic graphs. The other topic is the search for small separators of undirected graphs. We model a dynamic version of the concept of a separator with a vertex separator game. This game is closely related to graph layout and searching problems. We show that instances of the black-white pebble game and the vertex separator game can easily be transformed into each other. As an application of this result both games are shown to be NP-complete.