基于Pushdown分析的RC框架抗连续倒塌承载力研究

目的分析了典型钢筋混凝土框架的抗连续倒塌承载力规律,为抗连续倒塌设计和研究提供参考.方法采用非线性静力Pushdown方法,对不同抗震设防烈度的非整体现浇板框架和整体现浇板框架的抗连续倒塌承载力进行了分析和对比.结果层间不均匀内力是导致多层框架梁共同作用时相对承载力偏低的原因.梁机制和悬链线机制作用下框架结构的抗倒塌承载力分别由框架梁的抗弯承载力和抗拉承载力决定.结论抗震设计增强了框架在梁机制作用下的抗连续倒塌承载力,而对悬链线机制作用下的抗连续倒塌承载力提高有限.楼板显著增强了框架在梁机制作用下的抗连续倒塌承载力,而对悬链线机制作用下的抗连续倒塌承载力的增强效果则取决于参与工作的楼板宽度.

基于Pushdown方法的圆钢管混凝土柱-钢梁框架抗连续倒塌机制分析

为研究结构在关键构件失效后的抗连续倒塌机制,基于ABAQUS纤维梁-柱单元建立了钢管混凝土柱-钢梁框架的有限元模型,钢材及核心混凝土材性分别调用课题组基于ABAQUS软件开发的材料本构子程序i Fiber LUT中的i Steel05和i Concrete01。采用Pushdown分析方法,对长边中柱失效、短边中柱失效、内部柱失效和角柱失效等4种典型工况下的连续倒塌进行了分析,研究典型柱失效后剩余结构的抗连续倒塌机制。研究结果表明:纤维梁-柱单元模型可以精准地分析空间框架连续倒塌性能。4种柱工况下结构的抗连续倒塌能力由大到小为:短边中柱失效、内部柱失效、长边中柱失效、和角柱失效。

不同去柱工况下多层钢框架结构抗连续倒塌机理研究

为探究不同去柱工况对多层钢框架结构抗连续倒塌性能影响,分别对中柱失效和角柱失效工况的2层2跨钢框架梁-柱子结构进行Pushdown加载试验,研究其在倒塌过程中的抗力曲线和破坏模式。试验结果表明:中柱失效下钢框架主要依靠弯曲机制和悬链线机制抵抗外加荷载,且悬链线机制具有一定的滞后性;而角柱失效下钢框架主要依靠弯曲机制抵抗倒塌,且由于空腹效应的存在,可以有效提高结构的抗倒塌承载力。随后通过有限元软件ANSYS/LS-DYNA对所研究试件进行数值模拟,并对现实场景中可能出现的6种去柱工况分别进行抗连续倒塌分析。通过对比6种去柱工况钢框架结构的抗力曲线和抗倒塌风险可知:不同去柱工况下的钢框架结构水平约束条件不同,从而空腹效应发展也不尽相同;考虑空腹效应并考虑单位面积结构的承载力时,邻角柱失效与邻边柱失效工况下的钢框架结构具有较高的倒塌风险。

基于Pushdown方法的全装配式混凝土框架结构抗连续倒塌研究及灵敏度分析

通过非线性静力Pushdown分析及灵敏度计算方法,对影响多层装配式混凝土框架结构抗连续倒塌性能的不确定性参数进行评估。首先以某牛腿-插销杆-角钢连接形式的全装配式混凝土框架子结构静载试验研究为基础,利用OpenSees有限元软件对该试验过程进行数值模拟,计算所得的结构荷载-位移曲线及失效模式均与试验结果较好吻合。在此基础上,对试验过程中的插销杆失效模式进行了参数优化分析,结果表明可通过增大螺杆直径或采用高强螺杆等方式增强插销杆的抗剪强度,从而有效提高结构二次防倒塌能力;其次,设计了一榀四跨七层的全装配式混凝土框架结构及相应的现浇结构,分别对拆除首层中柱和边柱两种不同失效工况下剩余结构的抗连续倒塌性能进行了非线性静力Pushdown计算;并通过选取包含荷载、材料以及结构几何尺寸等在内的15个不确定性参数,利用Tornado图形法对各不确定性参数的灵敏度进行了分析。结果表明,在中柱和边柱失效工况下,该多层全装配式框架结构在压拱阶段的极限承载能力分别较现浇结构低约18.5%和22.8%左右;同时纵筋屈服强度、混凝土抗压强度、楼面恒荷载、活荷载及梁纵筋截面积等不确定性参数对采用该连接形式的整体结构抗连续倒塌性能影响较大,而混凝土弹性模量、柱纵筋截面积、纵筋弹性模量、箍筋截面积以及梁宽尺寸等参数不确定性对结构性能影响相对较小,在结构设计阶段可忽略其变异性造成的影响。

An Entertaining Example of Using the Concepts of Context-Free Grammar and Pushdown Automation

A formal-linguistic approach for solving an entertaining task is offered in this paper. The well-known task of the Hanoi towers is discussed in relation to some concepts of formal languages and grammars. A context-free grammar which generates an algorithm for solving this task is described. A deterministic pushdown automation which in its work imitates the work of monks in solving the task of the Hanoi towers is built.

考虑腐蚀作用的钢框架结构连续性倒塌分析

为研究大气环境长期作用下钢框架结构的抗连续性倒塌性能,建立钢结构时变腐蚀模型预测构件截面面积和力学性能随服役时间的退化情况,并以一栋处于Ⅲ级大气腐蚀环境中的多层钢框架建筑为研究对象,在服役期内的不同阶段对其进行Pushdown分析。将塑性荷载系数、极限荷载系数和最大竖向位移作为结构抗倒塌能力的评价指标,通过灵敏度分析得到不同材料参数对各指标的影响情况,并基于回归分析拟合评价指标随体积损失率的退化规律。结果表明:腐蚀会导致钢框架的承载力和延性发生退化,其中延性的劣化更加明显;承载力指标的退化主要归因于材料强度的降低和构件截面面积的减少,延性指标的退化主要与材料断裂应变的减小有关;评价指标与结构体积损失率之间有较强的线性关系,可基于此对其退化情况进行定性预测。

竖向不规则框架结构连续性倒塌分析

国内外学者利用非线性静力方法进行结构倒塌分析时,研究对象主要集中在规则的结构形式,而针对大量出现的造型独特的竖向不规则建筑的倒塌研究还相对较少。本文基于拆除构件法,利用SAP2000结构有限元软件,对竖向不规则多层框架结构进行了基于非线性静力Pushdown方法的抗连续性倒塌研究。分别研究了拆除同一结构中不同部位构件、不同层数塔楼结构中相同部位构件后剩余结构的承载力变化情况,研究结果表明:拆除竖向承重柱后的剩余结构承载力,随着上部塔楼层数的增加以及拆柱位置的上升而出现不同程度的降低;加强裙楼顶部水平向承重构件,可以使塔楼底部构件破坏后的剩余结构更好地发挥悬链线机制,并防止剩余结构发生无明显征兆的连续性倒塌。

偏心支撑对高层钢框架结构抗连续倒塌性能的影响

为研究偏心支撑对高层钢框架结构抗连续性倒塌性能的影响,利用ANSYS 10.0建立两个20层钢结构平面框架的有限元模型,分别为无支撑框架和偏心支撑框架。采用备用荷载路径法对它们进行非线性静力分析及非线性动力分析。通过分析比较两个算例框架的结果,偏心支撑不仅能够提高结构的整体刚度,而且能显著地提高剩余结构的抗连续性倒塌能力,但对结构的竖向极限承载能力并没有明显的提高。

基于OpenSees的钢筋混凝土平面框架抗连续倒塌能力分析

采用Pushdown方法对移除柱后的钢筋混凝土平面框架进行抗连续倒塌能力分析.探究楼层层数对结构抗连续倒塌承载力的影响以及移柱后结构的空腹桁架效应,同时提出一种计算移柱后钢筋混凝土框架结构体系可靠度的方法.通过对约束梁、单层平面框架和多层平面框架的拟静力试验进行模拟,验证基于OpenSees建立的有限元模型的正确性.分别对2层、4层、6层及8层的4跨钢筋混凝土平面框架进行分析,得到其Pushdown曲线及框架梁轴力曲线,通过Pushdown曲线计算承载力放大系数,利用框架梁钢筋应变的相对大小设定框架梁层间相关性.结果表明:随着楼层的增加,单层平均承载力降低,结构体系连续倒塌概率增大.

凶险性前置胎盘伴重型胎盘植入术中不同膀胱分离时机的临床应用价值

目的:探讨凶险性前置胎盘伴重型胎盘植入患者术中不同膀胱分离时机的临床应用价值。方法:选择2017年1月至2020年12月于甘肃省妇幼保健院行术前胎盘检查,超声评分诊断为凶险性前置胎盘伴重型(植入型和穿透型)胎盘植入并在术中确诊的204例孕妇作为研究对象,根据术中膀胱分离时机分为胎儿娩出前下推膀胱81例(娩出前下推组)及胎儿娩出后下推膀胱123例(娩出后下推组),比较两组孕妇的术中情况、术后并发症及围产儿结局。结果:①娩出前下推组与娩出后下推组比较,手术时间较短(103.16±49.00 min vs 148.45±67.60 min)、术中出血量较少(1000 ml vs 2000 ml)、输血量较少(400 ml vs 1150 ml),差异均有统计学意义(P<0.05);②两组的子宫切除率及术中凝血功能异常的发生率比较,差异无统计学意义(P>0.05);娩出前下推组膀胱破裂率(2.47%)低于娩出后下推组(12.20%),差异有统计学意义(P<0.05);③两组的平均住院时间、术后发热、术后24小时出血、新生儿结局比较,差异均无统计学意义(P>0.05)。结论:在凶险性前置胎盘伴重型胎盘植入患者术中,胎儿娩出前下推膀胱可明显减少术中出血量、术中输血量,降低膀胱破裂的发生率,可供临床推广应用。

基础隔震结构竖向连续倒塌机制及影响因素研究

主要分析了隔震结构竖向连续倒塌机制和结构不同参数对倒塌机制的影响。首先通过单榀隔震框架结构的竖向推覆试验对有限元软件Seismo Struct建立的模型进行了验证。之后利用该软件采用非线性Pushdown分析方法,对含不同楼板类型、不同隔震支座、不同抗震设计的多组有限元结构模型进行了分析和对比。分析结果表明楼板增强了梁机制作用下的抗连续倒塌承载力,而对悬链线机制下的增强取决于楼板参与宽度;随着设防烈度的提高,梁机制、悬链线机制下的抗连续倒塌承载力都有提高,但梁机制下的提高幅度更明显;与非隔震结构相比,由于隔震层约束的减弱,有些工况下结构梁机制的失效会延迟,而隔震层水平刚度的提高对隔震结构的竖向相对承载力影响不大。

剖宫产术中娩出胎儿前膀胱下推法在凶险性前置胎盘手术中的应用效果

目的评价剖宫产手术时娩出胎儿前膀胱下推法在凶险性前置胎盘手术中的应用效果。方法选择2016年1月至2017年12月安徽医科大学第一附属医院产科收治凶险性前置胎盘孕产妇89例,根据剖宫产时下推膀胱的时机不同,分为A组(47例)与B组(42例),A组为娩出胎儿前膀胱下推组,B组为娩出胎儿后下推膀胱组。比较两组孕产妇一般情况(年龄、孕次、产次、孕周、胎盘植入率)、平均手术出血量、平均输血量、手术时间、术后住院时间、产褥病率、子宫切除、膀胱损伤和新生儿窒息方面的差异。结果A、B组孕产妇术中出血量分别为(1927.76±356.31)mL、(2859.55±477.80)mL,输血量分别为(861.72±91.58)mL、(1285.73±162.69)mL,手术时间分别为(1.83±0.87)h、(2.71±0.94)h,术后住院时间分别为(5.37±1.72)d、(6.83±1.56)d,产褥病率分别为10.64%、28.57%,子宫切除率分别为14.89%、35.71%,新生儿窒息发生率分别为4.26%、19.05%,两组差异有统计学意义(P<0.05)。结论凶险性前置胎盘娩出胎儿前膀胱下推法疗效满意,值得临床推广应用。

一种多项式时间的路径敏感的污点分析方法

提出了一种解决静态污点分析方法在进行路径敏感的分析时面临的路径爆炸的问题的方法.该方法将污点分析问题转化为加权下推自动机的广义下推后继问题,进一步利用污点数据在程序中的可达性,减少后续分析中需要精确执行的路径数.从而该方法能够以多项式的时间复杂度实现程序状态空间遍历,并能在发现程序违反安全策略时自动生成反例路径.设计实验使用该方法对击键记录行为进行了刻画,对恶意代码程序和合法软件进行了两组分析实验,并与现有的方法进行了对比分析.实验证明本文的方法可以有效地对具有较多分支的程序进行路径敏感的污点分析。

一个基于下推自动机的Web测试自动执行器

随着 Web 应用系统的广泛应用,对其质量要求也越来越高。如何进行有效的测试以保证 Web 应用系统的质量是值得关注的研究问题。支持测试用例自动执行的测试执行器(Test runner)是其中的一个热点和难点。文章研究并提出了基于下推自动机的 Web 测试自动执行器,并实现了其原型系统。该执行器支持测试用例的自动执行并给出测试结果报告,并通过 Web 应用测试实例验证了其有效性。

下推自动机的状态转换图与下推自动机的化简

参照有限状态自动机图形表示方式的思想方法,研究了标准下推自动机的图形表示——PAD 状态转换图,证明了下推自动机与标准下推自动机的等价性。给出了对标准下推自动机进行化简的原则,并给出了化简算法,实现了下推自动机的化简。

带大跨度空心楼板的高层框架结构抗连续倒塌性能分析

现浇空心楼板由于其自重轻、成本低、能够满足现代建筑对于建筑功能和使用空间的要求等优势,在大跨度楼盖中的应用越来越广泛。本文基于某带大跨度空心楼盖的高层框架结构,采用基于拆除构件法的Pushdown分析方法从结构极限承载力、失效点竖向位移以及关键构件受力机制等多个方面研究大跨度空心楼板对该结构抗连续倒塌性能的影响。结果表明,大跨度空心楼板可显著提高结构的抗连续倒塌性能,减轻结构倒塌破坏的程度。本文最后结合分析结果提出带大跨度空心楼板框架结构的抗连续倒塌设计建议,对类似工程的设计和研究具有一定的参考性。

基于下推系统可达性分析的输出信道信息流检测

提出了一种对含输出信道的命令式语言进行信息流安全性分析的方法。将程序抽象为下推系统,通过自合成将不干涉性转化为安全性属性,将两次相关执行中向输出信道的输出操作分别抽象为由下推规则表示的存储和匹配操作,通过对标错状态的可达性分析验证程序是否满足终止不敏感不干涉性。演化后的方法支持程序的发散执行,通过上界回退算法找到强制终止首次执行所需的最大输出信道上界。实验说明该方法与现有工作相比具有更高的精确性和验证效率。

基于下推系统可达性分析的程序机密消去机制

针对程序语言信息流安全领域的现有机密消去策略,提出了一种基于下推系统可达性分析的程序信息流安全验证机制.将存储-匹配操作内嵌于对抽象模型的紧凑自合成结果中,使得对抽象结果中标错状态的可达性分析可以作为不同机密消去策略下程序安全性的验证机制.实例研究说明,该方法比基于类型系统的方法具有更高的精确性,且比已有的自动验证方法更为高效.

Fuzzy 2型属性文法与Fuzzy属性下推自动机

讨论了２型属性文法与属性下推自动机的关系，进一步给出了Ｆｕｚｙ上下文无关属性文法与Ｆｕｚｙ属性下推自动机，并详细讨论了二者的关系。

基于下推自动机的XML数据流递归查询研究

针对具有子孙轴(//)和谓词([])结构特征的XPath对具有不同递归深度的XML数据流进行递归查询处理问题,提出了基于下推自动机技术的处理方法,通过将XPath各类置步转化成相对应的处理模块,由算法将各类处理模块组合起来,建立了自上而下的树状查询模型。由于查询过程中将会发生多重匹配,从而会产生大量的匹配模式,该模型通过有效的匹配策略和缓存操作,对匹配模式进行保存及检验,成功地实现XML数据流递归查询。实验结果表明,该算法在性能上要优于传统方法。