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

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

帮助

条数/页：排序方式：
	导航卫星星座几何精度因子饱和值分析会议论文 OAI收割第二届中国卫星导航学术年会, 中国上海, 2011 韩涛; 卢晓春; 饶永南; 王沛; 张帆; 吴杨扬收藏 \| 浏览/下载：26/0 \| 提交时间：2012/10/19 几何精度因子假设检验 F分布微分动力系统\|Abstract 并利用仿真结果逐步确定了该函数的系数。再次随着全球导航卫星系统(GNSS)的发展分别通过定性与定量的方法证明了GDOP饱和值的不存在性。最后空间中越来越多的导航卫星可以为用户提供定位服务通过对弱饱和的定义以及建立空间几何模型得出GDOP值达到弱饱和状态时的空间导航卫星星座内的卫星数目。并改善了定位时的几何精度因子(GDOP)。随之引申出这样的问题是否存在一个可视卫星数目的极限值对GDOP的改善达到饱和?本文通过假设检验以及微分动力系统模型以四通道接收机为例得出了不存在上述GDOP饱的结论。文章首先介绍了GDOP的定义计算了四通道接收机的GDOP最小值。其次在不考虑星座构型的情况下通过F分布假设检验得出了四通道接收机在不同可视卫星数目下的GDOP平均值。再次建立了类似Malthus模型的微分动力系统来描述GDOP平均值关于可视卫星数目的函数
	服务描述和服务匹配研究期刊论文 OAI收割计算机科学, 2008, 卷号: 35, 期号: 10, 页码: 266-268,287 臧志; 金蓓弘; 李玉明 \| 收藏 \| 浏览/下载：11/0 \| 提交时间：2010/07/27 服务发现服务描述模型服务匹配策略
	广域网服务发现机制的研究学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2007 张英收藏 \| 浏览/下载：23/0 \| 提交时间：2011/03/17 服务发现服务描述模型索引后缀树 QoS感知的协作发现语义匹配
	移动环境下的服务描述和服务匹配研究期刊论文 OAI收割计算机工程, 2007, 卷号: 33, 期号: 23, 页码: 120-122 张英; 金蓓弘; 丛兰兰; 温元丰 \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2010/07/27 服务发现服务描述模型匹配策略
	需求驱动的Web服务建模及其验证:一个基于本体的方法期刊论文 OAI收割中国科学E辑, 2006, 卷号: 36, 期号: 10, 页码: 1189-1219 侯丽珊; 金芝; 吴步丹 \| 收藏 \| 浏览/下载：14/0 \| 提交时间：2011/07/13 Web服务环境本体自动组合 π演算形式化验证需求驱动 Web服务建模验证算法本体组合模型环境变化能力描述进程表达式转换机制验证方法可满足性操作形式化概念化 π演算语义行为框架交互
	基于模型检查实现J2EE规范的实例研究期刊论文 OAI收割计算机科学, 2006, 卷号: 33, 期号: 12, 页码: 249-254 李彦; 张文博; 陈宁江 \| 收藏 \| 浏览/下载：20/0 \| 提交时间：2011/07/13 J2EE规范模型检查 SPIN 基于模型检查工具规范要求 Model Checking 应用服务器描述方式设计方案兼容性测试形式化模型分析与验证自然语言证明使用模型技术设计规范描述规范方法多层应用中科院分布式二义性
	基于Web服务的流程协作研究学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 2003 叶春杨收藏 \| 浏览/下载：22/0 \| 提交时间：2011/03/17 工作流 Web服务 B2B协作模型协作描述语言流程解释器