搜索筛选:
搜索耗时2.3127秒,为你在为你在102,285,761篇论文里面共找到 16 篇相符的论文内容
发布年度:
[期刊论文] 作者：孙守卿,,
来源：电脑知识与技术 年份：2019
针对工程教育专业认证中关于“复杂工程问题”的培养要求,对计算机类专业的基础核心课程《离散数学》的教学模式、教学内容、考核形式等进行了相应的改革。通过改革,使得学生...
[期刊论文] 作者：孙守卿,
来源：电脑知识与技术:学术版 年份：2020
针对目前C语言程序设计公共课程中存在的专业相关性差、学生学习兴趣低、学生动手能力差等问题。以认知建构主义理论为指导,对公共课程《C语言程序设计》的教学模式以及实验...
[期刊论文] 作者：孙守卿,,
来源：中国新技术新产品 年份：2008
计算机脆弱性分析是指找出计算机系统的漏洞，以防危机计算机系统的安全。基于模型检验的分析方法不仅可以发现系统已智的漏洞．也可以发现系统未知的新的漏洞。在本篇文章中，我们......
[期刊论文] 作者：孙守卿,
来源：电脑知识与技术:学术交流 年份：2018
《编译原理》是计算机科学与技术专业的与计算机专业的主干课程,具有理论性强、内容抽象等特点。根据梅瑞尔首要教学原理,结合编译原理的课程内容以'解决问题'为核心...
[期刊论文] 作者：孙守卿,
来源：电脑知识与技术:学术版 年份：2019
针对工程教育专业认证中关于“复杂工程问题”的培养要求,对计算机类专业的基础核心课程《编译原理》的课程标准、教学内容及实验实践内容、教学模式、考核形式等进行了相应...
[期刊论文] 作者：孙守卿,
来源：电脑知识与技术 年份：2018
摘要：随着教育信息化的不断深入，“翻转课堂”作为一种新型的教学模式是当前高校教育改革中的热点。本文针对编译原理实验课程教学中存在的问题，将翻转课堂应用到编译原理课程的实验课中，探讨了翻转课堂在编译原理教学中的具体操作，并给出了教学案例。实践证明对于实......
[期刊论文] 作者：孙守卿,,
来源：电脑知识与技术 年份：2019
该文根据国家培养创新型人才培养要求,在创新型人才培养过程中,通过发挥学科特色优势,构建创新型物联网本科人才培养体系,探索培养创新型物联网本科人才的方法。...
[学位论文] 作者：孙守卿,
来源：兰州大学 年份：2006
随着Internet和分布式系统的广泛应用,安全协议逐渐发挥着越来越重要的作用。形式化的方法是分析安全协议的主要方法。目前已经有很多研究安全协议的理论和方法,其中比较著名...
[期刊论文] 作者：刘秋香,孙坤,孙守卿,
来源：科技视界 年份：2015
《.NET程序设计语言》是一门实践性和操作性很强的课程，传统的教学模式已经无法适应发展的需要。本文介绍了一种“案例引导、项目驱动”教学法，这种教学法的关键在于选择案例和......
[期刊论文] 作者：孙守卿,刘秋香,苏晶,,
来源：科技视界 年份：2017
《计算机科学》（Computer Science）课程是中外合作办学方向计算机科学专业的核心基础课程,其理论性强,内容抽象。本文从如何搞好课堂教学,针对中外合作办学生源的具体情况,在实...
[期刊论文] 作者：苏晶,张冬梅,孙守卿,
来源：科技创新导报 年份：2018
近年来,软件行业蓬勃发展,使得保证产品质量,提高用户满意度成为业界共同关注的首要任务。《软件测试》课程隶属于软件工程课程群,是软件质量保证的基础。在深入分析了目前高...
[期刊论文] 作者：孙守卿 鞠传香 刘晓红,
来源：电脑知识与技术 年份：2018
摘要：计算思维是当前教育界广为关注的一个重要概念。该文结合编译原理实验课程中的实验内容，以培养学生的计算思维为核心，从实验内容、实验过程及考核方式三方面，对编译原理的实验课程实施改革，从而提高学生运用形式化方法抽象问题、描述问题、解决复杂问题的能力。......
[会议论文] 作者：李彩虹,章超,李廉,孙守卿,
来源：2005年全国理论计算机科学学术年会 年份：2005
本文中通过对同步仲裁器硬件电路的PROMELA建模,井用SPIN来验证该PROMEI－A模型是否满足电路所需的性质,以使SPIN这一优秀的软件验证技术更广泛地用于硬件电路的辅助设计中....
[会议论文] 作者：孙守卿,李廉,章超,李彩虹,
来源：2005年全国理论计算机科学学术年会 年份：2005
SPIN是一个模拟有限状态并发系统的模型检测工具.本文详细介绍了SPIN的工作原理,并基于SPIN模型检测工具给出了一个简单的安全协议的形式化描述和分析....
[期刊论文] 作者：鞠传香,刘晓红,孙守卿,王海鹏,
来源：数字通信世界 年份：2015
本文探讨了目前国内高校编译原理实践课程的现状和ACM在线评测系统的功能,阐述了如何组织适于在线评测模式的编译原理实践教学内容,并给出了编译原理在线评测系统的设计方案,...
[会议论文] 作者：李彩虹,李廉,章超,孙守卿,吴孝军,陈波,
来源：2006年全国理论计算机科学学术年会 年份：2006
本文对硬件系统SystemCFL模型的SPIN验证进行了研究。文章围绕SPIN模型检测器及Promela语言、SystemCFL模型、硬件系统的SystemCFL模型转换成Promela模型等进行了论述。...
相关搜索：
