中介公理集合论系统与经典公理集合论系统的关系——形式证明部分

在中介公理集合论系统（ＭＳ）中重新定义了良集的概念，讨论了它的性质。证明良集完全满足经典公理集合论系统（ＺＦＣ－：ＺＦＣ系统中去掉正则公理）的全部公理，且其配套的逻辑系统恰为中介逻辑的二值子系统ＦＩ＊ＭＬ，说明整个经典数学也能奠基于ＭＳ之上，从而最终回答了中介数学与经典数学的包含关系问题。     

基于中介理论与交通特性的终端区态势评价

终端区交通态势的准确度量是制定并实施流量管理措施的重要依据之一。通过提取终端区宏观与微观的交通特性,从进离场及总量3个维度构建态势的指标描述,并进一步采用中介理论中的真值程度度量与熵权法建立了一种客观的终端区飞行区交通态势模糊综合评价方法,实现客观、准确的交通态势判别与样本间量化比较。选取国内典型繁忙终端区的实测数据,验证了评价方法与特性指标的有效性。     

带非线性支撑的转子有限元模型求解方法

用数值方法研究了非线性支撑的柔性转子系统的动学行为,提出了一种将有限元与非线性支撑结合的模型和求解方法。利用有限元法(FEM)构建转轴和转盘部分的模型,通过矩阵进行组合;利用离散元方法对包含滚动轴承和挤压油膜阻尼器(SFD)的支撑部分进行建模,此部分包含4个单元,分别为轴承内圈、外圈、SFD内圈和支撑鼠笼。有限元部分和离散元部分通过轴端节点相连,仿真过程中轴端位移传递给非线性支撑部分,支撑部分通过位移计算得到的非线性力反过来作用于有限元转子轴端部分。为了耦合求解有限元转子和非线性支撑组成的数学模型,提出了一种综合的迭代求解方法,克服传统的有限元求解方法对轴端隐性非线性支撑的求解局限性。由于转轴部分采用了Timoshenko梁单元建模,对比与简单转子模型,可以考虑陀螺力矩和轴的柔性特征,更能体现非线性支撑对振动真实影响。在建立的20个轴单元的有限元转子模型中,非线性响应更多体现在靠近非线性支撑的节点1和节点21处,响应频谱中靠近轴端的节点能体现出滚动轴承的2倍和3倍变柔振动频率。     

低速增压风洞模型支撑系统中的角度机构控制

介绍了在低速增压风洞模型支撑系统中以单片机为核心构建的角度机构控制系统.该控制系统利用单片机接口电路实现了对伺服电机的控制及与上位机之间通信、数据传榆,解决了模型支撑系统中由于机械回差带来的精度问题以及角度机构支杆非线性运动带来的模型控制问题,达到了风洞试验要求的控制精度.     

一种新型的干扰识别与检测算法

在通信系统抗干扰中干扰的检测及识别是一种关键的技术。文章提出了一种新的干扰识别算法。首先,应用盲信号分离算法来分离传感器接收到的混合干扰信号。然后从干扰信号的高阶累积量中提取特征参数用作进行SVM分类时的特征向量。最后,用SVM作为分类器来对单音干扰、多音干扰及脉冲干扰进行分类识别。计算机仿真结果表明,当信噪比不低于5d B时本文算法有较高的识别率。     

飞机液压管路支撑的有限元建模方式对应力分析的影响

在飞机典型液压导管不同构型和负载模式下,做了应力试验测量,得到应力试验的数据,并在有限元环境MSC.PATRAN中,针对导管的不同构型建立有限元分析模型,对每种构型下支架与卡箍采用八种不同的简化方式,得到仿真结果。然后将不同简化方式的仿真结果与试验结果作对比分析,考虑不同因素(如支架刚度、卡箍橡胶刚度、导管与橡胶间的摩擦与滑动等)对分析结果的影响,找到了在工程上简单易行,精度上可以接受的支撑简化方法。     

低速风洞大攻角张线式支撑系统

介绍了用于ＣＡＲＤＣ－Φ３．２ｍ亚声速风洞的大攻角张线式支撑系统的组成，试验装置的结构及其特点，给出了模型考核试验和支架干扰试验的主要结果，并进行了简要的讨论，试验表明，本支撑系统具有可试验的攻角和侧滑角范围大，支撑干扰小，控制和测量精度高，支撑刚度好等特点。     

FL-2风洞民机张线支撑系统研制

我院在“十五”期间研制了一套新的高速民机张线支撑系统。本文介绍了新张线支撑系统的结构设计、控制系统设计、张线天平设计方法和校准，以及整套系统地面调试结果。本套张线支撑系统可以应用于FL-2风洞的民机及大型运输机等具有大船尾角后体飞机的全机选型测力风洞试验，也可以应用于与尾撑、腹撑等主辅支撑形式进行支撑干扰修正。     

翼型叶片腹支／尾支对大飞机全机及部件的干扰

在研究了翼型叶片腹支（前、后位）／尾支对大展弦比飞机全机及部件的纵向干扰特性，尾支对全机横向干扰特性，并分析了各种支撑对飞机各部件干扰的影响之后表明：对于不同平尾位置的大飞机，前位叶片腹支是三种支撑中干扰最小的，其纵向干扰量均小于风洞试验最大误差。利用前位腹支－尾支组合进行大飞机纵、横向试验具有明显的优越性。