-
基于并发事务逻辑的语义Web服务组合
并发事务逻辑(Concurrent Transaction Logic,CTR)是一种谓词逻辑的扩展,支持语义Web服务自动组合的推理.采用并发事务逻辑作为表示和推理工具,给出了OWL-S功能和行为两个方面的Web服务组合方法.基于并发事务逻辑的执行语义及其Horn子集的过程式语义,提出了一个多项式时间的服务组合算法,从而降低了服务组合推理的复杂性,为解决当前许多主流语义Web服务组合方法不支持并发行为建模的问题提供了新思路.王雪松,钱俊彦,赵岭忠,高荣亮 - 计算机科学文章来源： 万方数据 -
青少年体质健康政策的有效执行路径研究-基于米特-霍恩政策执行系统模型的视角
采用文献资料研究、逻辑分析等方法,结合我国政治和社会背景,运用米特-霍恩政策执行系统模型对青少年体质健康政策执行的各因素进行分析.研究发现,政策目标层次偏低、功利性太强、政策法律效力低下,政策执行资源不足,政策执行手段单一、执行机制和监控机制不健全,政策执行机构互动不足,执行者政策认同度不高、执行动力不足和政策环境不利等因素,加上各因素之间相互作用使政策执行陷入困境.提出政策有效执行的优化路径:在提升政策目标层次、完善政策体系和拓宽政策资源的前提下,整合政策执行组织机构,丰富政策执行手段、完善执行机制与监督机制和优化政策环境,以提升执行主客体的政策认同.杨成伟,唐炎,张赫,张鸿 - 体育科学文章来源： 万方数据
科创中国
