策略驱动的自配置系统形式化建模及分析验证

来源 :计算机工程与科学 | 被引量 : 0次 | 上传用户:skyboat521
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
使计算机系统具有自主配置的能力,可以解决复杂系统面临配置管理难度高和强度大的问题。本文针对策略驱动的自配置系统的配置问题,提出采用CPN建模技术对该类系统进行建模、分析与验证,保证系统自配置过程的正确性;分析了策略驱动自配置系统的基本结构,构造出该类系统的CPN模型,引入CTL的扩展——ASK-CTL描述系统配置过程中具备的性质;最后用CPN Tools2.2.0进行仿真与验证。
其他文献
构件库的导航和管理在基于构件的软件重用中起着重要的作用。主题地图TM(TopicMap,简称TM)是描述知识结构及与信息资源联系的一种新的ISO标准,制定了以知识的方式组织和管理信息资源的机制。本文将TM应用于构件库的资源管理,建立了基于TM的资源管理模型和构件导航模型,实现了对构件资源的基于语义的组织和导航。
目的:研究前列腺增生症患者PSA、PSAD与年龄、前列腺体积的相互关系。方法 :选取在我院进行治疗的前列腺增生症患者220例,按年龄将患者分成四组,分别对各年龄段患者的PSA值、
在温室基质栽培条件下,以番茄材料A20为试材,采用2因素5水平响应面中心复合设计,研究不同的氮钾营养组合处理对番茄单株产量、果实品质及叶片碳氮代谢产物和酶活性的影响。结
选煤厂把煤进行分选,得到精煤、中煤、矸石和煤泥等。精煤的价格很贵,主要用于冶金、炼焦等。西方国家对煤焦精煤的灰粉要求是5%~8%。美国规定电站使用的动力煤硫粉含量不能超
档案是一种客观性记录结果,主要指对特定产业机构内部流程进行的客观记录,档案在各个部门都发挥了重要的作用,是一类科学性指导依据。但是,随着现代信息技术以及数字技术的冲
为调整养殖品种结构,提高效益,龙庆公司于2003年引进丁鱥寸片进行池塘成鱼养殖,2004年6月全部收获,成活率70%,饵料系数1.8,纯利润8.5万元/hm^2,经济效益显著。
"多予少取放活",是中国乡村振兴的根本原则,也是乡村治理现代化的根本方向,在新型城镇化与乡村振兴互动共进的发展大势下,"多予少取放活"也就有了不断更新的主题内容和时代蕴
随着因特网的普及,计算机整体性能已经大幅提高,信息处理量也出现爆炸式增长,在这种情况下,要求计算机对我们的母语(自然语言)理解日益迫切。自然语言理解的主流技术一直是句法——
华瑞平,高级工程师,防护工程专家,先后获总参军训和兵种部优秀设计一等奖6项、二等奖8项、三等奖1项,获军队科技进步奖3项。$$ 从散兵坑到暗堡,从地道到战壕,地下防护工程与古今战
报纸
艾滋病患者免疫力低下,极易发生各种机会性感染,肺部感染是常见的并发症之一。中医药在艾滋病肺部感染的防治中存在的主要问题和对策如下:(1)临床应用及研究方面,中医药地位