堵水调剖决策系统在七区中注聚后期的应用

孤东油田七区中注聚后部分油井见聚浓度高,注聚过程中层间矛盾突出.为此,应用聚和物堵水调剖决策系统对目前七区中注聚后的窜聚井进行了综合治理,对高见聚油井采取了干灰阻聚措施.通过对注聚井的防窜及油井阻聚,取得了明显的效果.最后对整体堵水调剖效果进行了评价,为同类油藏的堵水防窜提供了参考模式.     

伪度量(L)*-Lindenbaum代数中基本运算的连续性

研究了伪度量L*-Lindenbaum代数中基本运算的连续性．结果表明，Fuzzy命题演算系统L*中的全体公式集上的伪度量可以在L*-Lindenbaum代数M上诱导出一个伪度量ρ，证明了M上的非运算、并运算以及蕴涵运算关于ρ都是连续的．这为在(M，ρ)上建立近似推理理论提供了方便。     

Banach空间中的1阶Bessel序列

在Banach空间X中引入了1阶Bessel序列与Bessel算子的概念,证明了X上的全体1阶Bessel序列构成一个Banach空间;对X上的任意1阶Bessel序列f={fn}n∈Λ,引入了算子Tf:X*→l1,给出一个序列成为1阶Bessel序列的若干充分必要条件;引入(1,∞)阶对偶对的概念,证明了(f,g*)成为X×X*中的(1,∞)阶对偶对当且仅当Tf*Tg*|X=IX.     

非线性VOLTERRA积分微分方程PETROV-GALERKIN有限元方法

讨论了非线性Volterra积分微分方程初值问题的PGFE方法，并给出了PGFE解的存在性和唯一性。     

一类半导体方程组整体弱解的存在性

考虑一类半导体方程组的混合初边值问题。利用正则化算子和逼近过程，通过一系列先验估计，在迁移率既不为常数，又不满足速度饱和的条件下，证明了其整体弱解的存在性．     

基于遗传算法的轨道综合养护计划模型设计

根据大型养护机械线路综合养护的特点,设计了基于遗传算法的0—1整数型轨道状态最优综合养护计划模型,并结合线路不平顺数据,对模型求解效果进行了检验,初步实现了大型养护机械养护作业安排的计算机解析,从算法角度解决了轨道不平顺状态计算机辅助决策系统的关键问题.     

微波技术在化学萃取中的应用

介绍了微波萃取技术的原理和特点，综述了影响微波萃取的因素和微波萃取的研究和应用，展望了微波技术的前景，提出了微波技术的发展方向的建议、     

模归约算法的数学基础研究

 多项式模归约算法是计算机代数中的基本问题之一,在编码算法和密码体制设计中有着广泛应用.提出了模归约算法中的2类基本算子:字归约算子、半字归约算子,并进一步证明了2类算子的计算量具有某种形式的不变量(如果满足一定的条件),从而证明了模归约算法计算量的线性性质,为其算法设计和分析提供了理论基础.还通过实例给出了2个算子在ECC和AES密码算法中的一些应用.     

量子通讯中的十个数学结果

本文利用组合计数理论、不定方程理论、数列和级数知识，采用构造证明的方法研究了量子计数问题，解决了量子通讯中的十个教学问题。这些结果即将在其他学科中得到广泛的和深入的应用。     

关于f×f与f的动力性质间关系的研究

利用伪轨跟踪性质和一些其他方法,研究了紧系统(X×X,f×f)和(X,f)的动力性质间的关系,有些结果推广了文献[1～5]、[7～9]中的相应结果.