李全德
- 作品数：4 被引量：4H指数：1
- 供职机构：宁夏大学数学计算机学院更多>>
- 发文基金：宁夏回族自治区自然科学基金上海市科学技术委员会科研基金教育部科学技术研究重点项目更多>>
- 相关领域：自动化与计算机技术文化科学语言文字更多>>
- 银川市污水资源处理工艺流程研究被引量：1
- 2009年
- 针对银川市社会经济发展的情况,基于Petri网的建模方法,建立了银川市污水处理工艺流程图,利用丰富的分析方法对其进行了有效的分析。
- 李全德丁志义
- 关键词：PETRI网工作流技术
- 递归程序设计原理被引量：2
- 2008年
- 递归是程序设计和描述算法的一种有力的工具,递归是在数值计算、程序设计、数据结构、人工智能及其它领域应用广泛。从递归的算法分析以及公式化方法,讨论了递归程序设计的一般思想。
- 丁志义李全德陈华领吴文贤
- 关键词：递归算法函数式语言
- 命令的指称语义在谓词域上的一种表示
- 2008年
- 文中讨论了谓词转换器和状态转换器之间的对应关系,将谓词转换器作为命令的指称,刻画了IMP语言命令的指称语义,并证明与状态转换器形式的指称语义是等价的。
- 丁志义李全德宋国新邵志清
- 关键词：指称语义
- 高校网络的有害信息分类及相应对策被引量：1
- 2007年
- 大量有危害性的信息伴随着高速发展的网络已经进入到高校,严重干扰和影响了大学生的身心健康,影响了学校的正常教学工作。本文首先以信息的内容为标准将有害信息分为三类,根据作者的实际工作经验提出了相应的技术及管理上的解决方法,以求净化校园,为学生创造一个良好的学习生活环境。
- 唐莉君李全德
- 关键词：信息管理信息过滤
