您的位置: 专家智库 > >

丁胜彬

作品数:4 被引量:5H指数:1
供职机构:福建农林大学计算机与信息学院更多>>
发文基金:国家自然科学基金福建省自然科学基金更多>>
相关领域:自动化与计算机技术理学农业科学更多>>

文献类型

  • 3篇期刊文章
  • 1篇科技成果

领域

  • 3篇自动化与计算...
  • 2篇理学
  • 1篇农业科学

主题

  • 1篇语义
  • 1篇语义分析
  • 1篇运输管理
  • 1篇运输管理系统
  • 1篇森林采伐
  • 1篇数学
  • 1篇数学教学
  • 1篇重用性
  • 1篇可视化
  • 1篇教学
  • 1篇工科
  • 1篇工科数学
  • 1篇工科数学教学
  • 1篇范畴语法
  • 1篇ABEL范畴
  • 1篇GUI
  • 1篇MATLAB
  • 1篇MATLAB...
  • 1篇采伐

机构

  • 4篇福建农林大学
  • 1篇福建师范大学
  • 1篇厦门大学

作者

  • 4篇丁胜彬
  • 1篇吴晓辉
  • 1篇罗沛滔
  • 1篇周术诚
  • 1篇游丽华
  • 1篇钟一文
  • 1篇张居文
  • 1篇陈清华
  • 1篇黄习培
  • 1篇景林
  • 1篇詹仕华
  • 1篇周振强

传媒

  • 1篇福建电脑
  • 1篇福建师大福清...
  • 1篇电脑知识与技...

年份

  • 1篇2012
  • 2篇2009
  • 1篇2003
4 条 记 录,以下是 1-4
排序方式:
范畴语法在自然语义分析中的应用被引量:3
2009年
介绍了范畴的基本定义,说明范畴论和传统集合论的区别,并结合实例,讨论了范畴语法在自然语义分析中的简单应用。
丁胜彬
关键词:范畴语法重用性
Abel范畴子对象的交与和被引量:1
2012年
在Abel范畴中定义子对象的和,并利用拉回与推出给出子对象交与和的等价定义,证明子对象的交与和满足结合律,以及Abel范畴上的模律与蝴蝶引理.
丁胜彬陈清华周振强
关键词:ABEL范畴
森林采伐运输管理系统的研究
景林钟一文游丽华罗沛滔张居文吴晓辉周术诚詹仕华黄习培丁胜彬
该研究首次实现用IC卡办理和存储木材运输证,有效防止伪造运输证,实现县、乡两级林木采伐证和木材运输证连网办理。系统采用通用IC卡读写器,存储加密型IC卡,系统软件采取B/S方式或C/S方式运行,既可以通过远程网络(宽带或...
关键词:
关键词:采伐
MATLAB GUI在工科数学教学中的应用被引量:1
2009年
介绍MATLAB GUI的功能和特点,阐述MATLAB GUI在工科数学教学中的应用,并结合实例,讨论了MATLAB GUI应用于工科数学的教学模式。
丁胜彬
关键词:MATLABGUI工科数学教学可视化
共1页<1>
聚类工具0