VCSTalk：基于DEA的开源软件开发人员效率评价工具*

介绍了VCSTalk的具体设计和实现架构,并展示了它用于评价若干开源软件项目中的开发人员效率的一个具体实例.     

短消息指标新定义及在事务信道限制中的应用

短消息指标可以度量隐蔽信道的短消息传输能力,是信道容量的必要补充.但指标现有定义中还存在着以下问题:消息长度参数在普通信息系统中不能定量分析;信道限制机制难以同时满足传输时间和保真度两个约束;没有包含消息的敏感度信息.针对这些问题,首先通过引入短消息传输价值的概念,给出了短消息指标的新定义.在该定义中,利用价值阈值统一表示系统对信道短消息传输能力的容忍程度,并且在所采用的价值函数中引入了消息的敏感度因素.其后,基于安全实时数据库应用场景给出了结合短消息指标和信道容量的事务隐蔽信道度量和限制机制.理论分析和模拟结果表明,基于短消息指标的新定义,系统可以对隐蔽信道威胁实施全面的度量和可调节的限制.     

基于工作流的J2EE遗留系统改造

为了满足用户对软件系统内部业务过程定义的定制需求,针对流行的J2EE平台,以工作流技术为基础设计了对遗留软件系统的改造平台JSPMP,JSPMP利用工作流引擎的过程定义与任务管理能力驱动系统业务流程执行,赋予软件系统在业务过程定义方面的动态可定制性.实践证明,开发者利用此方案能够迅速改造遗留系统,满足用户多样化的过程定制需求,极大地降低了改造、定制成本.     

回头沟隧道围岩冻胀率实验研究

为了避免冻胀力对寒区隧道的影响,该文通过对回头沟隧道三个断面的裂隙进行现场调查,了解了各个断面的裂隙状况,并选取隧道围岩进行了岩石冻胀性试验,分析了不同温度下围岩应变随时间的变化规律,得到岩石的线性膨胀率。结合裂隙的发育情况,经过理论计算得到各断面的围岩冻胀率,为后期围岩冻胀力和隧道防冻的研究奠定了基础。     

功能点分析方法研究

软件规模度量是估算软件项目工作量、成本和合理策划项目进度的基础。本文针对当前流行的软件规模度量方法——功能点分析方法进行综述,阐述了功能点分析方法的基本概念和分析流程。比较全面地总结了现有的代表性功能点分析方法和工具,对一些重要的方法和工具做了客观分析,探讨了功能点分析方法中存在的一些问题及当前研究情况。最后,总结了功能点分析方法的研究现状并对功能点分析方法的发展方向进行了展望。     

利用构建语义词典的查询自动分类方法

为解决传统的文档分类方法和手工分类方法都不适宜于处理查询分类的问题,提出了一种基于Web的自动构建特定主题的语义词典的方法来分类搜索查询,通过基于主题的Web信息采集和bootstrap-ping,由某个主题的少量关键词逐步扩充,最终得到该主题的语义词典及词典中每个单词的相对词频.Web中信息的冗余和各主题语义上的差别使各主题的语义词典中单词的种类和数量存在很大差异,这种差异可以用来对用户的搜索查询进行分类.实验结果表明,利用语义词典可以较准确地将用户的查询分类,同时该分类方法基本上不需要人工介入,且可适应搜索查询覆盖面广和实时性强的特点,较好地解决了搜索查询分类的问题.     

基于改进网络模型的大时滞网络拥塞控制算法

随着对网络拥塞控制的深入研究,出现了许多有关网络流量的控制理论及网络模型.Misra等人于2000年基于流体流(fluid flow)理论提出的模型被研究人员广为采用.但模型在推导过程中的一些近似却使得模型对网络行为描述不精确.本文对此从理论和实验结果两方面进行了详细分析,并对原模型进行了改进.基于改进的模型,把一种PID(Proportional Integral Differential)及类PID设计方法用于AQM(Active Queue Management)控制器的设计.对比仿真结果表明,该算法具有更好的性能.     

计算机取证研究综述

计算机取证是法学、刑事侦查学和计算机科学的交叉学科，对于计算机取证和电子证据的研究必须体现这一交叉学科的特点。本文总结了近年来国内外的研究情况，提出了今后的研究重点和方向。     

GH30合金管内壁裂纹的分析

本文研究了GH30合金管内壁裂纹形成的机理,考察了管坯加热温度、轧辊转速、顶头预热温度和轧辊倾角等工艺因素对荒管内壁裂纹的影响,从而给在生产实践中证明为消除裂纹的可靠工艺措施提供了进一步论证。 研究结果表明:由于管坯加热温度偏高,穿孔中顶头同金属间形成一种粘结摩擦,使荒管内壁表层金属的瞬时温升很高,导致晶界弱化和“失塑”,在变形过程中各种应力的综合作用下,使内壁金属极易破坏而形成沿晶发展的粘结摩擦热致裂纹。     

单调速率及其扩展算法的可调度性判定

任务可调度性判定是实时系统调度理论研究的核心问题.单调速率(RM)算法是实时调度的重要算法,自其提出以来已被广泛研究.然而到目前为止,尚缺乏专题性的文章来系统而深入地探讨RM及其扩展算法的可调度性判定,以及各种现实条件和实现方式(包括任务调度的时间开销和任务同步问题等)对可调度性的影响.围绕RM算法下的可调度性判定问题,由浅入深,系统性地讨论各种不同假设和实现方式对可调度性的影响,具体为下述3大类问题：（1）理想的RM算法下的可调度性判定的CPU利用率最小上界最小及可调度的充分必要条件;（2）考虑调度时间开销情况下的可调度性判定条件;（3）优先级反转协议及其对可调度性的影响.给除了具体实例来叙述上述问题,并从算法复杂度和可检测率两方面比较各种算法的优劣。