检索结果-内蒙古大学图书馆

软件学报 2017年第7期28卷 1713-1731页

作者：王德鑫王青贺劼中国科学院软件研究所互联网软件技术实验室北京100190 中国科学院大学北京100190 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院软件研究所天基综合信息系统重点实验室北京100190

软件可信已经是一个迫在眉睫的重要问题,但对软件可信性的评估却一直没有一个系统且客观的标准.一些研究工作从可信证据的采集渠道入手,譬如认为有第3方测试的证据,其可信级别就高一些,而若有用户的使用反馈则可信级别就更高.这些工作... 详细信息

软件可信已经是一个迫在眉睫的重要问题,但对软件可信性的评估却一直没有一个系统且客观的标准.一些研究工作从可信证据的采集渠道入手,譬如认为有第3方测试的证据,其可信级别就高一些,而若有用户的使用反馈则可信级别就更高.这些工作在可信的客观性方面做了很好的贡献.但可信其实是一个系统性的问题,而且质量形成于过程,其证据的充分必要程度以及对必要开发过程的覆盖程度等非常关键.基于软件开发过程,从过程的实体、行为以及制品3个方面提取软件可信的证据,建立了由37个可信原则、182个过程可信证据和108个制品可信程度证据组成的软件过程可信度模型,并给出基于该模型证据的软件过程可信评估方法,试图从开发过程的可信程度来建立软件产品的可信的信心.

关键词：软件可信过程可信软件制品可信

来源：评论

学校读者我要写书评

暂无评论

全节点空间MPI同步通信死锁检测

引用

系统仿真学报 2009年第8期21卷 2263-2266,2298页

作者：廖名学何晓新范植华中国科学院软件研究所综合信息系统技术国家级重点实验室北京100190 中国科学院研究生院北京100190

针对全节点空间上MPI同步通信程序死锁检测的现有穷举方法的弱点,提出了该场景中MPI程序的两种参数化模型:一次参数化模型和二次参数化模型。通过分析一次参数化模型的一类不变式的性质,给出了该模型的死锁检测算法。提出了同构节点空... 详细信息

针对全节点空间上MPI同步通信程序死锁检测的现有穷举方法的弱点,提出了该场景中MPI程序的两种参数化模型:一次参数化模型和二次参数化模型。通过分析一次参数化模型的一类不变式的性质,给出了该模型的死锁检测算法。提出了同构节点空间的一系列概念和性质并由此设计出该算法的几种优化方法,以加快某些特定程序模型死锁检测的过程。仿真实验表明该算法及其优化方法比现有方法的性能提高若干数量级。

关键词：消息传递接口死锁参数化模型全节点空间同构节点空间

来源：评论

学校读者我要写书评

暂无评论

基于改进模拟退火算法的观察点设置问题研究

引用

系统仿真学报 2009年第14期21卷 4328-4330页

作者：吕品张金芳鲍冠伯袁麟中国科学院软件研究所综合信息系统技术国家级重点实验室北京100190 中国科学院研究生院北京100049

观察点设置问题是地形可视性分析中的一类重要问题,在空间信息辅助决策、电信、野生动物保护等领域有着广泛的应用。在深入分析观察点设置问题特点的基础上,对经典模拟退火算法的状态产生过程和状态更新过程进行了问题相关的改进。状态... 详细信息

观察点设置问题是地形可视性分析中的一类重要问题,在空间信息辅助决策、电信、野生动物保护等领域有着广泛的应用。在深入分析观察点设置问题特点的基础上,对经典模拟退火算法的状态产生过程和状态更新过程进行了问题相关的改进。状态函数的设计同时考虑了观察点的视域和彼此之间的距离影响,而退温函数的设计则实现了高温阶段的退温时间远长于低温阶段的退温时间,提高了计算效率。仿真实验表明,基于改进模拟退火算法的观察点设置问题计算时间比采用经典模拟退火算法减少了50%-95%,并且问题解决准确度也有一定提高。

关键词：观察点设置改进模拟退火算法状态函数退温函数

来源：评论

学校读者我要写书评

暂无评论

一种基于网络编码的速率自适应多播MAC协议

引用

湖南大学学报（自然科学版） 2009年第11期36卷 78-82页

作者：杨林郑刚国防科技大学电子科学与工程学院湖南长沙410073 中国科学院软件研究所综合信息系统技术国家级重点实验室北京100190

针对现有IEEE 802.11协议在无线局域网多播应用中存在可靠性差、吞吐性能不佳等诸多缺陷,提出了一种基于网络编码的速率自适应多播MAC协议RAMPNC.该协议采用网络编码组传输模型发送多播数据,使多播接收节点通过对累积的编码帧进行解码... 详细信息

针对现有IEEE 802.11协议在无线局域网多播应用中存在可靠性差、吞吐性能不佳等诸多缺陷,提出了一种基于网络编码的速率自适应多播MAC协议RAMPNC.该协议采用网络编码组传输模型发送多播数据,使多播接收节点通过对累积的编码帧进行解码操作恢复出所需的原始数据.此外,RAMPNC利用RTS/CTS握手信号实现信道状态信息交换,并根据多播接收节点反馈的信道信噪比估值动态调整源端的物理层发送速率.通过使用NS-2模拟器评估RAMPNC协议性能,结果显示,该协议在多播吞吐量,平均帧传输延时和帧投递率等方面获得了比已有ELBP和ARSM协议更好的性能.

关键词： MAC(媒体接入控制) 网络编码多播速率自适应

来源：评论

学校读者我要写书评

暂无评论

基于机动平台序列图像的空间飞行器定轨技术研究

引用

宇航学报 2011年第1期32卷 167-171页

作者：柳庆武曹宗胜郑昌文胡晓惠中国科学院软件研究所综合信息系统技术国家级重点实验室北京100190 中国科学院研究生院北京100190 北京特种工程设计研究院北京100028

针对机动观测平台单目光学成像系统的特点,在不能测定目标飞行器位置和速度的前提下,通过对成像系统与空间飞行器空间关系的分析,提出了视平均运动角速度与真平均运动角速度的概念,并构建了关于二者的约束方程,实现了基于测角数据的观... 详细信息

针对机动观测平台单目光学成像系统的特点,在不能测定目标飞行器位置和速度的前提下,通过对成像系统与空间飞行器空间关系的分析,提出了视平均运动角速度与真平均运动角速度的概念,并构建了关于二者的约束方程,实现了基于测角数据的观测斜距的估计,从而解算出定轨所需的初始状态参数。基于观测斜距估计的轨道确定方法把对空间飞行器的定轨问题,归结为根据图像序列计算目标测角和根据测角数据确定观测斜距,解决了利用空间单目光学成像数据的定轨问题,并以高轨卫星为实例对定轨精度进行了仿真验证。

关键词：天基序列图像斜距估计定轨

来源：评论

学校读者我要写书评

暂无评论

基于工作流的卫星调度系统

引用

计算机工程与设计 2010年第2期31卷 401-405页

作者：罗郁刘立祥中国科学院软件研究所综合信息系统技术国家级重点实验室北京100190

根据当前卫星网络发展趋势和对卫星网络资源进行充分有效利用的应用需求,对卫星网络的特点进行了研究,分析了当前卫星调度系统研究的局限,并介绍了工作流模型以及根据卫星应用进行的相关改进。在此基础上,提出了一种针对由多个子任务构... 详细信息

根据当前卫星网络发展趋势和对卫星网络资源进行充分有效利用的应用需求,对卫星网络的特点进行了研究,分析了当前卫星调度系统研究的局限,并介绍了工作流模型以及根据卫星应用进行的相关改进。在此基础上,提出了一种针对由多个子任务构成的复杂任务、基于工作流模型的分层卫星调度系统。该卫星调度系统可以协同多种卫星资源,并自适应地调度卫星任务。对该卫星调度系统的体系结构、系统关键模块、调度流程以及几种优化机制进行了详细阐述。最后通过实验结果表明了该调度系统的可行性和有效性。

关键词：卫星网络工作流任务调度体系结构分层系统

来源：评论

学校读者我要写书评

暂无评论

网格调度综述

引用

计算机工程与设计 2009年第9期30卷 2151-2153,2190页

作者：张海宾唐琳莎刘立祥中国科学院软件研究所综合信息系统技术国家级重点实验室北京100190

简要地分析了网格资源的特点,给出了网格作业调度过程中所面临的主要挑战。为了便于对网格调度有更清晰的认识,介绍了包含网格系统主要功能模块的网格调度体系结构,并结合特定作业具体介绍了网格作业调度流程。从3个不同的角度重点对网... 详细信息

简要地分析了网格资源的特点,给出了网格作业调度过程中所面临的主要挑战。为了便于对网格调度有更清晰的认识,介绍了包含网格系统主要功能模块的网格调度体系结构,并结合特定作业具体介绍了网格作业调度流程。从3个不同的角度重点对网格环境中的作业调度算法进行了详尽介绍,并就各种调度算法的优缺点和适用情形进行了比较和分析。对网格调度进行了总结,并从几个不同的方面对网格调度算法的研究进行了展望。

关键词：网格网格调度调度体系结构调度流程算法自适应调度

来源：评论

学校读者我要写书评

暂无评论

基于进化计算的轨道转移时间-能量优化方法

引用

计算机工程与设计 2008年第3期29卷 735-737页

作者：赵伟郑昌文中国科学院软件研究所综合信息系统技术国家级重点实验室北京100080

针对空间飞行器轨道转移的时间-能量优化问题,提出了一种基于进化计算的多目标优化方法。该方法在非支配解排序和密度估计的基础上,设计了一种新的选择算子从父代中选择进入繁殖池的个体,并使用外部集合保存进化过程所得的非支配解。实... 详细信息

针对空间飞行器轨道转移的时间-能量优化问题,提出了一种基于进化计算的多目标优化方法。该方法在非支配解排序和密度估计的基础上,设计了一种新的选择算子从父代中选择进入繁殖池的个体,并使用外部集合保存进化过程所得的非支配解。实验结果表明,该方法可以有效求解优化目标存在约束的轨道转移时间-能量优化问题,并显著提高Pareto前沿的散布性能。

关键词：轨道转移多目标优化进化算法非支配解排序密度估计

来源：评论

学校读者我要写书评

暂无评论

移动代理完整性协议形式化分析方法研究

引用

电子学报 2009年第8期37卷 1669-1674页

作者：李鹏飞马恒太侯玉文邱田中国科学院综合信息技术国家级重点实验室北京100190 中国科学院软件研究所北京100190 中国科学院研究生院北京100039 天津大学电子信息学院天津300072

本文给出了移动代理协议数据完整性属性的定义,指出了采用传统认证性属性来分析移动代理数据完整性属性的不足,从而给出了移动代理完整性证明的两个形式化规约:数据完整性规约和序列完整性规约.在此基础上,针对典型协议实例进行CPS建模... 详细信息

本文给出了移动代理协议数据完整性属性的定义,指出了采用传统认证性属性来分析移动代理数据完整性属性的不足,从而给出了移动代理完整性证明的两个形式化规约:数据完整性规约和序列完整性规约.在此基础上,针对典型协议实例进行CPS建模,并采用阶函数的方法证明了其完整性,验证了完整性规约的正确性和有效性.

关键词：移动代理数据完整性形式化方法形式化模型

来源：评论

学校读者我要写书评

暂无评论

网络编码的研究进展

引用

计算机研究与发展 2008年第3期45卷 400-407页

作者：杨林郑刚胡晓惠国防科学技术大学电子科学与工程学院长沙410073 中国科学院软件研究所综合信息系统技术国家重点实验室北京100080

网络编码允许网络节点在传统数据转发的基础上参与数据处理,已成为提高网络吞吐量、鲁棒性和安全性的有效方法.在介绍网络编码基本原理的基础上,比较了集中式和分布式网络编码构造方法的优缺点,并对实用网络编码设计中涉及的同步、纠错... 详细信息

网络编码允许网络节点在传统数据转发的基础上参与数据处理,已成为提高网络吞吐量、鲁棒性和安全性的有效方法.在介绍网络编码基本原理的基础上,比较了集中式和分布式网络编码构造方法的优缺点,并对实用网络编码设计中涉及的同步、纠错、编解码速度等问题进行了评述;进而,对网络编码在无线网络、P2P系统、分布式文件存储和网络安全等领域的最新应用进行了总结;最后对网络编码的理论和应用研究的发展趋势进行了分析与展望.设计简单高效的实现机制,并与其他领域的技术如信道编码与调制、路由算法、队列调度以及流媒体技术等的结合,将是网络编码发展的一个重要趋势.

关键词：网络编码分布式编码线性编码组播网络信息流

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：