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

第四届中国测试学术会议

作者：谢磊何子键徐勇军李晓维祝跃飞解放军信息工程大学信息工程学院中国科学院计算技术研究所计算机系统结构重点实验室、先进测试技术实验室中国科学院计算技术研究所计算机系统结构重点实验室、先进测试技术实验室中国科学院计算技术研究所计算机系统结构重点实验室、先进测试技术实验室解放军信息工程大学信息工程学院

综合了传感器、嵌入式计算、网络及无线通信、分布式信息处理等技术的无线传感器网络技术正在成为推动普适计算研究的重要实践领域。无线传感器网络是由大量传感器节点组成的分布式网络,确保传感器节点的安全可信对无线传感器网络的安... 详细信息

综合了传感器、嵌入式计算、网络及无线通信、分布式信息处理等技术的无线传感器网络技术正在成为推动普适计算研究的重要实践领域。无线传感器网络是由大量传感器节点组成的分布式网络,确保传感器节点的安全可信对无线传感器网络的安全攸关应用至关重要。本文首先提出无线传感器网络的主要安全目标包括消息安全和节点安全,节点安全高于消息安全;接着指出基于安全协处理器设计的传感器节点具有一定的抗篡改能力;并在此基础上提出一个简洁有效的局部簇密钥预分配策略,确保建立传感器节点信任机制, 实现传感器节点安全。

关键词：普适计算传感器网络可信计算密钥管理分簇网络结构随机密钥预分配

来源：评论

学校读者我要写书评

暂无评论

一种改进的无线传感器网络节点自定位算法

一种改进的无线传感器网络节点自定位算法

引用

第四届中国测试学术会议

作者：李春蓉陈红阳邓平徐勇军西南交通大学移动通信研究所西南交通大学移动通信研究所西南交通大学移动通信研究所中国科学院计算技术研究所计算机系统结构重点实验室、先进测试技术实验室

本文针对无线传感器网络节点定位问题进行了研究,提出了一种改进的节点自定位算法,讨论了算法的基本原理和实现方法。该算法在不需要增加节点硬件开销的基础上提高了定位精度和覆盖率,仿真结果表明本文提出的算法与原算法相比性能有显... 详细信息

本文针对无线传感器网络节点定位问题进行了研究,提出了一种改进的节点自定位算法,讨论了算法的基本原理和实现方法。该算法在不需要增加节点硬件开销的基础上提高了定位精度和覆盖率,仿真结果表明本文提出的算法与原算法相比性能有显著提高。

关键词：无线传感器网络定位算法 DVhop

来源：评论

学校读者我要写书评

暂无评论

分布式虚拟设计研究及应用

分布式虚拟设计研究及应用

引用

首届中德“虚拟现实与增强现实技术及其工业应用”研讨会

作者：陈定方武汉理工大学智能制造与控制研究所，武汉，中国中国科学院计算技术研究所智能信息处理实验室，北京，中国

本文从虚拟设计、分析、加工、制造、分布式五个层次来介绍分布式虚拟设计在基于Intemet的虚拟车间、卷取机的虚拟分析、集装箱装卸桥等方面取得的理论和应用成果：提出并实现了映射对应方法，解决了图象与几何模型相融合的虚拟车间与... 详细信息

本文从虚拟设计、分析、加工、制造、分布式五个层次来介绍分布式虚拟设计在基于Intemet的虚拟车间、卷取机的虚拟分析、集装箱装卸桥等方面取得的理论和应用成果：提出并实现了映射对应方法，解决了图象与几何模型相融合的虚拟车间与虚拟数控系统所面面的视觉一致性问题;提出用于大规模并行计算的元胞元网络自动生成方法和三维六面体元网络线段转换方法，解决虚拟分析中所面临的消隐速度和稳定性问题;研制了分布式虚拟设计／制造平台。该平台由基于Intemet的图象与几何模型相融合的虚拟车间与虚拟数控系统、集元胞元法和有限元于一体的虚拟分析系统、分布式环境下开卷机协同设计系统等多个低耦合系统组成，已经在多个企业取得了良好的应用效果。并简单介绍了CCTV-10《科技之光》前沿版介绍的“足不出户学开车”、“分布式虚拟设计／虚拟制造系统”，以及位于美国硅谷的圣何塞技术创新博物馆的虚拟设计展台。

关键词：虚拟设计虚拟制造系统图象方法有限元计算机集成制造系统集装箱装卸桥

来源：评论

学校读者我要写书评

暂无评论

新一代移动多媒体标准DVB—H

引用

中国有线电视 2006年第18期 1791-1794页

作者：王雯芳李兵兵张丰华西安电子科技大学综合业务网理论及关键技术国家重点实验室陕西西安710071 西安航空计算技术研究所陕西西安710068

DVB—H(手持数字视频广播标准)是DVB(欧洲数字电视广播标准化团体)组织为通过地面数字广播网络向便携／手持终端提供多媒体业务所制订的传输标准,主要介绍和分析DVB—H系统的结构和关键技术。

关键词：手持数字视频广播(DVB—H) 手持终端多协议封装(MPE) 时间分片

来源：评论

学校读者我要写书评

暂无评论

求解可满足问题的调查传播算法以及步长的影响规律

引用

计算机学报 2005年第5期28卷 849-855页

作者：邵明李光辉李晓维中国科学院计算技术研究所信息网络室

该文研究了求解可满足问题的调查传播算法.该算法利用合取范式因子图进行调查消息的迭代,并根据每一次迭代的收敛情况对部分布尔变量赋值以对问题进行简化,最后把简化的问题利用局部搜索算法来求解.文中所谓步长是指在每一次迭代收敛之... 详细信息

该文研究了求解可满足问题的调查传播算法.该算法利用合取范式因子图进行调查消息的迭代,并根据每一次迭代的收敛情况对部分布尔变量赋值以对问题进行简化,最后把简化的问题利用局部搜索算法来求解.文中所谓步长是指在每一次迭代收敛之后根据赋值倾向进行赋值的变量个数.该文根据模拟实验观察到步长对调查传播算法的影响规律,即随着步长的递增,算法的时间耗费以及算法的有效性都有近似单调递减的趋势.

关键词：可满足问题因子图调查传播算法局部搜索算法相变

来源：评论

学校读者我要写书评

暂无评论

适用于扫描测试中的测试响应压缩电路设计

引用

计算机研究与发展 2005年第7期42卷 1277-1282页

作者：韩银和李晓维李华伟中国科学院计算技术研究所信息网络室

测试向量响应压缩电路分为组合压缩电路和时序压缩电路两种.提出一种新的时序压缩电路:锥-压缩器.由于该电路是单输出的,所以总能保证最大压缩率.根据扫描测试中故障出现的特点,通过引入等价概念和两条设计规则来保证该响应压缩电路能... 详细信息

测试向量响应压缩电路分为组合压缩电路和时序压缩电路两种.提出一种新的时序压缩电路:锥-压缩器.由于该电路是单输出的,所以总能保证最大压缩率.根据扫描测试中故障出现的特点,通过引入等价概念和两条设计规则来保证该响应压缩电路能够避免2,3和任何奇数个错误位抵消的情况.这两条设计规则同样适用于处理测试响应中出现未知位的情况.提出的基于随机选取生成算法可以自动生成该压缩电路.最后用实验数据从性能和代价两方面分析了锥-压缩器的适用性.

关键词：错误位抵消未知位屏蔽异或网络多输入移位寄存器

来源：评论

学校读者我要写书评

暂无评论

动态内存错误的静态检测

引用

计算机辅助设计与图形学学报 2005年第3期17卷 400-406页

作者：张广梅李晓维中国科学院计算技术研究所信息网络室

内存泄漏、空指针引用等动态内存错误在C ,C ++等支持动态内存操作的程序中普遍存在在程序中 ,动态内存管理错误是导致动态内存错误的根本原因动态内存错误的静态检测方法是在对程序进行静态分析的基础上 ,应用路径别名分析方法 ,确... 详细信息

内存泄漏、空指针引用等动态内存错误在C ,C ++等支持动态内存操作的程序中普遍存在在程序中 ,动态内存管理错误是导致动态内存错误的根本原因动态内存错误的静态检测方法是在对程序进行静态分析的基础上 ,应用路径别名分析方法 ,确定动态内存变量之间存在的过程内和过程间的路径别名关系 ,在此基础上对程序中违反动态内存管理模式的动态内存操作进行分析。

关键词：动态内存错误路径别名分析稀疏控制流图程序调用图

来源：评论

学校读者我要写书评

暂无评论

针对可观测性语句覆盖准则的RTL激励生成

引用

计算机研究与发展 2005年第12期42卷 2169-2175页

作者：鲁巍吕涛杨修涛李晓维中国科学院计算技术研究所信息网络研究室

传统的语句覆盖准则只考虑语句的可控制性,忽略其可观测性,这可能导致表面上很高的覆盖率数据所蕴含的可信度不高·鉴于此,可观测性覆盖评估准则被提了出来·随着设计规模不断加大,该准则变得越来越重要·首先提出一种可观... 详细信息

传统的语句覆盖准则只考虑语句的可控制性,忽略其可观测性,这可能导致表面上很高的覆盖率数据所蕴含的可信度不高·鉴于此,可观测性覆盖评估准则被提了出来·随着设计规模不断加大,该准则变得越来越重要·首先提出一种可观测性信息的表征方式以及可观测性判定规则,在此基础上,提出一种针对可观测性语句覆盖准则的RTL激励生成方法·这是一种基于模拟的方法,它以所有未观测语句的分布作为启发式信息,指导激励生成·实验结果显示,提出的方法是高效的·

关键词：可观测性语句覆盖准则激励生成模拟

来源：评论

学校读者我要写书评

暂无评论

测试数据压缩和测试功耗协同优化技术

引用

计算机辅助设计与图形学学报 2005年第6期17卷 1307-1311页

作者：韩银和李晓维中国科学院计算技术研究所信息网络室

提出一种新的压缩编码———VariableTail对测试数据进行压缩.建立了两个优化模型,并提出了一种测试向量排序和不确定位定值算法.利用该算法不仅能提高测试压缩率,而且能降低测试时待测电路上损耗的功耗.理论分析和ISCAS85,ISCAS89电路... 详细信息

提出一种新的压缩编码———VariableTail对测试数据进行压缩.建立了两个优化模型,并提出了一种测试向量排序和不确定位定值算法.利用该算法不仅能提高测试压缩率,而且能降低测试时待测电路上损耗的功耗.理论分析和ISCAS85,ISCAS89电路的实验结果验证了文中编码和算法的有效性.

关键词：测试数据压缩测试功耗 Golomb编码海明距离

来源：评论

学校读者我要写书评

暂无评论

一种基于动态区间减少移动检测延时的方法(英文)

引用

软件学报 2005年第6期16卷 1168-1174页

作者：赵庆林李忠诚张玉军李军王恺中国科学院计算技术研究所信息网络室北京100080

在移动IP中,根据子网前缀以及均匀分布于区间[min,max]上的广告间隙,移动节点检测它自身是否移动.因此,区间的长度对于移动检测延时有直接的影响.然而,在移动IP 中,区间的静态配置既不方便也不灵活.根据链路带宽的利用率,提出了一种动... 详细信息

在移动IP中,根据子网前缀以及均匀分布于区间[min,max]上的广告间隙,移动节点检测它自身是否移动.因此,区间的长度对于移动检测延时有直接的影响.然而,在移动IP 中,区间的静态配置既不方便也不灵活.根据链路带宽的利用率,提出了一种动态调整区间的新方法,并且进行了理论分析.结果显示,与静态区间相比,动态区间的方法显著地减少了不必要的移动检测延时.

关键词：切换过程移动检测热心蜂窝切换动态区间广告间隙更新过程复合泊松过程

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：