机构

• 软件研究所 [15]
• 测量与地球物理研究所 [7]
• 遥感与数字地球研究所 [3]
• 水生生物研究所 [3]
• 电子学研究所 [2]
• 过程工程研究所 [2]
• 更多

采集方式

• OAI收割 [40]

内容类型

• 期刊论文 [26]
• 学位论文 [11]
• 会议论文 [2]
• 成果 [1]

发表日期

• 2014 [1]
• 2013 [2]
• 2012 [3]
• 2011 [2]
• 2010 [2]
• 2008 [3]
• 更多

学科主题

• Computer S... [1]
• X87 [1]
• 传感器 [1]
• 医学史 [1]
• 天然产物研究 [1]
• 计算机科学技术基础学... [1]
• 更多

筛选

浏览/检索结果: 共40条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 论《黄帝内经》与丹道 期刊论文  OAI收割 中华中医药杂志, 2021, 卷号: 36, 期号: 10, 页码: 5738-5743 作者:  李辉;  李盼飞;  胡馨予(40   |  收藏  |  浏览/下载：26/0  |  提交时间：2022/06/22 丹道  生命科学  黄帝内经  天真  炼精化炁  性命双修   面向社交媒体的个性化情感分析与立场挖掘方法研究 学位论文  OAI收割 北京: 中国科学院大学, 2018 作者:  林俊杰   |  收藏  |  浏览/下载：217/0  |  提交时间：2018/06/03 社交媒体分析  情感分析  立场挖掘  个性化信息  基于话题的建模与求精   非共线多线阵CCD遥感影像内部畸变补偿方法研究 学位论文  OAI收割 博士, 北京: 中国科学院大学, 2017 黄利 收藏  |  浏览/下载：22/0  |  提交时间：2017/06/06 遥感图像  内部几何畸变  图像拼接  几何检校  姿态精化   基于反例制导抽象精化的安全性验证 学位论文  OAI收割 博士, 北京: 中国科学院研究生院, 2016 王伟锋   |  收藏  |  浏览/下载：23/0  |  提交时间：2016/05/31 模型检测  反例制导抽象精化  安全性  时间自动机  Horn子句   环境减灾卫星多光谱CCD影像自动几何精纠正与正射校正系统 期刊论文  OAI收割 生态学报, 2014, 卷号: 34, 期号: 24, 页码: 7181-7191 作者:  边金虎;  李爱农;  雷光斌;  张正健;  吴炳方 收藏  |  浏览/下载：45/0  |  提交时间：2016/11/29 环境减灾卫星  几何精纠正  正射校正  自动化   基于问题模式的形式化软件规格说明生成方法 期刊论文  OAI收割 计算机研究与发展, 2013, 卷号: 50, 期号: 2, 页码: 352-360 王昌晶; 罗海梅; 左正康   |  收藏  |  浏览/下载：12/0  |  提交时间：2013/09/17 形式化软件规格说明  生成方法  问题模式  模型精化演算  算法程序   基于Julia语言的并行计算方法初探 会议论文  OAI收割 2013全国高性能计算学术年会, 桂林, 2013 巩庆奎; 张常有; 张先轶; 张云泉   |  收藏  |  浏览/下载：19/0  |  提交时间：2014/12/16 Julia语言  脚本  并行程序  程序精化  性能分析   时序逻辑博弈问题的必胜策略检测 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2012 梁虹   |  收藏  |  浏览/下载：20/0  |  提交时间：2012/06/01 时序逻辑  可实现性问题  博弈论  必胜策略  精化关系   高分辨率离子迁移率谱系统及其在药物残留检测中的应用研究 学位论文  OAI收割 博士, 北京: 中国科学院研究生院, 2012 李澍 收藏  |  浏览/下载：33/0  |  提交时间：2012/06/14 高分辨率离子迁移率谱系统  电喷雾离化  抗生素残留检测  双相不溶三相液相微萃取  毒麻精类药品残留检测   基于Mealy机精化关系的验证算法 期刊论文  OAI收割 计算机应用与软件, 2012, 卷号: 29, 期号: 8, 页码: 169-172 梁虹; 金乃咏   |  收藏  |  浏览/下载：18/0  |  提交时间：2013/09/17 形式验证  性质验证  精化  Mealy机