SW规约下的一些性质

本文进一步分析了SW规约下的SW度结构的一些性质,得到了强可计算实数的两个性质.并且证明了给定可计算可枚举实数,可构造出sw归约下不小于该数的低的可计算可枚举实数.     

Banach空间中的幂级数方程

本文考虑Banach空间中形如x=u+sum from k=1 to ∞(a_kx~k)的幂级数方程,建立了一个比较定理,并将其应用于一定的非线性积分方程.     

一类广义非扩张映像的不动点定理

在 Ｂａｎａｃｈ空间中讨论一类广义非扩张映像的不动点的存在性和迭代逼近，以及不动点集的性质。     

OFDM系统中的峰值平均包络功率比上下界的分析

本文主要对OFDM系统中的峰值平均包络功率比(PMEPR)的上下界进行了推导.推导结果表明,PMEPR的上界仅和数据序列的非周期自相关函数有关,这对于迅速去除PMEPR超过给定门限的数据序列是非常有用的.从推导的PMEPR下界看,只有当子载波数N很少时,它才会随N变化较大.针对一个16子载波的BPSK OFDM系统,本文借助于PMEPR的上界还对一种降低PMEPR的选择性映射技术进行了分析,并给出了所有可能信息序列的PMEPR分布.分析结果表明,最大PMEPR约为6.5dB,比最坏情况下的PMEPR减少了5.5dB.     

一些Fuzzy映象的重合度

本文讨论一些Fuzzy映象的重合度的存在性,得出了一些新的重合度定理.本文所得结果统一和发展了引文[5～9]中的许多重要结果.     

MAPGIS在地质图件绘制中的应用

介绍了用地理信息系统进行地质信息管理的特点和优越性以及国产地理信息系统基础软件 -MAPGIS的数据结构、主要功能等。论述了在MAPGIS环境下绘制地质图件的基本方法和步骤。该系统实际应用于陕西省铜川矿务局煤矿地质信息的管理和图件绘制 ,实践证明该方法切实可行 ,效果明显。     

序补问题解的存在性

利用耦合不动点的方法得到了混合单调型算子的序补问题解的存在性．同时利用序补问题与隐变分不等式的关系给出了隐变分不等式解的存在性的新条件．     

不相干算子和强不相干算子的刻画

用算子代数和矩阵论的方法研究不相干量子运算和严格不相干量子运算所对应的kraus算子分解. 首先, 给出有界线性算子是不相干算子的等价条件及不相干算子的具体形式, 并给出用不相干算子刻画不相干量子运算的方法; 其次, 给出强不相干算子的具体形式及用强不相干算子刻画严格不相干量子运算的方法, 并给出严格不相干量子运算与不相干量子运算的关系.     

拓扑分子格的弱分离公理

本文是文［１］的继续，我们以Ｑ－远域为工具，首先引入和研究了拓扑分子格的ＳＴｉ分离公理（ｉ＝－１，０，１，２，３，４）。其次我们引入了Ｓ－不定序同态和Ｓ－同胚序同态等概念，给出了它们的若干特征性质。最后我们得到了各种ＳＴｉ分离公理是Ｓ－同胚序同态下保持不变的性质。