模型参考自适应控制的20-sim软件实现

简要地介绍了李雅普诺夫稳定意义上模型参考自适应控制（MRAC）的基本原理,给出了设计MRAC控制系统的基本步骤。基于荷兰Twente大学控制工程系研发的机电一体化设计软件20-sim,以Twente大学先进控制演示仪为研究对象,在20-sim下建立了系统的图标化数学模型,编制了模型参考自适应和Lyapunov求解模块。在此基础上,构成了完整的MRAC控制系统。仿真结果显示基于20-sim建模与仿真方法直观简便,所设计的模块可移植性强,为控制系统的建模与仿真提供了新的思路。     

软件构件模型及实现方法分析

本文介绍了DCOM,EJB,CORBA三种构件模型,并对它们各自的特点进行了介绍,同时通过对它们进行比较,给出它们各自的优缺点及相互关系。     

一种软件自适应UML建模及其形式化验证方法

软件自适应的建模和形式化验证是提高自适应软件开发效率、保证自适应软件可靠性的基础,现有研究中软件自适应可视化建模与形式化建模相隔离,一定程度上阻碍了自适应软件的开发.为此,提出MV4SAS的方法,将可视化的UML与严格化的时间自动机相结合,用于软件自适应的建模和形式化验证.首先,应用UML扩展机制引入新的构造型、标记值和约束条件,定义软件自适应建模设施,在此基础上构造软件自适应结构模型和行为模型;然后,根据定义好的转换算法将软件自适应行为模型转换为时间自动机网络,建立软件自适应形式化模型;最后,定义一组软件自适应形式化验证性质,并利用模型检测工具UPPAAL验证软件自适应模型的可靠性.案例研究表明,该方法可有效降低软件自适应建模和验证的复杂度,提高软件自适应的建模效率和模型可靠性.     

自适应软件初探

随着因特网向社会各角落的渗透式扩张,普适计算、网格计算等新型应用模式的不断涌现,软件面临的挑战也越来越多：管理和维护成本逐步增加、对健壮性的需求逐步增加、存储态与运行态方面的差异越来越明显,等等。自适应软件针对上述挑战,提供了一系列新的解决机制,试图使软件自身能够在运行过程中,实时收集系统的各种变化信息,并根据预先设定好的策略,在必要时对自身进行自动调整,从而更好地为用户提供服务。本文结合作者的研完工作,对自适应软件的基本概念、研完现状、研完途径等问题进行了初步探讨。     

基于构件的软件复用在软件企业中的实现模型

阐述了基于构件的软件复用技术，利用其成熟的构件设计标准提出了一种比较实用的实现模型，并尝试此技术在公务网项目中的实践应用，极大地方便了软件复用，对提高软件开放效率有着重要意义。     

面向普适计算的自适应软件集成环境研究综述

在对当今主要普适计算研究项目,尤其是面向普适计算的软件集成环境原型系统进行介绍的基础上,本文对面向普适计算的软件集成环境所关注的共性问题进行了归纳分析,包括如何为应用提供自适应的软件体系结构支持、如何为应用提供普适计算环境下所需的可重用服务、如何根据普适计算环境的特点对传统中间件技术的内涵进行扩展等等,并对面向普适计算的应用需求下软件集成环境研究所面临的挑战进行了讨论。     

软件过程环境的设计与实现

本文主要讨论了软件过程环境ISPE（integratedsoftwareprocessenvironment）的设计与实现．首先．讨论了ISPE的体系结构，介绍了可视化的过程建模语言VPMI，（vispalprocessmodelinglanguage）．然后，在这些内容的基础上，详细讨论了ISPE的几个重要的组成部分：过程编辑环境、过程分析和模拟环境以及过程运作环境．最后，本文给出了一个小结．     

基于Tropos~+需求模型的软件自适应方法

在模型驱动的软件自适应控制过程中,监测、分析、决策和执行等活动均基于共享的知识模型。为便于知识重用和运行时维护,常采用抽象级别较高的需求模型来表示知识。为建模软件的适应性需求,针对传统的Tropos及其扩展方法不能用于软件对异常事件适应性需求建模问题,对Tropos进行上下文和异常条件扩展,记为Tropos+。在此基础上,提出一种由Tropos+需求模型驱动的软件自适应方法,该方法能够用于软件运行环境和异常事件监测以及软件对环境变化和异常事件的自适应处理。最后通过一个案例说明了软件自适应过程。     

Linux环境下一种软件复用方案的设计与实现

设计并实现了Linux环境下一种软件复用的方案,由逻辑切分、相互关系、表示法和复用配置工具组成。分析与实践均证明该方案是一个较优的方案。该方案已成功地应用到几个实际产品的生产中,取得了较大的效益。     

一个基于改进RBAC模型的自适应权限构件

针对权限管理在设计上存在的重复性及现有RBAC模型在实际应用中存在的不足,本文提出了一种改进的RBAC模型,该模型在主要对角色授权的基础上加入了对用户的直接授权、屏蔽角色中的部分权限和利用优先级解决互斥权限分配的机制.利用该模型从复用的角度设计并实现了一个具有自适应性的系统级权限构件,实现了权限管理的构件化,为以后的软...     

一种基于Agent的自适应软件过程模型

传统的软件过程模型大多是静态的、机械的、被动的,它们要求软件工程人员在描述软件过程时预期所有可能发生的情况,并且显式地定义这些问题的解决方案.当软件过程所处的环境发生变化时,软件过程无法自适应地对这些变更作出相应的调整.提出了一种基于Agent的自适应软件过程模型.在这种软件过程模型中,软件过程被描述为一组相互独立而对等的实体--软件过程Agent.这些软件过程Agent能够对软件过程环境的变化主动地、自治地作出反应,动态地确定和变更其行为以实现软件开发的目标.     

软件可信评估模型及其工具实现

软件可信评估是软件质量保障的一项重要内容。现有软件可信评估研究存在适用的软件形态单一、评估的可信属性固定、缺乏具体的评估工具等不足。因此,提出了一种通用的软件可信评估模型,系统地讨论了模型的实现过程,开发了一个可信评估管理系统,通过对一个税务领域案例的详细分析,验证了模型实施的可行性。该研究及评估工具能有效辅助软件可信评估活动的实施,指导软件质量的改进。     

一种面向普适计算的自适应软件平台的设计与实现

普适计算的适应性特征带来了有必要在软件平台层面解决的一系列共性问题,包括如何定义所支持的自适应软件体系结构、如何为上层应用的自适应提供必要的公共服务、如何使平台自身可以适应多维资源受限环境等。针对这些挑战,提出了对普适计算设备/资源进行适应性抽象的自主单元的概念,在此基础上给出了面向普适计算的自适应软件平台UbiStar的系统架构及其核心机制的设计与实现,并对UbiStar平台对适应性软件所提供的支持机制进行了概括,最后对相关工作进行了分析与比较。     

角色约束模型及其在软件模式实现中的应用

在已有的角色约束描述方法的基础上,对角色约束进行了分类,提出了一个结构化的角色约束模型SRCM及形式化方法,分析了模型中角色约束间的关联,并介绍了角色约束在建模中的应用实例。使用该结构化的角色约束模型不仅可以更完整地描述角色约束,而且可以使角色约束的描述更加清晰,有助于设计者实现角色的分配及组合,有利于角色模型的实现。     

一种面向体系结构的自适应软件构件分派模型及算法

自适应演化软件是近年来软件工程领域的研究热点,而以体系结构为中心的自适应演化尤其受到重视.针对当前演化中对非功能性约束关注的不足,着重对面向体系结构的自适应演化框架中构件的分派优化问题进行研究.首先详细描述了基于体系结构模型的构件分派问题,并建立能够满足嵌入式软件构造机制中非功能性约束的分派模型,接着证明该分派问题为NP完全问题,最后提出一种启发式分派算法找出近似最优解,实验表明,与贪婪和整线性规划算法相比,该算法具有多目标均衡的优势;而与整线性规划算法相比,虽然不能保证找到最优解,但具有较大的计算时间优势.     

笔式界面软件资源管理模型及其实现*

针对目前文档管理模式和WIMP界面交互范式对笔式交互的不足,提出了笔式界面软件文档资源管理的统一模型,能够有效地管理笔式界面软件所产生的文档数据,并且根据此模型实现了笔式界面的文档资源管理系统,采用了PIBG交互范式和实物界面.评估结果表明,根据此模型设计的系统,能够提高用户工作效率,降低用户的认知负担.     

自适应软件系统模型偏差检测方法的适用性评估

自适应软件系统的模型偏差会导致诸多可靠性问题.对控制型自适应软件系统而言,其面临的模型偏差源自描述软件系统的标称模型在非确定运行环境中的漂移现象.现有模型偏差检测方法往往忽视了不同模型偏差之间的差异性,导致用户难以为其特定的应用场景选择合适的检测方法.针对这一问题,提出了一套特性指标,用于评估模型偏差检测方法在不同模型偏差场景下的适用性.该特性指标基于提出的模型偏差检测框架,系统分析了模型偏差检测过程中的重要因素,并提取控制信号强度、环境输入强度和非确定性强度作为量化的特性指标.基于这些特性指标,实验研究4种主流模型偏差检测方法在不同场景下的检测效果,并总结不同模型偏差检测方法对于自适应软件系统不同特性场景的适用性.     

一种基于VPML-Java的分布式虚拟环境模型及其实现

以分布式虚拟环境下的协同工作为根本目的,分析了采用VRML-Java作为开发平台的可行性,并在此基础上提出了基于VRML-Java的分布式虚拟环境的一种模型,对其实现作了简要介绍.