期刊文献+
共找到24篇文章
< 1 2 >
每页显示 20 50 100
电子文件管理元数据值语义结构化分析
1
作者 孙丰满 《现代图书情报技术》 CSSCI 北大核心 2008年第10期16-21,共6页
深入分析如何对元数据值中基本值(Basic Value)和值构成部分(Value Component)进行结构化,并且得出元数据值语义结构化程度高低将决定元数据值语法标准化程度高低的结论。
关键词 元数据值 值构成部分 语义结构化
下载PDF
UML顺序图的结构化操作语义研究 被引量:8
2
作者 黄陇 于洪敏 陈致明 《计算机应用》 CSCD 北大核心 2005年第2期359-361,共3页
UML顺序图侧重于展示对象之间的消息交互过程,但其动态语义缺乏形式化的描述,不利于对顺序图模型的准确理解和基于该模型的测试用例生成。为此,依据UML1. 5规范,采用BN定义顺序图的形式化语法,提出了活动点的概念;在此基础上,讨论并给... UML顺序图侧重于展示对象之间的消息交互过程,但其动态语义缺乏形式化的描述,不利于对顺序图模型的准确理解和基于该模型的测试用例生成。为此,依据UML1. 5规范,采用BN定义顺序图的形式化语法,提出了活动点的概念;在此基础上,讨论并给出了单个对象执行消息动作的结构化操作语义以及顺序图模型的整体结构化操作语义,为模型检验和基于顺序图的测试用例生成提供了前提。 展开更多
关键词 UML 顺序图 结构化操作语义
下载PDF
一种面向服务Petri网模型及其结构化操作语义 被引量:3
3
作者 郭峰 魏光 邓蒙蒙 《小型微型计算机系统》 CSCD 北大核心 2013年第12期2739-2743,共5页
在工作流网、开放网等Petri网模型的基础上,提出适合描述面向服务系统的Petri网模型—EON(扩展开放网).针对服务的各种组合方式定义了五种EON的组合算子,利用这些组合算子可以从基本EON组合成复杂EON.基于这些组合算子,EON本身可以采用... 在工作流网、开放网等Petri网模型的基础上,提出适合描述面向服务系统的Petri网模型—EON(扩展开放网).针对服务的各种组合方式定义了五种EON的组合算子,利用这些组合算子可以从基本EON组合成复杂EON.基于这些组合算子,EON本身可以采用代数化的构造性方式表达,本文进一步给出EON的结构化操作语义,这种语义是遗忘式的,不依赖于EON的标识,而是用发生变化的代数表达式描述EON的运行状态. 展开更多
关键词 PETRI网 面向服务 结构化操作语义
下载PDF
基于逻辑的软件演化操作语言及结构化操作语义
4
作者 任胜兵 喻寿益 +1 位作者 陈松乔 余莹 《小型微型计算机系统》 CSCD 北大核心 2007年第6期1031-1036,共6页
由于使用环境和新技术的不断变化,软件演化的控制变得日趋复杂.为了提高软件演化活动的可视化和形式化支持程度,结合谓词逻辑和软件演化,提出了一种软件演化操作语言SEOL(Software Evolution Operational Language)描述软件演化,给出了S... 由于使用环境和新技术的不断变化,软件演化的控制变得日趋复杂.为了提高软件演化活动的可视化和形式化支持程度,结合谓词逻辑和软件演化,提出了一种软件演化操作语言SEOL(Software Evolution Operational Language)描述软件演化,给出了SEOL的语法和结构化操作语义描述,并指出了软件演化操作语义等价分析方法.结合软件代码演化和软件模型演化实例,说明了SEOL的应用.与已有的软件演化操作描述相比,SEOL在易用性、可重用性和形式化分析方面有明显的改善,为软件演化的管理、分析和实施奠定了基础. 展开更多
关键词 软件演化 软件演化操作语言 结构化操作语义 语义等价
下载PDF
动态模糊逻辑(DFL)程序设计语言的结构化操作语义
5
作者 赵小芳 范辉 《计算机应用与软件》 CSCD 北大核心 2008年第8期136-137,146,共3页
动态模糊问题在客观世界中是普遍存在的,作为解决动态模糊问题的理论工具-动态模糊逻辑(DFL)已有十年的研究历史了,为了更有效地解决动态模糊问题,使DFL成为一种切实可实现的逻辑系统,有必要研究设计一种适合解决动态模糊性问题的程序... 动态模糊问题在客观世界中是普遍存在的,作为解决动态模糊问题的理论工具-动态模糊逻辑(DFL)已有十年的研究历史了,为了更有效地解决动态模糊问题,使DFL成为一种切实可实现的逻辑系统,有必要研究设计一种适合解决动态模糊性问题的程序设计语言。仿照监督命令的程序结构,给出动态模糊程序设计语言的结构化操作语义,其内容包括:动态模糊逻辑程序设计语言的抽象语法、动态模糊语义并通过一个简单实例说明其有效性。 展开更多
关键词 动态模糊逻辑 动态模糊逻辑程序设计语言 结构化操作语义
下载PDF
关于UML顺序图的结构化操作语义描述的研究
6
作者 杨洋 金暐 《福建电脑》 2007年第11期51-52,共2页
UML规范本身因为描述语言的限制,所以在语义方面有其模糊和难以把握的地方。本文使用结构化操作语义,对其顺序图做了形式化的描述。
关键词 UML 状态机图 形式化 结构化操作语义
下载PDF
语义场:现代语义学的哥德巴赫猜想 被引量:5
7
作者 张燚 《新疆师范大学学报(哲学社会科学版)》 2002年第1期95-98,共4页
反思语义场理论研究的历史,评价语义场研究的理论与实践,剖析语义场研究中存在的突出问题。
关键词 语言学 语义 聚合语义 特里尔 波尔齐希 组合语义 语义结构化
下载PDF
基于术语语义相关的知识关联方法研究 被引量:4
8
作者 李楠 孙济庆 +1 位作者 吉久明 陈荣 《情报学报》 CSSCI 北大核心 2015年第6期608-615,共8页
针对知识发现服务系统对知识关联系统化、自动化的技术需求,提出一种基于结构化语义分析的术语知识关联自动构建方法。借助语言学的词素理论从微观层面剖析术语内部的语义结构规律,通过研究词素在术语语义表达中的功能和作用,探讨词... 针对知识发现服务系统对知识关联系统化、自动化的技术需求,提出一种基于结构化语义分析的术语知识关联自动构建方法。借助语言学的词素理论从微观层面剖析术语内部的语义结构规律,通过研究词素在术语语义表达中的功能和作用,探讨词素层面的术语结构化语义分析方法。基于该方法实现术语的知识度量及语义相似度计算,并设计术语知识关联的动态构建流程。最后,设计并实现了面向化学领域的知识关联实例,实验结果表明,本文提出的方法可以有效地建立符合领域知识背景的知识关联网络。 展开更多
关键词 术语 词素 语义相关 结构化语义分析 知识关联
下载PDF
基于操作语义的磁臂隐通道分析 被引量:2
9
作者 刘志锋 鞠时光 李沛 《计算机应用研究》 CSCD 北大核心 2007年第11期157-160,共4页
深入分析磁臂隐通道的产生及产生的原因,发现目前基于系统顶级描述和基于系统源代码搜索方法难以找出这类隐通道,提出一种基于操作语义的方法来研究磁臂隐通道,将磁臂调度过程中的进程看做一个抽象机,以Plotkin的结构化操作语义给出电... 深入分析磁臂隐通道的产生及产生的原因,发现目前基于系统顶级描述和基于系统源代码搜索方法难以找出这类隐通道,提出一种基于操作语义的方法来研究磁臂隐通道,将磁臂调度过程中的进程看做一个抽象机,以Plotkin的结构化操作语义给出电梯调度算法的推导规则;根据推导规则得到进程抽象机所有状态以及进程抽象机状态的动态变化历史,这样就构成完整的信息传导操作语义模型。研究与分析两个高低安全级进程抽象机状态变迁及状态变迁序列,从而找到其中存在的磁臂隐通道。 展开更多
关键词 隐通道 磁臂隐通道 信息传导 结构化操作语义
下载PDF
SDL动态语义模型研究
10
作者 倪朝 王颖 +1 位作者 黄洁 艾波 《北京邮电大学学报》 EI CAS CSCD 北大核心 2000年第1期41-45,共5页
以转换系统为基本模型 ,分析了 SDL动态语义定义的基本需求 ,提出了一种基于 SDL未来发展方向的结构化操作语义定义框架 .
关键词 规格描述语言 结构化操作语义 动态语义模型
下载PDF
基于操作语义的时间隐通道分析 被引量:1
11
作者 戴梅 孙国强 刘志锋 《计算机工程与设计》 CSCD 北大核心 2009年第7期1593-1595,1599,共4页
主要讨论了计算机信息安全领域中比较热点的话题——基于操作语义的时间隐通道。根据隐通道中的时间隐通道的特点和存在的最小条件,针对其特点提出了一种搜索方法。该搜索方法将进程看作一个抽象机状态机,以Plotkin的结构化操作语义等... 主要讨论了计算机信息安全领域中比较热点的话题——基于操作语义的时间隐通道。根据隐通道中的时间隐通道的特点和存在的最小条件,针对其特点提出了一种搜索方法。该搜索方法将进程看作一个抽象机状态机,以Plotkin的结构化操作语义等推导规则为基础,以及完整的信息传导操作语义的模型,分析了两个高低安全级进程抽象机状态变化及其状态动态变化序列,最后对可视窗口的分析,可以找到其中存在的时间隐通道。 展开更多
关键词 隐通道 时间隐通道 抽象机 信息传导 结构化操作语义
下载PDF
基于本体的航空领域问答系统 被引量:12
12
作者 张克亮 李伟刚 王慧兰 《中文信息学报》 CSCD 北大核心 2015年第4期192-198,共7页
该文设计并实现了基于本体的航空领域问答系统,该问答系统采用面向领域本体的问题分类方法和结构化语义信息提取方法,将自然语言问题转换为SPARQL查询语句,在本体知识库中检索答案。实验结果表明,该系统能够处理该领域内的大部分常见问... 该文设计并实现了基于本体的航空领域问答系统,该问答系统采用面向领域本体的问题分类方法和结构化语义信息提取方法,将自然语言问题转换为SPARQL查询语句,在本体知识库中检索答案。实验结果表明,该系统能够处理该领域内的大部分常见问题,取得了82.97%的平均准确率。 展开更多
关键词 问答系统 本体知识库 问题类型 结构化语义
下载PDF
基于WordNet的无导词义消歧方法 被引量:6
13
作者 王瑞琴 孔繁胜 潘俊 《浙江大学学报(工学版)》 EI CAS CSCD 北大核心 2010年第4期732-737,共6页
有导词义消歧机器学习方法由于需要大量人力进行词义标注,难以适用于大规模词义消歧任务.提出一种避免人工词义标注的无导消歧方法.该方法综合利用WordNet知识库中的多种知识源(包括:词义定义描述、使用实例、结构化语义关系、领域属性... 有导词义消歧机器学习方法由于需要大量人力进行词义标注,难以适用于大规模词义消歧任务.提出一种避免人工词义标注的无导消歧方法.该方法综合利用WordNet知识库中的多种知识源(包括:词义定义描述、使用实例、结构化语义关系、领域属性等)描述歧义词的词义信息,生成词义的"代表词汇集"和"领域代表词汇集",结合词汇的词频分布信息和所处的上下文环境进行词义判定.利用通用测试集Senseval-3对6个典型的无导词义消歧方法进行开放实验,该方法取得平均正确率为49.93%的消歧结果. 展开更多
关键词 词义消歧 WordNet知识库 结构化语义关系
下载PDF
面向任务的网络虚拟机器人动态更新迁移计划
14
作者 王洪泊 马忠贵 +1 位作者 曾广平 涂序彦 《计算机科学》 CSCD 北大核心 2009年第6期167-170,共4页
在深入研究与分析Agelts系统及其源码的基础上,对网络虚拟机器人SoftMan迁移计算涉及到的基本技术问题进行了系统的分析与描述。利用面向任务的动态更新迁移计划方式和动态结构化操作语义,首先把SoftMan的移动信息从功能体中分离开来,... 在深入研究与分析Agelts系统及其源码的基础上,对网络虚拟机器人SoftMan迁移计算涉及到的基本技术问题进行了系统的分析与描述。利用面向任务的动态更新迁移计划方式和动态结构化操作语义,首先把SoftMan的移动信息从功能体中分离开来,可以分别对它们进行分析与设计,在设计功能体时无需考虑网络的实际情况,在设计移动信息时也不用考虑功能体的具体实现细节,这样有效地降低了设计和编写SoftMan的复杂性,也易于调试和管理。 展开更多
关键词 网络虚拟机器人 迁移计划 动态结构化操作语义
下载PDF
可执行代码简化中间表示的设计与实现
15
作者 窦增杰 王震宇 +1 位作者 姚伟平 王瑞敏 《计算机工程与设计》 CSCD 北大核心 2010年第12期2880-2882,2886,共4页
为了保证可执行代码分析的简洁性和严密性,设计并实现了一种简化汇编语言中间表示(SAIR)。根据汇编指令的特点,给出SAIR的语法并详细描述了SAIR的结构化操作语义。对汇编指令进行分类,设计了中间语言翻译字典以建立汇编指令与SAIR的映... 为了保证可执行代码分析的简洁性和严密性,设计并实现了一种简化汇编语言中间表示(SAIR)。根据汇编指令的特点,给出SAIR的语法并详细描述了SAIR的结构化操作语义。对汇编指令进行分类,设计了中间语言翻译字典以建立汇编指令与SAIR的映射关系。通过中间语言翻译字典实现反汇编代码向SAIR的转化,得到SAIR。最后,给出汇编代码转化SAIR的实例。实验结果表明,设计并实现的SAIR可读性强,易于理解,可有效地提高可执行代码的分析效率。 展开更多
关键词 反汇编代码 中间表示 结构化操作语义 形式语义 抽象表示
下载PDF
Choosing meaningful structure data for improving web search
16
作者 郭茜 杨晓春 +1 位作者 于戈 李广翱 《Journal of Southeast University(English Edition)》 EI CAS 2008年第3期343-346,共4页
In order to improve the quality of web search,a new query expansion method by choosing meaningful structure data from a domain database is proposed.It categories attributes into three different classes,named as concep... In order to improve the quality of web search,a new query expansion method by choosing meaningful structure data from a domain database is proposed.It categories attributes into three different classes,named as concept attribute,context attribute and meaningless attribute,according to their semantic features which are document frequency features and distinguishing capability features.It also defines the semantic relevance between two attributes when they have correlations in the database.Then it proposes trie-bitmap structure and pair pointer tables to implement efficient algorithms for discovering attribute semantic feature and detecting their semantic relevances.By using semantic attributes and their semantic relevances,expansion words can be generated and embedded into a vector space model with interpolation parameters.The experiments use an IMDB movie database and real texts collections to evaluate the proposed method by comparing its performance with a classical vector space model.The results show that the proposed method can improve text search efficiently and also improve both semantic features and semantic relevances with good separation capabilities. 展开更多
关键词 WEB SEMANTIC attributes relationship structure data query expansion
下载PDF
进程网及其自顶向下建模技术研究 被引量:1
17
作者 石万林 郭峰 《数字技术与应用》 2013年第11期44-45,共2页
提出一种新的融合进程代数特征的Petri网模型—进程网。进程网既具有传统Petri网的图形化表示方式,又具有进程代数的语法形式。介绍了进程网的四种组合算子,复杂进程网可由简单进程网通过组合算子组合而成。给出了进程网细化的规则及基... 提出一种新的融合进程代数特征的Petri网模型—进程网。进程网既具有传统Petri网的图形化表示方式,又具有进程代数的语法形式。介绍了进程网的四种组合算子,复杂进程网可由简单进程网通过组合算子组合而成。给出了进程网细化的规则及基于进程网的字顶向下建模步骤。 展开更多
关键词 PETRI网 进程代数 结构化操作语义
下载PDF
GSOS算子下共变-异变模拟的公理刻画 被引量:1
18
作者 李苏婷 张严 《计算机科学》 CSCD 北大核心 2020年第1期51-58,共8页
进程的行为理论是进程演算研究的核心内容之一,其侧重于讨论进程间的行为等价和模拟关系。共变-异变模拟(Covariant-Contravariant Simulation,CC-模拟)的概念是对经典(互)模拟概念的推广,它通过区分动作类型,刻画了规范与实现对系统主... 进程的行为理论是进程演算研究的核心内容之一,其侧重于讨论进程间的行为等价和模拟关系。共变-异变模拟(Covariant-Contravariant Simulation,CC-模拟)的概念是对经典(互)模拟概念的推广,它通过区分动作类型,刻画了规范与实现对系统主动、被动和通讯动作在精化关系中的不同要求。行为关系的(前)同余性和公理刻画是进程演算代数特征的集中体现,它们对规范及实现的分析和推理至关重要。一般而言,行为关系(前)同余性的证明和公理系统的构造需要基于不同进程演算系统的结构化操作语义(Structural Operational Semantics,SOS)分别展开。为了避免这类研究工作中的重复劳动,学术界针对一般化SOS规则形式的元理论开展了研究,GSOS是其中被广泛研究的规则形式之一。文中在考量了动作类型的基础上,基于CC-模拟对GSOS规则形式做出扩充,提出了CC-GSOS规则类型,证明了CC-模拟相对于CC-GSOS算子具有前同余性,并给出了在这些算子下CC-模拟的可靠完备公理系统的一般性构造方法。 展开更多
关键词 GSOS 结构化操作语义(SOS) 进程演算 共变-异变模拟 可靠性 完备性
下载PDF
ntyft/ntyxt算子下共变-异变模拟的前同余性
19
作者 李苏婷 张严 《计算机技术与发展》 2019年第9期40-44,134,共6页
进程代数是刻画并发与交互式反应系统行为的重要模型之一,进程间的(互)模拟关系及其公理化以及结构化操作语义(structural operational semantics,SOS)理论是其重要的两个研究方向。共变-异变模拟(covariant-contravariant simulation,... 进程代数是刻画并发与交互式反应系统行为的重要模型之一,进程间的(互)模拟关系及其公理化以及结构化操作语义(structural operational semantics,SOS)理论是其重要的两个研究方向。共变-异变模拟(covariant-contravariant simulation,CC-模拟)是(互)模拟关系概念的推广,它对动作进行区分,表达了状态的行为数目越多但并不一定越好的事实。行为关系的(前)同余性质在支持其形式规范的模块化构建和公理系统的推理方面具有重要意义。(前)同余性的证明需要根据进程代数语言中算子的SOS规则逐个验证。为了避免(前)同余性证明的重复劳动,学术界提出了多种类型的SOS规则的框架形式。ntyft/ntyxt规则形式是目前具有代表性的SOS规则框架形式之一。文中基于ntyft/ntyxt规则形式,提出了能满足CC-模拟前同余性的最大ntyft/ntyxt子类CC-ntyft/ntyxt规则形式,并证明了CC-模拟相对CC-ntyft/ntyxt算子的前同余性。 展开更多
关键词 结构化操作语义 共变-异变模拟 ntyft/ntyxt CC-ntyft/ntyxt 前同余性 分层 归约
下载PDF
外刊文摘
20
《中国信息安全》 2010年第5期5-,共1页
Computers&SecurityAprili 2010A framework for security assurance of access control enforcenent code一个访问控制执行码的安全保障框架This paper proposes a security assurance mechanism that formalizes the application ... Computers&SecurityAprili 2010A framework for security assurance of access control enforcenent code一个访问控制执行码的安全保障框架This paper proposes a security assurance mechanism that formalizes the application behavior using labeled transition systems and structural operational semantics.文章提出了一个安全保障机制,它使用标签转移系统和结构化操作语义,形式化描述应用行为。 展开更多
关键词 结构化操作语义 文章 访问控制 应用行为 内部威胁 外刊 文摘 检索工具
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部