基于符号表达式的程序语义缺陷警报关联识别方法

针对程序静态缺陷检测存在高误报需要耗费大量人力消除的问题,提出了一种程序语义缺陷警报关联的方法,通过挖掘警报间的深层次关联信息建立警报关联,有助于提升人工判定警报的效率。首先采用符号表达式与区间表示一个变量的取值,并基于符号表达式的逻辑关系建立了警报间的关联推导规则,然后在缺陷检测阶段根据缺陷触发条件识别出警报并推导出不同警报间的关联,最后根据警报间的关联关系对警报进行自动判定。通过对5个实际C工程的测试结果表明,本文所提方法可以有效识别出警报间的关联关系,能够有效减轻人工判定警报的工作。     

塔机安全施工可视化监控系统

目的 研究塔机安全施工可视化监控技术,提高塔机施工安全与运作效率。方法 建立塔机安全施工可视化监控系统及使用平台,建立驾驶行为分析与疲劳警报系统,并实现塔机基础监测与吊钩可视化。结果 塔机安全监控报警系统能够准确获取有效数据来判断驾驶员的行为及疲劳状态;驾驶员识别系统能够实现对驾驶员的面部识别;驾驶行为分析系统通过监管吊钩高度、小车位置和塔臂转角等参数,建立了行为规范评分机制,能够改善驾驶员驾驶行为;建立了疲劳警报系统连续驾驶计算规则,确定疲劳驾驶临界时间,并设置终端强行停止塔机运转功能。塔机基础监测系统采用公用无线数据网,实现了实时数据无线上传及记录。结论 塔机安全施工可视化监控系统能够有效提高塔机施工效率,并保证塔机运转安全。     

水库调度中的风险分析及决策方法

针对水库调度的风险问题,探讨了定性风险分析方法和定量风险分析方法,着重探讨了定量风险分析方法中的概率与数理统计分析法、模拟分析法、马尔柯夫过程分析法和模糊数学分析法。引入了不同的风险决策方法,并结合实例进行了分析计算。     

逆序的Beckmann城镇等级-规模模式及其对位序-规模法则的解释力

在没有改变Backmann1958年提出的城镇等级-规模(hierarchy-size)模式任何假设前提的情况下,给出了一个与贝氏的城市级别顺序相反的贝氏模式.此模式反映的城镇等级-规模特征与位序-规模法则的验证结果十分相近.这样一来,不仅解释了位序-规模法则,而且将中心地方论及其有关研究与城市规模分布的相关研究有机地结合在一起.     

汉江流域河网分级特征研究

为深入了解汉江流域河网结构特征,在提取高精度数字河网的基础上,结合地表水频率地图和河宽遥感数据集,研究河网几何结构和拓扑结构的自相似性,同时统计分析河网的河宽分级规律.结果表明,河网中1～6级的分支比、河长比、面积比和侧枝比等结构参数稳定在较窄的数值范围内,证明1～6级河网具有良好的几何拓扑结构自相似性.在河网自相似级...     

无人机对空威胁算法与仿真

针对无人机任务规划环境的建模问题当中的各种对空威胁,研究了一种威胁等级的评估方法.提出采用层次分析法计算影响威胁等级评估的各种因素的权重,并使用模糊推理技术进行威胁评估,对规划区域内的各种威胁进行了建模.仿真结果表明,该方法较好的解决了影响威胁等级的各属性的模糊性与获得较为精确的威胁等级数值之间的矛盾.     

福州市直报服务级别降水量的时空特征及变化趋势分析

利用2013—2021年福州市自动站降水资料,结合统计和趋势分析方法,分析直报服务级别降水量的时空分布及变化趋势。结果表明,1h50mm、2h70mm和3h100mm级别降水量年次数年际变化大,月次数集中在7—9月,日高发期1h50mm和2h70mm集中在17—18时,3h100mm集中在3时和17时前后;空间分布年高次数区1h50mm和2h70mm比较分散,3h100mm范围小;月高次数区1h50mm和2h70mm较分散,3h100mm7月范围大且集中、6月和8—9月较分散;年次数均为增加趋势,月次数是6月减少,8—9月呈增加趋势。     

人防警报通信系统建设策略探析

随着中国经济的发展与社会的进步,人们越来越重视人民防空通信警报事业的发展,因为它既关乎人们的生命安全,也关乎人们的财产安全。21世纪的今天,高技术得到广泛运用,人防警报通信系统建设要是得不到相应的改革与更新,就会严重阻碍中国的发展。本文就人防警报通信系统建设中的问题展开论述,并提出了相应的解决措施,旨在建设一个多手段、多网络、高技术的通信警报体系,最终减少战争时期的相关人民生命财产的损失,真正做到从人民出发、为人民服务。     

电表改装实验的设计与校准

基于电表改装的原理,从教学实际出发,系统的对电表改装实验的设计和校准进行研究。结合教学实际给出满偏调节流程图,使教学难点变得形象清晰。实际教学过程中发现,学生依据满偏调节流程图,能够快速、有效的完成电表的改装与校准,充分调动了学生的积极性。并结合实验误差思想及实验条件给出电表准确度等级确定原则,结合亲自测量的实验数据讨论了标称误差的计算方法,标称误差计算的拓展加深了学生对电表改装实验的理解。     

基于LINGO软件的舰船装备修理级别优化分析

针对舰船装备修理级别分析中处理有限数据情况下优化模型较少的问题,提出了一种基于LINGO软件而适用于舰船装备3层3级的修理级别分析优化模型,采用LINGO软件对模型进行编程求解,同时,通过案例计算,验证了舰船装备修理级别LINGO模型的准确性和实用性.