期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
基于PI演算的软件人通信形式化与建模研究
被引量:
1
下载PDF
职称材料
导出
摘要
本文主要通过PI演算对软件人的通信中信息流和控制流进行形式化表述和建立模型,基于该通信模型,实现对软件人之间的协作、自律等行为以及软件人群体结构演化等方面抽象分析的目的。
作者
陈莹
机构地区
广西民族大学预科教育学院
出处
《科技资讯》
2008年第2期119-120,共2页
Science & Technology Information
关键词
软件人通信
PI演算
形式化
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
引文网络
相关文献
节点文献
二级参考文献
11
参考文献
3
共引文献
7
同被引文献
49
引证文献
1
二级引证文献
0
参考文献
3
1
马忠贵,叶斌,曾广平,涂序彦.
基于SOAP的软件人通信模型研究[J]
.计算机科学,2006,33(6):188-191.
被引量:6
2
王洪泊,曾广平,涂序彦.
“软件人”系统研究及其应用[J]
.智能系统学报,2006,1(1):24-28.
被引量:4
3
Milner R,Parrow J,Walker D J.A calculus of Mobile Process,PartⅠ. Re-port ECS-LFCS-89-85 . 1989
二级参考文献
11
1
盛秋戬,赵志崑,刘少辉,史忠植.
多主体团队交互协议[J]
.软件学报,2004,15(5):689-696.
被引量:15
2
孙志强,姚淑珍.
基于SOAP实现异种多Agent系统间互操作[J]
.计算机工程与设计,2004,25(11):1908-1911.
被引量:3
3
曾广平,涂序彦.
“软件人”的概念模型与构造特征[J]
.计算机科学,2005,32(5):135-136.
被引量:19
4
王洪泊,班晓娟,曾广平,尹怡欣,涂序彦.
网络环境下虚拟机器人——“SoftMan”系统平台总体设计[J]
.计算机科学,2005,32(8):152-154.
被引量:8
5
Agentcities Task Force. Recommendations: Overview [EB/OL].2002. http://www.agentcities.org/index.jsp
6
曾广平,涂序彦.“软件人”[A].见:中国人工智能进展[C].北京:北京邮电大学出版社,2003.677~682
7
Foundation for Intelligent Physical Agents. FIPA Agent Message Transport Service Specification [EB/OL]. 2000. http://www.fipa.org/specs/fipa00067/
8
Foundation for Intelligent Physical Agents. FIPA ACL Message Representation in XML Specification [EB/OL]. 2000. http://www. fipa. org/specs/fipa00071/ .
9
Foundation for Intelligent Physical Agents. FIPA Communicative Act Library Specification [EB/OL]. 2000. http://www.fipa.org/specs/fipa00071/
10
高波,费奇,陈学广.
Agent交互层次模型[J]
.计算机科学,2001,28(8):105-109.
被引量:11
共引文献
7
1
马忠贵,周贤伟,曾广平,涂序彦.
“软件人”社会的递阶协调模型研究[J]
.计算机科学,2007,34(12):189-192.
被引量:2
2
曹少中.
“软件人”研究现状及其在印刷业的应用展望[J]
.北京印刷学院学报,2008,16(2):47-50.
被引量:1
3
王洪泊,马忠贵,曾广平,涂序彦.
网络虚拟机器人--“软件人”安全策略与授权模型[J]
.计算机科学,2009,36(2):275-277.
被引量:1
4
安俊秀.
基于SOAP的分布式通信策略研究与实现[J]
.成都信息工程学院学报,2009,24(3):236-239.
5
韦国富,徐明阳,吴林印.
基于Web Service光传输监控系统的应用[J]
.广西通信技术,2014(1):36-38.
被引量:1
6
武丹凤,徐晓巍,王康.
情景驱动的“软件人”知识通信框架设计与实现[J]
.计算机应用,2015,35(1):131-135.
7
曾广平,张青川.
“软件人”理论及其应用技术的研究现状[J]
.系统科学与数学,2016,36(9):1457-1467.
同被引文献
49
1
马占飞,杨树英.
“免疫软件人”的概念及其迁移机制[J]
.阴山学刊(自然科学版),2009,23(4):22-25.
被引量:1
2
马占飞.
基于群体“软件人”的智能入侵防御协作模型[J]
.阴山学刊(自然科学版),2008,22(3):49-53.
被引量:1
3
张钹.
网络与复杂系统[J]
.科学中国人,2004(10):37-37.
被引量:9
4
曾广平,黄美华,涂序彦.
软件人(SoftMan)的接口构造研究[J]
.微计算机信息,2005,21(2):192-193.
被引量:8
5
高征,夏克俭,曾广平,涂序彦.
“软件人”结构化迁移机制的设计与实现[J]
.计算机应用研究,2005,22(9):31-33.
被引量:1
6
叶斌,马忠贵,曾广平,涂序彦.
软件人群协调模式的研究[J]
.计算机工程与设计,2005,26(8):1973-1974.
被引量:4
7
赵耀东,王成耀,曾广平,涂序彦.
软件人在迁移过程中的任务实现方式探讨[J]
.计算机应用研究,2006,23(1):49-51.
被引量:4
8
马忠贵,叶斌,曾广平,涂序彦.
基于π演算的软件人群体形式化建模[J]
.北京理工大学学报,2006,26(2):130-134.
被引量:4
9
马忠贵,叶斌,曾广平,涂序彦.
基于SOAP的软件人通信模型研究[J]
.计算机科学,2006,33(6):188-191.
被引量:6
10
卢庆龄,张威,曾广平,尹怡欣,涂序彦.
软件人协商中的自学习[J]
.哈尔滨工程大学学报,2006,27(B07):592-596.
被引量:1
引证文献
1
1
曾广平,张青川.
“软件人”理论及其应用技术的研究现状[J]
.系统科学与数学,2016,36(9):1457-1467.
1
李晓虹,李世奇,杨有.
C++中verylong的数据抽象分析和扩展[J]
.三峡大学学报(自然科学版),2006,28(2):174-176.
2
王爱娟,刘俊轩.
基于语义一致性的模型映射方法[J]
.中国科技信息,2008(18):279-281.
3
何骏,杜斌,李聪.
面向对象离散事件仿真平台的设计[J]
.计算机仿真,2008,25(7):290-293.
被引量:10
4
余廷忠,夏仁强,胡如会.
应用直方图均衡化实现图像增强[J]
.毕节学院学报(综合版),2016,34(2):155-160.
5
宋立彤,金成植.
函数式语言的部分求值技术[J]
.软件学报,1996,7(5):306-313.
被引量:3
6
肖滨,孙永忠,衡军.
作战想定的形式化表述方法研究[J]
.系统仿真学报,2008,20(11):2978-2981.
被引量:12
7
宋立彤,田宏宇,金成植.
PROLOG抽象分析及在并行性分析中的应用[J]
.吉林大学自然科学学报,1995(2):44-50.
8
郭令忠,李彦平,徐心和,刘长有.
离散事件动态系统的D-B动机模型[J]
.自动化学报,1995,21(3):312-318.
被引量:5
9
马忠贵,叶斌,曾广平,涂序彦.
基于π演算的软件人群体形式化建模[J]
.北京理工大学学报,2006,26(2):130-134.
被引量:4
10
余亮,石章松,邢昌风.
多平台协同防空武器调度方案评价指标[J]
.海军工程大学学报,2013,25(1):102-107.
被引量:4
科技资讯
2008年 第2期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部