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

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

帮助

条数/页：排序方式：
	公平性约束下基于抽象和推理的活性验证学位论文 OAI收割博士, 北京: 中国科学院研究生院, 2013 龙腾 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2013/05/31 形式化方法推理证明公平性抽象化活性终止性
	基于PVS的数据库安全策略形式化分析方法期刊论文 OAI收割中国科学技术大学学报, 2013, 卷号: 43, 期号: 7, 页码: 591-598 李昊; 张敏; 王榕 \| 收藏 \| 浏览/下载：20/0 \| 提交时间：2014/12/16 形式化方法数据库管理系统 PVS 定理证明 formal method DBMS PVS theorem proving
	系统时间的互操作方法研究会议论文 OAI收割第二届中国卫星导航学术年会, 中国上海, 2011 李孝辉; 许龙霞; 张慧君; 薛艳荣收藏 \| 浏览/下载：15/0 \| 提交时间：2012/10/19 多模导航系统时间算法互操作性\|Abstract 系统时间的互操作性要求能使用多个卫星导航系统的时间。在分析系统时间偏差在用户端的表现形式的基础上研究了目前的两种系统时差处理方法在开阔环境中用户级处理方法要好于系统级处理方法但在遮挡环境中由于观测卫星的几何精度因子不好导致用户级处理方法的性能下降。针对用户级处理方法的局限性提出系统时间偏差辅助导航算法在观测卫星几何结构不好时将系统时间偏差的外推值作为已知量通过减少未知数个数来提高定位精度并用仿真实验对这种方法进行验证证明系统时差辅助导航方法在提高可用性和该善定位精度方面有明显优势。
	导航卫星星座几何精度因子饱和值分析会议论文 OAI收割第二届中国卫星导航学术年会, 中国上海, 2011 韩涛; 卢晓春; 饶永南; 王沛; 张帆; 吴杨扬收藏 \| 浏览/下载：25/0 \| 提交时间：2012/10/19 几何精度因子假设检验 F分布微分动力系统\|Abstract 并利用仿真结果逐步确定了该函数的系数。再次随着全球导航卫星系统(GNSS)的发展分别通过定性与定量的方法证明了GDOP饱和值的不存在性。最后空间中越来越多的导航卫星可以为用户提供定位服务通过对弱饱和的定义以及建立空间几何模型得出GDOP值达到弱饱和状态时的空间导航卫星星座内的卫星数目。并改善了定位时的几何精度因子(GDOP)。随之引申出这样的问题是否存在一个可视卫星数目的极限值对GDOP的改善达到饱和?本文通过假设检验以及微分动力系统模型以四通道接收机为例得出了不存在上述GDOP饱的结论。文章首先介绍了GDOP的定义计算了四通道接收机的GDOP最小值。其次在不考虑星座构型的情况下通过F分布假设检验得出了四通道接收机在不同可视卫星数目下的GDOP平均值。再次建立了类似Malthus模型的微分动力系统来描述GDOP平均值关于可视卫星数目的函数
	后序遍历二叉树非递归算法的推导及形式化证明期刊论文 OAI收割计算机工程与科学, 2010, 卷号: 32, 期号: 3, 页码: 119-123 左正康; 游珍; 薛锦云 \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2011/05/23 后序遍历二叉树循环不变式 PAR方法非线性数据结构 Dijkstra-Gries标准程序证明法
	解决度量-验证时间差的一种差值证明方法期刊论文 OAI收割通信学报, 2009, 期号: S1, 页码: 43-50 张谦; 贺也平; 孟策 \| 收藏 \| 浏览/下载：12/0 \| 提交时间：2011/03/18 度量-验证时间差问题,卸载时度量,Merkle散列树,可信虚拟域,差值证明方法
	MIKEY协议在实时流传输中密钥协商模式的研究期刊论文 OAI收割计算机应用与软件, 2008, 卷号: 25, 期号: 12, 页码: 76-78,92 李昕; 曹天杰; 毕方明收藏 \| 浏览/下载：64/3 \| 提交时间：2011/06/10 MIKEY MIKEY-RSA-R 密钥传输方式协议实时流传输密钥协商协商模式密匙管理过程共享密钥改进方法比较分析新模式证书证明优势交换测试
	一种针对中小型软件的简化功能点分析方法期刊论文 OAI收割计算机工程, 2008, 卷号: 34, 期号: 9, 页码: 103-105 王晓程; 李娟; 余方 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2011/06/10 功能点分析 IFPUG方法简化功能点中小型软件功能点分析方法简化方法证明应用思想实验偏差个体