需求工程研究现状

目前,我国各行业亟需各种应用软件系统,但传统的SE开发模式显然不能充分满足用户的需求。进入90年代以来,一种新的被称为“用户主导,面向领域的需求分析方法”被提了出来,即如何从各种各样的应用专业领域中特别是直接从最终用户处捕获需求,并完整、准确地予以描述与分析,需求工程成为研究的热点之一。     

一种基于QoS的服务构件组合方法

在面向服务的架构中,如何利用已有的服务构件组装成新的服务成为当前此领域的一个研究热点．该文以构件化嵌入式操作系统Liquid为背景,给出了一种基于QoS的服务构件组合方法,在满足组合服务的功能需求同时,满足其QoS需求．文章详细给出了所涉及的服务模型、QoS模型以及构件选择基本算法．为使此服务构件组合方法适应于动态变化的系统环境,该文进一步对构件选择基本算法进行优化,给出了构件选择的启发和协商算法．最后通过实验,比较和分析三种算法的性能．     

ETSG-SMT:一种SMT时间信道安全问题描述模型

同时多线程(simultaneousmulti-threading,SMT)技术是现代高性能处理器的标配技术,是提升线程级并行度的重要微架构优化技术之一. SMT技术在带来性能提升的同时,也引入了新的时间信道安全问题,相对于跨核、跨处理器,SMT技术下的时间信道安全问题更难应对和防护,且陆续有新的安全问题出现.当前缺少一种系统描述SMT环境下时间信道安全问题的方法.从利用SMT技术产生时间信道的原理入手,聚焦SMT环境下共享资源产生的时间信道及其攻击机理,基于拓扑排序图(topologicalsortgraph,TSG)模型,结合数据流分析扩展得到一种适用于SMT环境下的时间信道安全问题描述模型——ETSG(extendedtopologicalsortgraph,扩展的拓扑排序图)-SMT.首先介绍SMT环境下时间信道安全问题利用和防护的技术特点以及使用TSG模型分析SMT环境下时间信道安全问题的限制与不足;然后在TSG模型基础上,针对SMT技术特征及其安全问题的形式化描述特点,结合数据流分析技术形成一套新的建模方法;最后,通过将ETSG-SMT模型应用到SMT环境下现有的攻击方法和...     

Web应用程序运行响应时间的实验研究

性能测试是保证Web应用程序成功的重要手段，但是如果不能采用正确的方法测试或者不能完全理解测试结果对测试环境的依赖性，那么测试结果很可能会起误导作用．响应时间则是性能的一个重要指标，特别是从用户的角度来看．因此进行了一系列探索性的实验来研究Web应用程序运行响应时间的特性，用统计的方法对实验结果做了分析，发现Web事务的响应时间和用户数之间呈线性关系，测试的时间和测试配置对响应时间也有一定影响．     

一种开放混合实时系统的开放自适应调度算法

开放计算环境下的实时与非实时任务不确定并发,以及多种实时约束混合的复杂约束系统,即开放混合实时系统的需求越来越广泛.通过引入接收控制、调度服务器、自适应调节机制,提出一种开放环境下的自适应实时系统调度架构--OARtS(open adaptive real-time scheduling).它能适应开放计算环境的不确定性,有控制地接受实时任务运行;可根据系统空闲计算带宽变化,自适应地调节任务的实时等级,使得系统运行在最优的实时性能上;对于软实时任务,可根据其计算带宽需求变化,自适应地调节其计算带宽分配,以适应任务执行时间时变引起的实时不确定性.     

一种基于协商的软件过程协同方法

大型软件系统的开发大多要求多人协同完成.软件过程协同的一个重要特点是协同的参与者都试图通过实施协同任务来取得最大化的获利,因而协同的决策和实施不是强制性的,而是由软件开发人员或软件组织经过协商来进行的.传统的软件过程建模方法中对软件过程协同的描述是刚性的,即在满足进入条件或者被显式调用时,协同就一定会被触发,并按照一个规定好的规则或方针来实施,这样的方法难以适应软件过程协同中所表现的协商特性.提出了一个基于协商的软件过程协同方法,将软件过程描述为一组相对独立的、自治的、理性的、协作的软件过程Agent,过程Agent之间的协同关系由过程Agent通过协商确定,相比传统的方法,具有能够更好地适应软件过程协同的特点.     

静态实时中间件的优先级映射问题

使用截止期单调(DM)调度算法和分布式优先级冲顶资源访问控制协议(DPCP)的实时CORBA系统中,当节点的本地优先级个数不足时,必须将多个全局优先级映射成一个本地优先级.这需要：①判定映射后任务可调度性的充分必要条件;②减少时间复杂度的映射算法.为此,推导出判定条件,确定了DGPM映射算法.该算法在保证系统可调度的前提下分配任务,或者证明映射后系统不可调度.证明了DGPM算法能调度其他直序列优先级映射算法可调度的任务和GCS集合.判定条件和算法在实际项目中得到了应用.     

基于动态资源使用策略的SMT执行端口侧信道安全防护

同时多线程(simultaneous multi-threading, SMT)技术是提升线程级并行度的重要微架构优化技术之一,SMT技术能够在1个物理核上实现2个逻辑核,提升处理器的整体性能.然而,以共享执行端口为代表的SMT环境下特有的时间侧信道安全问题也陆续出现.提出了一种基于动态资源使用策略的SMT环境下执行端口时间侧信道攻击防护方法,基于SMT技术对数据结构资源的不同处理方式设计动态策略调整算法,通过改进处理器端口绑定及调度选择算法以防护SMT环境下执行端口时间侧信道攻击.防护设计实现了端口冲突矩阵、分支过滤器和动态资源使用策略修改器3个组件,该方法在防护有效性上可以达到关闭SMT技术的防护效果且性能开销大大降低,同时硬件开销可控,具有较高的应用价值.     

基于CoP建模的协作过滤推荐方法

传统的协作过滤推荐方法主要基于个人兴趣特征来实现推荐。在组织内部协作场景下,为实现知识共享与重用,推荐系统不仅要考虑用户兴趣,还应考虑用户和用户组的任务。传统的协作过滤推荐方法已不能满足要求。CoP是组织内部人员管理的主要形式,它的特征是其成员任务的反映。基于已有的协作过滤推荐研究与D-S理论,提出了一种CoP特征构建算法,并以此为基础研究了面向CoP的协作过滤推荐。     

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

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