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

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

帮助

条数/页：排序方式：
	基于启发式方法的带参系统形式化验证学位论文 OAI收割硕士, 北京: 中国科学院大学, 2016 段凯强 \| 收藏 \| 浏览/下载：10/0 \| 提交时间：2016/05/31 带参系统形式验证启发式方法流图
	AKC攻击的模式、预防及案例分析学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2016 麻婧 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2016/06/29 安全协议 AKC攻击形式化验证安全性质协议转换
	基于公式学习的循环不变式的推导学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2014 哈晓琳 \| 收藏 \| 浏览/下载：23/0 \| 提交时间：2014/06/06 循环不变式 CDNF 机器学习布尔公式学习算法形式验证
	带时间和资源约束的实例化过程模型验证方法期刊论文 OAI收割计算机系统应用, 2014, 期号: 10, 页码: 172-177 李伟亨; 谢淼; 翟健; 杨秋松 \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2014/12/16 实例化过程模型软件过程建模验证模型检测形式化方法 process instantiation model software process modeling verification model checking formal method
	认知无线电网络分布式协同感知协议形式化验证研究学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2012 刘金波 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2012/05/31 形式化验证 SPIN 频谱感知协议模型检测分布式系统
	认知无线电通信控制系统并发属性验证学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2012 范林林 \| 收藏 \| 浏览/下载：12/0 \| 提交时间：2012/05/31 并发系统形式化验证模型检测 SPIN
	基于Mealy机精化关系的验证算法期刊论文 OAI收割计算机应用与软件, 2012, 卷号: 29, 期号: 8, 页码: 169-172 梁虹; 金乃咏 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2013/09/17 形式验证性质验证精化 Mealy机
	数据通路型电路的形式化验证方法研究学位论文 OAI收割北京: 中国科学院研究生院, 2011 作者: 陈博文 \| 收藏 \| 浏览/下载：20/0 \| 提交时间：2011/06/07 形式化验证数据通路决策图模型检测数据抽象 *phdd 数据标记自动机裁剪
	系统时间的互操作方法研究会议论文 OAI收割第二届中国卫星导航学术年会, 中国上海, 2011 李孝辉; 许龙霞; 张慧君; 薛艳荣收藏 \| 浏览/下载：15/0 \| 提交时间：2012/10/19 多模导航系统时间算法互操作性\|Abstract 系统时间的互操作性要求能使用多个卫星导航系统的时间。在分析系统时间偏差在用户端的表现形式的基础上研究了目前的两种系统时差处理方法在开阔环境中用户级处理方法要好于系统级处理方法但在遮挡环境中由于观测卫星的几何精度因子不好导致用户级处理方法的性能下降。针对用户级处理方法的局限性提出系统时间偏差辅助导航算法在观测卫星几何结构不好时将系统时间偏差的外推值作为已知量通过减少未知数个数来提高定位精度并用仿真实验对这种方法进行验证证明系统时差辅助导航方法在提高可用性和该善定位精度方面有明显优势。