搜索筛选:
搜索耗时0.6392秒,为你在为你在102,285,761篇论文里面共找到 5 篇相符的论文内容
发布年度:
[期刊论文] 作者：,
来源：发明与创新:大科技 年份：2020
杨孟飞,1962年10月出生,湖南湘阴人。1982年毕业于西北电讯工程学院(现为西安电子科技大学)。1985年毕业于中国空间技术研究院北京控制工程研究所,获硕士学位。1985年留所工...
[期刊论文] 作者：陈熙, 乔磊, 杨孟飞, 刘洪标,
来源：软件学报 年份：2020
为了提高空间飞行器计算机的CPU利用率,新一代空间飞行器操作系统使用了一种同时包含固定时间点启动任务和偶发任务的混合调度算法.其中固定时间点启动任务往往是安全攸关任务,需要在固定时间点启动,且执行期间不能被阻塞.在固定时间点启动任务和偶发任务共存的......
[期刊论文] 作者：姜菁菁,乔磊,杨孟飞,杨桦,刘波,
来源：软件学报 年份：2020
为确保星上操作系统中任务管理设计的可靠性,利用定理证明工具Coq对操作系统任务管理模块进行需求层建模及形式化验证.从用户角度,基于星上操作系统任务管理的基本机制,提出...
[期刊论文] 作者：卢纯青,杨孟飞,武延鹏,梁潇,,
来源：红外与激光工程 年份：2020
深空探测器的功耗和体积有限,任务工况多样,与低轨道地球探测器相比,深空探测器对导航敏感器的任务能力提出了更高的需求。提出了一种基于飞行时间成像的快速位姿测量和地物目标识别技术。为了在保证位姿测量精度的前提下满足对位姿测量时间性能的需求,提出了一......
[期刊论文] 作者：杨孟飞,顾斌,段振华,金芝,詹乃军,董云卫,田聪,李戈,董晓刚,李晓锋,
来源：中国空间科学技术 年份：2020
程序合成是提高软件开发效率和质量的有效途径，也是计算机科学重要的前沿方向之一。首先概述了程序合成方法的国内外研究现状和存在的问题，在此基础上，提出了软件IP（Intellectual Property，知识产权）的概念和一种基于软件IP的嵌入式软件智能合成开发模式（IP-based Embe......
相关搜索：
