摘要：与传统列控系统相比,全自动无人驾驶运营场景更加复杂多变,潜在的危险及致因具有更强的隐蔽性和复杂性,给运营安全带来了新的挑战。针对以上问题,提出一种STAMP(Systems-Theoretic Accident Model and Process)与模型检验相结合的复杂运营场景安全验证方法。首先,基于STAMP理论构建运营场景分层控制结构模型,辨识潜在的不安全控制行为、分析危险致因和安全约束;其次,定义分层控制结构模型与安全状态机模型间的基本转换规则,基于分层控制结构模型、安全约束和转换规则,构建运营场景安全状态机模型;最后,针对提取的安全约束,利用数据流图建立安全属性验证模型,结合模型检验技术,对运营场景安全状态机模型进行形式化验证。以全自动无人驾驶运营场景中列车自动进站停车为例,对方法进行验证分析。结果表明,当STAMP理论提取的安全约束通过了场景安全状态机模型的验证时,表示在该场景中对应的不安全控制行为没有发生且不导致相应危险。该方法结合系统安全分析与形式化建模验证的优势,降低了运营场景建模的难度,构建的运营场景形式化模型满足系统安全约束,可以作为全自动无人驾驶系统安全设计和安全改进的重要基础。

摘要：已建地下室的综合馆因上部建筑方案变更后现设计为西安曲江电竞中心,原综合馆仅地下室施工完成,考虑已建结构的特点、施工工期等因素,上部结构方案经比选后选用混凝土柱+钢梁的混合框架结构体系。混凝土柱与钢梁之间采用改进的柱贯通梁组合节点形式,并采用有限元软件进行抗震性能分析。结果表明:改进的柱贯通梁组合节点极限位移角为1/40,变形能力较好;混凝土柱与环加劲板、钢梁的刚度相差较大,加载后期,核心区混凝土损伤严重,因而结构耗能能力一般。在原地下室框架柱上部通过布置摇摆柱来解决新增混凝土柱的弯矩传递和无法植筋问题,给出了摇摆柱的上部和柱脚节点做法。对局部楼板大开洞区域进行应力对比分析,设置连接板带来保证楼板的水平力传递;在原地下室上部新增混凝土柱时,通过对原地下室框架柱增大截面后在其周围植筋,保证竖向荷载的传递。

摘要：针对现有城轨全自动运行系统车载设备测试安全性需求考虑不足与测试用例规模较大的问题,提出一种基于STAMP理论与组合测试的城轨全自动运行系统车载设备安全性测试方法。首先,基于STAMP理论对车载设备建立分层控制结构模型,从可测性的角度提取出安全约束,分析安全约束涵盖的车载设备安全性测试特征;然后,以最优覆盖数组与种子测试用例为基础,结合约束条件,利用遗传算法对最优覆盖数组进行重构,扩展生成满足约束条件的精简测试用例集;最后,以全自动运行系统站台发车场景车载设备测试为例,对算法有效性进行验证。结果表明,在组合覆盖强度相同的情况下,本文方法比现有主流方法生成的测试用例数平均降低16.45%,对降低车载设备测试成本、提升测试效率具有一定现实意义。

摘要：金霉素和土霉素在城市污水处理厂中检出率较高,通常以混合物的形式存在于污水中。微生物胞外聚合物(EPS)作为保护层抵御外界有害物质的侵害,在微生物生命活动中发挥着重要作用。目前,关于金霉素和土霉素对生物除磷中微生物EPS的影响较少。为探究金霉素和土霉素对生物除磷中微生物EPS的影响,采用直接均分射线法设计3种不同浓度配比(L1、L2和L3)混合物,研究了不同浓度金霉素、土霉素单独作用及其混合物对EPS中蛋白质和多糖的影响。采用三维荧光光谱(3D-EEM)和傅里叶变换红外光谱(FTIR)分析金霉素和土霉素对EPS组分及结构的影响。结果表明:随着浓度增加和反应时间的延长,生物除磷系统性能逐渐恶化,微生物EPS中蛋白质和多糖含量均呈现先上升后下降的趋势,且蛋白质含量均高于多糖。3D-EEM分析表明,随金霉素、土霉素及其混合物浓度增加,EPS中类蛋白质物质荧光强度均先增强后减弱,浓度较高时产生了类腐殖酸物质和类富里酸物质。金霉素与土霉素之间存在拮抗作用,使得混合物荧光物质的荧光强度均弱于单独作用,只有配比L3中未出现类腐殖酸物质和类富里酸物质。FTIR分析表明,金霉素、土霉素及其混合物对EPS中1653 cm^(-1)酰胺Ⅰ谱带的C O伸缩振动、1403 cm^(-1)酰胺Ⅱ谱带的C O对称拉伸、1266 cm^(-1)的P O伸缩振动、1100 cm^(-1)的糖类C—OH伸缩振动均产生影响。金霉素与土霉素存在拮抗作用引起各官能团存在差异性,1004 cm^(-1)的P—OH伸缩振动只存在于土霉素、配比L2、配比L3;900 cm^(-1)的P—O伸缩振动只存在于金霉素、土霉素、配比L2、配比L3;770 cm^(-1)的氨基酸COO变角振动只有金霉素中不存在。该研究将为科学评估金霉素和土霉素及其混合污染物对生物除磷中微生物EPS影响机制提供理论依据。

摘要：老旧小区改造设计是一项系统且复杂的任务,涉及规划、建筑、景观、市政、交通等多专业领域知识和技术,需要多专业团队协同合作。传统的线性设计方式各专业间相对独立、沟通交流不足、协同效率低,常出现多专业设计成果冲突、信息交流不畅、方案反复调整、施工落地困难等问题,从而制约了老旧小区改造工作的高效开展。本文尝试构建基于CIM的老旧小区改造多专业协同设计方法,通过与行业从业者深度访谈,总结老旧小区改造协同设计中存在的问题,探索从全要素高精度CIM基础数据平台、多专业协同设计平台、多专业成果三维可视化和智能化辅助设计四个方面构建基于CIM的协同设计平台,以期推动老旧小区改造协同设计工作模式的发展和创新。

摘要：鄂尔多斯青铜文化博物馆因建筑功能、外观造型的要求,采用了内筒(钢筋混凝土框架-剪力墙)-外挑钢桁架的混合结构体系,并在设计中使用多种结构计算程序对其进行计算分析。通过对结构方案、结构计算、混凝土与钢结构之间的连接等论述,介绍本工程的特点及计算分析等。其中重点分析了环形平面布局建筑物的环箍力的特点、不同材料与体系之间的共同作用、协调变形等;解决了建筑物各层重心偏移过大、外挑钢桁架与混凝土筒体的连接等工程难点问题。

摘要：品泉阁是道教圣地化女泉景区特色建筑之一,为传统风格楼阁建筑。传统楼阁常以木结构为主,而品泉阁采用了以钢结构为主的框架结构,分别从建筑特点、结构布置、结构计算分析、典型节点相关构造等方面进行了分析,通过合理的构件选型、布置及节点设计,满足了建筑风格及功能要求。计算和试验结果表明:结构各项指标满足规范要求,节点设置合理。该项目在继承传统建筑风格的基础上,运用现代建筑结构材料,满足建筑造型及功能需要,可为类似工程提供设计参考。

摘要：2010年世博会大明宫馆是一座传统风格建筑,为结构形式独特的展馆。采用钢-木组合结构,底部1层为钢结构,上部2层为木结构。基于大明宫馆建筑风格和使用特点,介绍了结构选型、结构布置、结构分析及关键节点构造等。结果表明:钢-木组合结构有利于实现该特定建筑的造型和功能要求。通过木结构卯榫和钢结构螺栓连接实现建筑的工业化、装配化,满足了世博会展馆需求,实现了异地拆卸重建目标。在继承传统建筑风格的基础上,运用现代建筑结构材料和结构体系,创造建筑空间、达到设计目的,确保了工程的可逆性和安全性。结构选型思路和关键节点设计方法可为类似工程的分析和设计提供设计参考。

摘要：大唐芙蓉园西大门是典型的传统风格建筑,系统阐述了西大门的门楼和三出阙的结构特点,结合结构分析的计算结果,给出了门楼和三出阙结构体系的优化过程。通过选择合理的结构设计方案,将三出阙的屋盖体系分解为"基本部分"和"附属部分",简化结构计算,通过调整相应的构造措施,减小屋面"错层"带来的不利影响。同时文中也给出若干关键部位的设计,为该类建筑的进一步分析提供了思路和方法。

摘要：西安博物院为传统风格建筑,采用框架-剪力墙结构体系,根据建筑功能及布置特点进行了结构体系的选择和模型计算,着重分析中央圆形大跨度框架筒与四周主体结构的连接方式以及对主体结构所产生的影响。对整体结构的计算指标进行了分析论述及补充计算,同时介绍了结构关键部位的处理方法(连接板及部分结构构件的构造措施)和重型大跨度圆形攒尖造型屋面的做法及结构的处理方式。