期刊文献+
共找到1,403篇文章
< 1 2 71 >
每页显示 20 50 100
基于集成学习的汇编级故障注入设计 认领 引用
1
作者 范烁阳 王明亮 +2 位作者 施敏华 周华 常亮 《计算机工程与设计》 北大核心 2026年第1期120-125,共6页
为了解决传统软件故障注入中存在的特征提取困难、有效性低的问题,基于集成学习的汇编级故障注入设计(ALFIEL)被提出。集成深度学习模型对小尺度程序进行特征提取,并将提取到的特征进行早期融合。融合的特征将会被送到标签分类器进行训... 为了解决传统软件故障注入中存在的特征提取困难、有效性低的问题,基于集成学习的汇编级故障注入设计(ALFIEL)被提出。集成深度学习模型对小尺度程序进行特征提取,并将提取到的特征进行早期融合。融合的特征将会被送到标签分类器进行训练。利用训练后的模型对大尺度程序进行分析,对程序的脆弱性做出判断,筛选出汇编代码中可能会被故障注入所影响的部分。在MiBench数据集上对上述方法进行了验证,准确率达到了83.5%。ALFIEL在与SAFIRE和LLTFI的对比实验中表现出色。 展开更多
关键词 故障注入 集成学习 程序脆弱性 汇编代码 可靠性 特征融合 单比特翻转
暂未订购 下载PDF
技术迭代驱动下《微机原理与汇编语言》实训教学创新与实践评估体系 认领 引用
2
作者 杜库 周云虎 杨凌霄 《教育进展》 2026年第2期75-81,共7页
《微机原理与汇编语言》是计算机类、电子信息类专业人才培养体系中承上启下的核心实训课程,其教学成效直接影响学生底层编程能力、硬件操控思维以及系统调试素养的形成。然而,在当前数字经济与智能制造深度融合的背景下,微处理器架构... 《微机原理与汇编语言》是计算机类、电子信息类专业人才培养体系中承上启下的核心实训课程,其教学成效直接影响学生底层编程能力、硬件操控思维以及系统调试素养的形成。然而,在当前数字经济与智能制造深度融合的背景下,微处理器架构快速演进,ARM Cortex-M、RISC-V等主流平台广泛应用,USB 3.0/PCI-E等高速接口成为行业标配,传统以8086为核心的实训内容已严重滞后于技术发展。与此同时,教学模式仍停留在“教师演示 + 学生模仿”的被动学习阶段,评估方式单一依赖实训报告,缺乏有效的反馈优化机制,导致教学改革难以持续深化。针对上述问题,本研究构建了“三维创新 + 多元评估 + 闭环优化”的系统性改革框架:在内容层面,通过“传统核心巩固 + 前沿技术融入 + 工程案例驱动”实现知识更新;在方法层面,创新“项目牵引–虚拟仿真–实体实操”三位一体教学模式;在评估层面,建立涵盖过程性反馈、终结性考核与能力性评价的多维体系;在优化层面,依托真实教学数据构建“反馈–调整–验证”闭环机制。实践结果表明,改革后学生平均实训成绩提升8.5分,90分以上学生占比从8%增至18%,88%的学生认可教学成效,相关竞赛获奖数量增长200%,实现了教学质量与学生综合实践能力的协同提升。该模式为新工科背景下技术类核心实训课程的教学优化提供了可复制、可持续的实践路径。 展开更多
关键词 《微机原理与汇编语言》 实训教学创新 三维创新 项目牵引 多元评估 闭环优化
暂未订购 下载PDF
以培养学术型人才为目标的课程思政的实施——以“汇编语言”课程教学为例 认领 引用
3
作者 肖敏 宗宏钧 《教育教学论坛》 2026年第1期38-41,共4页
以“汇编语言”课程的教学为例,探讨了如何在专业课程中融入思政教育内容,培养具有敏锐思想政治素质,符合社会主义核心价值观,具备强烈家国情怀、社会责任感,勇于实践创新的学术型人才。结合“汇编语言”课程的特点,提出了课程思政的三... 以“汇编语言”课程的教学为例,探讨了如何在专业课程中融入思政教育内容,培养具有敏锐思想政治素质,符合社会主义核心价值观,具备强烈家国情怀、社会责任感,勇于实践创新的学术型人才。结合“汇编语言”课程的特点,提出了课程思政的三个育人目标,阐述了课程思政的具体开展方式,包括提升教师思政素养、修订教学大纲、选择多种合适的教学方法、育人目标达成度等评定标准。提出了课程思政的推进需要学生、教师、学校各部门、企业、社会、家庭等多方的共同合作,强调了课程思政的建设是长久而持续的过程。 展开更多
关键词 课程思政 汇编语言 学术型人才
暂未订购 下载PDF
生成式人工智能赋能汇编语言与接口技术教学实践 认领 引用
4
作者 刘兆丽 姜琨 +1 位作者 肖叶秋 秦涛 《计算机教育》 2026年第8期187-192,共6页
为充分发挥生成式人工智能在汇编语言与接口技术课程教学中的赋能作用,提出融合AI辅助教学与虚实结合实验的教学模式,探索大语言模型与仿真工具在教学内容组织、教学模式设计、课外学习指导与实践环节中的应用,构建涵盖AI正确使用能力... 为充分发挥生成式人工智能在汇编语言与接口技术课程教学中的赋能作用,提出融合AI辅助教学与虚实结合实验的教学模式,探索大语言模型与仿真工具在教学内容组织、教学模式设计、课外学习指导与实践环节中的应用,构建涵盖AI正确使用能力的多元化评价体系,旨在为人工智能时代计算机专业课的教学改革提供参考。 展开更多
关键词 生成式人工智能 大语言模型 汇编语言与接口技术 教学实践
暂未订购 下载PDF
大模型背景下面向系统观的实验教学改革初探 认领 引用 被引量:1
5
作者 穆玲玲 张行进 +1 位作者 职为梅 周丽娟 《计算机教育》 2025年第7期116-121,共6页
分析基于系统观的实验教学现状,提出大模型背景下基于系统观的实验教学改革思路。以汇编语言为例,从知识点、任务设计原则等方面阐述该实验教学的具体实施过程,最后以近两年的学生成绩对比说明改革效果。
关键词 大语言模型 计算机实验教学 实验设计 系统思维 汇编语言
暂未订购 下载PDF
面向网络空间安全专业的汇编语言课程“多维一体”教学改革 认领 引用
6
作者 张云峰 黄郡 +2 位作者 张敬业 卢灿举 牛钊 《计算机教育》 2025年第10期108-113,共6页
为了提升网络空间安全专业汇编语言课程教学质量,在分析课程教学现状的基础上,提出优化课程设计、在教学中应用逆向分析、网络安全案例贯穿教学全过程、引导学生在学习中正确运用人工智能、实验教学覆盖全程、发挥教学平台优势等方法,... 为了提升网络空间安全专业汇编语言课程教学质量,在分析课程教学现状的基础上,提出优化课程设计、在教学中应用逆向分析、网络安全案例贯穿教学全过程、引导学生在学习中正确运用人工智能、实验教学覆盖全程、发挥教学平台优势等方法,经过实践说明该方法能够提高教学质量。 展开更多
关键词 网络空间安全 汇编语言 教学改革
暂未订购 下载PDF
基于TPACK的线上线下混合式一流课程建设——以汇编语言课程为例 认领 引用
7
作者 李珍香 惠康华 谈娴茹 《计算机教育》 2025年第7期60-68,共9页
在分析TPACK理论中各要素对混合式一流课程建设的指导作用基础上,以汇编语言课程为例,提出TPACK理论下混合式教学的一流课程建设思路,从教学目标、教学内容、教学设计、考核设计和课程思政方面介绍教学实践,通过教学效果对比分析和问卷... 在分析TPACK理论中各要素对混合式一流课程建设的指导作用基础上,以汇编语言课程为例,提出TPACK理论下混合式教学的一流课程建设思路,从教学目标、教学内容、教学设计、考核设计和课程思政方面介绍教学实践,通过教学效果对比分析和问卷调查结果说明汇编语言线上线下混合式教学效果显著,一流课程建设取得预期成效。 展开更多
关键词 TPACK 汇编语言 一流课程 线上线下混合式
暂未订购 下载PDF
网络空间安全专业能力导向的课程重构——以汇编语言与逆向工程课程为例 认领 引用
8
作者 陶晓玲 黄建华 黄少波 《教育信息化论坛》 2025年第13期46-48,共3页
汇编语言与逆向工程课程是网络空间安全专业的一门专业核心课程,对于学生夯实计算机底层技术基础、提升逆向分析实战能力、增强安全攻防思维具有重要意义。在传统教学中,该课程存在理论与实践脱节、实战资源不足、评价体系单一等问题。... 汇编语言与逆向工程课程是网络空间安全专业的一门专业核心课程,对于学生夯实计算机底层技术基础、提升逆向分析实战能力、增强安全攻防思维具有重要意义。在传统教学中,该课程存在理论与实践脱节、实战资源不足、评价体系单一等问题。基于此,以网络空间安全专业能力为导向,对汇编语言与逆向工程课程进行重构,提出基于逆向工程能力培养的三阶递进式教学体系,并结合桂林电子科技大学的校企合作特色与工程教育认证理念,重构课程目标、内容与评价机制,以培养学生的底层思维能力、逆向分析能力和实践创新能力。通过优化课程内容、创新教学方法和加强实践教学,构建以能力培养为核心的课程教学体系,旨在为网络空间安全专业人才培养提供有益的探索和实践。 展开更多
关键词 网络空间安全 能力导向 课程重构 汇编语言与逆向工程
暂未订购 下载PDF
一种动静结合的代码反汇编框架 认领 引用 被引量:6
9
作者 奚琪 曾勇军 +1 位作者 王清贤 吴红水 《小型微型计算机系统》 CSCD 北大核心 2013年第10期2251-2255,共5页
反汇编技术是二进制代码分析的基础,传统的静态反汇编方法存在着数据代码混编和间接跳转指令等带来的反汇编困难.为此,本文提出了一种动静结合的代码反汇编框架DTBC.在DTBC中,静态反汇编引擎根据传统反汇编算法实现代码的静态反汇编,通... 反汇编技术是二进制代码分析的基础,传统的静态反汇编方法存在着数据代码混编和间接跳转指令等带来的反汇编困难.为此,本文提出了一种动静结合的代码反汇编框架DTBC.在DTBC中,静态反汇编引擎根据传统反汇编算法实现代码的静态反汇编,通过代码分析技术标记程序中的敏感指令;符号执行引擎利用混合符号执行技术和约束求解器生成可达敏感指令的程序输入;动态仿真引擎模拟不同输入条件下的程序执行过程,通过监控代码的执行路径达到反汇编求精的目的.实验模拟的结果表明,DTBC能够有效提高代码反汇编的准确性和覆盖率. 展开更多
关键词 反汇编技术 混合符号执行 敏感指令 代码混淆 仿真器
暂未订购 下载PDF
一种基于反汇编技术的二进制补丁分析方法 认领 引用 被引量:9
10
作者 曾鸣 赵荣彩 +1 位作者 王小芹 姚京松 《计算机科学》 北大核心 2006年第10期283-287,共5页
软件开发商通过向用户提供补丁程序来修改软件中存在的安全漏洞。但随着安全漏洞研究者不断提高分析安全补丁的能力和速度,厂商开始向公众封闭与安全补丁相关的漏洞技术细节,仅提供软件打补丁前后的二进制代码,由此引发了二进制代码比... 软件开发商通过向用户提供补丁程序来修改软件中存在的安全漏洞。但随着安全漏洞研究者不断提高分析安全补丁的能力和速度,厂商开始向公众封闭与安全补丁相关的漏洞技术细节,仅提供软件打补丁前后的二进制代码,由此引发了二进制代码比较技术研究的热潮。二进制代码比较技术的目的是定位执行代码间的差异,从而获得补丁所修补的漏洞细节。本文提出了一种基于反汇编技术,定位执行代码间语义差异,从而完成二进制安全补丁分析的方法。描述了该技术模型、系统框架和关键技术,并通过实践证明此方法可以快速有效地定位安全补丁所修补的软件漏洞。 展开更多
关键词 补丁分析 反汇编 安全漏洞 IDA
暂未订购 下载PDF
实现定点DSP汇编层反正切函数的差分进化算法 认领 引用 被引量:6
11
作者 伍微 刘小汇 +1 位作者 李峥嵘 王飞雪 《系统工程与电子技术》 EI 北大核心 2005年第5期926-928,共3页
基于差分进化算法,提出一种在定点DSP汇编层快速实现高精度反正切函数的方法,并对该方法在确定精度范围内的正确性和实时性进行了测试。与传统方法相比,差分进化算法求得的逼近多项式精度高、阶数小,设计出的反正切函数实时性远优于C库... 基于差分进化算法,提出一种在定点DSP汇编层快速实现高精度反正切函数的方法,并对该方法在确定精度范围内的正确性和实时性进行了测试。与传统方法相比,差分进化算法求得的逼近多项式精度高、阶数小,设计出的反正切函数实时性远优于C库函数。同时差分进化算法还可以用于其它非线性数学函数在实时环境中的高效实现。 展开更多
关键词 差分进化算法 定点DSP 反正切 实时性
暂未订购 下载PDF
基于控制流和数据段分析的反汇编策略研究 认领 引用 被引量:4
12
作者 蒋烈辉 陈亮 +3 位作者 吴金波 何红旗 费勤福 赵荣彩 《计算机工程》 CAS 北大核心 2007年第2期94-96,共3页
反汇编策略大体可以分为线性扫描策略和基于控制流的递归扫描策略,该文通过对基于控制流的递归扫描策略以及多款处理器指令系统的研究,提出了一种基于程序静态流程遍历图的反汇编策略,使用6种策略将隐匿于数据段中的程序段提取出来,提... 反汇编策略大体可以分为线性扫描策略和基于控制流的递归扫描策略,该文通过对基于控制流的递归扫描策略以及多款处理器指令系统的研究,提出了一种基于程序静态流程遍历图的反汇编策略,使用6种策略将隐匿于数据段中的程序段提取出来,提高了反汇编结果的精确度。 展开更多
关键词 反汇编 流程遍历图 数据段 程序段 控制流
暂未订购 下载PDF
基于中断向量表重构的固件代码反汇编技术 认领 引用 被引量:5
13
作者 崔晨 李清宝 +1 位作者 胡刚 王炜 《计算机科学》 CSCD 北大核心 2012年第7期302-304,316,共3页
反汇编是固件代码逆向分析的重要研究内容,其正确性直接影响固件代码逆向分析的准确性。固件代码结构具有特殊性,针对上层应用程序的反汇编算法大都不能直接用于固件代码的反汇编。中断向量表是固件代码的重要组成部分,从中断向量开始... 反汇编是固件代码逆向分析的重要研究内容,其正确性直接影响固件代码逆向分析的准确性。固件代码结构具有特殊性,针对上层应用程序的反汇编算法大都不能直接用于固件代码的反汇编。中断向量表是固件代码的重要组成部分,从中断向量开始对中断服务子程序进行反汇编,可提高固件代码反汇编的精度。通过对固件代码结构特点的研究分析,介绍了中断向量表的重构方法,提出了一种基于中断向量表重构的固件代码反汇编技术。经测试分析,与传统的静态反汇编技术相比,基于中断向量表重构的固件代码反汇编技术不仅能够对固件代码中的主函数进行反汇编,还能够对中断服务子程序进行反汇编,反汇编精度平均提高了8.72%。 展开更多
关键词 逆向分析 固件代码 反汇编 中断向量表
暂未订购 下载PDF
汇编级软硬结合的控制流检测方法 认领 引用 被引量:3
14
作者 吴艳霞 顾国昌 +2 位作者 戴葵 刘海波 沈晶 《计算机研究与发展》 EI 北大核心 2010年第8期1481-1489,共9页
控制流检测技术是防止由于瞬时故障造成程序错误运行的有效手段之一,在ARGOS卫星上测试过的基于汇编语言的软件控制流检测算法CFCSS具有较高的错误检测能力和较低的冗余指令开销,实用性较强,但此算法存在检测混淆和检测出错现象.为此,... 控制流检测技术是防止由于瞬时故障造成程序错误运行的有效手段之一,在ARGOS卫星上测试过的基于汇编语言的软件控制流检测算法CFCSS具有较高的错误检测能力和较低的冗余指令开销,实用性较强,但此算法存在检测混淆和检测出错现象.为此,首先阐述了CFCSS算法中存在的检测混淆和检测出错现象;接下来根据汇编语言特点,修改了基础基本块的选择方法和多调整签名值赋值语句的插入位置,提出了改进的ICFCSS控制流检测算法;为了在ICFCSS算法基础上进一步提高错误检测能力、降低故障延迟时间和冗余指令开销,提出了软硬结合的ICFCSSHS控制流检测方法,此方法在编译程序时只增加了和签名有关的信息,在程序运行时通过译码阶段判指令类型来触发相应的硬件完成控制流检测.实验表明,此方法的冗余代码空间开销比CFCSS算法减少了21.5%,平均未检测出错误率仅为1.5%,具有一定的使用价值. 展开更多
关键词 可靠性 硬件故障容错 控制流检测技术 控制流图 基本块
暂未订购 下载PDF
基于CPU仿真器的汇编语言学习系统设计与实现 认领 引用 被引量:4
15
作者 盛羽 余进 +1 位作者 陈松乔 王建新 《中南大学学报(自然科学版)》 EI CAS 北大核心 2010年第6期2224-2230,共7页
提出一种基于CPU仿真器的汇编语言学习系统设计模型和实现方法。该系统利用JavaBean组件技术实现CPU的仿真;结合多线程技术和锁机制实现组件的数据触发式调度机制,有效地解决了具有复杂关系的组件之间的调度运行问题,保证了微命令的有... 提出一种基于CPU仿真器的汇编语言学习系统设计模型和实现方法。该系统利用JavaBean组件技术实现CPU的仿真;结合多线程技术和锁机制实现组件的数据触发式调度机制,有效地解决了具有复杂关系的组件之间的调度运行问题,保证了微命令的有序执行;基于脉冲信号的事件触发机制,实现了微指令的单步调试;基于所设计的CPU仿真器指令系统,采用现代编译技术设计了一种汇编器,实现了CPU仿真器上汇编指令到机器指令的快速编译。与已有的汇编语言学习系统相比,本系统不仅在通用性、交互性等方面都有较大提高,而且能形象直观地展示虚拟寄存器等各个虚拟芯片的实时状态,记录对应的微指令流,从而更精确地监视汇编指令在CPU仿真器中的执行过程。 展开更多
关键词 CPU仿真器 汇编语言 编译技术 微指令流
暂未订购 下载PDF
一种基于重定位信息的二次反汇编算法 认领 引用 被引量:5
16
作者 曾鸣 赵荣彩 +1 位作者 姚京松 王小芹 《计算机科学》 北大核心 2007年第7期284-287,292,共4页
反汇编技术是静态分析二进制程序的基础,目前广为采用的反汇编算法是线性扫描和递归行进算法。前者无法正确处理代码段中嵌入数据的情况,后者则必须解决间接跳转目的地址的预测问题。本文介绍了这两种算法的原理,分析了其存在的问题,并... 反汇编技术是静态分析二进制程序的基础,目前广为采用的反汇编算法是线性扫描和递归行进算法。前者无法正确处理代码段中嵌入数据的情况,后者则必须解决间接跳转目的地址的预测问题。本文介绍了这两种算法的原理,分析了其存在的问题,并利用二进制文件中的重定位信息对它们进行了优化。将优化后的两种方法结合起来,给出了一种新颖的二次反汇编算法,这种算法能够捕获反汇编过程中出错的情况,从而控制错误传播,并使得基于反汇编代码的应用可以针对出错情况进行相应的处理。 展开更多
关键词 反汇编 二进制代码 线性扫描算法 递归行进算法
暂未订购 下载PDF
跟踪式智能反汇编算法研究 认领 引用 被引量:4
17
作者 张龙杰 谢晓方 +1 位作者 袁胜智 李洪周 《计算机应用》 北大核心 2009年第1期242-244,共3页
研究了嵌入式系统文件反汇编过程中存在的主要问题,给出了进行跟踪式智能反汇编的关键算法。首次采用二叉树结构对代码扫描过程进行跟踪处理,给出了生长二叉树的递归遍历算法,克服了传统反汇编过程中建立大量数组、链表以及图表的缺点;... 研究了嵌入式系统文件反汇编过程中存在的主要问题,给出了进行跟踪式智能反汇编的关键算法。首次采用二叉树结构对代码扫描过程进行跟踪处理,给出了生长二叉树的递归遍历算法,克服了传统反汇编过程中建立大量数组、链表以及图表的缺点;通过对二叉树的逆向浏览,解决了间接转移指令的寻址问题,并给出了寻址算法;最后,给出了数据区边界校验算法。对于进行程序反解及软件逆向工程具有较重要的参考价值。 展开更多
关键词 嵌入式系统 智能反汇编 反汇编算法 二叉树 软件逆向工程
暂未订购 下载PDF
反汇编结果代码结构分析算法研究 认领 引用 被引量:3
18
作者 蒋烈辉 周博 +2 位作者 费勤福 何红旗 韩小琨 《小型微型计算机系统》 北大核心 2007年第6期1060-1063,共4页
反汇编结果的代码结构分析在程序解读、可执行程序编辑、软件维护、程序理解以及编译器设计中有重要的作用与意义.本文提出了一种对主流微处理器二进制代码逆向还原到汇编级代码后进行结构分析的算法,给出了该算法的形式化描述和结构分... 反汇编结果的代码结构分析在程序解读、可执行程序编辑、软件维护、程序理解以及编译器设计中有重要的作用与意义.本文提出了一种对主流微处理器二进制代码逆向还原到汇编级代码后进行结构分析的算法,给出了该算法的形式化描述和结构分析结果的记录方法,并且根据该算法在二进制代码辅助分析系统中的应用情况,给出了实验数据.试验数据表明,该算法在多款处理器目标代码的分析过程中都有较高的结构分析准确度和执行效率. 展开更多
关键词 程序理解 控制流 基本块 反汇编 子程序识别
暂未订购 下载PDF
汇编级代码程序结构分析算法研究 认领 引用 被引量:3
19
作者 蒋烈辉 韩小琨 +2 位作者 费勤福 周博 张有为 《计算机工程》 CAS 北大核心 2007年第7期68-69,72,共2页
由于嵌入式系统可执行目标代码的多样性与灵活性,对其反汇编后,结果程序的结构化程度以及易读程度均不理想。为了更好地分析反汇编结果程序,该文提出了一种对反汇编结果程序进行子程序划分的算法,对算法设计所依赖的数据结构以及算法实... 由于嵌入式系统可执行目标代码的多样性与灵活性,对其反汇编后,结果程序的结构化程度以及易读程度均不理想。为了更好地分析反汇编结果程序,该文提出了一种对反汇编结果程序进行子程序划分的算法,对算法设计所依赖的数据结构以及算法实现过程进行了描述和分析,给出了反汇编结果程序结构分析算法的性能测试分析结果。 展开更多
关键词 反汇编结果程序结构 子程序划分 算法 结点
暂未订购 下载PDF
一种汇编程序的形式验证框架 认领 引用 被引量:3
20
作者 李兆鹏 陈意云 +1 位作者 葛琳 华保健 《计算机研究与发展》 EI 北大核心 2008年第5期825-833,共9页
在高可信软件的各种性质中,安全性是关注的重点.软件满足安全策略的证明方法是安全性研究的热点之一.根据前期提出的安全程序设计与证明的框架以及指针逻辑推理系统,介绍在所实现的出具证明编译器(certifying compiler)原型系统中有关... 在高可信软件的各种性质中,安全性是关注的重点.软件满足安全策略的证明方法是安全性研究的热点之一.根据前期提出的安全程序设计与证明的框架以及指针逻辑推理系统,介绍在所实现的出具证明编译器(certifying compiler)原型系统中有关目标机器的形式定义、汇编程序的形式验证框架以及汇编程序指针程序性质证明等方面的研究.它们的主要特点是汇编验证框架是基于Hoare风格的程序验证方式;与指针有关的性质使用和源语言一级类似的指针逻辑推理系统进行证明;使用一个简单的类型系统完成有关指针的类型检查. 展开更多
关键词 软件安全 出具证明编译器 指针逻辑 Hoare逻辑 携带证明的汇编程序
暂未订购 下载PDF
上一页 1 2 71 下一页 到第
在线咨询 使用帮助 返回顶部 意见反馈