第六届国际采矿自动化会议综述

<正> 第六届国际采矿自动化会议于1980年5月12日至16日在波兰卡托维茨举行。参加会议的有13个国家的260名代表,会上共宣读了105篇论文。现将论文中有关煤矿自动化方面的内容综述如下。     

Menger空间中扩张映象的不动点定理

本文的目的是在概率度量空间建立三个公共不动点定理。这些映象是假定为满足某些广义的扩张条件,我们给出一个例子证明并指出参考文献中的主要定理1和推论1是错误的。     

关于连续随机集值映象的一些随机不动点定理

本文中,我们得到几个新的连续随机集值映象的随机不动点定理,它推广了文[2—5]中一些著名结果,本文所用方法也与文[2—5]中的诸位作者的方法不同。在决定性情况下,本文所得结果也推广了文[6—8]中的一些结果。     

关于2-距离空间中广义压缩型映象的不动点定理

本文研究了2—距离空间中的广义压缩型映象的不动点定理,讨论了2—距离空间中压缩型映象序列和它的不动点序列的逼近问题,建立了乘积2—距离空间的不动点定理,这些定理改进并发展了B.E.Rhoades等人的一些相应的结果。     

国外煤矿自动化技术的发展动向

简要介绍国外煤矿自动化的发展趋向,广泛应用电子计算机;微型电子计算机在煤矿中的应用:煤矿专用传感器的研究与应用;矿井实现自动化的效益及今后的发展。     

我国煤矿自动化的现状和发展

一、我国煤矿自动化现状建国三十多年来,随着煤炭生产的高速发展,我国煤矿生产技术也得到迅速提高,煤矿技术面貌发生了深刻的变化,改革了落后的采煤方法,矿井开拓布局日臻     

70000系统

<正> 70000系统以微型计算机技术为基础,它能自动控制长壁采煤工作面的滚筒采煤机。研制70000系统的主要目的,是控制残留在工作面顶板上煤层的厚度以改善开采条件,监视采煤机的工作状态,并将其     

2——距离空间中交换映象的公共不动点

一、引言 1963年,S.Gahler引入2—距离空间[1-3],此后,有许多学者对这种空间的拓扑性质和凸性等问题进行了研究。近年来KIséki,B.E.Rhoades,S.L.Singh等人在不同的假定下,分别在[4-10]中讨论过2—距离空间中压缩型映象的不动点定理。本文的目的是继续研究2—距离空间中的不动点,我们建立了2—距离空间中交换映象的公共不动点定     

概率度量空间的有界性可分性与紧性

本文系统地提出了概率度量空间上的有界性、可分性、预紧性,列紧性,致紧性等概念,对空间结构进行了较全面的探讨,证明了涉及各种概念之间关系的一系列定理.     

我国煤矿自动化技术的发展

概括地介绍了我国回采工作面的采煤机和运输机、矿井皮带运输系统、通讯系统的自动控制,井下环境参数监视和通风网络控制以及选煤厂的自动化。