FGX-48A犁复合选煤设备在新安煤矿选煤厂的应用

本文介绍了复合干法选煤设备在河南能源义煤公司新安煤矿选煤厂的应用情况,同时结合积累的经验以及生产中所出现的问题,提出一些改善设备分选效果的办法以及对设备的改造措施.     

作为多重关系理解的真理范畴

真理问题是西方科学哲学各个流派争论的一个主要问题。本文认为在西方科学哲学中存在着三种不同的对真理的理解,一种是物理学意义上的,一种是逻辑学意义上的,一种是语言学意义上的。而在当代,真理虚无论则是一股强大的否定真理的思潮。本文认为,这三种不同的对真理的理解都存在着欠缺,真理虚无论的理由则难以成立。本文认为,真理是一种多重关系基础上理解的范畴,第一,我们应当从人与客观对象之间互相符合的角度来理解真理;第二,真理是一种条件关系;第三,真理是一种人类生存需要基础上人与对象之间的关系。     

XML弱多值依赖的推理规则

数据约束是数据库规范化理论的基础,不完全信息引入XML文档后,需要重新定义数据约束。基于XML Schema、符合XML Schema的不完全XML文档树、子树信息等价和子树信息相容等定义给出了XML弱多值依赖的定义和性质;为了研究数据依赖的逻辑蕴涵问题,给出了XML弱多值依赖的推理规则集,并对其正确性进行了证明。以上研究为不完全信息环境下存在XML弱多值依赖的XML文档的规范化研究奠定了基础。     

自应力混凝土结构限制膨胀过程有限元法分析

在试验基础上,根据限制条件下自应力混凝土的变形相容和平衡条件,参照自由变形膨胀混凝土的变形曲线,给出了自应力值和有效自由变形的增量关系;建立了可考虑膨胀和徐变时间过程、可适应各种边界条件和配筋形式的配筋混凝土自应力发展过程的有限元分析模型,对若干配筋自应力混凝土试件的有限元数值计算表明,自应力发展过程的计算结果与试验结果吻合。     

相容映象的公共耦合不动点定理

在完备度量空间上,引入了映象对的渐过正则列概念,并在映象对相容的条件下,采用渐近正则列的映象逼近方法,获得了更为广泛的一类相容映象的公共耦合不动点定理,统一和推广了Hardy G.E.和RogesT.D.等的相应结果。     

早期分析哲学视域中的真理符合论

早期分析哲学家罗素、维特根斯坦和维也纳学派的逻辑实证主义哲学家的观点虽然不尽相同,但都重视逻辑的语言分析,主张对世界上的事物可以做到终极分析,对命题都有较为细致的分类,在命题如何与事实相符合的问题上,他们都认为感觉经验是最终的保证。     

锥度量空间中四个自映象的公共不动点定理

利用锥度量空间中自映象对的弱相容性,在放宽了映象的压缩条件下,讨论了一类四个自映象的公共不动点的存在性、唯一性问题.得到了一个新的公共不动点定理,改进并推广了近期的结果.同时也是对度量空间中经典结论的推广.     

对数理逻辑中几组概念的辨析

为了引导学生全面的理解概念,正确的进行表述、推理和判断,全文对学生在数理逻辑命题符号化的学习中容易出错的几组概念进行了剖析与比较,对离散数学的教学有一定借鉴意义。     

海口市连续运行卫星定位综合服务系统(HK-CORS)精度测试

为了评定海口市连续运行卫星定位综合服务系统(HK-CORS)各项技术指标是否达到设计要求,从定位精度、时间可用性、空间可用性、网络RTK初始化时间以及对目前市场上主流的不同厂家仪器的兼容性等5个方面对系统进行了测试。     

多值信息系统的基于相似度的粗糙集模型

在建立一个新的基于相似度的粗糙集模型的基础上,研究该模型的知识约简,并建立了基于相似度的相容矩阵,通过相容矩阵刻画了多值信息系统中的约简问题.