基于扩展CPN的OWL-S过程语义建模及分析方法研究

OWL-S过程语义的建模与分析是语义Web服务相关领域需要重点研究的问题。分析了目前OWL-S过程语义研究中存在的问题,提出了一种扩展的着色Petri网PM_net(过程模型网,Process Model net)来对OWL-S的过程语义进行转化与分析。结合OWL-S过程模型元素的特点,PM_net对基本着色Petri网的变迁和触发规则进行了扩展,使OWL-S的原子过程、组合过程和数据流等核心元素能够等价映射到PM_net。同时说明了如何基于PM_net对OWL-S的过程语义一致性进行分析,为OWL-S本体演化、语义Web服务组合和验证提供了合理的理论基础。

制造过程数据形式化语义建模

在总结制造过程数据内容和分析现有制造过程数据表达方法的基础上,提出一种基于多色集合理论的制造过程数据形式化表达方法,将制造过程数据所涉及的活动、对象、关系置于统一的以过程为核心的数学模型框架中。给出基于多色集的制造过程数据模型与过程描述语言(Process specification language,PSL)核心语义的映射关系,并对PSL核心语义进行扩展定义,以保证制造过程数据具有规范的过程语义。以一个齿轮轴工艺过程制造数据形式化语义定义为实例,说明基于多色集合理论和过程描述语言相结合的形式化语义建模方法在统一组织和关联描述制造过程数据以及维护语义一致性方面的可行性与有效性。

基于扩展着色Petri网的Web服务本体描述语言过程语义分析方法

针对目前Web服务本体描述语言过程语义研究中存在的问题,提出了一种基于扩展的着色Petri网的过程模型网,对Web服务本体描述语言的过程语义进行转化与分析。结合Web服务本体描述语言过程模型元素的特点,过程模型网扩展了基本着色Petri网的变迁和触发规则,使Web服务本体描述语言的原子过程、组合过程和数据流等核心元素能够等价映射到过程模型网。将过程模型网的可靠性分析问题分解为冲突消解和过程模型网剥离网可靠性问题,并采用传统Petri网分析工具(可覆盖性树)和原理,分析剥离网的可靠性,从而实现Web服务本体描述语言过程语义一致性分析,为Web服务本体描述语言本体演化、语义Web服务组合和验证提供了合理的理论基础。

受限的proflog语言及其表推演过程语义

Fitting提出一种逻辑程序设计语言proflog,并把表推演机制作为语言的过程语义.表推演具有直观、灵活的特点,它的单步扩展规则具有很强的语义特征,它是扩展逻辑程序类的另一个理想的证明论.不过proflog包含了全部一阶理论,等词的替换性使得proflog过程语义比较复杂.在此提出讨论一种受限的程序语言cProflog,它包含函词,但限制了等词的替换性,体现了表达能力与计算复杂性之间的平衡.对于逻辑程序语言cProflog,还给出了复杂性较低的表推演过程.

FLL语言的说明性语义与过程性语义

阐明了 Ｆ Ｌ Ｌ（ Ｆｕｚｚｙ Ｌｏｇｉｃ Ｌａｎｇｕａｇｅ）语言的说明性语义，并从过程性角度提出了 Ｆ Ｌ Ｌ的执行模式。

语义标识的过程模型的可执行性分析

语义标识的过程模型是基于领域本体对过程模型中活动的前置条件&效果进行标识后所产生的模型.语义过程模型的可执行性问题是确保语义过程模型质量的核心问题,同时已被证明是一个co-NP难问题.基于关联变量集模型定义了语义过程模型的动态语义;定义了该动态语义的命题公式的编码规则;提出了基于可满足性求解器的可执行性分析方法;该方法能判定可执行性问题同时当模型不满足可执行性时能反馈出有问题的活动;此外,实现了相应的原型工具SPMT,该工具支持对语义过程模型的建模及可执行性分析;最后通过实际例子对以上理论及工具进行了有效性验证.

比喻——跨范畴的语义映射过程

当比喻不作为一种纯粹辞格 ,而作为一种思维方式 ,作为一种认知现象时 ,表现出以下三大特点 ,比喻的范畴化过程 ,比喻的概念化过程 ,比喻的双向认同过程 ,整个过程实质上是一种跨范畴的语义映射 ,相似性是这一过程得以进行的关键因素。

大学英语词汇语义理解过程的认知阐释

以cold的语义理解过程为例,分析指出,词汇的语义理解是一个复杂的心理认知过程,熟练地运用心理语言学相关知识掌握这一过程,对英语词汇习得和教学具有重要意义。

以“black”为例探讨语境在语义构建过程中的作用

认知语言学家一直在研究语境在理解语言单位时的作用。他们认为语言单位只有在运用中才有意义,语境在意义构建过程中是第一重要因素,自始至终起到指导作用。本文通过对于英语单词"black"实例分析证明了这种观点的合理性。

LPS程序的过程语义

为了研究Non—1NF关系模型G.M.,Kuper提出了LPS语言,基于这种语言,本文给出了用最一般合一描述的程序的过程语义,并用解释方法实现了该语言。

析取封闭世界假设的一种过程语义(英文)

析取信息的表示是一个重要的研究问题 .DCWA(析取封闭假设 )为一般演绎数据库提供了一种谨慎语义 ,并且扩充了标准的良基语义 .同时 DCWA支持争论推理 ,为广义封闭世界假设提供了一种逼近 .基于此 ,提出了DCWA的过程语义 ,并证明了它的可靠性和完备性 .

逻辑语言Setlog的证明论和过程性语义

本文对目前在处理复杂对象上的３种有代表性的逻辑语言进行了详细的综合分析，对比了它们在语法，语义及应用上的优优点。在此基础上提出了一种清晰，严谨和可实现的、能处理复杂对象的逻辑语言Ｓｅｔｌｏｇ。本文给出了Ｓｅｔｌｏｇ语言的严谨法形式，并讨论了模型论和证明论。

新词是如何产生的?——中国vs新加坡,简析语义的发展过程及其规律

随着科技和社会的迅速发展,近年来,经济繁荣的国家与日俱增。与此同时,我们不难观察到流行语的力量已经影响了整个社会和人们的生活方式。很多旧词汇,如粉丝、玉米、土豪等,似乎被赋予了新的意义。然而,还有一些流行语如"Kiasu"(怕输)、"lah"(啦)、"calefare"(卡拉非)也在不同情况下产生了。从语义的发展过程,本文将讨论关于词的起源和发展规律的现象,并将这两个国家(中国/新加坡)的流行词汇做简要地描述与比较。

基于Hoare逻辑的过程调用的形式化方法

采用Hoare逻辑风格的推理,提出了一些从源代码推导过程和这些过程调用的形式化语义规范的技术和算法。为了推导一个过程调用的语义,将过程看作一个抽象单元从程序分离出来,提取过程的形式化语义规范。对于一个具体的过程调用,形式化这个调用的前置条件,根据这些条件形式化求解调用的最强后置条件,也就是调用的语义作用。

网络热词“坑爹”语义走向及认知理据

"坑爹"是2011年以来的网络热词,和其他年度热词不同的是它到目前为止仍被广泛使用,并表现出强大的衍生能力。随着使用群体和领域的不断扩大,"坑爹"的义项也迅速扩展,这些不断衍生的义项之间存在比较强的规律性。义项扩展是语境因素和内在认知机制推动的结果。

基于OSG的农作物三维模型生长过程的可视化方法研究

针对农业三维可视化技术的局限性,本文利用过程语义分析农作物在生长周期中循环演变的机理,通过对农作物各个生长周期分别构建OSG模型,结合ADO对象获取模型渲染属性数据,利用OSG多重渲染技巧实现对三维农田模型的完整化、精细化和多层次化展现。展示了农作物在不同生长周期的OSG三维渲染模型。

Gdel语言延迟声明语句的语义及其实现方法

Gdel语言因语言成份复杂而缺乏严格的语义基础和成熟的编译器,因此推出后它一直发展缓慢。对此采用进化代数描述了其主要语言成分延迟声明语句的过程性语义,然后介绍了依据该语义的具体实现方法并给出运行流程图和C语言描述。最后通过一个例子来具体说明延迟计算在基于扩展Warren机的编译系统中的执行情况。实验结果表明了其可行性。

基于Simevents的机电自动化生产系统的语义分析与本体建模

针对应用Simevents开发机电自动化生产控制系统,分析其中支持离散制造运行机制的制造知识语义分析与自动化生产控制领域知识本体建模技术。从生产系统自动化控制领域知识角度,归纳出其中蕴含的核心概念及知识语义,并重点归纳驱动离散制造过程的生产事件及各制造核心概念之间作用关系的属性定义。应用Protégé软件建立了符合OWL机制并支持Simevents生产系统控制开发的离散制造控制本体模型。结合Simevents生产控制软件系统,提出了所开发的本体模型与软件系统的集成方法。以固高柔性生产系统实验平台为实例系统对提出的语义本体技术进行验证。

语义图在英语阅读中的运用

在英语教学中构建语义图,是引导学生深入理解文章的一个有效方法。语义图的各层次分别包括学生对相关主题的联想、篇章的背景知识、文章的重点内容等。因此,可以激励学生在课前主动搜索相关知识、积极加入课堂讨论,并在教师的引导下一步步理解文章内容。除了在阅读方面的作用,语义图也是进行听力、口语、写作等方面训练的有效辅助手段。

商务过程的形式化:述评

介绍从信息技术理论角度看商务过程（“geschaeft－process”）的系统形式化。强调指出了商务过程形式化对于利用自动化优化手段改进其管理的作用。指出迄今已提出了为数众多的商务过程形式化方案。本文提出的形式化出发点是，作为它的基础必须包括生产客体及其转换以及与环境的相互关系。介绍了商务过程语义形式化模型。指出根据DIN662M标准，过程系指物质客体、能源与信息的改变与转化。引入了客体（生产、商务）、用于客体转化的股票状况概念。这样客体就由状况、股票、转化所表征。同时，使用如下假设：客体的准确原始状况可以记录下来，客体的转换目标也可以鉴别，商务过程的转化技已知的规则进行，商务过程的性质取决于初始与最终状态。介绍了商务结构、生产因素、周围环境对商务过程影响评估的作法。产生了这样一些概念：局部过程、任务载体、商务过程的输入输出。分析了工作手段、时间、逻辑、空间与作业关系等概念。列一综合表介绍商务过程形式化概念与关键因素：结构化、可变性、推动力、信息量。