凸度量空间内非线性映射的迭代算法

在凸度量空间内 ,对非线性广义拟压缩映射序列定义了带误差的 lshikawa迭代序列 ,证明了带误差的 lshikawa迭代序列收敛于非线性广义拟压缩映射序列的唯一公共不动点。     

黄河断流成因与对策研究

从地球科学“人为地质作用理论”出发 ,分析了黄河下游断流的严重性与危害性后认为 ,黄河下游断流不仅对黄河流域及整个中国生态环境产生重大影响 ,而且对社会经济发展以及可持续发展产生严重后果。在探讨了黄河下游断流的成因后认为 ,黄河下游断流有自然的原因和人为的原因 ,其中人类活动、人类工程活动及其人为地质作用的负面影响是黄河断流最主要的原因之一 ,从而提出解决黄河下游断流的科学对策 ,包括科学保护、科学开发、科学利用水资源以及暂缓实施南水北调中、西线工程等的若干建议     

论司法正当程序的实施与保障

正当程序是实现程序正义的基本条件 ,是通向实体正义的必要途径。正当程序的实施必须要做到裁判者处中立地位、当事人各方 (包括刑诉中的控辩双方 )地位平等、当事人作为程序主体享有充分的诉讼权利、司法过程公开、司法程序文明这几个基本要求 ,同时还须从立法和司法两种途径保障其有效地实施     

标架丛上的随机计算

考虑了标架丛上的典型扩散过程，记X={x∈C([0,1],Rd),x(x)=0},H=｛h∈X:‖h‖2H=∫10｜h··(t)｜2dt＜∞｝,Y=｛y∈C([0,1],s(d)):y(0)=0｝,K=｛k∈Y:‖k‖2K=∫10｜k·(t)｜2dt＜∞｝,则有Rd×s(d)-值半鞅(βx,y(t),ρx,y(t))满足如下的SDE：dβ(t)=dh(t)+ρdx(t)-(dy(t))β,β(0)=0;dρ(t)=dk(t)+Ω(dx(t),β(t))+[ρ(t),dy(t)],ρ(0)=0.     

一类混合概率型算子的任意阶矩

利用Γ函数在区间[0, ∞]上给出了一类加权积分型算子并得到其各阶矩，推广了关于SzaszDurrmeyer算子及Baskakov-Durrmeyer算子的相应结果，同时指出了它在研究随机过程中的意义。     

涡流空气分级机分级功能区研究

从理论上分析了涡流空气分级机的分级过程,在此基础上把涡流空气分级机内部分为主要分散区、分散分离区、第二分离区、辅助分离区、阻力区五个功能区,讨论了各功能区在分级过程中的作用,用物料试验证明了作者的分区正确.在此基础上改进了主要分散区、分散分离区、第二分离区三个功能区,得到更好的分级效果;这将对理解和改进涡流空气分级机分级性能进而开发出性能更好的涡流空气分级机具有指导作用.     

柿果原汁生产技术的开发研究

开发研究了全天然柿果原汁的生产技术,主要包括生产工艺及技术指标.该工艺对柿果资源开发经济效益显著,预期增值9倍多.     

浅淡英语教师的教学能力

文章分析了英语教师日常课堂教学应具备的基本素质 ,包括传授和培养外语知识技能的能力和外语教学的组织能力以及信息时代应掌握的教学新技术等。进而提出在网络环境中英语教师教学能力提高的相关诸多能力的有意识培养 ,是英语教师教学能力提高和进一步发挥的根本保障     

板材精密冲裁工艺的研究

在有限元分析的基础上，提出了一种阶梯形凸模负间隙精密冲裁方法。其特点是可使精冲工艺在单动压力机上实现，而无需专用三动压力机。这种精冲方法，模具结构简单，易于制造和安装，成本低。用铜、铝、钢等材料对该方法进行了实验验证，得到了剪切断面上100％光亮带的精冲件。     

基于通信顺序进程的并发DEDS的规范和证实

在实时通信顺序进程（TCSP）的基础上对离散事件动态系统（DEDS）进行建模、规范和证实。介绍了TCSP中与DEDS相关的一些研究成果，根据离散事件的特点作了符号语义上的改进，就两个具体的例子——自动导引小车（AGV）和火车道口系统道口系统建立了TCSP模型，给出了它们需要满足的特性，并据此确立了控制方法和综合后的系统模型。