归纳推理和归纳进程

分析了归纳推理与演绎推理的区别, 给出了归纳推理的形式化规则,定义了重构和归纳进程(序列)的概念.同时还给出了一个产生归纳序列的归纳过程模式,并证明:若已知模型M的全体实例集合ε_M,则可以从任一给定的理论出发, 使用此归纳过程模式所产生的所有归纳序列都收敛于同一极限,这个极限就是模型M的全部真语句. 这说明了归纳推理规则的合理性.     

高动态金属壳谐振陀螺进动特性分析

高动态金属壳谐振陀螺的进动特性,是敏感结构实现角速率信息有效提取的关键。针对金属壳谐振陀螺的进动特性进行研究,首先分析了金属壳谐振陀螺的总体研究思路,明确其工作原理;建立敏感结构的动力学方程和进动因子表达式;利用数值分析方法,对进动因子进行分析,得出金属壳谐振陀螺进动因子经验公式;最后对其进动特性进行综合分析。     

一种新的广义凸多目标分式规划的对偶定理

本文给出了一类新的广义凸函数-(F,α,ρ,θ)-b-凸函数,讨论了多目标分式规划(MFP)的三种对偶模型:Mond-Weir型对偶、Lagrange型对偶、Schaible型对偶,并基于(F,α,ρ,θ)-b-凸性证明了各自相应的弱、强对偶定理。     

风驱雨CFD模拟及平均雨荷载计算方法研究

基于谐波叠加法,用Kaimal谱生成空旷场地的脉动风速时程,将脉动风速时程作为流场CFD模拟的速度入口。采用分离涡模型模拟脉动风场并用离散相模拟雨滴颗粒,通过风雨耦合的CFD模型,获得雨滴落在输电塔各高度处的雨滴速度以及时间,并依据冲量定理和冲量等效原则,提出了任一时距的平均雨荷载计算方法。以176m高的输电塔为例,计算出作用在输电塔上以0.25s为时距的平均雨荷载。研究了水平风速和降雨强度对平均雨荷载的影响,结果显示:水平平均雨荷载随水平风速和降雨强度的增加而增加,但水平平均雨荷载与风荷载的比值沿高度增加而递减;尽管单粒雨滴荷载较大,但作用时间只有大约1×10-5s,依据冲量等效原则计算得出在一定时距内的平均雨荷载较小;对于本文算例,平均雨荷载与平均风荷载的比值不超过2.6%。     

二维严格凸域上介值定理的一个证明

利用拓扑度的同伦不变性，证明了二维严格凸域上的介值定理。     

复合材料的边界吸湿模型

在研究复合材料层合板的吸湿和退湿过程中，常常采用菲克定理来描述水分在层合板中的扩散过程中，根据层合板表面浓度逼近平衡浓度的不同响应，提出了三类不同的边界条件模型来模拟复合材料层合板在不同环境介质下的水分扩散过程，并给出了计算吸湿量的解析解和有限差分数值计算方法。     

一般数列的两个不确定上极限定理

从数学分析中研究特定的数列收敛性质的数学思想和数学方法出发，对其所具备的数学形式和数学结构进行研究，来探讨一般的一个任意正数序列问题，得到两个不确定的上极限定理。     

相控阵天线有源单元方向图的计算方法

基于弗洛奎定理给出了一种计算无限相控阵有源单元方向图的方法。与传统的基于有源反射系数的方法不同,这种方法不但可以用于计算功率方向图,而且可以计算场方向图,因此可以计算诸如交叉极化、相位信息等更多的辐射特性。通过数值计算结果与仿真结果的比较验证了方法的正确性。     

均布载荷作用下三边简支一边固定厚矩形板的弯曲

在本文中,功的互等定理法(RTM)被推广应用于求解基于Reissner理论的厚矩形板的弯曲问题,给出了三边简支一边固定厚矩形板在均布载荷作用下弯曲的精确解析解,并分析了解的数值结果.