诗意的栖居

＂人充满劳绩,但还诗意的栖居在这片大地上＂,是哲学家海德格尔借诠释德国古典诗人荷尔德林的诗句来解读存在主义,＂只有当诗发生和出场,栖居才会发生＂。     

智能主体的等级BDI(信念、愿望和意图)模型

BDI(信念、愿望和意图)模型是影响最为广泛的主体技术之一。在把无穷值的ukasiewicz逻辑和命题动态逻辑进行融合后对等级BDI主体模型进行形式化的基础上,提出了GBDIPDL+LL逻辑。为了通过概率、必然性和可能性对不确定性行为进行表示和推理,把相应的公理添加到ukasiewicz逻辑中。文中的GBDIPDL+LL主体模型使用多背景系统,清晰地表示了信念、愿望和意图的不确定性。GBDIPDL+LL主体行为则通过添加具体条件的每种背景的不同测度来决定。对信念、愿望和意图的模型进行了公理化,并说明了它们对主体行为的影响,该模型可以很轻易地向包括其他心理状态的主体进行推广。在给出了GBDIPDL+LL模型语言、语义和GBDIPDL+LL逻辑的公理和演绎规则后,证明了此逻辑系统的完全性和可靠性。之后,在对复合行动进行形式刻画的基础上,描述了GBDIPDL+LL模型的不同背景之间的关系。文章立足于不确定性的表示和推理,志在为分布式人工智能提供形式支持。     

低渗透煤层气液两相复合压裂卸压增透技术北大核心

为了解决低渗透高瓦斯煤层抽采难度大的问题,基于现有研究成果,通过理论分析,提出了煤层气液两相复合压裂卸压增透技术。技术主要依靠注入钻孔的高压酸液和高压碱液起裂煤层,同时液体反应生成的高压CO_(2)气体起到驱替增透作用;具有卸压和增透的双重效应,截断突出的准备阶段;煤层压裂增透后的地应力场和瓦斯压力场降低、均化,抽采效率得到提高。技术的突出特点是:反应产物呈中性、易溶解;少量酸化增透产物支撑作用,减弱裂隙闭合;反应升温,避免CO_(2)过量吸附降低渗透率;技术组合方式灵活多变。     

基于Info-gap理论的巷(隧)道围岩岩爆稳健可靠性预测

鉴于岩爆倾向性围岩对其参数变化的强敏感性,考虑巷(隧)道围岩物理、力学、环境等参数的变化幅度,建立了基于Info-gap理论的Info-gap模型、稳健函数及评价模型,定义了具有明确含义的安全系数。采用抗力—荷载模型,基于岩爆烈度分级标准,建立了岩爆预测的功能函数。通过工程实例验证了基于Info-gap理论的岩爆预测模型的可靠性,并探讨了各参数对岩爆预测结果的影响。结果表明:基于Info-gap理论的岩爆预测模型是合理和适用的;通过岩爆预测评价模型,可实现对强烈岩爆、中等岩爆、弱岩爆和无岩爆的连续评价预测;若评价结果为强烈岩爆,则中等岩爆和弱岩爆必发生,若评价结果为中等岩爆,则弱岩爆必发生;随支护力的增加,稳健可靠度指标增加,支护对岩爆烈度降低及岩爆发生与否有重要控制性作用;对于巷(隧)道围岩内部而言,所处位置不同,稳健可靠度指标不同,代表其岩爆烈度不同,通过稳健可靠性分析可得出不同岩爆烈度的岩爆深度;地应力值的变化对岩爆烈度及岩爆发生与否有重要影响。研究结果可为岩爆预测及控制提供依据。     

吉林石化乙丙橡胶X-3042新牌号产品工业化试验成功

日前,吉林石化公司乙丙橡胶C装置年度首次切换牌号工作顺利完成,生产的X-3042新牌号产品指标合格,标志着该公司乙丙橡胶挤出型材用新产品工业化试验成功。X-3042是吉林石化为打开中压电线电缆领域,进一步提高市场占有率研究开发的高乙烯含量、低门尼粘度、中亚乙基降冰片烯含量的三元乙丙橡胶新牌号产品。