矿井火灾与爆炸隐患致灾链信息管理系统

瓦斯爆炸与火灾事故是目前煤矿重大事故之一,在对矿井火灾与爆炸隐患进行辨识的基础上,对隐患致灾链进行分析与研究,并应用面向对象的程序设计方法及地理信息系统(GIS)技术开发隐患及致灾链信息管理系统,以加强并完善矿井火灾与爆炸事故隐患管理,为建立防灾体系提供技术支持。     

矿井可燃气体爆炸机理及惰气抑爆的实验研究

在煤炭的开采过程中,存在许多不安全的自然因素,其中矿井瓦斯是严重威胁煤矿安全生产的主要自然因素之一。本文研究了气体爆炸机理并通过实验来研究惰气的抑爆作用。     

一种基于散列链的自适应网格安全路由协议

LEACH(Low Energy Adaptive Clustering Hierarchy)路由协议是无线传感器网络拓扑控制中最具代表性和重要性的算法之一。针对LEACH路由协议簇头分布不均匀,节点死亡率高,易产生路由空洞及其所面临安全威胁等问题,提出一种基于散列链的区域划分网格自治安全路由协议LEACH-SEED。剔除低能量节点入选簇头的权利,改进簇头选举机制,簇头选举完成之后,每个簇头节点随机从散列链组成的密钥池中分配q个链密钥,其他节点利用单向哈希函数和伪随机函数生成通信密钥,网络遭受攻击后利用网格自治和待选簇头身份标识编号进行网络恢复。实验结果表明,改进的分簇算法能有效地降低节点死亡率,增强抗攻击能力,提高数据融合度,延长网络生存时间。     

信息流格模型的非法流分析

随着互联网的发展以及网络空间地位的上升,信息的重要性与日俱增。为确保信息安全,对非法信息流的控制显得尤为重要。文中分析了信息流格模型中信息流动的安全性,为更好地对模型内部的信息流进行分类,首先,对信息流格模型进行线性化分析,使得模型被线性化表述,并将其称为线性信息流格模型。接着,引入马尔科夫链,并利用马尔科夫链的常返态属性和瞬时态属性的概率变化,来量化表示模型中主体和客体之间的转换状态,从而检测出模型内部的各个信息流。进一步地,根据模型内部的主体和客体分别对应的常返态与瞬时态的概率对比,分析每个信息流的安全状态,即:当模型检测中同时出现两个常返态时,违反了安全模型,从而导致非法信息流的出现。由于概率变化存在同一性,该方法会产生误差并影响其检测结果。为弥补这一不足,介绍了SPA语言,然后对线性信息流格模型进行了SPA语言的描述,并采用形式化中的无干扰方法对马尔科夫链模型内概率同一性的不足进行补充说明。最后,检测出其中隐藏的非法信息流,判断出含误差下各个信息流的安全状态,并得出结论:符合安全模型但违反安全策略的信息流不满足无干扰属性。这对信息流安全检测软件的设计及硬件应用具有重要意义。     

一种信度马尔科夫模型及应用

马尔科夫链以其无后效性广泛应用于自然科学和工程技术领域. 经典的马尔科夫链并不能反映对象状态的不确定性, 并且当状态划分边界过于清晰时, 状态转移情况不稳定. 为了保持状态转移的稳定性以及能够有效地表示和处理对象状态的不确定性, 本文提出了一种信度马尔科夫模型. 新模型引入了Dempster-Shafer (DS) 证据理论来描述对象状态的不确定性, 将对象的所有状态归类为一个辨识框架, 建立基本概率指派函数, 然后生成一个命题转移概率矩阵, 最后根据对象当前的状态得到将来的状态. 本文提出的信度马尔科夫模型是对经典马尔科夫链的推广, 向下兼容了它的性质. 实例表明, 新模型克服了上述缺陷, 获得了较经典马尔科夫链更加合理、准确的结果, 具有更高的有效性和实用性.     

应用函数链神经网络测量管道内壁缺陷尺寸

基于图像测量管道内壁缺陷尺寸时,图像上单位像素所代表的实际尺寸与很多因素有关,如摄像机的内部、外部参数以及摄像机到管壁的距离等,是一个复杂的非线性关系。在摄像机参数固定的条件下,采用函数链神经网络来逼近图像上单位像素所代表的实际尺寸与管道内径之间的非线性关系,进而实现了无需标定摄像机参数的管道内壁缺陷尺寸测量。实验结果表明,这种方法具有易于实现、误差小等特点。     

BPEL组合服务可信性评估方法研究

提出了一种基于数据依赖的Web服务编程语言(business process execution language for Web services,BPEL4WS,简称BPEL)的可信性评估方法。利用扩展BPEL控制流图(extensible BPEL flow graph,XBFG)对BPEL进行建模,通过建模获得组件间的直接和间接数据依赖关系,并构造依赖链用以计算组件的信任值。根据BPEL组合服务的控制结构,在XBFG上通过约减规则对BPEL组合服务可信性进行评估。实验结果表明,基于数据依赖的组合服务可信性评估方法可以有效地评估BPEL组合服务的可信性,并且这种评估方法较为稳定,不会随着组件数量的增加而影响评估结果。     

OFDM在LMS信道下的BER性能研究

正交频分复用（OFDM）应用于卫星宽带通信,前提需建立适用的卫星信道模型,目前常用的卫星信道模型主要为窄带模型,因而宽带系统性能分析的基础,首先得建立卫星信道宽带模型。对已有陆地移动卫星（LMS）信道模型进行研究,提出了一种便于仿真实现的四状态宽带信道模型,以此仿真得到OFDM在LMS信道下的BER性能结果。结果表明,宽带状态和窄带状态下BER性能变化较大,在不同环境下的BER性能亦有不同,可将该模型应用于卫星宽带通信的研究分析。     

一种优化WLAN上下行公平性的MAC机制

IEEE802．11DCF主要基于载波检测／碰撞退避多址接人协议和时隙制退避算法。因此,往往在基础架构模式中,AP与用户站在随机竞争信道过程中并无优势,并且DCF应用于多速率WLAN,各站点之间的竞争并不均匀（时间不均）,存在吞吐量异常和严重不公平性问题。通过建立三维Markov链模型,对非饱和状态下802．11 MAC协议上下行带宽公平性进行了分析,由此提出基于下行链路优先的DPMAC协议,其核心思想是：AP享有优先访问信道的权利,并且可以根据下行链路状态动态调整占有信道的时间,各用户站竞争信道仍然采用原有的IXZF访问方式。通过仿真证实DPMAC协议能很好地实现上下行链路公平性,达到满意的效果。     

跨社区的用户链指技术综述

随着各种在线社区呈现出爆炸性的发展,网络中已经积累了大量的用户信息,这些用户信息已经成为了社会计算相关研究和应用的宝贵的数据资源。由于各种社区在功能和主题上的不同,用户的信息碎片化地散布在不同的社区中,这为获取用户完整信息以及跨社区的研究等都带来了挑战。用户链指技术是解决用户信息跨社区问题的关键。本文分析和总结了近些年用户链指技术相关的研究与工作,剖析了各个工作的优势和局限,并对其它领域的相关研究进一步作了综合的分类与比较。