中国博士后科学基金(20090450389)
- 作品数：12 被引量：51H指数：4
- 相关作者：骆翔宇彭现美轩爱成沙宗鲁苏开乐更多>>
- 相关机构：桂林电子科技大学清华大学安徽财经大学更多>>
- 发文基金：中国博士后科学基金国家自然科学基金广西青年科学基金更多>>
- 相关领域：自动化与计算机技术医药卫生自然科学总论政治法律更多>>
- 突发性传染病影响分析
- 2010年
- 在人类发展的历史上,突发性传染病一直是造成人类的主要灾难之一,其防治已成为全球公共卫生工作中的重点。了解过去一个多世纪的传染病发生、导致的死亡人数和对人们生活的影响的总体基本状况,以及在世界各地区的分布状况和变化趋势,为应对突发性传染病提供一定的参考依据。
- 彭现美
- 关键词：突发性传染病
- Translation-based Verification of Web Services Composition via ZING
- BPEL4WS(BPEL for short) is a standard business process execution language for Web services composition.To form...
- Xiangyu Luo~(1
- 关键词：BPEL4WS
- 一种Web服务特征交互自动检测方法被引量：3
- 2010年
- 模型检测技术可有效验证Web服务组合的异常情况,如特征交互问题等,但是目前验证过程的自动化程度比较低。为了提高验证的自动化程度,需要将BPEL转化为模型检测工具的输入语言。在分析BPEL语言控制流程的基础上,提出BPEL活动执行的形式化模型,给出活动执行语义,进而分别提出将BPEL流程自动转换为七元组集合以及将这些七元组转化为MCTK(一种我们开发的符号化模型检测工具)输入语言的算法,这些七元组包含了智能体执行过程中有关状态变化的有效信息。实验表明,提出的算法可以有效验证Web服务中的特征交互问题,而且支持认知逻辑规范的验证。
- 骆翔宇谭征董荣胜
- 关键词：WEB服务组合特征交互BPEL
- 新型农村合作医疗大病补偿资金利用效果分析——以安徽省为例被引量：3
- 2012年
- 新型农村合作医疗制度构建的目标是解决长期困扰农民看病难和看病贵,也是避免一部分人因病致贫和因病返贫的有效选择,如何使用和配置资金是能否达到新型农村合作医疗制度目标的关键。本文以安徽新型农村合作医疗为例,通过大病补偿资金使用和农民家庭实际收支状况相结合的研究,指出在资金补偿效果方面仍然有待于科学合理的发展规划。
- 彭现美
- 关键词：新型农村合作医疗
- 基于Verics的组合Web服务有界模型检测
- 2011年
- 传统的模型检测技术无法描述系统的认知逻辑特性,而在分布式系统领域,系统和协议的规范适合用多智能体时态认知逻辑来描述.组合Web服务是典型的分布式系统.为了保证组合Web服务运行的正确性,把组合Web服务看成多智能体系统,将其建模成一组相互通信的时间自动机.采用时态认知逻辑模型检测工具Verics对该组合Web服务的可用性、可靠性和时效性的时态认知逻辑特性进行检测.本文以旅游预订系统组合Web服务为例,阐述了上述过程.
- 骆翔宇轩爱成沙宗鲁
- 关键词：有界模型检测时态认知逻辑WEB服务时间自动机
- Web服务的形式化验证被引量：4
- 2010年
- 将Web服务组合建模为多智能体系统,采用时态知识逻辑模型检测工具MCTK刻画贷款协议Web服务实例,并验证相关的时态知识规范。在同一实验环境下,采用另一种时态知识逻辑模型检测工具MCMAS进行建模,并验证该实例。实验结果表明,基于MCTK的Web服务模型检测方法比基于MCMAS的方法更有效。
- 骆翔宇陈艳
- 关键词：多智能体系统WEB服务
- 一种执行代价较小的Web服务动态合成方法
- 2011年
- 在Web服务无回溯反向链动态框架基础上,提出一个较小执行代价的反向链动态合成方法.该算法根据用户的输入、输出和Web服务的执行代价,在合成过程中的每一步都找到执行代价最小的Web服务,从而动态生成一个执行代价较小的合成方案.该合成方案考虑了Web服务的合成效率和执行代价,特别适合于对两者都有要求的应用领域.
- 轩爱成骆翔宇沙宗鲁董荣胜
- 关键词：WEB服务合成
- 孕产妇健康目标及全球进程差异分析被引量：4
- 2012年
- 自从2000年《联合国千年宣言》把孕产妇健康作为八项千年发展目标之一以来,增进孕产妇健康和减少孕产妇死亡率成为全社会共同的重点内容。本文通过对全球孕产妇健康状况、自1990年以来的变化趋势及区域之间变化差异的分析,指出减少孕产妇死亡比率和实现普遍享有生殖保健服务的全球发展目标依然艰巨,需要发达国家和发展中国家共同为之努力。
- 彭现美
- 关键词：孕产妇死亡率
- 一种求解认知难题的模型检测方法被引量：5
- 2010年
- 用公告逻辑建模并求解和与积认知难题.提出一种动态认知模型,将环境认知模型与公告导致的认知模型线性组合,从而在时态认知逻辑模型检测技术中扩展支持公告逻辑的建模与验证.该模型检测方法不仅可以用于搜索认知难题的所有解,而且可以验证相关的时态认知性质,这一特性是当前认知逻辑模型检测工具MCK、MCMAS和DEMO不能完全支持的.作者采用OBDD开发了相关的符号化模型检测工具MCTK并对和与积难题进行建模和验证,实验结果说明了文中方法的正确性和高效性.
- 骆翔宇苏开乐顾明
- 关键词：OBDD时态认知逻辑
- 美国人口自杀状况分析被引量：3
- 2009年
- 自杀不仅是个人和家庭的灾难,而且成为重要的社会问题,也是目前发达国家造成死亡的主要因素之一。尽管美国的自杀率在世界各国中不是最高的,但同其他发达国家一样所造成的社会问题最为突出。通过美国不同性别、年龄、种族、区域等自杀人群的分析,了解美国自杀人群的特点,以期采取相应的措施。
- 彭现美
- 关键词：自杀率
