【摘 要】
：
自适应系统需要根据运行时上下文和自身的变化进行其行为的调节.为实现自主调节,自适应系统必须被赋予运行时监测上下文和自身变化、分析需求满足程度的变化以及推理得到自适
【机 构】
：
高可信软件技术教育部重点实验室（北京大学）,中国科学院数学与系统科学研究院数学研究所,北京大学信息科学技术学院软件研究所
【基金项目】
：
国家重点基础研究发展计划(973)(2015CB352200);国家自然科学基金(61620106007,91318301)~~
论文部分内容阅读
自适应系统需要根据运行时上下文和自身的变化进行其行为的调节.为实现自主调节,自适应系统必须被赋予运行时监测上下文和自身变化、分析需求满足程度的变化以及推理得到自适应决策的能力.这种在线决策的行为在满足功能需求的同时,还需要保证系统满足特定的非功能需求,如可靠性和性能等.提出了一种基于验证的自适应系统优化决策方法,以保证非功能需求的满足.该方法在识别可调节目标以建模自适应机制的同时,将系统的目标模型映射为相应的行为模型,用标签转移系统表示;以可靠性需求为例,用标记目标模型规约任务的可靠性;然后将系统行为模型
其他文献
【正】 陈维新同志的《文章写作方法论》(延边大学出版社1991年3月出版)一书运用马克思主义的唯物辩证法,对历代文章学的理论进行了全面考察,比较全面、系统、深入地揭示了文
本研究从食品企业产品伤害行为的性质出发,基于自我感知理论,构建了一个消费者逆向选择模型,分析了食品企业的过失伤害行为和蓄意伤害行为对品牌资产和消费者逆向选择的影响
随着市场经济的发展,企业外部环境发生了根本的变化,企业竞争日益激烈,企业国际化经营程度不断提高,从而导致外部环境复杂多变,企业经营财务风险越来越大,直接威胁着企业的生
知识爆炸和数据泛滥使人们需要从数据中挖掘出有用的信息、获取所需的知识、并对知识进行推理。随机和不确定是现实世界本身固有的特征。因此,我们需要一种表示定量的不确定
混沌学是一门新兴的非线性科学,它的研究热潮始于二十世纪七十年代,但是其渊源可以追溯到十九世纪三十年代。最近几十年来,在国内外众多学者的不懈努力下,混沌理论得到了迅速
本文分析了生物化学课程体系和教学现状,针对存在的问题研究了该课程的改革目标,从教学内容、教学资源、教学团队、教学模式与方法、考核与评价等方面探索可行性教学改革路径
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
六自由度平台是各种飞行及航海等领域操作模拟器的重要组成部分，可由数字计算机实时控制提供俯仰、偏航、滚转、升降、纵向和横向平移的六自由度瞬时运动仿真。仿真的基础是建