基于符号模型检测的Web服务组合形式化验证

随着经济的发展和市场竞争的加剧,企业必须能够快速且准确地满足市场和用户的各种需求。Web服务组合正是由于单个Web服务不能满足企业及用户的需求而产生的一种技术,而如何确保组合的正确性来实现服务增值是一个尚未完全解决的问题。针对此问题,提出了一种基于符号模型检测器NuSMV对Web服务组合进行验证的方法,并提出了基于消息会话的Web服务有限状态自动机的形式化定义。最后实例验证了Web服务组合交互的正确性和有无死锁状态现象,进一步证明了方法的可行性。     

提高脱贫质量的理论、政策与测算框架

2020年我国按现有贫困线标准实现了消除绝对贫困的目标,扶贫工作的重点转向提升脱贫质量。要落实提升脱贫质量的政策目标,亟需新的理论构建与可操作性的测算框架。本文结合动态贫困理论、可行能力理论、多维贫困理论,对中央提出的脱贫质量政策进行解析。基于此,提出脱贫质量在宏观层面应主要关注地区发展的可持续性、在微观层面关注个人发展的可行能力。基于这一理论,本文尝试性地提出了一个脱贫质量的测算框架,对此前832个国定贫困县的脱贫质量进行评价。本文的边际贡献在于首次对脱贫质量的政策内涵进行了理论探讨和评估框架设计,从而对未来进一步巩固脱贫成果提高脱贫质量的政策设计提供一定启示。     

基于风网平衡技术的气体积聚危险性分析

矿井通风是煤矿安全生产的基础,合理通风是抑制煤自燃和瓦斯积聚的有效方式,但不良通风却是导致瓦斯积聚、煤自燃以及灾害加剧的重要因素。通过对煤自燃和瓦斯灾害与通风之间的关系分析,确定通风不良性指标为风量、瓦斯浓度与CO浓度,并拟合得出了CO浓度和漏风量的函数关系。将通风不良性的指标进行分级,运用模糊综合评价法建立了通风不良性危险性评价体系,该体系根据危险程度的不同将危险程度划分为Ⅰ、Ⅱ、Ⅲ、Ⅳ、Ⅴ个等级,危险性随着等级的增高而增加。运用风网平衡图来分析通风不良性,对于煤矿通风灾害的评定与治理具有指导意义。     

基于"4R"危机管理模式的煤矿应急管理 及其应用

煤矿突发事件其本质上属于危机范畴。为解决在煤矿突发事件和应急救援过程中出现主次不清、轻重缓急混乱的情形,应用"4R"危机管理理论探讨了危机管理的对于解决煤矿突发事件的指导意义,并对煤矿现场应急救援过程的指导作用通过实例进行说明,印证了"4R"危机管理模式对于煤矿应急管理的适用性。     

某放射性废金属熔炼炉接受式排风罩优化研究北大核心CSCD

为有效收集核设施废金属在回炉熔炼过程中产生的放射性气溶胶,选取某放射性废金属熔炼炉为研究对象,采用Fluent数值模拟方法模拟不同高度、不同罩口尺寸、干扰风等因素对排风罩的影响。结果表明熔炼炉口直径为0.5 m、0.3 m/s的横风、排风罩高度为1.5 m,优化后直径D=1.4 m的圆形罩,可以有效排除熔炼炉产生的放射性气溶胶。使用CFD数值模拟方法优化后的排风罩与理论计算设计相比,排风罩直径减少了0.84 m,风量减少了0.616 m^(3)/s,可为熔炼炉排风罩的设计提供参考和借鉴。