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

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

帮助

条数/页：排序方式：
	某船空调器的故障分析及改造实例 CNKI期刊论文 OAI收割 2022 作者: 姜良优; 刘长杰; 宋永真 \| 收藏 \| 浏览/下载：3/0 \| 提交时间：2024/12/18 船舶空调空调器故障分析改造实例总结
	基于结构化预测的联机手写文档分析学位论文 OAI收割中国科学院自动化研究所: 中国科学院自动化研究所, 2020 作者: 叶君宇 \| 收藏 \| 浏览/下载：38/0 \| 提交时间：2021/03/31 联机手写文档分析笔划分类实例分割文本行分割结构化预测条件随机场图神经网络注意力机制
	二氧化碳注入下岩层变形和流体运移分析:(Ⅱ)实例分析期刊论文 OAI收割岩土力学, 2014, 期号: 10, 页码: 2888-2893+3026 作者: 张帆; 周辉; 吕涛; 胡大伟; 盛谦 \| 收藏 \| 浏览/下载：16/0 \| 提交时间：2018/06/25 二氧化碳咸水层封存实例分析岩层稳定性二氧化碳运移
	空间分析动态建模技术期刊论文 OAI收割测绘科学, 2012, 期号: 4, 页码: 49-51 姬伟; 吴信才; 曹春香; 张颢收藏 \| 浏览/下载：38/0 \| 提交时间：2015/01/05 空间分析模型动态建模模型实例化规则绑定模型逻辑图权限资源绑定模型
	基于微分动力系统的GNSS互操作评价模型会议论文 OAI收割第二届中国卫星导航学术年会, 中国上海, 2011 韩涛; 卢晓春; 王雪; 绕永南收藏 \| 浏览/下载：21/0 \| 提交时间：2012/10/19 互操作评价模型微分动力系统 GNSS 稳定性\|Abstract 全球导航卫星系统(GNSS)互操作是一个崭新的课题因此互操作的评价方法有待于进一步深化和研究。评价互操作的效果需要考虑到系统的综合效益与整体系统代价之间的关系找到它们相互制约促进过程中的平衡点。基于微分动力系统原理仿照生物种群动力学的Lotka-Volterra模型我们建立了GNSS系统综合效益与整体系统代价之间的动力学模型分析了该模型平衡点的存在与稳定性条件并据平衡点构造了GNSS系统的性价比函数并通过该性价比函数对互操作分别进行了定性与定量的评价。首先介绍了互操作的定义与内涵。其次介绍了生物种群动力学Lotka-Volterra模型的原理与意义。再次结合种群动力学与GNSS系统自身特点建立了GNSS系统综合效益与整体系统代价之间的动力学模型与GNSS系统性价比函数。接着分别讨论了该系统平衡点的存在性条件与稳定性条件。最后结合互操作阐述了该模型的具体意义并以实例方式说明了评价算法的应用方法。
	变频系统延迟测试的两种方法比较会议论文 OAI收割 2009全国虚拟仪器大会, 中国广西桂林, 2009 张慧君; 李孝辉收藏 \| 浏览/下载：26/0 \| 提交时间：2012/10/19 变频系统延迟群时延调制信号测试\|Abstract 变频系统时延的精确测量对于精密卫星导航定位远距离时间传递雷达侦测等都具有重要作用。本论文研究了采用高性能矢量网络分析仪进行多级变频系统群时延测量的方案以及测量的关键技术并给出了测量实例。由于矢量网络分析仪是根据扫频激励信号来完成群时延曲线测试的所以它不能反映变频系统中传输调制信号时的真实时延值。鉴于此研究了采用高速宽带示波器对BPSK调制信号在变频系统中的传输时延进行测量的方法。最后将两种方法的测量结果进行了比较并对两种测量方法的关系及优缺点做了比较。
	基于抽象解释的代码迷惑有效性比较框架期刊论文 OAI收割计算机学报, 2007, 卷号: 30, 期号: 5, 页码: 806-814 高鹰; 陈意云收藏 \| 浏览/下载：77/6 \| 提交时间：2011/07/01 抽象解释程序变换程序分析代码迷惑压平算法抽象解释代码迷惑有效性证明比较框架非语义算法实例描述静态分析变换技术保护软件应用剖析逆向环境程序Algorithms Computer software Mobile agents Program diagnostics Security of data Semantics Static analysis
	核心化多级安全数据库系统未决提交事务日志写出依赖研究期刊论文 OAI收割计算机学报, 2006, 卷号: 29, 期号: 8, 页码: 1438-1446 徐震; 张敏 \| 收藏 \| 浏览/下载：34/0 \| 提交时间：2011/07/13 核心化体系结构多级安全数据库系统未决提交依赖图核心化事务日志日志记录持久存储高级事务依赖关系协调系统崩溃维护体系结构算法事务提交事务数据实例处理分析论证处理过程状态证明同级Algorithms Architecture Data storage equipment Graph theory Mathematical models Security of data Topology