首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  国内免费   1篇
  完全免费   5篇
  自动化技术   6篇
  2015年   1篇
  2013年   2篇
  2007年   2篇
  2006年   1篇
排序方式: 共有6条查询结果,搜索用时 31 毫秒
1
1.
构造具备自适应能力的软件   总被引:1,自引:0,他引:1       下载免费PDF全文
丁博  王怀民  史殿习 《软件学报》2013,24(9):1981-2000
随着应用场景的变迁和自身复杂性的增长,软件需要具备主动适应环境变化的能力,能够依据环境变化动态调整其行为.软件自适应的实现技术跨越了软件监控、上下文敏感计算、决策和控制理论、软件演化和维护等多个学科分支,如何系统化地构造此类软件,是软件工程领域所面临的巨大挑战.从自适应软件构造与实现这一角度出发,以“感知-决策-执行”软件自适应基本周期为主线,对已有的研究和实践进行综述.给出软件自适应的概念内涵,概述软件自适应活动在感知、决策、执行各环节上的特征分类,阐述面向自适应软件构造、关注程度较高的一系列使能技术,进而在分析典型研究项目现状的基础上,给出自适应软件构造领域的未来主要研究趋势.  相似文献
2.
当前计算机软件已深入应用到国民经济各个领域中,然而其性能的衰退使得软件系统无法满足用户的需求,因此研究一种新的具有自适应功能的系统已十分迫切.针对这个问题,采用C2体系结构风格描述一个自适应系统,并利用统一建模语言UML对其进行建模.  相似文献
3.
当前计算机软件已深入应用到国民经济各个领域,然而其性能的衰退使得软件系统无法满足用户的需求,因此研究一种新的具有自适应功能的系统已成为十分迫切的需求。该文针对此问题,采用C2风格描述了一个自适应系统,并通过Petri网对其进行形式化建模和分析。  相似文献
4.
当前计算机软件已深入应用到国民经济各个领域中,然而其性能的衰退使得软件系统无法满足用户的需求,因此研究一种新的具有自适应功能的系统已十分迫切。针对这个问题,采用C2体系结构风格描述一个自适应系统,并利用统一建模语言UML对其进行建模。  相似文献
5.
Mission-critical software(MCS) must provide continuous,online services to ensure the successful accomplishment of critical missions.Self-adaptation is particularly desirable for assuring the quality of service(QoS) and availability of MCS under uncertainty.Few techniques have insofar addressed the issue of MCS self-adaptation,and most existing approaches to software self-adaptation fail to take into account uncertainty in the self-adaptation loop.To tackle this problem,we propose a fuzzy control based approach,i.e.,Software Fuzzy Self-Adaptation(SFSA),with a view to deal with the challenge of MCS self-adaptation under uncertainty.First,we present the SFSA conceptual framework,consisting of sensing,deciding and acting stages,and establish the formal model of SFSA to lay a rigorous and mathematical foundation of our approach.Second,we develop a novel SFSA implementation technology as well as its supporting tool,i.e.,the SFSA toolkit,to automate the realization process of SFSA.Finally,we demonstrate the effectiveness of our approach through the development of an adaptive MCS application in process control systems.Validation experiments show that the fuzzy control based approach proposed in this work is effective and with low overheads.  相似文献
6.
软件自适应的建模和形式化验证是提高自适应软件开发效率、保证自适应软件可靠性的基础,现有研究中软件自适应可视化建模与形式化建模相隔离,一定程度上阻碍了自适应软件的开发.为此,提出MV4SAS的方法,将可视化的UML与严格化的时间自动机相结合,用于软件自适应的建模和形式化验证.首先,应用UML扩展机制引入新的构造型、标记值和约束条件,定义软件自适应建模设施,在此基础上构造软件自适应结构模型和行为模型;然后,根据定义好的转换算法将软件自适应行为模型转换为时间自动机网络,建立软件自适应形式化模型;最后,定义一组软件自适应形式化验证性质,并利用模型检测工具UPPAAL验证软件自适应模型的可靠性.案例研究表明,该方法可有效降低软件自适应建模和验证的复杂度,提高软件自适应的建模效率和模型可靠性.  相似文献
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号