局域网络中的L-BLP安全模型

为解决分布式网络环境下的机密性控制问题,本文提出一种BLP安全模型在局域网中的扩展模型L-BLP.通过在系统中增加动态监控单元,定义其拓扑结构,并构造了新的状态转换规则,实现对主体间通信行为的控制.分析表明,L-BLP模型可解决局域网内数据的机密性控制问题,并进行了安全性证明.     

Java编程与垃圾收集器

GC（Garbage Collector）是Java的垃圾收集器。讨论了内存泄漏、GC的工作方式、fina-lize、引用对象,最后结合讨论提出了Java编程时的几点建议。     

基于神经网络的油罐故障诊断系统的设计

针对加油站油罐故障难以判断的问题,提出了油罐故障诊断系统的研究方案,运用神经网络的方法,建立了油罐故障诊断系统模型,解决了油罐故障实时诊断的问题。     

基于泰勒展开图的数据路径高层次验证

泰勒展开图是基于图的表达方式,能够有效地表示多变量多项式.提出泰勒展开图的变量替换算法和变量合并算法.并在此基础上提出一个反向构建泰勒展开图的算法,该算法用于多项式数据路径的行为描述和寄存器传输级实现之间的等价性验证.实验结果表明提出的算法是有效的.     

服务器安全管理配置技术研究

文章从分布式控制、执行补丁、基于网闸的Web服务器的恢复机制、防火墙、RAS、权限配置、日常管理、制度建设等方面探讨了服务器安全管理的实践经验,提出了解决服务器安全的思路及方法,对网络的规划设计和安全管理有一定的实用价值.     

案例教学法在数据库原理课程中的应用

针对数据库课程传统教学方法存在问题的分析,提出案例教学的必要性,并从案例的选择、案例的设计、案例的实施各方面阐述了案例教学法的重要性,并提出一些建议.     

多模态医学图像融合中小波分解层数的选择

小波分解层数直接影响到图像的融合质量,本文通过实验并结合融合图像评价方法评价不同分解层数的融合图像质量,得出最佳分解层数.     

场景驱动的构件行为抽取

如果构件含有冗余的功能,特别是含有用户不想要的功能,则无法被用户正确使用.因此,如何从构件中提取场景规约中所描述的用户想要的行为便是一个亟待解决的问题.给出了解决该问题的一种方法.该方法通过为构件构造一个环境,即极大包含环境,使得场景规约中所描述的所有行为可以从构件中抽取出来,并保留到该构件与其极大包含环境的组合中.同时,构件中的其他行为,即不在场景规约中的行为,被尽可能地舍弃.用接口自动机为构件的行为建模,并将用消息序列图描述的场景规约抽象为一组活动序列.构件的组合描述为接口自动机的乘积.给出了基于场景进行构件行为抽取的相关算法,并用一个实例对文中所述方法进行了说明.     

时态数据挖掘的相似性发现技术

现实世界存在着大量的时态数据,时态数据挖掘(temporal data mining,简称TDM)是近年来学术界关注的一个重要研究课题.相似性发现技术关注数据的发展变化,试图从时态数据中发现事物动态演化的相似性规律.分析和比较了近年来TDM研究中涉及的主要相似性发现技术.首先区分定义了3类时态数据:时间序列、事件序列和交易序列;然后分类并讨论了各种与序列相关的主要方法和技术,涉及相似性度量、序列抽象表示和搜索,以及各类挖掘任务及其算法操作;最后展望进一步研究的方向.     

Web仓储中视图变化频率的自适应估测

物化视图的刷新是Web仓储进行系统维护的一项主要任务,而基础数据变化频率则是刷新方案中的重要因素.在已有文献中,研究者已经给出一些关于基础数据变化规律的算法和估测器.虽然这些估测器取得了不错的效果,然而他们却忽略了这些估测器都有一定的适用范围,超出这个范围则效果急剧下降.在此,基于泊松过程进行分析,对估测器的适用范围进行了讨论,根据估测结果的偏离值和有效性对估测公式进行参数调整,同时根据估测值的大小不断调整数据源的访问频率和次数,从而使数据源访问模式和估测器互相适应,使估测器在最佳估测范围内获得估测值.实验结果表明,与已有文献中的方法相比,新提出的自适应估测算法能够取得更好的效果.