摘要：随着硬件设计复杂度的提高,设计的后期验证在设计生命周期中占据的比重也越来越大。能否对设计进行全面有效的验证,是验证人员所面临的主要问题。采用SystemVerilog语言对SRAM控制器IP核搭建验证环境,并结合SVA断言技术对其实行监控,得出代码及功能覆盖率数据。通过与传统的验证方法对比分析可知,基于SystemVerilog的验证方法更加全面有效,提高了验证质量。

摘要：为解决飞机货舱火灾光学探测易受环境杂光和空气中灰尘、水汽干扰,误报率高的问题,提出1种基于数字锁相的双波长火灾烟雾探测方法。利用数字锁相技术调制双波长光源,选择性地提取微弱光散射信号,并设计前、后双向散射光探测光路。采用常见火灾材料及干扰源进行真假火源实验,依据米氏散射理论及不同粒径气溶胶颗粒对不同波长光的散射效应差异,以不对称比(AR)和双波长光强比(DWIR)作为火灾检测参数对不同粒径颗粒进行区分,根据2种火灾检测参数建立数据样本,利用BP神经网络进行分析,并加入复合式传感器实验作为对比。研究结果表明:基于数字锁相技术的火灾烟雾光学探测方法能够在一定程度上区分火灾烟雾和干扰源,误报率小于3.5%。

摘要：随着全球导航卫星系统空间星座的增多以及双频技术的发展,用于航路阶段的常规接收机自主完好性监测算法不能满足LPV-200进近对完好性的要求,因此,出现应用于进近阶段的高级接收机自主完好性监测(ARAIM)技术。针对LPV-200进近,基于对垂直保护限值的理论分析,研究ARAIM可用性预测算法,并设计ARAIM瞬时可用性预测系统。仿真结果表明,该系统能满足LPV-200进近对完好性的要求,在中国区域内,当可用性设置为99.9%时,ARAIM预测算法的覆盖率可达100%。

摘要：为了客观、快速判断管制员班前、班后的疲劳状态,需要先找出班前、班后的疲劳标志指标。首先根据已有管制员疲劳风险因素体系文献,初步筛查疲劳相关指标,然后针对管制员实际工作情况设计试验,结合雷达管制模拟测试结果,使用灰色关联理论分析具体数据。结果表明:管制技能、睡眠质量和发现目标的反应时间是班前疲劳标志指标,管制技能、当班时期的工作负荷和轮班时间是班后疲劳标志指标。对标志指标与班前、班后疲劳进行相关分析,结果表示疲劳与其标志指标具有显著相关性。

摘要：为确保大高宽比高层剪力墙结构的抗震安全,应对高层剪力墙结构进行抗震性能和结构抗倾覆能力分析。针对强震区某大高宽比高层剪力墙结构,基于抗震性能分析方法开展不同地震水准下剪力墙结构抗震分析,基于延性设计对中震作用下底部加强区剪力墙进行等效拉应力分析,同时对桩基性能以及提高结构抗倾覆能力的技术措施效果进行分析。通过分析得到,小震作用下结构位移角满足规范要求,对于大高宽比剪力墙结构增大结构中下部刚度可有效提高结构的抗侧能力;中震作用下大高比高层剪力墙结构底部加强区的剪力墙等效拉应力较大,为提高结构延性应对墙肢采取增加配筋或设置型钢;大震作用下结构塑性发展明显区域位于结构底部,结构达到大震性能点后仍能保持承载能力;中震作用下部分桩基抗拔力较大,提出了在结构地下室短向增加剪力墙和桩基的技术措施,该技术措施可以有效的改善结构整体抗倾覆能力。本文分析可为大高宽比高层剪力墙结构的抗震性能与抗倾覆分析提供参考。

摘要：高端服务业是处于服务业高端领域的特殊行业。发展高端服务业是经济稳定发展的重要支撑,是经济转型升级的内在要求,是经济持续发展的必然选择。文章通过"热点"园区、产业链、新知识经济等多重视角对高端服务业发展战略模式与机理进行研究,具体讨论了"热点"园区空间布局模型及高端服务业发展模式、城市发展战略定位基础上的高端服务集聚模式和"热点"园区下高端服务综合评价模型与发展模式,并就产业需求驱动的城市高端服务业形成机制、产业链视角下的城市高端服务与其他产业互动模式和引导高端服务产业聚集的政策制度创新进行分析,指出了信息技术在高端服务业中的应用、高端服务业可持续发展创新战略和城市高端服务业空间网络设计与优化策略,为我国高端服务业发展提供了有益的政策参考。

摘要：针对风电场可能会对周围气象雷达产生严重影响的问题,提出一种风电场对气象雷达影响评估系统的设计与实现方法。利用风电场限制区评估、风轮机可见性评估、雷达波束阴影区评估、详细工程评估4个方面全面评估风电场可能对气象雷达产生的影响。详细工程评估通过计算风电场对气象雷达反射率因子等气象目标参数,估计可能造成的误差,评估风电场造成的影响。影响评估系统包含评估参数输入界面和评估结果显示界面,通过图与表结合的形式给出风电场对气象雷达潜在影响的定性与定量评估结果,对风电场和气象雷达的选址选型提出指导性意见。

摘要：数据同步是实现异地双活数据中心的关键技术,但现有远程数据库同步机制效率较低,并且不能满足异构数据库之间的同步要求。针对上述问题,设计一种新的远程数据库同步机制。分析应用程序操作数据库的过程,研究从数据库连接驱动中捕获SQL的方法,并提出一致性校验算法进行数据验证。实验结果表明,该机制能提高远程数据库同步效率,同时支持异构数据库同步,可为大数据时代多数据中心和灾备系统建设提供技术支持。

摘要：针对以往终端区在危险天气下依靠空中交通管制员个人经验、缺乏量化决策模型导致安全系数降低、通行能力下降的问题,对终端区受扰状态下的通行能力优化展开研究。首先,根据终端区特点描述了终端区网络的数学表示方法,构建了进离场航线的费用函数,并说明了以不同品种流区别飞机性能差异的必要性;其次,考虑航线与跑道容量、管制员负荷、机型差异,建立了一个以航线费用最小为目标的动态多品种流网络优化模型;再次,针对终端区航线网络费用动态变化的特点,设计了一种阶段性分配流量的近似算法;最后,以上海终端区作为算例进行仿真,结果表明,优化模型能在危险天气发生时快速有效地分配空中交通流量,优化受扰通行能力,在大流量下比传统的求解算法更具效率优势。

摘要：飞机除冰是影响民航冬季安全运行的重要因素之一,为了优化飞机除冰液参数,设计了飞机地面除冰室外实验。在冬季室外条件下通过对结冰的模拟机体表面喷射加热的除冰液进行除冰,在除冰过程中对除冰液流量、除冰液温度进行控制,通过安装在机体上的温度传感器和光纤传感器得到飞机机体表面温度变化和冰层厚度变化情况。通过分析实验结果可得:在一定范围内,除冰液温度升高能有效提高除冰速率;除冰液流量增加也能提高除冰速率,但当除冰液流量超过一定值时,射流冲击成为除冰的主要动力。