提高矿井通风系统的安全和可靠性

分析了矿井通风系统存在的问题 ,针对性地提出了一些提高矿井通风系统安全及可靠性的措施     

高精度的大规模程序数据竞争检测方法

随着技术的不断发展,软件系统的非确定性（Uncertainty）不断增强,数据竞争是并发系统这一类典型的非确定性软件系统中常见的缺陷.尽管数据竞争静态检测近年来取得了巨大进展,但其面临的重要问题仍然存在.先前的静态技术要么以分析精度为代价达到高扩展性,要么由于高精度分析而导致可扩展性问题.本文提出一种解决上述矛盾的分段分析方法——GUARD.它首先基于程序值流进行轻量级上下文敏感的数据访问分析,以识别出候选的数据竞争子路径而非完整的程序路径.接下来,进行可能并行执行（May-Happen-in-Parallel,即MHP）分析来确定程序中的两个数据访问操作是否可能会同时执行.MHP分析基于线程流图（TFG）将线程信息进行编码以便于高效地查询各个子路径之间的并发关系.最后,对于每条存在MHP数据访问的子路径,进行重量级路径敏感分析以确定数据竞争路径的可行性.针对12个开源项目的实验评估显示GUARD能够在1870秒内完成对130万行代码的工业规模项目的检测,且平均误报率为16.0%.此外GUARD的分析速度更快,比现有的前沿技术平均快了6.08倍并且显著降低误报率.除此之外,GUARD在其中还发现了12个数据竞争漏洞.我们将它们全部报告给了开发者,其中8个已得到了确认.     

基于深度稀疏自编码网络和场景分类器的 电网气象故障预警方法

为保证电网安全稳定运行,提高电网防灾减灾和弹性水平,提出了一种基于深度稀疏自编码网络和场景分类器的电网气象故障预警方法。首先,采用主客观权重相结合的动态赋权方法,对气象因子进行初始赋权,以合理表征不同气象因子对电网故障的影响程度。然后,对传统的深度自编码网络增加稀疏性约束条件,以提高网络训练的收敛性,并在深度自编码网络的最后一层增加场景分类器,以提高气象因子与电网故障场景间关联关系的合理性。最后,将带权重的气象因子以及设备因子和环境因子作为深度稀疏自编码网络的输入,利用支持向量机构建多因素耦合的电网气象灾害故障预警模型。采用实际电网故障算例验证了所提方法的有效性。     

均温型甲醇合成塔内件再传佳音

均温型甲醇合成塔具有温差小、低温还原效果好,触媒利用系数高、单塔生产能力大、操作稳定性好、结构合理可靠、投资利用率高、操作运行费用省等优点,因而在工厂投运中取得了令人满意的效果,可供甲醇厂家使用参考。     

智能家居通讯协议xPL的应用

介绍了xPL协议的基本内容、工作过程和使用方法;并以电话远程遥控系统运用xPL与上位机、下位机完成数据通信,最终实现对家居设施的远程控制。     

春寻元四都

元朝曾经建立了当时全世界最大版图的王国，如今我们从北京出发，开车路向北，行车经北京-张家口-207国道 -内蒙古锡林郭勒盟正蓝旗上都镇——达里诺尔湖这一线，单程约700公里，就可以看到元朝曾经建立的四个伟大都城的遗址，分别是元大都（北京），元上都，元中都，元末都（应昌路）。沿途的草原风光更是美不胜收。[编者按]     

典型地区大气光学湍流测量与模式研究

在东南沿海地区、合肥地区和西北干旱地区进行了常规气象参数和光学湍流的测量.从地域气候上分析三个实验点所具有的典型特征.分析了不同下垫面对近地面光学湍流强度的影响,提出了近地面和高空光学湍流估算方法,并探讨了光学湍流的预报模式.Bulk方法可用于估算陆地和海面上的Cn2.通过对输入参数进行适当调整,近地面湍流预报模式估算结果和实际测量结果在量级和变化趋势上较为一致.可以用常规气象参数估算光学湍流廓线,合肥上空的光学湍流可以用Hufnagel模式进行拟合.     

基于前景理论的空战目标威胁评估

空战目标威胁评估是目标分配与火力分配的基础。针对目标威胁评估研究存在确定指标权重时未考虑指标间的相关性,采用单一灰色关联分析（GRA）方法和逼近理想点（TOPSIS）方法不能准确反映目标威胁大小,以及未考虑飞行员决策时面临损失和收益时的不同态度等问题,在综合GRA和TOPSIS的基础上,提出一种基于前景GRA-TOPSIS的空战目标威胁评估模型。提出灰色关联深度的概念,结合极大熵确定指标权重;利用指标之间的灰色关联度变权方法对指标权重进行修正,避免指标之间的相关性影响;利用GRA方法分析目标指标序列的曲线形状相似性,结合TOPSIS方法分析位置的相似性,基于前景理论,将飞行员面临收益以损失的态度融合到目标威胁评估中,得到能够体现飞行员特质的目标威胁评估结果。通过仿真验证了所提方法的有效性以及合理性。     

城市“微更新”中历史街区保护改造与活力再生——以苏州市盛泽银行街片区改造为例

要历史街区的更新改造设计是城市更新的重要内容,是城市地方文脉的传承载体。历史街区保护与再生能够延续城市文脉,提升人居环境的满意度与幸福感。该文以城市微更新为基础,对城市更新中历史街区的现状及存在问题进行分析。以苏州市盛泽银行街片区更新改造项目为例,系统阐述盛泽银行街历史街区具体存在的问题与不合理之处,并提出合适的后期改造措施。最后得出历史街区保护改造与活力再生策略：提升人居环境、保护街区文化特色以及提高公众参与度。这为历史街区的保护以及传承城市历史文化遗产提供了参考。