形式语义相关论文
近几十年来,人们尝试不以形式语言为中介、而是重新直接用自然语言来研究人类推理的基本模式,这些尝试被称做“自然逻辑(natural logi......
为了提高服务消息接口的规范性和交互行为的正确性,提出了一种服务消息交互的元建模方法基于工作流模型对服务进行建模,通过对消息......
本文给出了一个面向Statechart描述的测试用例集自动生成工具FTCL.FTCL由语法解释器,语义解释器和测试集生成器构成.语法解释器是......
构式是句法和语义上独特的或不规则的表达方式。紧缩构式是汉语中一种常见而又颇具特色的句法结构,其形式、意义具有不可推导性。......
语义的形式化是自然语言语义计算的必要条件,其基础是戴维森真值条件语义学和蒙太格的模型论语义学。戴维森的目标是用真值条件来......
本文研究的重点是SDL的形式语义定义方法,在分析SDL-88和SDL-2000语义定义方法的基础上提一种改进的SDL-2000形式语义的方法。另一......
该文从设计方法论的角度提出一系列技术,以求通过对软构件进行重构设计来提高它的可靠性.该文首先提出了一种能够同时为软构件开发......
该文的工作就是设计一个自然语言的接口系统,建立起自然语言到图形的转换.这是一个基于汉语语义结构文法的自然语言理解模型.其中......
该文首先概述了深亚微米集成电路和EDA技术,指出了硬件描述语言(HDL)在设计数字电路各所起的作用,并系统概要地给出了Verilog HDL......
在本论文中我们提出了一种通用的,可扩展的分析和检查加密协议的方法。我们的方法就是用CPAL(Cryptographic Protocol Analysis Lang......
Agent组织是多Agent系统研究的重要问题之一,也是多Agent系统一种有效的求解方式.针对Agent组织研究工作存在的主要问题,该文主要......
基于软件自动化的考虑,在深入研究指称语义和Monad的基础上,给出了指称语义的转换方法和Monad的转换方法.具体给出了从直接指称语......
近年来,突破传统计算领域种种束缚的量子计算,越来越受到人们关注。一方面,随着电子器件越做越小,其功能开始受到量子效应的干扰,致使传......
信息化程度越来越高的今天,计算机软件复杂度的正不断提升,因此计算机软件开发的正确率和效率正变得越来越重要。一方面,“软件工......
随着因特网的普及与发展,XML已经成为网络上数据描述和数据交换的标准;在数据存储领域,XML也发挥着重要的作用。因此,对XML数据的......
本文从认知心理学出发,采用范畴理论对文本、图像、视频等非结构化信息做了一个统一的形式语义描述;基于反馈控制和试错法为核心思......
学位
随着Internet的不断发展,人们越来越多地从网上下载并使用程序,程序信息流安全问题越来越重要。程序信息流安全问题是指程序能否保护......
在统一建模语言(Unified Modeling Language)UML2.0规范中,模型的语法是通过元模型以类图形式定义的,静态语义用对象约束语言(Object......
信念修正是常识推理的主要手段,然而信念修正方法在处理不一致信念时常常会出现有用的信念丢失和结论集难于抉择的问题。为了解决......
随着汽车工业的发展,车载设备正朝着网络化和智能化的方向快速推进,汽车电子软硬件系统变得越来越复杂,它的实时性、正确性、安全......
UML(统一建模语言)是一种适用于软件系统开发的图形化语言,它功能强大且易于表达。为了方便对正在进行开发的软件系统进行建模和分......
英语条件句是句法、语义接口的重要语法现象,是语法研究的核心议题之一,其使用是否具有语体倾向性,少有人涉及。本研究基于当代英......
一首诗每天去肉铺提血 从一粒盐听到海 题记 沪上当代艺术家普遍有种怪异的艺术意志,他们在日愈奥林匹克化的国际艺术格局中,既热......
本文提出了一种形式化模型—TTS4SD,用来描述MARTE规范定义的带时间约束的顺序图的形式语义并在此基础上展开分析。首先给出顺......
在形式语义的支持下提出了一种动态工作流建模方法。该方法在扩展UML的基础上给出了两种建模机制,利用UML活动图和状态图对动态工作......
主动数据库的研究和应用得到了一定的发展,但也面临着一些瓶颈问题。该文对主动数据库应用与传统的被动数据库应用的不同特点进行了......
该文主要介绍计算机科学的基础理论,包括逻辑学、可计算性理论、计算复杂性问题、形成语言和形式语义、人工智能和知识工程,软件工程......
摘要:所谓汉语连动句,简单地说是由若干个动词短语构成的单句。在对其内部的时间结构进行深度剖析以后可以看到,连动句内部各个VP之间......
现代造船模式的应用和推广,加快了船舶结构设计模块化和标准化技术的形成。随着先进制造理论的引入,使得现代造船模式迅速向敏捷制造......
随着计算机和网络的普及,互联网成为人们获取信息和知识的重要来源,目前搜索引擎尚不能很好的满足人们的需求。随着信息技术的不断发......
目前一些行为级综合工具实际上对描述的格式限制得非常严格,这也在一方面限制了设计者的思路.寄存器传输级综合的描述形式则要求用......
设计说明:汇艺教育是以培养儿童才艺为目标的综合教育中心,包括音乐、舞蹈、体育、棋艺等,目标在于发现儿童的艺术能力,发展儿童的......
变电站通信网络和系统系列标准--IEC 61850正在成为变电站自动化的一个重要标准.文中从形式语义的角度出发,对IEC 61850的建模方法......
同步数据流语言近年来在航空、高铁、核电等安全关键领域得到广泛应用.然而,此类语言相关开发工具本身的安全性业已成为被高度关注的......
本文采用形式语义研究方法,结合实例重点探讨了高级语言程序设计中局部变量在语句块中的作用域问题,从而帮助高级语言程序学习者从......
车联网是物联网技术应用于智能交通领域所形成的重要研究领域.复杂事件处理技术是车联网系统数据流处理的重要方法.有别于经典的物......
并发一直是计算机科学中矛盾的源泉和争论的焦点之一。本文分析和比较了三种并发模型:Petri网、CSP和CCS的发展历史、描述方法、处理并发与不确......
本文用构造型说明法讨论了满足结构化要求的各种复合抽象数据类型应具备的语义特性。然后讨论了基于类型理论的ECC扩展构造逻辑和函数......
本文采用类VDM的指称语言技术为Eiffel(1988)语言建立了形式语义模型,该模型首先为Eiffel语言定义了对象模型和两个语义环境(动态和静态环境),然后讨论Eiffel例程的......
Agent组织是多Agent系统研究的重要方面,在不同的Agent组织形式方法中常采用显式的组织形式方法,基于π演算和化学抽象机给出了组织......
1 引言自90年代以来,关于Agent和多Agent系统逐渐引起重视并开成AI研究的热点.由于Agent表达能力强,市场求解机制以及把推理格局引......
UML序列图用于建模实例间动态交互过程,但UML规范并没有给出其形式化的动态语义,这不利于对模型进行形式化验证和证明.本文把序列......