不确定情景下软件系统自适应决策方法研究

来源 :中国科学院大学 | 被引量 : 0次 | 上传用户:yx_maomao
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件系统已经越来越深地嵌入到人类社会和物理社会中,软件系统在运行时会与其他软硬件系统、设备和用户发生密切的交互。当前软件系统运行和交互环境呈现出动态多变及不确定的特征,由此导致软件系统自身行为也具有一定程度的变化性。为使软件系统能根据运行和交互环境,及自身变化对其行为进行自主控制和调节,以持续提供服务、满足用户需求,自适应性成为软件系统开发的重要关注点。  近十年来,自适应软件系统的研究得到快速发展,已经成为软件工程领域,尤其是需求工程领域的热点话题。主要研究工作分为系统的自适应逻辑建模、系统的自适应机制构建、运行时需求验证、运行时优化决策、自适应系统设计决策、系统开发方法等方面。  从需求工程的角度看,软件系统的复杂性及其与外部环境交互的复杂性和不确定性导致软件系统的需求及交互环境的变化规律难以描述。其次,自适应机制的建模需要依赖决策知识,即从先验知识中抽象出参考模型,并依据参考模型确定自适应策略。然而,先验知识可能是不完备的,无法覆盖所有的运行时状况,形成的参考模型具有不确定性。再次,由于受运行环境变化无法预期的影响,软件行为也具有不确定性,导致系统非功能需求的满足存在不确定性。这些不确定性都给软件系统的自适应机制建模带来很大挑战。现有相关工作在处理需求不确定时自适应过程、决策知识不确定时自适应机制、以及行为不确定时的非功能需求满足性问题三个方面仍缺乏有效方法。  本文首先系统性地综述了本领域现有工作,从系统建模方法、需求工程活动、软件质量属性和自适应软件系统的应用领域四个视角对相关文献进行了总结归纳。通过对研究主题的提炼和抽取,将本文研究重点锁定在处理软件系统的不确定性问题方面,并将研究关注点聚焦为系统建模和三个递进的在线决策问题上。  针对自适应系统不确定性的建模和描述,从面向目标的建模方法出发,分别构建软件需求模型、环境模型和软件配置模型;通过模糊逻辑统一刻画质量需求满意度、环境变量和软件配置参数的变化规律。针对自适应系统的自适应逻辑建模,提出根据目标模型识别出可调节目标,构建自适应目标模型的过程。  针对环境和需求不确定时的决策问题,提出一种基于模糊控制的自适应决策机制,通过控制机制和模糊推理,根据环境的不确定变化求解在线优化决策。该机制构建了质量需求、环境和软件配间的影响关系;根据变量不确定性的模糊逻辑描述和影响关系构建启发式推理规则,基于模糊推理过程实现量化的推理计算;提出了基于前馈-反馈控制结构的自适应算法,并结合MAPE-K结构设计软件自适应组件,用于实现自适应过程。  针对决策知识不确定时的决策问题,提出一种基于学习的自适应决策机制,通过系统辨识的思想,在线增量式的获取决策知识。该机制分非线性的模糊系统和线性的模糊系统两种情况讨论了软件系统模型,分别模拟具有部分决策知识和无任何决策知识的情况;设计了推理规则参数的学习问题和学习过程;从运行时自适应决策结果中增量式的提取新决策知识,用于参数的优化和修正;并将获得的参数存储在推理规则库中,用于支持后续的自适应决策。  最后,针对软件行为不确定时的决策问题,将业务行为决策过程与需求验证过程有机结合,提出基于验证的自适应决策机制。该机制基于模式映射的模型转换方法,将需求目标模型转换为相应的行为模型;引入系统任务的可靠性规约,描述任务失效概率;将行为模型和任务的可靠性规约融合为离散时间马尔可夫链;并通过概率模型检验求解满足可靠性的系统决策配置。  本文建模过程和决策机制为自适应软件系统的设计和开发提供了具有通用性的理论依据和技术细节。机制的可行性和有效性均通过案例研究和仿真实验进行了评估和验证。  未来工作的重点主要集中在系统行为仿真及性质验证、智能算法与自适应软件决策、软计算与不确定性处理、控制论与自适应机制四个方面。
其他文献
随着社交媒体的广泛传播和使用,Web2.0时代所集聚的社交媒体大数据使得收集和利用人类活动、言论、思想印记的能力得到前所未有的提高。对于城市规划领域而言,在政策的制定、实
在当今通讯技术飞速发展,交通高度发达的时代,人们的工作、生活空间变得越来越广阔,对地理信息的需求也随之变得越来越广泛了。仅仅通过互联网查询地理信息已不能满足人们的需求
当今的现代教育技术提供了教学模式改革所必须的技术支持手段,这就是利用多媒体课件辅助教学。多媒体课件是近几年以来在各种学校中普及应用的教学手段,正在逐步取代传统电教手
随着Internet应用的迅速发展,网络安全问题日益突出。防火墙技术是抵制网络攻击的主要手段。传统的边缘防火墙难以抵御网络内部用户的攻击,分布式防火墙则过分依赖主机的操作系
作物群体是履行光合作用和物质生产职能的组织体系,其形态结构对光截获能力、冠层光合效率以及作物产量均具有重要影响,作物群体形态特征一直是人类认识、分析和评价作物的最基本方式。然而,作物群体形态结构复杂,空间分布规律性差、各器官表面结构变异性强,群体间存在大量器官的遮挡、交叉与相互作用,其形态结构不是简单单株复制的物理过程。传统农业对于作物群体形态结构的研究以经验型人工测量实验为主,其难以精确刻画作物
该文致力于完成面向对象程序(C++)切片工具中数据依赖图的构造,因为数据依赖图的构造可以归结到程序中到达-定值信息的求解,所以该文主要阐述了到达-定值的求解算法及相关的
决策支持系统是信息系统研究的最新发展阶段,既具有数据处理功能又具有数值计算功能,达到了更高层次的对管理者的辅助决策能力。随着数据库技术的不断成熟,数据仓库技术的出现,网
现代信息技术的发展,极大地改善了人的生活质量,尤其是计算机多媒体技术的发展,给人们的生活带来无穷乐趣。图像压缩技术在多媒体技术领域中占有重要的位置。 本文首先介绍了
C3I (Command,Control,Communication and Intelligence)意指“指挥、控制、通信与情报”。由于C3I系统在现代高技术战争中能帮助人们驾驭信息和武器两要素,使军队的战斗力获得
随着Internet的飞速发展,由于竞争网络资源而导致的网络拥塞问题越来越严重。在路由器等交换设备上应用有效的队列管理算法对于提高网络性能来说显得愈发重要。近年来,各类多媒