机构

• 软件研究所 [4]
• 力学研究所 [1]
• 亚热带农业生态研究所 [1]
• 科技战略咨询研究院 [1]
• 上海微系统与信息技术... [1]
• 高能物理研究所 [1]
• 更多

采集方式

• OAI收割 [10]

内容类型

• 期刊论文 [6]
• 学位论文 [4]

发表日期

• 2024 [1]
• 2022 [1]
• 2020 [1]
• 2014 [1]
• 2011 [1]
• 2010 [1]
• 更多

学科主题

• 天文学 [1]

筛选

浏览/检索结果: 共10条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序作者升序作者降序题名升序题名降序发表日期升序发表日期降序 Mephisto望远镜相机控制系统的设计与研发 学位论文  OAI收割 北京: 中国科学院大学, 2024 作者:  王贞珍   |  收藏  |  浏览/下载：25/0  |  提交时间：2025/02/12 天文望远镜  观测控制系统  相机控制系统  通信协议  安全检查装置   浅谈科研事业单位的安全管理 期刊论文  OAI收割 现代职业安全, 2022, 期号: 01, 页码: 81-83 作者:  李海勇   |  收藏  |  浏览/下载：27/0  |  提交时间：2022/03/16 危险源  科研人员  安全管理  预防  监督检查   基于贝叶斯网络的航空安全中不安全信息分析 期刊论文  OAI收割 中国管理科学, 2020, 卷号: 28, 期号: 12, 页码: 118-129 作者:  许保光;  王蓓蓓;  池宏;  邵雪焱;  高敏刚   |  收藏  |  浏览/下载：29/0  |  提交时间：2021/01/16 安全管理  安全检查  贝叶斯网络  故障树  影响因素   基于静态污点分析的空间内存错误检测技术研究 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2014 赵晓柯   |  收藏  |  浏览/下载：22/0  |  提交时间：2014/05/29 空间内存错误检测  污点分析  内存安全  边界检查  静态分析   中国科学院邓麦村秘书长到中国科学院亚热带农业生态所调研 期刊论文  OAI收割 农业现代化研究, 2011, 卷号: 32, 期号: 3, 页码: 265 林泽建 收藏  |  浏览/下载：61/0  |  提交时间：2013/03/25 农业生态  亚热带  保卫工作  中国科学院  中科院  广州分院  调研  副院长  安全  检查   一种改进的卫星空时DOA矩阵算法 期刊论文  OAI收割 计算机工程, 2010, 期号: 20 许培培; 龚文斌; 余金培; 刘会杰 收藏  |  浏览/下载：28/0  |  提交时间：2012/01/06 荧光淬灭  传感器  安全检查   网络接入安全控制研究 期刊论文  OAI收割 计算机应用与软件, 2008, 期号: 11, 页码: 92-94 作者:  王昌旭;  周振柳;  许榕生 收藏  |  浏览/下载：34/0  |  提交时间：2015/12/15 网络安全  网络接入  认证  安全检查   面向软件安全缺陷的静态代码分析及防御 学位论文  OAI收割 博士, 软件研究所: 中国科学院软件研究所, 2007 罗宇翔 收藏  |  浏览/下载：30/0  |  提交时间：2011/03/17 缺陷检查  静态代码分析  缺陷定义语言  安全防御  地址空间随机化   密码协议的一种安全模型 期刊论文  OAI收割 软件学报, 2003, 卷号: 14, 期号: 6, 页码: 1148-1156 刘怡文; 李伟琴; 冯登国   |  收藏  |  浏览/下载：28/0  |  提交时间：2010/05/26 协议验证  安全模型  模型检查  组合推理   认证协议的形式化分析方法研究 学位论文  OAI收割 博士, 中国科学院软件研究所: 中国科学院软件研究所, 1999 丁一强 收藏  |  浏览/下载：19/0  |  提交时间：2011/03/17 网络安全协议  认证协议  形式化方法  模型检查