宁夏回族自治区自然科学基金(NZ0725)

作品数：6被引量：20H指数：2
导出分析报告
相关作者：丁志义李全德魏立力赵亚娣王彩娟更多>>
相关机构：宁夏大学华东理工大学更多>>
相关期刊：《干旱环境监测》《软件导刊》《计算机工程与应用》《教育技术导刊》更多>>
相关主题：不完备信息系统变精度粗糙集知识约简城市生态服务功能价值更多>>
相关领域：自动化与计算机技术环境科学与工程语言文字更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于变精度粗糙集的不完备信息系统知识约简被引量：13
《计算机工程与应用》2009年第13期65-67,共3页赵亚娣 魏立力 
国家自然科学基金No.60663003;宁夏自然科学基金项目(No.NZ0725)~~
基于变精度的思想,提出了一种新的不完备信息系统变精度粗糙集模型。基于该模型给出了不完备信息系统的β上(下)分布约简和β上(下)近似约简。给出了求解不完备信息系统β上(下)分布约简的辨识矩阵方法。
关键词：不完备信息系统 变精度粗糙集 知识约简 
银川市污水资源处理工艺流程研究被引量：1
《软件导刊》2009年第4期100-102,共3页李全德 丁志义 
宁夏自然科学基金项目(NZ0725);2008年宁夏大学大学生科技创新项目
针对银川市社会经济发展的情况,基于Petri网的建模方法,建立了银川市污水处理工艺流程图,利用丰富的分析方法对其进行了有效的分析。
关键词：PETRI网 工作流技术 工艺流程 
银川市城市生态服务功能价值的变化分析被引量：4
《干旱环境监测》2009年第1期41-45,共5页张晓晨 朱志玲 王彩娟 胡燕琴 
宁夏自然基金项目(NZ0725)
生态系统服务价值的研究是目前生态学研究的热点之一。本文基于生态系统服务功能价值理论,根据银川市土地利用变化的情况,定量估算了其土地生态系统为人类提供服务的经济价值。结果表明,1996—2006年银川市生态系统服务价值变化的总态...
关键词：土地利用 生态系统服务价值 银川市 
程序正确性证明方法研究
《软件导刊》2009年第2期24-27,共4页苏敏 丁志义 
宁夏自然科学基金项目(NZ0725)
介绍了R.W.Floyd的证明程序部分正确性的归纳断言法和证明程序终止性的良序集法,以及Hoare公理系统。
关键词：良序集 Hoare公理系统 
命令的指称语义在谓词域上的一种表示
《计算机科学》2008年第7期157-160,共4页丁志义 李全德 宋国新 邵志清 
国家自然科学基金资助项目(60373075);教育部科学技术研究重点基金资助项目(01077);中科院计算机科学重点实验室基金资助项目(SYSKF0305);上海市科学技术委员会科研计划项目资助(045115006);宁夏自然科学基金项目(NZ0725)
文中讨论了谓词转换器和状态转换器之间的对应关系,将谓词转换器作为命令的指称,刻画了IMP语言命令的指称语义,并证明与状态转换器形式的指称语义是等价的。
关键词：谓词转换器 状态转换器 指称语义 
递归程序设计原理被引量：2
《教育技术导刊》2008年第1期14-15,共2页丁志义 李全德 陈华领 吴文贤 
宁夏自然科学基金项目(NZ0725)
递归是程序设计和描述算法的一种有力的工具,递归是在数值计算、程序设计、数据结构、人工智能及其它领域应用广泛。从递归的算法分析以及公式化方法,讨论了递归程序设计的一般思想。
关键词：递归算法 可计算性函数 函数式语言 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部