宁夏回族自治区自然科学基金(NZ0725)
- 作品数：6 被引量：20H指数：2
- 相关作者：丁志义李全德魏立力赵亚娣王彩娟更多>>
- 相关机构：宁夏大学华东理工大学更多>>
- 发文基金：宁夏回族自治区自然科学基金国家自然科学基金上海市科学技术委员会科研基金更多>>
- 相关领域：自动化与计算机技术环境科学与工程语言文字更多>>
- 递归程序设计原理被引量：2
- 2008年
- 递归是程序设计和描述算法的一种有力的工具,递归是在数值计算、程序设计、数据结构、人工智能及其它领域应用广泛。从递归的算法分析以及公式化方法,讨论了递归程序设计的一般思想。
- 丁志义李全德陈华领吴文贤
- 关键词：递归算法函数式语言
- 银川市污水资源处理工艺流程研究被引量：1
- 2009年
- 针对银川市社会经济发展的情况,基于Petri网的建模方法,建立了银川市污水处理工艺流程图,利用丰富的分析方法对其进行了有效的分析。
- 李全德丁志义
- 关键词：PETRI网工作流技术
- 银川市城市生态服务功能价值的变化分析被引量：4
- 2009年
- 生态系统服务价值的研究是目前生态学研究的热点之一。本文基于生态系统服务功能价值理论,根据银川市土地利用变化的情况,定量估算了其土地生态系统为人类提供服务的经济价值。结果表明,1996—2006年银川市生态系统服务价值变化的总态势是先增后减,生态系统服务功能在城市化过程中受到较大的影响。
- 张晓晨朱志玲王彩娟胡燕琴
- 关键词：土地利用生态系统服务价值
- 命令的指称语义在谓词域上的一种表示
- 2008年
- 文中讨论了谓词转换器和状态转换器之间的对应关系,将谓词转换器作为命令的指称,刻画了IMP语言命令的指称语义,并证明与状态转换器形式的指称语义是等价的。
- 丁志义李全德宋国新邵志清
- 关键词：指称语义
- 程序正确性证明方法研究
- 2009年
- 介绍了R.W.Floyd的证明程序部分正确性的归纳断言法和证明程序终止性的良序集法,以及Hoare公理系统。
- 苏敏丁志义
- 基于变精度粗糙集的不完备信息系统知识约简被引量：13
- 2009年
- 基于变精度的思想,提出了一种新的不完备信息系统变精度粗糙集模型。基于该模型给出了不完备信息系统的β上(下)分布约简和β上(下)近似约简。给出了求解不完备信息系统β上(下)分布约简的辨识矩阵方法。
- 赵亚娣魏立力
- 关键词：不完备信息系统变精度粗糙集知识约简
