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

计算机工程与应用 2007年第15期43卷 105-107,127页

作者：王宇亮郑昌文章洋中国科学技术大学计算机科学技术系中国科学院软件研究所综合信息系统技术国家重点实验室北京100080 中国科学院软件研究所综合信息系统技术国家重点实验室

TCP Vegas通过往返时间的最小值baseRTT来进行拥塞控制,因此获取准确baseRTT的值至关重要。在MANET中,不断变化的网络拓扑会导致baseRTT的测量出现严重偏差,从而降低了吞吐量,而TCP Vegas在拥塞避免阶段发生路由变化但没有引起丢包或失... 详细信息

TCP Vegas通过往返时间的最小值baseRTT来进行拥塞控制,因此获取准确baseRTT的值至关重要。在MANET中,不断变化的网络拓扑会导致baseRTT的测量出现严重偏差,从而降低了吞吐量,而TCP Vegas在拥塞避免阶段发生路由变化但没有引起丢包或失序现象时,已有的端到端启发式方案很难进行识别。采用回落探测方法识别路由变化,进而调节往返时间的最小值以改善TCP Vegas拥塞控制算法在MANET中的性能。

关键词：无线自组网 TCP Vegas 端到端算法

来源：评论

学校读者我要写书评

暂无评论

卫星网络中基于阻尼反馈机制的自适应可靠传输协议

引用

四川大学学报（自然科学版） 2017年第2期54卷 273-279页

作者：闫宇轩王俊峰刘立祥四川大学计算机学院成都610065 中国科学院软件研究所综合信息系统技术国家级重点实验室北京100190

本文提出了一种基于阻尼反馈机制的自适应可靠传输协议(SATP,Adaptive Transport Protocol in Satellite Networks).该协议采用带有滤波的带宽估计算法,引入阻尼阈值参数,设计了一种自适应的拥塞避免机制,针对不同带宽时延和不断变化的... 详细信息

本文提出了一种基于阻尼反馈机制的自适应可靠传输协议(SATP,Adaptive Transport Protocol in Satellite Networks).该协议采用带有滤波的带宽估计算法,引入阻尼阈值参数,设计了一种自适应的拥塞避免机制,针对不同带宽时延和不断变化的网络情况,自适应的调整传输策略,解决了传统可靠传输协议在高带宽时延积的卫星网络中不能充分利用带宽,且不能适应卫星网络时延抖动和卫星相对运动的问题.最后,通过软件和硬件结合的方式搭建卫星网络仿真平台进行协议性能测试,实验结果表明SATP协议在卫星网络中可保持较高的吞吐量,较之经典卫星传输协议最高可高出46%,且拥有较好的公平性.

关键词：卫星通信 SATP传输协议阻尼反馈带宽估计

来源：评论

学校读者我要写书评

暂无评论

空间信息网络可靠传输协议研究

引用

通信学报 2008年第6期29卷 63-68页

作者：张民罗光春王俊峰黄蕾电子科技大学信息中心四川成都610054 四川大学计算机学院四川成都610065 中国科学院软件研究所综合信息系统技术国家级重点实验室北京100080

设计了与传统TCP相兼容的空间信息网络可靠传输协议STP。协议针对空间环境特点从慢启动算法、拥塞避免算法、快速重传和快速恢复算法等多方面对传统TCP进行综合改进,仿真分析结果表明STP协议比传统TCP性能有较大提升,也比主要针对卫星... 详细信息

设计了与传统TCP相兼容的空间信息网络可靠传输协议STP。协议针对空间环境特点从慢启动算法、拥塞避免算法、快速重传和快速恢复算法等多方面对传统TCP进行综合改进,仿真分析结果表明STP协议比传统TCP性能有较大提升,也比主要针对卫星通信的TCP改进协议的性能有一定改善。能较好地适应空间信息网络中的信息可靠传输需求。

关键词：空间信息网络可靠传输协议拥塞控制快速恢复与重传

来源：评论

学校读者我要写书评

暂无评论

模拟演练态势回放系统的设计与实现

引用

计算机工程与设计 2012年第3期33卷 1079-1084页

作者：石书浩张洁吕品郑昌文中国科学院软件研究所综合信息系统技术国家级重点实验室北京100190 中国科学院研究生院北京100049

态势回放是模拟演练仿真系统的重要组成部分,可以协助参演人员对演练过程进行分析和评估。大型模拟演练仿真中,态势回放系统的数据量庞大,并且对绘制的实时性有较高要求。针对以上特点,提出一种海量数据动态调度传输方法和基于OpenGL的... 详细信息

态势回放是模拟演练仿真系统的重要组成部分,可以协助参演人员对演练过程进行分析和评估。大型模拟演练仿真中,态势回放系统的数据量庞大,并且对绘制的实时性有较高要求。针对以上特点,提出一种海量数据动态调度传输方法和基于OpenGL的实时绘制方法,设计并实现具有良好扩展性和可移植性的态势回放系统。实验结果表明,该系统表现态势丰富清晰,能够满足大型模拟演练系统态势回放的需求。

关键词：仿真回放数据调度 OpenGL 实时绘制

来源：评论

学校读者我要写书评

暂无评论

基于半虚拟技术的嵌入式分区系统设计与实现

引用

计算机工程与设计 2012年第1期33卷 132-137页

作者：李剑胡晓惠赵军锁中国科学院软件研究所综合信息系统技术国家级重点实验室北京100190 中国科学院研究生院北京100049

针对嵌入式系统的高可靠性和高安全性要求,设计了基于半虚拟技术的分区系统。在RTEMS实时操作系统中,使用半虚拟技术实现虚拟机监视器,给分区操作系统PLINUX创造虚拟环境。通过地址映射机制和分区调度,把分区系统在空间和时间上隔离开,... 详细信息

针对嵌入式系统的高可靠性和高安全性要求,设计了基于半虚拟技术的分区系统。在RTEMS实时操作系统中,使用半虚拟技术实现虚拟机监视器,给分区操作系统PLINUX创造虚拟环境。通过地址映射机制和分区调度,把分区系统在空间和时间上隔离开,可有效阻止分区的错误传播,提高系统的容错能力。对系统可靠性、调度效率等方面进行试验和分析,实验结果表明,该分区系统的可靠性明显提高,而且继承了RTEMS的实时性和设计的简洁性。

关键词：分区系统半虚拟化 RTEMS 可靠性虚拟机监视器嵌入式实时操作系统内存管理

来源：评论

学校读者我要写书评

暂无评论

应急训练仿真系统中指挥命令干预的设计与实现

引用

计算机工程与设计 2012年第1期33卷 306-311页

作者：屈树谦吕品郑昌文中国科学院软件研究所综合信息系统技术国家级重点实验室北京100190 中国科学院研究生院北京100049

为了高效地实现应急训练仿真中的指挥命令干预,提出了一种指挥命令干预系统的体系结构,详细讨论了系统运行各个环节的工作流程和所采用的技术,并给出了一个具体实现方法。针对传统资源编辑器生成指令设置框方法的不足,提出了一种命令文... 详细信息

为了高效地实现应急训练仿真中的指挥命令干预,提出了一种指挥命令干预系统的体系结构,详细讨论了系统运行各个环节的工作流程和所采用的技术,并给出了一个具体实现方法。针对传统资源编辑器生成指令设置框方法的不足,提出了一种命令文件的方法。该系统通过动态解析描述指令设置框各界面对象属性的命令文件来创建指令设置框。实验结果表明,该方法有效提高了系统开发效率,并使得系统易维护,该系统可以高效地满足指挥员实时把握区域态势,下达干预指令的需求,并具有良好的可扩展性和灵活定制性。

关键词：仿真应急训练指挥命令干预多线程命令文件

来源：评论

学校读者我要写书评

暂无评论

一种离线TTP公平非否认协议的安全性分析方法

引用

计算机研究与发展 2011年第4期48卷 656-665页

作者：刘冬梅卿斯汉马恒太李树仁中国科学院软件研究所基础软件国家工程研究中心北京100190 中国科学院研究生院北京100049 北京大学软件与微电子学院北京102600 中国科学院综合信息技术国家级重点实验室北京100190 中国科学院计算机网络信息中心北京100190

给出了一种离线TTP公平非否认协议的分析方法,离线TTP公平非否认协议得到了广泛的研究,针对离线TTP公平非否认协议的分析并不是那么广泛.针对离线TTP公平非否认协议具有协议簇的特点,将协议实例化,实例化后可以对单个协议实例的非否认... 详细信息

给出了一种离线TTP公平非否认协议的分析方法,离线TTP公平非否认协议得到了广泛的研究,针对离线TTP公平非否认协议的分析并不是那么广泛.针对离线TTP公平非否认协议具有协议簇的特点,将协议实例化,实例化后可以对单个协议实例的非否认性和有效性进行分析;通过扩展Kailar逻辑,增加时间相关限定词来表述协议的执行序列,用协议执行序列来表达和分析协议的公平性和时效性.利用该方法,对两种公平非否认协议进行分析,分析的结果表明CCD不符合公平性,而ZG的时效性不能够得到满足.

关键词：离线TTP 公平非否认协议公平性非否认性时效性

来源：评论

学校读者我要写书评

暂无评论

CFCIB:基于插入块的控制流错误检测方法

引用

计算机工程与设计 2011年第9期32卷 3045-3049页

作者：陆庄伟张显明刘立祥赵军锁中国科学院软件研究所综合信息系统技术国家级重点实验室北京100190 中国科学院研究生院北京100049

为了避免当计算机系统的内部器件发生瞬时或永久性的故障时程序的执行流程发生错误,提出了一种基于插入块的控制流错误检测方法——CFCIB方法。该方法分析程序的控制流图,利用插入新基本块的方式消除混淆错误,在每个基本块的开头和末尾... 详细信息

为了避免当计算机系统的内部器件发生瞬时或永久性的故障时程序的执行流程发生错误,提出了一种基于插入块的控制流错误检测方法——CFCIB方法。该方法分析程序的控制流图,利用插入新基本块的方式消除混淆错误,在每个基本块的开头和末尾分别插入test和set断言来完成对可执行程序的控制流错误检测。实验结果表明,该方法能将原始程序的平均错误覆盖率从84.31%提升到96.78%。

关键词：软件容错控制流检测瞬时故障错误注入嵌入式系统

来源：评论

学校读者我要写书评

暂无评论

分布式仿真系统中的数据传输研究

引用

计算机工程与设计 2010年第1期31卷 56-59,63页

作者：陈晓怡吕品王宇心中国科学院软件研究所综合信息系统技术国家级重点实验室北京100190 中国科学院研究生院北京100049

为提高分布式仿真系统内部有效数据传输效率,满足系统实时性要求,以车辆定位监控仿真系统为问题原型,提出一种基于运行时间支撑系统数据分发管理(RTI-DDM)和套接字(Socket)的双层数据传输模型。该模型一方面利用RTI-DDM来限定传输数据... 详细信息

为提高分布式仿真系统内部有效数据传输效率,满足系统实时性要求,以车辆定位监控仿真系统为问题原型,提出一种基于运行时间支撑系统数据分发管理(RTI-DDM)和套接字(Socket)的双层数据传输模型。该模型一方面利用RTI-DDM来限定传输数据的范围,有效降低系统内部冗余数据的传输;另一方面,利用Socket技术在仿真实体之间建立点对点的直接传输,从而提高系统的运行效率。对比实验结果表明,在相同仿真交互数据量下,该模型相对于传统RTI数据传输模型,数据传输延时平均缩短50%。

关键词：分布式仿真数据传输运行时间支撑系统数据分发管理套接字

来源：评论

学校读者我要写书评

暂无评论

船载综合信息显示系统半实物仿真设计与实现

引用

计算机工程与设计 2010年第9期31卷 2041-2043,2064页

作者：吕娜吕品王宇心中国科学院软件研究所综合信息系统技术国家级重点实验室北京100190 中国科学院研究生院北京100049

针对船载综合信息显示系统在实体船舶内开发不方便的问题,提出了一种半实物仿真系统的设计与实现方法。结合"科学三号"海洋科学考察船的综合信息显示系统的设计和开发过程,从体系结构、信息流程和实现方法3个方面对半实物仿... 详细信息

针对船载综合信息显示系统在实体船舶内开发不方便的问题,提出了一种半实物仿真系统的设计与实现方法。结合"科学三号"海洋科学考察船的综合信息显示系统的设计和开发过程,从体系结构、信息流程和实现方法3个方面对半实物仿真系统的设计和实现过程进行了探索。实践结果表明,这种半实物仿真系统一方面可以为实际系统的体系结构、信息流程设计提供支持,另一方面可以为实际系统应用软件的开发提供较为真实的环境,有效的缩短开发时间和降低开发风险。

关键词：船载综合信息显示半实物仿真体系结构信息流程实现方法

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：