期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3,817
篇文章
<
1
2
…
191
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
嵌入式系统的需求描述综述
被引量：
3
1
作者
陈小红
刘少彬
金芝
《软件学报》
北大核心
2025年第1期27-46,共20页
随着嵌入式系统的广泛应用,其需求正变得越来越复杂,需求分析成为嵌入式系统开发的关键阶段,如何准确地建模和描述需求成为首要问题.系统地调研嵌入式系统的需求描述,并进行全面的比较分析,以便更深入地理解嵌入式系统需求的核心关注点...
随着嵌入式系统的广泛应用,其需求正变得越来越复杂,需求分析成为嵌入式系统开发的关键阶段,如何准确地建模和描述需求成为首要问题.系统地调研嵌入式系统的需求描述,并进行全面的比较分析,以便更深入地理解嵌入式系统需求的核心关注点.首先采用系统化文献综述方法,对1979年1月–2023年11月间发表的相关文献进行识别、筛选、汇总和分析.通过自动检索和滚雪球等检索过程,筛选出150篇与主题密切相关的文献,力求文献综述的全面性.其次,从需求描述关注点、需求描述维度、需求分析要素等方面,分析现有嵌入式需求描述语言的表达能力.最后,总结现有嵌入式系统软件需求描述所面临的挑战,并针对嵌入式软件智能合成任务,提出对嵌入式系统需求描述方法表达能力的要求.
展开更多
关键词
嵌入式系统
需求描述
需求描述语言
需求分析
系统
需求
在线阅读
下载PDF
职称材料
智能嵌入式系统专题序言
2
作者
郭兵
邓庆绪
+3 位作者
陈铭松
张凯龙
谢国琪
周俊龙
《计算机科学》
北大核心
2025年第4期1-3,共3页
作为数字与物理、信息与应用交叉融合的重要基石,嵌入式系统技术在近十年被广泛应用于社会生产、生活、国防等诸多领域,并快速推动了这些领域的数字化、网络化和智能化发展。目前,随着人工智能技术和嵌入式芯片技术的发展,人工智能开始...
作为数字与物理、信息与应用交叉融合的重要基石,嵌入式系统技术在近十年被广泛应用于社会生产、生活、国防等诸多领域,并快速推动了这些领域的数字化、网络化和智能化发展。目前,随着人工智能技术和嵌入式芯片技术的发展,人工智能开始逐步向嵌入式系统迁移,尤其是随着机器人、无人机、无人车等智能设备的技术成熟,越来越多的应用需要在嵌入式系统上实现,嵌入式人工智能迎来崭新机遇。
展开更多
关键词
智能
嵌入式系统
人工智能
机器人
无人机
无人车
网络化
智能化
技术发展
在线阅读
下载PDF
职称材料
基于嵌入式系统的采摘机器人作业控制研究
被引量：
3
3
作者
范江波
《农机化研究》
北大核心
2025年第6期53-57,77,共6页
采摘作业是农副产品生产的重要环节,直接影响农副产品的效益。为此,针对传统采摘作业存在的采摘手段落后、精度差和效率低等问题,以草莓采摘机器人为研究对象,在深入研究其结构组成和工作原理的基础上,引入嵌入式系统,完成了采摘机械手...
采摘作业是农副产品生产的重要环节,直接影响农副产品的效益。为此,针对传统采摘作业存在的采摘手段落后、精度差和效率低等问题,以草莓采摘机器人为研究对象,在深入研究其结构组成和工作原理的基础上,引入嵌入式系统,完成了采摘机械手的运动学分析。通过采摘机器人控制系统的硬件总体设计,完成了控制系统硬件模块选型,并进行了作业控制的仿真分析。采摘试验结果表明:基于嵌入式系统的采摘机器人能够精确控制采摘作业,采摘精度和目标识别率都达到了设计目标,且系统运行较为安全和稳定。
展开更多
关键词
采摘机器人
作业控制
目标识别
运动学分析
嵌入式系统
在线阅读
下载PDF
职称材料
藏文句向量预训练模型在嵌入式系统中的应用研究
4
作者
吕皓
吕慧
+4 位作者
雍宾宾
多拉
李妍
周庆国
周睿
《小型微型计算机系统》
北大核心
2025年第1期8-15,共8页
本文研究了将藏文句向量预训练模型部署到嵌入式系统上进行推理和测试的问题.在机器学习中,对文本进行编码和表征存在困难,因此句向量技术成为自然语言处理领域的重要研究方向.然而,在藏文自然语言处理领域,句向量研究相对较少.为此,本...
本文研究了将藏文句向量预训练模型部署到嵌入式系统上进行推理和测试的问题.在机器学习中,对文本进行编码和表征存在困难,因此句向量技术成为自然语言处理领域的重要研究方向.然而,在藏文自然语言处理领域,句向量研究相对较少.为此,本文分析了藏文领域已有的预训练模型和句向量表示方法,并设计了一种改进的无监督SimCSE方法(Improved Simple Contrastive Learning of Unsupervised Sentence Embeddings,I-SimCSE).实验结果显示,使用I-SimCSE方法得到的藏文句向量模型性能优于其他方法.同时,本文探讨了边缘计算与预训练模型相结合的应用,并讨论了预训练语言模型在嵌入式系统上的潜在应用场景.最后,本文将I-SimCSE句向量模型部署在嵌入式设备Jetson TX1上,并测试了其平均单次推理时间,结果表明在嵌入式系统上部署预训练语言模型进行推理是可行的.综上所述,本文的研究对于藏文句向量预训练模型在嵌入式系统上的应用研究提供了有益的参考,并为未来藏文大模型在嵌入式系统的发展提供了指导和启示.
展开更多
关键词
藏文
句向量表示
嵌入式系统
预训练模型
在线阅读
下载PDF
职称材料
复杂嵌入式系统需求一致性的组合验证方法
5
作者
杨晓
王小齐
+1 位作者
陈小红
金芝
《软件学报》
北大核心
2025年第4期1413-1434,共22页
形式化方法在需求一致性验证领域已经取得了显著的成就.然而,随着嵌入式系统需求复杂度的不断提升,需求一致性验证面临着状态空间过大的挑战.为了有效约减验证的状态空间,同时考虑到嵌入式系统需求所涉及的设备强依赖性,提出一种复杂嵌...
形式化方法在需求一致性验证领域已经取得了显著的成就.然而,随着嵌入式系统需求复杂度的不断提升,需求一致性验证面临着状态空间过大的挑战.为了有效约减验证的状态空间,同时考虑到嵌入式系统需求所涉及的设备强依赖性,提出一种复杂嵌入式系统需求一致性的组合验证方法.它基于需求分解,识别需求间的依赖关系,通过这些依赖关系组装验证子系统,从而实现对复杂嵌入式系统需求的组合验证,并能初步定位到不一致的需求.具体而言,采用问题框架方法对需求进行建模和分解,并预设领域设备知识库对设备的物理特性进行建模.在验证子系统的组装过程中,生成预期软件的行为模型,并结合物理设备的模型进行动态组装.最后,采用航空领域机载侦查系统进行了实例研究,验证了方法的可行性和有效性,并通过5个案例评估证实了验证状态空间的显著减小.此方法为复杂嵌入式系统需求的验证提供了一种切实可行的解决方案.
展开更多
关键词
复杂
嵌入式系统
需求一致性
组合验证
在线阅读
下载PDF
职称材料
基于嵌入式系统的辣椒采摘机器人设计
被引量：
1
6
作者
刘锦辉
余江
+3 位作者
熊铎云
林钰贵
徐芷婷
董振烨
《南方农机》
2025年第10期24-27,32,共5页
【目的】解决传统辣椒采摘机器人存在的控制复杂、采摘精度低、成本高、无法满足大规模作业的问题。【方法】介绍了一种基于嵌入式系统的辣椒采摘机器人,首先使用D-H参数法对机械手进行运动学分析,优化运动控制;其次采用STM32单片机作...
【目的】解决传统辣椒采摘机器人存在的控制复杂、采摘精度低、成本高、无法满足大规模作业的问题。【方法】介绍了一种基于嵌入式系统的辣椒采摘机器人,首先使用D-H参数法对机械手进行运动学分析,优化运动控制;其次采用STM32单片机作为主控板,结合YOLOv5视觉识别算法,实现对辣椒的精准识别与定位;最后通过二自由度机械手与三轴传动机构实现协同控制,同时引入激光测距模块,实现末端位置的精确定位与操作。【结果】通过现场实地作业测试,该机器人具备高效的辣椒识别与采摘能力,在运动学模型与控制算法优化后,机械手操作更加精准,能够提升采摘效率并降低生产成本。【结论】本研究具有广阔的应用前景,有助于采摘机器人在农业领域的推广和应用,为农业现代化的实现提供科技助力。
展开更多
关键词
辣椒采摘
嵌入式系统
运行学分析
视觉识别
多轴协同
在线阅读
下载PDF
职称材料
形式验证方法在军用嵌入式系统软件验证中的应用
7
作者
邸亮
苏月怡
《火力与指挥控制》
北大核心
2025年第9期190-197,共8页
嵌入式系统被广泛应用在军事领域中,其稳定性关乎着武器装备的战斗力。如何全面、可靠地验证军用嵌入式系统是军用嵌入式系统软件测试的重要环节。嵌入式系统中存在大量随机中断的运用,令传统的系统软件测试手段难以对军用嵌入式系统进...
嵌入式系统被广泛应用在军事领域中,其稳定性关乎着武器装备的战斗力。如何全面、可靠地验证军用嵌入式系统是军用嵌入式系统软件测试的重要环节。嵌入式系统中存在大量随机中断的运用,令传统的系统软件测试手段难以对军用嵌入式系统进行全面准确的验证。将形式验证方法引入嵌入式系统验证,并以随机中断对系统运行可靠性影响为例进行了设计应用和分析,提出了一种可行的形式验证方法作为军用嵌入式系统检测验证的方法补充。
展开更多
关键词
形
式
验证
中断程序
军用
嵌入式系统
验证
形
式
语言
Maude
系统
在线阅读
下载PDF
职称材料
基于投影的嵌入式系统需求分析方法
8
作者
王小齐
陈小红
+2 位作者
金芝
顾斌
綦艳霞
《软件学报》
EI
CSCD
北大核心
2024年第12期5397-5418,共22页
嵌入式系统正变得越来越复杂,其软件系统的需求分析成为嵌入式系统开发的瓶颈问题.设备依赖性和执行逻辑的交织性是嵌入式软件系统的典型特征,要求需求分析方法能根据所依赖的设备进行有效的需求解耦.从基于环境建模的需求工程思想出发...
嵌入式系统正变得越来越复杂,其软件系统的需求分析成为嵌入式系统开发的瓶颈问题.设备依赖性和执行逻辑的交织性是嵌入式软件系统的典型特征,要求需求分析方法能根据所依赖的设备进行有效的需求解耦.从基于环境建模的需求工程思想出发,针对嵌入式软件系统的特征,提出一种基于投影的从系统需求到软件需求的分析方法,帮助需求工程师对需求进行有效解耦.首先总结嵌入式软件系统的系统需求与软件需求描述,基于交互环境特性定义嵌入式软件系统的需求解耦策略,并设计从系统需求到软件需求的规约过程.在航天器太阳搜索系统进行实际案例研究,并通过耦合度与内聚性两个指标对5个代表性案例场景进行量化评估,展示所提方法的有效性.
展开更多
关键词
嵌入式系统
需求分析
需求解耦
问题投影
软件需求
在线阅读
下载PDF
职称材料
应用型计算机类本科专业嵌入式系统实践教学体系探索
被引量：
1
9
作者
杨仁增
张良
+1 位作者
张苏
肖迎群
《贵州农机化》
2024年第3期44-46,50,共4页
针对计算机类专业嵌入式系统的课程教学特点,探讨了基于OBE理念的课程实践教学体系。课程组以提升学生实践动手能力为中心,确定课程教学目标并构建课程知识体系,将理论知识与系统开发工程实践各环节有机融合,采用项目任务驱动式教学法,...
针对计算机类专业嵌入式系统的课程教学特点,探讨了基于OBE理念的课程实践教学体系。课程组以提升学生实践动手能力为中心,确定课程教学目标并构建课程知识体系,将理论知识与系统开发工程实践各环节有机融合,采用项目任务驱动式教学法,优化课程考核评价方式,加大过程性考核力度。教学实践表明,该教学体系能有效提升嵌入式系统的课程教学质量,提升学生的工程实践能力。
展开更多
关键词
OBE
课程体系
应用型本科
嵌入式系统
在线阅读
下载PDF
职称材料
嵌入式系统中运动想象脑-机接口编解码算法综述
10
作者
于钦雯
周王成
+1 位作者
戴亚康
刘燕
《计算机工程与应用》
CSCD
北大核心
2024年第18期50-65,共16页
脑-机接口技术通过在大脑与外部设备之间建立信息传输通路,使用户能够对外部设备进行直接控制。近年来,基于运动想象范式的脑-机接口编解码算法研究在医疗健康、教育娱乐及日常生活设备中的应用范围越来越广,这些算法通常需要嵌入到硬...
脑-机接口技术通过在大脑与外部设备之间建立信息传输通路,使用户能够对外部设备进行直接控制。近年来,基于运动想象范式的脑-机接口编解码算法研究在医疗健康、教育娱乐及日常生活设备中的应用范围越来越广,这些算法通常需要嵌入到硬件设备中来满足实际应用的需求。介绍了近年来嵌入式系统中运动想象脑-机接口编解码算法研究现状,从传统机器学习算法和深度学习算法两个角度指出其对应的优缺点。重点介绍四类常用嵌入式平台的代表性设备及其优缺点,并针对不同的应用场景给出相应的硬件选型建议。归纳了更适用于嵌入式脑-机接口系统的评价指标并最终总结了领域内现存的挑战与未来发展方向。
展开更多
关键词
脑-机接口
运动想象
脑电信号编解码算法
嵌入式系统
在线阅读
下载PDF
职称材料
基于四旋翼无人机的嵌入式系统实践教学设计
被引量：
3
11
作者
王清华
胡永兵
李迎松
《实验室研究与探索》
CAS
北大核心
2024年第3期199-203,共5页
基于四旋翼无人机系统的软件、硬件平台,设计了嵌入式系统课程实践教学新案例。四旋翼无人机系统以睿抗机器人开发者大赛为基础,开发基于STM32F4嵌入式处理器的四旋翼无人机飞行器,通过程序设计实现自主避障、目标识别和模拟攻击。实验...
基于四旋翼无人机系统的软件、硬件平台,设计了嵌入式系统课程实践教学新案例。四旋翼无人机系统以睿抗机器人开发者大赛为基础,开发基于STM32F4嵌入式处理器的四旋翼无人机飞行器,通过程序设计实现自主避障、目标识别和模拟攻击。实验飞行测试结果证明,该四旋翼无人机系统能够很好地完成大赛既定目标任务。通过本无人机实践项目,可有效提高嵌入式系统课程的趣味性和工程性,培养学生的动手能力,并提升其参与创新创业及专业竞赛积极性,增强学生的学习兴趣。
展开更多
关键词
嵌入式系统
无人机
四旋翼
实践教学
在线阅读
下载PDF
职称材料
基于嵌入式系统的表面划痕测量装置的设计与实现
12
作者
李艳
贾志婷
+2 位作者
瞿剑苏
马晓苏
王霁
《计量学报》
CSCD
北大核心
2024年第3期402-411,共10页
针对飞机机身蒙皮、座舱玻璃等装备零部件表面的划痕深度和宽度现场定量检测的需求,研制了一套基于嵌入式系统的表面划痕测量装置。装置基于光切原理设计,以嵌入式ARM(advanced RISC machines)开发板为硬件平台,连接工业相机和显微镜组...
针对飞机机身蒙皮、座舱玻璃等装备零部件表面的划痕深度和宽度现场定量检测的需求,研制了一套基于嵌入式系统的表面划痕测量装置。装置基于光切原理设计,以嵌入式ARM(advanced RISC machines)开发板为硬件平台,连接工业相机和显微镜组,采集由投射光路投射出的平行光条并经过被测表面调制后的图像,经过图像处理和划痕特征提取,计算划痕的深度和宽度,测量结果可数字化显示并保存。试验结果表明,装置在0.005~0.060 mm测量范围内的示值误差不超过±2.0μm,在0.060~2.000 mm的测量范围内的相对示值误差优于±4%。测量装置具备小型化、一体化、高精度、快速、易操作等特点,适用于在现场环境中对飞机机身各处的划痕进行直接测量。
展开更多
关键词
几何量计量
划痕
蒙皮
座舱玻璃
光切
嵌入式系统
图像处理
飞机维修
在线阅读
下载PDF
职称材料
农业机械中嵌入式系统设计与应用
被引量：
4
13
作者
石杰鹏
《农机使用与维修》
2024年第12期34-37,共4页
随着农业机械智能化水平的不断提升,嵌入式系统的设计与应用成为提高农业生产效率和精度的重要手段。该文设计一种农业机械嵌入式系统,集成ZigBee无线通信技术、NB-IoT模块和MCU(微控制单元),可以实现对农业机械工作参数的实时监控与远...
随着农业机械智能化水平的不断提升,嵌入式系统的设计与应用成为提高农业生产效率和精度的重要手段。该文设计一种农业机械嵌入式系统,集成ZigBee无线通信技术、NB-IoT模块和MCU(微控制单元),可以实现对农业机械工作参数的实时监控与远程控制,通过嵌入式系统进行数据处理与电源管理,利用NB-IoT实现远程数据传输,保证系统的高效性、可扩展性和节能性。该系统显著提升农业机械生产的运行可靠性和环境控制能力,并为精准农业应用提供了参考框架,同时提出未来嵌入式系统在农业机械中应用的发展方向和优化建议,为智能农业机械的进一步发展奠定了基础。
展开更多
关键词
农业机械
嵌入式系统
ZIGBEE
无线通信
NB-IoT
在线阅读
下载PDF
职称材料
CCF理事说|四川大学郭兵教授:打造嵌入式技术与产业发展生态圈,推进嵌入式系统“云边端”协同智能发展
被引量：
1
14
《信息网络安全》
CSCD
北大核心
2024年第7期1014-1014,共1页
嵌入式系统专业委员会成立于1979年,前身为微机专业委员会。专委会涉及嵌入式微处理器、系统芯片及智能微系统、嵌入式系统设计、嵌入式软件工程、嵌入式系统应用技术等专业方向,以及智能嵌入式计算、可信嵌入式计算、开源嵌入式软硬件...
嵌入式系统专业委员会成立于1979年,前身为微机专业委员会。专委会涉及嵌入式微处理器、系统芯片及智能微系统、嵌入式系统设计、嵌入式软件工程、嵌入式系统应用技术等专业方向,以及智能嵌入式计算、可信嵌入式计算、开源嵌入式软硬件、信息物理融合系统等前沿领域,应用范围非常广泛,是设备数字化、网络化、智能化的重要技术支撑手段。专委会致力于嵌入式系统科学与技术的发展,为国内外嵌入式系统及相关领域的专家、学者、工程师、技术管理者和研究生提供学术研讨和技术交流平台,推动“政产学研用”合作,引领技术进步、支撑产业发展。
展开更多
关键词
信息物理融合
系统
嵌入式系统
嵌入
式
计算
嵌入
式
微处理器
嵌入
式
软件
智能微
系统
政产学研用
生态圈
在线阅读
下载PDF
职称材料
基于嵌入式系统的新能源汽车智能节能控制系统设计
被引量：
3
15
作者
王艳艳
《农机使用与维修》
2024年第1期26-29,共4页
随着环保意识的增强和能源危机的加剧,新能源汽车作为一种绿色、可持续的交通工具,受到了广泛关注。为进一步提高新能源汽车的能源利用效率,智能节能控制系统成为了研究的热点。该文首先介绍嵌入式系统在新能源汽车中的应用现状和发展...
随着环保意识的增强和能源危机的加剧,新能源汽车作为一种绿色、可持续的交通工具,受到了广泛关注。为进一步提高新能源汽车的能源利用效率,智能节能控制系统成为了研究的热点。该文首先介绍嵌入式系统在新能源汽车中的应用现状和发展趋势。接着,详细介绍智能节能控制系统的设计原则和方法,包括能量管理、动力分配、驾驶行为识别和环境感知等方面的智能控制策略。最后,通过实际案例和试验结果来验证该系统的性能和效果,并对未来的发展方向和应用前景进行展望。研究成果对于新能源汽车的节能控制和能源管理具有一定的理论和实际应用价值,可为新能源汽车的智能化发展提供参考。
展开更多
关键词
新能源汽车
智能节能控制
嵌入式系统
动力分配
驾驶行为识别
环境感知
在线阅读
下载PDF
职称材料
关于嵌入式系统在智能农机上的应用研究
被引量：
1
16
作者
孙百惠
《农机使用与维修》
2024年第7期78-80,共3页
研究在智能农机领域中嵌入式系统的国内外应用现状。通过我国应用的具体实例,指出了嵌入式系统在智能农机应用上的作用。探讨了嵌入式系统在智能农机应用领域的未来发展走向,重点分析技术革新、智能化升级、环境适应性、数据驱动决策支...
研究在智能农机领域中嵌入式系统的国内外应用现状。通过我国应用的具体实例,指出了嵌入式系统在智能农机应用上的作用。探讨了嵌入式系统在智能农机应用领域的未来发展走向,重点分析技术革新、智能化升级、环境适应性、数据驱动决策支持等方面。经综合分析可以得出,嵌入式系统将在推动智能农机技术创新、促进农业可持续发展方面发挥核心作用。
展开更多
关键词
嵌入式系统
智能农机领域
应用现状
发展趋势
在线阅读
下载PDF
职称材料
嵌入式系统可信平台模块研究
被引量：
40
17
作者
张焕国
李晶
+1 位作者
潘丹铃
赵波
《计算机研究与发展》
EI
CSCD
北大核心
2011年第7期1269-1278,共10页
如何有效增强嵌入式系统的安全性是信息安全领域研究的热点和难点之一.相关研究表明,可信平台模块对于有效提高信息系统的安全性十分重要.然而,现有的可信平台模块是为个人计算机设计的,并不能满足嵌入式系统特有的应用需求.针对上述问...
如何有效增强嵌入式系统的安全性是信息安全领域研究的热点和难点之一.相关研究表明,可信平台模块对于有效提高信息系统的安全性十分重要.然而,现有的可信平台模块是为个人计算机设计的,并不能满足嵌入式系统特有的应用需求.针对上述问题,设计了一种适应嵌入式环境的新型嵌入式可信平台模块(embedded trusted platform module,ETPM).作为嵌入式可信平台模块的重要组成部分,总线仲裁提高了ETPM的控制能力,增强了嵌入式系统的安全性;对称密码引擎提高了嵌入式系统的对称密码运算效率;系统备份恢复增强了嵌入式系统的可靠性.除此之外,ETPM还能够支持嵌入式平台的星型信任度量模型.这一设计已经在可信PDA中进行了实验验证,实验表明嵌入式可信平台模块是实用、高效、可靠、安全的.
展开更多
关键词
信息安全
可信计算
嵌入式系统
可信平台模块
嵌入式系统
可信平台模块
在线阅读
下载PDF
职称材料
基于移动嵌入式系统硬/软件协同设计的EHSC算法
被引量：
3
18
作者
张江陵
郑世珏
胡金柱
《计算机科学》
CSCD
北大核心
2005年第10期210-213,共4页
嵌入式系统设计的一个重要任务就是寻找硬/软件最佳搭配方案。随着系统复杂性的不断提高,采用嵌入式系统硬/软件协同设计是提高设计质量的有效手段。本文在讨论嵌入式系统设计一般方法的基础上,阐述了系统的硬/软件协同设计技术和硬件/...
嵌入式系统设计的一个重要任务就是寻找硬/软件最佳搭配方案。随着系统复杂性的不断提高,采用嵌入式系统硬/软件协同设计是提高设计质量的有效手段。本文在讨论嵌入式系统设计一般方法的基础上,阐述了系统的硬/软件协同设计技术和硬件/软件划分方法,提出了以系统硬/软件划分策略为基础,系统组件的权重值为参考,组成元素划分为依据的设计理念,构造了基于移动环境的系统的硬/软件协同设计的EHSC(EmbeddedHardware/Soft-wareCodesign)模型。并依照此模型,实现了一种移动嵌入式系统“电子书包”阅读器的设计和开发。
展开更多
关键词
嵌入式系统
硬件/软件协同设计
EHSC算法
嵌入式系统
设计
软件划分
协同设计
SC算法
系统
复杂性
搭配方案
设计质量
设计技术
划分策略
在线阅读
下载PDF
职称材料
基于SystemC的嵌入式系统设计的描述模型
被引量：
1
19
作者
栾静
顾君忠
《计算机科学》
CSCD
北大核心
2005年第8期209-212,共4页
系统建模是嵌入式系统设计的关键步骤,其好坏直接影响着设计的质量和产品的上市时间。已有多种建模方案,但每种都有其局限性。本文提出一种由5层模型组成的嵌入式系统设计的模型框架。它能够从需求描述开始,建立CDM功能模型,经一致性验...
系统建模是嵌入式系统设计的关键步骤,其好坏直接影响着设计的质量和产品的上市时间。已有多种建模方案,但每种都有其局限性。本文提出一种由5层模型组成的嵌入式系统设计的模型框架。它能够从需求描述开始,建立CDM功能模型,经一致性验证,满足设计要求后映射到SystemC抽象模型上。利用SystemC的硬件描述特征和仿真库,增加设计细节,分层细化模型并进行验证,最后达到软硬件的协同设计和综合实现的目的。
展开更多
关键词
嵌入式系统
分层抽象模型
SYSTEMC
嵌入式系统
设计
描述模型
一致性验证
系统
建模
关键步骤
上市时间
模型框架
在线阅读
下载PDF
职称材料
嵌入式系统开发中敏捷方法的应用研究综述
被引量：
36
20
作者
荣国平
刘天宇
+3 位作者
谢明娟
陈婕妤
张贺
陈道蓄
《软件学报》
EI
CSCD
北大核心
2014年第2期267-283,共17页
伴随着计算机技术的迅速发展,嵌入式系统软件的应用领域得以不断拓宽,这使得嵌入式系统开发面临着日益严峻的质量、成本以及项目周期等方面的压力.另一方面,敏捷方法已在传统的软件项目当中得到越来越多的应用.很多研究都表明,敏捷方法...
伴随着计算机技术的迅速发展,嵌入式系统软件的应用领域得以不断拓宽,这使得嵌入式系统开发面临着日益严峻的质量、成本以及项目周期等方面的压力.另一方面,敏捷方法已在传统的软件项目当中得到越来越多的应用.很多研究都表明,敏捷方法在适应需求变更、提升生产效率和最终产品的质量方面都发挥出显著的作用.因此,在嵌入式系统软件开发中应用敏捷方法,自然也得到研究者和实践者的日益关注.应用系统评价(systematic review)方法,试图尽可能系统地了解嵌入式系统开发过程中敏捷方法的应用状况和研究进展.通过对敏捷宣言提出以来12年间49篇相关文献的概况和分析,试图回答如下3个问题:1)在不同类型的嵌入式系统开发中,敏捷方法的总体应用情况如何?2)敏捷方法或实践是如何解决各类嵌入式软件开发中的挑战的?3)敏捷方法(实践)该如何通过扩展和改进,以更好地适应嵌入式系统开发?研究表明,尽管应用程度存在一定的差异,但敏捷方法已在不同类型的嵌入式开发中得到了应用.传统的敏捷方法也需要进行多种改变,以适应这些不同类型的嵌入式开发项目的特征.
展开更多
关键词
嵌入式系统
开发
敏捷方法
应用现状
系统
评价
在线阅读
下载PDF
职称材料
题名
嵌入式系统的需求描述综述
被引量：
3
1
作者
陈小红
刘少彬
金芝
机构
上海市高可信计算重点实验室(华东师范大学)
高可信软件技术教育部重点实验室(北京大学)
北京大学计算机学院
出处
《软件学报》
北大核心
2025年第1期27-46,共20页
基金
国家自然科学基金(62192731,62272166,62192730)。
文摘
随着嵌入式系统的广泛应用,其需求正变得越来越复杂,需求分析成为嵌入式系统开发的关键阶段,如何准确地建模和描述需求成为首要问题.系统地调研嵌入式系统的需求描述,并进行全面的比较分析,以便更深入地理解嵌入式系统需求的核心关注点.首先采用系统化文献综述方法,对1979年1月–2023年11月间发表的相关文献进行识别、筛选、汇总和分析.通过自动检索和滚雪球等检索过程,筛选出150篇与主题密切相关的文献,力求文献综述的全面性.其次,从需求描述关注点、需求描述维度、需求分析要素等方面,分析现有嵌入式需求描述语言的表达能力.最后,总结现有嵌入式系统软件需求描述所面临的挑战,并针对嵌入式软件智能合成任务,提出对嵌入式系统需求描述方法表达能力的要求.
关键词
嵌入式系统
需求描述
需求描述语言
需求分析
系统
需求
Keywords
embedded system
requirements description
requirements description language
requirements analysis
system requirements
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
智能嵌入式系统专题序言
2
作者
郭兵
邓庆绪
陈铭松
张凯龙
谢国琪
周俊龙
机构
四川大学
东北大学
华东师范大学
西北工业大学
湖南大学
南京理工大学
出处
《计算机科学》
北大核心
2025年第4期1-3,共3页
文摘
作为数字与物理、信息与应用交叉融合的重要基石,嵌入式系统技术在近十年被广泛应用于社会生产、生活、国防等诸多领域,并快速推动了这些领域的数字化、网络化和智能化发展。目前,随着人工智能技术和嵌入式芯片技术的发展,人工智能开始逐步向嵌入式系统迁移,尤其是随着机器人、无人机、无人车等智能设备的技术成熟,越来越多的应用需要在嵌入式系统上实现,嵌入式人工智能迎来崭新机遇。
关键词
智能
嵌入式系统
人工智能
机器人
无人机
无人车
网络化
智能化
技术发展
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
基于嵌入式系统的采摘机器人作业控制研究
被引量：
3
3
作者
范江波
机构
河南科技大学应用工程学院
三门峡职业技术学院智能制造学院
出处
《农机化研究》
北大核心
2025年第6期53-57,77,共6页
基金
河南省高等学校重点科研项目(22B413007)
三门峡市科技发展计划项目(2021002005,2021002003)
三门峡职业技术学院自然科学科研项目(SZY-2022-005)。
文摘
采摘作业是农副产品生产的重要环节,直接影响农副产品的效益。为此,针对传统采摘作业存在的采摘手段落后、精度差和效率低等问题,以草莓采摘机器人为研究对象,在深入研究其结构组成和工作原理的基础上,引入嵌入式系统,完成了采摘机械手的运动学分析。通过采摘机器人控制系统的硬件总体设计,完成了控制系统硬件模块选型,并进行了作业控制的仿真分析。采摘试验结果表明:基于嵌入式系统的采摘机器人能够精确控制采摘作业,采摘精度和目标识别率都达到了设计目标,且系统运行较为安全和稳定。
关键词
采摘机器人
作业控制
目标识别
运动学分析
嵌入式系统
Keywords
picking robot
job control
target recognition
kinematics analysis
embedded system
分类号
S225 [农业科学—农业机械化工程]
在线阅读
下载PDF
职称材料
题名
藏文句向量预训练模型在嵌入式系统中的应用研究
4
作者
吕皓
吕慧
雍宾宾
多拉
李妍
周庆国
周睿
机构
兰州大学信息科学与工程学院
青海师范大学省部共建藏语智能信息处理及应用国家重点实验室
出处
《小型微型计算机系统》
北大核心
2025年第1期8-15,共8页
基金
国家重点研发计划项目(2020YFC0832500)资助
国家自然科学基金项目(61402210)资助
国家自然基金项目(62266037)资助。
文摘
本文研究了将藏文句向量预训练模型部署到嵌入式系统上进行推理和测试的问题.在机器学习中,对文本进行编码和表征存在困难,因此句向量技术成为自然语言处理领域的重要研究方向.然而,在藏文自然语言处理领域,句向量研究相对较少.为此,本文分析了藏文领域已有的预训练模型和句向量表示方法,并设计了一种改进的无监督SimCSE方法(Improved Simple Contrastive Learning of Unsupervised Sentence Embeddings,I-SimCSE).实验结果显示,使用I-SimCSE方法得到的藏文句向量模型性能优于其他方法.同时,本文探讨了边缘计算与预训练模型相结合的应用,并讨论了预训练语言模型在嵌入式系统上的潜在应用场景.最后,本文将I-SimCSE句向量模型部署在嵌入式设备Jetson TX1上,并测试了其平均单次推理时间,结果表明在嵌入式系统上部署预训练语言模型进行推理是可行的.综上所述,本文的研究对于藏文句向量预训练模型在嵌入式系统上的应用研究提供了有益的参考,并为未来藏文大模型在嵌入式系统的发展提供了指导和启示.
关键词
藏文
句向量表示
嵌入式系统
预训练模型
Keywords
Tibetan
sentence vector representation
embedded system
pre-trained model
分类号
TP302 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
复杂嵌入式系统需求一致性的组合验证方法
5
作者
杨晓
王小齐
陈小红
金芝
机构
上海市高可信计算重点实验室(华东师范大学)
高可信软件技术教育部重点实验室(北京大学)
北京大学计算机学院
出处
《软件学报》
北大核心
2025年第4期1413-1434,共22页
文摘
形式化方法在需求一致性验证领域已经取得了显著的成就.然而,随着嵌入式系统需求复杂度的不断提升,需求一致性验证面临着状态空间过大的挑战.为了有效约减验证的状态空间,同时考虑到嵌入式系统需求所涉及的设备强依赖性,提出一种复杂嵌入式系统需求一致性的组合验证方法.它基于需求分解,识别需求间的依赖关系,通过这些依赖关系组装验证子系统,从而实现对复杂嵌入式系统需求的组合验证,并能初步定位到不一致的需求.具体而言,采用问题框架方法对需求进行建模和分解,并预设领域设备知识库对设备的物理特性进行建模.在验证子系统的组装过程中,生成预期软件的行为模型,并结合物理设备的模型进行动态组装.最后,采用航空领域机载侦查系统进行了实例研究,验证了方法的可行性和有效性,并通过5个案例评估证实了验证状态空间的显著减小.此方法为复杂嵌入式系统需求的验证提供了一种切实可行的解决方案.
关键词
复杂
嵌入式系统
需求一致性
组合验证
Keywords
complex embedded system
requirements consistency
compositional verification
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于嵌入式系统的辣椒采摘机器人设计
被引量：
1
6
作者
刘锦辉
余江
熊铎云
林钰贵
徐芷婷
董振烨
机构
广东海洋大学机械工程学院
广东海洋大学电子与信息工程学院
广东海洋大学深蓝智能机电产品创新团队
出处
《南方农机》
2025年第10期24-27,32,共5页
基金
大学生创新创业训练计划项目“基于yolo系列深度学习的辣椒采摘养护一体机”(202410566009)
广东海洋大学深蓝智能机电产品创新团队(CXTD2023009)。
文摘
【目的】解决传统辣椒采摘机器人存在的控制复杂、采摘精度低、成本高、无法满足大规模作业的问题。【方法】介绍了一种基于嵌入式系统的辣椒采摘机器人,首先使用D-H参数法对机械手进行运动学分析,优化运动控制;其次采用STM32单片机作为主控板,结合YOLOv5视觉识别算法,实现对辣椒的精准识别与定位;最后通过二自由度机械手与三轴传动机构实现协同控制,同时引入激光测距模块,实现末端位置的精确定位与操作。【结果】通过现场实地作业测试,该机器人具备高效的辣椒识别与采摘能力,在运动学模型与控制算法优化后,机械手操作更加精准,能够提升采摘效率并降低生产成本。【结论】本研究具有广阔的应用前景,有助于采摘机器人在农业领域的推广和应用,为农业现代化的实现提供科技助力。
关键词
辣椒采摘
嵌入式系统
运行学分析
视觉识别
多轴协同
Keywords
chili picking
embedded systems
kinematic analysis
visual recognition
multi-axis coordination
分类号
TP242.3 [自动化与计算机技术—检测技术与自动化装置]
在线阅读
下载PDF
职称材料
题名
形式验证方法在军用嵌入式系统软件验证中的应用
7
作者
邸亮
苏月怡
机构
北方信息控制研究院集团有限公司
出处
《火力与指挥控制》
北大核心
2025年第9期190-197,共8页
文摘
嵌入式系统被广泛应用在军事领域中,其稳定性关乎着武器装备的战斗力。如何全面、可靠地验证军用嵌入式系统是军用嵌入式系统软件测试的重要环节。嵌入式系统中存在大量随机中断的运用,令传统的系统软件测试手段难以对军用嵌入式系统进行全面准确的验证。将形式验证方法引入嵌入式系统验证,并以随机中断对系统运行可靠性影响为例进行了设计应用和分析,提出了一种可行的形式验证方法作为军用嵌入式系统检测验证的方法补充。
关键词
形
式
验证
中断程序
军用
嵌入式系统
验证
形
式
语言
Maude
系统
Keywords
formal verification
interrupt program
military embedded system verification
formal language
Maude system
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于投影的嵌入式系统需求分析方法
8
作者
王小齐
陈小红
金芝
顾斌
綦艳霞
机构
上海高可信计算重点实验室(华东师范大学)
高可信软件技术教育部重点实验室(北京大学)
北京大学计算机学院
北京控制工程研究所
出处
《软件学报》
EI
CSCD
北大核心
2024年第12期5397-5418,共22页
基金
国家自然科学基金(62192731,62272166,62192730)。
文摘
嵌入式系统正变得越来越复杂,其软件系统的需求分析成为嵌入式系统开发的瓶颈问题.设备依赖性和执行逻辑的交织性是嵌入式软件系统的典型特征,要求需求分析方法能根据所依赖的设备进行有效的需求解耦.从基于环境建模的需求工程思想出发,针对嵌入式软件系统的特征,提出一种基于投影的从系统需求到软件需求的分析方法,帮助需求工程师对需求进行有效解耦.首先总结嵌入式软件系统的系统需求与软件需求描述,基于交互环境特性定义嵌入式软件系统的需求解耦策略,并设计从系统需求到软件需求的规约过程.在航天器太阳搜索系统进行实际案例研究,并通过耦合度与内聚性两个指标对5个代表性案例场景进行量化评估,展示所提方法的有效性.
关键词
嵌入式系统
需求分析
需求解耦
问题投影
软件需求
Keywords
embedded system
requirement analysis
requirement decoupling
problem projection
software requirement
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
应用型计算机类本科专业嵌入式系统实践教学体系探索
被引量：
1
9
作者
杨仁增
张良
张苏
肖迎群
机构
贵州理工学院
出处
《贵州农机化》
2024年第3期44-46,50,共4页
基金
贵州省高等学校教学内容和课程体系改革项目(2020129)。
文摘
针对计算机类专业嵌入式系统的课程教学特点,探讨了基于OBE理念的课程实践教学体系。课程组以提升学生实践动手能力为中心,确定课程教学目标并构建课程知识体系,将理论知识与系统开发工程实践各环节有机融合,采用项目任务驱动式教学法,优化课程考核评价方式,加大过程性考核力度。教学实践表明,该教学体系能有效提升嵌入式系统的课程教学质量,提升学生的工程实践能力。
关键词
OBE
课程体系
应用型本科
嵌入式系统
分类号
G64 [文化科学—高等教育学]
在线阅读
下载PDF
职称材料
题名
嵌入式系统中运动想象脑-机接口编解码算法综述
10
作者
于钦雯
周王成
戴亚康
刘燕
机构
山东中医药大学智能与信息工程学院
中国科学院苏州生物医学工程技术研究所
出处
《计算机工程与应用》
CSCD
北大核心
2024年第18期50-65,共16页
基金
国家自然科学基金(62271481)
江苏省重点研发计划(BE2021012-5)
+1 种基金
科技创新2030“脑科学与类脑研究”重大项目(2022ZD0208500)
苏州市基础研究试点项目(SJC2022012)。
文摘
脑-机接口技术通过在大脑与外部设备之间建立信息传输通路,使用户能够对外部设备进行直接控制。近年来,基于运动想象范式的脑-机接口编解码算法研究在医疗健康、教育娱乐及日常生活设备中的应用范围越来越广,这些算法通常需要嵌入到硬件设备中来满足实际应用的需求。介绍了近年来嵌入式系统中运动想象脑-机接口编解码算法研究现状,从传统机器学习算法和深度学习算法两个角度指出其对应的优缺点。重点介绍四类常用嵌入式平台的代表性设备及其优缺点,并针对不同的应用场景给出相应的硬件选型建议。归纳了更适用于嵌入式脑-机接口系统的评价指标并最终总结了领域内现存的挑战与未来发展方向。
关键词
脑-机接口
运动想象
脑电信号编解码算法
嵌入式系统
Keywords
brain-computer interface(BCI)
motor imagery
EEG signal encoding and decoding algorithms
embedded system
分类号
R318 [医药卫生—生物医学工程]
TN911.7 [电子电信—通信与信息系统]
在线阅读
下载PDF
职称材料
题名
基于四旋翼无人机的嵌入式系统实践教学设计
被引量：
3
11
作者
王清华
胡永兵
李迎松
机构
安徽大学电子信息工程学院
出处
《实验室研究与探索》
CAS
北大核心
2024年第3期199-203,共5页
基金
国家重点研发计划项目(2022YFE0123600)
教育部产学合作协同育人项目(221002455084741)
教育部产学合作协同育人项目(230728103507188)。
文摘
基于四旋翼无人机系统的软件、硬件平台,设计了嵌入式系统课程实践教学新案例。四旋翼无人机系统以睿抗机器人开发者大赛为基础,开发基于STM32F4嵌入式处理器的四旋翼无人机飞行器,通过程序设计实现自主避障、目标识别和模拟攻击。实验飞行测试结果证明,该四旋翼无人机系统能够很好地完成大赛既定目标任务。通过本无人机实践项目,可有效提高嵌入式系统课程的趣味性和工程性,培养学生的动手能力,并提升其参与创新创业及专业竞赛积极性,增强学生的学习兴趣。
关键词
嵌入式系统
无人机
四旋翼
实践教学
Keywords
embedded system
unmanned aerial vehicle
quadrotor
practice teaching
分类号
TP242.3 [自动化与计算机技术—检测技术与自动化装置]
在线阅读
下载PDF
职称材料
题名
基于嵌入式系统的表面划痕测量装置的设计与实现
12
作者
李艳
贾志婷
瞿剑苏
马晓苏
王霁
机构
中国航空工业集团公司北京长城计量测试技术研究所
出处
《计量学报》
CSCD
北大核心
2024年第3期402-411,共10页
基金
国防部技术基础科研项目(JSJL2020205A001)。
文摘
针对飞机机身蒙皮、座舱玻璃等装备零部件表面的划痕深度和宽度现场定量检测的需求,研制了一套基于嵌入式系统的表面划痕测量装置。装置基于光切原理设计,以嵌入式ARM(advanced RISC machines)开发板为硬件平台,连接工业相机和显微镜组,采集由投射光路投射出的平行光条并经过被测表面调制后的图像,经过图像处理和划痕特征提取,计算划痕的深度和宽度,测量结果可数字化显示并保存。试验结果表明,装置在0.005~0.060 mm测量范围内的示值误差不超过±2.0μm,在0.060~2.000 mm的测量范围内的相对示值误差优于±4%。测量装置具备小型化、一体化、高精度、快速、易操作等特点,适用于在现场环境中对飞机机身各处的划痕进行直接测量。
关键词
几何量计量
划痕
蒙皮
座舱玻璃
光切
嵌入式系统
图像处理
飞机维修
Keywords
geometric metrology
scratches
aircraft skin
cabin glass
lightsection
embedded system
image processing
aircraft maintenance
分类号
TB92 [机械工程—测试计量技术及仪器]
在线阅读
下载PDF
职称材料
题名
农业机械中嵌入式系统设计与应用
被引量：
4
13
作者
石杰鹏
机构
江苏省东海中等专业学校
出处
《农机使用与维修》
2024年第12期34-37,共4页
文摘
随着农业机械智能化水平的不断提升,嵌入式系统的设计与应用成为提高农业生产效率和精度的重要手段。该文设计一种农业机械嵌入式系统,集成ZigBee无线通信技术、NB-IoT模块和MCU(微控制单元),可以实现对农业机械工作参数的实时监控与远程控制,通过嵌入式系统进行数据处理与电源管理,利用NB-IoT实现远程数据传输,保证系统的高效性、可扩展性和节能性。该系统显著提升农业机械生产的运行可靠性和环境控制能力,并为精准农业应用提供了参考框架,同时提出未来嵌入式系统在农业机械中应用的发展方向和优化建议,为智能农业机械的进一步发展奠定了基础。
关键词
农业机械
嵌入式系统
ZIGBEE
无线通信
NB-IoT
Keywords
agricultural machinery
embedded system
ZigBee
wireless communication
NB-IoT
分类号
S24 [农业科学—农业电气化与自动化]
在线阅读
下载PDF
职称材料
题名
CCF理事说|四川大学郭兵教授:打造嵌入式技术与产业发展生态圈,推进嵌入式系统“云边端”协同智能发展
被引量：
1
14
出处
《信息网络安全》
CSCD
北大核心
2024年第7期1014-1014,共1页
文摘
嵌入式系统专业委员会成立于1979年,前身为微机专业委员会。专委会涉及嵌入式微处理器、系统芯片及智能微系统、嵌入式系统设计、嵌入式软件工程、嵌入式系统应用技术等专业方向,以及智能嵌入式计算、可信嵌入式计算、开源嵌入式软硬件、信息物理融合系统等前沿领域,应用范围非常广泛,是设备数字化、网络化、智能化的重要技术支撑手段。专委会致力于嵌入式系统科学与技术的发展,为国内外嵌入式系统及相关领域的专家、学者、工程师、技术管理者和研究生提供学术研讨和技术交流平台,推动“政产学研用”合作,引领技术进步、支撑产业发展。
关键词
信息物理融合
系统
嵌入式系统
嵌入
式
计算
嵌入
式
微处理器
嵌入
式
软件
智能微
系统
政产学研用
生态圈
分类号
F49 [经济管理—产业经济]
TP368.1 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
基于嵌入式系统的新能源汽车智能节能控制系统设计
被引量：
3
15
作者
王艳艳
机构
山西铁道职业技术学院
出处
《农机使用与维修》
2024年第1期26-29,共4页
文摘
随着环保意识的增强和能源危机的加剧,新能源汽车作为一种绿色、可持续的交通工具,受到了广泛关注。为进一步提高新能源汽车的能源利用效率,智能节能控制系统成为了研究的热点。该文首先介绍嵌入式系统在新能源汽车中的应用现状和发展趋势。接着,详细介绍智能节能控制系统的设计原则和方法,包括能量管理、动力分配、驾驶行为识别和环境感知等方面的智能控制策略。最后,通过实际案例和试验结果来验证该系统的性能和效果,并对未来的发展方向和应用前景进行展望。研究成果对于新能源汽车的节能控制和能源管理具有一定的理论和实际应用价值,可为新能源汽车的智能化发展提供参考。
关键词
新能源汽车
智能节能控制
嵌入式系统
动力分配
驾驶行为识别
环境感知
Keywords
new energy vehicles
intelligent energy-saving control
embedded system
power distribution
driving be-havior recognition
environment awareness
分类号
U469.7 [机械工程—车辆工程]
在线阅读
下载PDF
职称材料
题名
关于嵌入式系统在智能农机上的应用研究
被引量：
1
16
作者
孙百惠
机构
黑龙江省农业机械工程科学研究院牡丹江分院
出处
《农机使用与维修》
2024年第7期78-80,共3页
文摘
研究在智能农机领域中嵌入式系统的国内外应用现状。通过我国应用的具体实例,指出了嵌入式系统在智能农机应用上的作用。探讨了嵌入式系统在智能农机应用领域的未来发展走向,重点分析技术革新、智能化升级、环境适应性、数据驱动决策支持等方面。经综合分析可以得出,嵌入式系统将在推动智能农机技术创新、促进农业可持续发展方面发挥核心作用。
关键词
嵌入式系统
智能农机领域
应用现状
发展趋势
Keywords
Embedded system
Intelligent agricultural machinery field
Application status
Development trend
分类号
S232.9 [农业科学—农业机械化工程]
在线阅读
下载PDF
职称材料
题名
嵌入式系统可信平台模块研究
被引量：
40
17
作者
张焕国
李晶
潘丹铃
赵波
机构
武汉大学计算机学院武汉
空天信息安全与可信计算教育部重点实验室武汉大学武汉
出处
《计算机研究与发展》
EI
CSCD
北大核心
2011年第7期1269-1278,共10页
基金
国家自然科学基金项目(60970115,61003268,91018008)
湖北省自然科学基金重点项目(2009429)
+1 种基金
中央高校基本科研业务费专项基金项目(3101038)
武汉大学国防培育基金项目(29)
文摘
如何有效增强嵌入式系统的安全性是信息安全领域研究的热点和难点之一.相关研究表明,可信平台模块对于有效提高信息系统的安全性十分重要.然而,现有的可信平台模块是为个人计算机设计的,并不能满足嵌入式系统特有的应用需求.针对上述问题,设计了一种适应嵌入式环境的新型嵌入式可信平台模块(embedded trusted platform module,ETPM).作为嵌入式可信平台模块的重要组成部分,总线仲裁提高了ETPM的控制能力,增强了嵌入式系统的安全性;对称密码引擎提高了嵌入式系统的对称密码运算效率;系统备份恢复增强了嵌入式系统的可靠性.除此之外,ETPM还能够支持嵌入式平台的星型信任度量模型.这一设计已经在可信PDA中进行了实验验证,实验表明嵌入式可信平台模块是实用、高效、可靠、安全的.
关键词
信息安全
可信计算
嵌入式系统
可信平台模块
嵌入式系统
可信平台模块
Keywords
information security
trusted computing
embedded system
trusted platform module
embedded trusted platform module
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
基于移动嵌入式系统硬/软件协同设计的EHSC算法
被引量：
3
18
作者
张江陵
郑世珏
胡金柱
机构
华中科技大学计算机科学与技术学院
华中师范大学计算机科学系
出处
《计算机科学》
CSCD
北大核心
2005年第10期210-213,共4页
基金
国家自然科学基金(60174043)
文摘
嵌入式系统设计的一个重要任务就是寻找硬/软件最佳搭配方案。随着系统复杂性的不断提高,采用嵌入式系统硬/软件协同设计是提高设计质量的有效手段。本文在讨论嵌入式系统设计一般方法的基础上,阐述了系统的硬/软件协同设计技术和硬件/软件划分方法,提出了以系统硬/软件划分策略为基础,系统组件的权重值为参考,组成元素划分为依据的设计理念,构造了基于移动环境的系统的硬/软件协同设计的EHSC(EmbeddedHardware/Soft-wareCodesign)模型。并依照此模型,实现了一种移动嵌入式系统“电子书包”阅读器的设计和开发。
关键词
嵌入式系统
硬件/软件协同设计
EHSC算法
嵌入式系统
设计
软件划分
协同设计
SC算法
系统
复杂性
搭配方案
设计质量
设计技术
划分策略
Keywords
Embedded system, Hardware/software codesign, EHSC algorithm
分类号
TP332 [自动化与计算机技术—计算机系统结构]
TP273 [自动化与计算机技术—检测技术与自动化装置]
在线阅读
下载PDF
职称材料
题名
基于SystemC的嵌入式系统设计的描述模型
被引量：
1
19
作者
栾静
顾君忠
机构
华东师范大学计算机系计算机应用研究所
出处
《计算机科学》
CSCD
北大核心
2005年第8期209-212,共4页
基金
上海市科技发展基金(No.025007014)
文摘
系统建模是嵌入式系统设计的关键步骤,其好坏直接影响着设计的质量和产品的上市时间。已有多种建模方案,但每种都有其局限性。本文提出一种由5层模型组成的嵌入式系统设计的模型框架。它能够从需求描述开始,建立CDM功能模型,经一致性验证,满足设计要求后映射到SystemC抽象模型上。利用SystemC的硬件描述特征和仿真库,增加设计细节,分层细化模型并进行验证,最后达到软硬件的协同设计和综合实现的目的。
关键词
嵌入式系统
分层抽象模型
SYSTEMC
嵌入式系统
设计
描述模型
一致性验证
系统
建模
关键步骤
上市时间
模型框架
Keywords
Embedded system, Hierarchical abstract models, SystemC
分类号
TP332 [自动化与计算机技术—计算机系统结构]
TN402 [电子电信—微电子学与固体电子学]
在线阅读
下载PDF
职称材料
题名
嵌入式系统开发中敏捷方法的应用研究综述
被引量：
36
20
作者
荣国平
刘天宇
谢明娟
陈婕妤
张贺
陈道蓄
机构
南京大学软件学院
南京大学计算机科学与技术系
出处
《软件学报》
EI
CSCD
北大核心
2014年第2期267-283,共17页
文摘
伴随着计算机技术的迅速发展,嵌入式系统软件的应用领域得以不断拓宽,这使得嵌入式系统开发面临着日益严峻的质量、成本以及项目周期等方面的压力.另一方面,敏捷方法已在传统的软件项目当中得到越来越多的应用.很多研究都表明,敏捷方法在适应需求变更、提升生产效率和最终产品的质量方面都发挥出显著的作用.因此,在嵌入式系统软件开发中应用敏捷方法,自然也得到研究者和实践者的日益关注.应用系统评价(systematic review)方法,试图尽可能系统地了解嵌入式系统开发过程中敏捷方法的应用状况和研究进展.通过对敏捷宣言提出以来12年间49篇相关文献的概况和分析,试图回答如下3个问题:1)在不同类型的嵌入式系统开发中,敏捷方法的总体应用情况如何?2)敏捷方法或实践是如何解决各类嵌入式软件开发中的挑战的?3)敏捷方法(实践)该如何通过扩展和改进,以更好地适应嵌入式系统开发?研究表明,尽管应用程度存在一定的差异,但敏捷方法已在不同类型的嵌入式开发中得到了应用.传统的敏捷方法也需要进行多种改变,以适应这些不同类型的嵌入式开发项目的特征.
关键词
嵌入式系统
开发
敏捷方法
应用现状
系统
评价
Keywords
embedded system development
agile method
adoption status
systematic literature review
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
嵌入式系统的需求描述综述
陈小红
刘少彬
金芝
《软件学报》
北大核心
2025
3
在线阅读
下载PDF
职称材料
2
智能嵌入式系统专题序言
郭兵
邓庆绪
陈铭松
张凯龙
谢国琪
周俊龙
《计算机科学》
北大核心
2025
0
在线阅读
下载PDF
职称材料
3
基于嵌入式系统的采摘机器人作业控制研究
范江波
《农机化研究》
北大核心
2025
3
在线阅读
下载PDF
职称材料
4
藏文句向量预训练模型在嵌入式系统中的应用研究
吕皓
吕慧
雍宾宾
多拉
李妍
周庆国
周睿
《小型微型计算机系统》
北大核心
2025
0
在线阅读
下载PDF
职称材料
5
复杂嵌入式系统需求一致性的组合验证方法
杨晓
王小齐
陈小红
金芝
《软件学报》
北大核心
2025
0
在线阅读
下载PDF
职称材料
6
基于嵌入式系统的辣椒采摘机器人设计
刘锦辉
余江
熊铎云
林钰贵
徐芷婷
董振烨
《南方农机》
2025
1
在线阅读
下载PDF
职称材料
7
形式验证方法在军用嵌入式系统软件验证中的应用
邸亮
苏月怡
《火力与指挥控制》
北大核心
2025
0
在线阅读
下载PDF
职称材料
8
基于投影的嵌入式系统需求分析方法
王小齐
陈小红
金芝
顾斌
綦艳霞
《软件学报》
EI
CSCD
北大核心
2024
0
在线阅读
下载PDF
职称材料
9
应用型计算机类本科专业嵌入式系统实践教学体系探索
杨仁增
张良
张苏
肖迎群
《贵州农机化》
2024
1
在线阅读
下载PDF
职称材料
10
嵌入式系统中运动想象脑-机接口编解码算法综述
于钦雯
周王成
戴亚康
刘燕
《计算机工程与应用》
CSCD
北大核心
2024
0
在线阅读
下载PDF
职称材料
11
基于四旋翼无人机的嵌入式系统实践教学设计
王清华
胡永兵
李迎松
《实验室研究与探索》
CAS
北大核心
2024
3
在线阅读
下载PDF
职称材料
12
基于嵌入式系统的表面划痕测量装置的设计与实现
李艳
贾志婷
瞿剑苏
马晓苏
王霁
《计量学报》
CSCD
北大核心
2024
0
在线阅读
下载PDF
职称材料
13
农业机械中嵌入式系统设计与应用
石杰鹏
《农机使用与维修》
2024
4
在线阅读
下载PDF
职称材料
14
CCF理事说|四川大学郭兵教授:打造嵌入式技术与产业发展生态圈,推进嵌入式系统“云边端”协同智能发展
《信息网络安全》
CSCD
北大核心
2024
1
在线阅读
下载PDF
职称材料
15
基于嵌入式系统的新能源汽车智能节能控制系统设计
王艳艳
《农机使用与维修》
2024
3
在线阅读
下载PDF
职称材料
16
关于嵌入式系统在智能农机上的应用研究
孙百惠
《农机使用与维修》
2024
1
在线阅读
下载PDF
职称材料
17
嵌入式系统可信平台模块研究
张焕国
李晶
潘丹铃
赵波
《计算机研究与发展》
EI
CSCD
北大核心
2011
40
在线阅读
下载PDF
职称材料
18
基于移动嵌入式系统硬/软件协同设计的EHSC算法
张江陵
郑世珏
胡金柱
《计算机科学》
CSCD
北大核心
2005
3
在线阅读
下载PDF
职称材料
19
基于SystemC的嵌入式系统设计的描述模型
栾静
顾君忠
《计算机科学》
CSCD
北大核心
2005
1
在线阅读
下载PDF
职称材料
20
嵌入式系统开发中敏捷方法的应用研究综述
荣国平
刘天宇
谢明娟
陈婕妤
张贺
陈道蓄
《软件学报》
EI
CSCD
北大核心
2014
36
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
2
…
191
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
