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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

星空环境成像效果的仿真研究

引用

系统仿真学报 2009年第8期21卷 2174-2178,2184页

作者：袁麟吕品郑昌文胡晓惠中国科学院软件研究所综合信息系统技术国家级重点实验室北京100080 中国科学院研究生院北京100049

在分析星空环境下相机成像机理的基础上,从相机光学系统,光感受器工作特性和光圈衍射过程三个方面对星空环境下的成像系统进行了建模。基于这些模型,深入分析了星空环境下成像过程中背景离焦模糊,运动模糊和星芒这三种效果的形成原因并... 详细信息

在分析星空环境下相机成像机理的基础上,从相机光学系统,光感受器工作特性和光圈衍射过程三个方面对星空环境下的成像系统进行了建模。基于这些模型,深入分析了星空环境下成像过程中背景离焦模糊,运动模糊和星芒这三种效果的形成原因并提出了针对性的模拟方法。应用这些方法的一系列仿真实验结果表明了所提方法的有效性。

关键词：星空环境成像离焦模糊运动模糊:星芒

来源：评论

学校读者我要写书评

暂无评论

移动Ad hoc网络服务发现协议

引用

计算机工程 2009年第22期35卷 262-263,266页

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

介绍移动Ad hoc网络的应用前景和主要研究内容,阐述服务协议的重要性以及服务发现协议中的基本概念,针对现有的移动Ad hoc网络服务发现协议的核心技术和设计思想进行分析,选取几种典型的服务发现协议进行对比,总结得出各类服务发现协议... 详细信息

介绍移动Ad hoc网络的应用前景和主要研究内容,阐述服务协议的重要性以及服务发现协议中的基本概念,针对现有的移动Ad hoc网络服务发现协议的核心技术和设计思想进行分析,选取几种典型的服务发现协议进行对比,总结得出各类服务发现协议的优缺点和适用范围,并指出该领域的进一步研究方向。

关键词：移动Ad hoc网络服务发现协议体系结构

来源：评论

学校读者我要写书评

暂无评论

地球外层空间物体真实感成像建模与绘制研究

引用

电子学报 2011年第10期39卷 2307-2310,2316页

作者：柳庆武郑昌文张翼中国科学院软件研究所综合信息系统技术国家重点实验室北京100190 中国科学院研究生院北京100190

针对现有模型在地球外层空间物体真实感成像绘制中的局限性和不足,建立一种基于几何光学原理和光线追踪技术的BRDF微面元模型.该模型综合了微面元的朝向分布和表面反射率以及微面元之间遮挡关系对地球外层空间物体表面反射特性影响,以... 详细信息

针对现有模型在地球外层空间物体真实感成像绘制中的局限性和不足,建立一种基于几何光学原理和光线追踪技术的BRDF微面元模型.该模型综合了微面元的朝向分布和表面反射率以及微面元之间遮挡关系对地球外层空间物体表面反射特性影响,以提高对空间物体表面反射光空间分布特征的建模精度,并把光学反射特性分解为微面元的漫反射特性和镜面反射特性两个分量,不仅能反映空间物体整体亮度特征,而且能描述空间物体局部高光特征.通过与实际测量数据比较,该模型曲线与测量结果基本一致.实验结果表明,采用该模型能够实现对地球外层空间物体真实感成像绘制效果.

关键词：空间物体真实感成像微面元双向反射分布函数

来源：评论

学校读者我要写书评

暂无评论

无线网络构件化协议研究

引用

计算机科学 2009年第8期36卷 64-66,144页

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

层次化网络体系结构设计本身存在缺陷,如冗余、各层之间无交互等。由于这些缺陷,在应用过程中会遇到诸多问题,如QoS保障、网络安全等,层次化网络体系结构运用于无线网络除了会遇到上述问题外,还面临资源不足、间歇链路等限制。为消除层... 详细信息

层次化网络体系结构设计本身存在缺陷,如冗余、各层之间无交互等。由于这些缺陷,在应用过程中会遇到诸多问题,如QoS保障、网络安全等,层次化网络体系结构运用于无线网络除了会遇到上述问题外,还面临资源不足、间歇链路等限制。为消除层次网络设计缺陷,解决应用中的问题和限制,提出了构件化网络体系结构。构件化网络体系结构打破当前网络层次化概念,将网络按照功能协议进行划分,形成低耦合功能构件。通过组合各构件向应用数据提供高质量服务。对构件化协议体系进行详细设计。

关键词：网络体系结构构件无线网络

来源：评论

学校读者我要写书评

暂无评论

面向VANET的通信软总线设计

引用

计算机工程 2011年第12期37卷 68-70,73页

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

根据车辆自组网上层应用种类丰富、服务质量(QoS)需求多样的特点,结合层次设计思想,设计并实现一种采用注册回调式API和共享内存通信机制的端到端通信软总线。该软总线支持TCP、UDP和AUDP等多种传输协议,便于系统松耦合集成和信息透明... 详细信息

根据车辆自组网上层应用种类丰富、服务质量(QoS)需求多样的特点,结合层次设计思想,设计并实现一种采用注册回调式API和共享内存通信机制的端到端通信软总线。该软总线支持TCP、UDP和AUDP等多种传输协议,便于系统松耦合集成和信息透明传输。仿真实验结果表明,对于设立不同优先级的应用,该软总线能够满足端到端时延、时延抖动和数据包成功到达率等QoS要求。

关键词：车辆自组网软总线共享数据区时延服务质量

来源：评论

学校读者我要写书评

暂无评论

基于网络编码的无线局域网多播MAC协议及性能分析

引用

中南大学学报（自然科学版） 2009年第4期40卷 1008-1014页

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

针对现有IEEE802.11协议无法提供可靠多播服务的缺陷,提出一种基于网络编码的无线局域网多播MAC协议MPNC。该协议对已有的ELBP协议进行了扩展,采用网络编码组传输模型发送多播数据。对于多播源节点,采用随机线性码对多播数据帧进行编码... 详细信息

针对现有IEEE802.11协议无法提供可靠多播服务的缺陷,提出一种基于网络编码的无线局域网多播MAC协议MPNC。该协议对已有的ELBP协议进行了扩展,采用网络编码组传输模型发送多播数据。对于多播源节点,采用随机线性码对多播数据帧进行编码组合发送;对于多播接收节点,在接收的编码帧累积到一定数量后通过解码操作恢复出所需的原始数据。该方案有效减少了多播数据帧的发送次数,从而提高了无线带宽的利用效率。基于终端信道竞争的二维马尔可夫链模型,推导了差错信道下MPNC协议在网络饱和状态下的吞吐量理论表达式。最后,使用NS-2模拟器评估MPNC协议在不同信道误比特率和多播节点数目下的性能。仿真结果表明,MPNC比已有LBP和ELBP协议获得更优的吞吐量性能,并验证了理论分析的正确性。

关键词： MAC协议多播吞吐量随机线性码

来源：评论

学校读者我要写书评

暂无评论

无线多跳网中具有网络编码意识的机会路由协议

引用

清华大学学报（自然科学版） 2010年第10期50卷 1713-1717页

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

针对现有COPE协议消极编码的问题,提出一种具有网络编码意识的机会路由协议NCAOR。该协议兼取机会路由和网络编码的优势实现高效地报文投递。在每一跳转发时,节点均选取多个冗余邻居节点构成机会节点集协助数据发送。收到报文后,机会节... 详细信息

针对现有COPE协议消极编码的问题,提出一种具有网络编码意识的机会路由协议NCAOR。该协议兼取机会路由和网络编码的优势实现高效地报文投递。在每一跳转发时,节点均选取多个冗余邻居节点构成机会节点集协助数据发送。收到报文后,机会节点利用局部拓扑知识和侦听的邻居报文接收信息判断转发报文的网络编码机会,并通过综合路径距离和编码收益的效用函数评估报文转发效能,智能设置转发响应时间。仿真结果表明,该协议相对采用最短路径路由的COPE方案具有网络吞吐量大、能耗低和节点编码机会更多的优点。

关键词：无线多跳网络机会路由网络编码吞吐量效用函数

来源：评论

学校读者我要写书评

暂无评论

基于亮度序列的空间目标周期性判证与提取

引用

系统仿真学报 2009年第2期21卷 418-420,436页

作者：张衡彭启民吕文先黎俊胡晓惠中国科学院软件所综合信息系统国家级重点实验室北京100190 中国科学院研究生院北京100190

针对空间目标的周期性判证与提取问题,提出了一种基于亮度特征的方法。该方法通过分析空间目标亮度变化序列的自相关特性进行周期性判证,将周期提取问题转化成一个优化求解问题,并提出了一种新的峰值检测方法。仿真实验验证了该方法对... 详细信息

针对空间目标的周期性判证与提取问题,提出了一种基于亮度特征的方法。该方法通过分析空间目标亮度变化序列的自相关特性进行周期性判证,将周期提取问题转化成一个优化求解问题,并提出了一种新的峰值检测方法。仿真实验验证了该方法对噪声鲁棒,可以有效地判证空间目标的周期性,周期提取的准确性也优于传统的谱窗分析法。

关键词：周期判证周期提取峰值检测自相关

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：