飞机座舱有机玻璃典型环境老化当量关系研究

以试验研究为基础，阐述了老化损伤相同则疲劳强度相等的观点，明确提出了以疲劳强度为准则的老化当量原理，并根据大量的大气暴露和加速老化试验后的疲劳试验数据，确定了DYB－3有机玻璃在典型环境大气暴露与试验室人工加速老化间的当量关系。     

基于．NET平台下的ORM组件的研究与应用

由于对象模型和关系模型存在阻抗不匹配,实现对象和关系的映射已成为软件开发领域的关键问题.首先概述了ORM的基本概念和应用的必然性,同时分析了几种比较典型的.NET平台下的ORM组件.结合正在进行的项目的实际需要,提出并实现了一个.NET平台下的轻量级的ORM组件.     

模拟沿海大气环境腐蚀对2A12-T4 铝合金板件疲劳行为的影响

对航空材料服役的大气环境开展实验室加速模拟试验以获得其长期腐蚀行为和寿命退化情况是相关材料和装备设计、制造、维修以及寿命评定和寿命控制的重要内容和基础。通过开展针对2A12-T4 铝合金板件的模拟铝合金沿海大气腐蚀的实验室加速腐蚀试验，模拟研究从初期点蚀到后期剥蚀的整个沿海大气腐蚀过程中，腐蚀对铝合金板件疲劳特性的影响；基于疲劳寿命退化相当的原则，建立2A12-T4 铝合金板件加速腐蚀与大气腐蚀之间的加速等效关系。结果表明：2A12-T4 铝合金实验室加速预腐蚀后疲劳寿命退化规律与大气预腐蚀疲劳寿命退化规律一致，均呈现为“快速下降期”+“平台期”的特征。     

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

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

中介逻辑的模型论性质

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

NHDB关系数据库系统

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

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

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

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

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

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

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

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

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