自动信任协商的形式化描述与验证研究

首先提出了自动信任协商的通用形式化框架,并将典型的信任协商策略规约到上述框架内;其次,基于上述形式化框架对自动信任协商的形式化验证问题进行了定义,确定了形式化验证的目标以及一般流程;再次,研究了典型信任协商策略的形式化验证问题,讨论了相关问题的计算复杂性并得到系列结论;最后,利用逻辑编程方法和模型检测方法实现了自动信任协商的形式化验证。实验结果表明,规则数是影响形式化验证系统运行时间的关键因素,逻辑编程方法和模型检测方法在规则较少时效率较高,但逻辑编程方法的可扩展性不及模型检测方法。     

马丽散N、罗克休在矿井巷道封闭中的技术应用

新疆焦煤集团艾维尔沟焦煤公司所属矿井以往都采用料石、水泥、砂子构筑永久密闭,此项密闭工程需要投入大量的人力、物力、财力,安全管理难度大,为此设计在一九三○煤矿15121运输上山口处使用马丽散N、罗克休对巷道封闭,该项工序简单便于操作,该项技术具有推广应用价值。     

Eeb日志挖掘中一种事务识别方法的改进

从web日志中发现有用的信息是所有web站点管理者的迫切愿望，但web服务器日志的不准确导致数据准备阶段的复杂性，在数据挖掘以往的应用领域如POS数据库中，存在着具有自然特征的事务，而在web日志中不但没有这种事务，而且还不容易通过分析得到这种事务，。本文首先描述了引用长度事务分割方法的用户浏览行为模型，然后针对这种模型提出了两点改进，增加了网络延时参数和对噪音数据处理的考虑，改进后的模型能适应网络延时较大且随时间变化的情况，更能够反映用户的实际浏览行为。     

网络传输时延的测量方法

介绍了网络传输时延的基本概念，分析了影响网络传输时延的因素，给出了测量传输时延的3种方法，并对各种方法作一综合比较。     

Web日志挖掘中一种事务识别方法的改进

从 web日志中发现有用的信息是所有 web站点管理者的迫切愿望 ,但 web服务器日志的不准确导致数据准备阶段的复杂性 .在数据挖掘以往的应用领域如 POS数据库中 ,存在着具有自然特征的事务 ,而在 web日志中不但没有这种事务 ,而且还不容易通过分析得到这种事务 .本文首先描述了引用长度事务分割方法的用户浏览行为模型 ,然后针对这种模型提出了两点改进 :增加了网络延时参数和对噪音数据处理的考虑 .改进后的模型能适应网络延时较大且随时间变化的情况 ,更能够反映用户的实际浏览行为     

网络管理中Push机制的研究

随着网络技术的迅速发展，网络管理的重要性在网络建设中变得越来越突出，网络管理协议SNMP也从版本1.0发展到了版本3.0但到目前为止，SNMP协议还主要是一种请求/应答式协议，由于SNMP协议的这个特性，当它被用在大规模网络管理时，就会造成带宽浪费和管理实时性的缺乏，本文针对这个问题，提出一种基于Push技术的解决方案，该方案包括两部分：Push协议操作的设计和Push-MIB的设计，Push协议操作定义了Push-PDU，它用于Push数据的封装；Push-MIB用于Push操作的相关参数的定义，本文提出的Push技术是对传统网络管理协议SNMP协议的很好的扩充，在网络管理中能得到很好的应用。     

基于模糊故障树的计算机硬件故障诊断

随着计算机技术应用的不断深入,需要提出有效诊断计算机硬件故障并对故障类型进行合理分析的方法.文中通过以Linux操作系统环境为研究对象,针对计算机系统硬件故障发生概率具有模糊性和不确定性的特点,将模糊理论引入计算机硬件故障分析方法中来,通过引入模糊集的概念将常规故障树中基本事件的发生概率模糊化.在实际分析过程中以CPU错误为例,采用上行法求解最小割集并采用转化三角模糊数的方法,为系统的可靠性评估、故障诊断以及维修决策提供了理论依据和实现方法     

渲染农场研究进展综述

作为高性能计算领域的新兴应用,渲染有着计算密集和数据密集的应用特征,如何提高渲染农场的效率进行大规模快速渲染,近年来逐渐成为研究的热点问题.对渲染农场的国内外应用现状作了介绍,阐述了渲染农场的组织结构和工作流程.针对渲染农场在优化作业调度算法、改善负载均衡策略以及完善渲染管理平台等三个方面的研究,进行了全面的分析和比较.探讨和总结了在云计算背景下渲染农场在渲染作业调度策略、异构集群渲染任务分发算法、基于云模式的渲染农场新架构和负载均衡策略这四个方面中有待进一步研究的问题.     

概率模型下的一种优化覆盖算法

覆盖率不仅是评价无线传感器网络体系性能的重要标准之一,也是无线传感器网络所研究的一项重点课题.为此,提出了一种概率模型下优化覆盖算法.该算法通过对概率覆盖模型的计算,给出了传感器节点覆盖的期望值和公差的求解过程以及对所关注目标节点进行首次覆盖后的期望值证明过程.在网络能量方面则通过节点状态调度策略对通信路径进行优化,证明节点能量衰减过程中,拟合函数极限存在的意义,实现了传感器节点能量的有效匹配,抑制了传感器节点能量的消耗,证明了优化后整个监测区域传感器节点覆盖函数之间的关系.仿真实验结果表明,该算法不仅提高了覆盖和网络服务质量,而且有效地抑制了网络能量开销,延长了网络生存周期.     

基于嵌入式Linux的实时视频服务器

介绍了一种支持视频实时采集、编码和传输的网络实时视频服务器。服务器基于嵌入式Linux系统，采用H．263视频编码技术和RTP／RTCP传输协议。给出了服务器软件的总体结构以及图像采集、格式转换、H．263编码和RTP协议传输4个功能模块的实现，并对系统进行了测试和实验。实验结果表明，系统在保证传输质量的同时具有良好的带宽适应能力。