描述逻辑εVL的保守扩充

在描述逻辑中,将本体看作一个逻辑理论,一个本体被形式化为给定的描述逻辑系统的一个Tbox。本体是动态的实体,为了适应新领域的发展,需要对原始本体进行扩充,但是扩充后的本体与原始本体是否保持逻辑一致性是目前研究者们所关注的焦点。在Lutz等人研究的基础上探究εVL的保守扩充问题,构建了εVL的典范模型,将包含推理问题转换为典范模型的模拟问题;由典范模型之间的最大模拟是多项式时间复杂的,证明了εVL的包含推理是多项式时间复杂的;给出了描述逻辑εVL的保守扩充及其判定算法,证明了εVL的保守扩充的判定算法是指数时间复杂的。     

基于三菱PLC的Factory IO全虚拟仿真系统研究

PLC编程控制技术被广泛应用于各种机电设备控制中，Factory IO仿真软件也被应用到PLC编程学习中。三菱PLC编程控制技术是初学或入门者的首选，具有大量的学习者。Factory IO能与西门子、AB系列PLC直接连接，但只能通过其他方式与三菱PLC连接，组成联合仿真系统。基于此，可以利用PLCSimulator自带的Modbus TCP通信功能与Factory IO，GX Works2组成三菱PLC全虚拟仿真系统。使用该仿真系统，即使没有昂贵的PLC等硬件设备，PLC的学习者只用一台电脑也能较为直观地学好PLC，其效果较好。     

黔西北燕子口地区五峰组—龙马溪组泥页岩储层特征

在野外地质露头剖面测量和样品采集的基础上,通过铸体薄片鉴定、阴极发光、X射线衍射、扫描电镜、总有机碳含量和镜质组反射率等地球化学分析,结合区域地质背景和前人研究成果,探讨黔西北燕子口地区奥陶系五峰组—志留系龙马溪组泥页岩储层特征.结果表明:①研究区五峰组—龙马溪组主要沉积浅水—深水陆棚相的粉砂质页岩、云灰质页岩、泥质粉...     

瓦斯突出矿井应力集中区域防突措施选择及应用研究

在煤矿安全生产过程中，煤与瓦斯突出矿井防治煤与瓦斯突出事故一直都是困扰和威胁安全生产的主要因素，如何做到防治煤与瓦斯突出事故，尤其是应力集中区域的瓦斯防治技术，是防治煤与瓦斯突出工作的技术难点，也是最值得关注研究解决的问题。应力集中区域瓦斯治理措施选择的不合理是导致事故发生的直接原因，近几年，经过将瓦斯治理技术和现场应力集中施工特点相结合，取得了新的认知成果。鉴于此，就应力集中区域瓦斯治理措施技术进行了分析。     

贵州省一起灰花纹鹅膏中毒事件调查

目的 调查分析贵州省毕节市发生的一起灰花纹鹅膏中毒事件，为贵州省毒蘑菇中毒的诊断、调查、检测鉴定和防控提供数据支持。方法 采用流行病学调查方法分析该起事件流行病学特征，采用分子生物学方法对可疑野生蘑菇进行鉴定，采用超高效液相色谱-串联质谱法进行毒素检测。结果 该事件为食用自采野蘑菇共导致4人中毒，其中3人死亡。经流行病学调查和实验室检测，确定毒蘑菇为灰花纹鹅膏（Amanita fuliginea），α-鹅膏毒肽、β-鹅膏毒肽和二羟鬼笔毒肽毒素被检出。结论 该起毒蘑菇中毒由村民误采误食灰花纹鹅膏引起，开展针对性的健康教育对毒蘑菇中毒的预防控制具有重要意义。     

干湿循环条件下磷建筑石膏力学性能试验与预测

近年来，磷建筑石膏的应用越来越广泛，石膏基建筑材料耐水性能差是一个值得关注的问题。重点关注在干湿循环条件下，磷建筑石膏的性能劣化情况与建模预测。结果表明：随着干湿循环试验的进行，磷建筑石膏的绝干抗折和抗压强度呈线性下降。所建立的TDGM(1,1)模型对磷建筑石膏干湿循环下绝干抗折和抗压强度的预测误差分别为0.22%、0.59%，预测精度显著高于线性回归模型，可以应用于石膏基建筑材料耐干湿循环性能的预测。磷建筑石膏的耐干湿循环的极限次数在50～55次。