关于离散线性系统能决定性的判别

本文得到离散线性系统能决定性的一个判别定理,该定理解决了文献中尚未解决的相关问题。     

AFDX实时流量的时间确定性中间件接入模型研究

为保证COTS平台下的航空电子应用在航空电子全双工以太网（ AFDX）上的时间确定性接入，设计了AFDX网络实时流量的中间件接入模型。通过基于中间层驱动过滤机制的协议转换，实现了双边网络的协议对接，并给出了帧顺序号（ SN）的插入方法；通过对虚拟链路（ VL）在时间上进行有效分配，避免了速率受限的数据流对物理链路的争用，在实现单条VL的BAG整形基础上提出了使实时流量抖动最小的VL复合时间调度算法。搭建典型实验环境对该模型进行仿真实验，结果表明，中间件模型能准确地实现数据帧TCP/IP协议与AFDX协议格式的相互转换，且该时间调度算法大大减小了VL复合所产生的抖动，保证了数据流传输的时间确定性。     

混杂系统离散状态的可观性研究

混杂系统是对一些复杂系统的抽象模型.可观性是系统的重要属性.混杂系统的可观性分为:离散状态的可观性和连续状态的可观性.一般最终状态可观性是混杂系统离散状态可观性的一个合适的定义.给出了一个算法,计算确定混杂系统离散状态所需最小输入串长度.