机构

• 软件研究所 [53]
• 国家授时中心 [4]
• 长春光学精密机械与物... [3]
• 计算技术研究所 [2]
• 电子学研究所 [2]
• 数学与系统科学研究院 [2]
• 更多

采集方式

• OAI收割 [76]

内容类型

• 期刊论文 [45]
• 学位论文 [24]
• 会议论文 [7]

发表日期

• 2014 [2]
• 2013 [4]
• 2012 [4]
• 2011 [3]
• 2010 [4]
• 2009 [3]
• 更多

学科主题

• 计算机应用 [2]
• Computer S... [1]
• Computer S... [1]
• 科技哲学 [1]
• 网络心理学 [1]
• 计算机应用::计算机... [1]
• 更多

筛选

浏览/检索结果: 共76条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 矩阵形式二次修正Maxwell-Dirac系统的多尺度算法 期刊论文  OAI收割 计算数学, 2019, 卷号: 41.0, 期号: 004, 页码: 419-439 作者:  付姚姚;  曹礼群   |  收藏  |  浏览/下载：23/0  |  提交时间：2021/01/14 Maxwell-Dirac系统  二次修正  矩阵形式  多尺度渐近方法  Crank-Nicolson有限差分方法  自适应棱单元方法   基于启发式方法的带参系统形式化验证 学位论文  OAI收割 硕士, 北京: 中国科学院大学, 2016 段凯强   |  收藏  |  浏览/下载：10/0  |  提交时间：2016/05/31 带参系统  形式验证  启发式方法  流图   关节中线缆的动力学建模和布置方案研究 会议论文  OAI收割 第九届全国多体系统动力学暨第四届全国航天动力学与控制学术会议, 武汉, 2015年10月17-18日 作者:  张赵威 收藏  |  浏览/下载：29/0  |  提交时间：2016/09/13 力学建模  多体系统动力学  装配过程  方案研究  动力学模型  变形状态  数值仿真  安装形式  coordinate  吻合度   纳米银的神经毒理学效应研究 会议论文  OAI收割 第十届全国生物医药色谱及相关技术学术交流会, 中国山东威海, 2014-04-19 作者:  殷诺雅;  周群芳;  刘稷燕;  江桂斌 收藏  |  浏览/下载：21/0  |  提交时间：2016/01/26 纳米银  日常生活用品  神经毒理学  生物安全性  纳米材料  大鼠  中枢神经系统  产品形式  组织病理变化  行为学   SRLtoRadl生成系统及其范畴论语义 期刊论文  OAI收割 电子学报, 2014, 卷号: 42, 期号: 1, 页码: 137-143 王昌晶; 薛锦云; 左正康   |  收藏  |  浏览/下载：32/0  |  提交时间：2014/12/16 结构化需求语言  形式化软件规约  自动生成系统  高可靠  范畴论语义  structural requirement language  formal software specification  automatic generation system  high reliability  category semantics   空气泵实验的理论预设与实验系统 期刊论文  OAI收割 自然辩证法研究, 2013, 卷号: 29, 期号: 10, 页码: 21-28 作者:  陈仕丹 收藏  |  浏览/下载：39/0  |  提交时间：2016/09/01 空气泵实验  生活形式  实验哲学  实验系统   基于PVS的数据库安全策略形式化分析方法 期刊论文  OAI收割 中国科学技术大学学报, 2013, 卷号: 43, 期号: 7, 页码: 591-598 李昊; 张敏; 王榕   |  收藏  |  浏览/下载：20/0  |  提交时间：2014/12/16 形式化方法  数据库管理系统  PVS  定理证明  formal method  DBMS  PVS  theorem proving   Radl 形式规格说明相对正确性研究 期刊论文  OAI收割 Journal of Software, 2013, 卷号: 24, 期号: 4 Wang Changjing; Xue Jinyun   |  收藏  |  浏览/下载：23/0  |  提交时间：2013/09/17 形式规格说明  相对正确性  确认  扩展的逻辑系统  辅助证明算法   Radl形式规格说明相对正确性研究 期刊论文  OAI收割 软件学报, 2013, 卷号: 24, 期号: 4, 页码: 715-729 王昌晶; 薛锦云   |  收藏  |  浏览/下载：18/0  |  提交时间：2013/09/17 形式规格说明  相对正确性  确认  扩展的逻辑系统  辅助证明算法   空间光学系统设计技术发展探讨 会议论文  OAI收割 中国北京 作者:  张新 收藏  |  浏览/下载：72/0  |  提交时间：2013/03/19 空间光学系统:9070  三镜系统:2360  空间望远镜:2304  空间天文望远镜:1622  主镜:1478  太空望远镜:1055  反射式光学系统:713  角分辨率:384  两镜系统:337  拼接式:207  设计技术:192  离轴:182  口径:85  同轴:70  孔径:54  像质:47  大视场:44  发展探讨:40  詹姆斯:28  结构形式:27