检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

一种基于特征捆绑计算模型的物体识别方法

软件学报 2010年第3期21卷 452-460页

作者：刘曦史忠植石志伟施智平中国科学院计算技术研究所智能信息处理重点实验室北京100190 中国科学院研究生院北京100049

利用一种特征捆绑计算模型,以Gabor特征作为模型的初级特征,将相关统计量作为实现特征捆绑的基础,提出了一种物体识别方法.并实现了一组物体识别实验,结果显示,该方法能够进行较快速而准确地识别,说明了此方法和所使用的特征捆绑计算模... 详细信息

利用一种特征捆绑计算模型,以Gabor特征作为模型的初级特征,将相关统计量作为实现特征捆绑的基础,提出了一种物体识别方法.并实现了一组物体识别实验,结果显示,该方法能够进行较快速而准确地识别,说明了此方法和所使用的特征捆绑计算模型的有效性.

关键词：特征捆绑计算模型物体识别

在线全文

学校读者我要写书评

暂无评论

可信执行环境软件侧信道攻击研究综述

软件学报 2023年第1期34卷 381-403页

作者：杨帆张倩颖施智平关永首都师范大学信息工程学院北京100048 高可靠嵌入式系统北京市工程研究中心(首都师范大学) 北京100048 计算机体系结构国家重点实验室(中国科学院计算技术研究所) 北京100190 电子系统可靠性技术北京市重点实验室(首都师范大学) 北京100048 北京成像理论与技术高精尖创新中心(首都师范大学) 北京100048

为保护计算设备中安全敏感程序运行环境的安全,研究人员提出了可信执行环境(TEE)技术,通过对硬件和软件进行隔离为安全敏感程序提供一个与通用计算环境隔离的安全运行环境.侧信道攻击从传统的需要昂贵设备发展到现在仅基于微体系结构状... 详细信息

为保护计算设备中安全敏感程序运行环境的安全,研究人员提出了可信执行环境(TEE)技术,通过对硬件和软件进行隔离为安全敏感程序提供一个与通用计算环境隔离的安全运行环境.侧信道攻击从传统的需要昂贵设备发展到现在仅基于微体系结构状态就能通过软件方式获取机密信息的访问模式,从而进一步推测出机密信息.TEE架构仅提供隔离机制,无法抵抗这类新出现的软件侧信道攻击.深入调研了ARM TrustZone、Intel SGX和AMD SEV这3种TEE架构的软件侧信道攻击及相应防御措施,并探讨其攻击和防御机制的发展趋势.首先,介绍了ARM TrustZone、Intel SGX和AMD SEV的基本原理,并详细阐述了软件侧信道攻击的定义以及缓存侧信道攻击的分类、方法和步骤;之后从处理器指令执行的角度,提出一种TEE攻击面分类方法,利用该方法对TEE软件侧信道攻击进行分类,并阐述了软件侧信道攻击与其他攻击相结合的组合攻击;然后详细讨论TEE软件侧信道攻击的威胁模型;最后全面总结业界对TEE软件侧信道攻击的防御措施,并从攻击和防御两方面探讨TEE软件侧信道攻击未来的研究趋势.

关键词：可信执行环境(TEE) 隔离架构 ARM TrustZone Intel SGX AMD SEV 软件侧信道攻击

在线全文

学校读者我要写书评

暂无评论

一种快速有效的图像纹理谱描述子

计算机辅助设计与图形学学报 2004年第12期16卷 1703-1707页

作者：施智平胡宏李清勇史忠植段禅伦中国科学院计算技术研究所智能信息处理重点实验室内蒙古大学计算机学院呼和浩特010021

提出了一种基于纹理基元等价类的纹理谱描述子来描述图像的纹理特征该纹理谱刻画邻域内像素灰度变化模式 ,以纹理谱直方图方式表示图像内容与Gabor纹理特征的对比实验表明 ,文中的纹理谱描述子特征提取速度快、检索准确率高

关键词：纹理纹理基元等价类图像检索纹理谱描述子

一种CBR与RBR相结合的快速预案生成系统

在线全文

学校读者我要写书评

暂无评论

计算机研究与发展 2007年第4期44卷 660-666页

作者：罗杰文施智平何清史忠植中国科学院计算技术研究所智能信息处理重点实验室

将范例推理(case basedreasoning,CBR)与规则推理(rule basedreasoning,RBR)两种人工智能技术相结合,实现一种快速预案生成系统.它有效地解决了单纯RBR系统在预案生成过程中的时间延迟缺陷和知识库难以获取的瓶颈.通过CBR工具,能够把以... 详细信息

将范例推理(case basedreasoning,CBR)与规则推理(rule basedreasoning,RBR)两种人工智能技术相结合,实现一种快速预案生成系统.它有效地解决了单纯RBR系统在预案生成过程中的时间延迟缺陷和知识库难以获取的瓶颈.通过CBR工具,能够把以前发生的紧急事件和解决方案生成预案.一旦新的事件发生,首先从预案库中进行案例的相似性检索,如果没有检索到预案或者检索到的预案匹配度很低,再采用RBR系统对紧急事件进行规则推理,然后把推理结果重新存入预案库.实验数据表明,这种方法对单纯RBR系统在时间响应上进行了有效的优化.另外,因为案例的获取比专家系统推理规则的获取容易得多,它同时解决了RBR系统推理规则难以获取的瓶颈.根据这种思想,实现了CBR与RBR结合的快速预案生成系统.目前,它已经应用到抗洪抢险的预案生成和城市应急联动的决策支持上,效果表明它在预案生成速度以及实际可操作性上都具有明显优势.

关键词：规则推理范例推理紧急事件决策支持相似度主体

综合语义特征和视觉特征的二阶段纹理图像检索

在线全文

学校读者我要写书评

暂无评论

计算机辅助设计与图形学学报 2008年第4期20卷 499-505页

作者：李清勇施智平史忠植北京交通大学计算机与信息技术学院北京100044 中国科学院计算技术研究所智能信息处理重点实验室北京100190

提出一种融合模糊语义概念和精细视觉特征的纹理图像检索方法.首先根据语言表达式和模糊语义概念对整个图像库进行快速有效的粗搜索,得到具有"软"边界的语义检索结果;然后根据视觉特征在语义检索结果中(而不是整个图像库)进行精细的检索... 详细信息

提出一种融合模糊语义概念和精细视觉特征的纹理图像检索方法.首先根据语言表达式和模糊语义概念对整个图像库进行快速有效的粗搜索,得到具有"软"边界的语义检索结果;然后根据视觉特征在语义检索结果中(而不是整个图像库)进行精细的检索.该方法很好地结合了基于内容的图像检索和基于语义的图像检索两者的优势,使得用户既可以根据语义概念对图像库进行快速浏览和检索,也能根据查询用例图像的视觉特征进行精细的匹配;另外,由粗到细的二阶段策略也明显地提高了其检索性能.在Brodatz纹理库中的实验结果表明,通过调整合适的语义检索边界,该方法的检索性能明显优于基于视觉特征的图像检索方法.

关键词：基于内容的图像检索语义特征视觉特征语言变量

在线全文

学校读者我要写书评

暂无评论

机器人碰撞检测方法形式化

软件学报 2022年第6期33卷 2246-2263页

作者：陈善言关永施智平王国辉首都师范大学信息工程学院北京100048 电子系统可靠性与数理交叉学科国家国际科技合作示范型基地(首都师范大学) 北京100048 轻型工业机器人与安全验证北京市重点实验室(首都师范大学) 北京100048 电子系统可靠性技术北京市重点实验室(首都师范大学) 北京100048 高可靠嵌入式系统北京市工程研究中心(首都师范大学) 北京100048

为应对更为复杂的任务需求,现代机器人产业发展愈发迅猛.出于协调工作的灵活性、柔顺性以及智能性等多项考虑因素,多臂/多机器人充分发挥了机器人的强大作用,成为现代机器人产业的重要研究热点.在机器人双臂协调运行当中,机械臂之间以... 详细信息

为应对更为复杂的任务需求,现代机器人产业发展愈发迅猛.出于协调工作的灵活性、柔顺性以及智能性等多项考虑因素,多臂/多机器人充分发挥了机器人的强大作用,成为现代机器人产业的重要研究热点.在机器人双臂协调运行当中,机械臂之间以及机械臂与外部障碍物之间容易发生碰撞,可能会造成财产损失甚至人员伤亡.对机器人碰撞检测方法进行形式化验证,以球体和胶囊体形式化模型为基础,构建基本几何体单元之间最短距离和机器人碰撞的高阶逻辑模型,证明其相关属性及碰撞条件,建立机器人碰撞检测方法基础定理库,为多机系统碰撞检测算法可靠性与稳定性的验证提供技术支撑和验证框架.

关键词：机器人碰撞检测形式化方法定理证明 HOL-Light

在线全文

学校读者我要写书评

暂无评论

基于自组织动态神经网络的图像分割

计算机研究与发展 2009年第1期46卷 23-30页

作者：史春奇施智平刘曦史忠植中国科学院计算技术研究所智能信息处理实验室北京100190 中国科学院研究生院北京100049

图像分割是图像处理和模式识别的重要课题,而图像特征空间聚类是图像分割的一种重要方法,认为图像的特征是图像中待分割物体表面所特有而且恒定的特征,并将图像的特征映射到某种几何空间,称为特征空间,并且假定图像中不同的待分割物体... 详细信息

图像分割是图像处理和模式识别的重要课题,而图像特征空间聚类是图像分割的一种重要方法,认为图像的特征是图像中待分割物体表面所特有而且恒定的特征,并将图像的特征映射到某种几何空间,称为特征空间,并且假定图像中不同的待分割物体在该特征空间中呈现为不同的聚集.提出了自组织动态网络(SODNN)聚类算法,并且利用该算法对图像特征空间聚类.该算法实现了神经网络结构的快速生长和动态调节,具有自动适应数据内在分布特征和聚类结果更为准确稳定的特点.利用SODNN算法对图像颜色空间进行聚类的同时综合了图像的位置信息来实现图像分割.实验表明分割结果与人工分割结果具有较好的一致性.

关键词：竞争学习自组织特征空间聚类图像分割图像特征

在线全文

学校读者我要写书评

暂无评论

Ptolemy离散事件模型形式化验证方法

软件学报 2021年第6期32卷 1830-1848页

作者：陆芝浩王瑞孔辉关永施智平首都师范大学信息工程学院北京100048 轻型工业机器人与安全验证北京市重点实验室(首都师范大学) 北京100048 华为技术上海研发中心上海201206 电子系统可靠性与数理交叉学科国家国际科技合作示范基地(首都师范大学) 北京100048

Ptolemy是一个广泛应用于信息物理融合系统的建模和仿真工具包,主要通过仿真的方式保证所建模型的正确性.形式化方法是保证系统正确性的重要方法之一.提出了一种基于形式模型转换的方法来验证离散事件模型的正确性.离散事件模型根据不... 详细信息

Ptolemy是一个广泛应用于信息物理融合系统的建模和仿真工具包,主要通过仿真的方式保证所建模型的正确性.形式化方法是保证系统正确性的重要方法之一.提出了一种基于形式模型转换的方法来验证离散事件模型的正确性.离散事件模型根据不同事件的时间戳触发组件,时间自动机模型能够表达这个特征,因此选用Uppaal作为验证工具.首先定义了离散事件模型的形式语义;其次设计了一组从离散事件模型到时间自动机的映射规则;然后在Ptolemy环境中实现了一个插件,可以自动将离散事件模型转换为时间自动机模型,并通过调用Uppaal验证内核完成验证;最后,以一个交通信号灯控制系统为例进行了成功的转换和验证,实验结果证实了该方法能够验证Ptolemy离散事件模型的正确性.

关键词：形式化验证 Ptolemy离散事件模型模型自动转换时间自动机

在线全文

学校读者我要写书评

暂无评论

集成视觉特征和语义信息的相关反馈方法

计算机辅助设计与图形学学报 2007年第9期19卷 1138-1142页

作者：施智平李清勇史俊史忠植中国科学院计算技术研究所智能信息处理重点实验室北京100080 北京交通大学计算机与信息技术学院北京100044

为了有效地利用图像检索系统的语义分类信息和视觉特征,提出一种基于Bayes的集成视觉特征和语义信息的相关反馈检索方法.首先,将图像库的数据经语义监督的视觉特征聚类算法划分为小的聚类,每个聚类内数据的视觉特征相似并且语义类别相同... 详细信息

为了有效地利用图像检索系统的语义分类信息和视觉特征,提出一种基于Bayes的集成视觉特征和语义信息的相关反馈检索方法.首先,将图像库的数据经语义监督的视觉特征聚类算法划分为小的聚类,每个聚类内数据的视觉特征相似并且语义类别相同;然后以聚类为单位标注正负反馈的实例,这显著区别于以单个图像为单位的相关反馈过程;最后分别以基于视觉特征的Bayes分类器和基于语义的Bayes分类器修正相似距离.在图像库上的实验表明,只用较少的反馈次数就可以达到较高的检索准确率.

关键词：相关反馈图像检索聚类 Bayes