机构

• 软件研究所 [8]
• 计算技术研究所 [1]
• 国家空间科学中心 [1]
• 沈阳自动化研究所 [1]

采集方式

• OAI收割 [11]

内容类型

• 期刊论文 [8]
• 学位论文 [3]

发表日期

• 2020 [1]
• 2016 [1]
• 2014 [1]
• 2013 [2]
• 2012 [1]
• 2011 [4]
• 更多

学科主题

• 计算机系统结构 [1]
• 计算机软件 [1]
• 计算机软件::软件工... [1]

筛选

浏览/检索结果: 共11条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 基于可信计算的全舰计算环境安全增强研究 期刊论文  OAI收割 舰船科学技术, 2020, 卷号: 42, 期号: 13, 页码: 125-129 作者:  尚文利;  邢祥宇;  刘贤达;  尹隆;  高恩阳   |  收藏  |  浏览/下载：29/0  |  提交时间：2020/08/08 全舰计算环境  可信计算  可信软件栈  安全增强   基于可信度的DSP软件冗余容错表决方法研究 学位论文  OAI收割 硕士: 中国科学院国家空间科学中心, 2016 作者:  梁贺斌 收藏  |  浏览/下载：19/0  |  提交时间：2016/07/15 可信度  容错表决方法  三模冗余  软件冗余  COTS器件   基于网络的可信软件大规模协同开发与演化 期刊论文  OAI收割 中国科学. 信息科学, 2014, 卷号: 44, 期号: 1, 页码: 1-19 王怀民; 尹刚; 谢冰; 刘旭东; 魏峻; 刘江宁   |  收藏  |  浏览/下载：75/0  |  提交时间：2014/12/16 可信软件  群体协同  资源分享  运行监控  可信分析  软件演化   一种基于多维属性的CPS软件可信性评估方法 期刊论文  OAI收割 计算机科学, 2013, 卷号: 40, 期号: 11, 页码: 187-190 戎玫   |  收藏  |  浏览/下载：22/0  |  提交时间：2014/12/16 多维属性  信息物理融合系统  可信证据时效性  软件可信性评估  Multi-attributes  Cyber-physical system  Aging of trustworthiness evidences  Software trustworthiness evaluation   基于体系结构能耗建模的CPS软件可信性评估方法 期刊论文  OAI收割 电子学报, 2013, 期号: 11, 页码: 2270-2275 张广泉; 张侃; 祝义; 周航   |  收藏  |  浏览/下载：31/0  |  提交时间：2014/12/16 信息物理融合系统  软件可信性评估  可信性指标模型  能耗建模  (CPS) cyber physical systems  software trustworthiness evaluation  trustworthiness indicator model  energy con-sumption modeling   一种面向软件过程的可信证据模型及过程可信性评估方法研究 学位论文  OAI收割 博士, 北京: 中国科学院研究生院, 2012 杜晶   |  收藏  |  浏览/下载：14/0  |  提交时间：2013/01/09 可信软件过程域  过程评估  可信证据模型  安全设计评审  TSM  可信度  可信级别   一种基于模糊理论的软件过程可信评价方法及工具 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2011 张昊鹏   |  收藏  |  浏览/下载：19/0  |  提交时间：2011/06/08 软件过程可信  可信性评价  度量指标  模糊理论  层次分析法   基于改进Elman网络模型的软件可靠性预测 期刊论文  OAI收割 通信学报, 2011, 卷号: 32, 期号: 4, 页码: 86-93 程绪超; 陈新宇; 郭平   |  收藏  |  浏览/下载：23/0  |  提交时间：2011/10/10 软件可靠性预测  可信性  反馈神经网络  NSGA-II  多目标优化Computer software selection and evaluation  Forecasting  Multiobjective optimization  Network architecture  Neural networks   基于证据的可信软件过程评估方法 期刊论文  OAI收割 计算机科学与探索, 2011, 期号: 6, 页码: 501-512 杜晶; 杨叶; 王青; 李明树   |  收藏  |  浏览/下载：22/0  |  提交时间：2011/10/10 可信软件  软件过程可信性  可信过程评估  基于证据   可信计算研究进展分析 期刊论文  OAI收割 电信科学, 2011, 期号: 1, 页码: 11-15 卿斯汉; 周启明; 杜虹   |  收藏  |  浏览/下载：26/0  |  提交时间：2011/10/10 可信计算  可信平台模块  可信密码模块  可信软件堆栈