陈丽
- 作品数：6 被引量：5H指数：2
- 供职机构：哈尔滨师范大学恒星学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学电子电信更多>>
- 计算机实践课“阶段”教学法的探讨被引量：2
- 2008年
- 计算机实践教学是计算机理论教学的延伸,是培养学生实践能力和创新能力的不可缺少的重要的教学环节,对计算机教学的成败起着举足轻重的作用。本文探讨通过分阶段进行计算机实践教学提高实践教学的教学效果。
- 陈丽高炜
- 关键词：计算机实践教学
- 基于分组的启发式SAT新算法——DC&DS算法被引量：1
- 2008年
- 目前提高求解SAT问题完全算法的计算效率问题已成为挑战性研究问题。提出了一种基于启发式分组的SAT完备算法。启发式分组策略将一个全局搜索问题,转为局部搜索问题。并将该策略引入到结合BDD与SAT算法的形式验证中,与一般的启发式SAT算法相比,该算法在求解速度和求解问题的规模等方面都明显地改进了,实验结果表明了该算法的可行性和有效性。
- 陈丽张必英
- 关键词：等价性验证布尔可满足性
- 形式验证方法综述
- 2008年
- 形式化方法是计算机系统设计验证的一条有效途径。形式验证(for-mal verification)作为传统基于模拟的验证方法的补充,成为VLSI(Very Large Scale Integration)设计验证的一种非常有希望的方法,从而引起人(
- 陈丽高巍巍
- 关键词：计算机系统设计形式化方法有限状态机时态逻辑CHECKINGV
- 改进高校计算机实践教学方法的探讨
- 根据《中华人民共和国高等教育法》总则的精神,高等教育的任务是培养具有创新能力和实践能力的高级专门人才,这表明了高等教育不仅要传授学生基础理论和专业知识,还要培养学生的实践能力。计算机课已经同数学和外语一样,
- 陈丽
- 文献传递
- 汇编语言教学中的实践教学探索被引量：2
- 2008年
- "汇编语言"是计算机专业的一门核心课程,由于"汇编语言"与计算机硬件密切相关,且概念多、思维抽象,需记忆的知识量较大,学生普遍反映这门课程不好学,难度大.因此提高"汇编语言"课程的教学效果是授课教师必须探索的课题.本文首先分析目前汇编语言课程教学中存在的问题,然后根据汇编语言的特点,以及学生接受新知识的特点及过程,在教学中尝试着以实践教学为主的教学改革,取得了较好的效果.
- 高炜陈丽
- 关键词：汇编语言实践教学计算机专业教学改革
