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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

移动自组网相邻节点间匿名通信策略

引用

计算机应用研究 2008年第1期25卷 71-73,84页

作者：章洋刘璐中国科学院软件研究所综合信息系统技术国家重点实验室北京100080 中国石油集团工程设计有限责任公司北京100083

鉴于移动自组网相邻节点间通信的匿名安全性未被专门而全面地研究,提出了一种新型移动自组网相邻节点间匿名通信策略。首先采用知识签名算法设计了广播式匿名认证方案,并使节点可自由发布伪名;其次基于节点伪名设计了任意相邻节点间非... 详细信息

鉴于移动自组网相邻节点间通信的匿名安全性未被专门而全面地研究,提出了一种新型移动自组网相邻节点间匿名通信策略。首先采用知识签名算法设计了广播式匿名认证方案,并使节点可自由发布伪名;其次基于节点伪名设计了任意相邻节点间非交互的一对多密钥共享方案;最后采用Bloom filter隐藏消息接收者,并对算法的匿名性与通信效率进行了分析。

关键词：知识的签名布隆过滤器非覆盖的族匿名性移动自组网络

来源：评论

学校读者我要写书评

暂无评论

形式化方法概貌

引用

软件学报 2019年第1期30卷 33-61页

作者：王戟詹乃军冯新宇刘志明国防科技大学计算机学院湖南长沙410073 高性能计算国家重点实验室(国防科技大学) 湖南长沙410073 中国科学院软件研究所北京100190 天基综合信息系统重点实验室(中国科学院软件研究所) 北京100190 南京大学计算机科学与技术系江苏南京210023 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 西南大学计算机与信息科学学院重庆400715 西南大学软件研究与创新中心重庆400715

形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础建立在形式语言、语义和推理证明三位一体的形式逻辑系统之上.形式化方法已经以不同程度和不同方式愈来愈多地应用在计算系统生命周期的各... 详细信息

形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础建立在形式语言、语义和推理证明三位一体的形式逻辑系统之上.形式化方法已经以不同程度和不同方式愈来愈多地应用在计算系统生命周期的各个阶段.介绍了形式化方法的发展历程和基本方法体系;以形式规约和形式验证为主线,综述了形式化方法的理论、方法、工具和应用的现状,展示了形式化方法与软件学科其他领域的交叉和融合;分析了形式化方法的启示,并展望了其面临的发展机遇和未来趋势.形式化方法的发展和研究现状表明:其应用已经取得了长足的进步,在提高计算系统的可靠性和安全性方面发挥了重要作用.在当今软件日益成为社会基础设施的时代,形式化方法将与人工智能、网络空间安全、量子计算、生物计算等领域和方向交叉融合,得到更加广阔的应用.研究和建立这种交叉融合的理论和方法不仅重要,而且具有挑战性.

关键词：形式化方法形式规约形式验证程序设计方法学软件开发

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：