期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到3篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
EDSOA服务平台中发布订阅网络基础服务的设计 被引量：1
1
作者 石瑞生 章洋 +4 位作者 陈俊亮 谢辉 谭玉麟 郭文琪 柴兆航 《计算机集成制造系统》 EI CSCD 北大核心 2012年第8期1659-1666,共8页
为解决服务执行平台中基于Web服务通知规范的分布式发布订阅基础服务架构的关键技术问题,提供了基于Web服务通知规范的事件驱动面向服务架构的服务执行平台设计实现方案,该方案可以支持实时的动态服务组合。基于该平台可以开发如应急管... 为解决服务执行平台中基于Web服务通知规范的分布式发布订阅基础服务架构的关键技术问题,提供了基于Web服务通知规范的事件驱动面向服务架构的服务执行平台设计实现方案,该方案可以支持实时的动态服务组合。基于该平台可以开发如应急管理系统、煤矿信息管理系统、城市供暖管理系统等各种业务服务系统。通过工程实践证明,该平台能够大大简化业务服务系统的开发工作。 展开更多
关键词 发布订阅 通知服务 分布式事件系统 服务计算 业务流程 WEB服务
下载PDF
分布式离散事件系统的安全可诊断性算法 被引量：5
2
作者 欧阳丹彤 罗知雨 +1 位作者 耿雪娜 张立明 《吉林大学学报（理学版）》 CAS CSCD 北大核心 2018年第3期594-600,共7页
采用有限状态自动机对分布式离散事件系统建模,提出一种分布式离散事件系统的安全可诊断性算法.首先,获得系统的全局模型,剪枝并确定系统是否可诊断.若系统可诊断,则构建该系统的安全诊断器,在全局模型中添加安全标签,判断系统是否安全... 采用有限状态自动机对分布式离散事件系统建模,提出一种分布式离散事件系统的安全可诊断性算法.首先,获得系统的全局模型,剪枝并确定系统是否可诊断.若系统可诊断,则构建该系统的安全诊断器,在全局模型中添加安全标签,判断系统是否安全可诊断.实验结果表明:该算法可判断分布式离散事件系统是否安全可诊断,缩小了求解空间;最好情况下实例状态数约缩减至7倍,平均情况下实例状态数约缩减5.45倍. 展开更多
关键词 分布式离散事件系统 安全 诊断器 故障诊断
下载PDF
分布式离散事件系统的可诊断性判定策略 被引量：2
3
作者 王晓宇 欧阳丹彤 +1 位作者 迟晋进 韩正服 《吉林大学学报（工学版）》 EI CAS CSCD 北大核心 2015年第5期1541-1549,共9页
为了降低通讯可诊断性的计算成本及通讯成本,提出了一种在分布式系统中求解可诊断性的同步策略。通过分布式系统中事件的时序关系,在保证可诊断性不变的前提下,减少同步操作的执行次数,并且化简同步方法,将与可诊断性无关的路径删除,不... 为了降低通讯可诊断性的计算成本及通讯成本,提出了一种在分布式系统中求解可诊断性的同步策略。通过分布式系统中事件的时序关系,在保证可诊断性不变的前提下,减少同步操作的执行次数,并且化简同步方法,将与可诊断性无关的路径删除,不参与同步。定量讨论了分布式系统的可诊断性,用同步操作及同步成本作为参数,分析了分布式系统结构对可诊断性的影响。 展开更多
关键词 人工智能 可诊断性 分布式离散事件系统 同步
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部