Ambient演算的框架设计

Ambient演算的框架设计

张晶¹, 张丽翠², 金成植¹

1. 吉林大学计算机科学与技术学院, 长春 130012; 2. 吉林大学通信工程学院, 长春 130012

收稿日期:2005-08-30 修回日期:1900-01-01 出版日期:2006-07-26 发布日期:2006-07-26
通讯作者: 张晶

A Framework Structure of Ambient Calculus

ZHANG Jing¹, ZHANG Licui², JIN Chengzhi¹

1. College of Computer Science and Technology, Jilin University, Changchun 130012, China; 2. College of Communication Engineering, Jilin University, Changchun 130012, China

Received:2005-08-30 Revised:1900-01-01 Online:2006-07-26 Published:2006-07-26
Contact: ZHANG Jing

摘要/Abstract

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

关键词: Ambient演算, 移动计算, 进程演算, 并发, 通信

Abstract: We gave a frame structure of Cardelli and Gordon’s Mobile Ambients, a process calculus for modelling mobile agents in widearea networks. We presented the concept,definition of Ambient calculus frame, proposed the construction method and transformation functions and developed a code running operating semantics based on the frame structure. The frame is in an attempt to provide languages support for asynchronou, distributed, and mobile programming.

Key words: Ambient calculus, mobile computation, process calculus, concurrency, communication

中图分类号:

TP314

张晶, 张丽翠, 金成植. Ambient演算的框架设计[J]. J4, 2006, 44(04): 583-588.

ZHANG Jing, ZHANG Licui, JIN Chengzhi. A Framework Structure of Ambient Calculus[J]. J4, 2006, 44(04): 583-588.

[1]	唐菁敏, 罗浩天, 虞贵财. 人工噪声辅助的无人机通感一体化安全波束成形[J]. 吉林大学学报(理学版), 2026, 64(4): 879-0886.
[2]	任彦龙, 魏楚元, 胡晓霞, 李欣. 考虑并行干扰抵消的通信网络终端敏感信息混沌加密[J]. 吉林大学学报(理学版), 2026, 64(3): 657-0664.
[3]	刘阿鹏, 王睿, 贾慧兰, 于锴, 尹祺巍, 程留永. 基于量子点-微腔耦合系统的光子超纠缠态并发度直接测量[J]. 吉林大学学报(理学版), 2025, 63(6): 1751-1759.
[4]	李洪亮, 张蒙, 王子琛, 李想. 面向数据并行深度学习的准确率感知稀疏梯度融合算法[J]. 吉林大学学报(理学版), 2025, 63(5): 1356-1365.
[5]	王志强, 陈力园, 代蛟. 基于WTGWO的无线传感器网络三维部署优化方法[J]. 吉林大学学报(理学版), 2024, 62(2): 410-0416.
[6]	赵泽玲, 冯海林, 齐小刚, 刘美丽. 通信网络告警数据特征分析[J]. 吉林大学学报(理学版), 2022, 60(5): 1167-1175.
[7]	朱豪, 彭艺, 张申, 李启骞. 高速铁路场景中基于MAB模型的多信道选择算法[J]. 吉林大学学报(理学版), 2021, 59(2): 365-371.
[8]	王宏志, 郭嫚嫚, 胡黄水, 武莎莎. 基于改进烟花算法的以太网通信链路调度方法[J]. 吉林大学学报(理学版), 2021, 59(2): 359-364.
[9]	吴佳楠, 温智皓, 贺曼利, 吴剑, 李念峰. 考虑环境影响的水下电场通信组网算法[J]. 吉林大学学报(理学版), 2021, 59(1): 115-122.
[10]	李蕾, 方明科. 基于证据理论加权融合的无线传感器网络路由算法[J]. 吉林大学学报(理学版), 2020, 58(5): 1223-1228.
[11]	朱豪, 彭艺, 张申, 李启骞. 基于改进遗传算法的自适应越区切换方案[J]. 吉林大学学报(理学版), 2020, 58(1): 133-139.
[12]	何宏骏, 崔岩, 孙观. 一个新非线性系统的动力学分析与混沌控制[J]. 吉林大学学报(理学版), 2019, 57(5): 1224-1230.
[13]	程子轩, 乔木. 物联网入侵的最优通信节点选取算法[J]. 吉林大学学报(理学版), 2019, 57(04): 903-909.
[14]	周忠华, 彭智朝. 基于频谱系数和比例公平算法的网络调度优化策略[J]. 吉林大学学报(理学版), 2018, 56(6): 1501-1507.
[15]	魏晓辉, 崔浩龙, 李洪亮, 白鑫. 支持大规模地震探测数据快速可视化的云端数据缓存技术[J]. 吉林大学学报(理学版), 2018, 56(5): 1147-1155.