实时数据分发服务系统重构正确性保证研究

为解决分布式系统动态配置时数据正确性、一致性问题,保证系统不因交互实体重配置而失效,提出分布式系统数据正确性概念。现有的中间件是在应用层或者通过重配置管理器／控制器来自动保证数据的正确性,而数据分发服务规范是通过定义一种发布/订阅系统的体系结构和特性来自动实现正确性保证。分析实时数据分发服务系统重构时对保持数据正确性的支持,并给出自动实现正确性保证的例子。     

地铁盾构下穿古建筑振动监测与保护研究

为确保地铁盾构下穿古建筑物施工安全,确定先评估、先加固、施工监测、后评估、后加固总体技术路线。通过建立古建筑 1︰3.52 的实体模型并进行振动台试验获取结构阻尼比,利用 Ansys 进行三维建模,采用结构与模态分析,针对易损结构进行加固预防,为后续振动监测与盾构施工提供参考依据,结合试验区施工监测数据,调整施工参数。结果表明：在静力分析下该结构位移最大值约为 14.01 mm,验证了三维模型的有效性。通过模态分析确定结构模型基本频率为 0.590 46 Hz,最易受损位置为斗枋处。在盾构穿越过程中,古建筑物加速度变化幅度小于 0.003 m/s2,振动频带主要集中在 0.6～20.5 Hz,振动频带处于正常范围,对古建筑物基本无影响。针对盾构下穿古建筑物提出以“地铁盾构穿越以匀速掘进为主,避免运营高峰期作业,影响区地层之间使用注浆加固,对古建筑物易损结构进行支护,施工时采取隔振减振方案”的总体解决思路,为后续类似工程建设提供参考。