搜索筛选:
搜索耗时1.7254秒,为你在为你在102,285,761篇论文里面共找到 7 篇相符的论文内容
发布年度:
[期刊论文] 作者：王青,杨孟飞,
来源：空间控制技术与应用 年份：2008
不良的ROBDD变量排序会引发状态空间爆炸的危机，从而影响形式验证方法的推广和使用。通过对CUDD数据包中ROBDD遗传变量排序算法的研究，利用变异操作和保留最优个体的时代繁殖操...
[期刊论文] 作者：龚健,杨孟飞,,
来源：空间控制技术与应用 年份：2008
深空探测任务对星载控制计算机的智能性、环境适应性和自主性提出新的需求。介绍目前星栽控制计算机容错方法的进展情况，提出可进化硬件容错这种可用于星载控制计算机容错设计......
[会议论文] 作者：王涛,杨孟飞,
来源：第二届中国航天质量论坛 年份：2008
以往我们国内的航天企业均是由企业的综合管理层主导和开展质量分析工作,往往忽视产品责任主体本身的职责和作用,造成分析的准确性、实效性和针对性较低。本文结合我院近年在...
[会议论文] 作者：龚健,杨孟飞,
来源：全国第十三届空间及运动体控制技术学术会议 年份：2008
随着我国探月等深空探测任务的实施,对卫星控制计算机的智能性、适应环境能力和自主性提出了新的要求,可进化硬件容错技术可以实现智能的、动态的卫星控制计算机容错系统.本...
[期刊论文] 作者：杨孟飞, 贾阳, 陈建新,,
来源：空间控制技术与应用 年份：2008
简要回顾月球探测的发展现状,给出月球巡视探测器的概念和主要功能,据此分析和研究系统方案设计、分系统组成、工作状态和工作模式。最后提出月球巡视探测器的关键技术,以期...
[期刊论文] 作者：肖爱斌,杨孟飞,刘波,
来源：空间控制技术与应用 年份：2008
为确保载人航天器的安全可靠，载人航天器控制计算机一般需具备拜占庭故障恢复的能力。根据拜占庭恢复理论，提出一种拜占庭容错计算机实现的原理性方案，然后对这种拜占庭容错方案......
[期刊论文] 作者：左万娟,杨孟飞,段永颢,
来源：空间控制技术与应用 年份：2008
通过对软件可靠性（SR）模型拟合曲线的分析，提出模型固有特征是影响SR模型适应性的因素之一，在此基础上，提出构建模型组以增强SR模型适应性的新方法。实践表明，该方法是可行的。......
相关搜索：
