您的位置： 专家智库 > >

丁志义

作品数：25 被引量：28H指数：3
供职机构：宁夏大学信息工程学院更多>>
发文基金：国家自然科学基金宁夏回族自治区自然科学基金教育部科学技术研究重点项目更多>>
相关领域：自动化与计算机技术语言文字理学更多>>

合作作者

文献类型

  • 22篇期刊文章
  • 2篇学位论文
  • 1篇会议论文

领域

  • 22篇自动化与计算...
  • 2篇语言文字
  • 1篇理学

主题

  • 4篇程序设计
  • 3篇指称语义
  • 3篇西夏文
  • 3篇西夏文字
  • 2篇信息处理
  • 2篇字形
  • 2篇西夏字
  • 2篇面向对象
  • 2篇函数
  • 2篇函数式语言
  • 2篇汉字
  • 2篇泛型
  • 2篇泛型程序设计
  • 2篇操作语义
  • 1篇代码
  • 1篇递归
  • 1篇递归程序
  • 1篇递归算法
  • 1篇动点
  • 1篇动态服务器

机构

  • 19篇宁夏大学
  • 7篇华东理工大学
  • 1篇哈尔滨师范大...
  • 1篇中国科学院

作者

  • 25篇丁志义
  • 7篇马希荣
  • 5篇邵志清
  • 5篇宋国新
  • 3篇李全德
  • 3篇冯锋
  • 1篇吴庆涛
  • 1篇彭瑞峰
  • 1篇马丙鹏
  • 1篇陈纲
  • 1篇吴杰
  • 1篇高娟
  • 1篇张旭红
  • 1篇张哲
  • 1篇王科佳
  • 1篇王家伟
  • 1篇高蓉
  • 1篇苏敏
  • 1篇常玲玲
  • 1篇常虹

传媒

  • 6篇宁夏大学学报...
  • 5篇软件导刊
  • 2篇计算机科学
  • 1篇学术交流
  • 1篇电脑开发与应...
  • 1篇小型微型计算...
  • 1篇计算机仿真
  • 1篇固原师专学报
  • 1篇计算机工程与...
  • 1篇华东理工大学...
  • 1篇宁夏工程技术
  • 1篇教育技术导刊
  • 1篇全国计算机新...

年份

  • 1篇2017
  • 1篇2016
  • 4篇2014
  • 1篇2011
  • 1篇2010
  • 3篇2009
  • 2篇2008
  • 1篇2007
  • 3篇2006
  • 1篇2003
  • 2篇2000
  • 5篇1999
共 25 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
深度网络结构在行人检测任务中的性能对比被引量：6
2017年
为了探究不同的深度卷积神经网络在行人检测任务中的性能差异,基于Faster-R-CNN深度学习算法框架,在Caltech行人数据集上对VGG-Net(Visual Geometry Group Net)和Res-Net(Residual Net)的性能进行了比较。通过改变数据集、改变训练数据的数量、对比训练过程中各阶段的检测率,对两个网络的泛化能力、学习能力以及收敛速度进行了对比。实验结果表明,Res-Net相比于VGG-Net网络具有更快的收敛速度和更强的泛化能力;Res-Net的学习能力更强,随着训练数据的扩展,其性能提升更大。在行人检测任务中,Res-Net具有更好的性能。
常玲玲马丙鹏常虹丁志义
关键词：行人检测
递归程序设计原理被引量：2
2008年
递归是程序设计和描述算法的一种有力的工具,递归是在数值计算、程序设计、数据结构、人工智能及其它领域应用广泛。从递归的算法分析以及公式化方法,讨论了递归程序设计的一般思想。
丁志义李全德陈华领吴文贤
关键词：递归算法函数式语言
基于Pi-演算的移动自助服务系统缴费流程的建模与验证
2016年
在应用Pi-演算对移动自助服务系统的缴费流程建模时,采用自顶向下的方法,首先建立了顶层的缴费流程模型,然后将主要的活动逐层细化,最终得到移动自助服务系统缴费流程的完整模型,同时在Pi-演算专业仿真软件工具MWB中验证了该模型的正确性。
高娟丁志义
关键词：PI-演算
银川市污水资源处理工艺流程研究被引量：1
2009年
针对银川市社会经济发展的情况,基于Petri网的建模方法,建立了银川市污水处理工艺流程图,利用丰富的分析方法对其进行了有效的分析。
李全德丁志义
关键词：PETRI网工作流技术
DOS与Windows程序设计对比分析
2000年
较全面地分析和比较了DOS和Windows应用程序设计思想方法的差异 ,阐述了Windows的运行机制和编程特点 ,并讨论了程序驱动与运行模式、应用程序与操作系统的关系、用户界面及面向对象方法等问题 .
丁志义马希荣
关键词：DOSWINDOWS多任务程序设计面向对象
基于良序集方法的程序终止性证明
2009年
在介绍程序正确性的定义和良序集的概念基础上,对良序集证明程序终止性思路和步骤进行了分析,利用实例来证明程序的终止性。
彭瑞峰丁志义王家伟
关键词：程序终止性
广义归纳法对程序性质的证明能力探究
2014年
探讨广义归纳法对程序性质的证明能力,特别是良基关系的构造和恰当的选择对减少证明义务的作用,并通过实例加以证明。
王科佳高蓉丁志义
关键词：测试数据
基于类型理论的泛型程序设计问题研究
几十年来，软件重用一直是计算机软件科学重要的研究工作之一。从面向过程的结构化方法到面向对象方法都是在提高软件的重用程度，但迄今为止，并没有取得满意的结果。泛型程序设计(GP，Generic Programming)提出了...
丁志义
关键词：指称语义操作语义泛型程序设计组件
命令的指称语义在谓词域上的一种表示
2008年
文中讨论了谓词转换器和状态转换器之间的对应关系,将谓词转换器作为命令的指称,刻画了IMP语言命令的指称语义,并证明与状态转换器形式的指称语义是等价的。
丁志义李全德宋国新邵志清
关键词：指称语义
西夏字符集编码和字库构造方法
1999年
对西夏文字的基本特征进行了论述,分析论证了几种编码方案,给出了基本字库的生成方法和途径以及提高基础工作效率的措施。
丁志义马希荣
关键词：西夏文字字库字形文字信息处理
全选 清除 导出
共3页<123>
聚类工具0