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

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

Seal演算的信息流分析系统

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

Ambient演算的框架设计

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

Combinator演算族的π演算语义

以SKI演算作为Combinator演算族的代表, 通过形式化的手段给出了SKI演算的π演算语义; 通过一个实例验证了所论方法的正确性. 所给出的转换方法证明了π演算的表达能力： π演算为图灵完备的. 由于高阶函数式语言与Combinator演算族之间存在着自然的转换, 所给的转换思想不仅为在π演算的理论框架下 研究Combinator演算族提供了基础, 也为探讨高阶函数式语言的表示和实现问题提供了新途径.     

一新型移动进程模型—— χ-演算

提出一新型并发计算模型——χ－演算．它与π－演算的不同之处在于：具有统一的输入和输出，只有一类受限名，通讯的范围由局部化操作子界定，允许更大的并发度．着重研究χ－进程的代数性质     

用Spi演算描述并验证非对称双向鉴证协议

移动代理能够自主地在异构的网络间迁移,在代理迁移到下一个服务器之前,需要解决代理迁徙过程中的安全性问题,即如何进行代理与服务器之间的双向认证,提出的非对称双向鉴证协议能够较好地解决该安全问题,同时,用Spi演算对该协议进行了描述,并验证了该协议的安全性。     

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

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

消除有限容量演算中的强干扰

为了消除有限容量演算中的强干扰和控制资源的移动,改进了该演算的某些原语,提出了一种新的演算——安全有限容量演算。在新演算中,调整了2个能力,增加了3个能力（相当于动作）和2个余能力（余动作）,并改进相应的归约语义,给出了安全有限容量演算的类型系统。该类型系统控制灰箱的移动性和线程数,并保证在计算过程中灰箱所拥有的资源数被静态地保持在其资源数范围内。     

基于情景演算的物联网访问控制模型

为了适应物联网主客体间访问控制的需要,考虑权限动态分配、前置需求差异、访问约束与条件等情景因素,提出一种基于情景演算的物联网访问控制模型。首先,剖析物联网访问中的情景要素构成,从多视角定义了情景要素;其次,基于情景模型提出物联网访问控制模型SLBAC-IOT,支持情景状态演算、规则演算;最后,实际案例应用验证表明情景控制模型在物联网环境中的应用可行性;并归纳SLBAC-IOT的创新性。     

定性演算的扩充

在已有定性演算的类的划分上进行了扩充并定义了新的定性演算,而且进一步讨论了定性运算的性质.     

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

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

论等值翻译观

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

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

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

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

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

商标翻译的对等原则

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

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

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

广告语言翻译与功能对等

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

广告语言翻译与功能对等

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

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

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

从言语语言学看翻译的多相面对等

本文简要回顾了言语语言学,概述了言语语言学的范畴;并简要回顾和阐释了翻译对等;并详细地从言语语言学的范畴分析了翻译的多相面对等。