搜索筛选:
搜索耗时0.7272秒,为你在为你在102,285,761篇论文里面共找到 138 篇相符的论文内容
类      型:
[期刊论文] 作者:左万娟,杨孟飞,段永颢, 来源:计算机工程 年份:2009
为了充分利用第三方评测数据开展航天软件可靠性度量,研究人工走查数据在软件可靠性度量中的应用。分析度量实体的确定、人工走查数据向动态失效数据的转换、数据融合和数据应......
[期刊论文] 作者:左万娟,杨孟飞,段永颢, 来源:空间控制技术与应用 年份:2008
通过对软件可靠性(SR)模型拟合曲线的分析,提出模型固有特征是影响SR模型适应性的因素之一,在此基础上,提出构建模型组以增强SR模型适应性的新方法。实践表明,该方法是可行的。......
[期刊论文] 作者:周筱羽,顾斌,赵建华,杨孟飞,, 来源:软件学报 年份:2015
针对一类中断驱动的航天控制系统,给出了有界模型检验的算法.这类系统由中断处理程序和操作系统调度的任务组成.当中断发生时,对应的中断处理程序响应中断事件,并可以修改控...
[期刊论文] 作者:聂鹏程,段振华,田聪,杨孟飞, 来源:计算机学报 年份:2013
现有的性能非对称多核调度算法要么不能充分利用其体系结构而吞吐量低,要么能充分利用其体系结构但扩展性差.有些算法即使考虑了扩展性,但也局限于CPU核数目,没有考虑到任务...
[期刊论文] 作者:杨孟飞,王东盛,张翰英,, 来源:控制工程 年份:1985
本文从降级系统的特征出发,从不变结构和变结构两方面,分析了单总线结构的系统性能,得出了一些结论,为今后进一步研究这类系统打下了基础。Based on the characteristics o...
[会议论文] 作者:杨孟飞,王涛,孙涛,张海龙, 来源:第三届中国航天质量论坛 年份:2010
介绍了传统质量管理体系评价方法的局限性,论述了航天企业质量管理体系建设与运行现状,以及适用于航天企业的量化评价方法研究的必要性。同时,对量化评价模式的建立过程和结构作......
[期刊论文] 作者:张建超,杨孟飞,胡宝芝,, 来源:走向世界 年份:2015
中国精细化工产业基地的崛起,伟浩、众兴等农业品牌走向全国,首届天宁寺庙会成功举办……胜坨镇向人们展示着一个生态文明强镇的发展轨迹。随着黄河三角洲高效生态经济区与山...
[期刊论文] 作者:杨孟飞,李军予,周新发,文亮,, 来源:控制工程 年份:2004
本文分析了SOC/SOPC技术在国外航天应用的现状,提出了SOC/SOPC技术航天应用的策略,介绍了目前北京控制工程研究所在SOC/SOPC航天应用的基础研究和高可靠研究方面的一些进展。...
[期刊论文] 作者:于广良,杨孟飞,徐建,姜宏,, 来源:中国空间科学技术 年份:2016
针对航天嵌入式系统中存在多级中断情况下的时间分析问题,提出了中断与任务混合的响应时间计算模型。该模型中断与任务使用统一的优先级定义,将多级中断嵌套的响应时间分析与...
[期刊论文] 作者:于广良,杨孟飞,姜宏,徐建,, 来源:空间控制技术与应用 年份:2017
针对高速缓存引起的程序执行时间抖动对航天器控制软件任务调度造成的困难,提出一种基于循环调度的调度设计方法,该方法利用任务程序执行时间的概率分布设计具有不同可靠性的...
[会议论文] 作者:钟红军[1]杨孟飞[2]卢欣[1], 来源:中国兵工学会2009年光学与光电技术交流会 年份:2009
从典型的三晶体管型APS图像传感器基本组成结构入手,对其各种噪声源组成进行了研究,分析了噪声的产生机理及定量计算公式,提出了一种全新完整的APS噪声模型,并根据噪声源类型和噪......
[期刊论文] 作者:马智,乔磊,杨孟飞,李少峰, 来源:软件学报 年份:2021
航天器等安全关键系统是典型的嵌入式系统,具有多任务并发、中断频发等特点.操作系统是其最基础的软件,构建一个正确的操作系统是保障航天器系统高可信运行的关键.异常管理作...
[期刊论文] 作者:陈熙, 乔磊, 杨孟飞, 刘洪标, 来源:软件学报 年份:2020
为了提高空间飞行器计算机的CPU利用率,新一代空间飞行器操作系统使用了一种同时包含固定时间点启动任务和偶发任务的混合调度算法.其中固定时间点启动任务往往是安全攸关任务,需要在固定时间点启动,且执行期间不能被阻塞.在固定时间点启动任务和偶发任务共存的......
[期刊论文] 作者:卢纯青, 宋玉志, 武延鹏, 杨孟飞,, 来源:红外与激光工程 年份:2018
TOF三维成像技术具有帧内并行主动探测、获取景物信息的实时性好、环境光影响小、测量精度高、抗运动干扰性强、平均功耗低等优势,在三维智能感知、工业检测、SLAM等领域有着...
[期刊论文] 作者:卢纯青, 杨孟飞, 武延鹏, 梁潇,, 来源:红外与激光工程 年份:2004
深空探测器的功耗和体积有限,任务工况多样,与低轨道地球探测器相比,深空探测器对导航敏感器的任务能力提出了更高的需求。本文提出了一种用于飞行时间成像的快速位姿测量和地物......
[期刊论文] 作者:姜宏,杨孟飞,于广良,魏梦捷,, 来源:中国空间科学技术 年份:2015
在航天器控制计算机的软硬件协同设计过程中,需要解决多目标优化问题。当前的强度帕累托进化算法在求解高维多目标优化问题时具有优势,但是在环境选择阶段的计算时间复杂度仍...
[期刊论文] 作者:杨孟飞,郭树玲,王嵘,李军予, 来源:控制工程(北京) 年份:2005
星载电子设备重量、体积、功耗的降低是提高卫星有效载荷承载能力的关键。微电子技术的发展为通信、计算机技术奠定了高性能、高速率、小体积、低功耗基础。基于SOC的星载电...
[期刊论文] 作者:姜菁菁,乔磊,杨孟飞,杨桦,刘波, 来源:软件学报 年份:2020
为确保星上操作系统中任务管理设计的可靠性,利用定理证明工具Coq对操作系统任务管理模块进行需求层建模及形式化验证.从用户角度,基于星上操作系统任务管理的基本机制,提出...
[期刊论文] 作者:姜宏,杨孟飞,于广良,魏梦捷,, 来源:微电子学与计算机 年份:2015
在航天器控制计算机的软硬件协同设计过程中,功耗建模是一个必不可少的步骤.基于工作集选择的支持向量回归方法是将功耗经验数据训练为功耗模型的有效手段.现有的工作集选择...
[期刊论文] 作者:姜宏,杨孟飞,于广良,魏梦捷,, 来源:空间控制技术与应用 年份:2015
在星载计算机的软硬件协同设计过程中需要解决处理器功耗估计问题.现有的工具和方法主要面向ARM或DSP处理器.缺乏可用于LEON3处理器的软件功耗估计方法.针对这一不足,基于功能级......
相关搜索: