搜索筛选:
搜索耗时2.2086秒,为你在为你在102,285,761篇论文里面共找到 11 篇相符的论文内容
发布年度:
[期刊论文] 作者：于广良,杨孟飞,,
来源：航天控制 年份：2015
SPARC体系结构采用了寄存器窗口机制,由此带来的寄存器窗口溢出陷阱对采用此体系结构的实时系统的时间分析造成困难。针对溢出陷阱处理开销影响任务最差执行时间分析的问题,...
[期刊论文] 作者：周筱羽,顾斌,赵建华,杨孟飞,,
来源：软件学报 年份：2015
针对一类中断驱动的航天控制系统,给出了有界模型检验的算法.这类系统由中断处理程序和操作系统调度的任务组成.当中断发生时,对应的中断处理程序响应中断事件,并可以修改控...
[期刊论文] 作者：张建超,杨孟飞,胡宝芝,,
来源：走向世界 年份：2015
中国精细化工产业基地的崛起,伟浩、众兴等农业品牌走向全国,首届天宁寺庙会成功举办……胜坨镇向人们展示着一个生态文明强镇的发展轨迹。随着黄河三角洲高效生态经济区与山...
[期刊论文] 作者：姜宏,杨孟飞,于广良,魏梦捷,,
来源：中国空间科学技术 年份：2015
在航天器控制计算机的软硬件协同设计过程中,需要解决多目标优化问题。当前的强度帕累托进化算法在求解高维多目标优化问题时具有优势,但是在环境选择阶段的计算时间复杂度仍...
[期刊论文] 作者：姜宏,杨孟飞,于广良,魏梦捷,,
来源：微电子学与计算机 年份：2015
在航天器控制计算机的软硬件协同设计过程中,功耗建模是一个必不可少的步骤.基于工作集选择的支持向量回归方法是将功耗经验数据训练为功耗模型的有效手段.现有的工作集选择...
[期刊论文] 作者：姜宏,杨孟飞,于广良,魏梦捷,,
来源：空间控制技术与应用 年份：2015
在星载计算机的软硬件协同设计过程中需要解决处理器功耗估计问题．现有的工具和方法主要面向ARM或DSP处理器．缺乏可用于LEON3处理器的软件功耗估计方法．针对这一不足，基于功能级......
[期刊论文] 作者：周筱羽,顾斌,赵建华,杨孟飞,李宣东,
来源：软件学报 年份：2015
针对一类中断驱动系统提出了一种建模和模型检验的方法．该系统通常由中断处理程序和操作系统调度的任务组成，前者由中断源触发后处理中断事件，后者则负责处理系统的日常任务以及......
[期刊论文] 作者：杨孟飞,顾斌,郭向英,董晓刚,王政,陈睿,,
来源：中国科学:技术科学 年份：2015
研究了航天嵌入式软件可信性保障的问题和现状,提出了航天嵌入式软件的可信保障技术体系,并针对动态时序正确性、程序实现正确性和控制行为正确性保障等核心关键可信问题的理论方法和技术进行了深入研究,在此基础上研制了相应的保障工具,形成了航天嵌入式软件可......
[期刊论文] 作者：王龙,杨孟飞,钟红军,卢欣,杨君,李晓,余成武,刘婧,梁士通,,
来源：中国科学:技术科学 年份：2015
星敏感器现有的星点提取方法运算时间长、存储需求大,从而限制星敏感器姿态初始捕获时间、轻小化等性能指标的提高.针对以上问题,提出了一种星敏感器星点聚类提取方法.首先,...
[期刊论文] 作者：杨孟飞,张高,张伍,彭兢,王勇,王晓磊,陈春亮,杜颖,张正峰,,
来源：中国科学:技术科学 年份：2015
探月三期月地高速再入返回任务是我国首个深空探测再入返回任务,研制目的是突破和掌握月地高速再入返回关键技术,为嫦娥五号任务研制奠定基础.本文给出了月地高速再入返回飞...
[期刊论文] 作者：叶培建,杨孟飞,彭兢,李齐,董彦芝,张钊,江长虹,徐宝碧,邹乐洋,,
来源：中国科学:技术科学 年份：2015
简要介绍了国外深空探测任务中进入有大气天体和再入返回地球大气的发展情况,重点介绍了国内深空探测再入返回的共性关键技术的发展现状,包括气动、热防护、制导导航与控制(G...
相关搜索：
