基于验证的自适应系统决策:一种模型驱动的方法

自适应系统需要根据运行时上下文和自身的变化进行其行为的调节.为实现自主调节,自适应系统必须被赋予运行时监测上下文和自身变化,分析需求满足程度的变化,以及推理得到自适应决策的能力.这种在线决策的行为在满足功能需求的同时,还需要保证系统满足特定的非功能需求,如可靠性和性能等.本文提出了一种基于验证的自适应系统优化决策方法,以保证非功能需求的满足.该方法在识别可调节目标以建模自适应机制的同时,将系统的目标模型映射为相应的行为模型,用标签转移系统表示;以可靠性需求为例,用标记目标模型规约任务的可靠性;然后将系统行为模型和可靠性规约整合为带可变状态的离散时间马尔可夫链,将候选自适应配置描述为不同可变状态间的组合;最终通过相关需求的在线验证,使系统找到关于某类上下文的最优决策配置.本文通过一个移动信息系统的案例展示了该方法的可行性和有效性.     

自适应主机微隔离安全策略自动生成方法研究

本文面向自适应微隔离系统提出了自适应主机微隔离安全策略自动生成方法.研究表明,面向业务策略管理语言,基于分布式监控与统一的自适应策略计算引擎,系统可识别虚拟机业务角色,并自动计算生成科学可行的安全策略,以此为机制,系统可为云数据中心维护策略体系,并在很大程度上简化安全策略;在云数据中心通过平台布置安全体系的基础上,虚拟机迁移、复制、扩展时,自适应主机微隔离平台会自主重新计算策略,可自动调整策略,无需耗费过多时间与人力.     

基于目标的软件可信性需求规约方法研究

高可信系统的软件规模不断扩大,其关键是分析并定义一致的可信需求描述,直接影响到需求规格说明的质量,进而影响到最终软件产品的质量。在目前公认的非功能需求规约框架的基础上,利用B抽象机理论,结合面向目标的规约方法,建立了一种可信性需求的分析与定义方法,即软件可信剖面。该方法可应用于UML,利用B抽象机理论,为可信性需求模型的定理化证明奠定了基础。     

基于普适环境的自适应系统研究

作为新的计算模式,普适计算为应用技术界开辟了一个崭新、宽阔的研究领域.普适计算的目标是无时无处不在而又不可见,具有泛在性、便捷性和适应性的特点,对软件自适应机制提出了新的挑战.针对自适应技术用于普适计算下存在的问题,对自适应技术的体系结构展开研究,提出了一个适用于普适计算环境的自适应中间件模型.力图实现一种能够较好支持普适计算环境的软件基础架构,并通过分布仿真原型系统的实验比较说明该中间件体系结构的执行效率.对自适应系统与自适应策略进行了探讨.     

面向数据中心虚拟机部署的智能优化策略?

虚拟机部署问题是影响数据中心性能的关键问题之一。文中综合考虑资源损耗、系统功耗和负载均衡度,提出面向数据中心虚拟机部署的智能优化策略。该策略首先建立虚拟机部署优化的多目标数学模型,然后将虚拟机部署问题抽象为装箱问题,最后提出基于改进的自适应离散型人工萤火虫群优化算法的优化策略。仿真实验表明,文中的自适应离散型人工萤火虫群优化算法具有较强的鲁棒性和较快的收敛速度,提出的智能优化策略能有效解决虚拟机部署问题。     

云计算中虚拟机放置的自适应管理与多目标优化

云计算的一个关键需求是其基础设施中大规模虚拟机的放置问题.虚拟机和物理结点之间的映射决定了如何将云计算中虚拟化资源分配给多个Web应用,对云计算系统的性能、能耗和QoS保证有重要影响.文中提出了云计算中虚拟机放置的自适应管理框架,提出了带应用服务级目标约束的虚拟机放置多目标优化遗传算法,用于制定框架中的虚拟机放置策略....     

面向多策略服务的一种基于属性角色访问控制模型

针对面向服务环境中用户数量大量增长和资源访问策略日益复杂多样化的需求,分析国内外相关研究的发展和局限性,提出了面向多策略服务的一种基于属性角色访问控制模型.该模型根据多策略中用户属性和资源属性的关系,定义多组用户角色,制定相应规则,分配用户角色,满足访问策略多样化的需求,增强了系统管理灵活性,提高系统效率.给出了模型实例分析,并对国内外相关模型进行了比较.     

开放式实时系统中的自适应调度方法

首先针对开放式实时系统 ,讨论了自适应实时调度的需求情况和自适应技术应用上的关键问题 ;提出了适用于硬实时调度需求的调度参数自适应调整机制 ;重点面向软实时调度需求 ,提出了一种基于模糊控制策略的自适应调度方法 ,它致力于动态跟踪调度对象的负载变化 ,并把截止期错过率控制在期望值附近 .相对于现有方法 ,更适合于解决开放式实时系统中的自适应调度问题     

Web应用服务器的适应性失效检测

失效检测是分布式系统的基本可靠性保障技术,它对运行时系统的存活状态进行及时检测.作为网络分布计算环境中的主流中间件,Web应用服务器(Web application server,简称WAS)需要提供良好的检测机制,并且要能满足适应性的需求.适应性失效检测要求失效检测器能够根据应用需求和系统环境的变化而动态地改变检测的质量.首先给出了WAS的多层失效检测模型,然后基于失效检测器的服务质量规约,提出了适应性失效检测算法,并设计了一个WAS的适应性失效检测框架.它能够满足动态调整失效检测质量和灵活集成失效检测器的要求.该工作在OnceAS应用服务器中进行了实现,并给出了OnceAS平台上的实验及数据.     

一种用描述逻辑刻画多代理系统规约的方法

支持模块化的语言机制和严格性能够很好地推动代理技术向更广泛的、更大规模的应用发展.朱宏等人提出的基于模型的多代理系统开发方法提出了符合面向Agent软件工程思想的语言机制,如Caste和Scenario.以该方法为基础提出了基于描述逻辑的对多代理系统的规约进行形式化刻画和分析证明系统属性的方法.利用描述逻辑的强大的表达力刻画多代理系统的规约,利用其自身的推理机制对系统属性进行推理、证明和验证,可以增强基于代理系统的严格性.     

符合OSEK的uC/OS任务调度策略

根据OSEK OS规范,对实时操作系统uC/OS II的任务调度策略进行改进。提出一种符合OSEK OS规范的任务管理机制,修改uC/OS II的优先级判定方法,以使数值0代表优先级最低,数值越大优先级越高。测试结果表明,修改uC/OS II后的操作系统支持同优先级多任务,同优先级队列中的任务按FIFO顺序调度。     

慢衰落信道下并行HARQ系统的速率自适应算法

为提升慢衰落信道下多路并行混合自动重传请求(HARQ)系统的吞吐率性能,提出一种基于实时信道状态信息估计的速率自适应算法.设计适用于多次重传的速率自适应策略,推导系统吞吐率与速率选择的关系,并使用动态规划方法求解最优速率配置.瑞利衰落信道下的仿真结果表明,相比使用非实时信道状态信息的HARQ速率自适应算法,实时信道状态...     

多媒体通信网络性能需求的定量分析

本文从多媒体通信的基本因素、多媒体通信系统网络带宽的需求、多媒体通信系统的性能指标、多媒体应用系统的性能指标需求等方面对多媒体性能需求作了定量分析。     

面向特征的反射式实时应用系统领域模型研究

本文主要研究实时应用系统领域工程中领域模型规约描述的问题，即开展实时应用软件设计与开发的垂直复用研究。通过扩展FODA（Feature-Oriented Domain Analysis）方法，引入实时特征作为该领域的需求规约单元，并从语义的角度来认识实时特征及其领域需求组织方式，同时应用反射技术来增强领域需求规约的动态性，最终归结为将实时特征作为实时应用需求空间的一阶实体来认识和组织实时应用系统领域模型，以寻求今后对实时应用系统领域语义一致性和可演化性的逻辑表达。     

一种扩展UML/UP的需求分析方法

UML是面向对象分析和设计的工业标准;UP(Unified Process,统一过程)是使用UML作为建模语言的软件工程过程.UML和UP结合在一起成为一种很强大的软件工程方法学.UML/UP作为方法学,在需求方面存在两大不足:需求表达能力不强;需求表达与后续的系统分析和设计有较大的鸿沟.分析了需求工程中用例和场景分析以及用例图示的高层设计方法.在此基础上,提出了在需求方面增强了UML/UP方法.     

一种符合3GPP标准的动态带宽适配算法

3GPP的PSS规范定义了移动流媒体动态带宽适配技术的框架,其具体的适配算法一直是研究的热点;提出一套符合3GPP技术标准的流媒体服务器端的无线网络带宽估计和适配算法;带宽估计算法利用探测和缓冲滤波判断是否达到上切标准;适配算法根据剩余媒体时间重新计算编码流速率,并保证在任何信道容量变化模型下都不发生缓冲区下溢;提出的算法提高了接收端的服务质量且快捷、可靠,不增加网络负担;最后,结合3GPP的技术标准TS26.234给出算法的实现方案和仿真结果。     

基于RBAC的统一权限管理系统研究

通过对当前基于RBAC模型的各类权限管理系统应用情况的具体分析,指出基于具体需求开发的权限管理系统的不足以及开发一个统一权限管理系统的可行性,该统一权限管理系统具有自适应性、通用性和集中性等特点,可以减少权限管理系统的重复开发,同时提高系统的健壮性和可维护性。文中给出了基于RBAC改进的统一权限模型,并在此模型的基础上详细阐述了满足统一性要求的权限管理系统体系结构。     

基于SWRL的软件需求一致性验证方法

需求质量已经成为确保软件项目成功的一个重要因素,对复杂软件系统的需求进行检查和验证,是需求工程中非常重要的工作。在基于领域本体的需求获取和分析等相关工作基础上,提出了一种基于本体和语义规则的需求一致性验证方法,将自然语言描述的需求分解成若干结构良好的最小需求项,使用领域本体的概念模型对其进行形式化和结构化的表示。通过领域本体中的知识来映射需求语义,采用语义万维网规则语言（SWRL）来定义需求一致性验证的推理规则,并通过实例对此方法进行了分析和验证。     

容错CORBA模型的研究与实现

容错CORBA是OMG组织为了适应分布式系统对容错性能的要求而对通用CORBA作的一个扩展，首先简要介绍了容错CORBA规范的一些基本概念以及相关研究，然后提出并实现了一个基于主动复制的容错CORBA模型，该模型利用全序服务实现了对象组成员处理请求的全序性，利用可靠服务保证了所有对象组的成员可以收到相同的请求报文，还在模型的调度机制上进行了研究并进行了系统的优化，实现了性能的提高．     

基于安全策略模型的安全功能测试用例生成方法

实施第三方安全功能独立测试是信息安全产品测评中的一个重要环节,对于以安全数据库管理系统为代表的信息安全产品,其系统规约的测试并不能完全真实反映系统行为,还需要满足系统安全策略.提出了基于安全策略模型的安全功能测试用例自动生成方法,该方法包括基于语法的划分、基于规则的划分、基于类型的划分等步骤,依据形式化安全模型生成正确描述系统行为的操作测试用例集.该方法有助于提高测试质量,发现手工测试中难以发现的缺陷,并有助于减少测试过程中的重复劳动,实现测试自动化并提高测试效率.