位置：成果数据库 > 期刊 > 期刊详情页
移动Agent计算理论和形式化方法研究
  • 期刊名称：杨博, 黄晶, 刘大有. 移动Agent计算理论和形式化方法研究. 计算机研究与发展, 2006,
  • 时间：0
  • 分类：TP311[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
  • 作者机构：吉林大学计算机科学与技术学院,长春,130012, 吉林大学符号计算与知识工程国家教育部重点实验室,长春,130012 吉林大学计算机科学与技术学院,长春,130012, 吉林大学符号计算与知识工程国家教育部重点实验室,长春,130012 吉林大学计算机科学与技术学院,长春,130012, 吉林大学符号计算与知识工程国家教育部重点实验室,长春,130012
  • 相关基金：国家自然科学基金项目(60503016,60496321)
  • 相关项目：非规范知识的数学理论
关键词： 移动AGENT, π-演算, 环境演算, 进程代数
中文摘要：

研究了移动Agent计算的基础理论和形式化方法,包括π-演算、多态π演算、高阶π演算和环境演算等4种进程代数理论,分析了它们如何对Agent、位置、移动、通信、安全、命名、资源控制和动态配置等移动Agent计算的基本概念进行刻画,并比较了它们刻画移动Agent计算的优缺点,在此基础上提出了移动概念的分类与抽象.

同期刊论文项目
基于移动Agent的分布式优化问题求解
期刊论文 41 会议论文 12 著作 1
非规范知识的数学理论
期刊论文 164 会议论文 64 获奖 8 著作 1
同项目期刊论文
基于两阶段计数的用户关联挖掘
基于混合方式的贝叶斯网弧定向算法
基于MBR的拓扑、方位、尺寸结合的定性空间推理
一种基于特征重要度的文本分类特征加权方法
使用SAT求解器产生所有极小冲突部件集
混合语义约简和选择估值优化SPARQL
Greedy online frequency allocation in cellular networks
电子细胞Analog-Cell的并发机制
空间聚类在精准农业中的应用
部分可观察强规划中约减观察变量的研究
复杂网络聚类方法
基于图的分解与合并的静态事务调度算法
顶点覆盖变体问题的确定参数可解算法研究
一类弱支配集问题的近似算法
基于Hamming范数的XML流相关性估测算法
Progress in Computational Complexity Theory
An Improved Algorithm for Finding the Closest Pair of Points
Approximating the minimum weight weak vertex cover
A 1-Local Asymptotic 13/9- Competitive Algorithm for Multicoloring Hexagonal Graphs
Arbitrage opportunities across sponsored search markets
Design of a CIL Connector to SPIN
Tree Process Calculus.
Enumerating proofs of positive formulae
Weakly distributive domains(II)
On an open problem of Amadio and Curien: The finite antichain condition
Unconditional competitive auctions with copy and budget constraints
Proof search and counter model of positive minimal predicate logic
内点带权值的最小生成树算法
二人博弈问题中单一纳什均衡的搜索算法
基于后验概率的Markov逻辑网参数学习方法研究
结合似然关系模型和用户等级的协同过滤推荐算法
基于中间件的Web智能系统集成开发平台研究
动态系统基于模型诊断的研究进展与展望.
Analog-Cell: 一种新的电子细胞图形模型
Finding a Simple Nash Equilibrium
具有动态加权特性的关联规则算法
Analysis and Optimization for Mobile Agent Communication
A New Spatial Algebra for Road Network Moving Objects
一种高维空间数据的子空间聚类算法
一种不确定区域间的方向关系模型
定性方向关系模型研究进展
模糊栅格区域的层次拓扑关系模型
基于区间值模糊集的模糊区域拓扑关系模型
Force-based Incremental Algorithm for Mining Community Structure in Dynamic Network
Research of Logistics Transport Costs Computing in Automobile Industry.
A Novel Method of Model-based Diagnosis by Propagating Failure Value
Analog-Cell：一种新的电子细胞图形模型
A hierarchy of behavioral equivalences in the pi-calculus with noisy channels
含序信息的粗集方法研究
基于遗传与粒子群算法的Markov逻辑网学习研究
RSILP模型若干问题的研究
一种半监督K均值多关系数据聚类算法
一种特征加权的聚类算法框架
Preprocessing of Spatial Query in Distributed GIS
Logic of Integrating Metric Space and Time
基于模型检测的实时模型诊断方法
一种结合SE-tree计算所有极小碰集的方法
n取m不经意传输协议构造研究
关于吹雪机问题的改进近似算法
改进的二分法查找
图的支配集若干问题的研究
Oblivious Computation Proxy
带测度函数的连通支配集问题
计算复杂性理论部分进展简述
P2P结构与搜索机制研究
重复囚徒困境的学习和响应模型
Generalized Region Connection Calculus
Linguistic quantifiers modeled by Sugeno integrals
A theory of computation based on quantum logic
Catalyst-assisted Probabilistic Entanglement Transformation
Observability and decentralized control of fuzzy discrete event systems
Retraction and generalized extension of computing with words
Supervisory control of fuzzy discrete event systems
State-based control of fuzzy discrete event systems
A complete classification of topologic al relations using the 9-intersection method
On topological consistency and realization
混合系统基于模型诊断建模问题研究
基于分层任务网络的一致性规划方法
基于模型诊断中产生所有极小冲突集的新方法
一种基于ATMS的求解所有极小冲突集的新方法
A Method of Combing SE-tree to Compute all Minimal Hitting Sets
可用于诊断产生的计算碰集的新方法
On countable RCC models
On minimal models of the Region Connection Calculus
An algebra for moving objects
基于用户等级的协同过滤推荐算法
基于数据立方体的属性核计算方法
基于免疫进化算法的Bayesian网结构学习算法
CORS方法与规则生成算法GRs
The Existence of Quantum Entanglement Catalysts
Qualitative Spatial Representation and Reasoning: A Hierarchical Approach
种移动Agent 通信中本体信息调整方法
基于J2EE的交互式工作流管理系统
基于粗集理论的C3I信息融合性能评估方法研究
统计关系学习研究进展
一种基于移动代理的自主拍卖模型
多Agent协商研究
一种基于实例状态的工作流系统监控方法
传名调用演算的二值传递CPS变换
自组织分治求解分布式约束优化问题
一种基于模板的子句学习算法
Some Issues in Quantum Information Theory
结合度量空间和时间的逻辑
基于粒子群优化算法的Bayesian网络结构学习
面向不完备信息系统的粗糙集方法研究
数字农业时空信息管理平台
统计关系学习模型Markov逻辑网综述
结合拓扑和方位的定性空间推理方法
空间数据挖掘技术的研究现状与发展趋势
一种基于褶集的模糊区域可视化模型
基于协同产品数据管理理念的零部件子系统的设计
基于混合方式的贝叶斯网弧定向算法
简单凹形区域间空间关系的一种表示及推理模型
Community Mining from Signed Social Networks
Discovering Global Network Communities Based on Local Centralities
一种Agent 通信中逻辑意外信息转换方法
复杂网络聚类方法
Development of a multiobjective GA for advanced planning and scheduling problem.
A Heuristic Clustering Algorithm for Mining Communities in Signed Networks
一种分布式过程模型及实例的优化方法
基于免疫和进化扩散算法的全局优化问题求解算法
Force-based Incremental Algorithm for Mining Community Structure in Dynamic Network
基于双边协商的一对多协商协议
统计关系学习研究进展
自适应多分类器集成学习算法
一种基于本体的问题求解学生模型
一种基于移动代理的自主拍卖模型
多Agent协商研究
一种基于实例状态的工作流系统监控方法
自组织分治求解分布式约束优化问题
空间数据挖掘技术的研究现状与发展趋势
时空推理中自动生成复合表的通用算法
一种基于多Agent系统的饲料配方优化算法
一种基于多Agent系统的饲料配方优化算法
RCC5与主方位关系结合的定性空间推理
一种Agent通信中逻辑意外信息转换方法
一种Agent通信中逻辑意外信息转换方法
反期望模式的发现及其应用
一种预测商品销量及库存的新方法
基于信息熵的度量类间桥方法
一种新的汽车乘员分类视觉检测算法
工作流系统中一个基于多权角色和规则的条件化RBAC安全访问控制模型
聚类算法研究
中文网页语义标注：由句子到RDF表示
顶点覆盖问题线性内核算法
一种基于图形处理器的频繁模式挖掘算法
一种基于图形处理器的压缩单纯形方法
工作流挖掘中的隐含问题研究
基于数据仓库的工作流日志更新
使用控制模型的可变性分析
基于改进蚁群算法的Ad hoc路由算法
使用控制授权模型的安全性研究
基于任务和角色访问控制模型分析与研究
基于任务和角色访问控制模型分析与研究
基于VisualFoxpro软件设计中技术技巧的研究与实践
基于语义的主题爬行策略