期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于封箱演算的形式化组织模型
1
作者
张卫华
范植华
《系统仿真学报》
EI
CAS
CSCD
北大核心
2008年第6期1455-1458,共4页
组织是群体对抗的主要形式。一个好的组织模型有利于提高规划识别的精度和效率。封箱(seal)演算是π-演算的变体。将封箱演算引入动态联盟组织模型建模中,为组织模型的形式化研究提供新的手段。利用封箱演算工具,给出了形式化组织模型,...
组织是群体对抗的主要形式。一个好的组织模型有利于提高规划识别的精度和效率。封箱(seal)演算是π-演算的变体。将封箱演算引入动态联盟组织模型建模中,为组织模型的形式化研究提供新的手段。利用封箱演算工具,给出了形式化组织模型,提出了一种基于角色的层次性组织生成方法,并讨论了由于角色变化带来的组织动态调整。
展开更多
关键词
角色
层次化
组织
封箱演算
规划识别
在线阅读
下载PDF
职称材料
动态联盟协同设计组织模型与系统结构
被引量：
5
2
作者
王永滨
孟跃进
+2 位作者
周春来
孟庆龙
张丽
《计算机集成制造系统-CIMS》
EI
CSCD
北大核心
2004年第4期367-373,共7页
动态联盟协同设计组织模型强调动态可重构的组织结构。目前提出的组织模型和建模思想,缺乏对模型中的动态过程的形式化描述,对资源权限的易变性表达不够。对此,将进程代数中的封箱演算引入到动态联盟组织模型建模中,提出了一种基于封箱...
动态联盟协同设计组织模型强调动态可重构的组织结构。目前提出的组织模型和建模思想,缺乏对模型中的动态过程的形式化描述,对资源权限的易变性表达不够。对此,将进程代数中的封箱演算引入到动态联盟组织模型建模中,提出了一种基于封箱演算的动态联盟协同设计组织结构描述方法。该方法易于严格地显式表达系统的动态过程和资源权限的易变性,为组织模型的形式化研究提供了一种手段。在此基础上还提出了动态联盟协同设计系统结构和实现策略。
展开更多
关键词
组织模型
封箱演算
协同设计
进程代数
AGENT
在线阅读
下载PDF
职称材料
题名
基于封箱演算的形式化组织模型
1
作者
张卫华
范植华
机构
中国科学院软件研究所综合技术集成国家重点实验室
出处
《系统仿真学报》
EI
CAS
CSCD
北大核心
2008年第6期1455-1458,共4页
文摘
组织是群体对抗的主要形式。一个好的组织模型有利于提高规划识别的精度和效率。封箱(seal)演算是π-演算的变体。将封箱演算引入动态联盟组织模型建模中,为组织模型的形式化研究提供新的手段。利用封箱演算工具,给出了形式化组织模型,提出了一种基于角色的层次性组织生成方法,并讨论了由于角色变化带来的组织动态调整。
关键词
角色
层次化
组织
封箱演算
规划识别
Keywords
role
hierarchy
organization
seal-calculus
plan recognition
分类号
TP31 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
动态联盟协同设计组织模型与系统结构
被引量：
5
2
作者
王永滨
孟跃进
周春来
孟庆龙
张丽
机构
北京广播学院计算机与软件学院
河北工业大学电器研究所
出处
《计算机集成制造系统-CIMS》
EI
CSCD
北大核心
2004年第4期367-373,共7页
基金
广电总局高校科技资助项目(BG0110)。~~
文摘
动态联盟协同设计组织模型强调动态可重构的组织结构。目前提出的组织模型和建模思想,缺乏对模型中的动态过程的形式化描述,对资源权限的易变性表达不够。对此,将进程代数中的封箱演算引入到动态联盟组织模型建模中,提出了一种基于封箱演算的动态联盟协同设计组织结构描述方法。该方法易于严格地显式表达系统的动态过程和资源权限的易变性,为组织模型的形式化研究提供了一种手段。在此基础上还提出了动态联盟协同设计系统结构和实现策略。
关键词
组织模型
封箱演算
协同设计
进程代数
AGENT
Keywords
organization model
seal-calculus
computer support collaborative design
process algebra
agent
分类号
TP391 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于封箱演算的形式化组织模型
张卫华
范植华
《系统仿真学报》
EI
CAS
CSCD
北大核心
2008
0
在线阅读
下载PDF
职称材料
2
动态联盟协同设计组织模型与系统结构
王永滨
孟跃进
周春来
孟庆龙
张丽
《计算机集成制造系统-CIMS》
EI
CSCD
北大核心
2004
5
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
