搜索筛选:
搜索耗时3.7185秒,为你在为你在102,285,761篇论文里面共找到 3 篇相符的论文内容
发布年度:
[期刊论文] 作者：刘鑫,杨孟飞,,
来源：自动化博览 年份：2007
“一五”期间工业控制计算机技术的主要发展趋势：小型化的、基于并行总线技术的PC／104（包括PC／104-plus、PCI-104）和Compact PCI／PXI工控机将继续占据主流地位，并向PCI Express技术...
[期刊论文] 作者：王青,杨孟飞,
来源：航天控制 年份：2007
针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机，提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证，说明了该方法可以简化模型检...
[期刊论文] 作者：王涛,余后满,杨孟飞,,
来源：中国质量 年份：2007
一、概述ISO9000系列标准自问世以来,已有70多个国家把IS09000系列标准转变为本国的标准,目前,国际上知名宇航企业,有的建立了ISO9001的质量管理体系,有的执行自己的标准...
相关搜索：
