基于目标语义特征的图像检索系统 被引量：32

1

作者 高永英 章毓晋 罗云 《电子与信息学报》 EI CSCD 北大核心 2003年第10期1341-1348,共8页

为克服当前基于内容的图像检索技术中低级特征无法准确全面地描述高级语义的问题,该文设计和实现了一个基于目标高级语义特征的检索系统。该系统利用了一个多级图像描述模型将语义特征结合到图像检索技术中。该图像描述模型通过在不同... 为克服当前基于内容的图像检索技术中低级特征无法准确全面地描述高级语义的问题,该文设计和实现了一个基于目标高级语义特征的检索系统。该系统利用了一个多级图像描述模型将语义特征结合到图像检索技术中。该图像描述模型通过在不同层次上对图像内容进行分析和描述,实现了从低级特征到高级语义的过渡。在此模型的基础上还研究了相应的检索机制和反馈技术。该系统的检索机制定位于图像中目标的语义内容,与传统的图像检索系统相比更接近人对图像内容的理解,从而使检索过程更简便,检索效率也得到很大提高。基于目标描述的自适应相关反馈可针对不同用户的不同需求给出相应的检索方案,从而使检索结果得到优化。 展开更多

关键词 基于内容检索 图像语义 图像描述模型 目标理解 相关反馈 目标语义特征 图像检索

在线阅读 下载PDF 职称材料

对象描述语言及其指称描述 被引量：5

2

作者 黄涛 冯玉琳 +1 位作者 倪彬 李京 《软件学报》 EI CSCD 北大核心 1996年第10期577-586,共10页

在面向对象的软件构造中，对象被视为软件系统的基本构件．本文提出对象规范描述语言ＯＤＬ（ｏｂｊｅｃｔｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ），并给出其主要结构的ＳＯＰ指称描述．ＳＯＰ演算的理论范集给出对象的形式描述．Ｓ... 在面向对象的软件构造中，对象被视为软件系统的基本构件．本文提出对象规范描述语言ＯＤＬ（ｏｂｊｅｃｔｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ），并给出其主要结构的ＳＯＰ指称描述．ＳＯＰ演算的理论范集给出对象的形式描述．ＳＯＰ理论范集反映了对象的封装性，在这样的逻辑框架下，对象的属性（结构）和动作（行为）得以统一．对象聚合提供了由已有对象描述构造复杂对象描述的机制；而继承则可以扩充给定的对象描述并保持原描述的特性．此外。 展开更多

关键词 面向对象 对象描述语言 指称描述

在线阅读 下载PDF 职称材料

对象演算Ⅰ 被引量：4

3

作者 黄涛 钱军 周桓 《软件学报》 EI CSCD 北大核心 1999年第9期931-940,共10页

对象演算是一个面向对象的逻辑演算系统，它建立在描述具有内部状态的动态演变实体的Ｔｒａｃｅ演算之上．对象比一般意义下的动态实体具有更多和更好的特性，特别是封装性．为此，文章引入有效动作的概念，通过对象的有效动作来刻画对... 对象演算是一个面向对象的逻辑演算系统，它建立在描述具有内部状态的动态演变实体的Ｔｒａｃｅ演算之上．对象比一般意义下的动态实体具有更多和更好的特性，特别是封装性．为此，文章引入有效动作的概念，通过对象的有效动作来刻画对象的封装性，即只有对象的有效动作才能访问或修改对象的属性值，从而对Ｔｒａｃｅ 演算的语义模型加以限制，得到对象语义解释模型．作为逻辑系统，文章还讨论了对象演算的公理化，它是Ｔｒａｃｅ 演算公理系统的扩充．作为应用。 展开更多

关键词 对象演算 公理化 对象语义描述 形式语义理论

在线阅读 下载PDF 职称材料

S-RSM:一种基于语义的数据空间资源搜索机制 被引量：2

4

作者 寇月 申德荣 +2 位作者 聂铁铮 赵宁 于戈 《小型微型计算机系统》 CSCD 北大核心 2011年第2期265-270,共6页

数据空间技术是数据库管理技术的进一步发展,如何有效地搜索数据空间中的资源成为一个值得研究的问题.为此提出一种基于语义的数据空间资源搜索机制(S-RSM,Semantics-based Resource Search Mechanism for Dataspace).定义了资源描述模... 数据空间技术是数据库管理技术的进一步发展,如何有效地搜索数据空间中的资源成为一个值得研究的问题.为此提出一种基于语义的数据空间资源搜索机制(S-RSM,Semantics-based Resource Search Mechanism for Dataspace).定义了资源描述模型,能够有效地将数据资源进行统一描述和包装;提出一种基于语义的资源搜索策略,利用Dbped ia语义知识库评估资源对象关联和语义项关联.同其它搜索策略相比,S-RSM在查全率和查准率等方面具有一定的优势. 展开更多

关键词 数据空间 语义 资源描述 资源对象关联 语义项关联

在线阅读 下载PDF 职称材料

合成型语言FOPL的语义研究 被引量：2

5

作者 梅宏 孙永强 《电子学报》 EI CAS CSCD 北大核心 1995年第2期12-16,共5页

函数式面向对象程序设计语言ＦＯＰＬ，是笔者设计并实现的一种同时支持函数式程序设计和面向对象程序设计的合成型智能语言，本文在一个全称抽象域上描述了它的指称语义，进而讨论了一个和该指称语义计算一致的按值调用的操作语义。

关键词 FOPL语言 程序设计 面向对象 合成语言 语义

在线阅读 下载PDF 职称材料

两汉时期的双宾语结构 被引量：14

6

作者 刘宋川 《湖北大学学报（哲学社会科学版）》 CSSCI 北大核心 2001年第5期56-62,共7页

本文依据笔者的界定归纳了两汉双宾语结构的类型 ,并对各类型的结构式以及与非双宾语结构式的转换作了分析 ,最后将两汉与先秦的双宾语结构作了比较 ,认为 :上古前后期双宾语结构的五个主要类型是相同的 ,但汉以后大概只保留了四个 ;两... 本文依据笔者的界定归纳了两汉双宾语结构的类型 ,并对各类型的结构式以及与非双宾语结构式的转换作了分析 ,最后将两汉与先秦的双宾语结构作了比较 ,认为 :上古前后期双宾语结构的五个主要类型是相同的 ,但汉以后大概只保留了四个 ;两汉带双宾语的常用述动有 4 3个 ,其中保留了先秦的 1 8个 ,而一半以上是更替和新生的 ;两汉双宾语结构式有 7个 ,但占绝对优势并能延续到汉以后的是A1式 ,而宾语前置的各种结构式已经锐减或绝迹。 展开更多

关键词 语义关系 双宾语结构 汉代 汉语 古代语法 述语动词 结构式 类型

在线阅读 下载PDF 职称材料

Smalltalk－80的指称语义研究 被引量：1

7

作者 李舟军 王兵山 《软件学报》 EI CSCD 北大核心 1995年第7期385-390,共6页

Ｓｍａｌｌｔａｌｋ—８０是原型的面向对象程序设计语言和环境．本文简要地给出了Ｓｍａｌｌｔａｌｋ－８０的形式模型，并基于该模型描述了Ｓｍａｌｌｔａｌｋ—８０的静态和动态指称语义．

关键词 面向对象 指称语义 Smalltalk语言 程序语言

在线阅读 下载PDF 职称材料

函数式面向对象语言FOPL的指称语义 被引量：1

8

作者 梅宏 孙永强 《计算机学报》 EI CSCD 北大核心 1994年第7期513-520,共8页

函数式面向对象程序设计语言ＦＯＰＬ是笔者设计并实现的一种合成语言．本文在一个全称的抽象域上描述了ＦＯＰＬ语言的指称语义．

关键词 面向对象 程序语言 FOPL语言

在线阅读 下载PDF 职称材料

一个面向对象的实时分布式语言的指称语义

9

作者 左志宏 龚天富 《软件学报》 EI CSCD 北大核心 1996年第4期244-251,共8页

本文给出了一个面向对象的实时分布式语言的指称语义，在不同层次Ｌ给出了语句、对象和程序的清晰描述．提出了实时状态的概念．借助于它，在指称语义的框架内，简洁地刻画了语言的实时特性．

关键词 实时 指称语义 面向对象 分布式语言

在线阅读 下载PDF 职称材料

Smalltalk-80的形式语义研究

10

作者 李舟军 王兵山 《国防科技大学学报》 EI CAS CSCD 北大核心 1993年第3期80-89,共10页

Smalltalk-80是原型的面向对象程序设计语言和环境。本文简要地介绍了Smalltalk-80的基本概念和抽象文法,给出了其形式模型,并基于该模型描述了Smalltalk-80的静态指称语义和动态指称语义。

关键词 面向对象 程序设计 SMALLTALK-80

在线阅读 下载PDF 职称材料

一种基于对象属性关系图的视频描述方法

11

作者 冯欣 高瑗蔚 +2 位作者 杨武 蒋友妮 张洁 《重庆理工大学学报（自然科学）》 CAS 北大核心 2020年第1期64-70,102,共8页

从人类对视频内容的认知机理出发,提出了一种基于对象属性关系图的视频描述方法。该方法将视频描述成一幅属性关系图,图中结点表示视频中的关键目标对象,图的边表示对象之间的相对关系。结点属性由对象的时间-空间域特征构成,对象之间... 从人类对视频内容的认知机理出发,提出了一种基于对象属性关系图的视频描述方法。该方法将视频描述成一幅属性关系图,图中结点表示视频中的关键目标对象,图的边表示对象之间的相对关系。结点属性由对象的时间-空间域特征构成,对象之间关系的时间-空间变化特征作为边的属性。进一步将视频的对象属性关系图用于视频内容的相似性度量。通过采用图匹配的方法,视频的相似性度量可在一个二次分配优化问题中求解。实验结果表明:基于对象属性关系图的视频描述方法能够很好地从语义层面描述视频内容,与经典的视觉单词词袋描述方法和目前深度3D卷积网络的特征描述方法相比,在视频检索任务上具有更高的平均相似度、查准率和查全率。 展开更多

关键词 视频表示 对象属性关系 语义描述

在线阅读 下载PDF 职称材料

语义标注元数据及其抽取技术 被引量：9

12

作者 凌海云 左志宏 +2 位作者 陈兰 段恩泽 袁军英 《计算机应用研究》 CSCD 北大核心 2004年第7期147-149,共3页

讨论了语义Web上用XML或RDF/XML标注元数据的方法以及元数据标注在语义Web上的两种存在形式 :单一文件或XML包。在此基础上 ,介绍了从这些单独文件或XML包宿主文件中抽取元数据的方法 。

关键词 语义Web 语义标注 元数据 XML包 资源描述框架 SAX 文档对象模型

在线阅读 下载PDF 职称材料

一个类Java语言的指称语义

13

作者 谭浩 李旭晖 何炎祥 《计算机工程与应用》 CSCD 北大核心 2003年第28期113-117,共5页

文章提出了一个简化的Java语言SimpleJ并给出了此语言的指称语义。SimpleJ是一个简单的面向对象语言,具有Java语言的基本语义特点,该文通过对SimpleJ语言的语义域和语义方程的刻画和描述,讨论了以对象类型和异常语句为主的Java语言的语... 文章提出了一个简化的Java语言SimpleJ并给出了此语言的指称语义。SimpleJ是一个简单的面向对象语言,具有Java语言的基本语义特点,该文通过对SimpleJ语言的语义域和语义方程的刻画和描述,讨论了以对象类型和异常语句为主的Java语言的语义特征。 展开更多

关键词 指称语义 JAVA 面向对象

在线阅读 下载PDF 职称材料