中国博士后科学基金(20090450389)

作品数：12被引量：48H指数：4
导出分析报告
相关作者：骆翔宇彭现美轩爱成沙宗鲁苏开乐更多>>
相关机构：桂林电子科技大学清华大学安徽财经大学华侨大学更多>>
相关期刊：《计算机学报》《妇女研究论丛》《中国初级卫生保健》《微电子学与计算机》更多>>
相关主题：WEB服务BPELWEB服务组合突发性传染病时间自动机更多>>
相关领域：自动化与计算机技术医药卫生自然科学总论政治法律更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
孕产妇健康目标及全球进程差异分析被引量：4
《妇女研究论丛》2012年第4期88-95,共8页彭现美 
中国博士后科学基金资助项目(20090450389);教育部人文社会科学研究项目(08JA840001)的阶段性成果
自从2000年《联合国千年宣言》把孕产妇健康作为八项千年发展目标之一以来,增进孕产妇健康和减少孕产妇死亡率成为全社会共同的重点内容。本文通过对全球孕产妇健康状况、自1990年以来的变化趋势及区域之间变化差异的分析,指出减少孕产...
关键词：孕产妇健康 孕产妇死亡率 千年发展目标 区域差异 
新型农村合作医疗大病补偿资金利用效果分析——以安徽省为例被引量：2
《中国卫生事业管理》2012年第4期289-293,314,共6页彭现美 
中国博士后科学基金资助项目(20090450389);安徽省教育厅人文社科研究项目(2008sk217);安徽省教育厅人文社会科学重点研究基地项目(2009sk131;2011sk744zd)的阶段性成果
新型农村合作医疗制度构建的目标是解决长期困扰农民看病难和看病贵,也是避免一部分人因病致贫和因病返贫的有效选择,如何使用和配置资金是能否达到新型农村合作医疗制度目标的关键。本文以安徽新型农村合作医疗为例,通过大病补偿资金...
关键词：新型农村合作医疗 补偿资金 利用效果 
基于Verics的组合Web服务有界模型检测
《小型微型计算机系统》2011年第3期412-415,共4页骆翔宇 轩爱成 沙宗鲁 
国家自然科学基金项目(9071803960763004)资助;中国博士后科学基金项目(20090450389)资助;广西青年科学基金项目(桂科青0728090)资助;广西研究生教育创新计划项目(2008105950812M424)资助
传统的模型检测技术无法描述系统的认知逻辑特性,而在分布式系统领域,系统和协议的规范适合用多智能体时态认知逻辑来描述.组合Web服务是典型的分布式系统.为了保证组合Web服务运行的正确性,把组合Web服务看成多智能体系统,将其建模成...
关键词：有界模型检测 时态认知逻辑 WEB服务 时间自动机 Verics 
一种执行代价较小的Web服务动态合成方法
《微电子学与计算机》2011年第2期166-170,共5页轩爱成 骆翔宇 沙宗鲁 董荣胜 
国家自然科学基金项目(60763004);中国博士后科学基金(20090450389);广西自然科学基金(0991242);广西青年科学基金(桂科青0728090);广西研究生教育创新计划项目(2008105950812M424)
在Web服务无回溯反向链动态框架基础上,提出一个较小执行代价的反向链动态合成方法.该算法根据用户的输入、输出和Web服务的执行代价,在合成过程中的每一步都找到执行代价最小的Web服务,从而动态生成一个执行代价较小的合成方案.该合成...
关键词：WEB服务合成 执行代价 反向链 产生式模型 
一种Web服务特征交互自动检测方法被引量：3
《计算机科学》2010年第12期106-109,119,共5页骆翔宇 谭征 董荣胜 
国家自然科学基金(60763004);中国博士后科学基金(20090450389);广西科学基金(桂科自0991242);广西青年科学基金(桂科青0728090);广西研究生教育创新计划项目(2008105950812M424)资助
模型检测技术可有效验证Web服务组合的异常情况,如特征交互问题等,但是目前验证过程的自动化程度比较低。为了提高验证的自动化程度,需要将BPEL转化为模型检测工具的输入语言。在分析BPEL语言控制流程的基础上,提出BPEL活动执行的形式...
关键词：模型检测 WEB服务组合 特征交互 BPEL 
基于时间自动机的Web服务模型检测被引量：7
《计算机科学》2010年第8期139-142,197,共5页骆翔宇 轩爱成 沙宗鲁 
国家自然科学基金(60763004);中国博士后科学基金(20090450389);广西青年科学基金(桂科青0728090);广西研究生教育创新计划项目(2008105950812M424)资助
传统的基于有限状态机的组合Web服务模型检测方法不能保证带有时间约束的组合Web服务的正确性。把组合Web服务看成多智能体系统,将带有时间约束的Web服务智能体建模为时间自动机,通过并发组合构成时间自动机网络,从而用时间自动机验证工...
关键词：模型检测 WEB服务 时间自动机 UPPAAL 
Web服务的形式化验证被引量：3
《计算机工程》2010年第5期257-259,共3页骆翔宇 陈艳 
国家自然科学基金资助项目(60763004);中国博士后科学基金资助项目(20090450389);广西青年科学基金资助项目(桂科青0728090)
将Web服务组合建模为多智能体系统,采用时态知识逻辑模型检测工具MCTK刻画贷款协议Web服务实例,并验证相关的时态知识规范。在同一实验环境下,采用另一种时态知识逻辑模型检测工具MCMAS进行建模,并验证该实例。实验结果表明,基于MCTK的...
关键词：模型检测 时态知识逻辑 多智能体系统 WEB服务 
一种求解认知难题的模型检测方法被引量：5
《计算机学报》2010年第3期406-414,共9页骆翔宇 苏开乐 顾明 
国家自然科学基金重点项目(90718039);国家"九七三"重点基础研究发展规划项目基金(2010CB328103);国家杰出青年科学基金(60725207);国家自然科学基金(60763004);广西青年科学基金(桂科青0728090);中国博士后科学基金(20090450389)资助
用公告逻辑建模并求解和与积认知难题.提出一种动态认知模型,将环境认知模型与公告导致的认知模型线性组合,从而在时态认知逻辑模型检测技术中扩展支持公告逻辑的建模与验证.该模型检测方法不仅可以用于搜索认知难题的所有解,而且可以...
关键词：模型检测 OBDD 公告逻辑 时态认知逻辑 和与积难题 
全球突发性传染病状况及变化趋势分析被引量：9
《中国卫生事业管理》2010年第3期209-213,共5页彭现美 
教育部人文社会科学研究项目(08JA840001)资助;中国博士后科学基金资助项目(20090450389)
在人类发展的历史上,突发性传染病一直是造成人类的主要灾难之一,其防治已成为全球公共卫生工作中的重点。了解过去一个多世纪的传染病发生、导致的死亡人数和对人们生活的影响的总体基本状况,以及在世界各地区的分布状况和变化趋势,为...
关键词：突发性传染病 发生次数 死亡人数 
突发性传染病影响分析
《中国初级卫生保健》2010年第1期74-77,共4页彭现美 
教育部人文社会科学研究项目(08JA840001)资助;中国博士后科学基金资助项目(20090450389)
在人类发展的历史上,突发性传染病一直是造成人类的主要灾难之一,其防治已成为全球公共卫生工作中的重点。了解过去一个多世纪的传染病发生、导致的死亡人数和对人们生活的影响的总体基本状况,以及在世界各地区的分布状况和变化趋势,为...
关键词：突发性传染病 发生次数 死亡人数 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部