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

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

双圆柱斜向排列时旋涡脱落频率的实验研究

本研究用热线风速仪测量了斜向排列双圆柱的尾迹,并分析了尾迹中某些特征点上的速度频谱,从旋涡脱落频率的规律来研究双圆柱绕流相互之间的干扰。当两圆柱间距较远时,速度振荡的频率与单圆柱卡门涡街的频率相接近,随着两圆柱间距的接近,前、后圆柱各有其不同的旋涡脱落频率,且都不同于单圆柱旋涡脱落的频率。特别是当两圆柱处于某一相对位置时,出现双峰值的功率谱,其中一个峰值的频率大大地高于另一个峰值对应的频率,而且这两个峰值谁主谁副是不确定的,呈现出不稳定流动的特性。     

串置双五分量天平的研制

本文介绍风洞应变天平中首次研制成功的一台串置双五分量天平。串置双天平由一块钢材制成。O_1天平固定在 O_2天平的受力端。O_2天平既能测量左平尾载荷,又能传递由 O_1天平测量的右平尾载荷。正确分析两台天平的受力传力路线和弹性变形的综合位移量,用严谨的数学公式描述两台天平测量的力和传递的力。对这两种力进行数学分解,形成数学模型,写出天平静校公式的数学表达式,并据此研制天平静校设备,分析天平在各分力作用下的弹性位移,写出弹性角公式。上述各点是串置双天平的核心问题。最后经风洞引导性实验证明,串置双天平的原理、方案、受力分析、静校公式等都是正确的。在国内外,串置双天平第一次用于风洞实验,获得了初步成功。     

激波过弯道绕双圆柱流场

采用单曝光光栅干涉或双曝光光栅干涉，研究激波过弯道绕双圆柱传播的微波流场。采用单曝光法，成功显示入射激波到第一圆柱上的反射、绕射，到达第二圆柱上的反射、绕射。在同一底片上采用双次曝光，第一次脉冲记录直道上的平面波，第二次脉冲记录激渡过弯道绕双圆柱流场。这些照片对于研究反射、绕射及它们边界的相互作用是很有用的。     

磁选态单束铯束管束光学参数的模拟计算和设计

为提高铯束管跃迁信号强度,在束光学参数设计中,用蒙特卡罗方法模拟计算铯原子通过率和未跃迁比例。通过改变模拟计算中的束光学参数,分析铯原子通过率、未跃迁比例和倍增器首极电流的变化趋势,得到了主要束光学参数的合理取值范围。在铯束管实际装配和试验中使用束光学参数设计结果,有效地增加了倍增器首极电流。     

DME脉冲调制信号波形参数对空间频谱占用的影响分析

航空测距器DME的开发、调试和性能验证都要用到高斯双脉冲调制格式的DME信号。由于专用的DME信号模拟器技术复杂、价格昂贵,人们常用具有快沿双脉冲调制功能的模拟信号源替代。本文以航空测距器DME信号要求为依据,初步分析了这种替代可能存在的问题,并通过实验对不同边沿条件下高斯双脉冲、矩形双脉冲调制信号的功率频谱占用情况进行了验证。     

双框架飞机蒙皮检测机器人切换运动控制方法

针对一种双框架飞机蒙皮检测机器人,通过分析该机器人在飞机表面上的受力情况,在飞机表面该机器人受到了非完整约束,基于牛顿-欧拉法建立了机器人非完整约束动力学模型。根据机器人机械结构和运动步态分析,将该非完整机器人系统分为子系统A和子系统B。为了实现机器人在飞机表面运动,采用反演技术和快速Terminal滑模控制相结合的思想对系统设计了控制器,提出了一种反演-滑模控制方法;对于非完整机器人子系统A和子系统B,设计了一种基于事件驱动的切换策略,实现了机器人对期望轨迹的全局渐近跟踪,并利用Lyapunov稳定性证明系统的跟踪误差收敛。仿真和试验表明,采用该切换策略和反演-滑模控制方法,双框架飞机蒙皮检测机器人可以在飞机表面自由运动并进行损伤检测,具有良好的可靠性和稳定性。     

喷嘴特性对双旋流燃烧室出口温度分布影响的实验研究

本文以双旋流全环燃烧室为试验对象，在高温高压试验条件下，通过调整全环燃油喷嘴的流量离散度和径向位置来研究其对出口温度分布的影响。试验结果表明，当喷嘴燃油流量离散度控制在±4%以内时，采用简单的大、小流量喷嘴间隔搭配的方案即可保证出口温度分布的均匀性；当燃油流量离散度放大到4%～8%时，采用本实验研究的搭配方案仍可保证出口温度分布的均匀性；当燃油流量离散度放大到10%时，通过调整喷嘴搭配方案已经无法保证出口温度分布均匀性。燃油喷嘴径向位置较火焰筒头部中心线偏离旋流杯腔道高度的11.5%以内时，不影响出口温度分布的均匀性。     

基于变权重-正态云模型的飞机轮胎滑水风险

针对飞机轮胎滑水行为的随机性和模糊性特征，提出基于正态云模型的滑水安全评价分析方法。引入变权理论动态调整权值，采用惩罚性变权函数降低常权权值对评价结果的主观影响。构建飞机轮胎滑水流固耦合仿真分析模型，选取飞机轮载、滑行速度、积水厚度、道面摩擦系数及刻槽深度作为风险影响因素，基于单因素云模型数字特征及变权向量求解综合隶属度，建立多元决策下的飞机滑水风险等级及划分标准。以某山区多雨机场轮胎滑水事件为实例进行验证，结果表明：以传统临界滑水速度指标进行条件判定仅得出允许起降的一般结论；对比常权和变权评价结果，工况1安全系数由1.09提高至1.17，工况2由2.09提高至2.94，可定量描述道面起降环境差异，滑水风险仍在可接受范围内，变权评价结果偏于保守；工况3安全系数由3.13提高至3.74，滑水风险上升至Ⅳ级，即使道面积水厚度符合上限要求，轮胎滑水发生几率仍有可能显著提高，与实际风险情况基本一致，对道面运行安全分级管理具备参照性。