您的位置： 专家智库 > >

张瑞雪

作品数：2 被引量：2H指数：1
供职机构：哈尔滨金融学院计算机系更多>>
发文基金：黑龙江省高等教育学会“十二五”教育科学研究规划课题更多>>
相关领域：文化科学自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

  • 1篇自动化与计算...
  • 1篇文化科学

主题

  • 1篇等价
  • 1篇等价性检验
  • 1篇信息管理
  • 1篇信息管理专业
  • 1篇院校
  • 1篇时序逻辑
  • 1篇计算机
  • 1篇管理专业
  • 1篇本科
  • 1篇本科院校
  • 1篇BDD
  • 1篇财经类
  • 1篇财经类本科院...

机构

  • 2篇哈尔滨金融学...

作者

  • 2篇郝春梅
  • 2篇张瑞雪
  • 1篇吴波
  • 1篇王旭

传媒

  • 1篇中国电子商务
  • 1篇教育探索

年份

  • 1篇2013
  • 1篇2011
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
计算机形式验证方法研究综述
2011年
对形式验证方法进行了一综述和讨论，介绍了基于符号处理的形式推理方法，并详细讨论了时序电路、组合逻辑电路等价性的检验方法。
张瑞雪郝春梅王旭
关键词：时序逻辑等价性检验BDD
财经类本科院校信息管理专业专业建设构想被引量：2
2013年
目前财经类本科院校信息管理专业专业建设中存在着培养目标不明确、财经院校特色不明显、课程设置不合理及师资力量薄弱等方面的问题。办好财经类院校信息管理专业应突出财经院校特色,重新进行专业定位;应实现课程结构的优化;应重视实践教学,培养应用型人才;应进一步提高教师素质,同时重视教材建设。
郝春梅吴波张瑞雪
关键词：信息管理专业
全选 清除 导出
共1页<1>
聚类工具0