期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到8篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
实时多核嵌入式系统研究综述 被引量：41
1
作者 陈刚 关楠 +1 位作者 吕鸣松 王义 《软件学报》 EI CSCD 北大核心 2018年第7期2152-2176,共25页
随着计算机系统与物理世界的结合越来越紧密,实时系统需要承担越来越复杂的运算任务.多核处理器的兴起为同时满足实时性约束和高性能这两方面的需求提供了可能.基于多核处理器的实时嵌入式系统的研究已成为近几年研究的热点.对现有的面... 随着计算机系统与物理世界的结合越来越紧密,实时系统需要承担越来越复杂的运算任务.多核处理器的兴起为同时满足实时性约束和高性能这两方面的需求提供了可能.基于多核处理器的实时嵌入式系统的研究已成为近几年研究的热点.对现有的面向实时多核嵌入式系统的研究工作进行了综述,介绍了实时多核嵌入式系统的关键设计问题,从多核共享资源干扰及管理、多核实时调度、多核实时程序并行化、多核虚拟化技术、多核能耗管理和优化等几个方面对现有研究工作进行了分析和总结,并展望了实时多核系统领域进一步的研究方向. 展开更多
关键词 实时多核系统 共享资源干扰 实时调度 并行软件 虚拟化 能耗优化
下载PDF
面向实时应用的深度学习研究综述 被引量：35
2
作者 张政馗 庞为光 +2 位作者 谢文静 吕鸣松 王义 《软件学报》 EI CSCD 北大核心 2020年第9期2654-2677,共24页
深度学习算法和GPU算力的不断进步,正促进着人工智能技术在包括计算机视觉、语音识别、自然语言处理等领域得到广泛应用.与此同时,深度学习已经开始应用于以自动驾驶为代表的安全攸关领域.但是,近两年接连发生了几起严重的交通事故表明... 深度学习算法和GPU算力的不断进步,正促进着人工智能技术在包括计算机视觉、语音识别、自然语言处理等领域得到广泛应用.与此同时,深度学习已经开始应用于以自动驾驶为代表的安全攸关领域.但是,近两年接连发生了几起严重的交通事故表明,深度学习技术的成熟度还远未达到安全攸关应用的要求.因此,对可信人工智能系统的研究已经成为了一个热点方向.对现有的面向实时应用的深度学习领域的研究工作进行了综述,首先介绍了深度学习技术应用于实时嵌入式系统所面临的关键设计问题;然后,从深层神经网络的轻量化设计、GPU时间分析与任务调度、CPU+GPU SoC异构平台的资源管理、深层神经网络与网络加速器的协同设计等多个方面对现有的研究工作进行了分析和总结;最后展望了面向实时应用的深度学习领域进一步的研究方向. 展开更多
关键词 深度学习 深层神经网络 实时系统 时间分析 实时调度 共享资源冲突
下载PDF
面向WCET估计的Cache分析研究综述 被引量：9
3
作者 吕鸣松 关楠 王义 《软件学报》 EI CSCD 北大核心 2014年第2期179-199,共21页
实时系统时间分析的首要任务是估计程序的最坏情况执行时间(worst-case execution time,简称WCET).程序的WCET通常受到硬件体系结构的影响,Cache则是其中最为突出的因素之一.对面向WCET计算的Cache分析研究进行了综述,介绍了经典Cache... 实时系统时间分析的首要任务是估计程序的最坏情况执行时间(worst-case execution time,简称WCET).程序的WCET通常受到硬件体系结构的影响,Cache则是其中最为突出的因素之一.对面向WCET计算的Cache分析研究进行了综述,介绍了经典Cache分析框架与Cache分析核心技术,并从循环结构分析、数据Cache分析、多级Cache分析、多核共享Cache分析、非LRU替换策略分析等角度介绍了Cache分析在不同维度上的研究问题与主要挑战,总结了现有技术的优缺点,展望了Cache分析研究的未来发展方向. 展开更多
关键词 实时系统 WCET(worst-case EXECUTION time) Cache分析 时间分析 抽象解释
下载PDF
工作场所光伏电动汽车充电站可行性研究 被引量：3
4
作者 纪东 吕鸣松 王义 《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心 2019年第6期783-788,共6页
基于某工厂员工的电动汽车使用数据,分析了员工上下班出行行为及电动汽车电量分布情况,使用蒙特卡洛模拟方法仿真了100辆电动汽车的出行及充电行为.设计搭建了光伏电动汽车充电站仿真平台用于对电站进行评估分析.基于仿真数据,使用粒子... 基于某工厂员工的电动汽车使用数据,分析了员工上下班出行行为及电动汽车电量分布情况,使用蒙特卡洛模拟方法仿真了100辆电动汽车的出行及充电行为.设计搭建了光伏电动汽车充电站仿真平台用于对电站进行评估分析.基于仿真数据,使用粒子群算法对工作场所建设电站进行了系统方案设计和可行性研究.结果表明,模拟数据能很好地描述员工出行和充电行为,设计的光伏充电站系统能够基本满足员工充电需求,从而促进工厂的可持续化发展并节约成本. 展开更多
关键词 光伏 充电站 电动汽车 容量配比 可行性
下载PDF
形式化方法与应用专题前言
5
作者 董威 赵建华 吕鸣松 《软件学报》 EI CSCD 北大核心 2017年第5期1049-1050,共2页
形式化方法以严格的数学化和机械化方法为基础来规约、设计、构建、验证、演进计算系统,是改善和确保计算系统质量的重要方法,其模型、技术和工具已延伸成为计算思维的重要载体,在国内外持续被关注和研究.在各种领域需求的推动下,形式... 形式化方法以严格的数学化和机械化方法为基础来规约、设计、构建、验证、演进计算系统,是改善和确保计算系统质量的重要方法,其模型、技术和工具已延伸成为计算思维的重要载体,在国内外持续被关注和研究.在各种领域需求的推动下,形式化方法的相关理论、技术和工具越来越受重视,并在多种关键领域的应用中取得显著成效.本专题主要关注国内形式化方法的最新研究进展及其在特定领域的应用,共征得投稿37篇,其中36篇通过特约编辑形式审查进入评审阶段.每篇稿件经过2位专家的评审,有16篇进入复审阶段, 展开更多
关键词 形式化方法 应用 专题 计算系统 国内外 机械化 工具 技术
下载PDF
MRU Cache替换算法平均性能剖析
6
作者 吕鸣松 郭浩 关楠 《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心 2013年第11期1554-1557,共4页
研究了MRU替换算法的平均性能问题.研究结果发现,在一定条件下,MRU的平均性能优于LRU替换算法.针对具有线性访问序列循环体的程序,形式化证明了MRU平均性能优于LRU的成立条件.并采用实时系统时间分析测试集针对不同Cache配置进行实验,... 研究了MRU替换算法的平均性能问题.研究结果发现,在一定条件下,MRU的平均性能优于LRU替换算法.针对具有线性访问序列循环体的程序,形式化证明了MRU平均性能优于LRU的成立条件.并采用实时系统时间分析测试集针对不同Cache配置进行实验,验证了MRU平均性能优于LRU这一结果的普遍性.结合本文结果与MRU实时性能的研究结果,可以认为MRU具有优异的平均性能和实时性能. 展开更多
关键词 MRU CACHE 替换算法 平均性能 实时性能
下载PDF
TCL:并购阿尔卡特意欲何为? 被引量：1
7
作者 吕鸣松 《数字通信》 2004年第11期98-101,共4页
阿尔卡特可能被收购一事，早在年初的时候就已传得沸沸扬扬，熊猫、TCL等国内的主要手机厂商也被卷入到了这个备受关注却又扑朔迷离的故事中来。一时间，传闻和辟谣的纠缠充斥于众多媒体。4月26日，TCL和阿尔卡特的官方新闻发布终使这... 阿尔卡特可能被收购一事，早在年初的时候就已传得沸沸扬扬，熊猫、TCL等国内的主要手机厂商也被卷入到了这个备受关注却又扑朔迷离的故事中来。一时间，传闻和辟谣的纠缠充斥于众多媒体。4月26日，TCL和阿尔卡特的官方新闻发布终使这一国内手机界近期最大的传闻尘埃落定，又一个“混血品牌”将在不久诞生，其血统来自充满浪漫气质的法国和神秘的东方。 展开更多
关键词 TCL公司 阿尔卡特公司 手机 市场 企业收购
下载PDF
追踪手机流行元素
8
作者 吕鸣松 《数字通信》 2004年第24期102-103,共2页
人们常说,2002年是中国手机热开始的年份。因为从这一年开始,我国手机用户数量突飞猛进,短短几年的工夫,新增手机用户数量就已经是2002年以前积累的用户总数的数倍了。推动手机拥有量增长,引发手机业热潮的因素有很多,但是对于普通消费... 人们常说,2002年是中国手机热开始的年份。因为从这一年开始,我国手机用户数量突飞猛进,短短几年的工夫,新增手机用户数量就已经是2002年以前积累的用户总数的数倍了。推动手机拥有量增长,引发手机业热潮的因素有很多,但是对于普通消费者来说,那些让人感到兴奋的流行元素已渐渐成了促成他们选购某类手机的重要因素。手机生产厂商也正是把握了消费者的这种心理,不断引进新技术,从而迎合并引导消费者的消费心理。因此,每年都会有各种各样的流行元素出现,玩机一族也成为了时尚潮流的追逐者。那幺在过去的三年中,哪些元素真正流行了起来,又有哪些元素能够在即将到来的2005年成为主导流行趋势的风向标呢? 展开更多
关键词 手机用户 中国 引导消费 手机生产 普通消费者 手机业 厂商 流行元素 流行趋势 时尚
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部