针对低空经济发展涉及的安全管理问题,在总结低空经济相关技术路线原理及落地方案的运行经验,分析低空安防普适性的4个建设方案:雷达与通感一体技术融合方案、广播式自动相关监视技术方案、远程识别技术方案和基于TDOA(time difference ...针对低空经济发展涉及的安全管理问题,在总结低空经济相关技术路线原理及落地方案的运行经验,分析低空安防普适性的4个建设方案:雷达与通感一体技术融合方案、广播式自动相关监视技术方案、远程识别技术方案和基于TDOA(time difference of arrival)无线电技术的多源融合方案的基础上,构建无人飞行器探测技术评价指标体系,并建立了一种基于决策试验评估实验室(decision-making trial and evaluation laboratory, DEMATEL)和优劣解距离法(technique for order preference by similarity to an ideal solution, TOPSIS)的多属性评价方法。结果发现,以TDOA为基础的多源融合方案是构建城市低空安防体系的有效路径和普适性方案。研究表明,低空安防体系的建设是一个系统性工程,需要政府、企业和社会各方的共同努力,在技术、数据、运营等多个层面进行整合,以适应未来低空经济的发展需求。展开更多
基于通信的列车控制系统(communication based train control system,简称CBTC)已经成为世界范围内建造轨道交通信号系统的标准制式.CBTC采用更加灵活和精确的列车控制,并提供连续的安全列车间隔保证和超速防护,在很大程度上提高了轨道...基于通信的列车控制系统(communication based train control system,简称CBTC)已经成为世界范围内建造轨道交通信号系统的标准制式.CBTC采用更加灵活和精确的列车控制,并提供连续的安全列车间隔保证和超速防护,在很大程度上提高了轨道交通运输的效率和安全性.尽管CBTC能够精确地实施实时控制,但由于CBTC涉及计算、通信与控制这3个方面的实时协同,系统设计与实现异常复杂.由设计缺陷而导致严重的灾难、事故和损失屡见不鲜.作为一个典型的安全攸关系统,如何保证CBTC的可信构造已成为领域研发人员关注的焦点与面临的最大挑战.鉴于在软硬件领域的成功经验,形式化方法目前已被公认为是保障CBTC可信性的一种有效方案.围绕CBTC的可信构造,从其生命周期的3个重要阶段,即系统需求分析、设计建模与底层实现入手,针对CBTC在可信方面的典型特征,梳理分析了CBTC系统在可信构造方面面临的挑战、国内外研究现状和发展趋势,全面介绍了形式化方法在CBTC可信构造中扮演的角色.展开更多
为解决斜拉桥施工监控过程中测量数据量庞大、管理和分析任务繁重而易出错的技术难题,基于数据库技术、水晶报表技术和Visual Studio 2008编程环境,开发了斜拉桥施工监控数据处理系统。该系统从斜拉桥施工监控的基本理论入手,实现了监...为解决斜拉桥施工监控过程中测量数据量庞大、管理和分析任务繁重而易出错的技术难题,基于数据库技术、水晶报表技术和Visual Studio 2008编程环境,开发了斜拉桥施工监控数据处理系统。该系统从斜拉桥施工监控的基本理论入手,实现了监控过程中施工误差识别和利用识别结果进行补偿修正有限元模型的问题,解决了利用关系型数据库快速、智能地形成各种报表的关键问题。该系统成功应用于武汉二七长江大桥的施工监控,使现场监控工程师可以专注于结构分析,而非数据处理。展开更多
文摘针对低空经济发展涉及的安全管理问题,在总结低空经济相关技术路线原理及落地方案的运行经验,分析低空安防普适性的4个建设方案:雷达与通感一体技术融合方案、广播式自动相关监视技术方案、远程识别技术方案和基于TDOA(time difference of arrival)无线电技术的多源融合方案的基础上,构建无人飞行器探测技术评价指标体系,并建立了一种基于决策试验评估实验室(decision-making trial and evaluation laboratory, DEMATEL)和优劣解距离法(technique for order preference by similarity to an ideal solution, TOPSIS)的多属性评价方法。结果发现,以TDOA为基础的多源融合方案是构建城市低空安防体系的有效路径和普适性方案。研究表明,低空安防体系的建设是一个系统性工程,需要政府、企业和社会各方的共同努力,在技术、数据、运营等多个层面进行整合,以适应未来低空经济的发展需求。
文摘基于通信的列车控制系统(communication based train control system,简称CBTC)已经成为世界范围内建造轨道交通信号系统的标准制式.CBTC采用更加灵活和精确的列车控制,并提供连续的安全列车间隔保证和超速防护,在很大程度上提高了轨道交通运输的效率和安全性.尽管CBTC能够精确地实施实时控制,但由于CBTC涉及计算、通信与控制这3个方面的实时协同,系统设计与实现异常复杂.由设计缺陷而导致严重的灾难、事故和损失屡见不鲜.作为一个典型的安全攸关系统,如何保证CBTC的可信构造已成为领域研发人员关注的焦点与面临的最大挑战.鉴于在软硬件领域的成功经验,形式化方法目前已被公认为是保障CBTC可信性的一种有效方案.围绕CBTC的可信构造,从其生命周期的3个重要阶段,即系统需求分析、设计建模与底层实现入手,针对CBTC在可信方面的典型特征,梳理分析了CBTC系统在可信构造方面面临的挑战、国内外研究现状和发展趋势,全面介绍了形式化方法在CBTC可信构造中扮演的角色.
文摘为解决斜拉桥施工监控过程中测量数据量庞大、管理和分析任务繁重而易出错的技术难题,基于数据库技术、水晶报表技术和Visual Studio 2008编程环境,开发了斜拉桥施工监控数据处理系统。该系统从斜拉桥施工监控的基本理论入手,实现了监控过程中施工误差识别和利用识别结果进行补偿修正有限元模型的问题,解决了利用关系型数据库快速、智能地形成各种报表的关键问题。该系统成功应用于武汉二七长江大桥的施工监控,使现场监控工程师可以专注于结构分析,而非数据处理。
