时态逻辑相关论文
在这篇论文中,我们讨论若干stit逻辑的判定问题。这些逻辑的语言中除了stit算子,还包括时态算子、历史必然算子与知识算子等。本文......
该文利用模型验证(Model-Checking)方法的强大运算能力,这篇文章给出一个新的制造系统的结构化控制器,该控制器利用符合模型验证(S......
作为宇宙间所有事物具有的一种属性，时间一直贯穿着事物的发展过程。人们不仅仅关注数据和信息本身，同时也考虑事务处理的时序、有效......
Web服务技术给企业的应用程序集成带来了方便,但是分布的单个Web服务功能简单有限,因此有必要将它们进行组合。Web服务的这种组合......
XML以其强大的功能,在计算机领域得到了广泛的应用,已经成为信息描述和交换的一种标准技术。XQuery被设计用来查询XML数据,树模式......
学位
该文的研究,其创新点可以概括为:1、在研究入侵特征的分析和提取的基础上,研究出一种性能良好的入侵特征形式化描述语言ISITL,并对......
计算机应用已经渗透到了社会生活的各个方面，利用计算机对信息进行收集、加工、存储、分析以及交换等各种处理，越来越成为必不可少的......
目前,工作流技术是发展最快的技术研究领域之一。工作流系统是业务流程管理的重要基础,通过企业经营过程模型的建立、部署和实施,......
随着集成电路设计复杂度的与日俱增，而芯片的更新换代速度也在不断加快，使得集成电路芯片的验证越来越困难。传统的芯片验证主要是基......
工作流管理系统完成工作流的定义和管理，并按照在计算机中预先定义好的工作流逻辑推进工作流实例的执行。工作流过程建模是给业务过......
Petri网是一种既有直观的图形表示方式，又有严格数学理论基础和多种分析方法的建模工具。使用Petri网的分析方法可以刻画系统的结构......
学位
工作流管理技术将过程逻辑从应用系统中分离出来，达到了对过程建模、重组和重用的目的。目前的工作流建模方法在柔性和适应性上存在......
随着计算机技术和网络技术的发展，移动计算与实时计算已经成为计算机科学领域的两个研究热点，受到越来越多的关注。不同领域的学者对......
迁移工作流是将移动Agent技术引入传统的工作流管理系统而得到的一种新的计算模式,是近年来工作流管理研究的一个新方向,具有很好......
UML是一个通用的可视化的对象建模语言，经过了近十多年的发展和完善，在软件工业中已成为占支配地位的建模语言。UML在对系统进行建模......
社会网络分析不仅是重要的社会学理论,更是当前相关领域的研究热点。社会网络的结构平衡性是其重要性质。用于分析与研究社会平衡......
关于“现在”的时态逻辑的技术分析最早来源于Hans Kamp,他在发给Ar thur Prior的笔记中阐述了用二维语义解释“现在”算子,开辟了......
形式化方法是计算机系统设计验证的一条有效途径。形式验证(formal verification)作为传统基于模拟的验证方法的补充，成为VLSI(Very......
统一建模语言(Unified Modeling Language,UML)是一种易理解、易描述、直观的可视化建模语言,它提供多种模型元素从系统的各个角度......
自然语言的意义很大程度上依赖量化表达式，人工逻辑语言的表达式也不能缺少量词，人们在使用语言进行日常推理时，更是离不开量词。因此......
本文尝试先对个人叙事转变现象进行分析和搭建心理学模型，并在此基础上构造形式化语言和建立逻辑模型。个人叙事转变现象，是指在描述......
模型检验产生于20世纪80年代初，由美国的clarke和Emerson提出的。主要思想是：将要验证的系统抽象为有限状态机，用时态逻辑描述系统应......
在时态逻辑语言XYZ/E的基础上,建立一种以可视化图形表示的软件体系结构描述工具XYZ/ADL,它采用组件、连接件及交互端等基本设计单......
关于“现在”算子的技术分析始于坎普(H.Kamp)。他在研究“现在”算子的冗余性问题时,通过引入Jtense的概念,把真值联结词和时态算......
