首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   1篇
  完全免费   2篇
  自动化技术   3篇
  2015年   1篇
  2009年   1篇
  2008年   1篇
排序方式: 共有3条查询结果,搜索用时 15 毫秒
1
1.
一种基于事件的Web服务组合方法   总被引:4,自引:0,他引:4       下载免费PDF全文
李 鑫  程 渤  杨国纬  刘启和 《软件学报》2009,20(12):3101-3116
为获得一种既易于实现又能满足用户多样化需求的服务组合的有效途径,提出一种基于事件的服务组合方法.首先定义了一种基于ECA(event-condition-action)规则的语言——简单服务事件语言.在这种语言基础上,通过模块化方法构造的用于描述组合服务的组合方案,不但解决了采用AI规划(artificial intelligent planning)时服务组合域表示困难的问题,而且解决了采用UML(unified modeling language)等技术时描述能力不足的问题.随后,为有效地表示组合方案,完成了它的语义定义以及answer set程序编码工作.最后利用answer set编程(answer set programming)技术实现了对组合轨迹的表示.  相似文献
2.
安全互操作是实现跨管理域的资源共享与保护的关键技术. Kapadia等人的IRBAC2000模型提供了一种灵活的通过角色关联和动态角色转换实现安全互操作的方法..廖俊国等人指出该模型可能违反静态互斥角色约束,对问题的原因进行了分析,提出了约束违反检测算法和添加角色关联的先决条件.首先指出廖俊国等人关于约束违反原因的分析是片面的,其检测算法和先决条件也不能保证系统不会违反约束;然后指出在给定角色关联的前提下,外域的用户/角色分配是造成约束违反的根本原因;进而提出动态角色转换违反静态互斥角色约束的充要条件和约束违反检测算法;给出了添加角色关联和用户/角色分配的先决条件,保证了模型状态始终满足静态互斥角色约束.  相似文献
3.
本文研究部分可观Petri网建模的离散事件系统的故障检测问题. 针对现有的部分可观Petri网系统的在线故障诊断器存在故障诊断率较低的缺陷, 本文提出了整数线性规划与广义互斥约束集成的部分可观Petri网系统在线故障诊断改进算法. 假定部分可观Petri网系统的结构与初始标识为已知, 故障被建模为不可观变迁. 首先, 算法需要观测接收事件序列, 求解部分可观Petri网的整数线性规划问题, 算法对系统的故障进行初步诊断. 初步诊断为不确定诊断的情形, 采用广义互斥约束的方法进行诊断. 最后, 通过离散事件系统实例分析, 采用本文的算法, 故障诊断率显著提高, 验证了算法的有效性.  相似文献
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号