聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 基于Pi演算的网构软件组装与演化框架
出处:微计算机信息 2011年第2期243-245,共3页
摘要:如何在开放的Internet环境下实现各种异构资源的共享与集成,已经成为计算机技术面临的重大挑战,并由此提出... 显示全部
关键词: 网构软件 软件演化 演算 进程代数 形式化方法
在线阅读 下载全文
期刊文章 基于通信的MAS内多Agent自动协商
出处:小型微型计算机系统 2005年第1期 26-31,共6页
摘要:给出了一个通用的基于联合意图的多Agent系统内部Agent协商模型,详细分析了Agent间的异步通信机制以及基于... 显示全部
关键词: 自动协商 联合意图 演算 安全性 活性
期刊文章 基于π演算的软件人群体形式化建模
出处:北京理工大学学报 2006年第2期 130-134,共5页
摘要:在参考多智体系统的基础上,根据大系统控制论的分解协调思想,提出一种软件人群体体系结构,并对其关键技... 显示全部
关键词: 软件人 多智体系统 演算 形式化建模 分布式人工智能
在线阅读 下载全文
期刊文章 类型化π演算的双代数语义
出处:计算机研究与发展 2012年第8期1773-1780,共8页
摘要:证明互模拟同余通常冗长且易出错.双代数为解决该问题提供统一的框架:若行为函子保持弱回拉,共代数范畴... 显示全部
关键词: 共代数 双代数 演算 进程语义 互模拟
在线阅读 下载全文
期刊文章 自动信任协商安全性的形式化分析与验证
出处:华南理工大学学报:自然科学版 2013年第1期77-82,94共7页
摘要:为了对自动信任协商(ATN)的安全性进行形式化分析与验证,文中借鉴安全协议的形式化分析方法,提出一种用... 显示全部
关键词: 自动信任协商 安全性 形式化分析 演算 观察等价
在线阅读 下载全文
期刊文章 组合范畴语法产生和发展的动因之分析——从句法演算的角度看
出处:晋中学院学报 2013年第2期19-27,共9页
摘要:AB-演算刻画句法推演能力太弱,许多合语法的语句在AB-演算中没有合适的推演形式。斯蒂德曼(Steedman)在AB... 显示全部
关键词: 演算 组合逻辑 组合范畴语法 多模态组合范畴语法
在线阅读 下载全文
期刊文章 基于Pi-演算的供应链节点企业行为的随机分析
出处:计算机集成制造系统 2013年第1期165-172,共8页
摘要:为解决节点企业行为的不确定影响供应链系统性能的问题,提出一种应用Pi-演算对供应链的节点企业行为进行随... 显示全部
关键词: 供应链 演算 节点企业行为 随机分析 马尔科夫链
在线阅读 下载全文
期刊文章 描述逻辑μALCIO的语义及推理
出处:计算机学报 2009年第7期 1280-1290,共11页
摘要:循环术语集是描述逻辑长期以来的研究难点,它的最基本的问题即语义及推理问题没有得到合理的解决.分析了... 显示全部
关键词: 描述逻辑 混合 演算 树自动机 不动点构造算子
在线阅读 下载全文
期刊文章 基于π演算的云服务安全检测
出处:吉林大学学报:理学版 2014年第3期503-508,共6页
摘要:利用π演算对云服务流程进行形式化描述,基于描述结果给出一种针对用户越权访问和服务不完整两种安全性问题... 显示全部
关键词: 云服务 演算 越权访问 完整性
在线阅读 下载全文
期刊文章 焦点视角下黄犬奔马句的语义分析
出处:湘南学院学报 2012年第6期65-68,共4页
摘要:黄犬奔马句是修辞学工拙论的经典句,对黄犬奔马句的语义进行分析,可以从各句中论元的论旨角色的区分,了解句... 显示全部
关键词: 黄犬奔马句 焦点 三分结构 演算 语义解释
在线阅读 下载全文
找到10条结果
`