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

计算机研究与发展 2007年第11期44卷 1839-1848页

作者：范昊吴哲辉中国科学院计算技术研究所智能信息处理开放实验室山东科技大学信息科学与工程学院青岛266510

提出了一种通信协议的实体描述语言***语言是一种描述能力很强的语言,它可以对协议实体的状态、行为及协议实体对资源的控制和访问进行形式化的描述,同以往的描述语言不同,CPEBSDL语言把协议实体之间复杂的交互行为看做是实体对协议中... 详细信息

提出了一种通信协议的实体描述语言***语言是一种描述能力很强的语言,它可以对协议实体的状态、行为及协议实体对资源的控制和访问进行形式化的描述,同以往的描述语言不同,CPEBSDL语言把协议实体之间复杂的交互行为看做是实体对协议中共同使用到的资源的控制和访问,从而简化了交互行为描述的复杂性,便于对协议进行分析和测试.给出CPEBSDL语言规则对应的上下文无关文法G(CPEBSDL),并给出了G(CPEBSDL)的乔姆斯基范式,在此基础上给出了一个判定协议行为的CPEBSDL语言描述是否合法的判定算法——CYK协议行为序列的合法性验证算法.作为一个实例,用CPEBSDL语言对ISDN数据链路层协议LAPD的链接过程进行了完整的描述,并给出了一个判定协议行为序列是否合法的例子.

关键词：通信协议描述语言交互行为实体 BSDL语言行为描述语言规则 CPE

来源：评论

学校读者我要写书评

暂无评论

国家知识基础设施中的数学知识表示

引用

软件学报 2006年第8期17卷 1731-1742页

作者：曹存根眭跃飞孙瑜曾庆田中国科学院计算技术研究所智能信息处理重点实验室大规模知识处理组北京100080

数学知识表示是知识表示中的一个重要方面,是数学知识检索、自动定理机器证明、智能教学系统等的基础.根据在设计NKI(nationalknowledgeinfrastructure)的数学知识表示语言中遇到的问题,并在讨论了数学对象的本体论假设的基础上提出了... 详细信息

数学知识表示是知识表示中的一个重要方面,是数学知识检索、自动定理机器证明、智能教学系统等的基础.根据在设计NKI(nationalknowledgeinfrastructure)的数学知识表示语言中遇到的问题,并在讨论了数学对象的本体论假设的基础上提出了两种数学知识的表示方法:一种是以一个逻辑语言上的公式为属性值域的描述逻辑;另一种是以描述逻辑描述的本体为逻辑语言的一部分的一阶逻辑.在前者的表示中,如果对公式不作任何限制,那么得到的知识库中的推理不是可算法化的;在后者的表示中,以描述逻辑描述的本体中的推理是可算法化的,而以本体为逻辑语言的一部分的一阶逻辑所表示的数学知识中的推理一般是不可算法化的.因此,在表示数学知识时,需要区分概念性的知识(本体中的知识)和非概念性的知识(用本体作为语言表示的知识).框架或者描述逻辑可以表示和有效地推理概念性知识,但如果将非概念性知识加入到框架或知识库中,就可能使得原来可以有效推理的框架所表示的知识库不存在有效的推理算法,甚至不存在推理算法.为此,建议在表示数学知识时,用框架或描述逻辑来表示概念性知识;然后,用这样表示的知识库作为逻辑语言的一部分,以表示非概念性知识.

关键词：数学知识框架描述逻辑本体

来源：评论

学校读者我要写书评

暂无评论

SWEEP曲面中三种定位标架的分析比较

引用

计算机辅助设计与图形学学报 2001年第5期13卷 455-460页

作者：汪国平冯艺东董士海中国科学院计算技术研究所智能信息处理开放实验室北京100080 北京大学计算机科学技术系北京100871

在基于 SWEEP的几何造型中 ,一个基本的问题是运动路径上活动标架的确定 ,尤其对于运动路径是空间曲线的情形 ,它直接影响到所生成 SWEEP曲面的形状控制 ;在其它应用中 ,也直接影响到运动物体的形状和姿态的调整 .到目前为止 ,已经有几... 详细信息

在基于 SWEEP的几何造型中 ,一个基本的问题是运动路径上活动标架的确定 ,尤其对于运动路径是空间曲线的情形 ,它直接影响到所生成 SWEEP曲面的形状控制 ;在其它应用中 ,也直接影响到运动物体的形状和姿态的调整 .到目前为止 ,已经有几种活动标架的确定方法 ,但它们对路径曲线的要求和所生成的 SWEEP曲面的形状效果是不同的 .文中比较了三种不同的活动标架 ,用实例说明了这些标架之间的差别 ,并在实用系统中实现 .

关键词： SWEEP曲面几何造型 CAGD 活动标架定位

来源：评论

学校读者我要写书评

暂无评论

二维流形上一组等距与尺度不变的形状描述子

引用

计算机辅助设计与图形学学报 2014年第10期26卷 1781-1788页

作者：曹伟国李海洋李诗锐李华中国科学院计算技术研究所智能信息处理重点实验室北京100190 中国科学院大学北京100049

在流形上构造了一组具有等距不变与尺度不变的形状描述子.该方法首先利用Biharmonic距离构造核函数,然后利用勒贝格积分构造具有等距不变的描述子,再利用曲面的勒贝格测度对形状描述子进行标准化,得到了一组新的描述子.这种新的形状描... 详细信息

在流形上构造了一组具有等距不变与尺度不变的形状描述子.该方法首先利用Biharmonic距离构造核函数,然后利用勒贝格积分构造具有等距不变的描述子,再利用曲面的勒贝格测度对形状描述子进行标准化,得到了一组新的描述子.这种新的形状描述子既具有等距不变性,又具有尺度不变性,反映了几何形状的内蕴性质.在非刚体模型上进行了大量实验,通过实验结果可以看出,该方法对于发生等距变形的物体具有很好的识别和区分效果.

关键词：非刚体等距变换尺度变换形状分析形状描述子不变量

来源：评论

学校读者我要写书评

暂无评论

利用图像相位信息构造的仿射-卷积矩不变量

引用

计算机辅助设计与图形学学报 2014年第6期26卷 851-860页

作者：公明曹伟国李华中国科学院计算技术研究所智能信息处理重点实验室北京100190 中国科学院大学北京100049

不理想的成像设备或者成像条件经常会导致图像的退化现象,如相机失焦、相机与场景的相对运动等会使得图像模糊,不同拍摄视角会引起图像中几何形状的变化等.为了实现对退化图像的识别、检索等,利用图像的相位信息构造了一种仿射-卷积矩... 详细信息

不理想的成像设备或者成像条件经常会导致图像的退化现象,如相机失焦、相机与场景的相对运动等会使得图像模糊,不同拍摄视角会引起图像中几何形状的变化等.为了实现对退化图像的识别、检索等,利用图像的相位信息构造了一种仿射-卷积矩不变量对这些退化图像进行描述.首先利用高斯卷积变换、仿射变换对图像的模糊、几何变化建模;然后分析图像的相位谱图像在高斯卷积变换、仿射变换下的性质,提出了能同时对高斯卷积变换和仿射变换具有不变性质的不变量计算方法.通过对计算机合成变换的图像、真实拍摄的图像进行检索、识别实验,表明了文中提出的仿射-卷积矩不变量的有效性和适用性.

关键词：矩不变量图像模糊几何退化卷积变换仿射变换图像相位

来源：评论

学校读者我要写书评

暂无评论

公式分层的谓词模态逻辑

引用

软件学报 2014年第5期25卷 1014-1024页

作者：孙梅莹邓少波陈博曹存根眭跃飞中国科学院计算技术研究所智能信息处理重点实验室北京100190 中国科学院大学北京100049

由于必然模态词的引入,谓词模态逻辑的公式在一个可能世界中的真假值可能依赖于其可达的可能世界.在谓词模态逻辑中存在个体跨可能世界相等问题.针对这一问题,Lewis提出了对应物理论,并且在对应物理论中用对应物关系来表示个体跨可能世... 详细信息

由于必然模态词的引入,谓词模态逻辑的公式在一个可能世界中的真假值可能依赖于其可达的可能世界.在谓词模态逻辑中存在个体跨可能世界相等问题.针对这一问题,Lewis提出了对应物理论,并且在对应物理论中用对应物关系来表示个体跨可能世界相等.但是,当一个对象具有一个以上的对应物时,谓词模态逻辑中的跨可能世界相等关系无法与对应物关系建立一一对应.通过限制谓词模态逻辑中全称量词?的范围,给出了一种公式分层的谓词模态逻辑.它是谓词模态逻辑的一个子逻辑,并且其语言与谓词模态逻辑的语言是相同的.但其公式是分层定义的,使得?可以出现在的范围内,并且不能出现在?的范围内.由于任意形如?x?(x)的表达式都不是该逻辑的公式,以量词开头的公式在一个可能世界w中的真假值只依赖于w,该逻辑避免了个体跨可能世界相等问题.给出了该逻辑的语言、语法和语义,并证明了该逻辑是可靠的和完备的.

关键词：跨可能世界相等谓词模态逻辑可变论域语义 Ⅴ-性质可靠性完备性

来源：评论

学校读者我要写书评

暂无评论

形状和颜色变换下图像的Gaussian-Hermite矩不变量

引用

计算机辅助设计与图形学学报 2022年第3期34卷 341-351页

作者：墨瀚林郝优李华中国科学院计算技术研究所智能信息处理重点实验室北京100190 中国科学院大学北京100049

矩不变量是计算机视觉和模式识别领域常用的图像不变特征.现有的形状和颜色变换下彩色图像的矩不变量均基于几何矩构造,因此抗噪性较差.针对该问题,提出了利用基本微分算子和颜色几何基元生成旋转-仿射变换下彩色图像Gaussian-Hermite... 详细信息

矩不变量是计算机视觉和模式识别领域常用的图像不变特征.现有的形状和颜色变换下彩色图像的矩不变量均基于几何矩构造,因此抗噪性较差.针对该问题,提出了利用基本微分算子和颜色几何基元生成旋转-仿射变换下彩色图像Gaussian-Hermite正交矩不变量的方法,所构造的不变量均为Gaussian-Hermite矩的齐次多项式;然后生成所有可能的低阶低次不变量,并从中得到13个满足线性独立关系的不变量实例.基于合成图像数据集和HPatches图像数据集进行了数值稳定性验证、图像分类和模板匹配实验,结果表明,13个不变量实例具有良好的数值稳定性和抗噪性;使用它们得到的分类和匹配准确率比同类矩不变量分别高出10%和30%左右.

关键词：正交矩不变量 Gaussian-Hermite矩形状变换颜色变换图像分类模板匹配

来源：评论

学校读者我要写书评

暂无评论

规模化蛋白质鉴定中母离子的准确检测技术研究

引用

生物化学与生物物理进展 2013年第1期40卷 80-92页

作者：袁作飞邬龙刘超迟浩樊盛博张昆曾文锋孙瑞祥贺思敏中国科学院计算技术研究所智能信息处理重点实验室北京100190 中国科学院大学北京100049

蛋白质组学的基础研究之一是蛋白质鉴定.规模化的蛋白质鉴定通常采用"鸟枪法",即选择一些酶切肽段(母离子)碎裂生成二级谱图,通过二级谱图及其母离子质量鉴定肽段,再推断对应的蛋白质.在鉴定过程中,母离子质量是一个关键参数... 详细信息

蛋白质组学的基础研究之一是蛋白质鉴定.规模化的蛋白质鉴定通常采用"鸟枪法",即选择一些酶切肽段(母离子)碎裂生成二级谱图,通过二级谱图及其母离子质量鉴定肽段,再推断对应的蛋白质.在鉴定过程中,母离子质量是一个关键参数.母离子是否是肽段的单同位素峰决定了正确肽段是否能进入候选,母离子的质量精度决定了候选肽段的数目.本文从判断单同位素峰和系统误差校准这两个角度研究了母离子的准确检测技术.判断单同位素峰的技术在蛋白质上已有研究,包括电荷判断、单同位素峰判断和重叠同位素峰判断.可以借鉴蛋白质水平的技术研究母离子的单同位素峰判断方法.同时母离子的系统误差校准也有较为成熟的方法.这两个角度的研究有助于提高规模化蛋白质的鉴定率.

关键词：蛋白质组学蛋白质鉴定母离子单同位素峰系统误差

来源：评论

学校读者我要写书评

暂无评论

多特征组合和图切割支持的物体/背景分割方法

引用

计算机研究与发展 2008年第10期45卷 1724-1730页

作者：邓宇李华中国科学院计算技术研究所智能信息处理重点实验室北京100190 中国科学院计算技术研究所智能中心北京100190 中国科学院研究生院北京100049

运动物体分割是计算机视觉应用领域中的一个基本问题,阴影和亮度变化均易造成分割结果错误.通过组合多种图像特征,实现了一种新的检测运动物体方法.一方面,组合图像的颜色、梯度和纹理特征,利用梯度和纹理信息对亮度变化不敏感的特性,... 详细信息

运动物体分割是计算机视觉应用领域中的一个基本问题,阴影和亮度变化均易造成分割结果错误.通过组合多种图像特征,实现了一种新的检测运动物体方法.一方面,组合图像的颜色、梯度和纹理特征,利用梯度和纹理信息对亮度变化不敏感的特性,提高运动物体分割的准确性;另一方面,使用图切割算法对物体/背景进行分割,在不影响整体分割结果前提下修正局部判别错误的像素点,分割结果噪声少且稳定性强.对不同场景的分割结果表明,该方法是高效的和实用的.

关键词：运动物体分割颜色梯度纹理多特征组合图切割

来源：评论

学校读者我要写书评

暂无评论

一种尺度自适应的Mean Shift跟踪算法

引用

计算机研究与发展 2014年第1期51卷 215-224页

作者：张凤军赵岭安国成王宏安戴国忠中国科学院软件研究所人机交互技术与智能信息处理实验室北京100190 中国科学院计算技术研究所北京100190

针对传统Mean Shift中跟踪窗口尺度不能实时适应跟踪目标变化这一问题,提出一种基于图割理论的Mean Shift尺度自适应算法.根据每一帧图像的Mean Shift迭代结果,在其周围的一个小区域内,利用先验的肤色混合高斯模型构造图并建立关于标号... 详细信息

针对传统Mean Shift中跟踪窗口尺度不能实时适应跟踪目标变化这一问题,提出一种基于图割理论的Mean Shift尺度自适应算法.根据每一帧图像的Mean Shift迭代结果,在其周围的一个小区域内,利用先验的肤色混合高斯模型构造图并建立关于标号的能量模型,使用max flow/min cut算法计算出能量函数最小值实现图割,在图割后的肤色团块中寻找最大团判定为跟踪目标,并以该团的尺度来实时调整目标跟踪窗口.实验结果表明,该方法克服了缩放10%核带宽的经典尺度适应方法的带宽趋于缩小问题,实时地反映跟踪目标真实尺度变化,避免背景中其他目标的干扰,具有较好的实用性和鲁棒性,而且可以应用到娱乐游戏控制中,丰富人机交互操作方式.

关键词：图割理论均值移动尺度自适应跟踪人机交互

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：