基于微分动态逻辑的数字化反应堆控制系统建模与验证方法

核电数字化仪系统既涉及反应堆随时间变化的物理动态演化过程,又涉及计算机的离散控制过程,属于典型的实时混成系统。微分动态逻辑是近年在混成系统验证领域的新方法。提出以微分动态逻辑为基础的构建反应堆控制系统安全验证模型方法,验证反应堆控制系统中离散化的逻辑控制与反应堆连续性的物理连续变化过程之间的相互作用能否保证反应堆安全需求,从而提高数字化反应堆控制系统设计的安全性。     

基于地球物理数据的化工场地污染源追踪案例分析

为查明污染场地污染源分布特征及其扩散运移路径,提供合理有效的勘查钻孔位置,并验证环境地球物理勘查技术的有效性.基于某搬迁后的化工场地初查污染严重区域,开展高密度电阻率法勘探,运用光滑约束最小二乘法二维反演,获取了4条电阻率剖面,构建了勘查区40 m以浅地层电性结构模型.结合已知钻孔岩性及污染物超标情况,成功圈定区域无机污染物和有机污染物的埋藏位置和扩散路径,并预测了污染物的扩散区域,经钻孔验证该推断可靠可信.认为高密度电阻率法可在污染场地调查中发挥积极作用,在条件允许的前提下,可降低成本,提高污染物探测精度,值得推广应用.     

华北平原AOD时空演化与影响因素

深入了解大气气溶胶时空变化及其影响因素,对控制大气污染,改善大气环境具有重要意义.首先利用2013～2019年的VIIRS IP气溶胶光学厚度（AOD）数据分析华北平原AOD的时空变化规律.其次,选取SO₂、 NO₂、 PM_2.5、气象数据、 NDVI、 DEM、 GDP和POPU作为影响因素,基于XGBoost模型分别建立华北平原5个代表城市的AOD与其影响因素之间的连接模型,定量估算并揭示AOD时空分布规律背后各个影响因素的贡献.结果表明在空间分布上,华北平原AOD以太行山脉为界,呈现东南高西北低的格局.在时间变化上,5个城市AOD年均值整体呈下降趋势,AOD月均值先上升后下降,最高值出现在7月,最低值出现在12月.此外,建立的华北地区5个城市AOD估算模型精度较高,R²在0.60～0.67之间.华北平原的AOD影响因素中,NO₂和SO₂是对5个城市AOD贡献最大的影响因素,此外,PM_2.5是另外一种重要的污染排放影响因素.气象因...     

对数学教学改革的认识

数学教学改革是社会发展、培养创造性人才和信息时代对数学教育提出的要求。高校数学教改的目标是培养学生的综合分析能力。为此,应以启发式教学代替注入式,把计算机引入课堂和对学生进行数学建模的启蒙。     

如何利用SoundPALN软件进行地铁高架段噪声计算

由于SoundPLAN软件中列车模型参数与我国现有的列车数据不一致,从而导致了使用SoundPLAN软件计算的结果与实际情况存在一定的误差。本文结合实例,介绍了如何利用SoundPLAN软件对地铁高架段进行声学建模计算,并对列车模型参数进行了合理的修正。     

环境因素对桥梁建造工程进度管理的影响研究

传统的桥梁建造工程进度管理过程会因为环境因素造成一定的影响,并且会给桥梁建造工程进度管理的影响方向是不定的,针对上述问题,提出一种环境因素对桥梁建造工程进度管理的影响的建模方案.在环境因素建模分析的基础上,引进了EECR技术,能够准确的评估环境因素对桥梁建造工程管理过程的影响程度,避免了传统的桥梁建造工程进度管理方法中无法进行外界因素的衡量,这样保证了建模过程的严谨性以及完善程度.优化了衡定进程保证了建模过程中能够进行大范围的衡量,经过优化后的衡定进程能够进行多角度的多方向的评估.为了验证设计的环境因素对桥梁建造工程进度管理的影响建模方案的有效性,设计了对比仿真试验,通过实验数据的有效验证,证明了设计的环境因素对桥梁建造工程进度管理的影响建模方案的有效性.     

宜昌长江南岸岩溶流域典型区三维地质建模

宜昌长江南岸岩溶流域过河口地区存在库岸崩塌、工程性缺水、旱涝灾害、地下水污染、石漠化等水文环境问题,在地质资料匮乏的情况下,如何直观、立体、可视地表达水文地质结构特征,成为该地区地质灾害防治和环境保护等水文地质研究的难点。以宜昌长江南岸岩溶流域过河口地区作为主要研究区域,在分析研究区域地质环境概况与已有地质资料的基础上,基于QuantyView 3D平台,提出了一种以平面水文地质图数据为主的三维地质建模方法,构建了研究区的三维地质结构模型和水文地质结构模型,并依据地下水类型为水文地质结构模型赋值属性,以此划分了7个地下水类型。在此模型的基础上,通过对模型进行数据量算分析和模型空间结构分析等应用,为过河口地区水文地质研究提供了空间信息支持,揭示了地下水赋存空间和运动场所的基本结构特征,对地下水资源保护与利用具有重要的意义。     

考虑可靠性要素的应急物流设施选址分配问题的建模研究

为了提升防灾减灾系统的运行效率,研究应急物流设施选址-分配问题,构建考虑设施可靠性要素的双目标混合整数规划模型,以最小化系统总成本和最大化客户需求覆盖率为目标,确定应急物流中心的选址区位和各节点间各种物资的分配方案;考虑即使是选中开放的设施,也存在一定的中断概率,因此以不同情形表示开放设施中存在中断设施的情况;最后,通过MATLAB实现NSGAII算法,对模型求解,得出灾害发生时应急物流设施需求覆盖率与系统总成本的关系,为灾害发生后救援系统救灾成本和受灾点需求满足程度的权衡优化,提供可参考思路。     

基于虚拟现实技术的大型储罐区灭火救援场景的构建

虚拟现实技术一直是信息领域研究、开发和应用的热点方向之一。它借助计算机构建出一个与现实环境十分逼真的虚拟环境,而且支持用户使用自然的技能亲身感受它。把虚拟现实技术作为一种崭新的训练方式和手段引入到消防领域中,具有广泛的应用前景和重要的现实意义。本文以石化企业大型储罐区灭火救援虚拟场区为研究对象,针对其场景复杂,规模较大,交互性要求高等特点,采用MultiGen Creato r/Vega开发平台,实现了石油化工火灾的灭火救援虚拟场景系统的建立,实现了场区的实时漫游和烟火特效。     

融合SSAE深度特征学习和LSTM网络的PM2.5小时浓度预测

精准的PM_2.5小时浓度短期预测,可以有效地提高空气污染的预报预警能力.针对传统的PM_2.5预测模型中存在的影响因素考虑不全面且影响因素选择方法适用性不强等问题,本文提出一种融合栈式稀疏自编码器（Stack Sparse Auto-Encoder,SSAE）和长短期记忆神经网络（Long-Short Term Memory,LSTM）的PM_2.5小时浓度预测模型.SSAE-LSTM模型综合考虑了时间因素、空间因素、气象因素和空气污染物因素等多种因素对PM_2.5的影响,采用SSAE以无监督方式自动提取PM_2.5抽象影响特征,实现特征的压缩和降维;然后以提取的抽象特征作为LSTM模型的输入,建立PM_2.5时间序列预测模型,挖掘PM_2.5历史序列中的长期依赖特征.为了验证方法的有效性,本文基于2016—2018年京津冀城市群71个空气监测站点的空气数据和气象数据,建立SSAE-LSTM模型对各个站点的PM_2.5浓度进行离线训练和预测实验.预测结果表明,SSAE-LSTM模型预测精度高于其它预测模型,在所有测试集上的一致性指数（IA）高达0.99,均方根误差RMSE与平均绝对误差MAE降到了13.98和7.90.此外,分析了SSAE-LSTM模型在不同季节的适用性,71个空气监测站点在春、夏、秋、冬4个季节测试集的预测值和实测值均有很好的线性关系,决定系数分别是0.86、0.92、0.96、0.93.对北京市万寿西宫站点的预测结果表明,SSAE-LSTM模型可以用于不同空气质量情况下的PM_2.5小时浓度预报,且具有应用上的可行性和可靠性.