命题逻辑推理问题的代数化求解

数理逻辑对命题逻辑推理问题的处理采用的是公理化的形式演绎推理体系,该方法虽严密、可靠,但它对人的知识水平以及形式化、抽象化能力要求较高.因此,本文用初等代数方式把命题逻辑的演绎推理转化为方程组的计算求解,通过求解方程实现命题逻辑的演绎推理.首先用方程组表示命题逻辑推理中的前提,然后利用数学软件求解,最后把结果转化为要推导的结论,进而实现了命题逻辑推理的代数化求解.实例表明:在计算机技术的支持下,该方法是可靠、有效的.     

金属材料动态响应过程中的卸载特性

 针对金属材料卸载过程中计算结果与实验数据之间存在比较大差异的现象,在卸载段采用与加载段不同的剪切模量,描述金属材料动态响应过程中卸载初期的准弹性卸载过程,结合所选取的本构模型和损伤演化模型,对靶材料冲击加载过程中的卸载、损伤、层裂等过程进行理论和数值模拟研究,数值模拟结果表明,文中采取的模型,对于动态响应过程中准弹性卸载过程、后续的损伤以及完全层裂过程的描述比较合理,获得了与实验数据符合比较好的计算结果。     

基于地基观测的嫦娥三号着陆器与巡视器高精度定位

嫦娥三号(CE-3)探测器成功实现了我国首次月球软着陆,对巡视器和着陆器进行高精度定位是保障两器顺利完成月面探测任务的必要前提.本文首先对CE-3月面工作段的测量方式、各观测量测量模型以及运动学统计相对定位方法进行讨论.其次对着陆器进行定位并对定位精度进行评价,得到着陆器坐标为:44.1206°N,-19.5124°E,高程-2632 m(相对1737.4 km月面),通过与月面数字高程模型以及NASA探测器LRO的航拍结果比较,定位差异优于50 m,分析表明VLBI数据对提高着陆器定位精度有显著贡献.最后,利用同波束VLBI数据进行月面巡视器与着陆器的相对定位.与视觉定位方法相比,本文所用的基于地基观测量的运动学统计定位法不受着陆器可视范围限制,且定位精度不随两器距离增加而降低.计算结果表明,在现有的测量条件下,使用纳秒量级的VLBI差分群时延数据,两器相对定位精度在百米;使用皮秒量级的VLBI差分相时延数据,并在定位过程中进行模糊度解算,可以实现米级的月面双目标的相对定位,具有重要意义.     

EIC厌氧反应器在处理柠檬酸废水中的应用

报导了应用EIC厌氧反应器处理柠檬酸废水的结果,容积有机负荷可达到16～18 kgCOD/m3.d,个别达到了20 kgCOD/m3.d以上,COD去除率在88%左右。在柠檬酸废水厌氧处理中,采用EIC技术要好于UASB,用EIC取代UASB实现技术更新不仅必要,而且可行。     

压缩/直径比对纯铜对接冷压焊焊接接头的影响

冷压焊由于其不存在熔化区、焊接热影响区,在功能材料连接时具有突出优势.以压缩/直径比为单一变量对纯铜棒进行对接冷压焊工艺试验,并结合接头变形过程应变数值模拟计算与组织分析探讨获得较好的焊接接头强度的条件.结果表明:随着纯铜棒压缩/直径比增大,焊接接头各个区域的有效塑性应变值增加,连接界面处最大有效塑性应变量由2.6增加至2.9.随着应变量的增加,再结晶晶粒所占的比例增加,接头抗拉强度呈现阶梯型增大规律.     

岩溶管道的折算渗透系数取值探讨

为完善岩溶管道的折算渗透系数计算方法,基于Izbash指数方程,在考虑了局部水头损失和沿程水头损失的条件下推导了岩溶管道的折算渗透系数公式,并通过建立弯折岩溶管道模型验证该方法的合理性。基于此弯折岩溶管道模型,采用单因素分析法,讨论了4种流态分区(层流区、水力光滑区、第二过渡区和水力粗糙区)下折算渗透系数对水流的雷诺系数、岩溶管道直径和弯折角度以及岩溶管道计算长度的响应。结果表明:(a)岩溶管道较短时,大雷诺系数和水流边界条件的急剧变化会产生较大的局部水头损失,此时推导的考虑局部水头损失的折算渗透系数可以较好地反映实际情况。(b)岩溶管道直径对折算渗透系数的影响最大;雷诺系数只在层流区影响较大,其他3个流态区雷诺系数、弯折角度和岩溶管道计算长度的影响与管道直径相比较小。     

计算机技术与数学教学整合的类型研究

目前,计算机技术与学科课程的整合成为教学改革的突破口.根据信息技术和数学课堂教学改革的特点,对计算机技术与数学课程教学整合的类型进行了详细的分析,将整合的类型划分为三个维度七种类型.     

浅议学生数学素质的培养

中师数学教学的主要目的之一就是要提高学生的数学素质，中师教学应清楚了解数学素质的内涵后注重培养学生的数学素质。     

空腹夹层板的拟夹层板分析法

本文采用拟夹层板分析法来建立空腹夹层板的基本方程，并引入二个位移函数Ｆ和ｆ来表示三个广义位移。由于假定了计算中面的存在，将基本方程简化的关于Ｆ和ｆ的联立方程组，使问题得到圆满解决。