时态逻辑相关论文
<正> 金岳霖学术基金会日前在武汉举行首次金岳霖学术奖颁奖大会。这是我国逻辑学界举行的首次颁奖活动。中国留美学生、匹兹堡大......
<正> 诸葛殷同在《再议辩证逻辑》中说:“弗雷格以后逻辑彻底与哲学分了家,成为一门完全独立于哲学的科学.这促进了逻辑的飞跃发展......
<正> 中国逻辑与语言研究会于1989年10月20日至23日在北京怀柔召开了建会10周年学术讨论会。到会110人。除会员外,还包括应邀参加......
<正> 金岳霖学术基金会今年8、9月举办了1990年“金岳霖学术奖”逻辑学科奖的评选活动。评选范围是1984年10月至1990年6月正式发表......
<正> 现代逻辑学是一门多分支和多方面的学科.哲学家、数学家和计算技术专家都在积极地研究它.这是因为逻辑学被广泛地利用来既解......
在这篇论文中,我们讨论若干stit逻辑的判定问题。这些逻辑的语言中除了stit算子,还包括时态算子、历史必然算子与知识算子等。本文......
时态逻辑有三种常见的研究方法:模态逻辑方法,时间变量方法和具体化逻辑方法。模态逻辑方法和一阶逻辑方法有着较为完整的理论基础,......
语义的表示与解释是自然语言理解研究中的一个核心问题,内涵逻辑和时态逻辑是目前广泛使用的形式化语义描述语言.本文借鉴Cresswel......
将时态概念应用于面向对象数据库模型,建立一种面向对象的时态数据库模型。定义了表示数据模型的谓词公式,并通过构造一历史状态链实......
本文将三个时态算子(□,◇和○)运用到计算Rough集的上,下近似计算,尝试了一种新的研究Rough集理论的时态逻辑方法,并机器学习为例......
模型检测是针对有限状态系统行为的逻辑性质的一种自动验证技术,简洁明了和自动化程度高,在生产实践中得到了广泛的应用,其主要缺......
研究铁路系统的自动验证技术。建立火车和控制器的混合自动机模型,用时态逻辑ICTL描述铁路系统的性质规范,使用模型检查技术自动验证铁路......
基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑(Global Tempo......
本文介绍由塔斯基的立体几何导出的球态语义学,并将其应用于自然语言中的动词体现象。球态语义学特别适合应用于英语的进行体。这......
该文利用模型验证(Model-Checking)方法的强大运算能力,这篇文章给出一个新的制造系统的结构化控制器,该控制器利用符合模型验证(S......
作为宇宙间所有事物具有的一种属性,时间一直贯穿着事物的发展过程。人们不仅仅关注数据和信息本身,同时也考虑事务处理的时序、有效......
本文在Pandya提出的CTL*[DC]逻辑[1]的基础上,对其语法和语义进行扩展,在描述向前状态序列的性质前面引入量词,并对路径长度进行限制,......
当前,软硬件系统的正确性验证问题已经成为工业界和学术界共同关注的一个大问题。模型检测作为一项对有限状态系统的性质进行自动验......
XML以其强大的功能,在计算机领域得到了广泛的应用,已经成为信息描述和交换的一种标准技术。XQuery被设计用来查询XML数据,树模式......
学位
该文的研究,其创新点可以概括为:1、在研究入侵特征的分析和提取的基础上,研究出一种性能良好的入侵特征形式化描述语言ISITL,并对......
计算机应用已经渗透到了社会生活的各个方面,利用计算机对信息进行收集、加工、存储、分析以及交换等各种处理,越来越成为必不可少的......
目前,工作流技术是发展最快的技术研究领域之一。工作流系统是业务流程管理的重要基础,通过企业经营过程模型的建立、部署和实施,......
随着集成电路设计复杂度的与日俱增,而芯片的更新换代速度也在不断加快,使得集成电路芯片的验证越来越困难。传统的芯片验证主要是基......
工作流管理系统完成工作流的定义和管理,并按照在计算机中预先定义好的工作流逻辑推进工作流实例的执行。工作流过程建模是给业务过......
Petri网是一种既有直观的图形表示方式,又有严格数学理论基础和多种分析方法的建模工具。使用Petri网的分析方法可以刻画系统的结构......
学位
工作流管理技术将过程逻辑从应用系统中分离出来,达到了对过程建模、重组和重用的目的。目前的工作流建模方法在柔性和适应性上存在......
随着计算机技术和网络技术的发展,移动计算与实时计算已经成为计算机科学领域的两个研究热点,受到越来越多的关注。不同领域的学者对......
迁移工作流是将移动Agent技术引入传统的工作流管理系统而得到的一种新的计算模式,是近年来工作流管理研究的一个新方向,具有很好......
系统复杂性继续按照摩尔定律增加,而功能复杂性的增加速度则更加迅猛。为解决复杂性增加的问题,EDA行业提出了通过自动化来实现设......
UML是一个通用的可视化的对象建模语言,经过了近十多年的发展和完善,在软件工业中已成为占支配地位的建模语言。UML在对系统进行建模......
社会网络分析不仅是重要的社会学理论,更是当前相关领域的研究热点。社会网络的结构平衡性是其重要性质。用于分析与研究社会平衡......
关于“现在”的时态逻辑的技术分析最早来源于Hans Kamp,他在发给Ar thur Prior的笔记中阐述了用二维语义解释“现在”算子,开辟了......
梅勒的时间观是基于两种分类方式而产生的:A时代和B时代,前者是相对的、以“现在”为参照,后者是绝对的、不以任何事物为参照。A时......
本文研究了在时态逻辑框架下自动化仓库分拣系统的工作过程。首先给出了离散事件过程的时态公式模型(TFM),并讨论了在该模型下的性质分析......
针对目前绝大多数形式化描述技术在处理协议的活性等方面存在的不足,提出一种新的基于公平性假设的时态逻辑技术描述协议,并给出AB协议......
阜阳市局 £4a 局长——_MINtkMMtgj’#lnH$B——q.M——D收束志不他只邀狲位J则【科校为先导推动地租工作.B为广为戳民U用凶盼引眯B.......
形式化方法是计算机系统设计验证的一条有效途径。形式验证(formal verification)作为传统基于模拟的验证方法的补充,成为VLSI(Very......
提出一种新的时态逻辑——一阶间隔时态逻辑(FOITL),它是扩充了间隔时间算子的一阶时态逻辑。它能精确地描述数字电路的时间特性,支持连续和......
通过对时态逻辑的研究来探讨时态逻辑在硬件设计形式化验证上的应用 ,同时对布尔函数在计算机内的表示二叉判定图 (BDD)进行了进一......
按照德国语言学家施来赫尔(August Schleicher)的语言形态分类法,英语属于aA~x+A’一分析结构,即内部屈折与外部屈折+辅助动词的......
本文简单介绍了命题逻辑,一阶谓词逻辑,二阶逻辑,模态逻辑,时序逻辑,动态逻辑,模糊逻辑,非单调逻辑,组合逻辑及λ-演算等,讨论了它......
量化时态逻辑是在一阶逻辑的基础上,加上量化时态逻辑算子构成。支持离散和连续的时间结构,能精确表达数字电路中的时间信息并能对时......
基于模型和基于逻辑的方法是并发系统形式化描述的两类重要方法,其典型代表分别是转换系统和时态逻辑,该文首先阐述并剖析这两种方法......
首先对离散事件动态系统采用的时态逻辑及有关框架进行介绍,然后概述了该理论在控制综合与性质正确性验证方面的主要研究成果,最后指......