检索结果-内蒙古大学图书馆

作者：陈鑫谢宇轩 210001 江苏省南京市鼓楼区汉口路22号

本发明公开了一种神经网络型循环不变式生成的方法，从而验证程序正确性。该生成方法首先通过霍尔逻辑循环不变式条件和模拟运行的方式生成用于训练的正反例数据集，然后使用Adam优化器优化参数，找出备选神经网络，最后验证网络的正确... 详细信息

标准号: CN116955163A

本发明公开了一种神经网络型循环不变式生成的方法，从而验证程序正确性。该生成方法首先通过霍尔逻辑循环不变式条件和模拟运行的方式生成用于训练的正反例数据集，然后使用Adam优化器优化参数，找出备选神经网络，最后验证网络的正确性。相比传统多项式型循环不变式，根据通用近似定理，神经网络型循环不变式所能描述的不变式性质更精确，可以为非线性程序生成循环不变式。本发明使用深度神经网络，参数扩展十分容易，无需事先确定不变式最高次项的次数以及循环执行次数。

关键词：循环不变式神经网络型神经网络非线性程序参数扩展多项式型逻辑循环模拟运行生成循环循环执行验证程序优化参数数据集优化器备选霍尔近似验证通用网络

来源：评论

学校读者我要写书评

暂无评论

基于响应面方法的混凝土梁非线性模型修正方法

基于响应面方法的混凝土梁非线性模型修正方法

引用

作者：唐盛华简余张学兵秦付倩成鹏杨文轩刘宇翔张佳奇 411105 湖南省湘潭市雨湖区羊牯塘

本发明公开了一种基于响应面方法的混凝土梁非线性模型修正方法，步骤如下：通过静力测试获得梁某级荷载下的挠度曲线或者梁某一位置处荷载‑挠度曲线；选择合适的材料本构方程；初步筛选影响材料本构方程的参数为初始待修正参数；确定... 详细信息

标准号: CN110489924B

本发明公开了一种基于响应面方法的混凝土梁非线性模型修正方法，步骤如下：通过静力测试获得梁某级荷载下的挠度曲线或者梁某一位置处荷载‑挠度曲线；选择合适的材料本构方程；初步筛选影响材料本构方程的参数为初始待修正参数；确定合理的材料本构方程的参数取值区间；对材料本构方程的参数进行试验设计，得到参数的样本空间，并通过非线性程序计算各样本点对应的响应值；确定响应面模型，通过方差分析对材料本构方程的参数进行筛选，保留对挠度影响显著的参数拟合响应面方程；对拟合后的响应面方程进行精度检验；运用优化算法得到参数的修正值，完成非线性模型修正。本发明可应用于非线性材料梁的基准模型建立，应用于梁结构状态评估。

关键词：材料本构非线性模型响应面方程挠度曲线荷载修正基准模型建立非线性材料非线性程序响应面模型本构方程参数拟合初步筛选方差分析混凝土梁精度检验静力测试取值区间试验设计修正参数样本空间影响材料优化算法状态评估梁结构位置处响应面样本点挠度拟合应用筛选响应保留

来源：评论

学校读者我要写书评

暂无评论

基于指定应力的几何非线性索力调整算法研究

基于指定应力的几何非线性索力调整算法研究

引用

作者：邓朝炜重庆交通大学

学位级别：硕士

斜拉桥结构主要由塔、索和梁三部分组成,属于高次超静定结构,对于缆索承重体系结构来说,斜拉桥结构非线性问题比较突出。因此,对斜拉桥进行索力调整需要考虑几何非线性问题;另外,斜拉桥结构对成桥线形和内力有较高要求,达到合理成桥状态... 详细信息

斜拉桥结构主要由塔、索和梁三部分组成,属于高次超静定结构,对于缆索承重体系结构来说,斜拉桥结构非线性问题比较突出。因此,对斜拉桥进行索力调整需要考虑几何非线性问题;另外,斜拉桥结构对成桥线形和内力有较高要求,达到合理成桥状态时,应能满足索力、线形和内力的相关规定。斜拉桥结构突出特点是可以通过索力调整来改变结构受力状态和线形,快速有效的求出一组经济合理的斜拉桥索力调整值,能有效的减少施工周期、节约施工成本。因此,有必要对斜拉桥索力调整算法进行研究。本文对斜拉桥合龙成桥后二次索力调整算法进行了研究,核心内容主要包括如下三部分:(1)阐述了几何非线性分析中T.L列式法、U.L列式法及CR列式法基本理论,采用共旋坐标法(CR列式法)得到了桁架单元、梁单元切线刚度矩阵,以此来考虑斜拉桥结构中由非线性行为带来的不利影响,利用VC++语言编制了非线性求解程序,并通过算例对所编非线性程序进行了检验,结果表明:运用本文程序计算非线性问题能达到较高精度要求,并且在计算桁架类非线性问题时优于ABAQUS软件。(2)本文在常规桁架单元中增加了非弹性收缩量和温度改变量,用以模拟斜拉桥结构中的拉索单元;基于指定应力平衡方程对拉索单元进行了详细推导、介绍,并结合非线性程序和拉索单元刚度矩阵编写斜拉桥索力调整程序,提出一种在应力或内力为指定条件时进行斜拉桥合龙成桥后二次索力调整的新思路。(3)结合相关文献和规范设计出斜拉桥模型数值算例,运行所编程序求得各拉索对应数值解(调整值),对斜拉桥模型进行索力调整,并通过ABAQUS软件对所求数值解(调整值)进行了验证,结果表明:使用本文索力调整方法可一次解得斜拉桥全部拉索所需的长度调整值,不必进行反复计算,并且对拉索进行索力调整时不必考虑拉索张拉顺序之间的相互影响;另外,用本文所编斜拉桥索力调整程序计算出的数值解(调整值)具有较高精度,按数值解(调整值)调整后的拉索索力值与合理成桥索力设计值吻合度非常高。

关键词：斜拉桥非线性程序指定应力索力调整张拉顺序

来源：评论

学校读者我要写书评

暂无评论

考虑偏心距和材料本构参数变异性的L形RC柱抗震承载力可靠度研究

考虑偏心距和材料本构参数变异性的L形RC柱抗震承载力可靠度研究

引用

作者：杨晨曦长沙理工大学

学位级别：硕士

传统的框架结构的柱子截面一般为矩形,在住宅及办公室的小开间房间内的四角会露出棱角。在实际工程中,大多数框架结构为了布置的美观及使用的方便,广泛地使用了L形柱。但由于L形柱本身形状的特点,设计计算的复杂性和缺乏统一的设计依据... 详细信息

传统的框架结构的柱子截面一般为矩形,在住宅及办公室的小开间房间内的四角会露出棱角。在实际工程中,大多数框架结构为了布置的美观及使用的方便,广泛地使用了L形柱。但由于L形柱本身形状的特点,设计计算的复杂性和缺乏统一的设计依据,导致L形柱结构体系的推广受到了限制。对于钢筋混凝L形柱,在结构中通常为角柱,其截面形式也不是完全对称的,往往会处于双向偏心受压状态,截面中和轴不垂直于弯矩作用平面,也不与截面边缘平行。就目前来看,对于L形截面双向偏心构件的承载力可靠度,目前国内外都尚缺乏广泛的研究。本文考虑了材料参数变异及偏心距随机因素,对L形柱承载力变化的影响及抗震承载力可靠度进行了研究分析:(1)收集了 81组材料本构参数数据,对材料本构参数之间的关联性进行考察,通过分析建立本构参数间的相关转换矩阵,采用MATLAB将混凝土抗压强度fc、混凝土峰值应变ε0及εcu作为相关的随机变量进行了 100组抽样,得到了 100组材料样本点。(2)选取0°-45°为L形柱的加载角范围,分别计算了轴压比为0.3、0.4、0.5、0.6、0.7时的抗弯承载力。对所得到的3000组抗弯承载力结果进行对比分析,总结出L形柱在不同加载角及不同轴压比下的抗弯承载力的变化情况。通过拟合得到了承载力变化以数学方程。(3)考虑双向偏心距的随机特性,对L形RC双偏压柱在不同的特征参数下的可靠度进行分析。选用不同的荷载效应比值作为可靠度分析的特征参数,以某设置L形柱的8层框架结构为例,通过ETABS分析求得设计轴力和设计弯矩,然后自编程计算在不同特征参数取值的情况下的柱抗震承载力可靠度。

关键词：结构设计柱抗震承载力空间框架双向偏心受压柱非线性程序结构可靠度

来源：评论

学校读者我要写书评

暂无评论

石油管网优化

引用

中国化工贸易 2019年第20期11卷 10-11页

作者：郝东坡李玖隆奚诗佳中国石油天然气股份有限公司管道廊坊输油气分公司河北廊坊065000 中国石油天然气股份有限公司管道沈阳技术分公司(沈阳龙昌管道检测中心) 辽宁沈阳110168 中国石油天然气股份有限公司福建销售分公司福建福州350001

本文讨论了可用于优化整个管网成本的最小化模型.详细说明了要考虑的决策变量,用于将模型表述为混合整数非线性程序(MINLP)的假设,涉及的参数以及必须考虑的制定模型的约束.

关键词：石油管网优化模型非线性程序

来源：评论

学校读者我要写书评

暂无评论

基于响应面方法的混凝土梁非线性模型修正方法

基于响应面方法的混凝土梁非线性模型修正方法

引用

作者：唐盛华简余张学兵秦付倩成鹏杨文轩刘宇翔张佳奇 411105 湖南省湘潭市雨湖区羊牯塘

标准号: CN110489924A

来源：评论

学校读者我要写书评

暂无评论

考虑随机偏心距与受拉破坏可能的腹部配筋RC偏压构件承载可靠度分析

考虑随机偏心距与受拉破坏可能的腹部配筋RC偏压构件承载可靠度分...

引用

作者：赵佑华长沙理工大学

学位级别：硕士

2010年智利8.8级地震中RC剪力墙结构受到了比较严重的损害,震害调查发现智利国家结构设计规范对剪力墙约束边缘构件的放松处理是导致本次剪力墙损害严重的主要原因之一。2008年汶川地震中RC框架柱的损害也比较严重,“强柱弱梁”的破坏... 详细信息

2010年智利8.8级地震中RC剪力墙结构受到了比较严重的损害,震害调查发现智利国家结构设计规范对剪力墙约束边缘构件的放松处理是导致本次剪力墙损害严重的主要原因之一。2008年汶川地震中RC框架柱的损害也比较严重,“强柱弱梁”的破坏形式较少出现。实际工程中,由于地震作用的随机性,偏心距在混凝土偏压偏压构件截面上也表现出随机特性,甚至设计为偏压构件会出现偏拉破坏的可能。因此,本文针对腹部均匀配筋的混凝土偏压构件——钢筋混凝土柱和剪力墙,提出了一种基于积分的精细抗力计算方法。试验对比表明,本文提出的承载力积分方法与规范方法的计算结果非常接近,轴力和弯矩曲线吻合程度较好。其次,本文采用PKPM软件统计了两种剪力墙模型,一种是矩形截面剪力墙模型,另外一种是工字形截面剪力墙模型在7度到8.5度地震设防烈度下的荷载效应比取值范围。应用基于积分的承载力精细计算模型和蒙特卡洛方法,并结合课题组前期关于混凝土柱的研究,分别计算了考虑随机偏心距和受拉破坏可能的的矩形截面和工字形截面混凝土柱和剪力墙的可靠指标。通过上述工作,得到如下结论:(1)工字形截面混凝土柱的可靠度比矩形截面混凝土柱稳健性更好;(2)约束边缘构件能够很好的改善和提高普通钢筋混凝土剪力墙的可靠度,截面尺寸长1500m,宽200m的矩形截面剪力墙设置200mm的翼缘宽度带翼缘约束的剪力墙可靠度要比没有翼缘的剪力墙高大约0.3～0.5;(3)剪力墙腹部竖向分布钢筋、剪力墙翼缘端部钢筋面积对剪力墙可靠度的影响较大;(4)设置端柱的剪力墙结构比其他形式的约束边缘构件剪力墙可靠指标高,暗柱约束形式的剪力墙可靠指标较低。

关键词：混凝土偏压构件抗震承载力剪力墙约束边缘构件非线性程序结构可靠度工字形截面

来源：评论

学校读者我要写书评

暂无评论

多区间上非线性程序的终止性判定

引用

四川大学学报（工程科学版） 2011年第3期43卷 76-80页

作者：牟琳李轶李玲娜刘栋中国科学院成都计算机应用研究所四川成都610041 电子科技大学计算科学与工程学院四川成都610054

主要解决了如下形式的程序的终止性判定的问题:wh ile(x∈Ω)do{x:=f(x)}end,其中,x为程序变元,Ω(Ω=(a1,b1‖∪‖a2,b2‖∪…∪‖an,bn),其中,‖∈{(,),[,]},n∈N*)是间段并集,f是一个多项式函数。证明了:当φ(b1)φ(a2)>0,…,φ(b... 详细信息

主要解决了如下形式的程序的终止性判定的问题:wh ile(x∈Ω)do{x:=f(x)}end,其中,x为程序变元,Ω(Ω=(a1,b1‖∪‖a2,b2‖∪…∪‖an,bn),其中,‖∈{(,),[,]},n∈N*)是间段并集,f是一个多项式函数。证明了:当φ(b1)φ(a2)>0,…,φ(bn-1)φ(an)>0(其中,φ(x)=f(x)-x)时,这类区间上的非线性程序不终止的必要条件是:在Ω内部或者边界上存在不动点。如果不动点仅仅在Ω内部,则上述结果是充要条件。通过添加一定的约束条件,对于仅区间边界有不动点的情况,也给出了判定的方法。对一类多项式函数的终止性给出了完备性的算法(TNPSI)。

关键词：程序验证计算机代数非线性程序不动点

来源：评论

学校读者我要写书评

暂无评论

区间上非线性程序的终止性判定

引用

软件学报 2010年第12期21卷 3116-3123页

作者：姚勇中国科学院成都计算机应用研究所四川成都610041

分析了如下类型程序的终止性:While x∈Ωdo{x:=f(x)}end.其中,x是程序变量,Ω是一个区间,f是一个连续函数.这类程序被称为区间上非线性程序.证明了上面程序不终止的必要条件是函数在区间内部或边界上有不动点.如果不动点不在区间的边界... 详细信息

分析了如下类型程序的终止性:While x∈Ωdo{x:=f(x)}end.其中,x是程序变量,Ω是一个区间,f是一个连续函数.这类程序被称为区间上非线性程序.证明了上面程序不终止的必要条件是函数在区间内部或边界上有不动点.如果不动点不在区间的边界,则上述结果是充要条件.仅仅在区间边界上有不动点的情况下,对函数略加限制,也建立了相应结果.特别地,对逐段多项式连续函数程序的终止性给出了完备判定算法.

关键词：程序验证终止性分析非线性程序不动点周期轨

来源：评论

学校读者我要写书评

暂无评论

混凝土梁桥拓宽拼接时的收缩徐变影响研究

混凝土梁桥拓宽拼接时的收缩徐变影响研究

引用

作者：常红航湖南大学

学位级别：硕士

本文结合国家自然科学基金“既有混凝土桥梁拓宽改造设计的基础理论研究（51278182）”等项目，研究收缩徐变对混凝土梁桥拓宽拼接的影响，主要内容如下：（1）国内外各规范收缩徐变模型效应相差较大，选用不同的收缩徐变模型对同一桥... 详细信息

本文结合国家自然科学基金“既有混凝土桥梁拓宽改造设计的基础理论研究（51278182）”等项目，研究收缩徐变对混凝土梁桥拓宽拼接的影响，主要内容如下：（1）国内外各规范收缩徐变模型效应相差较大，选用不同的收缩徐变模型对同一桥梁的拓宽拼接进行分析，可能导致结构安全性评定结论发生改变。对《公路钢筋混凝土及预应力混凝土桥涵设计规范》（JTG D62-2004）收缩徐变模型参数进行分析，结果表明：构件理论厚度对混凝土收缩应变影响较大，分析时应考虑施工过程中铺装引起的构件理论厚度的变化；（2）基于JTG D62-2004收缩徐变模型，考虑不同的解联方案和支座布置对某22跨一联的混凝土T梁桥拼接后因收缩徐变引起的旧桥纵、横向效应进行分析。结果表明：拓宽拼接后新、旧桥间混凝土的收缩徐变差在旧桥结构内产生显著的纵、横效应；将旧桥解为100m150m的短联后再拼接可显著减小结构的横向效应，且结构纵向受力相对简单、均匀。此外，采用最小应变能准则和目标函数优化法对解为100m一联方案的支座布置进行优化，得到较合理的支座布置形式，为桥梁拼接提供了一种支座优化布置的分析思路；（3）基于JTG D62-2004收缩徐变模型，考虑上、下部结构共同工作对预应力混凝土箱梁桥拼接后因收缩徐变引起结构的效应进行了分析。结果表明：是否考虑结构上、下部共同工作对拼宽桥梁结构的横向受力状态影响显著；新旧结构混凝土收缩徐变差引起既有主梁内的纵、横向效应远大于其竖向效应，进而导致旧桥桥墩抗压承载力及箱梁正截面竖向抗弯承载力的变化须引起注意；（4）编制了双向受力截面非线性数值分析程序，对箱梁、T梁、空心板等典型桥梁拓宽后旧桥在双向压（拉）弯受力时正截面竖向抗弯极限承载力进行分析，并与双偏压构件极限承载力公式的计算结果及拼接前旧桥正截面竖向抗弯极限承载力进行对比。结果表明：旧桥截面抗弯承载力较拼接前发生不同程度的增、减；采用编制的程序可有效预测拼接后既有桥梁正截面竖向抗弯承载力。

关键词：预应力混凝土收缩徐变应变能承载力非线性程序箱梁 T梁空心板

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：