贵州松桃寨郎沟锰矿床地质特征与找矿标志

寨郎沟锰矿属杨立掌锰矿的一部分,从发现至今,仅开展了区域锰矿地质调查、普详查及少量矿山地质工作,研究程度低.2004年矿山生产至今,锰矿资源几乎消耗殆尽,为保障矿山生产所需锰矿资源,有必要对寨郎沟锰矿进行矿床地质特征研究,分析矿床成因、控矿因素,总结找矿标志以指导下一步矿山找矿工作.     

转移紧开覆盖的Ky Fan型匹配定理及对抽象经济平衡应用

本文建立了转移紧开覆盖的两个Ky Fan匹配定理。作为应用,研究了Fan-Browder重合定理和极大元定理,最后,建立了超凸空间中的定性对策和抽象经济的平衡存在定理。     

大型循环流化床锅炉烟气余热回收利用研究及应用

循环流化床锅炉排烟温度偏高,锅炉热损失大,提出了采用低压省煤器及暖风器相结合的研究与应用．实现烟气余热回收利用及防止末及空气预热器腐蚀。     

神东矿区含天然弱面砂岩的力学特征研究

为了研究神东矿区含天然弱面砂岩力学特征,以补连塔煤矿2-2煤层基本顶中粒砂岩为研究对象,采用CMT5000大门式微机控制电子万能试验机、RDS-200XL全自动伺服控制岩石直剪/残剪仪和RMT-150C力学试验机对完整砂岩和含天然弱面砂岩进行直接拉伸、直接剪切和单轴压缩试验,运用X射线衍射仪和扫描电镜分析弱面的成分、微观结构及元素特征。结果表明:天然弱面对纵波波速、抗压强度、残余剪切强度基本没有影响,纵波波速、单轴抗压强度和残余剪切强度分别降低了0.4%,1.4%和3.2%;天然弱面对直接拉伸强度、拉伸峰值应变、峰值剪切强度和弹性模量有显著的影响,峰值拉伸强度降低了83.1%,拉伸峰值应变降低了82.7%,峰值剪切强度降低了12.6%,弹性模量降低了7.3%。研究结果有助于进一步了解这种含天然弱面砂岩顶板的运动、破断以及力学传递规律。     

反应时间对镁碳复合储氢材料用于噻吩催化加氢反应的影响

噻吩及其衍生物是裂化石油中的主要含硫成分,研究噻吩的加氢脱硫技术对提高燃油品质、增强环境保护具有重要意义。本文采用反应球磨法在氢气气氛下制备了镁碳复合储氢材料,并应用于固定床管式反应装置进行噻吩的催化加氢反应研究,着重考察了不同反应时间阶段的加氢反应产物、噻吩转化率和固硫量结果。结果表明,材料具有较优异的放氢性能,受热释放出的活性氢在较温和的条件下可与噻吩发生加氢反应。随着反应时间的延长,固相产物中MgH2不断解离出Mg并释放出高活性氢,至2h时几乎完全分解;气相产物中先后检测到了CH4、C2H6、C3H6、C3H8、n-C4H8、nC4H10、c/t-C4H8等的存在;噻吩转化率先增大后减小,储氢材料中的固硫量先增大后逐渐趋于稳定。     

浅析网络语言构成、特点及其规范

进入新世纪后,网络语言已经成为广大网民主要的交流用语,从社会影响到修辞构造,从语文教学到交际使用无一不存在网络语言的踪迹。从网络语言的构成、特点及其规范三方面对网络语言进行分析,以期为更全面对待网络语言,为更好地读网络语言提供参考。     

描述逻辑系统FLεN中概念的最小公共包含算法研究

描述逻辑中的非标准推理是目前研究者们所关注的焦点问题,它主要包括:最具体概念、最小公共包含、匹配问题及概念的重写等.过去人们主要研究那些不合数量限制的描述逻辑系统,研究的是描述逻辑系统FLεN厂中的一种重要的非标准推理--概念的最小公共包含,它同时含有数量限制和存在限制,是对前人工作的推广.首先定义了FLεN中概念的描述树及描述树之间的同态关系,给出了概念之间包含关系的推理算法,然后通过两棵概念描述树的笛卡儿积给出了两个概念的最小公共包含推理算法并指出了概念A,B的最小公共包含概念LCS(A,B)的大小size(LCS(A,B))是随着size(A),size(B)呈指数增长的.     

描述逻辑FL0循环术语集的可满足性

循环术语集是描述逻辑长期以来的研究难点,它的最基本的问题即语义及推理问题没有得到合理的解决。分析了描述逻辑循环术语集的研究现状和存在的问题,基于图的互模拟的方法,给出了描述逻辑FL0循环术语集的可满足性条件。结果证明循环术语集的可满足性的推理是多项式复杂的。     

描述逻辑εL循环术语集的保守扩充

在计算机科学中,本体是动态的实体。为了适应新领域的发展,需要对原始本体增加新的公理或者与另一个本体融合。在本体的开发过程中,用户根据不同的需求和应用领域选择合适的本体导入另一个本体,从而实现对已建本体的扩充。判定扩充后的本体是否是扩充前本体的保守扩充是非常重要的。如果扩充后的本体不是扩充前本体的保守扩充,那么用户使用扩充后的本体将产生不可预知的影响。Lutz 等研究了描述逻辑εL的保守扩充问题,并且论证了εL的保守扩充是指数时间完全的。在Lutz等人的研究基础上研究了描述逻辑循环术语集的保守扩充问题。首先,给出了循环术语集在最大不动点语义下的保守扩充的充分条件是两个TBox 具有相同的原始概念,并论证了该算法是多项式时间复杂的。其次,给出最大不动点模型来处理循环术语集的保守扩充,并论证了该算法是指数时间复杂的。     

汽车电子节能系统的设计方法研究与仿真

研究汽车节能方面的问题,降低汽车耗油量。针对在颠簸路段行驶时,车速会发生突变,耗能呈现高度的非线性,无法用数学模型描述、造成电子节能装置降低耗能的效果下降的问题。为了解决上述问题,提出了采用应激反馈响应的汽车电子节能算法。首先选取合理的车速参数和耗油量参数,然后建立数学模型,对选取的参数进行预处理,最后用应激反馈响应优化参数的调节,增加系统稳定性,降低汽车在颠簸路段运行时的耗油量。实验证明,利用基于应激反馈响应的汽车电子节能算法,能够有效降低汽车在颠簸路段运行时的耗油量,为汽车节能系统设计提供了依据。