浅析语义对象类型

确定语义对象对于建立语义对象模型是很重要的。本对七种语义对象类型举例分析,论述了确定不同的语义对象的方法,从而把具体对象从事物中更为清晰地抽象出来,为建立语义对象模型奠定了基础。     

语义对象分割技术综述

语义对象分割是各种基于内容的多媒体应用领域中的一项关键技术,是近10年来图像与视频处理领域的一个研究热点.从实际应用的角度出发,介绍了三类具有应用价值的语义对象分割方法,即实时的自动对象分割、非实时的交互式对象分割以及针对具体应用的基于先验知识的对象分割.在分析了各类语义对象分割技术的利弊后,指出了语义对象分割技术的进一步研究应该结合高层语义信息来扩大其适用范围,并展望了目前刚刚起步的基于视觉关注度的语义对象分割方法.     

用OWL绑定学习对象元数据

随着学习对象的增加,对学习对象的管理、查找、评价和共享需要通过元数据来实现。目前一般用XML或RDF绑定元数据。由于XML绑定缺乏语义性,RDF绑定虽然具有一定的语义性,但是其表达的语义不够。于是提出了用OWL绑定学习对象元数据,通过OWL提供的大量建模原语,可以为学习对象元数据增加更多的语义描述信息,从而更好地实现学习对象的语义查询。     

基于本体的可进化学习对象设计

学习对象规范代表并引导着学习对象的发展方向。从IMS Common Cartridge数字化学习内容封装规范及LETSI通用核心模型Core SCORM来看,学习对象呈现出分布式共享、细粒度重用、对生成性信息自动聚合等发展趋势。基于这种趋势,提出了可进化学习对象。本文对可进化学习对象的结构及特性进行了分析,采用本体作为其语义信息表示的通用框架,借助于OWL描述,设计了可进化学习对象自然生长、聚合、裂变的进化模型,为异构信息系统中ELO互操作提供了理论依据。     

基于C＋＋语言的持久程序设计语言XDPC＋＋

本文讨论了ＸＤＰＣ＋＋语言特性，ＸＤＰＣ＋＋是支持类型完全和类型正交的对象持久性的Ｃ＋＋，语言超集，本文还讨论了引入持久性对Ｃ＋＋程序设计风格及安全性的影响。     

设计模式和数据持久层框架在Web系统中的应用

根据远程信息服务系统平台的特点,分析了系统架构和数据持久性处理在Web应用系统中存在的不足之处,提出了综合应用MVC系统架构和数据持久层框架的Web系统解决方案,解决了应用面向对象方法在远程信息服务系统中的架构设计和对关系型数据库进行对象关系映射的实现问题.     

语义特征在评价对象抽取与极性判定中的作用

提出与评价对象抽取相关的7类语义特征: 评价触发词、评价消解词、评价对象绝缘词、后指动词、前指动词、心理动词和指向定语的评价名词, 以及与极性判定相关的5类语义特征: 褒义性名词、贬义性名词、语义偏移型名词、度量衡形容词和语义构式。从引入语义特征的必要性以及如何使用这些特征两方面进行阐述。实验证明, 语义特征的引入有助于提高评价对象抽取及极性判断的准确率。     

设计模式和数据持久层框架在Web系统中的应用

根据远程信息服务系统平台的特点，分析了系统架构和数据持久性处理在Web应用系统中存在的不足之处，提出了综合应用MVC系统架构和数据持久层框架的Web系统解决方案，解决了应用面向对象方法在远程信息服务系统中的架构设计和对关系型数据库进行对象关系映射的实现问题．     

EDDBMS存取机制的设计与实现

介绍了一种面向对象的工程数据库管理系统的存取机制，根据面向对象语义模型的特点，提出了一种适合于类、对象的存储模型以及一种可查询类层次对象和单类对象的复合对象索引机制，对象标识的选择便于对象的查询，在此之上实现了复杂对象的存储管理     

Repeat-until语句的操作语义与指称语义的等价性证明

在计算机科学中，形式语义学以数学为工具，精确地定义和解释计算机程序设计语言的含义或语义．其中操作语义学和指称语义学是形式语义学的两大类别．本文使用简单的命令式语言IMP的语法，首先给出了repeat—until循环语句的操作语义，然后详细推导出了其指称语义，并在此基础上详细证明了它们二者之间的语义等价性．     

英汉语言的文化对比研究：气与Air的分析

由于语言与文化的同生同在性，文化的差异势必影响英汉语言词法与语义的不同。以气与Air为例，相比于气，air用作词根比较少。即使都用作词头，air的构词能力也不及气。虽然它们都可以转类用作动词，但是意义迥然不同。其中的差异与后文语义对比的结果一致。气比air的意义所指范围更广，这便不得不推及到文化。虽然英语文化深受古希腊文化的影响，但是古希腊气本原说在英语文化中并没有传承下来。这便与中国气文化大相迳庭。气与air文化上的较大差异还在于air深层文化内涵的缺失。其缺失原因不仅在于文化传承．还在于其思维形式与文化背景。     

基于自然语言查询的搜索引擎模型

阐述了目前网络上的搜索引擎主要是基于关键词索引查询技术而设计的,这种技术的搜索范围很大,但由于关键词难于表达丰富的概念和用户信息需求中的丰富语义,导致查准率很低。以语义W eb和基于语义的网络信息检索技术为理论根据,从克服目前信息组织和信息检索的矛盾出发,用XML/RDF作为语义描述、组织、存储、查询的工具,试图在未来搜索引擎发展方面做一些尝试性的研究,提出了一个基于自然语言查询的搜索引擎模型。     

一个用户界面工具环境的研究与设计

从理论和实现的角度,探讨了一个用户界面工具环境的设计,为解决界面与应用语义的适当分离提供一种可行方案。该工具环境采用分层体系结构,在○-○图形表示的基础上,利用属性文法对用户界面进行形式描述,并最终实现一个集成化的用户界面自动生成工具环境。     

浅论语词并列的逻辑基础

语言是人类最重要的交际工具和思维工具,在语言实践中,人们总是需要把语言符号组合起来造出句子表达意思,在语言符号组合的过程中,同一语义场中的语词可以在同一思维层面并列,以概念间的关系为基础来解释语词间的并列现象不一定正确。     

一种基于范畴论方法的形式语言模型

针对形式语言理论研究的国内外现状,建立了一种基于范畴论方法的形式语言模型,在范畴论的形式化框架内论证了该形式语言模型与其生成范畴间的内在联系,利用范畴论的素描工具结合实例对该模型进行了应用,通过分析比对说明了该模型在保持形式语言语义完整性方面的优势,为形式语言的建模理论研究提供了一种基于范畴论方法的新思路,为形式系统结构设计与形式语言理论框架的研究提供一个高效、便利的形式化理论框架.     

论形式语义学

阐述了形式语义学关于"语法"、"句法和语义",以及"语词和语句"等概念。传统语言学所谓语法讲究对语言符号串线形排列的成分分析,现代生成语言学的Chomsky学派认为语法就是有关语言层次结构的由小到大的生成规则,类型逻辑语法等形式语义学理论所谓的语法是指基于逻辑推演的关于自然语言的运行规律;形式语义学强调句法和语义的对应,这是形式语义学的灵魂;形式语义学在语句领域取得了较大成功,而语词领域是语言学侧重的研究方向。从形式语义学比较语言学的不足可以看到其未来发展的思路。     

基于CTL的并发系统CSP模型验证

主要通过指称语义和回答集程序(Answer Set Programming,简称ASP)完成迹模型的生成,并构建了一套基于计算树逻辑(computing tree logic,简称CTL)的CSP模型验证方法.实验表明,该方法对于分支类型的性质具有较好的描述能力,且保证了验证的正确性.     

浅析认知语义学与英语教学的关系——在习语中的应用

认知语义学是认知语言学研究的重要内容。其基本观点是对传统意义观的一个反思。本文开始对认知语义学做一个简单的介绍。接着阐述和分析了认知语义学与英语教学的联系,主要体现在词汇教学上习语中的运用,在这种的教学中,认知语义学发挥了自己的作用,给学生提供更高效的学习方法。同时认知语义学的研究对于教学有了很大的帮助,帮助学生高效的记忆单词及词组的意义。