期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
利用基数约束规则编程消解ECA策略冲突 被引量:2
1
作者 李鑫 李凡 刘启和 《计算机应用研究》 CSCD 北大核心 2009年第7期2543-2546,共4页
为实现ECA策略冲突的自动、灵活消解,提出一种利用基数约束规则编程的新方法。基数约束规则编程是一种基于稳态模型语义的非单调逻辑编程技术,具有解决组合及其优化问题的良好性质。先后完成了ECA策略的逻辑编程表示、用于检测和防止冲... 为实现ECA策略冲突的自动、灵活消解,提出一种利用基数约束规则编程的新方法。基数约束规则编程是一种基于稳态模型语义的非单调逻辑编程技术,具有解决组合及其优化问题的良好性质。先后完成了ECA策略的逻辑编程表示、用于检测和防止冲突的行动约束定义、具有组合特征的冲突性质分析和用于冲突消解的基数约束规则程序建立。该方法不仅具有逻辑严谨、自动化程度高和结构层次分明等优点,更重要的是,还扩展了被消解冲突的域。 展开更多
关键词 事件-条件-动作策略 基数约束规则编程 冲突消解 行动约束 稳态模型
在线阅读 下载PDF
策略驱动的数据交换模型 被引量:1
2
作者 李亚楠 刘连忠 《计算机工程》 CAS CSCD 北大核心 2008年第20期31-33,共3页
针对数据交换应用存在数据交换来源多样、交换需求多变的特点,结合策略独立于实现等特点,提出将策略应用到数据交换领域的观点,解决现有数据交换系统的不足。从应用策略最成熟的网络管理和网络安全领域出发,通过对比已有策略建模方法的... 针对数据交换应用存在数据交换来源多样、交换需求多变的特点,结合策略独立于实现等特点,提出将策略应用到数据交换领域的观点,解决现有数据交换系统的不足。从应用策略最成熟的网络管理和网络安全领域出发,通过对比已有策略建模方法的优缺点和数据交换特点,确立数据交换策略模型,建立策略驱动的数据交换模型的实现框架。 展开更多
关键词 策略 规则 eca规则 数据交换
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部