基于微分方程的软件自适应控制模型研究

项目名称： 基于微分方程的软件自适应控制模型研究

项目编号： No.61170015

项目类型： 面上项目

立项/批准年度： 2012

项目学科： 自动化技术、计算机技术

项目作者： 丁佐华

作者单位： 浙江理工大学

项目金额： 55万元

中文摘要： 自适应软件能根据系统内部或运行环境的变化，实时调节自身的行为，从而更好地为用户提供服务。但自适应同时也给软件在开发、管理、维护方面带来很大的困难。近十年来，软件工作者在软件工程的各个方面来研究软件自适应问题，甚至从其它领域，如人工智能、控制论、生物学等寻找自适应机制。尽管有了不少工作，但是这些工作相对比较独立，还没有能够从根本上弥补传统软件工程在理论和方法上的不足。模型构造与验证就是其中一个方面。本项目从控制论的角度对自适应软件的模型构造与分析开展研究，试图回答一些问题如：如何在模型中表示不确定性，如何在控制结构中设计自适应，如何验证自适应软件运行中的状态等。主要工作有：1）用切换系统给软件建模，表达不完整的自适应行为；2）借助于适应控制模型实现软件架构的自适应，获得受控的切换系统；3）分析受控的切换系统，得到软件方面和可控方面的性质；4）建立基于模型维和QoS参数的模型优化体系。

中文关键词： 自适应软件；适应模型；切换系统；模型验证；模型评价

英文摘要：

英文关键词： Self-adaptive software；Adaptive model；Switched System；Model verfication；Model accessment