全球大气污染与工业防毒技术

通过对全球大气污染进行剖析,指明了酸雨、臭氧空洞与全球变暖是大气污染的三大恶果,并且剖析了我国大气污染日趋严重的现状,系统地介绍了吸收法、吸附法、冷凝法和燃烧法等工业防毒技术的要点及其发展。     

利用火控系统实现车辆自主式导航

对坦克车辆的自主式导航问题进行了研究,提出了对现有坦克火控系统的改进意见,推导出了相应的火控参数计算公式及自主式导航解算公式,为利用火控系统实现坦克的自主式导航奠定了基础。     

降低砼人工骨料开采大块率爆破试验研究

从理论上提出了降低隔河岩水利枢纽砼人工骨料开采大块率的小抵抗 线深孔微差爆破技术．通过现场试验确定了合理的钻爆参数和微差起爆方 式，给出了相应的技术措施．     

最小环带的数学定义,数值算法

提出了一种最小环带的数学定义：作出的环带上存在至少二个内点与二个外点在圆周上呈交错排列。以此定义作为搜索结束的准则，给出了一种计算最小环带的数值算法：以交错排列的四点作环带，不断用新点取代旧点作环带直到所有的点都在环带内为止。最后给出了应用该方法测量机床主轴回转精度的工程实例。     

一类积分微分方程Robin边值问题的奇异摄动

本文研究奇摄动积分微分方程的Robin边值问题 εy″=f(t,Ty,y,y′,ε), α(ε)y(0)—b(ε)y′(0)=A(ε),c(ε)y(1)+d(ε)y′(1)=B(ε),其中T是定义在C[0,1]上的一个积分算子。文中用微分不等式方法证明了解的存在性,构造出解的渐近展式并给出了余项的一致有效估计.最后把所得结果用于研究奇摄动四阶边值问题. εx~((4))=f(t,x,x″,x,ε), x(0)=φ(ε),x(1)=φ(ε), α(ε)x″(0)—b(ε)x(0)= A(ε),c(ε)x″(1)+d(ε)x(1)=B(ε).     

相信逻辑的某些性质和定理

本文研究了相信逻辑在相信蕴涵下的某些性质．在相信蕴涵的定义下，相信逻辑是非单调的．本文给出了几个相信逻辑的单调性的充分且必要条件．还证明了一个默认理论的延伸恰好就是对应的相信理论的相信公式的所有相信蕴涵式的全体．从而给默认理论的延伸以一个较为直观、简洁的表述．     

一个基于AI产生式系统的软件开发新模型

在设计一个程序以前，应该完整地并且精确地说明要求解的问题．作为一个产品。软件相对于其形式规格说明来说应该是可靠和正确的．规格说明是程序变换方法的起点，程序变换方法保证了程序的正确性．本文给出了ＡＤＴＳＬ的简要描述，并提出了一个基于人工智能中的产生式系统的软件开发新模型．     

双纱纺成纱区几何状态和单纱捻度的试验研究

在双纱纺纱中,交汇区中的单纱捻度和交汇角对成纱的性能有很大影响,我们将相隔一定距离的两股黑白复丝从前罗拉后方喂入加捻卷绕机构来模拟双纱纺纱过程,并利用高速照相对纺纱过程中的纱线进行动态摄影,分析了一些主要纺纱工艺参数对纺纱过程和纺捻线性能的影响。     

广义耦合KGS方程的整体强解

研究了广义耦合KGS方程的初边值问题和Cauchy问题。利用非线性项在分数次Besov空间中的估计及抽象发展方程的结果,在一般的条件下,获得了该问题整体强解的存在唯一性定理。