软件需求工程-方法及工具评述

文中从需求工程的基本概念和研究内容出发,简单介绍了需求工程生命周期和需求规范等概念;比较全面地总结了现有的有代表笥的需求工程开发方法和工具,对其中一些重要的方法及工具作了分类和评述,并指出了需求工程方法和工具开发与实际领域相脱离等不足之处;最后探讨了需求工程研究现状中存在的一些主要问题及一些相应的解决方案。     

基于硬件分支信息的ROP攻击检测方法

控制流完整性保护技术（control flow integrity,简称CFI）是防御面向返回编程攻击（return-oriented programming,简称ROP）的一种有效途径.针对现有CFI中存在的四大问题：性能开销大、依赖程序代码信息、容易遭受历史刷新攻击以及规避攻击,提出了基于硬件分支信息的ROP攻击检测方法——MIBChecker （mispredicted indirect branch checker）.该方法实时地利用硬件性能管理单元（performance monitor unit,简称PMU）的事件触发机制,针对每个预测失败的间接分支进行ROP攻击检测,规避了历史刷新攻击的可能,同时提出基于敏感系统调用参数的新型检测方法来检测短攻击链（称为gadgets-chain） ROP攻击.实验结果表明,MIBChecker能够不受历史刷新攻击的影响进行ROP短指令片段（称为gadget）检测,可有效地检测出常规ROP攻击和规避攻击,并仅引入5.7%的性能开销.     

S-Bridge:性能非对称多核处理器下负载均衡代理机制

近年来,在移动计算环境中,异构多核处理器已经逐渐成为主流.与传统同构的处理器设计相比,此类异构多核处理器以更低的功耗成本满足设备的计算需求.但是异构环境下CPU核之间的微架构差异,也为操作系统中的一些基本方法提出了新的挑战.面向性能非对称异构多核环境下调度的负载均衡问题,从系统层面提出了一种负载均衡机制S-Bridge,可以减少处理器微架构差异以及任务执行需求差异对传统负载均衡带来的影响.S-Bridge的主要贡献是从系统层提供了通用的、适配异构性的负载均衡相关接口,使任意调度器都能方便地与异构多核处理器系统进行适配.基于CFS和HMP调度器在ARM平台上进行实验,同时在X86平台上进行S-Bridge通用性的验证,结果表明：S-Bridge可以支持不同真实平台和内核版本的快速实现,平均性能提升超过15%,部分情况下可达65%.     

无油润滑泵研制

无油润滑泵同时具有普通卧式离心泵与磁力泵的双重优点。三年多的应用证明其可满足较为苛刻的使用条件要求。具有不易泄漏、轴承不易损坏、连续运转时间长、不需加油润滑、结构简单、成本低等诸多优点,是普通卧式离心泵的升级换代产品。现有水泵厂不需添加设备即可生产。     

一种基于组织实体能力的软件过程建模方法

提出了一种基于组织实体能力的软件过程建模方法(organizational entity capabilities based software process modeling method,简称OEC-SPM),针对软件过程的特殊性,将具有确定能力的组织实体定义为建模过程中的核心要素和基本单元——过程Agent(过程主体).过程Agent根据其自身的目标、知识、经验和能力,在确定的项目目标和约束环境下,通过主动和自治的行为推理,生成具体的软件开发过程和生产过程,为软件项目开发提供正确的决策和有效的支持.该方法由于在建立软件过程时充分考虑过程执行者完成目标的能力,使建立的过程具有良好的可预见性,具备过程稳定执行的前提,因此从根本上解决了软件过程不稳定、难以控制等问题.     

一种基于Jini技术的分布式浏览器的设计和实现

应用Jini技术可以构建简洁、稳定、可伸缩、支持网络“即插即用”的分布式应用程序。将Jini技术应用于浏览器的设计实现上．使之成为一个良性的Jini服务．可以有效的拓展浏览器的概念和应用领域。     

智能交通仿真与车辆Agent决策策略的研究

文章介绍了Agent技术及特点,根据Agent的原理及其仿真的优势,着重叙述了Agent技术在交通仿真中的应用,详细探讨了基于Agent的智能仿真系统中车辆Agent的决策特点及模糊决策方法,同时,还分析了驾驶员因素对驾驶行为的影响。     

QuCOM:一种面向构件系统的QoS管理模型

在性能变化不确定的系统内,不同的应用处于竞争和共享有限的系统资源、并受其变化影响的环境中．在系统运行时,对于需要QoS保证的应用,为保证其QoS属性,应能适应于这种环境．考虑到系统资源的全局管理特性,仅从应用中增加适应机制是不够的,还需在系统层中增加QoS管理机制．为此,给出了一种面向构件系统的QoS管理模型——QuCOM（quality component）及其集成到系统构件框架的方法,使基于QuCOM开发的构件应用能够适应于变化的系统环境,并为了验证QuCOM的有效性,以一个视频流应用为例,给出了相关实验数据分析．     

基于指令流访存模式预测的缓存替换策略

传统的缓存替换策略主要基于经验主义,近年来研究者们使用预测技术推测访存行为,提高缓存替换的准确性,预测技术的应用是当前缓存替换策略研究的热点.由于访存行为自身的复杂性,直接在缓存系统中预测访存行为是困难的,要面对很大的不确定性.当前已有的研究为了解决该问题,使用越来越复杂的预测算法来分析访存行为之间的关联.然而这种方式...