调制域测频原理及工程实现

介绍了调制域这一新概念，着重分析了调制域测频方法，给出了所实现的调制域测频系统框图，展示了调制域测试的关键技术、内插技术和无间隔计数技术，介绍了游标内插法，独立提出了斜波内插法和孪生链。     

压力敏感涂料PSP宽域(1~600 kPa)静态标定方法研究

压力敏感涂料PSP是一种先进的光学测试技术。涂料的标定误差是该技术的主要误差来源之一。压敏漆的测量范围正逐步从常规压力区间向超低压和超高压拓展,因此需要开发压力调节范围大、精度高的标定系统。本文将现有的变压力法和变浓度法相结合,提出了一种新型的PSP宽域压力标定方法及系统。通过理论计算的方式,分析了该系统与ISSI公司的商用PSP标定系统的性能差异。结果表明:PSP宽域压力标定系统在低压区（1~20 kPa）标定误差能够控制在0.5 kPa范围内,性能优于ISSI标定系统;中压区（20~200 kPa）与ISSI标定系统性能趋同,误差在4%以内,且随着压力增大,误差降低;高压区（200~600 kPa）可以弥补ISSI无法标定400 kPa以上范围的不足,能实现超高压环境中的PSP标定。本文还对最常用的两种快响应PSP进行了标定实验,结果表明:本文提出的系统标定精度高,能实现PSP宽域标定。     

基于XML的产品主模型技术研究

多学科设计优化方法是近年来发展的一种设计复杂系统的新方法。它充分考虑各个学科之间的相互影响和耦合作用,以获得系统的整体最优解。产品主模型技术是多学科设计优化的关键技术之一,能较好地解决应用模型之间的数据交换和通信。文章介绍了产品主模型的概念及其特点,对产品主模型技术及其实施过程进行了深入研究。回顾了可扩展标记语言的产生和发展历史,并对其特性进行了较详细介绍;研究了基于可扩展标记语言技术实现系统集成的技术路线;最后,提出了基于可扩展标记语言技术和产品主模型技术的卫星总体方案多学科设计优化集成框架。     

RS（31，15，17）码的设计与软件实现

介绍了RS码的优点及选用RS（31，15，17）码的原因，阐述了RS码的构成及其基本原理，详细阐述了RS（31，15，17）码的编码设计和译码设计，用软件实现了编，译码过程并进行验证，得到了有用的结论。     

新国家标准《花键表示法》的分析与探讨

分析了GBT4459.3-2000《花键表示法》中有关矩形花键和渐开线花键在径向、轴向视图上的画法及尺寸标注法、花键联结的画法,并对新国标新增的两种花键的符号及其标记中各参数和标注方法作了介绍。     

基于目标操作化的多引擎协作体系结构研究

基于目标操作化的域原子操作模型,研究分析了面向应用目标的系统设计与实现的基本问题,通过引入解释引擎,提出了面向目标的形式模型与应用软件设计实现的一体化机制;在系统级应用中间件之上,引入组件服务,提出了一个通过处理操作作业流实现目标的、多个操作服务引擎协作的体系结构,通过构造组件适配器,以满足操作服务引擎对异构组件服务的一致性访问.     

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

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

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

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

中介时序逻辑系统MTL的模型论性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备.