搜索筛选:
搜索耗时0.6377秒,为你在为你在102,285,761篇论文里面共找到 138 篇相符的论文内容
发布年度:
[期刊论文] 作者：杨孟飞,,
来源：控制工程 年份：1986
本文从纠错码的理论出发,利用图的矩阵表示法,讨论了数字系统的故障诊断问题。文中根据 PMC 模型,通过引入故障矢量,给出了一个矢量能成为系统故障矢量的充分必要条件,并证明...
[学位论文] 作者：杨孟飞,
来源：山东体育学院 年份：2021
...
[期刊论文] 作者：贺艳花 刘骄,
来源：新湘评论·下半月 年份：2021
许多湖湘儿女奋战在航天战线，发挥着举足轻重的作用，杨孟飞便是其中的杰出代表...
[期刊论文] 作者：,
来源：信息网络安全 年份：2018
参加本次大会的有戚发轫、包为民、沈昌祥、方滨兴、吕跃广、王小云、杨孟飞、周志成等多位院士,公安部网络安全保卫局、北京市经信委、北京市科技协作中心、郑州高新区等相关领导,以及来自国家工程实验室理事单位、业内重点企事业单位...
[期刊论文] 作者：吴秀娟,徐鹏,赵经天,娄梦瑶,
来源：湖南教育：上旬（A） 年份：2021
搬到三湘四水,让外面的世界成为孩子们的教科书;它跨越时空界限,以互联网为媒,让全省中小学生得以“同上一堂课”;它打破学科局限,集思政、德育、心理、劳动、科技等内容于一身;它云集了袁隆平、钟南山、杨长风、杨孟飞等一批专家学者...
[期刊论文] 作者：刘鑫,杨孟飞,,
来源：自动化博览 年份：2007
“一五”期间工业控制计算机技术的主要发展趋势：小型化的、基于并行总线技术的PC／104（包括PC／104-plus、PCI-104）和Compact PCI／PXI工控机将继续占据主流地位，并向PCI Express技术...
[期刊论文] 作者：文亮,杨孟飞,
来源：控制工程（北京） 年份：2005
航天器的结构越来越复杂，体积在不断减小，集成电路技术也在不断的发展，为此，用SoC技术实现星载电子系统成为必然趋势。然而，空间辐射环境对系统的容错能力有特殊的要求。通过对故......
[期刊论文] 作者：王青,杨孟飞,
来源：控制工程（北京） 年份：2006
随着设计规模的不断扩大和设计复杂度的不断提高。功能验证已经成为数字系统设计开发过程中的制约瓶颈。目前，利用传统的仿真方法并不能有效解决这一困境，而形式验证则是改善该......
[期刊论文] 作者：杨孟飞,梁凯,
来源：控制工程（北京） 年份：1996
本文讨论了８０Ｃ８６受辐射后产生ＳＥＵ的故障模式及其可能产生的影响，根据其表现形式，提出了测试ＳＥＵ的方法及测试系统的构成。在此基础上，用锎源进行了实验，得到了一定的实验数据，对今后空间用８０Ｃ８６防护......
[期刊论文] 作者：陈睿,杨孟飞,
来源：空间控制技术与应用 年份：2017
针对＂重复加锁解锁＂和＂volatile修饰符误用＂两种数据访问冲突缺陷模式,提出基于编码规则的检测方法.首先,对缺陷模式的故障机理进行分析,提炼出3条编码规则用以在开发阶段避免缺......
[期刊论文] 作者：陈睿,杨孟飞,
来源：中国空间科学技术 年份：2017
针对数据访问冲突问题的检测方法及工具的研究很多,但缺少对其进行评估的基准测试集。文章基于大量真实航天嵌入式软件中断数据访问冲突案例研究的结果,总结出影响数据访问冲...
[期刊论文] 作者：龚健,杨孟飞,,
来源：航天控制 年份：2006
可进化硬件容错技术是一种模仿生物进化过程的容错方法，现已成为世界各国容错计算技术领域新的研究方向。可进化硬件不是采用传统的静态冗余技术，而是利用其本身固有的特性实现......
[期刊论文] 作者：龚健,杨孟飞,,
来源：航天控制 年份：2009
内部进化是研究在线可进化硬件的方法，可用于实现容错、自适应的航天器硬件系统。现场可编程门阵列（FPGA，Field Programmable Gate Array）是目前实现数字电路进化的主要可编程逻...
[期刊论文] 作者：王青,杨孟飞,
来源：航天控制 年份：2007
针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机，提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证，说明了该方法可以简化模型检...
[期刊论文] 作者：王青,杨孟飞,
来源：空间控制技术与应用 年份：2008
不良的ROBDD变量排序会引发状态空间爆炸的危机，从而影响形式验证方法的推广和使用。通过对CUDD数据包中ROBDD遗传变量排序算法的研究，利用变异操作和保留最优个体的时代繁殖操...
[期刊论文] 作者：龚健,杨孟飞,,
来源：空间控制技术与应用 年份：2012
分析FPGA的配置数据帧格式以及整个器件中配置数据帧的类型和分布,在此基础上给出具体的位流回读故障检测方法和重配置容错方法,最后给出了实现该容错方法的一个实例.论文研...
[期刊论文] 作者：龚健,杨孟飞,,
来源：空间控制技术与应用 年份：2008
深空探测任务对星载控制计算机的智能性、环境适应性和自主性提出新的需求。介绍目前星栽控制计算机容错方法的进展情况，提出可进化硬件容错这种可用于星载控制计算机容错设计......
[期刊论文] 作者：董燕,杨孟飞,
来源：控制工程（北京） 年份：2001
在软件开发过程中，软件测试费用占总成本的50％左右，为降低测试费用和进一步提高软件测试质量，软件测试自动化是必要的。对此，进行了大量的研究，产生了许多测试工具，然而这些测试均难......
[期刊论文] 作者：董燕,杨孟飞,
来源：航天控制 年份：2003
在软件开发过程中,软件测试费用占总成本的50%左右,为降低测试费用和进一步提高软件测试质量,软件测试自动化是必要的.本文以StP CASE为例,构造了基于StP的自动测试环境,并通...
[会议论文] 作者：龚健,杨孟飞,
来源：全国第十二届空间及运动体控制技术学术会议 年份：2006
本文阐明了航天器可进化硬件的概念和实现方法，以及采用可进化硬件实现容错的特点，介绍了可进化硬件的两个要素，即进化算法和可编程器件。重点以PAL上和基于SRAM的FPGA上实现的......
相关搜索：
