中国博士后科学基金(20090450389)
- 作品数：12 被引量：50H指数：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服务
- 一种求解认知难题的模型检测方法被引量：5
- 2010年
- 用公告逻辑建模并求解和与积认知难题.提出一种动态认知模型,将环境认知模型与公告导致的认知模型线性组合,从而在时态认知逻辑模型检测技术中扩展支持公告逻辑的建模与验证.该模型检测方法不仅可以用于搜索认知难题的所有解,而且可以验证相关的时态认知性质,这一特性是当前认知逻辑模型检测工具MCK、MCMAS和DEMO不能完全支持的.作者采用OBDD开发了相关的符号化模型检测工具MCTK并对和与积难题进行建模和验证,实验结果说明了文中方法的正确性和高效性.
- 骆翔宇苏开乐顾明
- 关键词：OBDD时态认知逻辑
- 美国人口自杀状况分析被引量：3
- 2009年
- 自杀不仅是个人和家庭的灾难,而且成为重要的社会问题,也是目前发达国家造成死亡的主要因素之一。尽管美国的自杀率在世界各国中不是最高的,但同其他发达国家一样所造成的社会问题最为突出。通过美国不同性别、年龄、种族、区域等自杀人群的分析,了解美国自杀人群的特点,以期采取相应的措施。
- 彭现美
- 关键词：自杀率
- 一种基于认知模型检测的Web服务组合验证方法被引量：15
- 2011年
- 近几年Web服务组合的形式化验证逐渐成为研究热点.模型检测作为形式化验证的一种主流技术,可以克服传统软件测试用例生成不完备的不足,同时具有验证自动化的优点.该文提出并实现了一种Web服务组合的认知模型检测方法,将Web服务组合建模为多主体系统,在分析BPEL语言控制流程基础上,提出BPEL活动的形式化模型,给出活动执行语义.进而以迁移七元组为中间形式,开发从BPEL流程到迁移七元组集合以及从这些迁移七元组到MCTK(一种我们开发的多主体系统模型检测工具)输入语言的自动转换算法,最终通过MCTK进行验证.实验结果表明开发的算法不仅可以有效验证Web服务组合的时态逻辑规范,而且可以验证多主体系统特有的认知逻辑规范及其时态组合.
- 骆翔宇谭征苏开乐吴立军
- 关键词：WEB服务组合BPEL认知逻辑多主体系统
- 全球突发性传染病状况及变化趋势分析被引量：9
- 2010年
- 在人类发展的历史上,突发性传染病一直是造成人类的主要灾难之一,其防治已成为全球公共卫生工作中的重点。了解过去一个多世纪的传染病发生、导致的死亡人数和对人们生活的影响的总体基本状况,以及在世界各地区的分布状况和变化趋势,为应对突发性传染病提供一定的参考依据。
- 彭现美
- 关键词：突发性传染病
