命题逻辑公式的压缩表示及其相应的形式系统

提出一种将命题逻辑公式压缩表示的方法--公式的压缩图,给出相应的形式系统,并证明该系统的证明效率比传统相继式演算系统Gentzen\{cut}有指数级的提高,从而为命题逻辑提供了一种新的有效的推理系统.     

MODIS通道1和通道2大气订正的一种快速实用方法

提出了利用气象资料对MODIS影像进行大气校正的一种快速实用方法.读取MODIS前两个通道250min的反射率,采用常用的黑色目标扣除法(Dark-object subtraction)计算天空程辐射,通过卫星过境时刻的气象能见度和水汽资料计算大气透过率,最后推导出目标物的反射率.通过比较两个邻近日期MODIS影像校正前后的归一化植被指数(NDVI)值,得出利用本文提出的方法对MODIS进行大气校正所得到的NDVI值更接近实际情况.结果表明:利用气象能见度和水汽压可以对MODIS数据进行快速有效的大气校正.     

不同材料参数和内压的轮胎对单腹板轮毂变形的影响

将轮胎材料简化为各向同性超弹性材料特性，考虑轮胎与轮毂和地面之间的三维接触以及轮胎中钢丝圈的影响，建立飞机单腹板机轮整体结构有限元模型。主要分析不同轮胎材料参数和内压下，单腹板轮毂轮缘处的径向变形，结果表明；轮毂剖面上测点的应变值与实验结果基本一致。轮胎下沉量与轮毂测点的径向变形和轮毂所受的载荷基本呈线性关系；凸出一侧的轮缘变形最大；轮胎下沉量较大时。轮胎材料参数对轮毂的径向变形影响明显；轮毂测点径向变形在1-2.5mm时，相同的径向变形，轮毂受到的总载荷受轮胎材料参数变化而变化，而在变形较大或较小时，影响不明显。对于同一种轮胎材料，不同的内压，轮毂的变形减轻比较大，气压越高，对于相同的轮胎下沉量，轮毂受到总体荷载也越高。     

拉压性能不同材料全量型本构关系及厚壁筒的应力分析

将经典全量理论作了推广，考虑了应力状态及塑性体积变形对拉压性能不同材料的塑性行为的影响。应用该本构模型分别计算了厚壁筒在内压和外压作用下的应力分布。给出了径向应力、环向应力和轴向应力沿壁厚的分布图。将本文的计算解与拉压性能相同(不考虑体积变形、强化曲线唯一)的幂函数强化材料的厚壁筒的理论解进行了比较。结果表明，材料的拉压性能不同对厚壁筒的环向应力和轴向应力影响较大。因此，对于拉压性能不同材料，考虑到其对应力状态及塑性体积变形敏感时，是不能将其简化成拉压性能相同、体积不可压缩、强化曲线唯一的理想材料。     

细长压杆临界挠度的一级非线性解

给出细长压杆临界挠度的一级非线性解, 从而简单明了地解释了材料力学教学中细长压杆临界挠度不能确定的原因.     

多功能Hopkinson压杆型试验装置的研制与应用

对传统的Hopkinson压杆试验装置进行了改进和完善，除了用于材料的动态压缩以外，还能进行动态拉伸、绝热剪切、裂纹扩展速度测定、动态断裂韧性测试等．本文介绍了几种试验方法的基本原理，并给出了试验结果．     

一种钨合金含损伤本构的唯象模型

利用多压阻传感器拉氏实验分析方法对受冲击90w钨合金材料中形成的应力波场进行了测试，并利用拉格朗日分析方法获得的结果建立了合金的不含损伤的本构关系．然后以动态层裂试验获得的层裂参数曲线和数据为依据．提出了一种考虑材料内部损伤成核，成长及汇合效应的唯象本构模型，并通过对层裂实验曲线进行数值模拟，确定了该合金的含损伤本构的参数．     

水泥砂浆石在准一维应变下的动态力学性能研究

以改进的SHPB被动围压试验方法 ,研究了水泥砂浆石在准一维应变下的动态力学响应。分析讨论了试验结果与围压套筒材料性质、几何尺寸等的关系。得到了水泥砂浆石的动态泊松比、动态杨氏模量、动态压缩强度。分析了试验中的摩擦力效应及其对围压下轴向应力应变关系的影响 ,完成了对材料弹性常数的修正。     

材料在准—维应变下被动围压的SHPB试验方法

本文提出了改进的SHPB被动围压试验方法,可用于研究材料在准一维应变下的动态力学响应。分析中计及了试样的径向变形,并讨论了试验结果与围压套筒材料性质、几何尺寸等的关系,从而可进一步推得材料的动态泊松比υ2、动态杨氏模量E2、动态剪切模量G以及动态压缩强度Y。又分析了试验中的摩擦力效应及其对围压下轴向应力应变关系的影响,完成了对材料弹性常数的修正。     

油水驱动半正定问题迎风混合元格式及其数值分析

研究了不可压缩油水两相渗透流驱动问题.在扩散矩阵仅是半正定的假设条件下,提出了迎风混合元方法.混合元方法近似压力方程,饱和度方程的对流项用Godunov迎风格式来处理,扩散项则用推广的混合元来逼进,并推导出格式的误差估计.此种格式的优越性表现在两个方面:首先是饱和度方程的扩散矩阵仅是半正定的;二是摒弃了特征格式所限制的周期性条件,更适用于实际问题.