性能非对称多核处理器下异构感知调度技术

为了满足应用程序的多样化需求,异构多核处理器出现并逐渐进入市场,其中的处理核心（core）具有不同的微架构或者指令集架构（ISA）,为应用提供多样化特性支持,比如指令级并行（ILP）、内存级并行（MLP）,这些核心协同工作满足整个计算系统的优化目标,比如高性能、低功耗或者良好的能效.然而,目前主流的调度技术主要是针对传统同构处理器架构设计,没有考虑异构硬件能力的差异性.在异构多核处理器环境下,调度技术如何感知硬件的异构特性,为不同类型的应用程序提供更加合适和匹配的硬件资源,这是值得探索的问题.对近年来在该研究领域的成果进行了综述研究,特别是在性能非对称多核处理器架构下,异构调度技术面临的优化目标、分析模型、调度决策和算法评估等主要问题进行了分析和描述,并依次对相关技术进行了系统的总结,最后从软硬件融合的角度对今后的研究工作进行了展望.     

一种基于上下文协商的动态服务组合方法

普适计算的计算环境和交互信息动态变化,为了提供适时适地的服务,服务组合除了满足用户的需求之外,还要适应环境的变化.以面向普适计算的分布式文档管理系统为例,提出一种基于上下文协商的动态服务组合方法,适应普适计算环境下资源动态变化的特点,同时满足用户对服务的需求.首先定义上下文和带有上下文信息的服务模型;然后给出服务和设备以及服务和用户之间的上下文协商约束条件,根据约束条件提出基本算法实现服务动态组合,并对基本算法进行优化;最后通过原型系统和实验验证算法的性能和有效性,并通过实验数据分析上下文对于服务组合的影响.实验数据说明:提出的方法能够应用在普适计算环境中上下文敏感的服务组合问题上,提高服务组合的动态适应性和网络资源利用率.     

一种基于PDCA的软件过程控制与改进模型

CMM/CMMI(capability maturity model/CMM integration)自1999年开始为中国软件企业所接受并逐步得以推广,但目前中国实施CMM/CMMI的企业还不多,有些企业实施效果并不理想.通过调查软件企业在实施CMM/CMMI过程中存在的问题,并对发现的问题及其负面影响进行分析,提出了基于PDCA(plan-do-check-action)的软件过程控制与改进模型,开发了SoftPM软件质量管理平台.该平台的广泛应用表明,该模型对提高CMM/CMMI的企业软件过程的效率和改善实施效果很有帮助.     

语义Web规则标记语言OWLRule+的设计与实现

语义Web是对未来Web体系结构的一个伟大设想，其研究分层次进行．目前足够成熟的最高层是以OWL语言为代表的ontology．但它的语义仅限于描述逻辑，该逻辑主要表示对象和类的层次结构，而规则的表达能力弱，因此在其之上需要一种表达力更丰富的逻辑语言．设计了一种新的语义Web规则标记语言OWLRule ：其语法扩展了OWL；语义基于CARIN，一种结合描述逻辑和Horn规则的表示语言；实现基于Jess规则推理机．实例学习展示了它对目前的Web ontology语言在规则表示和推理能力上的扩展．     

一个面向软件过程的知识挖掘与管理系统

软件过程的知识密集性特征要求组织人员的密切协作、交流，并能够有效地重用组织的实践经验。数据挖掘技术能够从大规模数据中发现有意义的知识，能够为知识管理提供有益的支持，从而得到更好的知识共享和重用效果。在对软件过程进行分析的基础上，提出了协同知识管理模型。介绍了一个集成的面向软件过程的知识挖掘与管理系统iKnow。对iKnow的知识表示、知识挖掘、知识服务和个性化知识检索进行了论述。系统使软件组织的实践经验成为可视、可控和可重用的知识资源。     

基于状态机的UML行为继承关系

行为继承是面向对象领域的重要概念，UML是面向对象设计中重要的建模语言。本文以一种抽象状态机为模型，给出了UML行为继承关系的形式化定义，同时证明了该定义的合理性。文章最后说明了该行为继承定义方法在UML中的具体实现。所讨论的行为继承与Harel，Sourrioulle等人的定义相比，具有更精确的含义。     

面向普适计算的服务构件动态部署问题及算法

有限的资源是嵌入式应用的一个局限性,因此越来越多的嵌入式设备联网,通过共享资源为用户提供灵活的服务以适应普适计算的要求.以构件化嵌入式操作系统Liquid为背景,研究普适计算环境下多个服务构件动态部署问题,合理分配利用资源,克服单个嵌入式设备的资源局限性.首先对部署问题进行描述,然后给出服务构件动态部署的基本算法和启发式算法,并对启发式算法优化,最后通过算法模拟及数据分析算法的性能.虽然在Liquid系统上进行模拟实现,但算法具有通用性,启发式算法的效率分析表明,它适合设备或者服务构件数目较多的普适计算环境,在部署服务构件的同时提高服务准入成功率和资源的利用率.     

基于MDA的TRISO-Model模型管理方法及应用

TRISO-Model(tridimensional integrated software development model)是为处理软件开发的复杂性和动态性而提出的三维集成软件开发方法学,其中,多维模型之间的语义一致性维护以及对模型应用中公共操作部分的重用,提出了基于一致语义进行模型管理的需求.给出了基于MDA(model driven architecture)进行模型管理的方法MDA-MMMethod(MDA based model management method),应用MDA的4层模型管理结构,基于MDA核心标准MOF(meta object facility)所提供的公共语义基础管理模型和元模型,MDA-MMMethod支持各种MDA模型操作标准实现在TRSIO-model应用中的重用.开发了相应的支持系统MDA-MMSystem(MDA based model management system),应用于SoftPM的项目实践中.与传统方法相比,模型应用的开发效率得到了显著提高,同时降低了开发成本.最后,给出了模型融合的应用实例介绍.     

软件体系结构分析与评价方法评述

近年来,软件体系结构逐渐成为软件工程领域的研究热点以及大型软件系统开发和产品线开发中的关键技术．体系结构分析评价的目的是为了识别体系结构设计中的潜在风险,帮助开发人员进行设计决策．从软件体系结构的概念出发,分类介绍了体系结构描述的不同观点,评述了国内外有代表性的分析评价方法和工具．最后探讨了软件体系结构分析评价研究中存在的不足及其原因,作为总结,给出体系结构分析评价未来的发展方向．