数字煤矿建设的几个问题

针对数字煤矿建设过程中存在的一些具体问题,采用理论分析及理论与实践相结合的方法,分析了控制测量、矢量数据、信息系统等在应用中存在的问题,提出了建立地心坐标系必要,指出了矢量地图过程中应注意的问题,预示了数字煤矿信息系统的发展趋势.研究结果表明,数字煤矿是一项长期而艰巨的任务,需生产单位和矿方各相关部门密切配合,科学合理建设.研究结论突破了对传统的生产模式的认识,有助于新的空间技术和信息技术的应用,将会有效地推动我国数字煤矿的进程.     

一类对称Duffing方程的次调和解

证明了具有偶或奇对称性Duffing方程x″ g(x)=p(t,x)(=p(t 2π,x))在满足条件li mh∞∫2cc -((hh))h-dsG(s)=0 p(g(t,x)x)→→0 x ∞li m|x|∞sgn(x)g(x)= ∞时,存在无穷多个对称的次调和解,并且其次调和解具有某种稠密性分布.     

关于一种严格伪压缩映象Mann迭代序列的强收敛性

证明了在H ilbert空间中非空有界闭凸集上的严格伪压缩自映象有不动点,介绍了一种关于严格伪压缩映象的M ann迭代序列并证明了其强收敛于不动点,其结果把非扩展映象推广到严格伪压缩映象,从而推广了近代一些相关结果.     

利用Surfer软件绘制山西区域气象要素图

以绘制等雨量图为例,介绍了用Surfer软件绘制山西底图及在山西底图上绘制等雨量线的方法。     

采用时空混沌耦合映象格子产生混沌扩频序列

利用耦合映象格子这一具体的时空混沌模型来产生混沌扩频序列，研究了产生混沌扩频序列的方法，并对序列特性进行了分析，结果证明产生出来的序列扩频特性性能良好，可以应用于扩频通信系统。     

组合泛函方程和新进展

基于组合计数的系列进展 ,本文作者从Blissad算子发展一批泛函方程其中 ,有些已解决 .这里 ,仅着重提供一批尚未解决的组合泛函方程 .它们不仅影响地图计数理论 ,而且还联系到数学的许多别的分支 ,以及理论物理 ,统计力学和计算机科学等 .     

基于局部熵差的栅格地图拼接方法

栅格地图识别输入系统中往往要对扫描的多块小地图进行镶嵌拼接成为大块完整地图后才作进一步处理。以往的一些图象拼接方法在图象倾斜时不能正确拼接或者有人机交互量过大、处理效率低等缺点，作者提出一种可以自动校正倾斜的拼接方法。方法先定义了局部熵的概念，用熵差匹配的方法寻找到多个匹配点，然后用最小二乘法计算两幅地图的相对倾斜角以及计算出两图的对应坐标关系，经过倾斜校正快速算法处理和“拼缝”的平滑处理后最终实现拼接。搜索匹配中采用序贯检测及跳跃式策略以减少搜索时间。实验结果表明该方法在地图小角度倾斜时能正确拼接，拼接方法效率高，速度快，是栅格地图识别输入系统中地图拼接的一种新方法。     

逆极限空间的转移映射

证明了关于X的逆极限空间的转移映射具有下列结论：（1）若f是连续射，则f具有Korner性质的充要条件是转移映射具有Korner性质；（2）f在其测度中心上是Li-Yorke混沌的当且仅当转移映射在其测度中心上是Li-Torke混沌的，对Devaney混沌也如此。     

弱可积半群的生成元

本文引入局部凸空间上弱可积半群的拟生成元概念,并且给出了它的一些性质.最后,利用拟生成元来描述局部凸空间上弱可积半群的生成元.