高博
- 作品数：6 被引量：2H指数：1
- 供职机构：内蒙古财经学院计算机信息管理学院更多>>
- 相关领域：自动化与计算机技术文化科学经济管理更多>>
- 高校教学评估数据中心的设计
- 2009年
- 随着高校数字化建设的深入,数据"孤岛"的问题不断显现出来。各部门在采购应用系统时,只考虑本单位的工作,而没有考虑数据交换和共享的问题,这就导致数据缺乏统一的标准,数据大量重复、很难互用。通过建立教学评估数据中心统一各个系统中的基础数据,提供集中的数据交换平台,实现系统间的数据共享。本文着重介绍了教学评估数据中心的设计工作。
- 高博
- 关键词：数字化校园数据孤岛数据中心数据标准
- 改进《C++语言程序设计》教学方法的实践与思考
- 2008年
- 《C++语言程序设计》是计算机专业的专业基础课。它既是重点课程又是难点课程。现阶段在教学中面临着诸多问题,加强这门课程的建设就必须根据课程的特点来进行。作者根据自己的教学实践提出了改进教学方法、加强本课程建设的思考。
- 高博张利军
- 关键词：C++语言程序设计课程建设
- 基于一种循环不变式构造方案的程序验证
- 大部分程序都要用到循环结构，如何有效地保证循环程序的正确性是程序正确性验证领域中重要的问题。目前针对循环程序的正确性验证存在着很多方案。其中，在程序中加入断言和不变式的证明方法是最为精确的一种。此方法通过数学上的证明对循...
- 张岚高博
- 关键词：循环不变式
- 基于SET规范的网上交易模型被引量：1
- 2010年
- 文章基于SET规范建立了一个可信的网上交易模型,为此类问题的解决提出了可行的解决方案,并对模型的安全性进行了分析。
- 高博高阳
- 关键词：网上交易SET数字签名ECC可证明安全
- 大学教学评估数据中心的设计与实现
- 近年来,我国教育信息化建设步伐加快,教育信息化水平不断提高。一方面,教育管理信息化建设的范围不断扩大,已涵盖各级各类学校;另一方面,教育信息化的领域不断延伸,已覆盖了人事、学生、科研、办公、仪器仪表、图书馆以及教育行政管...
- 高博
- 关键词：教学评估数据中心
- 文献传递
- 基于一种循环不变式构造方案的程序验证
- 大部分程序都要用到循环结构,如何有效地保证循环程序的正确性是程序正确性验证领域中重要的问题。目前针对循环程序的正确性验证存在着很多方案。其中,在程序中加入断言和不变式的证明方法是最为精确的一种。此方法通过数学上的证明对循...
- 张岚高博
- 关键词：循环不变式
