论质量管理与标准化工作的关系

论述了质量管理和标准化工作在标准的实施、产品质量保证及产品质量认证中的相互关系,说明质量管理和标准化工作之间密不可分的内在联系。并阐明了质量管理人员和标准化人员应发挥的作用。     

无人驾驶直升机纵向姿态运动的模糊控制研究

介绍了基于模糊逻辑的无人驾驶直升机纵向姿态运动的模糊控制系统设计方法，并根据直升机的飞行控制系统具有快速动态特性的伺服机构的特点，在Ｆｕｚｚｙ控制系统中设置滤波器，平滑控制信号，削弱伺服机构振荡运动，经仿真证明该控制方案是可行的。     

产品概念设计网络求解的评价算法研究

产品概念设计是一种复杂的推理求解过程,它的设计过程的推理、判断工作量往往非常巨大.利用"与/或"树的知识表达方法,对产品概念设计过程的原理解答及其组合原理方案评价进行了深入的研究,提出了一种分解/综合网络评价算法,为产品概念设计过程的优化以及设计效率的提高打下良好的基础,并为进一步开发智能设计的计算机软件支持工具提供了一种形式化的评价方法.     

进一步促进中印贸易关系发展的对策分析

中印两国之间广泛开展商贸合作对于中印双方来说都有着重要的现实意义,对双边关系的进一步发展也有着积极的推动作用．因而中印两国应该抓住历史机遇,挖掘贸易合作的现实潜力,制定相应的对策以促进中印贸易关系良性健康发展,实现真正的“双赢”．     

俄美太空合作不局限于“国际空间站”

据2005年6月16日报道，俄罗斯联邦航天局局长佩尔米诺夫称，俄罗斯和美国将在太空探索计划和发射航天器等领域进行合作。他说：“除了空间站，俄罗斯和美国已在太空探索．太阳系行星的研究，以及民用航天器的研制和发射等方面建立了长期合作关系。”     

精密压力压电敏感器件温度与压力间的函数关系

对石英压力压电敏感器件的原理分析表明:这种敏感器达到热平衡状态具有相当长的时间常数,大约一小时量级。在这种情况下,再也不能忽略敏感器件的温度随压力的变化关系。当人们一旦需要使用精密敏感器件时,使要考虑到这一关系;本文将论及这一函数关系。     

应用动态物像矢量共轭关系计算航天相机像移

首先建立了航天相机的坐标系，明确了物像矢量之间的几何对应关系，其次定义了航天相机中的作用矩阵关系式；最后根据静态以及动态的物像矢量共轭关系，进行了航天相机的像移计算分析，结果表明该方法概念乘法，公式意义明确，结果与齐次坐标变换方法结合一致。     

中介逻辑的模型论性质

中介逻辑是朱梧槚与肖奚安合作创立的一个新的逻辑系统,该系统的创立有着很强的哲学背景,因此在创立后得到了很大的发展。但对于该系统语义的研究还不够广泛和深入。本文系统地研究了中介逻辑的模型论性质。第一部分系统地定义了中介逻辑模型论的一些概念:如语言、结构、解释、满足等,第二部分证明了对任一和谐理论,都可在其见证集的等价类上建立其模型。利用此定理,笔者证明了广义完全性定理,并由此证明了中介逻辑的可靠性与完备性。本文最后一部分讨论了中介模型论的其他重要性质。利用中介逻辑的完备性,本文证明了紧致性定理,即一理论有模型当且仅当其任一有穷子集有模型。文中还证明了中介逻辑的Lowenheim-Skolem-Tarski定理。     

NHDB关系数据库系统

本文介绍南航计算机系数据库小组研制的中文关系数据库系统NHDB,概述它的系统结构、功能和特点,并讨论在微机环境中解决内存容量有限的方法,然后将NHDB与dBASE作一比较。     

概括原则与悖论研究的进展

悖论的出现与概括原则中的造集的任意性有很大关系。然而,历史上各种排除悖论的方案要么修改概括原则而过多地限制了概括原则的合理内容,要么修改与之配套的逻辑系统而导致失败。近年来,这些问题的研究又取得了新的进展,有必要历史地加以评介,本文从类型论、ZFC公理系统、BG公理系统、多值逻辑系统和中介数学系统五个方面综述逻辑数学悖论之解释方法的研究情况。