“O2O教学模式”在大学计算机专业教学中的应用原则 被引量：34

1

作者 井靖 何红旗 +1 位作者 王志刚 殷冠英 《计算机教育》 2016年第2期85-89,共5页

MOOC、SPOC等线上教学模式的出现,给线下传统的课堂教学模式带来了巨大的挑战。O2O教学模式是一种融合线上教学和线下教学优点的新型教学模式,文章从O2O教学模式的概念入手,分析O2O教学模式的特点,阐述在进行O2O教学模式改革过程中需要... MOOC、SPOC等线上教学模式的出现,给线下传统的课堂教学模式带来了巨大的挑战。O2O教学模式是一种融合线上教学和线下教学优点的新型教学模式,文章从O2O教学模式的概念入手,分析O2O教学模式的特点,阐述在进行O2O教学模式改革过程中需要遵循的"ROAS"原则,并以微机原理与应用课程为例,详细阐述在计算机专业教学活动中进行O2O教学模式改革的具体措施。 展开更多

关键词 线上到线下 线上教学 线下教学 原则 混合式

下载PDF 职称材料

以学生为主体的闭环教学模式探索与实践 被引量：7

2

作者 王瑞敏 戚旭衍 +1 位作者 井靖 王震宇 《中国电子教育》 2015年第3期12-17,共6页

本文围绕学生为主体,提出"闭环"教学模式,从教学资源、课程内容、教学方法、学生兴趣、实践教学、教学考核、教学评价等多方面探索教学改革新思路。通过四届学生学习计算机组成原理课程的反馈调查,表明该教学模式可以有效提... 本文围绕学生为主体,提出"闭环"教学模式,从教学资源、课程内容、教学方法、学生兴趣、实践教学、教学考核、教学评价等多方面探索教学改革新思路。通过四届学生学习计算机组成原理课程的反馈调查,表明该教学模式可以有效提高学生的学习兴趣和综合素质。 展开更多

关键词 闭环教学 教学资源立体化 学习兴趣 过程性考核 多元化评价

原文传递

“新工科”背景下微机原理课程的困境思考与改革对策 被引量：7

3

作者 刘威 尹青 井靖 《计算机教育》 2019年第2期86-90,共5页

在对当前微机原理课程教学所面临的困境进行剖析总结的基础上,瞄准系统能力培养目标,参照"新工科"建设行动路线,分别从培养定位、知识体系、教学方法和创新实践4方面设计提出有针对性的改革方案。

关键词 新工科 培养定位 知识体系 教学方法 创新实践

下载PDF 职称材料

IoT安全课程的“实战化”教材建设

4

作者 王奕森 娄睿 +1 位作者 井靖 段坷 《计算机教育》 2024年第1期209-214,共6页

针对当前网络空间安全教学内容正向多逆向少、理论多实践少、案例旧复现难的现状,以IoT安全课程教材建设为例,提出采用理论知识加实践指导、传统纸质加视频教程、实践操作加硬件在环的方式打造新型立体化教材,以覆盖IoT安全中的固件安... 针对当前网络空间安全教学内容正向多逆向少、理论多实践少、案例旧复现难的现状,以IoT安全课程教材建设为例,提出采用理论知识加实践指导、传统纸质加视频教程、实践操作加硬件在环的方式打造新型立体化教材,以覆盖IoT安全中的固件安全、硬件安全以及无线电安全等全链条知识,并阐述物联网安全“实战化”教材规划和建设内容。 展开更多

关键词 实战化 立体化教材 IoT安全 硬件在环

下载PDF 职称材料

嵌入式固件模糊测试研究综述

5

作者 计江安 井靖 +2 位作者 王奕森 董卫宇 孙浩楠 《小型微型计算机系统》 CSCD 北大核心 2024年第5期1173-1180,共8页

由于设备固件更新速度慢、安全防护弱等问题,导致嵌入式设备给国防军事、社会生活带来便利的同时也引入了大量安全风险.因此,快速找出并修复固件中的安全问题变得至关重要.模糊测试是一种高效识别软件缺陷的测试方法,本文针对此方法展... 由于设备固件更新速度慢、安全防护弱等问题,导致嵌入式设备给国防军事、社会生活带来便利的同时也引入了大量安全风险.因此,快速找出并修复固件中的安全问题变得至关重要.模糊测试是一种高效识别软件缺陷的测试方法,本文针对此方法展开研究.首先介绍了嵌入式系统及其固件的概念,概括了嵌入式系统的模糊测试流程.其次,分析了嵌入式固件模糊测试技术所面临的挑战以及相应的解决方法;然后,深入研究了基于仿真和基于接口的两种模糊测试技术,从一些先进的模糊测试器中分析当前嵌入式固件模糊测试发展现状;最后,总结了当前固件模糊测试技术存在的不足并提出下一步的研究方向. 展开更多

关键词 嵌入式系统 固件 固件仿真 模糊测试中

下载PDF 职称材料

嵌入式系统安全中的“对抗式”综合实践探索 被引量：1

6

作者 王奕森 井靖 +1 位作者 魏强 尹中旭 《计算机教育》 2023年第7期133-137,144,共6页

针对嵌入式系统安全类课程授课模式单一、学生思维受限、难以接触一线、缺乏“正向设计+逆向分析”综合能力培养的问题,提出一种“对抗式”综合实践方法,以嵌入式系统综合演练课程为例,介绍该方法的具体实施过程,最后对该方法的考核标... 针对嵌入式系统安全类课程授课模式单一、学生思维受限、难以接触一线、缺乏“正向设计+逆向分析”综合能力培养的问题,提出一种“对抗式”综合实践方法,以嵌入式系统综合演练课程为例,介绍该方法的具体实施过程,最后对该方法的考核标准及效果进行分析并给出后续建议。 展开更多

关键词 对抗式 实战化教学 嵌入式系统安全 实践类课程 攻防实战

下载PDF 职称材料

基于Tamarin的MQTT协议安全性分析方法 被引量：2

7

作者 郑红兵 王焕伟 +2 位作者 赵琪 董姝岐 井靖 《计算机应用研究》 CSCD 北大核心 2023年第10期3132-3137,3143,共7页

MQTT是物联网中被广泛应用的消息传输协议,其安全性问题备受关注。当前MQTT协议安全性分析主要面向协议实现平台,缺少面向协议标准的安全性测试,导致协议标准本身存在的安全缺陷难以发现。针对该问题,采用协议形式化分析技术,提出了一... MQTT是物联网中被广泛应用的消息传输协议,其安全性问题备受关注。当前MQTT协议安全性分析主要面向协议实现平台,缺少面向协议标准的安全性测试,导致协议标准本身存在的安全缺陷难以发现。针对该问题,采用协议形式化分析技术,提出了一种基于Tamarin的MQTT协议安全性分析方法。该方法首先面向MQTT协议3.1.1标准,构建了协议状态机,并依据Tamarin语法规则,完成了形式化描述;然后针对保密属性和认证属性,给出了MQTT协议需要满足的安全属性引理描述;最后,基于Dolev-Yao威胁模型在Tamarin中完成了对47种协议安全属性的验证。结果显示有9种保密属性违反和29种认证属性违反,对结果进行攻击测试,验证了该方法对MQTT协议安全性分析的有效性,并提出了一种基于身份重认证的优化改进方案。 展开更多

关键词 MQTT协议 保密属性 认证属性 形式化分析 TAMARIN

下载PDF 职称材料

“三步走”的计算机专业实践教学方法 被引量：3

8

作者 王炜 井靖 焦建华 《计算机教育》 2015年第6期108-110,共3页

提升计算机实践教学的质量对于培养和造就高水平计算机科学与技术专业人才具有重要意义。文章结合多年教学实践,探讨计算机实践教学中容易出现的现象和问题,提出"引入门、扶上马、撒开手"的"三步走"计算机专业实践... 提升计算机实践教学的质量对于培养和造就高水平计算机科学与技术专业人才具有重要意义。文章结合多年教学实践,探讨计算机实践教学中容易出现的现象和问题,提出"引入门、扶上马、撒开手"的"三步走"计算机专业实践教学方法,并介绍一些具体措施。 展开更多

关键词 实践教学 教学方法 本科生教育 三步走

下载PDF 职称材料

学龄前儿童血清中微量元素测定的方法学评价及临床应用 被引量：2

9

作者 杨平 井靖 +1 位作者 何萍 江艳 《职业与健康》 CAS 2010年第14期1582-1584,共3页

目的建立一套可靠的微量元素测定方法 ,并对在四川省科学城医院进行体检的360名学龄前儿童血清中微量元素水平进行分析。方法利用火焰原子吸收分光光度计对学龄前儿童血清中铜(Cu)、铁(Fe)、锌(Zn)含量进行测定,并做统计学分析。结果铜... 目的建立一套可靠的微量元素测定方法 ,并对在四川省科学城医院进行体检的360名学龄前儿童血清中微量元素水平进行分析。方法利用火焰原子吸收分光光度计对学龄前儿童血清中铜(Cu)、铁(Fe)、锌(Zn)含量进行测定,并做统计学分析。结果铜、铁、锌在各年龄组之间差异无统计学意义(均P>0.05);铁在3岁后有所下降;铜、铁、锌总异常率分别为1.94%、3.33%和5.00%。结论该地区儿童3种元素异常率明显低于某些报道,但锌含量过高的情况较突出,应注意其微量元素补充的平衡性,合理服用口服制剂;注意培养儿童良好的饮食习惯。 展开更多

关键词 学龄前儿童 血清 火焰原子吸收分光光度计 微量元素

原文传递

军校本科学员计算机课程学习兴趣的培养 被引量：2

10

作者 井靖 张有为 王志刚 《计算机工程与科学》 CSCD 北大核心 2014年第A01期10-13,共4页

立足当前军校本科学员对计算机类课程学习缺乏兴趣和动力的教学现状,对教学理论中兴趣产生的一般规律进行了分析和研究。在遵循现代教学原则的基础上,针对如何培养学生的学习兴趣及动力,对计算机课程的课堂教学组织形式提出了一些建议... 立足当前军校本科学员对计算机类课程学习缺乏兴趣和动力的教学现状,对教学理论中兴趣产生的一般规律进行了分析和研究。在遵循现代教学原则的基础上,针对如何培养学生的学习兴趣及动力,对计算机课程的课堂教学组织形式提出了一些建议和想法,并给出了过程化考核机制的具体实施办法。 展开更多

关键词 兴趣 规律 教学原则 计算机课程

下载PDF 职称材料

竞赛牵引下的嵌入式系统教学改革 被引量：2

11

作者 唐永鹤 何红旗 +1 位作者 王瑞敏 井靖 《软件导刊》 2019年第2期216-218,221,共4页

在分析嵌入式系统课程教学特点的基础上,针对当前嵌入式系统教学中系统性不强、实践安排不合理等问题,提出一种竞赛牵引下的嵌入式系统教学改革方法。该方法立足于嵌入式系统基础知识,在大学生竞赛相关要求的牵引下,从激发学生学习兴趣... 在分析嵌入式系统课程教学特点的基础上,针对当前嵌入式系统教学中系统性不强、实践安排不合理等问题,提出一种竞赛牵引下的嵌入式系统教学改革方法。该方法立足于嵌入式系统基础知识,在大学生竞赛相关要求的牵引下,从激发学生学习兴趣、锻炼学生综合能力、培养学生系统观与创新思维着手进行改革,辅以贯穿教学全程的过程性考核方式。教学实践表明,该方法教学效果良好,能够有效提高学生综合素质和创新意识。 展开更多

关键词 嵌入式系统 教学改革 综合能力 过程性考核

下载PDF 职称材料

《软件逆向分析》课程中任务驱动式教学模式研究 被引量：1

12

作者 刘铁铭 井靖 +2 位作者 朱晓青 张有为 司彬彬 《中国电子教育》 2015年第3期36-40,共5页

《软件逆向分析》是重点培养学员逆向思维和软件逆向分析能力的一门课程。课程教学采用以教员为中心的传统教学模式已不能满足新的人才培养目标要求,需要从根本上进行改变。以此为出发点,课程组把任务驱动式教学模式引入教学实施各环节... 《软件逆向分析》是重点培养学员逆向思维和软件逆向分析能力的一门课程。课程教学采用以教员为中心的传统教学模式已不能满足新的人才培养目标要求,需要从根本上进行改变。以此为出发点,课程组把任务驱动式教学模式引入教学实施各环节,试图构建一种新的以教员为主导、学员为主体的教学模式。本文正是基于这种教学实践,总结课程组近年来在教学实施过程中的一些具体做法,重点介绍了本课程任务驱动式教学的模式构建、任务设计和实施步骤。 展开更多

关键词 软件逆向 任务驱动 教学模式

原文传递

基于平台透明化处理的动态信息提取方法 被引量：1

13

作者 井靖 蒋烈辉 +2 位作者 李轶民 刘铁铭 张有为 《计算机应用研究》 CSCD 北大核心 2015年第10期3009-3013,3021,共6页

由于没有具体的运行环境，面向嵌入式软件的逆向解析缺少有效的动态信息提取方法。针对这种情况，基于硬件平台和系统平台的透明化处理，设计了基于QEMU中间代码扩展的插桩，定义了基于中间代码层的多粒度插桩接口及回调函数，实现了平... 由于没有具体的运行环境，面向嵌入式软件的逆向解析缺少有效的动态信息提取方法。针对这种情况，基于硬件平台和系统平台的透明化处理，设计了基于QEMU中间代码扩展的插桩，定义了基于中间代码层的多粒度插桩接口及回调函数，实现了平台无关的多粒度抽象状态提取和系统无关的内存数据读取，并通过系统语义自省机制实现了系统语义视图的提取。测试结果表明，基本块级和函数级提取信息的速度比语句级快10～20倍，占用的空间少10—30倍。本方法在时间性能方面与DECAF等类似系统相比具有明显优势，能够有效提高面向嵌入式软件逆向分析工作的效率。 展开更多

关键词 动态信息提取 透明化处理 抽象状态 内存数据读取 系统属性描述 语义视图

下载PDF 职称材料

《计算机网络》课程任务驱动教学模式研究 被引量：1

14

作者 张有为 刘铁铭 +2 位作者 井靖 朱晓青 曾韵 《中国电子教育》 2015年第4期23-27,共5页

文章从我校非计算机专业的《计算机网络》课程教学现状与困难出发,探讨了"任务驱动"教学模式的内涵,给出了适应此教学模式的20个教学"项目任务",并针对"办公室局域网组建"这一任务进行了详细的教学过程设... 文章从我校非计算机专业的《计算机网络》课程教学现状与困难出发,探讨了"任务驱动"教学模式的内涵,给出了适应此教学模式的20个教学"项目任务",并针对"办公室局域网组建"这一任务进行了详细的教学过程设计,最后对其教学效果进行了简单分析。 展开更多

关键词 计算机网络 任务驱动 教学模式 层次化

原文传递

《数据库原理与应用》课程教学改革几点做法 被引量：1

15

作者 朱晓青 刘铁铭 +2 位作者 井靖 司彬彬 曾韵 《中国电子教育》 2015年第4期28-32,共5页

数据库原理与应用是培养测绘专业学员掌握数据库理论,形成数据库开发应用能力的一门重要基础课程,对提高学员从事软件开发和工程实践应用,尽快融入到测绘科学研究和科研生产中起着重要作用。本文从近年来实际教学出发,分析了我校该专业... 数据库原理与应用是培养测绘专业学员掌握数据库理论,形成数据库开发应用能力的一门重要基础课程,对提高学员从事软件开发和工程实践应用,尽快融入到测绘科学研究和科研生产中起着重要作用。本文从近年来实际教学出发,分析了我校该专业数据库原理与应用课程教学现状,提出了相应的改革思路,探索了几点教学改革做法。 展开更多

关键词 数据库 教学改革 任务驱动

原文传递

嵌入式软件逆向分析中的动静态分析交互机制 被引量：1

16

作者 井靖 何红旗 +2 位作者 司彬彬 朱晓青 刘春玲 《信息工程大学学报》 2015年第5期613-618,共6页

由于动静态分析相结合的软件逆向分析方法缺乏规范的交互模式,软件逆向分析工作的效率低下,可复用性不强。基于嵌入式软件动静态分析流程,提出了由静至动(STD)、由动至静(DTS)以及动静结合(SDM)的3种动静态分析交互机制,详细给出了3种... 由于动静态分析相结合的软件逆向分析方法缺乏规范的交互模式,软件逆向分析工作的效率低下,可复用性不强。基于嵌入式软件动静态分析流程,提出了由静至动(STD)、由动至静(DTS)以及动静结合(SDM)的3种动静态分析交互机制,详细给出了3种交互机制的实现方法。测试结果表明,STD、DTS和SDM交互机制适用于静态分析结果中异常结点的修正,动态提取信息的优化以及隐藏代码的识别等,能大幅提高嵌入式软件逆向分析工作的效率。 展开更多

关键词 软件逆向分析 静态分析 动态分析 动静结合 交互机制

下载PDF 职称材料

微课翻转课堂在一维数组中的应用探究 被引量：1

17

作者 刘春玲 刘铁铭 +2 位作者 朱晓青 井靖 司彬彬 《计算机工程与科学》 CSCD 北大核心 2016年第A01期85-89,共5页

针对我校《C语言程序设计》一维数组教学中学生掌握不理想的现状,整合教学内容,提炼出影响学生学习理解一维数组的三个关键点,并对之进行有针对性的"微课"化教学,对自学能达到教学目的知识点则以"翻转课堂"的形式实... 针对我校《C语言程序设计》一维数组教学中学生掌握不理想的现状,整合教学内容,提炼出影响学生学习理解一维数组的三个关键点,并对之进行有针对性的"微课"化教学,对自学能达到教学目的知识点则以"翻转课堂"的形式实施,提高教学效果,培养学生的创新思维和严谨学风。 展开更多

关键词 一维数组 微课 翻转课堂 创新思维

下载PDF 职称材料

一种基于ARM微处理器的嵌入式代码语义属性分析方法

18

作者 刘铁铭 蒋烈辉 +1 位作者 井靖 李继中 《计算机科学》 CSCD 北大核心 2011年第12期284-287,292,共5页

通过深入研究ARM指令系统的特点及其编译后的代码特征,构建了基于ARM微处理器的二进制嵌入式代码解析模型,讨论了基于ARM体系结构的嵌入式代码语义分析方法。从指令和指令序列两种粒度级别分别讨论了代码语义属性的抽取方法,并分析了基... 通过深入研究ARM指令系统的特点及其编译后的代码特征,构建了基于ARM微处理器的二进制嵌入式代码解析模型,讨论了基于ARM体系结构的嵌入式代码语义分析方法。从指令和指令序列两种粒度级别分别讨论了代码语义属性的抽取方法,并分析了基于该解析模型的指令和指令序列的实例。结果表明,此方法极大地提高了代码解析的准确性和可读性。 展开更多

关键词 ARM微处理器 语义属性 嵌入式代码 编译特征 指令序列

下载PDF 职称材料

嵌入式软件集成开发环境的设计与实现

19

作者 井靖 王志刚 《微计算机信息》 2009年第23期64-65,68,共3页

文章设计了嵌入式集成开发环境的层次结构;给出GCC重定向的一般方法并设计了通用交叉编译接口;给出GDB移植的一般方法并设计了通用调试接口。在此基础上,实现了PLAEmbeddedIDEv1.0嵌入式软件集成开发环境原型系统。

关键词 嵌入式集成开发环境 交叉编译器 交叉调试器 目标描述 可重定向

下载PDF 职称材料

计算机组成原理教学探讨 被引量：1

20

作者 刘春玲 刘铁铭 +2 位作者 曾韵 井靖 司彬彬 《中国电子教育》 2015年第4期42-45,共4页

文章分析了我校联办生"计算机组成原理"课程的教学情况,讨论了如何提高学生学习主动性及贯穿各章节内容,探索了综合运用多种教学方法提高学习效果、培养学生独立思考与创新能力。

关键词 计算机组成原理 教学改革 教学方法

原文传递