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

上海航天 2007年第4期24卷 17-22页

作者：马亚奇彭启民张文君缪栋第二炮兵工程学院陕西西安710025 中国科学院软件研究所综合信息系统技术国家级重点实验室北京100080

针对低信噪比序列图像中微弱点状运动目标检测,提出了一种基于最大值投影构造组合帧图像与帧序号图像的检测算法,给出了算法的计算步骤。用建立的检测率和虚警率的分析模型,讨论了检测率、虚警率、信噪比、构造组合帧的图像帧数间的关... 详细信息

针对低信噪比序列图像中微弱点状运动目标检测,提出了一种基于最大值投影构造组合帧图像与帧序号图像的检测算法,给出了算法的计算步骤。用建立的检测率和虚警率的分析模型,讨论了检测率、虚警率、信噪比、构造组合帧的图像帧数间的关系。仿真结果表明,通过合理选择组合帧数,该算法可有效检测出低信噪比条件下图像序列中的运动点目标和交叉运动的多点目标。

关键词：微弱点目标最大值投影组合帧帧序号图低信噪比

来源：评论

学校读者我要写书评

暂无评论

基于随机网络编码的无线广播重传方案及性能分析

引用

信号处理 2010年第1期26卷 110-114页

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

针对自动最复重传(ARQ)机制在无线广播系统中吞吐量性能不佳的缺陷,提出一种基于随机网络编码的广播重传方案RNC-ARQ。对于广播节点,采用随机线性码对所有丢失包进行编码组合重传。对于接收节点,当接收的编码包累积到一定数量后可通过... 详细信息

针对自动最复重传(ARQ)机制在无线广播系统中吞吐量性能不佳的缺陷,提出一种基于随机网络编码的广播重传方案RNC-ARQ。对于广播节点,采用随机线性码对所有丢失包进行编码组合重传。对于接收节点,当接收的编码包累积到一定数量后可通过解码操作恢复出原始数据。该方案可有效减少重传次数,改善无线广播的吞吐量性能。基于Gilbert-Elliott模型描述的突发错误信道,建立了信道状态和节点接收处理流程合并的多状态马尔可夫模型,并以此为基础推导了RNC-ARQ方案的呑吐量闭合解。最后,使用NS-2模拟器评估RNC-ARQ方案的性能,结果表明在突发差错信道下,基于随机网络编码重传方案的吞吐量优于传统的选择重传ARQ方案和基于异或编码的重传方案。

关键词：广播马尔可夫模型吞吐量随机网络编码

来源：评论

学校读者我要写书评

暂无评论

Kaffe在龙芯2E上的移植

引用

计算机工程与设计 2010年第2期31卷 330-334页

作者：辛博坤王永吉潘远明徐帆江中国科学院软件研究所互联网软件技术实验室北京100190 中国科学院研究生院北京100049 中国科学院软件研究所基础软件研究中心北京100190 中国科学院软件研究所综合信息系统技术国家级重点实验室北京100190

为了在龙芯2E处理器上建立稳定的Java运行环境,丰富龙芯平台的上层软件库,以Kaffe这款开源Java虚拟机为移植对象,分析了其运行机制,确定了其代码结构中平台相关的3个主要模块:SysCallMethod、Trampoline和JIT,并结合龙芯2E处理器的特点... 详细信息

为了在龙芯2E处理器上建立稳定的Java运行环境,丰富龙芯平台的上层软件库,以Kaffe这款开源Java虚拟机为移植对象,分析了其运行机制,确定了其代码结构中平台相关的3个主要模块:SysCallMethod、Trampoline和JIT,并结合龙芯2E处理器的特点,给出了相关模块的修改方案。最后用第三方的测试标准对移植后的虚拟机进行了测试,表明了移植的有效性。

关键词： Java虚拟机 Kaffe 龙芯2E MIPS指令集及时编译器

来源：评论

学校读者我要写书评

暂无评论

栅格地形的最优路径分析

引用

武汉大学学报（信息科学版） 2010年第1期35卷 59-63页

作者：鲁敏张金芳中南财经政法大学信息学院武汉市南湖南路1号430073 中国科学院软件研究所综合信息系统技术国家重点实验室北京市中关村南四街4号100190

将栅格地形根据不同的邻域结构形成稀疏栅格网络和稠密栅格网络,分析了稀疏网络中最优路径问题的建模和基于Dijkstra算法的求解方法,以及稠密网络中最优路径问题的建模和基于模拟退火算法的求解方法。比较了这两种方法求解结果的准确性... 详细信息

将栅格地形根据不同的邻域结构形成稀疏栅格网络和稠密栅格网络,分析了稀疏网络中最优路径问题的建模和基于Dijkstra算法的求解方法,以及稠密网络中最优路径问题的建模和基于模拟退火算法的求解方法。比较了这两种方法求解结果的准确性和效率的差异,发现基于稀疏网络的Dijkstra算法更适合于栅格地形的最优路径问题的求解。

关键词：栅格最优路径 Dijkstra算法模拟退火算法

来源：评论

学校读者我要写书评

暂无评论

VarBIFT:指令级的变量冗余容错检测技术

引用

计算机工程与设计 2010年第10期31卷 2163-2165,2183页

作者：张显明张锐彭启民赵军锁中国科学院软件研究所综合信息技术国家级重点实验室北京100190 中国科学院研究生院北京100049

为了解决空间辐射对嵌入式计算机系统正确性的影响越来越明显的问题,基于典型的编译级容错技术,在编译器LCC上实现了基于有向无环图的编译级容错检测方法VarBIFT。该方法可以有效的保护由于粒子效应所引起的瞬时硬件故障,并可针对不同... 详细信息

为了解决空间辐射对嵌入式计算机系统正确性的影响越来越明显的问题,基于典型的编译级容错技术,在编译器LCC上实现了基于有向无环图的编译级容错检测方法VarBIFT。该方法可以有效的保护由于粒子效应所引起的瞬时硬件故障,并可针对不同的目标机自动生成容错代码。实验结果表明,VarBIFT使源程序的平均段错误率从32.3%降到了13.9%,平均错误输出率从28.6%降到了9.2%;而其时间开销和空间开销仅为0.7%和36%。

关键词：软件容错编译可靠性瞬时错误嵌入式系统

来源：评论

学校读者我要写书评

暂无评论

基于RTEMS的实时进程设计与实现

引用

计算机工程与设计 2009年第17期30卷 3928-3931页

作者：阎淼赵军锁张文君中国科学院软件研究所综合信息系统技术国家重点实验室北京100190 中国科学院研究生院北京100049

以嵌入式实时操作系统RTEMS为原型设计实现了实时进程。将RTEMS操作系统内核与应用程序隔离,使二者运行在不同的特权级别下,应用程序的错误不会导致操作系统崩溃,从而提高了整个系统的可靠;同时对内核内存管理和地址映射机制进优化,保... 详细信息

以嵌入式实时操作系统RTEMS为原型设计实现了实时进程。将RTEMS操作系统内核与应用程序隔离,使二者运行在不同的特权级别下,应用程序的错误不会导致操作系统崩溃,从而提高了整个系统的可靠;同时对内核内存管理和地址映射机制进优化,保证原有系统的性能。从系统的可靠性、实时性以及设计实现的复杂性等方面进行试验和分析,试验结果表明,实时进程的设计与实现提高了系统可靠性,并且能够保证原有系统实时性和简单性。

关键词：嵌入式实时操作系统 RTEMS 实时进程内存管理可靠性

来源：评论

学校读者我要写书评

暂无评论

卫星网络建模与分布式仿真

引用

计算机仿真 2008年第2期25卷 65-69,170页

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

卫星网络仿真是对卫星网络进行优化设计、性能分析、效能评估的有效途径。针对卫星网络的组成结构和运行特点,建立了卫星网络的节点模型、结构模型、链路模型和通信模型。在此基础上,基于HLA/RTI体系设计并实现了分布式卫星网络仿真系统... 详细信息

卫星网络仿真是对卫星网络进行优化设计、性能分析、效能评估的有效途径。针对卫星网络的组成结构和运行特点,建立了卫星网络的节点模型、结构模型、链路模型和通信模型。在此基础上,基于HLA/RTI体系设计并实现了分布式卫星网络仿真系统,详细给出了各联邦成员的设计。该仿真系统通过编辑想定方案可灵活部署网络结构并能仿真星间、星地链路的通信过程,为仿真验证面向应用的卫星网络理论研究成果提供了一个通用的支撑平台。最后给出了一个3GEO+15MEO想定场景下的仿真结果,验证了模型的正确性和有效性。

关键词：卫星网络建模分布式仿真高层体系结构运行支撑系统

来源：评论

学校读者我要写书评

暂无评论

ZG离线TTP公平非否认协议的安全性分析及改进

引用

通信学报 2009年第S2期30卷 44-51页

作者：刘冬梅卿斯汉李鹏飞李尚杰中国科学院软件研究所基础软件国家工程研究中心北京100080 中国科学院研究生院北京100039 中国科学院软件研究所信息安全技术工程研究中心北京100080 中国科学院综合信息技术国家级重点实验室北京100080

对ZG离线TTP(trusted third party)公平非否认协议及其一种改进方案进行了分析,针对原协议因引入协议有效期而存在消息延迟攻击的问题以及改进方案存在子协议被滥用的问题,提出2种新的改进方案。2种方案侧重点不同,分别适用于不同的场景... 详细信息

对ZG离线TTP(trusted third party)公平非否认协议及其一种改进方案进行了分析,针对原协议因引入协议有效期而存在消息延迟攻击的问题以及改进方案存在子协议被滥用的问题,提出2种新的改进方案。2种方案侧重点不同,分别适用于不同的场景,能够保证非否认性和公平性的同时,避免消息延迟攻击和子协议被滥用。第一种方案适合于对协议效率要求比较高,而且协议被滥用不会影响参与协议主体的利益的情况;第二种方案可用于需要防止子协议被滥用的情况。

关键词：公平非否认协议非否认性公平性时限量

来源：评论

学校读者我要写书评

暂无评论

一种分层传感器网络安全协议的分析与改进

引用

计算机仿真 2008年第5期25卷 154-158页

作者：张炜承章洋胡晓蕙中国科学院软件研究所综合信息系统技术国家级重点实验室北京100080

随着无线传感器网络的广泛应用,其安全性也受到日益严重的挑战。在某些需要保护隐私信息的场合中,通信协议的匿名性设计已成为完整安全解决方案中不可或缺的部分。分层分簇的网络结构因其扩展性及可最大化能源使用效率成为大规模无线传... 详细信息

随着无线传感器网络的广泛应用,其安全性也受到日益严重的挑战。在某些需要保护隐私信息的场合中,通信协议的匿名性设计已成为完整安全解决方案中不可或缺的部分。分层分簇的网络结构因其扩展性及可最大化能源使用效率成为大规模无线传感器网络的首选模型。文中对一种分层传感器网络中的安全协议进行路由匿名性改进,利用基站与传感器共享的会话密钥构造轻型可验证合法性的匿名路由分组,且匿名机制允许进行数据融合与汇聚。以数据分组与端节点不可关联性为目标定义协议的理想过程,然后参照理想过程,使用UC(Universal Composition)框架中的混合模型分析与证明协议的匿名安全性。

关键词：通用成分框架匿名性路由协议无线传感器网络

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：