高阶进程演算的互模拟理论和公理化的研究 

高阶进程演算,因为其很强的抽象能力和理论上的重要性,在进程演算领域一直得到广泛的关注,并成为描述和分析具有动态变换特性的内部连接结构的移动系统的有效数学工具。在本文中,我们对高阶进程演算就如下几方面进行了研究。 ·带有mismatch的高阶π演算:互模拟理论;带有mismatch的高阶π演算的线性片段...
上海交通大学  博士论文  2008年 下载次数(342)| 被引次数(4)

灰箱演算的操作语义及表达能力研究 

灰箱进程演算作为描述和分析移动计算系统的有效工具,因为其很强的抽象能力及其在理论和应用上的重要性,在进程演算领域一直得到广泛的关注。一方面,根据应用或理论研究的需要不断有新的灰箱演算类型被提出,随之而来的是在一些具体模型中出现了一些公开问题;而另一方面,人们开始关注灰箱演算变体之间,以及其它类型的进程演算同...
上海交通大学  博士论文  2009年 下载次数(167)| 被引次数(1)

Interactive Activity Learning from Trajectories with Qualitative Spatio-Temporal Relation 

Automatically analyzing interactions from video has gained much attention in recent years. Here a novel method has been proposed for analyzing interactions betw...
《Chinese Journal of Electronics》  2015年 第03期 下载次数(20)| 被引次数(1)

CCS的基本问题研究 

CCS(A Calculus of Communicating System)是由R.Milner在1980年提出的用以描述并发交互系统的抽象计算模型。现代最著名的并发计算模型,包括传值演算、传名演算和高阶演算等都可以视为CCS的扩展。区别于传统计算模型如λ-演算和Turing机,CCS将通信(或同步)作为基本概念,又...
上海交通大学  博士论文  2011年 下载次数(294)| 被引次数(6)

传名演算变体的互模拟理论,表达能力和证明系统研究 

移动系统无处不在。传名演算,通常称为π演算,是由Milner、Parrow和Walker为了刻画移动系统提出的并发移动模型。π演算不仅是移动系统的基础模型之一,更是描述、分析系统和验证系统正确性的有效数学工具。为了研究π演算的理论性质和应用价值,π演算变体的研究一度成为研究的热点。多类π演算变体应运而生,其研究结果也已...
上海交通大学  博士论文  2013年 下载次数(134)| 被引次数(1)

A Logical Characterization for Linear Higher-Order Processes 

Modal logic characterization in a higher-order setting is usually not a trivial task because higher-order process-passing is quite different from first-order na...
《Journal of Shanghai Jiaotong University(Science)》  2015年 第02期 下载次数(12)| 被引次数(0)

基于π演算的编程与表达能力研究 

π演算是由Milner、Parrow和Walker基于CCS演算提出的能够描述并发计算的模型。它是目前最重要的进程演算,因此其它模型与它之间的表达能力比较有着重要意义:对于一些顺序计算模型,如果能找到它们在π演算中的编码,那么我们可以从并发的角度来研究顺序计算;对于一些看似比π演算能描述更多现象的计算模型,...
上海交通大学  博士论文  2009年 下载次数(370)| 被引次数(2)

γ演算到Action演算的转换 

Action演算簇(action calculi)作为描述不同并发交互行为的数学框架,可以表示一大类具有某些相同特性的并发形式化模型.试图把g演算(一种基于约束的高阶并发计算模)也包含在action演算簇的框架下.首先定义了一个具体的action演算AC(Kg),然后给出了从g演算到AC(Kg)转换的形式描述,最后在定...
《软件学报》  2003年 第01期 下载次数(64)| 被引次数(3)

一种基于分布式资源域理论的形式化语言(英文) 

介绍了一种带有 Agent移动的分布计算形式化语言——资源域语言 .与分布移动计算中的同类工作相比较 ,它没有采用基于 π-演算进行扩充的方法 ,而是以一种带资源的类 λ-演算为核心发展而来 .这使得它可以直接支持内存单元式的资源 ,而不是间接地通过进程 /通道来模拟 .进一步地 ,资源域语言还对“位置”的概念进行了特...
《软件学报》  2001年 第04期 下载次数(78)| 被引次数(1)

带Mismatch算子的高阶π演算 

主要研究带mismatch的高阶进程演算的公理化问题.首先,建立存在mismatch时高阶进程的开弱高阶互模拟理论,证明了等价关系、同余性等重要性质;其次,沿用线性的方法,构建得到带mismatch的有限进程上的公理系统;最后,基于对开弱高阶互模拟的刻画,证明了该公理系统的完备性定理.该工作为带mismatch的高阶进...
《软件学报》  2014年 第11期 下载次数(62)| 被引次数(0)

面向逻辑标记转换系统的进程演算CLL_R的研究 

为了形式化规范、验证和分析反应式并发系统,学术界提出并发展了多种形式化规范方法。这些方法大体上可分为两类:基于动作的和基于状态的。基于动作的规范方法以进程代数(演算)最具代表性;基于状态的方法通常以模态逻辑或μ-演算描述系统规范。这两类方法基于不同的观点,对形式规范和验证进行了深入而广泛的研究,具有互补的优点:前者支持...
南京航空航天大学  博士论文  2015年 下载次数(46)| 被引次数(2)

Mobile Ambients行为理论的研究 

移动计算在人们的日常生活中扮演着日益重要的角色,Mobile Ambients是一种重要的刻画移动计算的进程演算系统。进程演算是描述并发系统的重要模型之一。进程演算的一个核心问题是行为理论的研究,而如何构建Mobile Ambients的有效行为理论一直是一个公开问题。2005年,M.Merro和F.Zapp...
南京航空航天大学  硕士论文  2008年 下载次数(71)| 被引次数(1)

命令式语言的高阶A ction演算表示 

Action演算簇 (action calculi)是一种抽象的数学结构 ,已经表明它可以表示 λ演算、进程代数、γ演算以及函数式语言等 .作为 Action演算簇的进一步应用 ,针对一个典型的顺序命令式语言 SIL,充分利用 Action演算的可扩充性 ,定义了一个具体的 Action演算 AC(KSIL) ,同时为...
《计算机研究与发展》  2002年 第10期 下载次数(27)| 被引次数(0)

Bigraph理论的研究与应用 

随着信息技术日益渗透到人们的日常生活、信息空间与物理空间的日趋融合,计算技术正在改变着我们的生存环境。与此同时,人们对信息科学的依赖达到了前所未有程度,对于信息科学及其数学基础的需求也变得越来越迫切。如何为诸如Internet、普适计算等大规模复杂系统提供一个计算模型,并且,该模型不但可以分析现存的软件系统而且能够指导...
武汉大学  博士论文  2011年 下载次数(112)| 被引次数(1)

传值进程与移动进程的模型检测方法 

并发理论研究并发现象,即多个独立运行的计算主体(进程)相互间通过交换信息(通信)实现协作,以共同完成预定的任务的计算现象。自六七十年代起各种并发理论相继提出并得到广泛研究,例如,Petri Net、进程代数、模态逻辑等。本文的工作主要集中于传值进程理论和移动界程理论上。 模型检测是一种针对并发...
中国科学院研究生院(软件研究所)  博士论文  2005年 下载次数(456)| 被引次数(6)

共找到相关记录328条12345678910下一页