检索结果-维普期刊中文期刊服务平台

期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

共找到5篇文章

< 1 >

每页显示 20 50 100

已选择0条

导出题录引用分析

统计分析

显示方式：

文摘详细列表

相关度排序被引量排序时效性排序

基于控制流的Mobile Safe Ambients演算的静态分析策略: 1; 作者张红刘磊《吉林大学学报（理学版）》 CAS CSCD 北大核心 2008年第4期704-710,共7页; 在Mobile Safe Ambients演算进程的拓扑结构抽象表示基础上,通过识别可被激活的移动原语和通讯原语,计算系统运行的所有动态进程拓扑结构,并在文法规则中显示地标识约束名字和变量,使分析结果在α变换下保持不变.该策略可被应用于静态... 展开更多; 关键词 MOBILE SAFE ambients演算控制流分析静态分析; 下载PDF 职称材料

Seal演算与Boxed Ambient演算的关系分析被引量：2: 2; 作者郑晓娟金英金成植《吉林大学学报（信息科学版）》 CAS 2005年第4期423-428,共6页; 研究不同演算系统之间的逻辑结构和描述能力具有重要的理论意义。本文在系统分析Seal演算与BoxedAmbient演算的语法结构和语义规约系统的基础上给出了一些等价关系:通信等价、通信原语等价和代码移动等价。最后给出了Seal演算通信进程到... 展开更多; 关键词 SEAL演算 ambient演算通道移动代码; 下载PDF 职称材料

Ambient演算的数据流分析方法及其实现: 3; 作者张晶张丽翠金成植《计算机科学》 CSCD 北大核心 2006年第8期247-248,255,共3页; 针对Ambient演算的定义,提出了Ambient演算语法结构树的概念,并且给出一个基于Ambient语法结构树的Ambient演算的数据流分析方法及其实现。为深入研究Ambient演算的性质和应用提供了分析手段。; 关键词 ambient演算数据流分析 ambient语法结构树; 下载PDF 职称材料

Agent联盟通信机制的动态构造及其Ambient演算验证分析被引量：1: 4; 作者蒋嶷川钟亦平张世永《模式识别与人工智能》 EI CSCD 北大核心 2005年第3期291-296,共6页; 为了提高多Agent系统中的通信效率,Agent在通信过程中可以形成若干个联盟,在每个联盟内设置一块黑板,Agent之间的通信通过黑板进行。本文针对当前Agent运行的网络拓扑结构经常变化的情况,提出了Agent联盟通信机制的动态构造模型。当网... 展开更多; 关键词多AGENT 联盟通信机制动态网络拓扑 ambient演算; 原文传递

基于时间Ambient演算的业务流程模型验证: 5; 作者李津李勇高春鸣《计算机工程与设计》 CSCD 北大核心 2008年第3期554-559,共6页; Mobile Ambient演算是一种描述进程和设备移动的形式化方法,但其移动进程的实时性目前尚未有合适的形式化表达。通过对Mobile Ambient演算进行实时扩充,提出了一种离散时间域的时间Mobile Ambient演算(DTMA),并为DTMA演算定义了模态逻... 展开更多; 关键词离散时间ambient演算移动进程模态逻辑模型验证业务流程执行语言; 下载PDF 职称材料

已选择0条

导出题录引用分析

统计分析

上一页 1 下一页到第页

使用帮助返回顶部