基于领域的机器定理证明的研究

采用分类的思想,对领域内的证明问题进行了归纳总结、抽象,在计算机上建立了相应的模型,采用基于知识的推理技术,设计了机器定理证明的实现流程,并针对某种具体类型实现了相应的原型系统,得到了满意的结果。分类思想为具有较强客观规律问题的机器自动求解提供了思路。     

直升机复合材料桨叶铺层三维几何建模方法

针对直升机复合材料桨叶铺层几何建模过程中存在的效率低、工作繁琐重复等问题,提出了一种桨叶铺层三维几何建模方法。首先系统归纳了典型的桨叶铺层类型,提出了一种面向复合材料铺层几何建模的铺层信息参数化表达方案,并通过一个智能向导引导设计人员对各铺层进行定义和描述,在此基础上由软件算法自动生成桨叶铺层设计表格;根据桨叶理论外形和桨叶铺层设计表格,通过铺层区域裁剪复制和分片逐次等距方法构造桨叶当前铺层几何模型,并实现整个桨叶铺层几何模型的自动生成。通过实例验证表明,该方法能够快速、高效地实现复合材料桨叶铺层的三维几何建模。     

飞机易损性计算中的射击线几何描述方法(英文)

本文提出了一种飞机易损性计算中的射击线几何描述方法。首先,将给定打击方向上的飞机暴露面积划分为三个子区域:非易损区域、非重叠易损区域和重叠易损区域。然后,把飞机的独立存在状态划分为三类:杀伤状态、中间状态和非杀伤状态,利用射击线扫描法,对以上三个子区域中的飞机存在状态参数进行分析。最后,该方法提供两类射击线几何描述数据:(1)每个子区域内部件的易损面积和暴露面积,这些数据主要用于计算部件的单击中易损性;(2)飞机的独立存在状态及各个状态对应的面积,这些数据主要用于计算飞机的单/多击中易损性。算例分析表明,所提出的方法通过跟踪射击线运动路径,可以提供飞机及部件被威胁命中部分的面积参数,从而使易损性计算更具有真实性。同时,该方法解决了目前方法在考虑部件重叠时的通用性问题,所提供的几何描述数据形式简单,易于分析人员使用。     

基于Zernike拟合的三反射面天线赋形设计

多反射面天线系统受空间、位置和尺寸等因素的影响,其主反射面口面存在相位差,从而导致天线辐射性能下降,文章提出了一种利用Zernike多项式赋形多个反射面的方法,通过对副反射面赋形,在主反射面口面得到期望的幅度相位分布。该方法利用Zernike拟合来处理反射面间的光程差,并将主反射面作为固定面,根据几何光学法和光程条件,在Matlab中建立副反射镜初始模型,通过遗传算法优化Zernike系数调整光程差,对副反射镜面形进行优化设计,避免了复杂的微分计算。使用Grasp仿真软件对设计的三反射面天线系统进行了分析,计算表明,与未赋形的三反射面天线相比,赋形反射面天线系统主波束效率提升了10.67%,达到95%以上,验证了该赋形方法的可行性及对天线系统性能提升的有效性。     

一个大挠度柱面弯曲板条的求解

本文应用付宝连的大挠度弯曲直梁的功的互等定理,求解一个柱面弯曲板条的挠曲面方程.     

一种新的三维四步编织复合材料几何模型及其在宏观弹性性能预测中的应用

 为了准确预测三维四步(1×1)编织复合材料的宏观弹性常数,提出了一种考虑纤维束三维几何结构和纤维束与基体相互作用、便于有限元网格划分的单胞几何模型,该模型精确地反映了纤维体积比。以该几何模型为基础,用六面体单元分别对纤维束和基体进行了网格划分,满足了纤维束与基体界面间的位移连续条件。采用有限元模型计算了编织复合材料的宏观弹性常数,与其他计算结果和实验结果的比较表明,该几何模型和有限元模型比较合理。     

一种准确预测层合梁结构层间剪应力的新锯齿理论

层合梁是航空航天领域典型的承力构件,而过大的层间剪应力（层间处的横向剪应力）是导致其分层失效的主要原因。针对常见的层数较多的复合材料层合梁以及材料属性差异较大的三明治夹层梁,现有的理论模型仍然无法准确预测其横向剪应力。通过构造一个新的线性分段锯齿函数,提出了一种能够准确预测层合梁结构横向剪应力的新锯齿理论模型。几个典型的数值算例表明,本文提出的新锯齿理论模型在计算层数较多和材料属性差异较大的层合梁时,具有较高的计算精度,能够准确预测层合梁的分层。另外,该模型预先满足横向剪应力层间连续条件,无需三维平衡方程后处理就能够准确预测层合梁的横向剪应力。位移场中未知量个数少,不含横向位移的一阶导,便于C⁰梁单元的构造。     

关于热力学空间概念的探讨

在气体力学研究中,不可避免地将引用热力学的基本定律,过去在不少工科著者所用的论述中常将传热量Q和气体所做的功W的微增量写为dQ和dW。但从严格的数学理论而言,这是不正确的表达式。笔者在参与《航空空气动力手册》的编审中曾经提出过此问题,在手册的再版时已经改正为δQ和δW。但此后一些气体力学的著作未能引起注意,仍然习惯地写成dQ和dW。为此,在本文中作一个严格的证明,并提出了热力学空间的概念,以澄清以往的混淆。     

一种多点定位的目标位置精确解算方法

多点定位是民航飞机导航系统的新技术,精确的目标位置解算方法是多点定位的关键.通过设定参考站和变换,将非线性到达时间(TOA)方程组转化为线性到在时间差(TDOA)方程组,提出了一种两步求解目标位置的闭式算法.首先忽略TDOA测量误差,获得了目标位置的粗解,在粗解的基础上做泰勒级数展开,克服了未知量不独立对精度的影响,再...     

一类非线性三点边值问题正解的存在性

文章研究了一类非线性三点边值问题正解的存在性。运用一种新的方法得到格林函数的一些性质,然后运用Guo—Krasnoselskii不动点定理建立了边值问题在满足很弱的条件下解存在的条件,推广和改善了相关文献的结果。