FL-7风洞旁路活门控制系统的模型识别

本文介绍了如何应用分段线性法,数字仿真和逐步回归的方法,对 FL-7风洞旁路活门控制系统——非线性复杂系统,建立可供研究控制策略和优选控制参数的数学模型。     

复合材料中、长寿命区S-N曲线方程

提出一种新的基于两个假设条件下,用于复合材料层压板中、长寿命区S-N曲线构造的四参数模型。与其它方法相比,此方法不用考虑疲劳机理,只是根据疲劳试验数据,用纯数学方法来确定S-N曲线方程。算例结果表明:本文提出的方法不仅具有良好的拟合效果,而且具有较强的适用范围,因而具有潜在的工程应用价值。     

基于张量的舰载机滑跃式起飞动力学建模

基于张量推导建立了舰载机起飞过程的一般数学模型。将航空母舰、飞机、飞机的前后起落架活动部分视为具有独立质量的实体,构成柔性连接的多刚体系统。用牛顿—欧拉法(N-E法)建立各个实体的动力学方程。利用张量的不变性对动力学和运动学方程进行变换,消除坐标系转换的影响,得到矩阵形式的微分方程组。这样动力学的全部计算均统一为矩阵形式。讨论了模型的封闭性,并给出了仿真结果。     

民用飞机选型经济评估数学模型

本文运用航空运输经济规律，依据中国国情和民航的实际，系统地阐述了民用飞机选型飞机经济评估数学模型。运用该套模型计算的数据经中国西南航空公司实际验证，其结果与实际相符。     

NUMERICAL SIMULATION AND INVESTI－GATION OF HUMAN THERMOREGULATION IN COLD ENVIRONMENT

ＮＵＭＥＲＩＣＡＬＳＩＭＵＬＡＴＩＯＮＡＮＤＩＮＶＥＳＴＩ－ＧＡＴＩＯＮＯＦＨＵＭＡＮＴＨＥＲＭＯＲＥＧＵＬＡＴＩＯＮＩＮＣＯＬＤＥＮＶＩＲＯＮＭＥＮＴＸｕＸｉａｎｇｄｏｎｇ（ＮａｔｉｏｎａｌＩｎｓｔｉｔｕｔｅｏｆＯｃｃｕｐａｔｉｏｎａｌＳａｆｅｔｙ...     

数字射线成像空间分辨率的增强

成像空间分辨率是工业数字射线成像系统的重要技术指标,通过分析成像的物理过程,给出了成像过程的数学模型,进而得出影响数字射线成像空间分辨率的主要因素,并针对各种因素研究了相应的提高空间分辨率的方法.建立了成像系统的点扩展函数模型,给出了优化投影放大比的方法,提出了一种提高探测器采样频率和光电管采样孔径的硬件方法;采用了一种简便的方法抑制了散射对空间分辨率的影响;计算机模拟及实验结果验证了方法的有效性.     

中介逻辑的模型论性质

中介逻辑是朱梧槚与肖奚安合作创立的一个新的逻辑系统,该系统的创立有着很强的哲学背景,因此在创立后得到了很大的发展。但对于该系统语义的研究还不够广泛和深入。本文系统地研究了中介逻辑的模型论性质。第一部分系统地定义了中介逻辑模型论的一些概念:如语言、结构、解释、满足等,第二部分证明了对任一和谐理论,都可在其见证集的等价类上建立其模型。利用此定理,笔者证明了广义完全性定理,并由此证明了中介逻辑的可靠性与完备性。本文最后一部分讨论了中介模型论的其他重要性质。利用中介逻辑的完备性,本文证明了紧致性定理,即一理论有模型当且仅当其任一有穷子集有模型。文中还证明了中介逻辑的Lowenheim-Skolem-Tarski定理。     

一类非线性系统的模糊自适应跟踪控制

针对一类非线性系统，把模糊T—S模型和自适应模糊逻辑系统两种模糊逻辑方式结合起来，提出了一种基于观测器的跟踪控制方案。首先，应用模糊T—S模型对非线性系统建模，设计观测器用来观测系统状态；由线性矩阵不等式得到模糊模型的控制律。其次，构建了自适应模糊逻辑系统；应用基于权值、中心和宽度三个参数可调节的自适应模糊逻辑系统作为补偿器来补偿建模误差。文中证明了闭环系统满足期望的跟踪性能，实现了跟踪目的。两连杆机械臂的仿真结果表明该方案消除了建模误差对跟踪的影响。     

概括原则与悖论研究的进展

悖论的出现与概括原则中的造集的任意性有很大关系。然而,历史上各种排除悖论的方案要么修改概括原则而过多地限制了概括原则的合理内容,要么修改与之配套的逻辑系统而导致失败。近年来,这些问题的研究又取得了新的进展,有必要历史地加以评介,本文从类型论、ZFC公理系统、BG公理系统、多值逻辑系统和中介数学系统五个方面综述逻辑数学悖论之解释方法的研究情况。     

常用平面五杆机构计算机辅助运动分析数学模型的研究

对于平面五杆双自由度机构，通过对其输入及输出构件进行不同配置，提出了平面铰链五杆机构和单滑块五杆机的常用类型及其尺度约束，建立了机构杆组运动分析数学模型，并据此编制了机构运动分析软件，由实例看出，该数学模型可有效地应用于常用平面五杆机构的运动分析和计算。