辉光放电等离子体降解番红花红T染料废水

利用辉光放电等离子体(GDP)对阳离子染料番红花红T模拟废水进行降解。通过测量番红花红T染料废水处理前后在紫外可见区最大吸收波长554 nm的吸光度来计算降解效率,同时考察在降解过程中溶液的pH、电导率的变化。结果表明,初始质量浓度分别为50、100 mg/L的番红花红T水溶液在经过15 min后降解效率分别高达99.34%、98.99%,且降解过程符合准1级动力学特征。随着放电处理的进行,溶液的电导率增大、pH降低,说明在放电处理进行中产生了大量荷电离子及酸性物质。通过对3种不同情况下降解结果的比较(放电处理加Fe离子、仅放电处理和放电处理加Na2SO4),推测对番红花红T起主要降解作用的是羟基(·OH)自由基。     

现代煤化工产业中洁净煤气化技术的分析与比选

概述国内外洁净煤气化技术及其发展现状,以及我国现代煤化工产业的发展现状及相关产业政策,分析洁净煤气化技术的比选要素。在此基础上,本文以60万吨/年煤制烯烃项目和40亿标方/年煤制天然气项目为例,分析探讨我国现代大型煤化工项目洁净煤气化技术的比选。     

新型五环炉干粉加压气化工艺及开车总结

介绍了新型五环炉干煤粉加压气化工艺技术的发展历程及特点,阐述了五环炉采用水/汽激冷后的合成气组成与类似干粉以及其他气化工艺的区别,分析了试车过程中暴露的问题以及解决措施,并展望了五环炉的未来。     

高压水射流技术在弹药表面除油中的应用

弹药在使用、修理和报废处理前,必须清除外表面所涂油层。介绍了目前我军弹药涂油的种类及相关参数,通过分析现行传统弹药除油方法的缺点和不足,从提高除油效率和质量以及安全环保角度考虑,提出利用高压水射流去除弹药外表面涂油层的新工艺。根据弹药内部装填有炸药、火药等易燃易爆品的特点,分析了高压水射流相关参数确定的制约因素、除油系统的组成和利用高压水射流技术进行弹药除油的优点。     

复杂近地表多次波分析及压制方法探讨——准噶尔盆地腹部地震资料处理实例

准噶尔盆地腹部地区地表主要是沙漠区和公益林区,从东西向剖面分析得知这两种地表对应的波组特征、频率及相位特征差异明显,造成了地震剖面上明显的“阴阳脸”现象。为此,针对不同地表的单炮记录,分析初至频谱存在“陷波”特征的原因;结合表层结构及正演模型论证分析,认为复杂近地表多次波是产生“阴阳脸”现象的主要因素;明确了陷波强弱及产生的具体位置,进而提出基于旅行时差异及自相关第一波谷时间差异的空变预测步长反褶积技术,对该区近地表多次波压制效果明显,改善和消除了“阴阳脸”现象。该方法在准噶尔盆地腹部其他区块中推广应用,均见到良好效果。     

短群签名的高效批验证

进入普适通信的时代,从车辆到心脏监听器等大量设备都需要与它们的环境彼此交流信息,从而对验证和安全通信的要求不断上升：①密码费用较低;②能够快速验证大量不同来源的消息;③隐私保护。文章针对一个高效的短群签名体制提出了一个批验证算法,其中验证运算的主要部分只需要2个双线性对,就可满足上面的全部3个要求。     

基于PXI总线的雷达板卡测试与故障快速定位系统

通过分析当前雷达装备维修保障中存在的对保障人员的高要求和保障人员的素质现状之间的突出矛盾,阐述了研制雷达板卡测试与故障快速定位系统的必要性和可行性。重点论述了系统的硬件设计和软件设计,系统硬件采用PXI总线构建集成化,便携式的计算机控制系统,软件采用虚拟仪器技术编程软件来设计。最后叙述了系统在可靠性和扩展性方面的设计。     

RTDMiner: 基于数据挖掘的引用计数更新缺陷检测方法

在Linux内核等大型底层系统中广泛采用引用计数来管理共享资源.引用计数需要与引用资源的对象个数保持一致,否则可能导致不恰当引用计数更新缺陷,使得资源永远无法释放或者被提前释放.为检测不恰当引用计数更新缺陷,现有静态检测方法通常需要知道哪些函数增加引用计数,哪些函数减少引用计数.而手动获取这些关于引用计数的先验知识过于费时且可能有遗漏.基于挖掘的缺陷检测方法虽然可以减少对先验知识的依赖,但难以有效检测像不恰当引用计数更新缺陷这类路径敏感的缺陷.为此,提出一个将数据挖掘技术和静态分析技术深度融合的不恰当引用计数更新缺陷检测方法 RTDMiner.首先,根据引用计数的通用规律,利用数据挖掘技术从大规模代码中自动识别增加或减少引用计数的函数.然后,采用路径敏感的静态分析方法检测增加了引用计数但没有减少引用计数的缺陷路径.为了降低误报,在检测阶段再次利用数据挖掘技术来识别例外模式.在Linux内核上的实验结果表明,所提方法能够以将近90%的准确率自动识别增加或减少引用计数的函数.而且RTDMiner检测到的排行靠前的50个疑似缺陷中已经有24个被内核维护人员确认为真实缺陷.     

基于演化博弈的NFV拟态防御架构动态调度策略

构建网络功能虚拟化（NFV）拟态防御架构能够打破防御滞后于攻击的攻防不对等格局,其中动态调度策略是关键实现技术。然而,现有拟态防御架构中的动态调度策略大多根据执行体自身固有的特点进行调度,没有进一步利用裁决机制对异常执行体的定位感知能力做优化调整。通过引入演化博弈理论,设计一种新的NFV拟态防御架构动态调度策略。在NFV拟态防御架构中增加一个分析器,用于对历史裁决信息进行分析研究。根据分析器中得到的反馈信息,从攻防双方的有限理性出发构建多状态动态调度演化博弈模型,并采用复制动态方程求解该博弈模型的演化均衡策略,利用李雅普诺夫间接法对均衡策略进行稳定性分析,提出基于演化博弈的动态调度策略选取算法。仿真结果表明,该策略能够利用裁决机制对异常执行体的定位感知能力,通过深入分析研究和不断调整优化选择具有适应性和针对性的调度策略,有效提升系统的安全收益和防御效能。     

基于可信列表的改进拜占庭容错算法

为减少实用拜占庭容错(PBFT)算法的通信开销,现有研究主要通过选举方式在保证安全的前提下挑选少量节点参与共识,但其灵活性差、容错率低、资源耗费高。对此,通过建立信用节点列表和信用评价机制,提出一种基于可信列表的改进拜占庭容错算法(CPBFT)。仿真分析表明,较PBFT算法,CPBFT算法不仅能提高节点灵活性和容错率,还降低了约42.74%的通信带宽开销,提升了约3.12%的交易吞吐量,降低了约3.03%的时延,具有一定性能优势。