离散事件动态系统的GSMP模型及扰动分析

对离散事件动态系统（ＤＥＤＳ）的仿真过程建立了包含中断事件集和驱动事件集的广义半马尔可夫过程（ＧＳＭＰ）模型，对参数的无穷小扰动所引起的系统状态转移时刻进行了扰动分析，最后，讨论了扰动分析所需要的可变换条件和样本性能函数的关系，并提出值得进一步研究的问题。     

多协议多用户GPS/GSM监控系统网关的设计与实现

在多协议、多用户GPS(Global Position System)/GSM(Global System for Mobile communications)监控系统中,网关的设计对系统的性能、可用性和可扩展性有重要作用.讨论了在网关设计中需要注意的几个关键问题:通过分析不同短消息服务器的接口协议,提出使用协议管理器实现多协议接入;给出了与用户系统的通信指令格式,并分析了地址的转换流程.最后剖析了用多线程方式和消息驱动实现这种系统的优点,并给出了一个具体实现的消息循环流程.实践证明这种设计是可靠高效的.     

实时曲面纹理及其光照效果的生成

依据两步映射法和体纹理的思想，将曲面纹理的映射过程分为非实时映射和实时查询两个部分，提出一种能实时显示曲面纹理的方法及相应的抗混叠措施，最后，结合一种快速浓淡算法，为曲面纹理叠加光照效果，生成了很逼真的图象。     

奥米伽导航的动态模拟及其应用

为进行奥米伽导航系统地面仿真试飞实验，设计了奥米伽导航系统的信号模拟器，它可模拟静态和动态的奥米伽信号，介绍了其工作原理及组成；分析了模拟器误差；给出了实测误差。最后进行了仿真试飞实验，并经空中试飞验证了该仿真方案。     

基于对象的仿真建模系统

基于面向对象的思想，图形用户界面和仿真程序自动生成技术研制开发出一个基于对象的辅助仿真建模系统ＳｉｍＭｏｄｅｌ，介绍了ＳｉｍＭｏｄｅｌ的系统结构和模型描述框架，讨论了仿真程序生成器的运行机制，提出了有向网络图递归深广优先搜索算法。     

严格伪压缩映象的Ishikawa迭代序列

证明了Ｌ＾ｐ（或ｌ＾ｐ）（Ｐ≥２）上的李普希茨严格伪压缩映象的Ｉｓｈｉｋａｗａ迭代序列必收敛到映象的不动点。     

离散系统仿真输出数据的统计分析

概括了分析仿真产生的数据的方法，讨论了离散系统仿真输出分析的目的以及应用统计方法的要求，对单变量情形，给出了有关估计来自终态仿真和和稳态仿真参数的技术。对多变量情形，以终态仿真为例，给出了用于分析离散系统的仿真输出的某些多变量统计技术，并提出均值向量的估计方法。     

纯辐射换热航天器系统比缩热负载试验方法

首先讨论了纯辐射换热的航天器系统温度场在恒定热源情况下具有渐近稳定特性，然后据此提出了对该系统可采用比缩热负载进行热模拟试验的方法。     

自动测试技术的发展探讨

介绍了自动测试技术的发展过程.为适应高科技、高效率、高效益市场经济环境的需求,着重从虚拟仪器新概念、测试技术的革新、测试设计和测试方法的策略及被测对象的可测性等方面较详尽阐述了第三代自动测试系统的新思路、新特点和新方向.     

捷联惯导系统计算机硬件检测原理与实现

介绍一种实用捷联惯导系统计算机结构。主模块与美国SESCO/TITAN公司的SECS86/20模块兼容,检测软件可以检测板上大中规模集成芯片,具有检测全面、准确的特点,从方法与原理上都具有通用性,可以方便地移植到其它类似的机器上。该软件已用于实际系统。