操作语义相关论文
混成系统是同时包含连续状态和离散状态的动态系统。连续部分通常模拟物理环境的相互作用,而离散部分通常模拟控制系统的运行。计......
目前数字经济正在向可编程经济时代演进,智能合约对可编程经济起着重要的推动作用,但其应用却面临着种种问题。在区块链应用中,由......
软件漏洞分析是网络空间安全的重要研究内容。现有软件漏洞分析方法存在效率不高,准确性差,通用性不强的缺陷。同时,真实程序执行......
对语义Web服务的操作语义进行恰当的形式化描述和有效建模是语义Web服务得到实际应用必须解决的基础问题,尤其是机器如何自动得到语......
该文的研究内容包括:1.Verilog的操作语义研究.我们选择了Verilog的一个子集作为研究的对象,该子集包括了Verilog最重要的语言特征......
Verilog是工业界广泛使用的一种硬件描述语言,可用于不同抽象层次的数字系统建模.为了确保开发的正确性,对Verilog语言的准确理解......
量子程序设计语言是用于书写量子程序的语言,自1996年出现以来,颇受业界重视,它已经成为量子计算领域研究热点之一。 本文在明确研......
如今,形式化方法越来越多地被应用到与生命财产安全密切相关的计算机软件领域。其中,编程语言的形式化操作语义起着一个重要的作用......
该文以企业实施大规模定制作为问题的研究背景和验证基础,主要研究了窄带环境下面向大规模定制的协同设计环境体系结构及支持协同......
随着软件技术的不断发展,开发者和用户对于软件质量提出了更高的要求。为此,软件开发者试图从技术、管理等各层面控制软件开发过程,提......
随着软件规模的不断扩大,软件错误也越来越容易产生。尽早地检测软件中的错误是软件开发过程中的一个重要任务,也是降低软件开发成本......
本文所作得的主要工作包括:(1)首先给出协同CAD的系统模型,设计出支持同构以及异构协同的两种协作框架。接着分别阐述了客户端以及服务......
SoC(Systems-on-a-Chip)系统目前应用得越来越多。一个SoC系统可以包含不同的功能模块,例如数字电路、模拟电路、硬件专用电路、存......
市场的全球化带来了产品设计和生产管理的网络化要求;要求有一种支持协同设计的平台技术,支持不同专业背景的领域专家间的协同工作。......
本文研究具有非对称通信和带不等名算子的χ-演算,即非对称χ≠-演算。主要工作包括以下三个方面: 1.参照傅育熙教授关于χ≠-演......
计算机支持的协同设计(Computer Supported Cooperative Design, CSCD)已经成为网络环境下数字化设计与制造的关键技术之一,异构CA......
《形式语义学》是计算机软件与理论专业的研究生学位课,在研究生计算机教育中占有重要的地位。它是程序设计理论的组成部分,以数学......
rCOS是A Refinement Calculus for Object Systems(对象系统的精化演算)的简称。它以统一程序设计理论(Unifying Theories of Prog......
随着网络技术的飞速发展,人们迫切需要实现松散耦合的、语言独立的、跨平台的异构应用集成与交互机制。Web服务作为一种快速发展的......
探讨基于形式化技术的测试执行方法是开展形式化的协议一致性测试活动的关键环节.本文提出了一种形式化的基于测试描述语言TTCN的操作语......
为了形式化地推理和验证web服务编排规范WS-CDL所描述的web服务组合,提出了一个WS-CDL规范的类型化形式化模型——typed abstract ......
如何快速、直观地设计出线束工艺图纸一直是线束生产企业需要重点解决的难题。利用通用CAD系统进行线束设计缺乏特定领域所具有的......
在开放异构的环境下,实现自治主体间可信的业务协同系统仍是一个困难的问题.电子机构为分析该类问题提供了一种较好的概念框架,但......
智能文档容纳了格式信息、数据内容和操作行为,在传统的静态文档之外增加了动态的处理能力。本文在研究智能文档主要实现方法的基......
本文主要介绍了一种多Agent在买卖协商对话过程中的对话协议,构造了模拟现实市场中的买卖各方的多Agent模型,并制定了各Agent的对......
本文通过组合状态转换Monad和异常处理Monad来定义纯函数式语言文件系统操作,给出了文件系统操作的操作语义.......
传统关系模型要求处理的数据库是一致的,它没有提供不一致数据的检测、表示和操纵支持。该文讨论了多个自主关系库集成时的数据不一......
随着Web服务技术和面向服务的体系结构(SOA)的发展,运行时互操作已经不再是一个难题。但是,这就要求软件开发必须从使用本地丰富的内......
作为一种软件开发的成功技术,面向对象已经成为了计算机科学学术研究领域的一个热点课题。本文旨在对面向对象的类型和精化问题进行......
针对当前可信编译器对源语言处理能力的局限,提出了1个适于可信编译器的源语言转换与检查框架,将命令式源语言程序转换为可信编译......
本文简要介绍有序类代数的基本概念,研究有序类等式演绎,并且给出了有序类代数上进行基于规则的项重写的操作语义。......
安全进程代数可以作为信息流安全的基础理论框架.本文引入了一种基于CCS的安全进程代数,描述了它的语义及等价模型.......
本文采用形式语义研究方法,结合实例重点探讨了高级语言程序设计中局部变量在语句块中的作用域问题,从而帮助高级语言程序学习者从......
基于并行语言的操作语义,提出一组将语言构造模块转化为硬件电路的规则.利用这些规则,系统地将程序转化为由寄存器、锁存器及数据......
提出了一个Verilog的操作语义模型。选择了Verilog的一个子集作为研究对象,该子集包括了Verilog最重要的语言特征,如事件控制,时延,并......
用形式化的方法描述了硬件描述语言Verilog的语法和语义,建立了一个Verilog的操作语义模型.分别用二元组和四元组描述Verilog非并......
如何快速、直观地设计出线束工艺图纸一直是线束生产企业需要重点解决的难题。利用通用CAD系统进行线束设计缺乏特定领域所具有的......
<正> 4.含CUT的PROLOG语义 4.1 语言成份“cut”前面所讨论的PROLOG解释程序简单控制策略的问题之一是在子树中进行大量的回溯搜索......
PROLOG程序的语义通常是根据一阶逻辑的模型论给出的。但是,这并不足以刻划PROLOG程序的计算特性。PROLOG的实现主要采用了以程序......
Java虚拟机支持一种功能很强的动态加载类的机制,它具有惰性加载、类型安全连接、用户自定义加载策略、以及动态名字空间等特性.但......
针对嵌入式实时系统复杂动态交互行为和严格实时的领域特征,提出了一种软件需求规约语言RTRSM*.该语言以扩充的层次并发有穷状态机......
本文对基于类型理论逻辑框架(LF)的语义性质验证加以研究,针对函数式语言LAZY-PCF+SHAR,利用计算机辅助推理方法和技术给出相应的形式化......
操作语义模型是一种用来分析安全协议的新模型,它以操作语义学为基础,结合了多种协议分析模型的优点,能直接分析多个协议的组合问......
为UML顺序图构建形式化语义,不仅有利于精确描述软件系统的动态交互过程,而且有利于进行基于UML模型的分析和验证,是有效提高软件......