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

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

帮助

条数/页：排序方式：
	航天嵌入式操作系统的分析与验证期刊论文 OAI收割载人航天, 2012, 卷号: 18, 期号: 6, 页码: 69-74 李斌; 马越; 李潇; 刘剑 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2013/09/17 嵌入式操作系统分析验证静态分析模型检测符号执行航天系统
	基于OFDM-UWB的室内精密定位系统接收机时域联合同步算法研究会议论文 OAI收割第二届中国卫星导航学术年会, 中国上海, 2011 邹德财; 李云; 韩涛; 刘枫收藏 \| 浏览/下载：35/0 \| 提交时间：2012/10/19 OFDM-UWB 室内定位联合同步算法符号定时帧定时载波频率偏移\|Abstract 同时根据基于正交频分复用超宽带(OFDM-UWB)技术的室内精密定位系统基本原理算法实现了四种同步技术的集成化设计实现厘米级的精密定位就要求系统接收机符号定时同步算法必须具备1～3个采样间隔的同步精度从而在工程实现中能够有效地节省硬件资源现有OFDM-UWB符号定时同步算法远不能满足这一苛刻需求。本文在符号定时同步研究过程中降低系统成本设计了一种新的信息帧格式提高系统的抗干扰性与稳定性。并以此为基础提出了OFDM-UWB室内精密定位系统接收机时域联合同步算法。该算法以符号定时同步为核心将载波小数频偏载波整数频偏帧定时同步分别与符号定时同步进行了直接或间接的关联形成一个不可分割的有机整体。对联合同步算法用MATLAB进行了功能验证与性能分析。结果表明在-15dB的信噪比条件以及载波频率偏移干扰共存时符号定时同步精度为1个采样时间间隔(1.89394ns) 克服了传统符号定时同步算法易受噪声与频偏干扰的缺点满足了室内定位系统的基本需求
	参数化系统安全性的启发式符号验证期刊论文 OAI收割软件学报, 2009, 卷号: 20, 期号: 6, 页码: 1444-1456 杨秋松; 李明树 \| 收藏 \| 浏览/下载：20/0 \| 提交时间：2010/07/05 参数化系统安全性向上封闭集合启发式搜索符号验证
	时间符号迁移图上的可达性分析期刊论文 OAI收割计算机学报, 2003, 卷号: 26, 期号: 1, 页码: 19-25 陈靖 \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2011/07/29 模型检测协议可达性分析实时时间符号迁移图时间符号迁移图检测算法正确性证明硬件设计协议验证建模语言可达性通信模型Algorithms Computer simulation Mathematical models Network protocols Theorem proving
	基于BDD的组合电路等价性检验方法期刊论文 OAI收割微电子学与计算机, 2003, 卷号: 20.0, 期号: 002, 页码: 48 作者: 李光辉; 邵明; 李晓维 \| 收藏 \| 浏览/下载：1/0 \| 提交时间：2023/12/04 BDD 形式验证等价性检验符号模拟三叉判决图组合电路专用集成电路
	带赋值符号迁移图的局部优化算法期刊论文 OAI收割计算机研究与发展, 2000, 卷号: 37, 期号: 1, 页码: 95 方海; 许文; 林惠民 \| 收藏 \| 浏览/下载：15/0 \| 提交时间：2010/08/24 进程代数传值进程符号互模拟验证算法