中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

浏览/检索结果: 共9条，第1-9条 帮助

条数/页： 排序方式：
Contrary description logic： Gentzen deduction system 期刊论文  OAI收割
中国科学：信息科学（英文版）, 2017, 卷号: 60.0, 期号: 011, 页码: 112103
作者:  Li Wei;  Sui Yuefei;  Luo Jie;  Chen Bo
  |  收藏  |  浏览/下载：2/0  |  提交时间：2023/12/04
加权基本无振荡格式的权函数研究及应用 会议论文  OAI收割
中国力学大会-2015, 中国上海, 2015-08-16
作者:  申义庆
收藏  |  浏览/下载：28/0  |  提交时间：2016/08/16
基于微分动力系统的GNSS互操作评价模型 会议论文  OAI收割
第二届中国卫星导航学术年会, 中国上海, 2011
韩涛; 卢晓春; 王雪; 绕永南
收藏  |  浏览/下载：19/0  |  提交时间：2012/10/19
互操作  评价模型  微分动力系统  GNSS  稳定性|Abstract  全球导航卫星系统(GNSS)互操作是一个崭新的课题  因此互操作的评价方法有待于进一步深化和研究。评价互操作的效果需要考虑到系统的综合效益与整体系统代价之间的关系  找到它们相互制约  促进过程中的平衡点。基于微分动力系统原理  仿照生物种群动力学的Lotka-Volterra模型  我们建立了GNSS系统综合效益与整体系统代价之间的动力学模型  分析了该模型平衡点的存在与稳定性条件  并据平衡点构造了GNSS系统的性价比函数  并通过该性价比函数对互操作分别进行了定性与定量的评价。首先  介绍了互操作的定义与内涵。其次  介绍了生物种群动力学Lotka-Volterra模型的原理与意义。再次  结合种群动力学与GNSS系统自身特点  建立了GNSS系统综合效益与整体系统代价之间的动力学模型与GNSS系统性价比函数。接着  分别讨论了该系统平衡点的存在性条件与稳定性条件。最后  结合互操作阐述了该模型的具体意义  并以实例方式说明了评价算法的应用方法。  
基于二进制补丁比对的软件输入数据自动构造 期刊论文  OAI收割
计算机工程与设计, 2010, 卷号: 31, 期号: 14, 页码: 3169-3173
沈亚楠; 赵荣彩; 任华; 王小芹; 刘振华; 张新宇; 李鹏飞
  |  收藏  |  浏览/下载：24/0  |  提交时间：2011/05/23
一个基于单向散列函数的实用等级密钥管理方案 期刊论文  OAI收割
北京大学学报（自然科学版）, 2008, 卷号: 44, 期号: 4, 页码: 527-536
韩心慧; 龙勤; 司端锋; 诸葛建伟; 叶志远
收藏  |  浏览/下载：78/6  |  提交时间：2011/06/10
优化位移边界反演三维初始地应力场的研究 期刊论文  OAI收割
岩土力学, 2008, 期号: 05, 页码: 1269-1274
作者:  郭明伟;  李春光;  王水林;  栾广博
  |  收藏  |  浏览/下载：9/0  |  提交时间：2018/06/25
广义向量Bent函数 期刊论文  OAI收割
电子与信息学报, 2005, 卷号: 27, 期号: 1, 页码: 119-122
张文英; 武传坤; 黄晓英; 李世取
  |  收藏  |  浏览/下载：26/0  |  提交时间：2011/07/28
一个基于填充函数变换的对称TSP问题的局部搜索算法 期刊论文  OAI收割
计算机学报, 2002, 卷号: 25, 期号: 7, 页码: 701-707
朱文兴; 傅清祥
  |  收藏  |  浏览/下载：20/0  |  提交时间：2011/07/29