Seal演算与Boxed Ambient演算的关系分析

研究不同演算系统之间的逻辑结构和描述能力具有重要的理论意义.本文在系统分析Seal演算与BoxedAmbient演算的语法结构和语义规约系统的基础上给出了一些等价关系:通信等价、通信原语等价和代码移动等价.最后给出了Seal演算通信进程到Boxed Ambient演算通信进程的一种结构化转换方法.     

Seal演算的信息流分析系统

为完善Seal演算的自身性质及形式化证明移动代码的安全性,提出了一个信息流分析系统,该系统经过seal进程的静态分析,检查出一些比较重要的语义错误,通过发送和接收的同步来实现通信和代码移动,具体分为同层、父到子、子到父3种模式。重点分析了父子之间的代码移动及类型相容。该系统为Seal演算的自身性质的完善及移动代码的安全性判断提供了理论依据。     

Ambient演算的框架设计

给出Ambient演算的一种内部表示, 称为Ambient框架, 并给出了Ambient框架的构造方法和具体转换函数, 以及基于Ambient框架的执行操作语义. 该框架为异步、 分布和移动代码提供了语言支持.     

Email系统特征交互问题的π-演算检测

采用π-演算给出基于客户端-服务器模式的Email系统,以及系统中特征的行为描述;然后,利用μ-演算描述和分析Email系统中存在的特征交互问题.最后,利用移动工作台软件工具,验证基于π-演算描述的移动并发系统.     

一种扩展式动态环境演算范型的Petri网描述

为了以可视化的方式验证扩展式动态环境演算范型对移动协同中移动性和协作性的描述能力及描述语义的正确性,提出了一种扩展式动态环境演算范型的Petri网描述(PND).首先,给出基本演算实体的Petri网表示,用Petri网的顺序行为理论和并发行为理论中的变迁来表达任意动作,用库所来表达任意动作前后的各种环境状态及其变量.其次,给出演算实体的各操作语义关系的Petri网表示,并引入弧权重来刻画动作与其前后相关的环境、状态的相互作用关系.最后,引入了Petri网的合成理论,用简单Petri网合成法来构造动态复杂环境的模型.采用染色Petri网工具进行仿真,结果表明PND具有正确的描述语义,从而进一步为扩展式动态环境演算范型的有效性提供了有力的论证.     

基于时序可中断π演算的BPEL和BPEL4People建模

为了形式化地定义BPEL和BPEL4People的语义,提出了一个π演算的变种——πit演算。相对于传统的π演算,πit演算可以描述中断事件和时间事件,从而拥有更好的建模表达能力。介绍了πit演算的语法和语义,定义了一类强互模拟关系来判定πit演算进程间的行为等价,然后使用πit演算对BPEL和BPEL4People的活动进行了建模。该形式化模型有助于在BPEL和BPEL4People程序的设计阶段对其可靠性和一致性进行验证。     

扩展π演算对时间相关移动并发系统的建模与推演

针对π演算难于对时间相关移动并发系统进行建模和推演,提出了一种采用扩展π演算p-π对时间相关移动并发系统进行形式化建模与推演的方法。该方法首先采用区间动作前缀和瞬时动作前缀分别描述系统的时间相关行为和交互行为,并通过操作算子将子进程进行复合,然后利用操作规则构造出系统的时间相关标记迁移系统和可接受的执行路径,最后基于上述迁移系统和执行路径完成对系统性质的推演。对移动车辆控制系统的分析表明,所提方法可对时间相关移动并发系统进行有效建模和推演,保证时间相关移动并发系统的可靠性。     

基于多元Pi-演算的Web服务组合描述与验证

验证问题是Web服务发展中亟待解决的关键问题之一,类型系统的加入以及Web服务动态的体系结构给问题的解决增添了很多难度。针对上述问题,在多元Pi-演算的基础上给出Web服务的描述模型和子类型关系定义,并对Web服务的相客性进行细化,给出Web服务可替换性定义;基于这些模型和定义,给出Web服务构造时类型正确性的判定规则和运行时可替换性的判定方法;最后用1个例子说明上述规则和方法的可行性结果表明上述模型、定义和方法为解决动态的、类型化的Web服务验证问题提供了理论依据和基础。     

关于动态线性模型设计的进一步研究

进一步对动态线性模型（ＤＬＭ） 的可观测性和等价性进行了讨论,给出了几类可观测模型等价性的证明。     

对凸函数定义之间等价性的进一步研究

在已有凸函数文献的基础上,讨论了凸函数的13种不同定义,并对各种定义形式之间的等价性进行了完整的分析和证明,对凸函数理论及已有文献中的相应结论进行了进一步的改进.     

度量等价与一致等价的判别

如果同一集合X上的2个度量ρ与ρ′诱导出X上的同一拓扑,那么称ρ与ρ′是等价的.对2个度量等价和一致等价的判别问题进行了讨论,并给出若干应用的例子.     

论等值翻译观

翻译等值是翻译研究的一个重要成果也是翻译理论的核心议题。本文拟从等值定义本身的模糊性、对等翻译的相对性等方面说明等值翻译论的局限性及其不足。     

代数的等价

对用多项式集刻划的代数的等价作了讨论，对同构，子代数，商代数和积代数的等价问题分别给出了结果，还对代数的等价的定义作了推广，并作为应用而对群的等价作了讨论。     

等价关系在网格技术中的应用理论研究

等价关系是一种特殊的二元关系,体现了关系的自反、对称和传递的性质,在计算机科学中有重要的应用。网格技术是近年来兴起的一种前沿信息技术,是一种信息社会的网络基础设施,它将互联网上的所有资源互通,更好地实现网络资源共享。网格服务是网格环境中资源的抽象和封装,它遵守网格服务规范,依据服务描述动态创建的Web Service。本文基于等价关系的理论,提出了等价网格服务关系的概念以及资源的划分问题,为服务匹配、服务组合和服务协同的研究提供了理论的支持。     

语法的强等价和弱等价以及相关的句子计数、句法结构数和结构歧义的若干定理

讨论等价、弱等价、强等价等几个概念以及这几个概念在语言学史与各个学派上由模糊不清而提炼成较为清晰的形式,探讨一些与这几个概念有关的句子（词）结构的问题,并且得出了几个有关句子（词）结构的有意义的定理。     

商标翻译的对等原则

模拟奈达的“功能对等”理论，结合商标的文体与功能的特点，探讨了商标翻译中的“对等”原则。     

Hilbert空间子空间的代数酉等价

本文引入了代数酉等价的概念,并给出一些Hilbern空间子空间代数酉等价的条件。     

广告语言翻译与功能对等

作为一种文体,广告有着自身语言的特点和经济功能。翻译广告时,应以功能对等原则为指导,采用直译、语义对等和文化对等等方法,再现源语广告的特点和功能,促成消费者的消费行为。     

广告语言翻译与功能对等

作为一种文体，广告有着自身语言的特点和经济功能。翻译广告时，应以功能对等原则为指导，采用直译、语义对等和文化对等等方法，再现源语广告的特点和功能，促成消费者的消费行为。     

基于等价关系的关联规则的挖掘

由于在实际的数据挖掘过程中容易出现无用的频集和冗余的规则，所以降低频集和规则的冗余度可大大提高挖掘的质量，这也是数据挖掘中一直被关注的问题，提出了一个用等价类生成关联规则的方法，算法主要在频集的基础上建立项集的等价关系，进而对项集划分等价类，同时将得到的关联规则划分为精确关联规则和近似关联规则两个集合，通过等价类，不但可以很容易地生成所需要的关系规则，同时可以方便地判断数据之间依赖关系的强弱，同时，项集的等价关系在实际应用中也很有利用价值，算法最后的规则结果集剔除了由来自同一等价类中的面集的重复出现构成的冗余规则，从而得到了较小的关联规则集合。