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

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

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

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

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

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

一种基于过程图模型的编译优化测试程序自动生成方法

近年来,以数据依赖分析为基础的高级编译优化成为现代编译器的重要研发内容.针对这类编译优化的测试问题提出了一种测试程序自动生成方法,能够根据指定的数据依赖特征生成测试程序.首先设计了LoSpec语言用以描述测试程序,然后采用一种便于表示数据依赖关系的模型——过程图作为中间表示模型实现了测试程序的自动生成,并开发了自动测试工具LoTester.与已有方法相比,该方法对高级优化更具针对性,自动化程度较高. LoTester目前在一款面向多媒体应用的优化编译器EECC的开发中得到应用并获得了良好效果.     

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

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

计算机取证研究综述

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

GH30合金管内壁裂纹的分析

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

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

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

功能点分析方法研究

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

小型柴油机的节能技术

随着小型农用柴油机的普及,柴油的消耗量日益增加,以致有供不应求的趋势,因而降低油耗已成为人们普遍关心的问题.几年来我们探索了农用柴油机节能的有关措施.实践证明,这些措施,行之有效.本文予以介绍.