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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

星载数据加密容错研究

引用

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

作者：程晨马恒太郑刚中国科学院软件研究所综合信息系统国家级重点实验室北京100190 中国科学院研究生院北京100049

在空间辐射环境中,单粒子反转效应(SEU)会导致星载系统存储器逻辑位发生翻转,且无法单纯依赖硬件措施完全消除,又由于卫星通信加密设备在大多数加密模式下具有错误扩散特性,星载数据加密设备的SEU软故障会导致批量数据不可用。针对星载... 详细信息

在空间辐射环境中,单粒子反转效应(SEU)会导致星载系统存储器逻辑位发生翻转,且无法单纯依赖硬件措施完全消除,又由于卫星通信加密设备在大多数加密模式下具有错误扩散特性,星载数据加密设备的SEU软故障会导致批量数据不可用。针对星载数据加密过程的SEU影响问题,设计了基于奇偶校验码的星载数据加密过程检错算法和基于海明码的星载数据加密过程纠错算法,该容错方案可以有效降低SEU对星载数据加密过程的影响,提高星载数据加密的可靠性。通过大量图像数据仿真实验结果表明,提出的容错方案对星载数据加密过程可靠性的提高率与位出错概率成反比,有较好的空间适应性。

关键词：单粒子翻转效应星载数据数据加密数据容错加密容错仿真

来源：评论

学校读者我要写书评

暂无评论

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个方面对半实物仿真系统的设计和实现过程进行了探索。实践结果表明,这种半实物仿真系统一方面可以为实际系统的体系结构、信息流程设计提供支持,另一方面可以为实际系统应用软件的开发提供较为真实的环境,有效的缩短开发时间和降低开发风险。

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

来源：评论

学校读者我要写书评

暂无评论

飞行器航迹规划研究现状与趋势

引用

宇航学报 2007年第6期28卷 1441-1446页

作者：郑昌文严平丁明跃苏康中国科学院软件研究所综合信息系统技术国家级重点实验室北京100080 海军工程大学武器工程系武汉430033 华中科技大学图像识别与人工智能研究所武汉430074 北京机电工程研究所北京100074

介绍了飞行器航迹规划的特点,从安全性、航迹约束、飞行器的协作性以及规划时间等方面分析了飞行器航迹规划的基本需求;对当前国内外航迹规划研究现状进行了阐述,从规划环境表示、约束条件处理、航迹的隐蔽性、算法的实时性、可替换航... 详细信息

介绍了飞行器航迹规划的特点,从安全性、航迹约束、飞行器的协作性以及规划时间等方面分析了飞行器航迹规划的基本需求;对当前国内外航迹规划研究现状进行了阐述,从规划环境表示、约束条件处理、航迹的隐蔽性、算法的实时性、可替换航迹、多飞行器协调规划等方面指出了现有规划方法需要解决的问题;指明了飞行器航迹规划进一步的研究方向。

关键词：飞行器航迹规划隐蔽性实时性多飞行器协调规划

来源：评论

学校读者我要写书评

暂无评论

基于参数化求和不变量与特征重整的形状匹配

引用

中国图象图形学报 2010年第1期15卷 122-128页

作者：吕玉增彭启民黎湘国防科技大学ATR国防科技重点实验室长沙410073 中国科学院软件研究所综合信息系统技术国家级重点实验室北京100190

从特征提取和特征匹配两方面考虑,提出了一种鲁棒的形状匹配方法。首先,基于求和不变量,设计了基于面积的形状参数化和归一化方法,提出了参数化求和不变量,该不变量基于形状局部描述且采用积分算子计算,具有较好的鲁棒性和仿射不变性。... 详细信息

从特征提取和特征匹配两方面考虑,提出了一种鲁棒的形状匹配方法。首先,基于求和不变量,设计了基于面积的形状参数化和归一化方法,提出了参数化求和不变量,该不变量基于形状局部描述且采用积分算子计算,具有较好的鲁棒性和仿射不变性。然后,为进一步提高形状匹配的鲁棒性,在特征匹配上,分析了参数化求和不变量的先验信息,设计了基于特征重整的匹配距离函数,并通过动态规划进行实现。仿真实验表明了所提方法的有效性。

关键词：形状匹配仿射不变量特征重整动态规划

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

高分辨率遥感影像道路线性要素识别

引用

计算机工程与应用 2012年第18期48卷 142-147页

作者：袁丛洲张金芳彭进中国科学院软件研究所综合信息系统技术国家级重点实验室北京100190 中国科学院研究生院北京100190

为有效从高分辨率遥感影像中自动提取道路,提出利用线性要素间的拓扑关系识别道路线性要素的方法。提取影像中的线性要素并获取其邻域的光谱属性形成有向直线段;利用提出的道路线性要素识别模型,将满足条件的有向直线段聚类生成道路要素... 详细信息

为有效从高分辨率遥感影像中自动提取道路,提出利用线性要素间的拓扑关系识别道路线性要素的方法。提取影像中的线性要素并获取其邻域的光谱属性形成有向直线段;利用提出的道路线性要素识别模型,将满足条件的有向直线段聚类生成道路要素集;利用先验知识进一步验证。该方法主要使用道路线性要素的结构信息,适用于大范围、场景复杂的遥感影像,具有较高鲁棒性,目前该方法已应用于基于高分辨率遥感影像的GPS导航道路数据的生产和更新。

关键词：高分辨率遥感影像线性特征道路提取道路识别拓扑

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：