【计算机研究与发展】_高可信软件_期刊发文热词逐年推荐_20140728
合集下载
高可靠性计算技术的发展与应用
高可靠性计算技术的发展与应用高可靠性计算技术是指一种计算系统，它的设计和实现旨在确保在常常出现的故障和不可预测事件下，系统仍然能够保持高可用性、高容错性和高稳定性。
高可靠性计算技术是为了改善计算机系统中出现的故障和错误的影响而出现的一种技术。
在现代信息化的背景下，高可靠性计算技术具有非常重要的应用价值，成为企业信息化建设和发展的重要组成部分。
高可靠性计算技术的发展历史高可靠性计算技术的发展可以追溯到1960年代。
当时，计算机系统仅仅是一个试验性的工具，用于大量处理信息和计算数据。
虽然计算机系统具有很高的可靠性和稳定性，但仍然存在一些错误和故障。
为了解决这些问题，人们开始研究如何设计更稳定和可靠的计算机系统。
标志性的事件是1972年，由于一个受污染的存储器芯片导致美军的一架B-52轰炸机坠毁，引起了社会的广泛关注，促使计算机系统的可靠性问题的研究和开发加快了步伐。
从1970年代到1990年代，计算机硬件性能得到了快速提升，计算机系统的可靠性和稳定性也得到了大幅提升。
然而随着网络的普及和应用程序的不断增强，计算机系统的安全问题也日益凸显。
一些高可靠性计算技术得到了广泛应用，比如数据备份、冗余设计、热备份等，但仍然不能彻底保证系统的高可靠性。
2000年代，随着互联网和移动计算的迅猛发展，计算机系统更加复杂和多样化，高可靠性计算技术的需求更加迫切。
同时，一些新的技术也得到了广泛应用，比如云计算、大数据、人工智能等，这些技术更加需要高可靠性计算技术的支持。
高可靠性计算技术的应用领域高可靠性计算技术的应用领域非常广泛，下面列举几个典型例子：第一，金融领域。
金融领域具有高风险性和复杂性，需要高度可靠性计算系统的保障。
高可靠性计算技术可以应用于金融交易、风险管理、清算等多个方面，提高金融系统的可靠性和安全性。
第二，医疗领域。
医疗领域的信息化程度越来越高，信息系统越来越关键。
高可靠性计算技术可以支持医疗信息系统的可靠性、容错性和安全性，并且有效减少医疗信息系统出现故障和瘫痪的风险。
【计算机研究与发展】_领域框架_期刊发文热词逐年推荐_20140728
2011年 科研热词 数据挖掘 需求驱动 进程代数规约 迁移学习 软件体系结构模型 软件体系结构 评估模型 自适应重构 自适应软件 网络流量识别 演化模型 概要数据结构 概率数据库 构件分派 条件随机场 机器学习 最大熵 时间通信顺序进程 数据流 支持向量机 损失函数 归纳式 小波函数 对等网络 实时系统 均匀取样 在线演化 可信性评估 关键路径 偏倚取样 信息抽取 业务流程管理 业务流程执行语言 不确定性数据 web服务 uml-rt artiflow artifact adaboost 推荐指数 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2005年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
科研热词 进程代数 软件体系结构 股票市场 绝对安全性质 算子 服务合成 异常检测 复合不变性质 可构造性质 主曲线 不精确性 不确定性 不动点 xml web服务 dempster-shafer理论
推荐指数 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
推荐指数 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2013年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34
推荐指数 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2014年 序号 1 2 3 4 5
【软件学报】_高可信软件_期刊发文热词逐年推荐_20140728
2009年 序号 1 2 3 4 5 6 7
科研热词 重构 视图选择 模型 数据仓库 描述语言 实视图 图转换
推荐指数 1 1 1 1 1 1 1
2010年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52
2013年 科研热词 领域特定建模 领域和需求建模 非线性循环 需求分析 问题框架 通信顺序进程 远程执行 运行时自适应 运行时维护与演化 运行时体系结构 软件规约 软件可信性 转换语言 终止性分析 约束求解 系统设计 程序转换 程序分析 模型驱动软件工程 模型驱动体系结构 模型转换 最弱环境演算 按需占有资源 执行语义 性能 富客户端 字符串分析 可信计算 可信性需求 string analysis program analysis discoverer constraint solving 推荐指数 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2011年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27
科研热词 高可信软件 面向服务的体系结构 需求建模 问题框架本体 问题框架方法 软件体系结构 谓词检测 论文 计算系统 计算机系统 系统开发方法 策略评价 环境特性 演化 海量数据分析 模型驱动体系结构 概率干预策略 数据挖掘 形式化方法 开放环境 建模过程 工具 分析方法 关注度 业务流程模型转换 不确定数据 qvt
科研热词 重构 视图选择 模型 数据仓库 描述语言 实视图 图转换
推荐指数 1 1 1 1 1 1 1
2010年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52
2013年 科研热词 领域特定建模 领域和需求建模 非线性循环 需求分析 问题框架 通信顺序进程 远程执行 运行时自适应 运行时维护与演化 运行时体系结构 软件规约 软件可信性 转换语言 终止性分析 约束求解 系统设计 程序转换 程序分析 模型驱动软件工程 模型驱动体系结构 模型转换 最弱环境演算 按需占有资源 执行语义 性能 富客户端 字符串分析 可信计算 可信性需求 string analysis program analysis discoverer constraint solving 推荐指数 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2011年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27
科研热词 高可信软件 面向服务的体系结构 需求建模 问题框架本体 问题框架方法 软件体系结构 谓词检测 论文 计算系统 计算机系统 系统开发方法 策略评价 环境特性 演化 海量数据分析 模型驱动体系结构 概率干预策略 数据挖掘 形式化方法 开放环境 建模过程 工具 分析方法 关注度 业务流程模型转换 不确定数据 qvt
【计算机研究与发展】_可信计算_期刊发文热词逐年推荐_20140725
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2013年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40
2014年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
2014年 科研热词 推荐指数 隐私 1 认证协议 1 直接匿名证明 1 椭圆曲线离散对数困难假设 1 无证书公钥 1 无线局域网 1 敏感度 1 敏感信息 1 折中型决策方法 1 强rsa困难假设 1 可信软件 1 可信计算 1 可信网络连接 1 可信度量 1 extended canetti-krawczyk模型 1
2012年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35
科研热词 可信计算 高优容错模型 非线性度 软件行为 身份证明密钥 负荷-容量模型 行为轨迹 网络鲁棒性 编译器辅助 线性加密 程序行为 短群签名 相继故障 正形置换 检查点 数据封装 差分均匀度 对称密码 密钥交换 完整性度量架构 安全存储 复杂网络 域内快速认证 场景 可信软件 可信性评价 可信平台模块 化简 动态完整性模型 切换 分离机制 保密性 代码证实 代数次数 中间人攻击
推荐指数 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
【计算机研究与发展】_高性能_期刊发文热词逐年推荐_20140725
2011年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52
推荐指数 3 3 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2010年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52
科研热词 数据管理 元数据 高性能计算 资源管理 魔方 高性能计算机 高性能宽带信息网 验证原型 重压缩检测 都柏林核心 软件流水循环缓冲 超高性价比 超级计算机系统 超级计算机 计算机连接 西部数据 融合特征 蚁群算法 虚拟快照 自修复技术 自主知识产权 自主创新 网络虚拟存储系统 网络处理器 编译辅助 缓存 绿色环保 粗粒度 数据流 科学计算元数据 科学可视化 离散傅立叶变换 硬盘 研究人员 直方图 海量数据加载 服务质量 曙光公司 日立制作所 数据流网络 数据模型 数据存储 数据可靠性 数值模拟网格数据 数值模拟 操作系统 报文处理 技术成果 技术包 扩散模型 性能分析 归档流数据 应用级checkpointing
2008年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52
【软件学报】_软件开发_期刊发文热词逐年推荐_20140728
53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72
医学影像可视化 1 动态软件体系结构 1 动态绑定关系 1 元模型 1 元建模 1 信息可视化 1 信任 1 体绘制 1 人机交互 1 人工智能 1 主动探测 1 业务生成 1 业务片段 1 xpl(extended-callingprocesslanguage) 1 xml(extensible markup language) 1 webservices 1 uml(unified modeling language)1 soa(services-orientedarchitecture) 1 ebdi结构 1 dagent 1
推荐指数 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2011年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52
科研热词 风险 过程模拟 过程模型 软件项目管理 软件缺陷 软件演化 软件可靠性 语义角色标注 计划变更 缺陷发现模型 缺陷发现 缓冲分配 组件模型 组件容器 特征选择 汉语框架语义知识库 正交表 模型转换 构件行为自动机 构件可替换性 条件随机场 时态工作流 时序 基于构件的软件开发 基于构件的软件工程 合理性 信任变化 信任决策 人力资源约束 产品线工程 产品线体系结构链
科研热词 软件重构 软件演化 软件再工程 访存和计算的重叠 物理设计 最优段大小 分段 srf局部性 imagine c++ 鲁棒性 高级综合 高动态范围图像 非功能属性 错误注入分析 错误注入 适形调强逆向放疗计划 软件过程 软件测试 软件度量 软件复用 软件变异 软件体系结构 语义描述 色调映射 能量最小化 统一建模语言 系统评价 类图 滑动窗口操作 模板 模型驱动开发 模型转换 模型检验 概率模型 构件 服务协作 数据调度 数据包络分析(dea) 建模 广义邻域搜索 并行混合优化策略 层次分析法(ahp) 存储结构 多变量输入/输出(mimo) 可变规模收益(vrs) 协议适配 协议兼容性 包 分析 分布系统范例 分布式基础架构
可信计算的研究与发展
可信计算的研究与发展随着信息技术的快速发展，计算机系统的安全性和可靠性变得越来越重要。
在这种背景下，可信计算作为一种新兴的安全技术，受到了广泛和研究。
本文将介绍可信计算的研究与发展情况。
一、可信计算的概念可信计算是一种基于密码学和软件工程的计算机系统安全技术，其基本思想是在计算机系统的硬件平台上引入可信计算模块，通过该模块来保护系统的安全性和可靠性。
二、可信计算的研究1、可信计算密码学可信计算密码学是可信计算的重要研究方向之一，主要研究如何利用密码学技术来提高计算机系统的安全性和可靠性。
目前，该领域已经出现了一些成熟的可信计算密码算法，如TCG（Trusted Computing Group）定义的TPM（Trusted Platform Module）密码算法。
2、可信计算硬件可信计算硬件是可信计算技术的另一个重要研究方向，主要研究如何设计出高效、可靠、安全的计算机硬件平台，以便在上面部署可信计算模块。
目前，一些计算机厂商已经推出了基于可信计算技术的安全芯片，如Intel的TXT（Trusted Execution Technology）和AMD的TXT（Trusted Execution Technology）。
3、可信计算软件可信计算软件是实现可信计算的重要工具之一，其主要功能是管理和控制可信计算模块的运作。
目前，一些国际组织和计算机厂商已经发布了一些关于可信计算软件的规范和标准，如TCG定义的TCS （Trusted Computing Service）和Intel发布的TXT驱动程序。
三、可信计算的发展可信计算技术目前已经得到了广泛应用。
例如，在云计算领域，可信计算技术可以有效地保护云服务提供商和用户之间的数据安全和隐私；在物联网领域，可信计算技术可以确保物联网设备的身份认证、数据安全和隐私保护；在工业控制领域，可信计算技术可以提高工业控制系统的安全性和可靠性，保障工业生产的安全。
总之，可信计算作为一种新兴的安全技术，其研究和应用前景广阔。
【计算机研究与发展】_高性能计算机_期刊发文热词逐年推荐_20140725
推荐指数 3 3 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2010年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52
53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82
国际标准组织 国家实验室 国产器件 同步 台基 原生 千兆以太网交换机 劳伦斯 利弗莫尔 冗余 信息产业部 产业基地 交换机 互联网络 中科院计算所联合曙光公司 中国科技大学 中国 下线 上海超级计算中心 万亿次计算机 xml sar l系统 linpack ibm hanoi塔 fpga dijkstra最弱前置谓词法 cache profiling asic设计
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1Biblioteka 1 1 1 1 1 1 1 1 1 1
53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
2013年 科研热词 需求捕获 需求工程 问题驱动 问题分析 采样 迁移 软件正确性 距离约束协议 负载均衡 评测系统 设备内存加载和存储 自然语言处理 编程抽象 线程控制流 程序分析 社会网络 知识获取 物联网 海量数据 标签系统 标签服务 查询 极限 服务组合 智能物体 数据倾斜 数据传输时间 攻击模型 拓扑 抵御方法 形式化 异构性 安全与隐私 垃圾标签 在线集成开发环境 可扩展 参数化互模拟 协同 动态划分 内存占用率 信息检索 云计算 主题概念网络 中间件 中继攻击 web信息源 rfid mapreduce grapes gpu cpu利用率 推荐指数 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
推荐指数 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2013年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51
2007年 序号 1软件 软件构件库 程序验证 检索条件重构 构件检索 构件库互联 携带证明的代码 形式化方法 对等网络 推荐指数 1 1 1 1 1 1 1 1 1
2008年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
科研热词 软件测试自动化 软件安全 自动化测试工具 电源管理 最大边染色问题 操作系统 携带证明的汇编程序 指针逻辑 指数时间算法 回溯 动态频率调节 动态功耗管理 出具证明编译器 低能耗 代码生成 hoare逻辑
推荐指数 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2009年 序号 1 2 3 4 5 6 7 8 9 10 11
2010年 科研热词 高维数据 高可信 运行时验证 软件质量保障 软件维护 软件系统监测 软件体系结构描述语言 软件体系结构 自适应 约束 矢量数据 模型驱动的软件工程 模型 概念模型 数据挖掘 授权策略 授权区域 异常检测 异常度量 多中心 图形化管理界面 低冗余 临床数据共享 uml sql接口 hl7 cda abc 推荐指数 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2011年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
科研热词 原型系统 高能效计算 音乐特征数据 软件能耗 股票历史交易重现 股票交易分析 移动对象 社会网络 生物网络 格雷码 指纹识别算法 室内对象管理 可能世界 分布式系统 低能耗 估算 优化 不确定图 memcached mapreduce k最近邻查询 hdfs
2014年 序号 1 2 3 4 5
科研热词 隐私保护 服务质量 数据存储 图像分割 云计算
推荐指数 1 1 1 1 1
推荐指数 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2012年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
科研热词 隐私保护 车辆自组网 虚假信息 自合成 聚合签名 社交网络 条件隐私 有序聚合签名 无证书聚合签名 无线射频识别(rfid) 无干扰性 形式化方法 复合事件 基于身份的聚合签名 同步聚合签名 可达性分析 加权下推系统 信息流 传播控制 事件检测 vanets petri网 pagerank dsrc
科研热词 软件工程数据 网络本体语言 灰度级 数据建模 数字水印 可能世界模型 分类数据 不确定数据模型 zernike矩 top-k查询 dwt-dct
推荐指数 1 1 1 1 1 1 1 1 1 1 1
2010年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28