基于政策的自配置系统的形式建模与分析

来源 :计算机与现代化 | 被引量 : 0次 | 上传用户:supengfei789
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
计算机系统的复杂性不仅使其分析与开发困难,而且同样使其安装配置面临挑战。为解决复杂系统配置面临的问题,具有一定程度智能性的自配置系统正成为研究热点。本文针对基于政策的自配置系统框架,提出该类系统的形式化描述模型,在该系统模型的基础上可将系统的自配置行为描述为系统内部的状态转移过程,从而能对自配置系统的性质进行分析与验证。最后通过配置实例对提出的自配置系统进行分析,验证系统具备的性质。
其他文献
图像配准是图像处理领域的一个研究热点。双目线索是人类和动物的视觉系统获取深度信息的主要手段之一,而配准是视差测距过程中最主要的步骤。本文主要实现了基于面积的配准和基于边缘点特征的Barnard方法,并且对有关的实验结果进行了直观的分析。
题库及考试系统是教育资源的重要模块。本文针对题库扩展性不强、网络数据传输延时和考试系统通用性差等问题,提出了一种局域网题库管理与考试系统的设计方法。该方法基于项目
随着网络的规模不断增大,网络的安全、通信效率以及组网的灵活性受到前所未有的挑战,而VLAN划分很好地解决了这个问题。本文介绍了Cisco交换机的VLAN配置,对VLAN应用有一定参考
金融电子业务是银行中间业务的一个重要的组成部分,直接关系到银行的中间业务收入。本文根据移动金融服务平台系统的需求,结合现在移动业务的发展,开发了移动金融服务平台系统,实
鉴于嵌入式产品的大量应用和Linux系统的独有的优势,嵌入式系统的开发和研究已经成为当前的一个热点。而要进行嵌入式Linux开发,其软件部分必须建立适合自身的开发平台。本文
Flash动画具有画面流畅、可全屏显示、动画按钮制作简便及交互性强等优点,本文介绍使用PowerBuilder9实现Flash动画播放的过程,并详细说明在Flash控件中调用PowerBuilder9命令
基于内容的图像检索是多媒体应用研究领域的一项关键技术。传统的CBIR系统一般采用基于图像的低级物理特征进行特征匹配,MPEG-7标准的提出为图像内容特征的提取与描述提供了一
浸润剂生产管理系统主要实现浸润剂生产车间的原料储备、复杂配方管理、产品质量分析、车间事件查询、报表打印等功能,为提高工艺提供详细的数据分析,为事件发生提供详细的报警
首先简单介绍了小波变换消噪的原理,然后分别利用小波变换和傅里叶变换,对临床采集的脉象信号进行了消噪处理。结果表明,利用小波消噪能够有效地保留脉象信号中的尖峰和突变部分
目的 分析优质护理干预在腹腔镜下急性胃穿孔修补术期的应用效果。方法 选取我院2016年1月至2017年1月行急性胃穿孔修补术的106例患者,随机分为观察组和对照组各53例。对照组