张长海
- 作品数：51 被引量：169H指数：10
- 供职机构：吉林大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术文化科学交通运输工程电子电信更多>>
- Pi演算与动态描述逻辑DDL的关系研究被引量：1
- 2008年
- 分析了Pi演算与动态描述逻辑DDL之间的关系:DDL分别从静态结构与动态结构两方面对Pi演算的若干过程定义进行描述,体现了过程的逻辑结构及过程间逻辑关系的变化;以一种基于Pi演算的过程模型为基础,分析了ALC描述逻辑、TBox和ABox的语义,并通过一个例子说明Pi演算对DDL动态知识的变化过程的描述.以上工作表明:DDL的可判定推理可解决基于Pi演算的动态系统的某些一致性检测问题,而Pi演算对动态系统的描述能力可解决DDL动态知识的变化过程的描述问题.
- 刘磊汪美玲高艳华张长海于哲舟
- 关键词：PI演算
- 以“程序设计”为主线、以“案例”为驱动的程序设计教学改革被引量：14
- 2008年
- 本文指出程序设计语言教学的关键是讲述程序设计的思想和方法，而不是拘泥于语言细节，并探讨了“高级语言程序设计”教学改革的思想和方法，介绍了我校的教学经验。
- 张长海陈娟
- 关键词：程序设计教学改革C语言
- 以数组为核心的高级语言程序设计教学方法
- 2005年
- 指出了数组在高级语言程序设计中的位置以及与其他数据类型和数据结构的关系,从而提出了以数组为核心的高级语言程序设计教学方法,并论述了该方法的教学思路。
- 王学成张长海齐明
- 关键词：数组程序设计教学方法
- 以“程序设计”为主线、以“案例”为驱动的程序设计教学改革
- 本文指出程序设计语言教学的关键是讲述程序设计的思想和方法，而不是拘泥于语言细节，并探讨了“高级语言程序设计”教学改革的思想和方法，介绍了我校的教学经验。
- 张长海陈娟
- 关键词：高等教育计算机专业程序设计课教学模式课程改革
- 文献传递
- 计算机控制实验教学内容改革初探
- 对计算机控制与应用实验教学内容、题目、实验仪器进行了重新设计、规划和实现。
- 曲学楼王富昕罗辉郭东伟张长海
- 文献传递
- 程序设计基础课教学实践探讨
- 以国家精品课、精品资源共享课程序设计基础为背景,介绍课程教学实践中总结的教学思想和方法,提出在教学思想上转变思维,并以程序设计为主引导学生入门,以实例导引程序设计概念,以案例驱动教学过程;在教学内容组织上分解难点,循序渐...
- 陈娟张长海
- 关键词：高等教育教学模式
- 文献传递
- 本体定义元模型及其在语义网中的应用研究
- 刘磊金英郭德贵付燕宁张长海杨冬张晶胡谦贾成宇金龙飞王泽生刘喆
- 1、简要技术说明1）理论研究模型驱动语义网（MDSW）是语义网研究的崭新领域，本体定义元模型（ODM）是该领域的核心。当前，国际组织OMG（对象管理组织）的ODM标准还没有制定完成，现有的ODM提案没有严格的形式化描述，...
- 关键词：
- 关键词：语义网
- 浅谈计算机硬件实验室的改革与管理被引量：11
- 2004年
- 传统的高校实验室管理体制已不适应当代计算机学科教育体系创新和发展,为了计算机科技人才培养和提高实验教学质量,对实验室进行了改革,对实验内容进行了重新设计。实验室管理实现了制度化、规范化和科学化。
- 曲学楼罗辉王富昕张长海曲明
- 关键词：计算机硬件教学实验室管理高校
- 程序设计课程与能力素质培养
- 本文探讨了程序设计课程教学方法、教学内容、实践环节与学生能力素质培养的关系.以及如何加强实践教学、培养学生学习兴趣的问题.
- 张长海张晓旭李荣胡亮
- 关键词：程序设计课程实践教学能力素质培养
- 文献传递
- 以PAD为工具讲授“程序设计”被引量：3
- 2005年
- 总结了目前程序设计教学中描述程序逻辑所采用的不同方式,分析了存在的不足,提出以“PAD”为工具描述程序逻辑的方法。
- 张长海陈娟
- 关键词：程序设计PAD程序逻辑
