中介时序逻辑系统MTL的模型论性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备.     

海洋平台在组合载荷作用下的随机域可靠性分析

本文对海洋平台在风、浪及海流等多种载荷组合作用下的可靠性进行了分析计算，采用优选随机载单元法进行结构数的随机域离散。文中的海洋平台算例结构表明了优选随机域单元法的高效性，以及在海洋工程的结构系统可靠性计算中的考虑载荷组合作用的必要性。     

舰载机前起落架突伸的动力学分析

研究了舰载机前起落架的突伸运动，针对这个问题，文中建立了一个两自由度的质量－弹簧－阻尼器的力学模型。推导出突伸运动方程以及两种不同形式的双气室缓冲器的非线性气体弹簧力和油液阻尼力的计算公式，并通过对已有试验结果的验算说明了本模型的可行性，利用该模型，用数值方法分析，校核了某舰载机的初步设计方案，计算得到了前起落架突伸运动的位置，速度曲线，并给出突伸期间飞机在甲板上的滑行距离和攻角的增量。文中还讨论     

空天飞机的边界层转捩

本文概述了边界层转捩对空天飞机性能的影响。在介绍确定边界层转捩起始点的线性稳定性理论和简单关联公式之后，又从噪声影响、头部钝头影响和钝锥飞行试验结果等几方面，讨论了线性稳定性理论的应用。接着介绍了采用转捩函数来确定转捩区的方法。从飞行试验、理论计算和风洞试验等三方面，探讨了进一步研究高超声速边界层转捩的途径。重点介绍了ＮＡＳＡＬａｎｇｌｅｙ研究中心的超声速、高超声速静风洞技术的发展。最后，对今后空天飞机边界层转捩的研究工作提出了建议。     

腰形柱壳的有限条元解

本文用考虑了曲率影响的两结线低阶有限板条元分析了腰形柱壳的力学性能这种条元位移参数少,能较好地体现壳体的几何特性。     

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

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

轴系稳定性裕度判据的理论研究

本文提出以系统最大能量比率作为衡量轴系稳定性裕度的判据,和传统的对数衰减率与系统阻尼判据相比,该判据综合了系统所有模态的信息,考虑了特征值与特征向量的共同影响。最大能量比率较小的轴系具有较大的稳定性裕度;最大能量比率较大的轴系具有较小的稳定性裕度。探讨了特征向量在评估稳定性裕度的重要作用,指出了传统的对数衰减率与系统阻尼判据在评估轴承稳定性裕度时的局限性。作为应用实例,用最大能量比率判据考察了一模型转了轴承系统的稳定性裕度,并与用对数衰减率及系统阻尼判据所得结论进行了对比。结果表明,用本文提出的判据所得的结论与实际情况比较一致。此外,应用模型转子的计算结果,进一步阐明了对数衰减率与系统阻尼判据的共同不足是采集的信息太少。     

力控制反馈信号的神经网络法校正

对机器人的力反馈，主动柔顺控制和双向联想记忆的神经网络进行了综合研究，针对机器人腕力传感器输出信号的部分失真，提出了机器人擦洗平面玻璃力反馈信号神经校正的方法，并建立了相应的神经网络结构，在ＡｄｅｐｔＴｈｒｅｅ精密装配机器人上进行了试验验证，取得了满意的效果。     

多约束实数权的直接数据域算法在空时自适应处理中的应用

传统的空时自适应处理算法通过权矢量幅度和相位的改变来实现,本文研究了空时自适应处理中一种改进的直接数据域(Directdata domain,DDD)算法。该方法仅通过权矢量幅度的改变,对一次样本数据进行处理,有效地抑制杂波和干扰,实现对目标信号的正确估计。采用实数权减小了运算量,降低系统的复杂程度。当目标信号的方向与天线波束指向有偏差时,采用多约束的方法,保证系统在目标信号方向的增益。仿真结果表明该方法的有效性。     

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

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