区域控制器的安全需求建模与自动验证

轨道交通区域控制器（ZC）是我国轨道交通信号系统选型的主流制式——基于通信的列车控制系统（CBTC）的核心子系统，其突出的安全性使得安全需求的形式化验证成为一个非常重要的问题.但是ZC自身的复杂性以及领域知识的繁杂难以掌握，使得形式化方法很难应用到安全需求的验证中去.针对这些问题，提出一种安全需求的自动验证方法，使用半形式化的问题框架方法（PF）来建模和分解安全需求，根据需求模型自动生成安全需求的验证模型和验证性质，在此基础上自动生成验证模型的Scade语言实现，并通过Design Verifier验证器对需求进行组合验证.最后，使用了某个实际案例ZC的一个子问题CAL_EOA进行了研究，实验结果证明了该方法的可行性与有效性，它能自动地将安全需求模型进行组合验证，改善了验证的效率.     

转向系参数对汽车拖车组合系统稳定性的影响

车身摆振是汽车拖车组合系统中一种复杂的动力学失稳现象，它常常表现为车身折叠、侧滑、侧倾等行为，给道路交通安全带来了巨大的隐患。针对此问题，应用拉格朗日方程建立了考虑牵引车转向系统的汽车拖车组合系统6自由度非线性综合模型，并通过非线性分析方法研究了转向系惯性参数和各个结构刚度、阻尼对汽车拖车组合系统稳定性的影响。结果表明，转向系结构参数对系统稳定性存在不同影响，合理选择转向系结构参数可以有效提高汽车拖车组合系统的动态稳定性。     

煤田地震勘探中多井组合爆炸法浅析

地震勘探中炸药作为激发震源的激发条件多样,采用有效的震源激发方式,才能取得高信噪比的地震原始数据。本文依据有关爆破原理,理论结合实践经验,提出在厚黄土区采用多井组合的激发方式,能有效压制噪声,增强性噪比,提高数据质量。     

基于启发式算法的套管柱组合优化设计方法

针对深井、超深油气井中套管柱组合设计存在非线性、多目标和离散变量组合的问题，提出了一种基于启发式算法的套管柱组合优化设计方法。采用树状结构表示套管柱组合并将其参数化，给出了体现套管柱成本、质量和安全因素的设计需求向量，建立了以该向量为基础的可调多目标数学模型，并给出了利用启发式算法求解该模型的方法。通过与经典的套管柱设计案例进行比较分析，在最经济方案的情形下，利用所建立数学模型得出的解在适应值方面比原方法更好，如解3在成本和质量方面均有所降低，解2的成本降低4.057%，但质量增加0.274%。研究结果表明，基于启发式算法的套管柱组合优化设计方法得出的解具有合理性，且在一定程度上比原有解更优，可解决深井、超深井套管柱组合设计存在的问题。      

基于高分一号遥感卫星的渤海湾悬浮泥沙时空分布反演

悬浮泥沙是评价II类水体水质的重要参数之一,近海岸水域悬浮泥沙对重金属、营养盐等具有一定的吸附作用,悬浮泥沙的分布特征在一定程度上反映着污染物的迁移和循环,因此研究悬浮泥沙对渤海湾建设和环境保护具有重要意义。为探究渤海湾水域悬浮泥沙浓度 和分布的变化特征,利用高分一号多光谱卫星影像,通过采用波段组合的方式对悬浮泥沙含量指数反演提取,反演得到2019年9个月的渤海湾悬浮泥沙指数,分析发现渤海湾悬浮泥沙含量在冬季受季风影响较高,春季和夏季的时候渤海湾高浓度悬浮泥沙向近岸收缩,秋季 悬浮泥沙分布格局有正在向冬季过渡的趋势,本文研究可为渤海湾的生态环境保护和工业开发提供重要的科学依据和参考价值。     

基于目标级联技术的含风电互联电网机组组合策略

针对含风电互联电网日前安全约束机组组合的规模大、约束复杂、求解困难等问题,提出基于目标级联分析技术的分散协调优化策略。将问题分解为负责区域间边界节点电压相角协调的上层优化问题和以并行方式独立优化各区域发电计划的下层优化问题。下层优化以弃风电量期望和电量不足期望,量化各区域内风电、负荷预测误差,以及常规机组强迫停运等系统运行不确定性所带来的风险,并以罚函数的形式引入目标函数,以综合优化系统可靠性与经济性。2区域12节点系统和IEEE RTS96三区域互联系统算例仿真验证所建模型和算法的有效性。