翼型动失速和非定常载荷的综合翼型数据方法

本文给出受迫谐振翼型的动失速工程估算方法。本方法基于凤洞试验，综合分析翼型动、稳态特性之间的差别与动、稳态条件之间的关系，建立一套估算动、稳态特性之间差别的经验公式，修正稳态特性，得到相应的动态特性。用本方法计算了三种翼型不同动态条件（包括深失速和后掠）的动失速特性，并与测量和文献结果进行了比较，结果符合得相当好。     

流变铸造法制备Al_2O_（3P）／ZA4－3复合材料的研究

为提高模用锌合金ＺＡ４－３的性能，扩大其应用范围，本项工作采用流变铸造法成功地制备了性能稳定的Ａｌ２Ｏ３Ｐ／ＺＡ４－３复合材料。对该材料进行了弯曲强度、冲击韧性、压缩强度、硬度及耐磨性等性能试验，结果表明：Ａｌ２Ｏ３ｐ的加入，使锌合金的压缩强度、室温和高温硬度以及耐磨性明显提高，其弯曲强度略有降低，而其冲击韧性下降了　。最后还讨论了成形工艺参数、颗粒含量和颗粒直径对该复合材料性能的影响。     

环氧／聚氨酯涂料的研究

采用环氧树脂来固化聚氨酯涂料，可使涂层具有良好的刚性和耐蚀性，本文研究了涂料各组分对于涂料涂层性能的影响，拟定了最佳配方工艺，并对其机理进行了阐述。     

机场跑道耐冲磨混凝土的研究

针对机场跑道混凝土所处环境、受力特环以及对修补材料的性能要求，提出采用超塑化、膨胀、树脂掺入等复合手段，大幅度改善钢纤维混凝土基质材料的结构性能。通过高效粘结，充分发挥了钢纤维的增韧抗冲击作用，使这种有机无机复合、金属非金属复合的混凝土材料具有优异的抗冲击性和耐磨性。实验结果表明，机场跑道混凝土特别是飞机起降区域板块适合采用SPE－SFRC复合材料。在基础稳定的条件下，基本可在设计使用年限内无须大修，其社会、经济效益巨大。     

无穷观问题的研究(Ⅲ)——‘每一''与‘所有''

本组系列论文（I）－（Ⅴ）从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状，确立了无穷观背景世界的三分法原则，指出了两种穷观相互排斥的局限性，形成了统一两种无穷于同一框架中的基本观点，并建立了一个统一实无限与潜无限于同一框架中的公理集合论系统APAS。     

典型几何和流动参数对高超声速进气道性能的影响

用N-S方程模拟了一系列典型二元高超声速进气道内压缩通道及隔离段模型,模拟发现内压缩通道及隔离段增压比、温升比和总压恢复系数等性能参数主要受面积收缩比、内压缩通道收缩角、隔离段长高比等几何参数以及内压缩通道进口马赫数、密度、附面层厚度等流动参数的影响。内收缩比和内收缩通道收缩角的增大都会使压缩增强;隔离段内沿程平均温升比、马赫数和总压恢复系数曲线则均接近平行直线。内压缩通道进口马赫数的增大也会使压缩增强,但较小的进口马赫数可能引起分离,进而增大增压比;而进口密度增大使附面层变薄,对气流的压缩减弱;进口附面层厚度对沿程平均温升比、增压比以及马赫数的影响近似线性。     

华东地区围护结构节能研究

根据南京市的典型年逐时气象参数，对于该市的某一座高层建筑物，应用自编的逐时动态负荷模拟程序，输入围护结构（窗户、墙体和屋顶）相关的物理参数及其与周围环境的关系（地点及朝向等），计算围护结构冬季采暖期散热量及夏季制冷得热量。结果表明，采用双层塑窗代替单层塑窗，使用节能墙体代替传统墙体能够使得冬季围护结构传散热量减少51％，夏季围护结构总得热量减少46％。因此，这一结果为华东地区建筑节能技术提供了理论依据。     

基于立体视觉的孔探分析系统及其应用

孔探分析在现代航空发动机故障诊断中一直发挥着重要的作用，开发基于立体视觉的孔探分析系统，对提高故障诊断水平和预测准确度，节约发动机维护成本有着重要的现实意义，系统利用立体视觉技术以及图像处理技术，完成了对双目视觉左右图像的标定和匹配，实现了对实体表面的三维测量和立体重建，本文介绍了基于立体视觉的孔探分析系统的基本原理与主要功能，并结合应用实例验证了系统的有效性。     

金属载体上线天线阻抗与辐射特性的矩量法研究

用线网格模拟金属载体表面，应用矩量法求出天线及载体网格上的电流分布，据此研究在该金属载体影响下的天线特性，在计算阻抗矩阵元素时，利用了非对称正弦偶极子辐射场的精确表达式，并采用了直接复数积分，简化了计算公式，本文给出了几种金属载体上线天线的阻抗与辐射特性的计算结果，它们与有关文献上的数据或实验结果一致，最后计算了一种舰船简单模型上两根线天线的远区辐射场及它们的自阻抗与互阻抗。     

基于中介逻辑的多模态逻辑系统

多模态逻辑作为模态逻辑的扩充，是模态逻辑进行时态和动态扩充的基础。中介逻辑是一个新的逻辑系统，自创立后得到了很大发展，并在数理逻辑及计算机科学领域中得到广泛应用。为将中介逻辑进行时态和动态扩充，本文构造了一种基于中介逻辑的多模态逻辑系统ＭＭＫ，讨论了它的推理规则和语义解释，并证明了ＭＭＫ的可靠性和完备性，在此基础上给出了一种基于中介逻辑的时态逻辑系统ＭＴ，对它的可靠性和完备性进行了讨论。最后，分析了相应的经典多模态逻辑系统与ＭＭＫ系统及经典时态逻辑系统和ＭＴ系统之间的关系。