论文部分内容阅读
针对Ambient演算的定义，提出了Ambient演算语法结构树的概念，并且给出一个基于Ambient语法结构树的Ambient演算的数据流分析方法及其实现。为深入研究Ambient演算的性质和应用提供了分析手段。
Ambient演算的数据流分析方法及其实现
【摘 要】
：
针对Ambient演算的定义，提出了Ambient演算语法结构树的概念，并且给出一个基于Ambient语法结构树的Ambient演算的数据流分析方法及其实现。为深入研究Ambient演算的性质和应用
【机 构】
：
吉林大学计算机科学与技术学院,吉林大学通信工程学院
【出 处】
：
计算机科学
【发表日期】
：
2006年8期
【基金项目】
：
吉林省科技厅项目（批准号：20050527）.
其他文献
经典粗集理论给出了不可识别、上近似、下近似、简式和核等概念，其核心思想是运用条件属性集导致的知识粒子来近似决策属性集导致的知识粒子，进而推导出规则。这些知识粒子的实
传统的基于谓词模式推理算法，需要把自然语言表示的知识，人工转换为机器可以理解的谓词，这就需要耗费大量的人力物力。本文提出一种基于自然语言的模式推理算法，可以基于自然语言
变精度粗糙集模型是对传统的（Pawlak）粗糙集模型的一个重要拓展，但变精度模型中需要设定人为参数不利于信息的客观体现。Eayesian粗糙集模型是基于变精度和概率论的思想最新提出
本文指出了现有时限责任分析技术中存在的缺陷,提出了一种基于Kailar逻辑的安全协议时限责任分析框架.通过该分析框架对一个具有时限性要求的安全电子投递协议进行分析,发现
本文在分析现有的基于网格和密度的聚类方法的基础上，借鉴密度函数的思想，提出了一种新的网格单元密度的计算方法。和其他基于网格的方法相比，此方法对于网格单元密度的计算具有