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

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

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

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

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

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

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

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

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

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

计算机取证研究综述

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

GH30合金管内壁裂纹的分析

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

小型柴油机的节能技术

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

面向城市交通网络的一种新型动态路径寻优方法

 针对静态路径寻优方法中没有考虑到交通流随时间变化的问题,本文提出一种基于交通流量预测的路径寻优方法.首先,从实际交通路网本身的特点和人类对路网的认识出发,构建以"道路"为基本元素的新型路网模型;其次,采用基于单变量时间序列的预测方法对路网上各路段未来一段时间内的道路交通流量进行预测,并根据预测结果估计出行者在未来时段各路段上的交通代价;再次,通过估计的交通代价把车辆从起点到该路段时间内的道路交通变化状况融入改进A^*算法的路径搜索过程,从而建立一种高效的动态改进A^*路径搜索算法;最后,实例表明预测交通流量与实际交通流量具有很好的拟合度,路径搜索结果能够对出行者起到诱导作用,提高出行者行驶效率.     

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

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