基于生成树集结算子的群组AHP判断矩阵集结算法

针对现有群组AHP(Analytic Hierarchy Process)判断矩阵集结算法,偏重于专家权重的选择,而忽略判断矩阵元素之间联系的不足,提出一种基于生成树集结算子的群组AHP判断矩阵集结算法.该算法依据判断矩阵与简单无向图生成树之间的关系,采用生成树集结算子获取完全一致集结矩阵,并利用完全一致集结矩阵和群组关联集结矩阵,综合考虑判断矩阵元素之间的个体一致性和群组关联性,计算获得满足一致性约束和最优相似性的群组集结结果.通过算例分析,说明该算法的可行性与有效性.     

河南省桐柏县银洞坡金矿通风系统优化

银洞坡金矿由于受到采空区漏风影响,通风系统可靠性较差,导致东风井地表主扇无法发挥系统总回风的作用,作业采区风流反向,生产中段空压机硐室散热造成局部区域高温,井下热风及采区污风无法沿设定路线排出地表。通过采用多机站风压平衡、机站优化设计、风机优选等综合技术对该矿通风系统进行优化改造,解决了采空区大量漏风、小高尖竖井出风、井下空压机硐室热源污染生产中段等问题,形成了安全稳定运行的矿井通风系统。     

基于计算语义的安全协议验证逻辑

提出了一个基于计算语义的安全协议验证逻辑,能准确描述安全协议中的各种计算行为和通信行为.设计了基于该逻辑的证明系统,能对密码学中常用加密算法的各类安全属性规范直接描述,具有密码学可靠性.发现了计算协议组合逻辑在加密算法安全性建模时存在的不可靠性,并提出了解决方法.通过对Needham-Schroeder-Lowe协议安全性的证明,验证了逻辑的证明能力.与大部分验证方法不同的是,本逻辑属于由密码学算法安全性到协议安全性的正向推理方法,兼具符号方法的易用性和计算方法的可靠性.     

网络动态负载均衡算法分析

在阐述网络负载基本概念的基础上．分析了基本的网络负载均衡算法并对动态反馈负载均衡进行了探讨。     

效率优先的主机安全属性漏洞树建模研究

攻击图、攻击树与攻击网是网络安全测试和评估的重要建模方法,但这些方法在建模过程中存在无序性以及在攻击选择上缺乏针对性。为克服以上不足,本文以目标网络中存在的漏洞为树的叶节点,以漏洞利用攻击方式为节点之间的边,对各个节点主机的安全属性分别进行攻击建模,并在综合分析攻击的成果效率和时间效率的基础上,提出了效率优先的主机安全属性漏洞树建模方法。最后,通过举例分析证实了所提方法的可行性和有效性。     

基于有源相控阵雷达的数据高效传输的研究

为了满足甚高频(VHF)有源相控阵雷达数据高效传输,采用了以DSP,Lwip实现网络数据传输;进行了传输效率理论分析和仿真计算,主要仿真了运算速率、数据包大小、UDP/TCP和DSP主频对传输速率的影响,分析了运算速率、数据包大小、UDP/TCP和DSP主频对数据传输的影响因素,提出了阶梯型数据处理模式、固定字节报文传送格式和TCP协议的综合方法。创新地把嵌入式网络接口应用到甚高频有源相控阵雷达上,并满足相控阵雷达数据传输速率的高效性要求;成为整个系统数据传输软件开发的理论指导。     

基于预排序和上取整函数的 AHP判断矩阵生成算法

 对于层次分析法中不满足一致性要求的判断矩阵,提出了一种新的生成算法.此算法首先对目标因素集进行预排序生成初始判断矩阵,由上取整函数生成比较矩阵,然后由初始判断矩阵和比较矩阵构造相对误差矩阵,并在相对误差矩阵和矩阵相异度的控制下逐步调整初始判断矩阵,最后生成满足一致性要求和矩阵相异度最小的目标判断矩阵.仿真结果证实了所提出方法的可行性和有效性.     

等效分组级联BP网络模型及其应用

 松弛的和紧密的分组级联BP网络模型等概念的提出,对于解决有限的小样本情况下高维BP网络的训练和预测问题有一定的参考价值。定义了BP网络等效性和相关定理,构建并证明了与BP网络等效的分组级联网络模型,分析比较了两种网络模型所需训练样本的数量情况,并将其应用于网络安全评估领域。最后通过仿真试验结果证实了所提出分组级联BP网络模型的可行性和有效性。     

水平定向管线穿越在某工程中的应用

本文介绍了水平定向穿越技术在复杂地质条件下的、工艺,并通过工程实例,说明在管线穿越中的成功应用。     

铜绿山铜铁矿通风系统优化改造

为解决铜绿山铜铁矿通风系统存在的矿井风量分配不合理、井下污风循环、局部区域通风效果差、井下通风构筑物管理困难等问题，根据矿山实际生产情况，重新计算了矿井总风量，并提出3种优化改造方案。经过技术经济对比，选择了多级机站通风系统为最优方案。经三维通风软件模拟解算，矿井总风量达到428.03 m3/s，满足计算的矿井总风量。采用多级机站通风方式，且各区域分区通风，更容易实现风量合理分配，避免各通风区域之间的干扰，提高通风系统稳定性，有效增加通风系统深部进风。