搜索筛选:
搜索耗时0.6694秒,为你在为你在102,285,761篇论文里面共找到 5 篇相符的论文内容
发布年度:
[期刊论文] 作者：杨孟飞,,
来源：企业技术开发 年份：2014
随着我国工业科技的快速发展,对于电力行业来说,变压器是输电系统的重要组成部门,变压器设备的优劣直接决定了输电系统的质量。为了保障整个供电网的正常运行,需要对变压器运...
[期刊论文] 作者：王若川,杨孟飞,乔磊,
来源：空间控制技术与应用 年份：2014
时序正确性问题一直以来都是航天嵌入式软件的热点、难点问题．运用时间自动机理论．对某星载操作系统的中断管理进行了建模，同时对与操作系统行为存在交互的环境进行了建模，以描述......
[期刊论文] 作者：邵巳航,苏亭,顾斌,王政,杨孟飞,
来源：计算机工程与设计 年份：2014
针对C语言白盒测试用例自动生成问题，提出一套基于过程间的动态符号执行框架，建立基于Def-Use链和函数执行树的模型。以函数为单位进行约束收集，解决函数调用中实参和形参的符号......
[期刊论文] 作者：叶培建,黄江川,孙泽洲,杨孟飞,孟林智,,
来源：中国科学:技术科学 年份：2014
在阐述了我国月球探测活动的实施策略及"绕、落、回"三阶段步骤后,以探月工程中的月球探测器(卫星)为代表和重点,系统介绍了嫦娥一号、二号、三号及五号的任务需求与特点、设...
[期刊论文] 作者：张绍林,杨孟飞,刘鸿瑾,姜宏,王若川,,
来源：计算机科学 年份：2014
随着二代导航、载人航天、深空探测等空间应用对星载电子产品的低功耗和抗辐射容错能力提出更高的需求,传统多机冗余设计星载计算机面临着亟需进行设计升级换代.将可重构技术...
相关搜索：
