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

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

一类积分微分方程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空间中的估计及抽象发展方程的结果,在一般的条件下,获得了该问题整体强解的存在唯一性定理。     

东海北部近海夏秋季鲐鲹渔场与海洋水文环境的关系

本文叙述了东海北部近海夏秋季鲐鲹鱼中心渔场的分布、海洋水文环境(包括水温、盐度、水系的消长变化)特点以及两者之间的关系。     

分形与复杂性

在科学的和隐喻的意义上讨论了四个问题：分形在整个复杂性研究中的地位，分形复杂在哪里？从分形看系统的时空复杂性，分形与自组织和他组织的关系。     

定域Scale和规范不变理论的量子化

在Riemann空间中,利用推广的Faddeev-Popov理论,讨论了具有定域Scale不变性和规范不变性理论的量子化。整个讨论过程具有广义协变性。     

一种新型偏转线圈的大偏转角技术

为了利用现有 CRT颜色逼真、分辨率高、技术成熟等优点 ,克服其体积大、笨重的不足 ,提出将两组平面主线圈和两组圆柱形辅助线圈组成一个全新的偏转线圈 ,利用这种新型偏转线圈制作成的 CRT能较大幅度减薄显像管的厚度 ,并在保证图像质量前提下实现电子束的大角度偏转 .实验结果表明 ,电子束最大偏转角可达 1 2 6°以上 ,光点测试结果良好 ,电子束聚焦特性有所改善