TSP及其操作语义模型研究

在有限状态进程(Finite State Process, FSP)和时间自动机(Timed Automata, TA)的基础上,提出了一种描述分布式实时系统(Distributed Real Time System, DRTS)行为的模型:时间状态进程(Timed StateProcess, TSP).TSP包括4个常量进程IDLE进程、SKIP进程、STOP进程和ERROR进程;以及前缀进程、超时进程、时钟复位进程、卫式条件进程、非确定性选择进程、数据(/消息/应答消息)发送进程、数据(/消息/应答消息)接收进程、组合进程和顺序进程.定义了TSP模型的结构化操作语义,以及TSP到时间标号迁移系统(Timed Labeled Transition System , TLTS)的转换规则.     

弹道跟踪数据处理中的几个计算问题

结合弹道跟踪数据建模和数据处理的实践 ,提出了几个有典型应用价值的测量数据模型 ,在应用这些数学模型解决实际问题时 ,涉及统计、优化、函数逼近等几方面的理论和计算问题。这些问题和模型的研究 ,对解决许多相关的实际问题有重要意义。     

条件随机变量与条件数据融合

本文讨论基于条件事件代数系统上的条件随机变量的表示问题,并给出了在多个信息源提供的不同类型的条件数据时之统一表示方法,以及利用条件随机变量分布函数性质,对所得数据进行关联等。     

马尔可夫链最优停止的值函数

本文讨论了时间无限的马尔可夫链的最优停止问题。对于无限状态情况,给出了其最优停止变量以及值函数存在的一个充分条件;对于有限状态情况,这个充分条件以及问题的计算等价于解一个线性规划问题。     

有限马氏链最优停止的线性规划解

离散时间的有限状态马尔可夫链最优停止的值函数存在的一个充分条件是所对应的线性规划有解,且其最优解等于值函数,本文证明这个条件还是必要的。     

基于 Petri 网的决策组织结构设计

决策组织设计的首要问题是如何获得可行的组织结构。决策组织作为典型的分布式智能系统,利用Ｐｅｔｒｉ网生成其可行的组织结构是极广泛采用的方法,并已取得很多成果。该文是对这一领域的过去、现在和未来的综述。     

离散滑模变结构控制稳定性分析

对流行的离散变结构控制的两种方案——K.Furuta方案和Wang氏方案进行了研究,发现Wang氏方案中的稳定性定理不能成立,其证明不充分。并通过仿真,给出了反例。文章指出控制结构在A区和B区交替变换过程中,系统状态运动的一个循环过程所对应的转移矩阵A_i~*的谱半径小于1,系统才是渐近稳定的。     

硅整流发电机坦克供电系统瞬态特性的计算

采用状态变量计算硅整流发电机的工作特性是最新的研究成果.本文将这一成果开发到硅整流发电机坦克供电系统瞬态特性的研究中.实践证明,能大大节省计算工作量.文中有计算实例和与实车试验结果的对比.     

某型导弹弹翼静力分析的一种数学模型

应用有限元方法,建立了变厚度薄板三角形单元刚度矩阵,给出了变厚度薄板三角形单元形心上的应力和位移计算的数学模型。通过对某型反坦克导弹弹翼进行静力分析和实验比较,表明采用这种模型进行分析合乎结构设计精度要求。     

导弹自动驾驶仪控制算法鲁棒性研究

以某型轴对称导弹为研究对象,在解耦和线性化的情况下,得到简化的数学模型。通过求解线性矩阵不等式(LMI)设计了状态反馈H∞控制导弹自动驾驶仪,采用模糊和变论域理论设计了变论域模糊PID控制自动驾驶仪。考虑飞行过程中的干扰、气动参数摄动,对两种自动驾驶仪的控制性能进行对比研究,仿真结果表明,二者皆能实现对导弹制导指令的有效跟踪,其中状态反馈H∞控制设计的自动驾驶仪在指令跟踪的快速性、准确性和抗干扰性上具有明显的优越性。