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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于二部图的控制系统故障诊断方法

引用

计算机工程与设计 2011年第12期32卷 4068-4070,4099页

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

针对连续控制系统,建立了由系统约束集、变量集和边集构成的二部图模型,提出了一种定性描述与定量分析相结合的故障诊断算法。该算法通过分离子系统,求解系统的关联矩阵及最大匹配,定义了描述变量与系统约束之间依赖关系的规则,并设计... 详细信息

针对连续控制系统,建立了由系统约束集、变量集和边集构成的二部图模型,提出了一种定性描述与定量分析相结合的故障诊断算法。该算法通过分离子系统,求解系统的关联矩阵及最大匹配,定义了描述变量与系统约束之间依赖关系的规则,并设计了关联矩阵分层算法,以此来计算控制系统残差。以一个线性系统为例,探讨了该算法的应用过程,并通过仿真实例验证了该算法的有效性。

关键词：控制系统故障诊断二部图匹配关联矩阵

来源：评论

学校读者我要写书评

暂无评论

训练仿真系统中命令校验与转发的研究与实现

引用

计算机工程与设计 2011年第5期32卷 1749-1752页

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

为提供接近真实的模拟应急救援训练环境,正确地校验、快速地转发指挥救援命令,提出了某型应急救援训练模拟仿真系统中命令校验与转发系统的体系结构。为应对客户端数量的动态变化,提出了预先配置与动态增减待监视的客户端相结合的方法... 详细信息

为提供接近真实的模拟应急救援训练环境,正确地校验、快速地转发指挥救援命令,提出了某型应急救援训练模拟仿真系统中命令校验与转发系统的体系结构。为应对客户端数量的动态变化,提出了预先配置与动态增减待监视的客户端相结合的方法。为方便系统快速升级,采用了初始化阶段预加载记录命令处理规则信息的辅助文件的方式,从而实现了通过修改辅助文件升级系统的功能。实验结果表明,该系统可以高效地完成命令的组装、校验和转发工作,具有良好的可扩展性和灵活性,能满足应急救援训练模拟的需要。

关键词：仿真应急救援训练命令校验动态变化系统升级

来源：评论

学校读者我要写书评

暂无评论

列车通信网络协议栈的实时性研究

引用

计算机工程与设计 2011年第3期32卷 761-765页

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

针对传统列车网络控制系统无法满足高速列车实时运行控制的不足,基于列车通信网络(TCN)建立了一种综合多功能车辆总线(MVB)、绞线式列车总线(WTB)和实时协议(RTP)在内的完备的设备协议栈模型。依据硬实时系统指标,结合列车的实际应用,... 详细信息

针对传统列车网络控制系统无法满足高速列车实时运行控制的不足,基于列车通信网络(TCN)建立了一种综合多功能车辆总线(MVB)、绞线式列车总线(WTB)和实时协议(RTP)在内的完备的设备协议栈模型。依据硬实时系统指标,结合列车的实际应用,设计出相应的协议模块,并构建了精确的验证平台。仿真实验验证了实时指标和列车初运行自动配置、介质分配、小数据交换等实时特征,建立的协议栈模型实时性强,能够提供高速列车运行控制下的安全性保证。

关键词：高速列车列车通信网络多功能车辆总线绞线式列车总线实时协议

来源：评论

学校读者我要写书评

暂无评论

COMPASS/GPS/GLONASS卫星组合定位数据处理研究

COMPASS/GPS/GLONASS卫星组合定位数据处理研究

引用

第二届中国卫星导航学术年会

作者：李川徐帆江刘立祥周文亚中国科学院软件研究所综合信息系统技术国家级重点实验室

依据COMPASS/GPS/GLONASS组合导航定位数据处理流程,分析了三系统组合定位模型,设计了基于仰角-方位角星座选择算法。仿真结果表明,该数据处理方法可以使计算量大大减少,有效改善实时性,并保持较高的定位精度。

关键词： COMPASS GPS GLONASS 组合定位选星数据处理

来源：评论

学校读者我要写书评

暂无评论

一种基于GPU应用于大规模星模拟器的灰度弥散模型

一种基于GPU应用于大规模星模拟器的灰度弥散模型

引用

2011年全国高性能计算学术年会(HPC china2011)

作者：李超张云泉郑昌文胡晓慧中国科学院软件研究所综合信息系统国家级重点实验室北京 100190 中国科学院软件研究所并行计算重点实验室北京 100190

灰度弥散模型被广泛应用于模拟星模拟器的成像过程。在实际问题域中，该模型需要巨大的计算能力以完成繁重的数值计算，而目前图形处理单元（GPUs）已经发展成为一种有效的数值处理平台，对于计算密集型模拟具有很好的加速能力。本文设... 详细信息

灰度弥散模型被广泛应用于模拟星模拟器的成像过程。在实际问题域中，该模型需要巨大的计算能力以完成繁重的数值计算，而目前图形处理单元（GPUs）已经发展成为一种有效的数值处理平台，对于计算密集型模拟具有很好的加速能力。本文设计并实现了GPU平台下，基于统一计算架构(CUDA)的并行灰度模型，可应用于大规模星模拟器的快速灰度模拟。首先分析了该模型具有的双重并行特性并采用CUDA模型模拟其良好的数据并行特征。为了便于对比研究，设计了两类模拟器：一类是串行模拟器作为基准模拟器;另一类是基于CUDA的并行模拟器。同时在并行策略、模型以及GPU实现层面分别给出不同优化方法以有效提高并行效率。最后，设计对应于双重并行粒度的两类测试基准以评估并行模拟器的性能。数据分析证明CUDA并行模拟器取得良好的性能提升，同时也给出了该模拟器中存在的一些限制。

关键词：星模拟器灰度弥散模型图形处理单元数值处理统一计算架构

来源：评论

学校读者我要写书评

暂无评论

中国科学院涉密网测评工作概述

引用

保密科学技术 2011年第7期 12-14页

作者：李鹏飞中国科学院软件研究所综合信息系统技术国家重点实验室国家保密局涉密信息系统安全保密测评中心系统测评(中国科学院)分中心

1中国科学院基本情况中国科学院是国家科学技术方面的最高学术机构和全国自然科学与高技术综合研究发展中心。目前,中科院共拥有12个分院、100家直属研究所。

关键词：涉密网中国科学院系统测评安全保密分中心测评中心信息系统综合研究基本情况建设工作

来源：评论

学校读者我要写书评

暂无评论

一种适用于卫星网络的跳到跳的传输协议

引用

宇航学报 2010年第4期31卷 1162-1168页

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

卫星网络大时延、高误码等特点,使得TCP协议无法在卫星上提供高效的传输控制服务。不同于TCP端到端的传输方式,采用跳到跳确认思想提出了一种适合卫星网络的传输协议。协议在跳到跳的基础上采用了ACK与SNACK结合的确认机制,保证了端到... 详细信息

卫星网络大时延、高误码等特点,使得TCP协议无法在卫星上提供高效的传输控制服务。不同于TCP端到端的传输方式,采用跳到跳确认思想提出了一种适合卫星网络的传输协议。协议在跳到跳的基础上采用了ACK与SNACK结合的确认机制,保证了端到端传输的可靠性。同时采用了基于负载因子的拥塞控制算法,有效地提高了链路利用率,特别适合于卫星网络长延迟的环境,吞吐量接近最优。

关键词：卫星网络跳到跳 SNACK 负载因子

来源：评论

学校读者我要写书评

暂无评论

多层卫星网络链路中断容忍路由策略设计

引用

电子与信息学报 2010年第8期32卷 1892-1897页

作者：郭炎鑫郑刚中国科学院软件研究所综合信息系统技术国家重点实验室北京100190

链路中断和接续对卫星网络路由有重要影响,该文针对多层卫星网络,设计了链路中断容忍路由策略,利用非均匀时间段内卫星网络拓扑结构的可预测性进行路由表计算,采取动态的拥塞控制机制和洪泛策略,解决由于卫星运动、通信设备故障引发链... 详细信息

链路中断和接续对卫星网络路由有重要影响,该文针对多层卫星网络,设计了链路中断容忍路由策略,利用非均匀时间段内卫星网络拓扑结构的可预测性进行路由表计算,采取动态的拥塞控制机制和洪泛策略,解决由于卫星运动、通信设备故障引发链路中断情况下的路由问题。仿真结果表明,该路由策略具有较高的链路利用率,能够减少动态路由计算中时延信息收集和星上路由表生成给卫星节点带来的时空开销。

关键词：多层卫星网络时延可容忍网络中断可容忍性星间链路路由算法

来源：评论

学校读者我要写书评

暂无评论

散景效果的真实感绘制

引用

计算机辅助设计与图形学学报 2010年第5期22卷 746-752,761页

作者：吴佳泽郑昌文胡晓惠欧阳冠军中国科学院软件研究所综合信息系统技术国家级重点实验室北京100190 中国科学院研究生院北京100049

针对现有方法绘制的散景效果真实感较差的问题,提出一种基于几何光学理论的散景效果真实感绘制方法.该方法以光线传播的折射定律为基础,利用序列光线追踪方法对相机镜头的光学成像特性进行精确建模;对相机镜头的内部结构进行精确模拟,... 详细信息

针对现有方法绘制的散景效果真实感较差的问题,提出一种基于几何光学理论的散景效果真实感绘制方法.该方法以光线传播的折射定律为基础,利用序列光线追踪方法对相机镜头的光学成像特性进行精确建模;对相机镜头的内部结构进行精确模拟,包括孔径光阑和渐晕光阑,以绘制出由孔径形状和渐晕共同作用的散景效果;利用几何光学理论和序列光线追踪方法精确计算出出射光瞳的位置和大小,以辅助光线采样,提高光线追踪效率.绘制结果表明,利用该方法能够绘制出较为逼真的散景效果,正确模拟了孔径形状和渐晕对散景效果的影响,并具有较高的光线追踪效率.

关键词：散景相机镜头模型序列光线追踪孔径形状渐晕

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：