【摘 要】
：
为满足用户对网络服务的个性化、定制化和主动化需求,主动规则成为解决这些问题的关键技术.研究了在网络环境下基于规则的复杂应用中,大量规则集同时触发所带来的规则终止性
【机 构】
：
国防科学技术大学电子科学与工程学院
【基金项目】
：
国家自然科学基金（40801160 60902036 61070035）, 国家“八六三”高技术研究发展计划重点项目基金（2007AA120400）, 高等学校博士学科点专项科研基金（20104307110017）资助
论文部分内容阅读
为满足用户对网络服务的个性化、定制化和主动化需求,主动规则成为解决这些问题的关键技术.研究了在网络环境下基于规则的复杂应用中,大量规则集同时触发所带来的规则终止性问题,提出的分析方法确保主动规则能够有效运行,以提供更加灵活的主动服务.讨论了以静态分析方法为主的主动规则终止性分析相关工作,随后给出问题描述和相关形式化定义.分析了基于关联图的终止性分析方法的保守性,引入触发路径和有限触发环概念,提出了基于触发路径的两种终止情形分析方法,提高了规则集终止性分析的准确性,采用两阶段分析算法保证了分析效率.与相关分
其他文献
为减小时间开销，动态故障树经常被模块化分解为独立的静态子树和独立的动态子树，然后分别使用二叉决策图和马尔卡夫模型求解；其中的一个关键问题便是识别具有相互依赖基本事件和
二丁酰环腺苷酸(Dibutyryl Cyclic adenosine monophosphate,dbc AMP)作为一种生长调节剂,极性小,有亲脂性,可通过细胞膜在细胞内发挥作用。它可以通过调控动物体内蛋白和脂
纤维素酶是一种重要的复合酶,在动物应用中有着显著促进动物生长、改善饲料消化率、降低料肉比等功能。文章主要从纤维素酶的概念、作用机理以及其在猪生产中的应用等方面展
情节规则挖掘旨在发现频繁情节之间的因果关联,已广泛应用于传感器数据处理、网络安全监控、金融证券管理、事务日志分析等众多领域.针对一个事件序列上的无冗余情节规则挖掘
<正>2015年,我国饲料行业积极适应发展环境变化,加大结构调整力度,加快产业融合整合,着力提升产品质量安全水平,发展方式从追求数量增长和效益提升向提倡优质安全环保转变。2
聚醚类药物常当作鸡抗球虫类药物使用,但此类药物会残留到鸡肉与鸡蛋组织中,为食品安全带来不安全隐患。本文以液相色谱串联质谱法检测鸡用饲料中的聚醚类药物。鸡用配合饲料
加壳技术是软件的常用保护手段,但也常被恶意代码用于躲避杀毒软件的检测.通用脱壳工具根据加壳恶意代码运行时的行为特征或统计特征进行脱壳,需要建立监控环境,因此易受环境