广西壮族自治区自然科学基金(0728093)

作品数：3被引量：5H指数：2
导出分析报告
相关作者：贺祖斌林盟初张兰芳更多>>
相关机构：广西师范大学广西师范学院广西艺术学院广西广播电视大学更多>>
相关期刊：《Wuhan University Journal of Natural Sciences》更多>>
相关主题：高等教育生态承载力承载力广西高等教育系统生态更多>>
相关领域：文化科学自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
高等教育系统生态承载力调控模型研究被引量：3
《广西师范学院学报（哲学社会科学版）》2012年第4期60-65,共6页贺祖斌 林盟初 
广西自然科学基金资助项目<广西高等教育生态系统管理模型及其干预机制研究>(桂科自0728093)
生态承载力大小是衡量一个生态系统稳定性高低的标尺。高等教育系统是一个生态系统,和一般生态系统一样,高等教育系统也具有生态承载力,本文根据高等教育系统的特点构建高等教育系统生态承载力调控模型,为高等教育可持续发展提供新的参...
关键词：高等教育 生态承载力 调控模型 
广西高等教育系统生态承载力调控模型及其应用被引量：5
《广西师范学院学报（哲学社会科学版）》2010年第4期71-77,共7页张兰芳 林盟初 贺祖斌 
广西自然科学基金资助项目<广西高等教育生态系统管理模型及其干预机制研究>(桂科自0728093)
将广西高等教育系统视为一个生态系统,运用高等教育系统生态承载力调控模型对广西高等教育系统目前的生态承载力状况进行测算,从生态承载力的视角审视目前广西高等教育状况,并提出相关对策,为广西高等教育可持续发展提供参考依据。
关键词：高等教育 生态承载力 调控 
Abstract Model Checking for Web Services
《Wuhan University Journal of Natural Sciences》2008年第4期466-470,共5页QIAN Junyan CAI Guoyong GU Tianlong ZHAO Lingzhong 
the National Natural Science Foundation of China (60663005, 60563005);the Natural Science Foundation of Guangxi Province (0542036, 0728093, 0728089)
Web-services are highly distributed programs, and concurrent software is notoriously error-prone. Model checking is a powerful technique to find bugs in concurrent systems. However, the existing model checkers have no...
关键词：Web-services model checking predicate abstraction hypertext preprocessor 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部