收藏本站
《吉林大学》 2012年
收藏 | 手机打开
二维码
手机客户端打开本文

自适应软件关键技术研究

李兵  
【摘要】:自适应软件是一类具有自适应能力的软件。所谓的自适应能力就是软件在运行时可以评估自己的行为,当评估结果显示无完成软件意图,或可以获得更好的功能或性能时,它会改变自己的行为。 虽然自适应软件技术的研究已经进行了一段时间,但是其中的一些关键技术还尚不完善,需要进一步的研究,如自适应软件中的环境感知、软件服务质量建模、基于软件体系结构的重配置、软件自适应的可信性保证等方面。在这些方面进行深入探索和研究,能够推动自适应软件技术体系理论的进一步完善。同时可以推动自适应软件的开发和应用,提高软件应对环境变化的能力,增加软件的生命周期。 本文在国内外的现有研究基础上,针对自适应软件中的若干关键技术进行了研究,包括: 自适应软件基础研究。介绍了目前自适应软件研究的一些现状,分析了自适应软件的基本原理,给出了自适应软件的基本架构和实现方式。这些都是从宏观角度上针对自适应软件进行研究,给出构建自适应软件的一些指导原则,为自适应软件的进一步研究打下基础。 自适应软件的环境感知研究。自适应软件运行环境的改变通常是造成其重配置的一个重要因素,因此如何设计一个好的环境感知框架,是一个很重要的研究方向。本文中提出了一种环境感知框架,以环境采集模型约束信息采集,以有限状态自动机描述环境信息对应用系统状态的驱动。 自适应软件的服务质量建模研究。自适应软件服务质量要求的改变通常是造成其重配置的一个重要因素,因此如何更好地表示和描述这些因素,是一个很重要的研究方向。本文从领域分析入手,采用两级领域建模机制,对构件的QoS元模型进行了形式化描述,定义了特定领域QoS建模语言,采用这个语言可以定义特定领域内的QoS信息。 自适应软件的重配置研究。重配置是自适应软件的核心,本文研究了从设计时对重配置的支持到运行时对重配置的支持。运行时的重配置必须有外在的力量去实施,按照特定的系统蓝图去实现。这个特定的系统蓝图就是软件的体系结构。本文从软件体系结构的组成、风格、描述语言等方面出发,研究了软件体系结构的一般原理和基本准则。为了支持运行时的重配置,本文在传统软件体系结构基础了,提出了基于软件软件体系结构的重配置方法。 自适应的可信性保证研究。仅仅保证自适应软件在运行时完成重配置是不够的,软件不停止运行仅仅是个前提条件之一,还必须保证自适应软件在重配置后,还能够正确地提供服务,这就是可信性的研究工作。本文提出了一种可信重配置的验证方法,从替换的整体性、接口的一致性、状态的一致性、系统属性约束的一致性出发,给出这几个方面可信性的形式化定义,为软件的自适应提供可信性的保证。 最后,本文给出了总结与展望。将论文中所有的工作进行了总结,列出了论文中的创新点,阐述了论文需要进一步研究的地方。
【学位授予单位】:吉林大学
【学位级别】:博士
【学位授予年份】:2012
【分类号】:TP311.5

【参考文献】
中国期刊全文数据库 前10条
1 杨芙清,梅宏,吕建,金芝;浅论软件技术发展[J];电子学报;2002年S1期
2 陈火旺,王戟,董威;高可信软件工程技术[J];电子学报;2003年S1期
3 赵俊峰,王亚沙,谢冰,杨芙清;一种支持构件服务质量的构件管理框架[J];电子学报;2004年S1期
4 彭鑫;赵文耘;钱乐秋;;基于领域特征本体的构件语义描述和组装[J];电子学报;2006年S1期
5 王晓燕;刘淑芬;张俊;;一种基于领域模型和构件组合的软件开发框架[J];电子学报;2009年03期
6 谢德平;邢阳;马晓星;曹春;吕建;;一种基于动态语境组装的分布式构件框架的设计与实现[J];电子学报;2009年S1期
7 何成万;张立军;张慧;;基于元数据和反射的面向方面软件演化方法[J];电子学报;2011年08期
8 邓小鹏;邢春晓;张勇;蔡莲红;;一种面向QoS的Web服务组测试方法TF[J];计算机研究与发展;2009年08期
9 康蕊;张立臣;;基于AOP的QoS中间件自适应机制研究[J];计算机科学;2008年08期
10 廖渊,唐磊,李明树;一种基于QoS的服务构件组合方法[J];计算机学报;2005年04期
【共引文献】
中国期刊全文数据库 前10条
1 李龙澍;;软件体系结构风格综述[J];安庆师范学院学报(自然科学版);2006年04期
2 王博然;苏钢;;软件工程的历史与发展趋势[J];北京工业职业技术学院学报;2008年03期
3 单锦辉,姜瑛,孙萍;软件测试研究进展[J];北京大学学报(自然科学版);2005年01期
4 夏虹;李增智;;粒子群算法求解Web服务组合中基于QoS的服务选择[J];北京邮电大学学报;2009年04期
5 张萍;;人性化软件界面设计的历史和原则[J];包装工程;2011年20期
6 龙昭华;漆动波;蒋贵全;;一种嵌入式系统自适应调度算法研究[J];重庆邮电大学学报(自然科学版);2009年05期
7 邓绯;;基于模糊综合评判的软件可信度量和评价方法研究[J];四川职业技术学院学报;2012年03期
8 周学亿;吕林;;软件系统元素构成体系方法在配电网中的应用[J];重庆工学院学报(自然科学版);2008年12期
9 庄国强;费贤举;;基于MDA的农产品安全检测平台研究[J];重庆科技学院学报(自然科学版);2009年06期
10 余以胜;;面向模式的平台相关模型互操作构架[J];长沙大学学报;2011年05期
中国重要会议论文全文数据库 前10条
1 赵会群;孙晶;魏莹;王文文;;服务体系结构的动态演化方法研究[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年
2 郑伟;;联邦式图书馆资源计划[A];创新沈阳文集(D)[C];2009年
3 罗飞;邵堃;刘宗田;;基于混合分布的直接信任模型研究[A];2011中国仪器仪表与测控技术大会论文集[C];2011年
4 陈彦萍;李增智;夏虹;朱海萍;;服务质量驱动的Web服务组合框架的设计与实现[A];2006年全国通信软件学术会议论文集[C];2006年
5 楼俊钢;江建慧;靳昂;;可信性属性权重分配的模糊层次分析方法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
6 刘建华;曹红苹;;基于.NET +SQL Server的多层BLOG系统研究与实现[A];广西计算机学会2010年学术年会论文集[C];2010年
7 黄双喜;徐立宏;范玉顺;;基于体系结构的制造网格系统适应性研究[A];企业应用集成系统与技术学术研究会论文集[C];2006年
8 王颜新;李向阳;;基于可信平台的军品供应链支持系统[A];2008全国制造业信息化标准化论坛论文集[C];2008年
9 刘芳;杨兴林;戴俊;;并发模型构件的状态迁移派生图及等价判定[A];2006年全国开放式分布与并行计算学术会议论文集(一)[C];2006年
10 张艳梅;曹怀虎;韩文英;;基于服务覆盖网络的服务组合路由问题研究综述[A];2007通信理论与技术新发展——第十二届全国青年通信学术会议论文集(下册)[C];2007年
中国博士学位论文全文数据库 前10条
1 张海涛;自律计算系统的自律可信性评估研究[D];哈尔滨工程大学;2010年
2 赵倩;基于自配置的软件可信性增长模型及方法[D];哈尔滨工程大学;2010年
3 张宇;个性化移动内容服务的模型和支持技术研究[D];华中科技大学;2010年
4 杨年华;模型驱动架构中的可信嵌入式软件建模与分析[D];华东理工大学;2011年
5 曹涌;基于分形的软件可靠性模型和程序证明的数学机械化[D];电子科技大学;2010年
6 尹可挺;Internet环境中基于QoS的Web服务组合研究[D];浙江大学;2010年
7 张晶;面向钢铁质量过程控制的分布式并行软件框架模型研究[D];昆明理工大学;2009年
8 曹洪江;基于用户需求的Web服务组合系统研究[D];武汉理工大学;2010年
9 王晓暾;不确定信息环境下的质量功能展开研究[D];浙江大学;2011年
10 杨春花;软件体系结构中状态方面的编织研究[D];山东大学;2010年
中国硕士学位论文全文数据库 前10条
1 王钰;基于有机计算的动漫渲染集群系统管理技术的研究与应用[D];山东科技大学;2010年
2 赵萍;模型驱动系统中模型转换技术的研究[D];哈尔滨工程大学;2010年
3 刘佳荟;基于信任度量的网构软件动态演化研究[D];哈尔滨工程大学;2010年
4 张红杨;面向异构目标平台的MDA研究与实现[D];哈尔滨工程大学;2010年
5 王永伟;基于构件的形式化方法在软件开发中的应用研究[D];哈尔滨工程大学;2010年
6 刘小飞;分布式软件动态调控策略研究[D];湖南工业大学;2010年
7 刘广宾;分布式系统中实体交互行为的可信研究[D];湖南工业大学;2010年
8 姜庆阳;基于MDA的区域控制中心系统建模研究[D];中国铁道科学研究院;2010年
9 杨桂花;城市空气污染的综合评价及建模[D];哈尔滨理工大学;2010年
10 马玉文;基于软构件复用技术的ERP系统研究[D];长春工业大学;2010年
【二级参考文献】
中国期刊全文数据库 前10条
1 徐萌;孟祥武;陈俊亮;梅翔;;综合业务平台负载均衡的研究[J];北京邮电大学学报;2006年S1期
2 胡海洋,杨玫,陶先平,吕建;Cogent后组装技术研究与实现[J];电子学报;2002年12期
3 杨芙清,梅宏,吕建,金芝;浅论软件技术发展[J];电子学报;2002年S1期
4 林惠民,张文辉;模型检测:理论、方法与应用[J];电子学报;2002年S1期
5 陈火旺,王戟,董威;高可信软件工程技术[J];电子学报;2003年S1期
6 王映辉,王立福;软件体系结构演化模型[J];电子学报;2005年08期
7 张宏科;苏伟;;新网络体系基础研究——一体化网络与普适服务[J];电子学报;2007年04期
8 杨芙清,梅宏,李克勤;软件复用与软件构件技术[J];电子学报;1999年02期
9 吕建;陶先平;马晓星;胡昊;徐锋;曹春;;基于Agent的网构软件模型研究[J];中国科学E辑:信息科学;2005年12期
10 吕建;马晓星;陶先平;徐锋;胡昊;;网构软件的研究与进展[J];中国科学E辑:信息科学;2006年10期
中国博士学位论文全文数据库 前1条
1 李雅洁;基于CORBA的多维QoS技术研究[D];西北工业大学;2002年
【相似文献】
中国期刊全文数据库 前10条
1 常志明;毛新军;齐治昌;;Bigraph理论在自适应软件体系结构上的应用[J];计算机学报;2009年01期
2 王建华;关系数据库自适应软件设计方法[J];中文信息;1997年01期
3 冯耀东;黄罡;梅宏;;一种自适应软件体系结构建模及其实施方法[J];北京大学学报(自然科学版);2008年01期
4 史殿习;丁博;张威;王怀民;;面向普适计算的自适应软件模型及平台实现[J];计算机科学;2011年04期
5 刘惠;史殿习;刘明;丁博;;面向普适计算的自适应软件集成环境研究综述[J];计算机工程与科学;2010年01期
6 张琼妮;肖刚;张元鸣;;基于XML的自适应软构件模型研究[J];计算机工程;2006年17期
7 王华;应晶;蒋涛;;基于审查不确定性的预见式软件自适应[J];浙江大学学报(工学版);2010年01期
8 陈洪龙;李仁发;;一种面向对象替换的灵活在线演化框架[J];小型微型计算机系统;2010年10期
9 冯进;尹刚;丁博;欧阳建权;史殿习;;一种基于策略的软件自适应框架[J];计算机与数字工程;2008年01期
10 王华;应晶;蒋涛;;基于审查不确定性的预见式软件自适应[J];浙江大学学报(工学版);2010年02期
中国重要会议论文全文数据库 前10条
1 王军安;;高可靠性飞行控制软件的设计及测试方法探讨[A];大型飞机关键技术高层论坛暨中国航空学会2007年学术年会论文集[C];2007年
2 张玲;陈东义;陈霸东;韩露;马福齐;;可穿戴计算机软件体系结构综述[A];第一届中国情感计算及智能交互学术会议论文集[C];2003年
3 蒋心晓;李新星;;基于分布智能的防空指挥系统软件体系结构[A];'2010系统仿真技术及其应用学术会议论文集[C];2010年
4 陈于平;刘畅;伍星;迟毅林;;转子故障智能诊断系统的软件体系结构研究[A];第十二届全国设备故障诊断学术会议论文集[C];2010年
5 李晖;张慧;赵海;蔡巍;;软件网络中的簇度相关性及演化分析[A];第八届沈阳科学学术年会论文集[C];2011年
6 杨娟;张雷;王柏;艾波;;新一代电信业务支撑系统软件体系结构的研究[A];2003年通信软件技术学术年会论文集[C];2003年
7 柳刘;金培权;周英华;岳丽华;;一种可重用和可重构的ERTDBS软件体系结构[A];第二十一届中国数据库学术会议论文集(技术报告篇)[C];2004年
8 戴学臻;赵勇;陈君;;B/S与C/S多层混合软件体系结构在公路信息管理系统中的应用[A];第十四届全国煤矿自动化学术年会暨中国煤炭学会自动化专业委员会学术会议论文集[C];2004年
9 茅维华;李家滨;;基于网络自动重配置的自防御网络[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
10 杨娟;王柏;艾波;;新一代电信运营支撑系统软件体系结构的形式化描述[A];’2004计算机应用技术交流会议论文集[C];2004年
中国重要报纸全文数据库 前10条
1 梁亚杰;太工天成:好产品与好渠道 一个也不能少[N];中国计算机报;2004年
2 CPW记者 张凤岐;IBM ThinkPad T43指纹识别保安全[N];电脑商报;2005年
3 本报记者 武汉;将网格进行到底[N];网络世界;2004年
4 程士寅;微软扬鞭奋马IBM联吴伐魏[N];中国电脑教育报;2004年
5 广文;大屏时代的极品体验[N];中国计算机报;2004年
6 王知遇;从设计模式到体系结构模式[N];中华读书报;2003年
7 学生记者 刘晓菲;驾驭飞驰的电能[N];新清华;2009年
8 ;太平人寿:随时随地的移动办公[N];中国电子报;2004年
9 陈金水;灌区信息化走踏实了[N];中国水利报;2003年
10 马玉荣;华宝兴业:侧重配置6个领域[N];证券日报;2006年
中国博士学位论文全文数据库 前10条
1 唐姗;基于目标的高可信自适应容错软件开发方法研究[D];复旦大学;2011年
2 杨春花;软件体系结构中状态方面的编织研究[D];山东大学;2010年
3 叶鹏;一种支持设计阶段软件体系结构重用的方法[D];武汉大学;2009年
4 陈晓江;分布式系统软件体系结构建模与开发方法研究[D];西北大学;2010年
5 吴克寿;基于公理设计的软件体系结构构建方法研究[D];华中科技大学;2011年
6 张友生;基于代数理论的软件体系结构描述及软件演化方法研究[D];中南大学;2007年
7 郑志;动态软件体系结构建模与模型验证方法的研究[D];大连理工大学;2010年
8 于卫;软件体系结构与软件重用方法的研究[D];西安电子科技大学;1999年
9 王锦;基于域分析的CAPP软件体系结构[D];西北工业大学;2001年
10 任洪敏;基于π演算的软件体系结构形式化研究[D];复旦大学;2003年
中国硕士学位论文全文数据库 前10条
1 耿鑫;目标驱动的基于工作流的自适应软件系统设计与实现[D];扬州大学;2012年
2 刘牛;基于Web服务的自适应软件系统的监控和预测研究[D];扬州大学;2012年
3 吴元凯;基于反射和动态AOP的自适应软件研究与设计[D];复旦大学;2010年
4 沈小钟;自适应Agent环境表示与感知机制的研究与设计[D];国防科学技术大学;2008年
5 郝小雷;自适应Agent策略描述语言的研究与实现[D];国防科学技术大学;2008年
6 蔡俊亚;基于本体的软件自适应机制分析与实现[D];湖南大学;2010年
7 郑尚书;基于CORBA的自适应软件系统关键技术研究[D];复旦大学;2010年
8 尹继元;基于JMX的动态自适应软件模型研究[D];南华大学;2011年
9 沈乐;基于强化学习的自适应技术研究[D];国防科学技术大学;2010年
10 王苹;软件体系结构自适应模型及其智能化研究[D];大连理工大学;2011年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026