通用仪器CAT可视软件开发平台

通用仪器CAT可视软件开发平台(以下简称"CAT"平台),是在深入研究各个校准实验室日常计量检测工作普遍规律的基础上,设计出的一套辅助实验室软件开发与应用的通用工具,可以完成检测软件开发与应用、证书编辑与生成、实验室信息管理等工作,全面提高校准实验室检定测试的技术与管理水平.     

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

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

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

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

基于对象的仿真建模系统

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

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

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

全面覆盖ISO／IEC 17025要素的校准实验室管理信息系统的开发

开发符合ISO/IEC 17025标准要求的校准实验室信息管理系统,对提高校准实验室的工作质量有着重要的意义。论述了覆盖校准全要素要求的标准实验室信息管理系统的框架模型,以及基于此模型的系统开发实例的基础上,提出了增强性角色控制模型,应用了修改痕迹保留等技术。     

NIM4#铯冷原子喷泉钟新一代时间频率基准

回顾了NIM4 #钟实现 5 μK冷原子云 ,74cm原子喷泉和 0 95Hz线宽Ramsey跃迁实验 ,报道了 9 19GHz微波锁定到铯原子秒定义跃迁 ,频率稳定性达到 (5 - 7)× 10 -15(15 0 0 0s)。目前我们正在进行不确定度评估 ,可望不确定度进入 10 -15量级 ,建立我国新一代时间频率基准装置。     

共轴式小型直升机操纵系统动态特性分析研究

对某共轴式小型遥控直升机纵向系统建立了工程实用的数学模型,分析研究了该系 统动态特性和参数变化对其动特性的影响.通过与试验、试飞比较,证明该模型是正确的、 可信的、其精度符合工程要求.     

无界域上不定二次规划的一个算法

本文给出了无界域上不定二次规划一个算法。该算法将不定规划转化为一系列凸二次规划，并证明了算法的收敛性。     

大气湍流光学长曝光像的数值计算

在介绍大气湍流光学长曝光像的两个模型——高斯模型(空间域模型)和统计平均光学传递函数模型(空间频率域模型)的基础上，推导两模型之间的关系与差别，并应用两模型数值计算了扩展目标通过大气的长曝光成像结果。此外，还应用高斯模型给出了自适应光学系统校正后的远场光斑。