您的位置： 专家智库 > >

国家自然科学基金(69903004)

作品数：4 被引量：8H指数：3
相关作者：邵志清宋国新张欢欢周成玉更多>>
相关机构：华东理工大学更多>>
发文基金：国家自然科学基金教育部科学技术研究重点项目教育部“优秀青年教师资助计划”更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 4篇中文期刊文章

领域

  • 4篇自动化与计算...

主题

  • 2篇C++语言
  • 2篇程序设计
  • 1篇电路
  • 1篇硬件
  • 1篇硬件电路
  • 1篇设计技术
  • 1篇数据结构
  • 1篇数据模型
  • 1篇重写
  • 1篇逻辑
  • 1篇逻辑功能
  • 1篇门电路
  • 1篇面向对象
  • 1篇模板库
  • 1篇加法器
  • 1篇STL
  • 1篇C++
  • 1篇标准模板库
  • 1篇程序设计技术
  • 1篇GENERI...

机构

  • 4篇华东理工大学

作者

  • 4篇邵志清
  • 3篇宋国新
  • 2篇周成玉
  • 2篇张欢欢

传媒

  • 2篇华东理工大学...
  • 1篇电子学报
  • 1篇计算机工程

年份

  • 2篇2003
  • 1篇2002
  • 1篇2001
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
基于重写归纳技术的串行加法器的描述和验证被引量：3
2003年
在用重写系统描述逻辑位、门电路、位串和自然数的基础上,对半加器、全加器和串行加法器等基本硬件电路的逻辑功能进行了刻画,并用基于重写归纳的推理技术证明了所有描述的正确性,为用重写技术正确描述和验证复杂硬件电路奠定了基础。最后给出与其他类似工作的分析和比较。
张欢欢邵志清宋国新
关键词：硬件电路门电路逻辑功能
C++对Generic程序设计技术的支持被引量：1
2001年
介绍了 generic程序设计技术 ,探讨了 generic程序设计在 C+ +中的应用 ,说明了 C+ +标准模板库的组成 。
周成玉邵志清
关键词：标准模板库C++语言面向对象
STL中Generic算法的扩展被引量：4
2002年
Generic程序设计是实现软件重用的重要方法之一。文章介绍了generic程序设计与C++标准模板库（STL），探讨了STL中generic算法的扩展方法。
周成玉邵志清宋国新
关键词：STL程序设计数据模型数据结构C++语言
基于幂表的并行加法器的归纳验证被引量：3
2003年
介绍了基于幂表和重写规则的并行加法器的功能描述 ,直接使用重写归纳证明技术验证了这些描述的正确性 ,为重写技术用于描述和验证更加复杂的硬件电路奠定了基础 .
张欢欢邵志清宋国新
关键词：重写加法器
全选 清除 导出
共1页<1>
聚类工具0