-
题名一种成本相关的云提供商数据可靠性保证算法
被引量:5
- 1
-
-
作者
钟睿明
刘川意
王春露
项菲
-
机构
北京邮电大学计算机学院
可信分布式计算与服务教育部重点实验室(北京邮电大学)
北京邮电大学软件学院
-
出处
《软件学报》
EI
CSCD
北大核心
2014年第8期1874-1886,共13页
-
基金
国家自然科学基金(60973009)
国家重大科技专项(2012ZX03005010)
-
文摘
数据可靠性保证和容灾成本控制对云提供商而言是一个相互矛盾的问题.在分析已有数据保障机制的基础上,设计了一个基于多个云平台的分布式富云容灾模型,利用富云容灾系统,私有云提供商可以借用其他云平台的虚拟资源对自身数据进行冗余备份.为了减少数据传输的响应时间,富云容灾模型通过设置多个地理位置隔离的富云代理实现云平台用户任务的分配,减少私有云平台的工作负荷.针对富云容灾系统的成本优化和数据可靠性保证问题,提出了一种成本相关的云计算服务数据可靠性保证算法CAHRPA.该算法根据数据传输带宽和容灾费用在多个云平台中动态选择数据副本的存放位置,从而以一种成本优化的方式为云提供商提供数据容灾方案.实验结果表明,CAHRPA能够在保证数据可靠性的同时,实现一种成本更低的数据容灾策略.
-
关键词
云计算
数据可靠性
容灾
差分进化
云存储
-
Keywords
cloud computing
data reliability
disaster recovery
differential evolution
cloud storage
-
分类号
TP306
[自动化与计算机技术—计算机系统结构]
-
-
题名一种成本相关的云提供商高可靠性保证算法
- 2
-
-
作者
钟睿明
刘川意
方滨兴
项菲
-
机构
北京邮电大学计算机学院
北京邮电大学可信分布式计算与服务教育部重点实验室
北京邮电大学软件学院
-
出处
《信息网络安全》
2012年第8期101-104,共4页
-
基金
国家自然科学基金[60273006]
-
文摘
文章提出了一种"富云"的数据容灾模型,即通过在云提供商之间相互进行数据备份和容灾,从而节省构建远程容灾中心的成本,并在此基础上设计了一种成本相关的云计算服务高可靠性保证算法CAHRPA,其根据数据恢复时间和容灾费用选择合适的容灾方案。实验结果证明,CAHRPA能够在满足数据恢复时间的同时选取一种成本最优的数据备份策略。
-
关键词
云计算
可靠性
容灾
-
Keywords
cloud computing
data reliability
disaster recovery
-
分类号
TP309.3
[自动化与计算机技术—计算机系统结构]
-
-
题名面向航天控制软件的异构多机虚拟仿真平台
- 3
-
-
作者
钟睿明
王同磊
李晓锋
张西超
王晶
-
机构
北京控制工程研究所
-
出处
《微纳电子与智能制造》
2020年第1期85-90,共6页
-
文摘
针对航天控制软件的典型应用场景,对异构多机软件联合测试面临的挑战进行分析。在此基础上,从多机间数据通信机制、时序同步策略以及仿真效率等角度出发,对异构多机联合仿真平台的技术实现难点进行分析,并进一步讨论异构多机联合仿真平台的设计方案及应用效果,最后对航天控制软件测试技术的未来发展进行思考。
-
关键词
航天控制软件
虚拟仿真平台
自动测试
-
Keywords
aerospace control software
virtual simulation platform
automatic testing
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
-
-
题名新的基于云计算环境的数据容灾策略
被引量:22
- 4
-
-
作者
项菲
刘川意
方滨兴
王春露
钟睿明
-
机构
北京邮电大学计算机学院
北京邮电大学可信分布式计算与服务教育部重点实验室
北京邮电大学软件学院
-
出处
《通信学报》
EI
CSCD
北大核心
2013年第6期92-101,共10页
-
基金
国家自然科学基金资助项目(61202081)~~
-
文摘
针对云提供商在保证数据可靠性的基础上,尽可能地降低自身的数据容灾成本这一需求,提出了一种基于"富云"的数据容灾策略——RCDDRS,该策略能够实现动态多目标调度,即在云提供商本身存储资源有限的情况下,合理地选择其他云提供商的资源储存数据备份,使得数据容灾成本尽可能的低且出现灾难后的恢复时间尽可能的短。仿真结果证明了该策略的可行性和有效性。
-
关键词
云计算
数据容灾
可靠性
3-Replicas动态多目标微粒群算法
-
Keywords
cloud computing
data disaster recovery
reliability
3-Replicas
dynamic multi-objective particle swarm optimization
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名云计算环境下密文搜索算法的研究
被引量:15
- 5
-
-
作者
项菲
刘川意
方滨兴
王春露
钟睿明
-
机构
北京邮电大学计算机学院
北京邮电大学可信分布式计算与服务教育部重点实验室
北京邮电大学软件学院
-
出处
《通信学报》
EI
CSCD
北大核心
2013年第7期143-153,共11页
-
基金
国家自然科学基金资助项目(61202081)
国家科技重大专项基金资助项目(2012ZX03005010)~~
-
文摘
为确保数据私密性,用户选择将数据加密后再上传到云端,但云无法为密文数据提供管理和搜索等服务。密文搜索技术可以把保护用户数据私密性和有效利用云服务结合起来。在分析云环境下密文搜索算法的基础上,提出基于云环境的密文搜索体系结构,研究其中的关键技术,指出云环境应用密文搜索技术存在的问题和改进的方向。
-
关键词
云存储
密文搜索
倒排索引
BLOOMFILTER
-
Keywords
cloud storage
ciphertext search
reverse index
Bloom filter
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名程序智能合成技术研究进展
被引量:5
- 6
-
-
作者
顾斌
于波
董晓刚
李晓锋
钟睿明
杨孟飞
-
机构
北京控制工程研究所
中国空间技术研究院
-
出处
《软件学报》
EI
CSCD
北大核心
2021年第5期1373-1384,共12页
-
基金
国家自然科学基金(61632005)。
-
文摘
近年来,随着信息技术快速发展,软件重要性与日俱增,极大地推动了国民经济的发展.然而,由于软件业务形态越来越复杂和需求变化越来越快,软件的开发和维护成本急剧增加,迫切需要探索新的软件开发模式和技术.目前,各行业在软件活动中积累了规模巨大的软件代码和数据,这些软件资产为软件智能化开发建立了数据基础.与此同时,深度学习等人工智能技术在多个领域取得的成功应用,促使研究者考虑使用智能化技术与软件工程技术相结合,解决程序自动生成问题.程序智能合成方法是程序自动生成的新途径,通过实现软件开发过程的自动化,提高软件的生产率.首先分析了软件工程的发展历程及挑战,进而研究了智能化程序合成技术领域的研究布局以及各方法的优势和劣势.最后,对程序智能合成技术加以总结,并给出了未来的研究建议.
-
关键词
软件工程
程序合成
软件开发
-
Keywords
software engineering
program synthesis
software development
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名航天控制软件知识图谱构建方法研究
被引量:5
- 7
-
-
作者
赵明
顾斌
钟睿明
李振松
李声涛
-
机构
北京控制工程研究所
-
出处
《空间控制技术与应用》
CSCD
北大核心
2020年第2期49-55,79,共8页
-
基金
国家自然科学基金资助项目(90405017).
-
文摘
近些年,知识图谱构建技术快速发展,但对于领域知识图谱构建的研究还处于起步阶段.知识图谱的构建主要包括自顶向下、自底向上两种方法.当前大多采用自顶向下的方法进行领域知识图谱的构造,首先构建本体,然后通过本体学习得到实体,再将实体加入到知识图谱中.但这种做法有一个缺点,本体学习的过程过分依赖人工,不支持构建专业性强、数据量大的领域知识图谱.针对这一缺点,本文提出一种自顶向下和自底向上法相结合的领域知识图谱构建方法.提出一种改进的骨架法来进行本体构建,保证构建本体的准确率和覆盖率;利用基于规则与半监督的知识抽取技术,提高知识图谱的构建速度;并以某航天控制软件为例,详细说明了领域知识图谱的整体构建流程.实验结果表明,该领域知识图谱的构建方法是可行的.
-
关键词
领域知识图谱
知识图谱构建
本体构建
知识抽取
-
Keywords
domain knowledge graph
knowledge graph construction
ontology construction
knowledge extraction
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名一种卫星综合电子应用软件遥控解耦设计方法
被引量:1
- 8
-
-
作者
李光旭
万丽景
钟睿明
王裙
周中泽
陈志华
-
机构
北京控制工程研究所
-
出处
《空间控制技术与应用》
CSCD
北大核心
2022年第1期53-57,共5页
-
基金
北京市自然科学基金资助项目(4192068)
中国航天科技集团有限公司钱学森青年创新基金资助项目。
-
文摘
随着卫星计算机集成度和计算能力的提高,卫星综合电子计算机具备实现星务管理功能和姿轨控功能的能力,卫星综合电子应用软件的规模变大、复杂度提高,这对卫星综合电子应用软件架构设计提出了更高的要求.本文分析现在卫星综合电子应用软件的遥控功能实现方法存在功能耦合问题,提出采用HASH表+链表的方式实现了机制和具体指令执行完全解耦,提高了软件的性能、可扩展性和可维护性,通过仿真及在型号中的实际应用验证了该方法达到了良好的效果.
-
关键词
综合电子
解耦
遥控
HASH表
链表
-
Keywords
sate integrated electronic
decoupling tele-command
Hash table
linked list
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名北京市智能交通管理系统的交通安全效果评价研究
- 9
-
-
作者
任宇立
钟睿明
陈令梅
-
机构
北京市公安局公安交通管理局
-
出处
《道路交通与安全》
2010年第5期15-18,共4页
-
文摘
提出了一种针对智能交通管理系统交通安全作用效果分析的评价方法,用来评价北京市智能交通管理系统的实施对道路交通所作贡献的程度。该方法根据智能交通管理系统的功能作用范围将北京市分为两个部分,分别在系统功能作用范围内外选取若干区域作为评价对象,利用灰色聚类评估法对所选两类区域的交通安全等级进行评价,并进一步分析评价智能交通管理系统的交通安全作用效果,评价结果显示该方法具有较好的可操作性和通用性,能够很好地解决智能交通管理系统的交通安全效果评价问题。
-
关键词
交通管理
智能交通管理系统
交通安全评价
灰色聚类
-
Keywords
traffic management
ITS
traffic safety evaluation
gray clustering
-
分类号
U495
[交通运输工程—交通运输规划与管理]
-