策略检查与冲突避免方法研究

来源 :无线电工程 | 被引量 : 0次 | 上传用户:zhaoguopu
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
策略检查与冲突避免是基于策略的网络管理框架中的一个重要研究内容,为了维护系统处于良好的运行状态,必须具有能够确保策略合法性、有效性和一致性的检查机制。提出基于多维空间的全局冲突检测方法,对策略的有效性进行判定;对策略进行必要的验证以免策略存在语法或语义上的冲突。研究有效的策略冲突消解方法,实现基于有向无环图的策略冲突避免算法。
其他文献
通过对多种小波函数的分析、比较,提出了一种基于小波分析的脉冲信号时域波形检测方法,该方法利用小波变换模的极大值特性,较好地实现了对脉冲成形信号波形参数的检测。理论
信息资源建设是信息研究的一个重要课题,也是知识创新的一个途径。立足实际情况,讲述了制定信息资源开发的原则、如何合理配置信息资源和如何采集电子文献与网上信息资源及建立
介绍了多通道卫星信号模拟器的工作原理和关键技术,设计了软件和硬件实现方案。其中软件部分采用VC++6.0完成,硬件部分采用FPGA技术实现,通过计算机串口实现了软硬件之间通信。该系统被成功地应用到卫星导航定位系统的研发过程中,具有了卫星信号模拟器的基本功能,并且增加了卫星信号多普勒效应的模拟,为验证接收机的定位性能、信号跟踪和捕获性能等提供了一个逼真的高动态信号环境。
模数转换器是基于软件无线电的多模移动终端中的关键器件。∑-Δ模数转换器(∑-ΔADC)是利用∑-Δ调制技术和数字滤波技术实现的一种高精度模数转换器,主要由∑-Δ调制器和数字
本文就和林县马铃薯产业、机械化状况及4U-73型马铃薯收获机研制、推广效益情况进行分析研究,通过技术创新解决了制约当地马铃薯机收短板,提升了马铃薯产业发展的装备基础。
玉米是赤峰市主要农作物之一。随着畜牧业的不断发展,玉米种植面积逐年增加,是农牧民经济收入的重要来源。2004年以来,国家多次聚焦"三农"问题,农业得到充分重视,通过科技致富,
随着卫星通讯技术的不断发展,卫星的数量不断增加,对卫星天线伺服设备的要求也越来越高,为了保证系统的不间断通讯,同时避免对空间微波环境产生不必要的干扰,高可靠的天线控制器起
针对红外图像序列中目标与背景的对比度低、灰度特征易受噪声影响等特点,提出了一种基于增量学习目标表观模型和粒子滤波的红外目标跟踪方法。通过在线学习机制,利用增量奇异值分解算法对图像特征空间的基向量进行准确更新,从而建立红外目标的鲁棒表观模型。在此基础上,采用粒子滤波对目标状态进行有效预测,实现了红外目标的有效跟踪。实验结果表明,该方法能有效、准确地跟踪红外图像序列中的运动目标。
标准机柜已经成为室内电子设备最重要的安装平台。很多设备结构设计时要求满足标准机柜安装条件。微波发射机由于信号种类多,特性复杂,为保证其电磁兼容性,以往大多数设计都
当今世界电磁环境异常复杂,不仅包括军用电台、雷达等信号,还包括民用广播、通信等信号,如何验证在复杂电磁环境中通信设备的性能,是关心的课题。介绍了一种超短波背景信号模拟器