一类非线性耗散系统的逆最优控制

首先研究一类单输入非仿射非线性系统的逆最优控制问题, 其代价泛函为非线性-非二次型, 设计出一族参数化的状态反馈逆最优控制器;然后讨论当该系统为耗散系统时, 在供给率为二次型的耗散性理论框架下,给出使系统渐近稳定的李雅普诺夫函数和镇定控制律, 并通过适当选取代价泛函中的参数,使得李雅普诺夫函数也是最优值函数,进而揭示出耗散系统在线性输出反馈意义下稳定性与最优性之间的等价关系.     

大容积焦炉脱硫脱硝工艺选择初探

大容积焦炉烟道废气的温度和流量直接影响其脱硫脱硝的效率和方案的选择。论述了目前焦化脱硫脱硝存在问题以及各种工艺方案的优劣,找到了适合大容积焦炉烟道废气脱硫脱硝的较佳方案。     

基于使用模型和遗传算法的测试数据自动产生技术

测试数据的自动产生技术是软件测试的一个重要研究领域,是提高软件测试效率和效果的有效方法。为保证被测对象中实际运行更频繁的部分得到更充分的测试,把使用模型和遗传算法相结合,以整个被测试对象所需测试数据量为优化目标,给出了相应的规划模型,并提出了路径权重和目标路径集的确定方法,设计的适应性函数综合考虑了路径权重、路径覆盖率和路径接近程度三要素。实例证明了模型与方法的合理性及有效性。     

基于灰色聚类法的仿真系统可信度分析

仿真系统可信度分析是仿真理论特别是仿真VV＆A技术研究的重要内容,也是仿真系统开发的重点及难点工作之一.该文首先对仿真系统可信度分析的常用方法进行了分析和比较,针对仿真系统信息存在不完备、不全面和不充分的特点,把灰色聚类理论引入到仿真系统可信度分析中,给出了仿真系统可信度分析的灰色关联聚类法、灰色变权聚类法和灰色定权聚类法的单级和多级评判模型,最后分析比较了这三种方法的特点和适用范围.     

层次建模分析方法在C4ISR系统中的应用

C4ISR系统是一个规模庞大、层次分明的离散动态系统。文章提出了一种面向C4ISR系统的UML和Petri网结合的建模分析方法。该方法采用从上到下的层次分析方法。用扩展的UML模型对系统组织结构和系统的静态特征进行描述，用扩展的Petri网模型描述和分析系统动态特性，通过相应的规则将Petri网模型转化成状态图和序列图。新方法可以对系统要求进行验证，同时还可以编程实现。最后通过该方法，对一个C4ISR系统进行了建模分析。     

基于UML状态图的C4ISR系统的建模和实时分析

针对C4ISR系统的实时性强的特点,对UML状态图进行时间扩展,使用时间扩展的UML状态图对C4ISR系统进行建模。同时为分析C4ISR系统的实时性,采用一定的转化规则,将时间扩展状态图模型转化成时间Petri网模型,使用时间Petri网的可达树来分析C4ISR系统的时间特性。应用一个C4ISR防空实例表明了该方法的可行性和实用性。     

基于DEVS的UML建模方法:UML-BD

DEVS是一种层次的模块化的系统说明方法，它提供了一种层次的模块化的系统说明方法。文中给出的UML-BD方法就是在UML中结合DEVS这一特点，对UML进行一定的扩展；同时还在UML中增加了时间的约束，满足系统的实时性的要求。该方法适合一类层次结构清晰、实时性强的系统的建模，如C4I系统。     

UML-BD在C3I系统中的应用

DEVS是对离散事件系统的一种形式化描述,它提供了一种层次的模块化的系统说明方法。该文中的UML-BD（UML Based on DEVS）方法就是在UML中结合DEVS这一特点,对UML进行一定的扩展;同时还在UML中还增加了时间的约束．满足系统的实时性的要求。基于C3I系统的层次性、实时性的特点,该文采用UML-BD方法对系统进行建模,构建出系统模型能够充分地展现系统特点。