井巷高冒区积聚瓦斯治理技术研究

巷道掘进过程中,受地质构造因素影响,易形成高冒区,通风不畅,易产生瓦斯积聚。凤凰山矿通过认真深入分析研究,采用快速充填治理高冒区积聚瓦斯,为高冒区积聚瓦斯治理技术提供一些参考。     

非完全无线报文重传分析研究及其分治策略

网络编码为无线网络报文重传问题WPRTPs(Wireless Packet ReTransmission Problems)提供了有效解决途径.现有关于WPRTP问题的研究主要针对完全无线网络报文重传问题P-WPRTPs(Perfect WPRTPs),而尚未发现对非完全无线网络报文重传问题IP-WPRTPs（ImPe...     

面向统计QoS保障的多时间尺度接纳控制算法

采用在线测量的方法计算业务流的统计特性估计其突发水平以便选择合适的业务流模型。为了保障业务流的统计QoS,基于选定的业务流模型,通过有效带宽和有效包络的转换定理,获得多分形和自相似业务流的有效包络。然后,采用统计网络演算获得QoS参数进行接纳控制决策,并且通过选择接纳时机减小接纳控制本身对QoS的影响。仿真结果表明该算法能够准确地选择流模型,满足流模型的统计延迟要求,提高带宽利用率。     

一种基于DAG动态重构的认知网络服务迁移方法

针对认知网络高度动态性带来的服务随机失效问题,提出了一种服务迁移方法以保障认知网络的 QoS.首先,采用先迁移、后优化的思想,重新生成关联服务有向无环图(directed acyclic graph,简称DAG),并在此基础上提出 DAG 动态重构算法,将关联服务转化为层次化 DAG 服务;其次,计算关键服务迁移路径,并给出可迁移服务死锁避免理论分析,将迁移服务提前迁移到当前网络空闲资源运行,以缩短服务的执行时间.仿真实验测试了3种故障注入类型下网络服务迁移方案的服务性能.实验结果显示,该方法在弹性网络负载与未知故障情况下具有较好的 QoS保障效果.     

Bellman动态规划的服务恢复方法

为解决网络系统复杂性所带来的服务路径上的节点失效问题,提出了一种基于Bellman动态规划的服务恢复方法.通过服务路径选择策略从当前所有路径中选择一条最优路径进行失效恢复,再通过对逻辑层网络自组织和设定效能函数将服务恢复决策问题转化为动态规划问题,最后通过Bellman动态规划算法实现最优相应路径选择,并按照问题的规模...     

球头铣削多硬度拼接淬硬钢的振动研究

研究了Cr12MoV淬硬钢单一硬度和多硬度拼接状态下的球头铣削振动规律,采用LMS Test.Lab软件对不同主轴转速及进给速度下的铣削振动信号进行时频域分析,获得了信号的时域特征及能量分布规律。实验和分析结果表明：振动信号的频谱由基波（刀齿通过频率）及其谐波组成,具有周期特性,在基波上出现最大幅值。在多硬度的过渡区,加速度信号峰值呈现阶跃变化。对比分析了单一硬度和多硬度拼接条件下铣削参数对加速度响应的影响规律,为铣削参数的优化和改善加工稳定性提供了依据。     

冷榨制取与超临界CO2萃取核桃油的氧化稳定性比较研究

核桃油中的不饱和脂肪酸含量很高，因而比较容易氧化。为了比较冷榨制取与超临界CO2萃取的核桃油的氧化稳定性，测定了它们在黑暗和光照条件下的过氧化值，并进行了感官品评。研究发现：黑暗条件下，冷榨制取的核桃油的氧化稳定性高于超临界CO2萃取的核桃油的氧化稳定性；光照条件下，超临界CO2萃取的核桃油的氧化稳定性高于冷榨制取的核桃油的氧化稳定性。根据它们氧化稳定性的不同可以选择不同的材料对产品进行包装。     

生物启发的多维网络安全模型及实现模式研究

在多变的生态环境中,生物系统的安全机制展示了非凡的适应性和鲁棒性.当前网络安全面临巨大挑战,生物启发理论为该问题的解决提供一条新思路,但当前该领域的研究仅停留在人体内部系统--免疫系统上,无法建立完整的空间模型.首次依据生物系统安全机制的层次性、系统性和多网并行等特征,综合子网类型、群体规模和时序阶段3个角度提出了基于"三网并行(three-net parallel, TNP)"结构的生物启发多维网络安全模型(bio-inspired multidimensional network security model, BMNSM).首先提取网络与生物系统安全运行机制的拟合点,建立BMNSM概念模型;然后在状态分析抽象的基础上,证明模型的线性状态空间特性,验证其完备性、可行性;最后依据Markov平稳分布理论,定量比较 TNP结构优化实现模式的平稳性,验证了BMNSM的优良性能.     

可生存性网络的形式化建模与分析方法

首次提出一种基于随机进程代数的网络可生存性形式化建模方法,该方法把形式化建模与性能分析相结合,从而可以在形式化建模同时分析得到系统的各种生存性能参数.在简单介绍随机进程代数的语法和操作语义的基础上,用进程表达式对生存性系统进行形式化描述;然后利用PEPA Workbench工具实现对可生存性网络稳态可用性和瞬时可用性测度的实验,仿真结果验证了该形式化建模与分析方法的有效性和可行性.