切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
移动智能体的形式化研究
移动智能体的形式化研究
来源 :国防科技大学学报 | 被引量 : 0次 | 上传用户:quantity22
【摘 要】
:
移动智能体是当前分布计算领域的研究热点之一,但是其理论研究还处于一个很不成熟的阶段。文中阐述了对移动智能体作形式化研究的必要性,介绍了当前的研究现状,分析了其中的不足
【作 者】
:
吴泉源
吴刚
王怀民
【机 构】
:
国防科技大学计算机学院
【出 处】
:
国防科技大学学报
【发表日期】
:
2000年6期
【关键词】
:
移动智能体
并发模型
进程代数
Π演算
形式化
计算机
分布式计算模式
mobile agent concurrent model process algebr
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
移动智能体是当前分布计算领域的研究热点之一,但是其理论研究还处于一个很不成熟的阶段。文中阐述了对移动智能体作形式化研究的必要性,介绍了当前的研究现状,分析了其中的不足,并进一步给出了对后续工作的展望。
其他文献
我国刑法中强迫劳动罪的不足及完善
我国《宪法》《劳动法》等法律均注重对劳动者劳动权利的保护,尤其是《刑法》规定的强迫劳动罪更加大了对劳动者合法权益的保障力度。但是,强迫劳动罪仍然存在第1款所列举的
期刊
劳动权
强迫劳动罪
协助强迫劳动罪
罪刑法定原则
罪刑相适应原则
labor rightscrime of forced labourthe crime of
血脂异常性急性胰腺炎患者血清C反应蛋白的水平及影响因素分析
目的:分析血脂异常性急性胰腺炎患者血清C反应蛋白(CRP)的水平及影响因素。方法:选取2018年1月至2019年11月期间新沂市人民医院收治的60例急性胰腺炎患者作为研究对象。根据
期刊
血脂异常性急性胰腺炎
胆源性急性胰腺炎
血清C反应蛋白水平
地产公司买壳热
房地产企业借壳忙,除了借壳上市的时间相比IPO可能较短外,更重要的原因还是中小开发商面临的融资渠道匮乏。
期刊
房地产企业
公司
借壳上市
融资渠道
IPO
开发商
新中国成立初期出版人才培养的变迁与专业逻辑
新中国成立初期的出版业人才培养从干部业务培训发展到高校专业教育。短期业务培训有效解决了发行干部匮乏难题,却难以完成编辑干部的培养升级。国家出版事业长期规划与高校
期刊
发行人才
编辑人才
国家出版事业发展规划
向科学进军
中国人民大学出版专业
永平铜矿全尾砂胶结充填材料性能与采场围岩稳定性研究
对于露天地下联合开采的矿山,露天与地下的开采会相互制约相互影响。地下开采爆破产生的震动冲击波及采动过程中产生的岩体移动甚至失稳现象不仅对地下采场造成影响,还会对露
学位
突变理论
能量
全尾砂
稳定性
声弹特性
基于数据驱动的漏磁检测管道故障诊断方法研究
随着管道运输在世界范围内蓬勃发展,管道安全检测作为保障管道安全运营的必要手段也得到了人们越来越多的关注。漏磁内检测作为管道无损检测的一种重要手段在管道安全领域起
学位
漏磁检测
图像处理
主元分析
小波去噪
信号插值
模糊支持向量机
有限元
有限元神经网络
奥迪A3抢占时尚高地
2010年8月奥迪A3即将登陆中国,从而开启了紧凑型轿车在中国新的篇章。一直以来奥迪在中国的形象都是沉稳、高贵、大气,但随着中国文化的不断丰富与多元化,消费者需求的不断提高,
期刊
奥迪品牌
时尚
消费者需求
中国文化
2010年
紧凑型轿车
多元化
中国人
野花组合的种植与园林应用
生态园林城市不仅需要多样性的树木,更需要姹紫嫣红的花卉,野花组合花色丰富,自然野趣可以营造多样化、层次化、色彩化的园林景观,为武汉打造新花城城市名片提供支撑。野花组
期刊
野花组合
种植技术
园林应用
中小学研学旅行课程评价初探
评价的背景课程评价的根本目的在于获得反馈信息,以帮助教师改进教学,促进学生发展,保证课程目标的实现。中小学生研学旅行(Study Travel)是由教育部门和学校有计划地组织安
期刊
研学旅行
中小学
促进学生发展
研究性学习
综合性特征
反馈信息
课程评价
校外教育活动
中国师专学报:特点·趋向·问题——五论师专学报
讨论我国师专学报的特点,分析趋向,探讨存在问题。
期刊
师专学报
特点
趋向
探讨
与本文相关的学术论文