【摘 要】
：
星载嵌入式操作系统性能和任务能耗之间的平衡非常重要,采用合理的处理器和电压分配策略是一个重要手段。提出一系列基于计算概率的建模方法,用来解决星载实时嵌入式系统中对
【机 构】
：
北京航空航天大学计算机学院,上海航天电子技术研究所
【基金项目】
：
上海航天科技创新基金项目(SAST2016097,SAST2017107)
论文部分内容阅读
星载嵌入式操作系统性能和任务能耗之间的平衡非常重要,采用合理的处理器和电压分配策略是一个重要手段。提出一系列基于计算概率的建模方法,用来解决星载实时嵌入式系统中对于具有数据依赖的非周期性任务的处理器和电压分配相关问题,并且能够确保所有的任务都能在时间约束下执行。首先设计一个处理器调度算法,将任务的有向无环图(DAG)映射到一组可变电压处理器上,然后使用动态编程算法为每个任务分配合适的电压。通过带有重启的局部搜索策略从候选解集中获取最优解,以解决局部最优陷阱问题。通过实验说明,所提出的算法与其他算法相比,在
其他文献
对瓜类人工嫁接及机械自动嫁接方法进行了比较分析，提出断根顶芽斜插式自动嫁接方法并研制出斜插法嫁接试验台．结果表踞，斜插机械自动嫁接法可以避免直插法存在的作业不稳定、接
我国经济迅速发展极大的提高了人们的生活水平,城市化进程的不断加快促使城市基础设施的兴建起来,城市道路是城市发展的基础设施,对于城市建设具有重要意义,现代化城市的道路
近年来，医患双方通过良好的沟通，避免、减少和缓解了不少的医患冲突，实施医患沟通制取得了相当的效果。然而，要深化、完善该制度并使其在协调医患关系中更具实效，在当前特定的社会
在综述了可持续发展评价领域研究现状的基础上,采取统计分析、实地调查和系统分析相结合的方法,以甘肃省天水市、辽宁省锦州市、浙江省温州市、江西省赣州市和江西省抚州市等
大学生暑期“三下乡”社会实践活动在山西师范大学已开展了22年,成了一个重要的实践育人平台,体系成熟且制度日臻完善。作者通过调查问卷的形式对参与学生进行调查,发现大学
建立档案管理机构，健全档案管理网络，学校党办、财务科、教务科、学生科等都设有兼职档案员，成立综合档案室，从组织上保证档案工作的顺利开展。改善档案管理条件和工作环境，建立指
收集柴油发动机尾气碳烟,借助扫描电子电镜/能谱仪、高分辨率透射电子显微镜、X射线衍射仪、拉曼光普仪、X射线光电子能谱仪分析了碳烟颗粒的形貌、结构及表面官能团,采用SRV
王建军等人编写,李学宇副教授、文辉璧副教授审定的《外销员实用手册》,已由中国经济出版社出版发行. 经过十多年来的努力,我国对外经济贸易取得了长足发展,国内和国外的经
目的研究已报道的275个身高关联性SNPs位点与中国北方汉族男性身高的关联性。方法采用基质辅助激光解吸电离飞行时间质谱(MALDI-TOFMS)方法,检测了266例中国北方汉族男性人群
以竹子为原料制备生物质活性炭，使用HNO3溶液浸渍实现活性炭表面改性和降低灰分，在流化床电极直接碳燃料电池阳极半电池中考察活性炭的极化性能。结果表明：活化温度为1173K、活