基于动态执行的基带固件函数安全性分析

移动通信设备中的基带固件运行于独立的计算环境,其漏洞既可危及设备安全,又无法通过设备主操作系统的安全机制进行防护,因此其安全性备受攻防研究者的关注。实验中发现,得到的基带固件由于函数重写、调试信息剥离等原因,现有对比工具难以准确识别其危险函数,进而无法进行后续的漏洞发掘工作。本文提出一种基于动态执行的函数安全性分析方法DEx。根据预处理过程得到的基带固件的函数信息和段内容,在交叉编译和虚拟机环境下对基带固件函数实现动态执行。基于运行过程中产生的语义特征,设计优先级排序以对函数的安全性进行分析,识别得到内存拷贝函数。基于DEx方法构造了dyndiff工具,与基于二进制代码相似性方法的主流工具BinDiff对比,dyndiff的危险函数识别率是BinDiff的5.5倍。最后,阐述了本文工作在后续漏洞挖掘工作中的应用。     

风廓线雷达资料在一次强降水天气过程中的分析应用

针对风廓线雷达资料分辨率高但目前业务应用不广泛的问题,通过对2006年6月29日一次因飑线天气引发的强降水的观测,分析水平风场、垂直气流和大气虚温的变化,以及高低空急流出现的时机并结合地面观测实况,探讨风廓线雷达资料在此类天气过程中的应用.结果表明,水平风场可以清晰地显示高空急流和低空急流出现的时刻和高度,高空急流区和低空急流区不断发展并相互靠近可以预示阵风锋的到来;垂直速度正值突然增大(气流向上为正,向下为负)并迅速变成负值是判断阵风锋过境的一个依据,同时也预示降水即将开始;另外,高空温度递减率的突然加大对降雨的出现也有一定的预示作用.     

北京制造业空间布局演化及重心变动分解分析

21 世纪之初,北京正由一个工业城市逐步向适合首都特点的新经济型城市转变,其都市国际化、经济服务化、区域一体化和产业轻型化的四化经济发展战略都将对北京制造业的发展产生深刻的影响.本文以空间布局为着眼点,分别运用功能分区的圈层划分方法和基于邮区尺度的重心计算方法,对近10 年北京制造业的空间布局演化过程进行刻画,并且利用重心变动的分解分析对影响制造业布局的动力因素进行定量描述.研究表明,研究期内北京制造业的布局正在经历由城市功能拓展区向城市发展新区调整的过渡阶段;近10 年间北京制造业的就业和企业分布重心都出现了向东偏移的趋势,但是南北方向有所不同：前者向东北偏移,后者向东南偏移.对北京制造业的就业重心变动进行分解分析,结果表明：结构效应和空间效应对就业重心偏移的贡献同样显著,推动就业重心向东北偏移.北京应继续深化劳动和资本密集型的重化工业向技术和知识密集型的高新技术工业的结构调整,优先发展适合首都特点的都市型工业和高新技术工业;要继续引导产业转移,推动制造业“东移南扩”的布局调整,逐步形成布局合理、相互促进、协同发展的大都市区产业空间格局.     

江苏台风龙卷环境条件与雷达关键特征分析

利用常规观测、自动站、多普勒天气雷达以及美国环境预报中心的全球再分析资料,分析江苏2007—2018年间的台风龙卷活动时空分布特征、龙卷产生的环境条件及多普勒雷达关键特征,并与广东台风龙卷相应特征进行对比.结果表明:江苏台风龙卷与过去相比发生频次有所增加,主要集中在7—8月,且主要发生于午后的16—20时;比起广东台风...     

高拱坝动力试验模型气幕隔震的数值模拟及试验研究

基于坝体坝基相互作用和流体-气体-固体耦合理论模型,采用动力有限元时程分析的数值仿真方法,对锦屏一级高拱坝动力试验的模型,进行了气幕隔震的三维数值模拟。基于动力试验模型的相似原理、模型材料的单轴抗压强度试验以及超声波检测,得到了试验模型的基本相似物理参数;保证试验模型的基本动力相似;气室材料采用厚度为1 cm的工程塑料ABS,坝体上游面的左、右两岸直接用聚苯乙烯塑料(简称ABS)拉通覆盖,均匀地分布在坝体上游面,达到整体气室隔震的效果。数值计算及试验结果基本相符,气幕显著降低了上游坝面的动水压力。与无气幕相比,动水压力削减可达70%以上。通过数值计算分析及试验研究相结合的手段,论证了气幕减震蕴含的工程价值。     

内陆盆地区高碘地下水的成因分析：以内蒙古河套平原杭锦后旗为例

针对内陆盆地区高碘地下水的成因问题,在典型地区--内蒙古河套平原杭锦后旗系统采集了25个地下水样和3个地表水样,分析了地下水中的I、Na+、Ca2+、Mg2+、Cl-、SO2-4、HCO-3、As、Fe、Br、pH、Eh等指标。应用因子分析和多元线性回归分析方法,对内陆盆地区高碘地下水的成因进行了分析。结果表明：地下水中碘含量为31.84～1 289.57 μg/L,高碘地下水主要分布于研究区北部地下水流相对滞缓的排泄带附近、地下35 m的范围内,水化学类型以碱金属非重碳酸型为主;地下水中碘可能来源于狼山中元古代狼山群沉积物或平原区第四纪浅层沉积物;沉积物中的Fe2O3和有机质在低Eh条件下(Eh<-30 mV)分别发生还原性溶解和分解,吸附在其上的碘随之被释放到地下水中。另外,沉积物中的碘在高Ca2+和弱碱性条件下吸附作用较弱,这也间接促进了碘在地下水中的富集。相对而言,有机质分解更为普遍,但Fe2O3的还原性溶解对碘富集影响更为强烈。该成果进一步深化了对内陆盆地区高碘地下水形成机制的认识,并为当地饮水安全和生态安全提供科学依据。     

Flex技术在自动气象站观测网中的应用

本文介绍了Flex技术,并根据用户对地面气象自动观测数据使用的实际需求,采用Flex作为表现层和中间引擎,构建了一个B/S结构的地面气象自动站观测网。通过观测网的设计和实现,验证了Flex技术的可行性和有效性。Flex强大的数据处理和业务逻辑能力减轻了服务器端的负担,其良好的客户端表现提高了用户体验。     

用数字化雷达遥测回波内部流场

贵州地处青藏高原东部斜坡，地形复杂、纬度较低，是强对流天气的多发区，冰雹、暴雨、风暴灾害给全省工农业生产带来严重危害。我们结合贵州探空站点稀少、又无多普勒雷达的具体情况，采用矩不变量和相关法，在常规天气雷达上遥测回波块内部运动，编制了能完成资料预处理、特征量计数、模式识别、流场计算、存贮、打印、显示回波场、风场、散度场、涡度场的实用软件，且程序设计汇编化、管理菜单化、结构模块化、计算表格化、数据公有化，在２４０×２４０ｋｍ２的区域（网格距为１ｋｍ）中计算回波区流场的时间仅为二分钟。理论分析和数值实验表明，结果合理。用南京气象学院多普勒雷达实测的回波资料对比，其准确率可达８０％以上，若去掉因边缘效应产生的错误风矢量，准确率可达９０％以上。使用该方法，可随时大致了解降水区内部水平流场结构，有利于中小尺度天气的监测和预报，为减灾防灾等部门提供风场、散度场、涡度场等信息。     

地图制作概说

地名与地图至关密切,地图是反映各类地名分布,表示地名所指代地理实体位置及相互关系的最简明、最直接的载体。以往的地图制作一般都有测绘等专业部门来制作。随着办公条件的改善,地名办公室都配备了电脑等设备,这给地图制作提供了条件,根据我们近年来的经验,概说地图的制作方法。一、基本配置     

用雷达反演资料诊断江苏地区一次暴雨过程

对2010年7月12日发生在江苏中部地区一次暴雨天气过程产生的原因、多普勒雷达图像产品特征及由雷达数据反演的物理量场进行了诊断分析和定量评估,得出如下结论:雷达径向速度图像特征变化反映了风场辐合辐散特征的变化,有助于了解雨势增减情况。多普勒雷达径向速度提取的散度数据与NCEP散度数据整体趋势上是一致的,但辐合辐散中心区位置及强度存在差别,雷达反演散度强度较NCEP大4~5倍,天气过程变化期间两者散度在垂直高度场的配置调整均能反映降水动力场变化;400hPa及以下高度反演的平均散度更可信;对于雨强小于等于16mm/h的降水天气过程效果更好。由雷达基数据定量计算得到的平均散度特征和垂直速度随时间和高度的变化,能较好的反映出强降水过程的动力学特性;雷电频次与强降水出现时次有一定相关性,约有1~2h提前量,雷电发生随时间演变与雷达回波强度时空分布较为吻合,云底动能施力参量一定程度可以描述闪电增长情况,较降雨量约有40min左右的提前量,有一定预警能力。