期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到8篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
超声波避障智能小车的设计 被引量：18
1
作者 张萍 《自动化仪表》 CAS 2017年第9期40-43,共4页
为了提高智能小车自主导航的能力,需要解决智能小车在复杂环境中的自主避障问题。为了实现自主避障,提出了超声波避障的设计方案和处理算法。智能小车采用四轮驱动以提高驱动能力,通过不同宽度的脉冲控制舵机实现不同方向、不同角度的转... 为了提高智能小车自主导航的能力,需要解决智能小车在复杂环境中的自主避障问题。为了实现自主避障,提出了超声波避障的设计方案和处理算法。智能小车采用四轮驱动以提高驱动能力,通过不同宽度的脉冲控制舵机实现不同方向、不同角度的转向,从而带动超声波模块实现不同方向障碍物距离的检测。针对智能小车电机运转易引入干扰造成系统供电电压不稳的问题,提出了电机驱动模块和系统控制电路分开供电的解决方案。重点针对当障碍物超出超声波检测范围时小车软件程序易陷入"死区",以及在多个方向同时遇到障碍物时小车避障易发生刮擦等问题,提出了定时器溢出中断算法和后退转弯算法等解决方案。试验证明:该算法的小车避障效果较好,具有一定的推广、使用价值。 展开更多
关键词 智能小车 供电电源 超声波避障 避障算法 定时器溢出中断算法 后退转弯算法
在线阅读 下载PDF
基于AVR单片机的自动准同期装置频率测量方法 被引量：2
2
作者 彭道林 《吉首大学学报（自然科学版）》 CAS 2007年第3期76-78,88,共4页
频率测量在自动准同期装置的设计中十分重要,它直接影响到压差、角差计算的准确度和并网的质量.笔者以ATMEGA128单片机为例,结合工程经验,探讨了2种不同的测量办法,对工程应用有一定的借鉴意义.
关键词 输入捕获 溢出 中断
在线阅读 下载PDF
航天嵌入式软件整数溢出的形式化验证方法 被引量：3
3
作者 高猛 滕俊元 王政 《软件学报》 EI CSCD 北大核心 2021年第10期2977-2992,共16页
整数溢出引起的软件系统安全性问题屡见不鲜,已有的模型检测技术由于存在状态空间爆炸、不能有效支持中断驱动型程序检测等缺点而少有工程应用.结合真实案例,对航天嵌入式软件整数溢出问题的分布和特征进行了系统性的分析.在有界模型检... 整数溢出引起的软件系统安全性问题屡见不鲜,已有的模型检测技术由于存在状态空间爆炸、不能有效支持中断驱动型程序检测等缺点而少有工程应用.结合真实案例,对航天嵌入式软件整数溢出问题的分布和特征进行了系统性的分析.在有界模型检测技术的基础上,结合整数溢出特征,提出了基于整数溢出变量依赖的程序模型约简技术;同时,针对中断驱动型程序,结合中断函数特征抽象,提出了基于干扰变量的中断驱动程序顺序化方法.经过基准测试程序和真实航天嵌入式软件实验,结果表明:该方法在保证整数溢出问题检出率的前提下,不仅能够提高分析效率,还使得已有的模型检测技术能够适用于中断驱动型程序整数溢出检测. 展开更多
关键词 航天嵌入式软件 整数溢出 有界模型检测 中断驱动型程序 顺序化
在线阅读 下载PDF
基于P87C591多路CAN收发接口的设计
4
作者 王鸿磊 李传法 +1 位作者 慕东周 张雪松 《工业仪表与自动化装置》 2008年第1期49-50,共2页
以P87C591为微处理器,通过自带的CAN控制器和外接SJA1000控制器设计出一种可以控制多路CAN总线的接口。针对该接口设计过程中遇到的多路CAN报文存在同时发送和接收的问题,通过实验提出相应的解决办法,特别针对接收模块中CAN报文溢出问... 以P87C591为微处理器,通过自带的CAN控制器和外接SJA1000控制器设计出一种可以控制多路CAN总线的接口。针对该接口设计过程中遇到的多路CAN报文存在同时发送和接收的问题,通过实验提出相应的解决办法,特别针对接收模块中CAN报文溢出问题做了重点分析。并给出数据流程图和部分C语言源代码,为多路CAN总线通信接口的研究提供了一定的实际价值。 展开更多
关键词 P87C591 多路 CAN 溢出 中断
在线阅读 下载PDF
Perf在龙芯2F上的设计与实现 被引量：1
5
作者 徐恒阳 安虹 +1 位作者 刘玉 周伟 《计算机工程》 CAS CSCD 北大核心 2011年第19期236-238,共3页
在龙芯2F平台上设计并实现性能调优工具Perf。分析Perf的实现原理,针对龙芯修改Perf内核层中体系相关部分代码,设计硬件性能计数器的操作函数集和溢出中断处理函数。使用Perf分析矩阵相乘测试用例,结果表明Perf得到的采样结果接近理论值... 在龙芯2F平台上设计并实现性能调优工具Perf。分析Perf的实现原理,针对龙芯修改Perf内核层中体系相关部分代码,设计硬件性能计数器的操作函数集和溢出中断处理函数。使用Perf分析矩阵相乘测试用例,结果表明Perf得到的采样结果接近理论值,与Oprofile相比,采样数据更精确。 展开更多
关键词 性能计数器 龙芯2F平台 Perf工具 溢出中断 前端 后端
在线阅读 下载PDF
LRU页面置换算法的改进与实现 被引量：4
6
作者 赵俊化 胡金霞 《计算机工程》 CAS CSCD 2012年第17期24-27,共4页
为简化嵌入式虚拟内存的实现,改善嵌入式虚拟内存的性能,在对常见页面置换算法进行对比分析的基础上,提出一种改进的最久未使用页面置换算法。该算法基于内存管理单元、跨页访问计数器、访问次序寄存器、溢出中断处理等软硬件相结合的... 为简化嵌入式虚拟内存的实现,改善嵌入式虚拟内存的性能,在对常见页面置换算法进行对比分析的基础上,提出一种改进的最久未使用页面置换算法。该算法基于内存管理单元、跨页访问计数器、访问次序寄存器、溢出中断处理等软硬件相结合的技术。实验结果表明,该算法能提高嵌入式系统的页面置换效率,提升系统的整体性能,可广泛应用于各种物联网系统和嵌入式系统。 展开更多
关键词 物联网 页面置换算法 最久未使用 改进型Clock算法 溢出中断 跨页访问 内存管理单元
在线阅读 下载PDF
关于INTEL96系列单片机中HSO事件的设置
7
作者 汪建 《微处理机》 2000年第3期62-64,共3页
就 MCS-96系列单片机中设置 HSO事件时 ,若事件的触发时间超过定时器 T1、T2的溢出间隔的问题进行了讨论 ,给出了具体的解决方案 ,对许多文献资料中关于这一问题的论述进行了补充 ,具有实用意义。
关键词 单片机 INTEL96系列 HSO事件 中断设置
在线阅读 下载PDF
基于遗传算法的嵌入式软件中断过载动态检测 被引量：2
8
作者 王洁 崔凯 +1 位作者 周宽久 李显杰 《清华大学学报（自然科学版）》 EI CAS CSCD 北大核心 2011年第10期1363-1368,共6页
嵌入式软件需要处理大量中断。中断的随机特性导致越来越复杂的嵌入式系统测试困难。该文基于遗传算法的中断过载动态检测方法,使用均匀变异增加中断类型多样性,非均匀变异算法的使用提高了局部搜索能力;构造产生堆栈深度的中断执行序... 嵌入式软件需要处理大量中断。中断的随机特性导致越来越复杂的嵌入式系统测试困难。该文基于遗传算法的中断过载动态检测方法,使用均匀变异增加中断类型多样性,非均匀变异算法的使用提高了局部搜索能力;构造产生堆栈深度的中断执行序列测试中断处理的堆栈溢出错误。采用自主研发基于SPARC V8架构的Virtualsparc仿真平台进行中断过载仿真测试,实验表明:该方法可以快速检测堆栈中待处理的中断丢失率,随着堆栈深度的动态修改,大大降低了中断处理在堆栈里的丢失率,同时对中断过载进行定位来提高嵌入式软件中断缺陷检测效率。 展开更多
关键词 中断过载 堆栈溢出 遗传算法
原文传递
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部