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

中国医疗器械信息 2010年第6期16卷 6-10页

作者：张光河潘颂欣张元亭中国科学院计算技术研究所北京100190 中国科学院研究生院北京100049 中国科学院深圳先进技术研究院医工所CAS/CUHK生物传感器与医疗仪器研究中心深圳518055 中国科学院生物医学信息与健康工程学重点实验室深圳518055 香港中文大学生物医学工程联合研究中心

在基于躯感网的远程医疗和移动健康应用中,保证健康信息在传输过程中的安全是最为重要的问题之一。本文首先介绍了远程医疗和移动健康的概念,然后根据实际应用提出了一种远程医疗和移动健康中健康信息传输的典型架构,并基于此架构提出... 详细信息

在基于躯感网的远程医疗和移动健康应用中,保证健康信息在传输过程中的安全是最为重要的问题之一。本文首先介绍了远程医疗和移动健康的概念,然后根据实际应用提出了一种远程医疗和移动健康中健康信息传输的典型架构,并基于此架构提出一个信息安全传输方案。该方案包括健康信息传输时的三个阶段:健康信息在躯感网内传输时的安全;健康信息从躯感网传输到社区医疗中心或医院的远程数据库服务器的安全;医护人员和普通用户访问远程数据库服务器获取由躯感网提供的健康信息时此信息从远程数据库服务器传输到对应人员使用的访问终端过程中的安全。本方案的一大特色是使用生理特征产生随机密钥来保证健康信息在传输过程中三个阶段的安全,从而达到节约实现安全的成本和开销。在实验中,我们使用从20个不同的测试对像中采集的心电图作为原始数据,从中提取特征并使用一种新的编码方法产生128位的密钥用于我们提出的方案。统计分析和测试的结果表明使用新方法产生的密钥的随机性比较好,可用于远程医疗和移动健康应用的通信安全。

关键词：通信安全躯感网远程医疗移动健康生物特征心电图信号密钥产生

来源：评论

学校读者我要写书评

暂无评论

AVS标准综述

引用

计算机工程 2009年第8期35卷 247-249,252页

作者：侯金亭马思伟高文中国科学院计算技术研究所先进人机通讯实验室北京100080 北京大学信息科学技术学院北京100080

介绍AVS标准,包括针对高分辨率和高码率应用的AVS1-P2、针对低分辨率和低码率应用的AVS1-P7。描述该标准采用的视频编码工具集,将其与同时期的国际标准H.264/AVC进行比较。实验结果表明,AVS标准可以获得与H.264/AVC标准相当的编码性能,... 详细信息

介绍AVS标准,包括针对高分辨率和高码率应用的AVS1-P2、针对低分辨率和低码率应用的AVS1-P7。描述该标准采用的视频编码工具集,将其与同时期的国际标准H.264/AVC进行比较。实验结果表明,AVS标准可以获得与H.264/AVC标准相当的编码性能,且实现复杂度更低。

关键词： H.264/AVC标准 AVS标准视频编码

来源：评论

学校读者我要写书评

暂无评论

基于STIL的测试向量转换模型及其实现

引用

计算机辅助设计与图形学学报 2007年第1期19卷 114-118页

作者：吴明行韩银和胡瑜王飞李晓维中国科学院计算技术研究所先进测试技术实验室北京100080

在双步测试向量转换解决方案的基础上,构建了一个通用的测试向量转换模型.在细化双步解决方案的过程中,提出了一个改进的转换流程;将标准测试接口语言(STIL)作为描述语言,设计了一种具有per-pin-ATE资源的数据格式;开发了面向3种国产测... 详细信息

在双步测试向量转换解决方案的基础上,构建了一个通用的测试向量转换模型.在细化双步解决方案的过程中,提出了一个改进的转换流程;将标准测试接口语言(STIL)作为描述语言,设计了一种具有per-pin-ATE资源的数据格式;开发了面向3种国产测试仪的测试向量转换系统———SpeedyE2A(S).实验结果表明,在相同的转换条件下,当测试向量较大时,SpeedyE2A(S)系统的转换时间远远少于Credence的TDS系统.经SpeedyE2A(S)系统转换的8051和海尔“爱国者”芯片的测试向量,已经成功地在北京自动测试技术研究所的测试系统上运行.

关键词：测试向量转换模型测试程序标准测试接口语言

来源：评论

学校读者我要写书评

暂无评论

结合ATPG和SAT的无界模型检验前像计算方法

引用

计算机辅助设计与图形学学报 2007年第3期19卷 376-380页

作者：刘领一赵阳吕涛李华伟李晓维中国科学院计算机系统结构重点实验室中国科学院计算技术研究所计算机先进测试技术实验室北京100080中国科学院研究生院北京100049 中国科学院计算技术研究所计算机先进测试技术实验室北京100080

提出一种无界模型检验的前像计算方法,该方法有效地结合ATPG和SAT引擎,充分利用引擎各自的优点.SAT用来判断是否已经穷尽所有解;每次SAT枚举出一个前像解后,采用一个专门的ATPG过程减少状态变量上的赋值,从而减少前像解的总个数,加快后... 详细信息

提出一种无界模型检验的前像计算方法,该方法有效地结合ATPG和SAT引擎,充分利用引擎各自的优点.SAT用来判断是否已经穷尽所有解;每次SAT枚举出一个前像解后,采用一个专门的ATPG过程减少状态变量上的赋值,从而减少前像解的总个数,加快后面的不动点迭代处理.最后通过在ISCAS89和ITC99电路上的实验证明了文中方法的有效性.

关键词：形式验证无界模型检验前像计算自动化测试激励生成布尔可满足性问题

来源：评论

学校读者我要写书评

暂无评论

基于动态反馈的标志位线性分析算法

引用

软件学报 2007年第7期18卷 1603-1611页

作者：唐锋武成岗冯晓兵张兆庆中国科学院计算技术研究所先进编译实验室中国科学院研究生院北京100049

二进制翻译可以用于解决遗产代码的迁移问题,也可以实现不同硬件平台之间软件的通用.如果源平台通过标志位进行条件跳转,那么如何处理标志位就成为翻译中的一个重要问题,对翻译的代码质量起着决定性作用.提出标志位线性分析算法,复杂度... 详细信息

二进制翻译可以用于解决遗产代码的迁移问题,也可以实现不同硬件平台之间软件的通用.如果源平台通过标志位进行条件跳转,那么如何处理标志位就成为翻译中的一个重要问题,对翻译的代码质量起着决定性作用.提出标志位线性分析算法,复杂度为线性,基本上能够消除所有的标志位冗余计算,提高了动态执行的效率.基于动态profiling技术,消除了间接跳转的基本块标志位冗余计算.分析了spec2000中的大部分整点测试例子,实验结果表明,EfLA(Eflag linear analysis)算法对于大运算量的程序是非常有效的.

关键词：动态优化二进制翻译标志住优化动态反馈线性分析

来源：评论

学校读者我要写书评

暂无评论

溢出代码和访存压力敏感的快速机器学习

引用

计算机应用研究 2007年第6期24卷 216-219,223页

作者：刘章林张兆庆中国科学院计算技术研究所先进实验室

基于遗传算法提出了溢出代码和访存压力敏感的机器学习来调试寄存器分配的权值函数。不同于以往采用目标程序的运行时间作为适应值,通过静态分析寄存器分配产生的溢出代码和基本块中的访存压力来构建适应值,以减少学习时间。这些分析被... 详细信息

基于遗传算法提出了溢出代码和访存压力敏感的机器学习来调试寄存器分配的权值函数。不同于以往采用目标程序的运行时间作为适应值,通过静态分析寄存器分配产生的溢出代码和基本块中的访存压力来构建适应值,以减少学习时间。这些分析被限定在热点函数中,在保证适应值精度的同时进一步加快了学习速度。实验表明,快速学习仅需要考虑热点函数的编译时间,整个CPU2000CINT测试集在5 h内即可学习完毕。大部分CPU2000CINT测试例子的性能得到了提高。其中perlbmk的性能提升最高可达到7.2%。

关键词：机器学习寄存器分配溢出代码访存压力

来源：评论

学校读者我要写书评

暂无评论

一种有效的低功耗扫描测试结构——PowerCut

引用

计算机研究与发展 2007年第3期44卷 473-478页

作者：王伟韩银和胡瑜李晓维张佑生合肥工业大学计算机与信息学院合肥230009 中国科学院计算技术研究所先进测试技术实验室

扫描测试是超大规模集成电路测试中最常用的一种技术.但在扫描测试过程中,扫描单元的频繁翻转会引起电路中过大的测试功耗,这对电路测试提出了新的挑战.提出了一种新颖的低功耗全扫描结构——PowerCut,通过对扫描链的修改,加入阻隔逻辑... 详细信息

扫描测试是超大规模集成电路测试中最常用的一种技术.但在扫描测试过程中,扫描单元的频繁翻转会引起电路中过大的测试功耗,这对电路测试提出了新的挑战.提出了一种新颖的低功耗全扫描结构——PowerCut,通过对扫描链的修改,加入阻隔逻辑,有效降低扫描移位过程中的动态功耗,同时加入控制单元,使电路在扫描移位过程时进入低漏电流状态,降低了电路的静态功耗.实验表明该结构在较小的硬件开销范围内有效地减小了扫描测试功耗.

关键词：测试功耗阻隔逻辑控制单元扫描链

来源：评论

学校读者我要写书评

暂无评论

数字电路测试压缩方法研究(英文)

引用

中国科学院研究生院学报 2007年第6期24卷 847-857页

作者：韩银和李晓维中国科学院计算技术研究所系统结构重点实验室先进测试技术实验北京100080 中国科学院研究生院北京100049

测试压缩可以在没有故障覆盖率损失的情况下,极大地降低测试时间和测试数据量,弥补了测试设备和芯片制造能力提升之间的差距,受到学术界和工业界的广泛关注.测试数据分为测试激励和测试响应2种,测试压缩也对应分为测试激励压缩和测试响... 详细信息

测试压缩可以在没有故障覆盖率损失的情况下,极大地降低测试时间和测试数据量,弥补了测试设备和芯片制造能力提升之间的差距,受到学术界和工业界的广泛关注.测试数据分为测试激励和测试响应2种,测试压缩也对应分为测试激励压缩和测试响应压缩2个方面.本文针对这2方面分别展开了研究.主要贡献包含:(1)提出了一种Variable-Tail编码.Variable-Tail是一种变长-变长的编码,对于X位密度比较高的测试向量能够取得更高的测试压缩率.实验数据表明,如结合测试向量排序算法,则使用Variable-Tail编码可以取得很接近于编码压缩理论上界的压缩效果(平均差距在1.26 %左右) ,同时还可以减少20 %的测试功耗.(2)提出了一种并行芯核外壳设计方法.研究发现了测试向量中存在着扫描切片重叠和部分重叠现象.当多个扫描切片重叠时,它们仅需要装载一次,这样就可以大大减少测试时间和测试数据量.实验结果表明,使用并行外壳设计,测试时间可以减少到原来的2/3 ,测试功耗可以减少到原来的1/15 .(3)提出了3X测试压缩结构.3X测试压缩结构包含了3个主要技术:X-Config激励压缩、X-Balance测试产生和X-Tolerant响应压缩.X-Config激励压缩提出了一个周期可重构的MUX网络.X-Balance测试产生综合考虑了动态压缩、测试数据压缩和扫描设计等因素,产生测试向量.它使用了回溯消除算法和基于确定位概率密度的扫描链设计算法,减少测试向量体积.X-Tolerant响应压缩提出了一种单输出的基于卷积编码的压缩电路.该压缩电路只需要一个数据,因此总能保证最大的压缩率.同时为了提高对X位的容忍能力,还提出了一个多权重的基本校验矩阵生成算法.

关键词：系统芯片测试激励压缩测试响应压缩扫描设计自动测试向量生成(ATPG) 不关心位未知位卷积编码

来源：评论

学校读者我要写书评

暂无评论

IPv4/IPv6转换网关性能指标的研究

引用

计算机工程 2007年第6期33卷 150-152页

作者：孙红兵钟声陈沫李忠诚中国科学院计算技术研究所网络测试实验室北京100080 信息工程大学郑州450002

参照通用网络设备的测试标准及方法,结合IPv4/IPv6转换网关自身的特点,提出了一套适用于转换网关的性能测试指标。针对网络混合流应用环境,提出了3项综合评价网络性能的测试指标:双向平均延迟,混合平均延迟和加权混合延迟。这3个指标更... 详细信息

参照通用网络设备的测试标准及方法,结合IPv4/IPv6转换网关自身的特点,提出了一套适用于转换网关的性能测试指标。针对网络混合流应用环境,提出了3项综合评价网络性能的测试指标:双向平均延迟,混合平均延迟和加权混合延迟。这3个指标更能体现用户的感受。基于所提出的测试指标,给出了相应的测试方法和测试实例,对测试结果进行分析。

关键词： IPv4/IPv6 转换网关性能指标混合平均延迟加权混合延迟

来源：评论

学校读者我要写书评

暂无评论

路径测试中基本路径集的自动生成

引用

计算机工程 2007年第22期33卷 195-197页

作者：张广梅李晓维韩丛英山东农业大学信息科学与工程学院泰安271000 中国科学院计算技术研究所先进测试技术实验室北京100080 山东科技大学青岛266510

路径测试是一种重要的白盒测试技术,具有较高的故障覆盖率。基本路径集覆盖了程序中所有语句和分支,该文测试了基本路径集中的路径,在测试资源有限的情况下得到较好的测试效果,并提出了基于图的深度优先搜索的基本路径集的生成方法,该... 详细信息

路径测试是一种重要的白盒测试技术,具有较高的故障覆盖率。基本路径集覆盖了程序中所有语句和分支,该文测试了基本路径集中的路径,在测试资源有限的情况下得到较好的测试效果,并提出了基于图的深度优先搜索的基本路径集的生成方法,该算法采用的生成子路径的方法可以有效地减少路径生成过程中的搜索过程,提高路径生成的效率。

关键词：路径测试独立路径基本路径集

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：