形式Peano算术的Gödel不完备性定理的一个简单证明

给出了形式Peano算术的Godel不完备性定理的一个简单证明.     

Sierpinski地毯导出分形插值函数的几个性质

由定义在Sierpinski地毯上的一个质量分布导出一个分形插值函数，并给出分形插值函数的六个性质，这些性质反映了Sierpinski地毯的分形结构．     

抛射体运动的两个几何特性

讨论了抛射体运动的两个几何特性     

基于Context模型的非嵌入式小波彩色图像编码方案

 在零树小波思想的基础上,结合Context模型提出了一种新的彩色图像编码方案.首先对原彩色图像的3个分量进行色标体系变换,然后对变换后的3个分量分别进行离散小波变换.离散小波变换后的系数首先由门限值筛选操作产生一个Significance Map符号流,该符号流用零树结构表示.接着对非零系数进行均匀量化,将大于门限的值分解为:MSB符号流及剩余的二进制符号流.为了降低存在于Significance Map及MSB符号流中的冗余,我们提出了简单有效的Context模型,而对剩余的具有弱相关性的二进制符号流则直接使用自适应算术编码.经过实验对比证明了该方案在彩色图像编码中具有较优的压缩特性.     

移动通信中多重建筑物的遮挡损耗

用Uniform Geometrical Theory of Diffraction（UTD)分析了等高度等间距的建筑物对移动通信中移动台接收信号的影响，给出了易于计算的UTD拟合表达式，计算表明，此时Hata模型、COST231模型的计算结果和UTD的计算结果是较为接近的，但要精确地比较各场点的传播损耗只能用UTD按照实际的不等高度，不等间距的建筑物分布来计算，结果表明，当移动台前一幢建筑物的直接路径被阻挡时，UTD方法能较确定的反映此时的传播损耗。     

Weierstrass不等式的加强与推广

给出Weierstrass不等式的加强与推广形式，并利用该结果建立两个条件不等式。     

关于一类集值拟变分不等式的广义投影算法

引入并研究了一类新的广义非线性集值强隐拟变分不等式，通过用投影方法，证明了这类变分不等式的解等价于一类不动点问题的解．基于这类不动点问题，我们构造了一个迭代算法，在没有紧性的条件下，证明了这类变分不等式解的存在性；同时，还证明了由迭代算法所产生的迭代序列收敛于这类变分不等式的解．     

Lipschitz 区域上Triebel 空间的原子分解

设Ω是Rn(n≥2)上的Lipschitz区域,s∈R,0相似文献   

煤矿开采沉陷预测的数值模拟

运用求解非线性大变形问题有限差分法（FLAC），对开采引起的岩体移动和地表沉陷进行了研究，总结出了岩体移动的基本特征和地表沉陷和相关参数，所得结果对现场开采具有一定的指导作用，对开采所致的地表沉陷的治理提供了科学依据。