形式语义相关论文
语义的形式化是自然语言语义计算的必要条件,其基础是戴维森真值条件语义学和蒙太格的模型论语义学。戴维森的目标是用真值条件来......
本文研究的重点是SDL的形式语义定义方法，在分析SDL-88和SDL-2000语义定义方法的基础上提一种改进的SDL-2000形式语义的方法。另一......
在本论文中我们提出了一种通用的，可扩展的分析和检查加密协议的方法。我们的方法就是用CPAL（Cryptographic Protocol Analysis Lang......
随着Internet的不断发展，人们越来越多地从网上下载并使用程序，程序信息流安全问题越来越重要。程序信息流安全问题是指程序能否保护......
在统一建模语言(Unified Modeling Language)UML2.0规范中，模型的语法是通过元模型以类图形式定义的，静态语义用对象约束语言(Object......
信念修正是常识推理的主要手段,然而信念修正方法在处理不一致信念时常常会出现有用的信念丢失和结论集难于抉择的问题。为了解决......
随着汽车工业的发展,车载设备正朝着网络化和智能化的方向快速推进,汽车电子软硬件系统变得越来越复杂,它的实时性、正确性、安全......
UML(统一建模语言)是一种适用于软件系统开发的图形化语言,它功能强大且易于表达。为了方便对正在进行开发的软件系统进行建模和分......
摘要：所谓汉语连动句，简单地说是由若干个动词短语构成的单句。在对其内部的时间结构进行深度剖析以后可以看到，连动句内部各个VP之间......
现代造船模式的应用和推广，加快了船舶结构设计模块化和标准化技术的形成。随着先进制造理论的引入，使得现代造船模式迅速向敏捷制造......
随着计算机和网络的普及，互联网成为人们获取信息和知识的重要来源，目前搜索引擎尚不能很好的满足人们的需求。随着信息技术的不断发......
本文采用形式语义研究方法,结合实例重点探讨了高级语言程序设计中局部变量在语句块中的作用域问题,从而帮助高级语言程序学习者从......
车联网是物联网技术应用于智能交通领域所形成的重要研究领域.复杂事件处理技术是车联网系统数据流处理的重要方法.有别于经典的物......
Agent组织是多Agent系统研究的重要方面，在不同的Agent组织形式方法中常采用显式的组织形式方法，基于π演算和化学抽象机给出了组织......
1 引言自90年代以来,关于Agent和多Agent系统逐渐引起重视并开成AI研究的热点.由于Agent表达能力强,市场求解机制以及把推理格局引......
UML序列图用于建模实例间动态交互过程,但UML规范并没有给出其形式化的动态语义,这不利于对模型进行形式化验证和证明.本文把序列......
本文分析了目前语义Web服务的研究现状和存在的问题,特别是语义Web服务描述本体OWL-S的形式语义研究中存在的问题,在Srini Narayan......
由于类BAN逻辑缺乏明确而清晰的语义，其语法规则和推理的正确性就受到了质疑。本文定义了安全协议的计算模型，在此基础上定义了符合......
针对面向对象方法的数学理论基础相对薄弱的问题,利用共代数方法从范畴论及观察的角度研究面向对象的形式语义及行为关系。首先,给......
数据模型是数据库技术发展的主线,时态数据模型是时态数据库系统的核心与基础。针对时态数据模型的研究现状,初步探讨了时态数据模......
为了提高服务消息接口的规范性和交互行为的正确性,提出了一种服务消息交互的元建模方法。基于工作流模型对服务进行建模,通过对消......
优先关系是并发系统控制的重要手段.文中提出一种动态优先系统(Σ,D),其中Σ是有界Petri网,D是描述变迁之间优先关系的动态结构.然......
指出数学不是建立在集合论之上,而是建立在人类计数实践之上.经典数理逻辑是有量词的,而互逆主义数理逻辑没有量词,绝大多数逻辑在......
许多大型系统在进行分析和设计时,均采用UML作为需求描述语言,尤其是一些对安全性要求较高的系统,更是广泛采用UML的动态行为描述......
BPMN 2.0编排已成为描述业务流程间交互事实上的标准.BPMN 2.0编排面向流的特征，使之会产生控制流方面的语义错误.因此，检查编排语义......
指针是一种重要的数据类型 ,使用指针能使程序更加有效和优美 .可是指针却以不易驾御而闻名 ,至今在时序逻辑语言中未见到对它的形......
时间Petri网存在强语义和弱语义两种模型，弱语义模型更适合建模和分析外部环境触发的冲突选择问题，但其形式语义和可达性分析方面的......
操作语义通过规定程序设计语言在抽象机器上的执行过程来描述程序设计语言的含义。本文通过实例,运用操作语义对程序设计语言中的w......
UML活动图被认为是最合适的软件过程描述语言,研究UML活动图的模型检验方法是很有必要的。提出一种基于自动机理论的UML活动图的模......
VHDL是一种广泛使用的硬件描述语言。其语义的形式化描述对于VHDL的使用及实现具有重要意义。本文提出了一种基于时段演算的VHDL的......
研究基于部件设计的可靠性问题，首先提出了一个基于部件设计的模型：如何抽象地描述一个部件？如何利用已存在的部件构造新的部件？如何在......
软件代码的功能提取是功能集成的最基本前提,但软件功能提取普遍存在正确率低的问题。为此,提出基于Clight形式语义的代码功能描述......
摘要：多主体行为句的形式语义描述目前并没有很好的答案。本文从行为的发出和接受的角度进行思考，借用Cp系统和语义解释，并对其进行了......
体系结构设计在软件开发过程中扮演着重要角色．工程中常用图形语言为软件体系结构建模，它们有直观、半形式化的优点；但是语义不够精确......
UML2.0序列图是一种描述对象之间动态协作和事件发展时间关系的视图,但是UML序列图缺乏精确的形式化语义,所以不利于对其所描述的......
在组件和引用形式模型的基础上给出了组件集的拓扑空间结构,从而在组件并行递归引用形式语义的研究中引入一种新的基于拓扑动力系......
徽派民居是我国封建社会晚期建筑史上一颗灿烂耀眼的明珠，古典美学幽深、空灵、淡远的意境在徽派民居建筑上得到了完美的体现。徽派......
介绍了SDL-2000形式语义的理论基础抽象状态机(ASM),深入分析了SDL-2000形式语义,其中静态语义使用一阶谓词演算定义,动态语义使用......
为使UML活动图在软件过程中精确地建模系统，必须给出它的形式语义．首先将UML活动图形式化为一个关系结构，其次用Hoare逻辑给出了它的......
数字内容出版与递送领域的一个关键问题是数字权限管理。数字权限管理的核心是数字权限描述模型。该文的主要工作是依据国内外已有......
多工位制卡流水线设备控制系统是一种相当复杂的计算机控制软件,要求能够使用工业控制机或PC机等一般计算机设备控制流水型设备的......
设计了一种用于实现可重构网络数据包解析器的专用硬件配置描述语言P3.由于要有利于高安全等级网络的实现,侧重于从高可信性角度进......
为获得汉语篇章的形式语义,用组合式话语表现理论对汉语从词到句再到篇章进行语义组合。按句法规则和词类的λ-box表达式,通过翻译......
IEC61850标准提出后,标准的实施得到相关研究机构和专业人士的关注,但是热点基本集中在如何实现具体的技术上,鲜见在理论方面对标......
智能工业系统图标的呈现方式能够影响操作员的视觉认知效率。针对国内外工业系统图标进行指示性、安全性、色彩性等语义研究,分析......
