煤矿主通风机装置性能的测试及应用

针对休城煤矿生产通风量不足的问题 ,通过对主通风机装置性能的测试 ,找出了原因进行了分析 ,提出了解决方法。并简单介绍了风机性能测试方案的确定、测试方法、步骤 ,提出要注意的问题 ,总结了测试特点。     

Hilbert空间中一般强混合变分包含的迭代算法

研究了Hilbert空间中求一般强混合变分包含逼近解的迭代算法。这类变分包含概括了若干熟知的变分不等式与变分包含成特例。结果是刘理蔚与李育强(2001)及Noor(1998)的结果的推广和改进。     

关于一类广义非线性拟变分不等式

引进了一种新的广义非线性拟变分不等式,使用预解算子技术建立了与其等价的不动点问题。利用这一等价关系,提出了两种迭代算法,并证明了带有极大单调映射的广义非线性拟变分不等式的解的存在性定理,证明了由算法产生的序列收敛性,其结果推广了某些已知结果。     

工业锅炉水处理钠离子交换再生时盐耗高的原因分析

分析工业锅炉水处理钠离子交换再生时盐耗高的原因,提出解决方法。     

一种新的模态归结

本文首先给出了一种标准子句的定义，在其基础上定义了命题模态逻辑系统Ｓ５的子句集的可归结形式。证明了任意模态Ｓ５子句集不可满足的充要条件为在其可归结形式上可归结出空子句。     

Stability analysis of linear multistep methods for neutral delay differential equations

0　INTRODUCTIONWeconsidertheDDEsoftheformy′(t) =f(t,y(t) ,y(t-τ) ,y′(t-τ) )　t≥ 0 ,y(t) =g(t)　t≤t0 ,(1)whichiscalledneutraldelaydifferentialequation .ThedifferencebetweenDDEsandNDDEsisthepresenceoftheneutraltermy′(t-τ)inthelattercase .Inthispa perweconsiderthestabilityanalysisoflineartestequationy′(t) =ay(t) +by(t -τ) +cy′(t-τ) ,t≥ 0 ,y(t) =g(t) ,t∈ [-τ ,0 ],(2 )wherea ,b ,c∈witha≠-bandg(t) ,y(t) ∈ .Fortheaboveneutraldelaydifferentialequations (ND DEs) ,onecanf…     

一种主动的系统脆弱性应对模型

提出了一种主动的系统脆弱性应对模型,在漏洞库的基础上,基于CORBA事件服务,实现系统脆弱性解决方案在可信网络节点间的主动发布与推送,通过主动系统脆弱性解决方案的管理,确保系统始终处于动态的最新安全状态。     

200号溶剂油脱氮精制

采用固定床吸附和液相脱氮两种方法对直馏 2 0 0号溶剂油进行了脱氮实验 ,并对脱氮后溶剂油外观、色度进行对比。精制后溶剂油外观为无色透明 ,赛氏色度不小于 2 5 ,液相脱氮精制的溶剂油的外观性能更加稳定 ,储存安定性好。     

Split common fixed point and null point problems for demicontractive operators in Hilbert spaces

In this article, we consider a split common fixed point and null point problem which includes the split common fixed point problem, the split common null problem and other problems related to the fixed point problem and the null point problem. We introduce an algorithm for studying the split common fixed point and null problem for demicontractive operators and maximal monotone operators in real Hilbert spaces. We establish a strong convergence result under some suitable conditions and reduce our main result to above-mentioned problems. Moreover, we also apply our main results to the split equilibrium problem. Finally, we give numerical results to demonstrate the convergence of our algorithms.     

广义含参拟变分包含解的灵敏性分析

在Hilbert空间中,研究了一类新的含H-单调算子的广义含参拟变分包含.利用H-单调算子的预解算子技巧,证明了这类变分包含解的存在惟一性,并分析了其解的灵敏性.