中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共10条，第1-10条

帮助

条数/页：排序方式：
	无线网络的差异化比特错误率估计方法期刊论文 OAI收割计算机研究与发展, 2014, 卷号: 51.0, 期号: 1.0, 页码: 138 作者: 张招亮; 陈海明; 黄庭培; 崔莉 \| 收藏 \| 浏览/下载：3/0 \| 提交时间：2023/12/04 物联网无线网络 IEEE 802 11 比特错误率错误估计差异化设计奇偶校验
	高可靠处理器微体系结构设计空间的快速搜索期刊论文 OAI收割高技术通讯, 2014, 卷号: 000, 期号: 009, 页码: 887 作者: 尹一笑; 章隆兵; 肖俊华 \| 收藏 \| 浏览/下载：6/0 \| 提交时间：2023/12/04 软错误程序固有特征预测模型设计空间搜索
	导航电文新型级联改进编码方案会议论文 OAI收割第二届中国卫星导航学术年会, 中国上海, 2011 洪浩; 卢晓春收藏 \| 浏览/下载：15/0 \| 提交时间：2012/10/19 卫星导航导航电文编码\|Abstract 卫星导航需要为用户提供精确信息但由于受各种类型的干扰易产生传输错误因而如何编码一直是信号体制设计方面的技术难点。本文从GPS民用信号出发在分析其纠错和抗干扰原理的基础上重点围绕内外两层编码体制提出了新型的级联改进方案并对其性能进行了仿真分析证明达到良好的效果用于指导我国卫星通信系统的设计方向。
	芯片设计的模拟验证技术分析和探讨期刊论文 OAI收割信息技术快报, 2010, 卷号: 8, 期号: 2, 页码: 36 作者: 吕涛; 李华伟; 李晓维 \| 收藏 \| 浏览/下载：12/0 \| 提交时间：2010/03/30 芯片设计模拟验证错误模型错误注入可验证性
	BPMN到BPEL2.0的模型转换方法期刊论文 OAI收割计算机应用研究, 2008, 卷号: 25, 期号: 11, 页码: 3363-3366 魏明; 夏永霖; 魏峻 \| 收藏 \| 浏览/下载：20/0 \| 提交时间：2011/06/10 业务流程管理模型转换业务流程建模符号业务流程执行语言模型中国科学院组件转换方法支持实际运用软件建模工具规范标准工程中心错误处理研究所可用性语义特性适用事务设计扩展检验
	龙芯1号处理器的故障注入方法与软错误敏感性分析期刊论文 OAI收割计算机研究与发展, 2006, 期号: 第10期, 页码: 1820~1827页作者: 许彤; 唐志敏; 黄海林 \| 收藏 \| 浏览/下载：16/0 \| 提交时间：2010/10/15 容错处理器可靠性设计故障注入软错误
	UML的形式化及其应用期刊论文 OAI收割计算机科学, 2005, 卷号: 32, 期号: 3, 页码: 136-140 周瑾; 马应龙; 李巍; 吴志林 \| 收藏 \| 浏览/下载：11/0 \| 提交时间：2011/07/28 UML 形式化形式化设计错误数表框架检测优化建议优化方案设计模型软件设计进化过程基础状态图序列图应用人员理论度量
	验证包含黑盒的电路设计的有效方法期刊论文 OAI收割计算机学报, 2004, 卷号: 27.0, 期号: 006, 页码: 796 作者: \| 收藏 \| 浏览/下载：3/0 \| 提交时间：2023/12/04 超大规模集成电路设计错误检测层次化验证黑盒验证方法合取范式
	通用CPU设计中的模拟验证技术及应用期刊论文 OAI收割系统仿真学报, 2002, 卷号: 14.0, 期号: 012, 页码: 1698 作者: 吕涛; 李华伟; 尹志刚; 刘国华; 李晓维 \| 收藏 \| 浏览/下载：0/0 \| 提交时间：2023/12/04 CPU 设计模拟验证芯片错误模型覆盖准则