期刊文献+
共找到269篇文章
< 1 2 14 >
每页显示 20 50 100
基于随机场的大跨悬索桥挠度可靠度评估方法
1
作者 程进 孙克荻 袁义 《华南理工大学学报(自然科学版)》 北大核心 2025年第4期13-21,共9页
大跨度悬索桥造价高,通行量大,扮演着交通网络的关键角色。作为控制性工程,目前主要采用有限元方法等确定性的分析方法对其安全可靠性进行计算和分析。但是实际工程中的结构参数具有不确定性,同时在空间上还存在变异性和相关性,故引入... 大跨度悬索桥造价高,通行量大,扮演着交通网络的关键角色。作为控制性工程,目前主要采用有限元方法等确定性的分析方法对其安全可靠性进行计算和分析。但是实际工程中的结构参数具有不确定性,同时在空间上还存在变异性和相关性,故引入随机场因素的影响。采用数值分析方法,结合随机场理论与可靠度理论,提出了基于随机场的大跨度悬索桥可靠度评估方法。方法主要包括3方面内容:采用中心点法和相关函数处理随机场;采用有限元方法进行结构数值分析;采用一次二阶矩法中的验算点法进行结构可靠度指标计算。介绍了方法的具体实现流程,编写了与之对应的分析程序,通过若干数值算例验证了方法和程序的准确性和适用性。最后以三塔四跨悬索桥——温州瓯江北口大桥为工程实例,考虑桥梁结构参数的不确定性及其在空间上的变异性和相关性,在正常使用极限状态下对其挠度可靠度进行评价,分析了考虑随机场对温州瓯江北口大桥挠度可靠度指标的影响。结果表明:该文提出的方法适用于大跨度悬索桥的可靠度评估。考虑随机场相比不考虑随机场计算得到的正常使用极限状态下的挠度可靠度指标偏小。这说明,忽略大跨度悬索桥结构参数在空间上的变异性和相关性,会导致过高估计结构在正常使用极限状态下的挠度可靠度。 展开更多
关键词 悬索桥 随机场 一次二阶矩法 有限元分析 可靠度指标
在线阅读 下载PDF
基于指数积理论的数控机床加工精度可靠性分析
2
作者 王智明 许腾 周健 《兰州理工大学学报》 北大核心 2025年第5期46-53,共8页
数控机床的加工精度是影响产品质量的重要因素.为了提高多轴数控机床的加工精度可靠性,基于指数积理论建立了机床几何误差模型和加工精度可靠性模型.采用改进的一次二阶矩法,分析了机床加工精度的可靠性和几何误差项的灵敏度,提出了通... 数控机床的加工精度是影响产品质量的重要因素.为了提高多轴数控机床的加工精度可靠性,基于指数积理论建立了机床几何误差模型和加工精度可靠性模型.采用改进的一次二阶矩法,分析了机床加工精度的可靠性和几何误差项的灵敏度,提出了通用的机床精度分配方法.该方法不仅给出了机床垂直度误差的物理意义,而且解决了矩阵奇异问题.以大型数控导轨磨床为例,根据几何误差项的灵敏度进行分析,通过优化调整主要几何误差项提高磨床的加工精度可靠性.结果表明,该精度分配方法有效可行. 展开更多
关键词 精度分配 改进的一次二阶矩法 加工精度可靠性 指数积模型
在线阅读 下载PDF
多级变径孔板螺旋流的水力特性及数值模拟研究
3
作者 赵廷红 巩笑笑 +1 位作者 王立强 宋玉 《水电能源科学》 北大核心 2025年第1期35-38,19,共5页
针对多级变径孔板水力特性的数值模拟研究较少的现状,引入收缩角与扭转角概念,构建新型多级变径孔板,基于前期物理试验,通过数值模拟定雷诺数、变收缩角、变扭转角的多种组合工况,对该装置内各监测断面的三相速度、装置内空化数的沿程... 针对多级变径孔板水力特性的数值模拟研究较少的现状,引入收缩角与扭转角概念,构建新型多级变径孔板,基于前期物理试验,通过数值模拟定雷诺数、变收缩角、变扭转角的多种组合工况,对该装置内各监测断面的三相速度、装置内空化数的沿程变化规律及装置的消能率进行分析。结果表明,定收缩角时,随着扭转角的增大,轴向速度的波动程度逐渐减弱,切向速度和径向速度虽有逐渐增大的趋势,但整体波动相对较小;定雷诺数时,同一断面处的空化数随收缩角或扭转角的增大而减小;该装置的消能率随扭转角增大而增大,随收缩角增大而减小。在研究的8种组合工况中,收缩角为15°、扭转角为12°时该装置的消能率最优。 展开更多
关键词 孔板消能 数值模拟 三相速度 空化数 消能率
在线阅读 下载PDF
考虑地震作用的库岸边坡风险率等级评估方法研究 被引量:1
4
作者 李世佳 林潮宁 +2 位作者 陈文龙 杜效鹄 李同春 《水电能源科学》 北大核心 2025年第1期164-168,共5页
传统的考虑地震作用的边坡风险率分析普遍采用特定地震参数作为计算的前置条件,忽略了地震参数的不确定性。为此,提出了地震作用下的库岸边坡综合风险率等级评估方法,即首先采用极值Ⅱ型分布模型建立50年设计基准期内的地震峰值加速度(P... 传统的考虑地震作用的边坡风险率分析普遍采用特定地震参数作为计算的前置条件,忽略了地震参数的不确定性。为此,提出了地震作用下的库岸边坡综合风险率等级评估方法,即首先采用极值Ⅱ型分布模型建立50年设计基准期内的地震峰值加速度(PGA)概率密度函数;然后采用基于有限元的改进一次二阶矩法计算库岸边坡的失效概率,在全概率理论框架下进行积分得到地震作用下的综合风险率;最后采用该方法对某库岸边坡进行风险率分析。结果表明,该库岸边坡在地震作用下的综合风险率为0.0994,对应5级风险概率,可见该方法能够充分考虑不同PGA的发生概率及滑动面内部材料参数的随机性,可对工程的风险率等级作出合理客观评价,且提高了评估的全面性。 展开更多
关键词 库岸边坡 地震概率 设计基准期 改进一次二阶矩法 综合风险率
在线阅读 下载PDF
复合材料非对称偏置阶梯圆柱壳振动特性研究
5
作者 赵欣阳 梅志远 +2 位作者 王硕 张展 安舒悦 《振动与冲击》 北大核心 2025年第20期94-105,共12页
针对非对称偏置阶梯圆柱壳的振动预测问题,该研究提出了一种考虑中性面修正的动力学分析模型。基于一阶剪切变形理论,通过域分解方法将非对称偏置结构划分为轴向连续子域,提出刚度-几何耦合修正策略消除局部几何偏置影响。采用虚拟弹簧... 针对非对称偏置阶梯圆柱壳的振动预测问题,该研究提出了一种考虑中性面修正的动力学分析模型。基于一阶剪切变形理论,通过域分解方法将非对称偏置结构划分为轴向连续子域,提出刚度-几何耦合修正策略消除局部几何偏置影响。采用虚拟弹簧技术实现任意边界条件与子域间位移协调,通过强制相邻壳段在全局中性面位置建立界面连接,满足交界面位移协调及内力平衡条件。利用Jacobi-Ritz法求解系统固有频率,收敛性分析确定了弹簧刚度阈值、子域划分数数量和雅可比参数等,验证结果显示与文献解误差小于0.60%,有限元对比误差低于0.72%。研究发现:当周向半波数n≥5时,边界效应呈现显著衰减特征,且低阶模态对轴向约束具有较高敏感性,阶梯位置偏移仅引发频率的有限波动。随着长径比的增大,结构固有频率呈现下降趋势,径厚比对高阶振动模态的影响更为显著。采用中段薄构型可有效提升低阶固有频率,而中段厚构型虽然能够抑制高阶振动,但存在刚度增益的临界阈值。值得注意的是,角度参数敏感性与振型特征呈现显著关联特性,周向振动峰值角度因构型差异产生偏移。 展开更多
关键词 非对称偏置阶梯圆柱壳 中性面修正 域分解方法 一阶剪切变形理论 雅可比里兹法
在线阅读 下载PDF
结合一阶惯性环节的速度控制系统设计与振动抑制
6
作者 章国光 谢顺泰 +1 位作者 许万 邢万长 《组合机床与自动化加工技术》 北大核心 2025年第7期101-105,共5页
传统PI控制广泛应用在伺服系统中,但传动机构产生的弹性扭转变形会导致机械谐振,特别是惯量比相对小时,传统控制呈现欠阻尼现象。针对此问题,在速度PI控制的基础上导入一阶惯性环节,并将速度PI控制器参数与惯性环节的时间常数进行联合设... 传统PI控制广泛应用在伺服系统中,但传动机构产生的弹性扭转变形会导致机械谐振,特别是惯量比相对小时,传统控制呈现欠阻尼现象。针对此问题,在速度PI控制的基础上导入一阶惯性环节,并将速度PI控制器参数与惯性环节的时间常数进行联合设计;通过解析五阶控制系统的设计模型提出同半径的极点配置法解耦约束关系及简化参数设计,并直接导出3个控制参数的计算公式及阻尼系数的设计指针。分析结果表明:基于极点配置法的设计方案使系统的阻尼特性明显得到改善。 展开更多
关键词 机械谐振 惯量比 一阶惯性环节 PI控制 极点配置法
在线阅读 下载PDF
盘-鼓-轴耦合结构振动的有限元模型及实验验证
7
作者 张宏生 徐昆鹏 +1 位作者 孙伟 刘晓峰 《中南大学学报(自然科学版)》 北大核心 2025年第3期923-931,共9页
盘-鼓-轴耦合结构作为航空发动机的一类核心部件结构,其振动特性严重影响着航空发动机的性能。针对结构差异较大的盘、鼓、轴结构,首先基于一阶剪切理论推导了适用于盘、鼓、轴结构的刚度矩阵与质量矩阵的有限元通用表达式;其次,为了准... 盘-鼓-轴耦合结构作为航空发动机的一类核心部件结构,其振动特性严重影响着航空发动机的性能。针对结构差异较大的盘、鼓、轴结构,首先基于一阶剪切理论推导了适用于盘、鼓、轴结构的刚度矩阵与质量矩阵的有限元通用表达式;其次,为了准确模拟耦合连接效应和整体结构的边界条件,构造了一种八自由度弹簧单元;第三,将盘、鼓、轴各个结构的刚度矩阵和质量矩阵与所构造的各位置的弹簧单元矩阵按照顺序分别组集到盘-鼓-轴耦合结构总刚度矩阵和总质量矩阵,从而建立盘-鼓-轴耦合结构的力学模型;最后,将有限元模型仿真结果与实验测试结果进行了对比,验证了建模方法的有效性。研究结果表明:有限元模型与实验测试的前7阶固有频率最大相对误差为2.854%,最小相对误差为0.408%,平均相对误差为1.581%;有限元模型仿真振型与实验测试振型吻合度较高,验证了本文提出的建模方法的有效性。 展开更多
关键词 一阶剪切理论 盘-鼓-轴耦合结构 有限元法 固有特性 模态测试
在线阅读 下载PDF
鲷鱼鱼糜粉干燥动力学模型的构建及货架期预测
8
作者 范茂梅 赵悦 +3 位作者 步营 朱文慧 李学鹏 励建荣 《中国调味品》 北大核心 2025年第9期29-35,共7页
为了探究鱼糜粉的干燥特性,以鲷鱼鱼糜为研究对象,分析了微波联合烘箱干燥(microwave combined oven drying,MCOD)、热风干燥(hot-air drying,HAD)、冷风干燥(cold-air drying,CAD)和红外干燥(infrared radiation drying,IRD)4种干燥方... 为了探究鱼糜粉的干燥特性,以鲷鱼鱼糜为研究对象,分析了微波联合烘箱干燥(microwave combined oven drying,MCOD)、热风干燥(hot-air drying,HAD)、冷风干燥(cold-air drying,CAD)和红外干燥(infrared radiation drying,IRD)4种干燥方式对干燥鱼糜粉的水分比、干燥速率的影响,构建了干燥动力学模型并对干燥鱼糜粉的货架期进行了预测。结果表明,IRD的干燥速率最快、干燥时间最短,MCOD次之,CAD的干燥速率最慢、干燥时间最长;IRD、MCOD、HAD、CAD干燥鱼糜粉的有效水分扩散系数分别为1.23×10-9,9.14×10^(-10),8.49×10^(-10),5.52×10^(-10)m^(2)/s,与干燥速率一致。Page模型中HAD、CAD和IRD的干燥过程拟合效果较好,CAD的拟合度最高,具有较高的R 2值0.9989及较低的χ2值1.03×10-4和RMSE值0.0069。测定在3种不同温度(37,45,55℃)下贮藏的干燥鱼糜粉TVB-N值的变化,结合一级反应动力学方程可以得到3种温度下干燥鱼糜粉的货架期分别为105,20,4 d。通过一级反应动力学方程和阿伦尼乌斯(Arrhenius)方程预测鲷鱼鱼糜粉在25℃下的货架期为108 d。 展开更多
关键词 鱼糜粉 干燥方法 干燥特性 Page模型 一级反应动力学方程
在线阅读 下载PDF
基于截断总体最小二乘法与L_(1)正则化的结构损伤识别
9
作者 骆紫薇 蔡楚欣 +1 位作者 赖小李 刘焕林 《振动与冲击》 北大核心 2025年第15期217-223,共7页
模态参数因其易于获取且对结构损伤敏感等特点常被用于结构损伤识别。基于模态参数和有限元模型的损伤识别方法能有效定位和量化结构损伤,但在测量噪声和模型误差等因素的共同影响下,识别结果可能与实际情况存在较大偏差,难以准确评估... 模态参数因其易于获取且对结构损伤敏感等特点常被用于结构损伤识别。基于模态参数和有限元模型的损伤识别方法能有效定位和量化结构损伤,但在测量噪声和模型误差等因素的共同影响下,识别结果可能与实际情况存在较大偏差,难以准确评估结构的安全状态。针对此问题,基于截断总体最小二乘法与L_(1)正则化技术,提出了一种新的结构损伤识别方法。该方法首先分析了既有灵敏度方程中误差的来源;然后,通过截断总体最小二乘法构造了损伤折减系数改变量与模态参数改变量之间新的近似关系式;最后,结合结构损伤的稀疏性,引入L_(1)正则化对问题进行约束,以改善问题的不适定性并提高识别精度。数值仿真和试验结果表明,所提方法能有效地识别结构的多种损伤工况,且误判较少,具有较高的识别精度和较强的鲁棒性。 展开更多
关键词 结构损伤识别 一阶灵敏度分析 L_(1)正则化 截断总体最小二乘法
在线阅读 下载PDF
Simulation of Elastic Waves in Wave Equation Separation Using Pseudo-spectral Method
10
作者 Tang Xiaoping Bai Chaoying Liu Kuanhou 《石油地球物理勘探》 EI CSCD 北大核心 2012年第A02期26-34,共9页
关键词 石油 地球物理勘探 地质调查 油气资源
在线阅读 下载PDF
基于Kriging模型与FORM的钢板组合梁桥结构优化设计
11
作者 王佐才 张德林 辛宇 《重庆交通大学学报(自然科学版)》 CAS CSCD 北大核心 2024年第8期1-9,共9页
考虑材料参数的不确定性以及设计变量多重约束条件的影响,提出了基于可靠性分析的钢板组合梁桥结构优化设计方法。首先,利用拉丁超立方试验设计(Latin hypercube design,LHD)构建试验组合方案,并通过有限元分析获取试验设计组合下的最... 考虑材料参数的不确定性以及设计变量多重约束条件的影响,提出了基于可靠性分析的钢板组合梁桥结构优化设计方法。首先,利用拉丁超立方试验设计(Latin hypercube design,LHD)构建试验组合方案,并通过有限元分析获取试验设计组合下的最大挠度响应值。基于获取的训练样本,构建能够表征结构最大挠度值与随机输入之间映射关系的Kriging代理模型。基于建立的代理模型,以钢结构截面积最小化为目标函数,建立符合规范要求与可靠度约束的优化数学模型,并采用一阶可靠性方法(first order reliability method,FORM),实现设计变量优化。通过比较具有相同设计变量上限,但下限分别为初始值的80%和70%两种优化设计方案,评估了两者在相同阈值以及不同阈值下设计变量的优化结果。最后对方案二在阈值为17 mm下的优化结果进行极限状态验算。结果表明:两个优化设计方案在阈值为17 mm下的优化结果更具合理性,并且方案二在同一阈值下具有更高的优化程度。随着阈值增加,优化程度增加,且腹板高度在较大阈值下对结果影响更大,而翼缘宽度在较小阈值下影响更大。 展开更多
关键词 桥梁工程 基于可靠性的优化设计 KRIGING模型 一阶可靠性方法 钢板组合梁桥 极限状态验算
在线阅读 下载PDF
中国南海神狐海域水合物储层井壁稳定可靠度分析 被引量:7
12
作者 黄佳佳 蒋明镜 王华宁 《岩土力学》 EI CAS CSCD 北大核心 2024年第5期1505-1516,共12页
天然气水合物具有巨大的潜在经济和环境价值,其开发利用对国家能源安全和实现国家碳达峰碳中和的“双碳目标”具有战略意义。我国天然气水合物资源主要分布于南海海域,海洋环境的复杂性和隐蔽性使工程测量数据具有较大不确定性,影响钻... 天然气水合物具有巨大的潜在经济和环境价值,其开发利用对国家能源安全和实现国家碳达峰碳中和的“双碳目标”具有战略意义。我国天然气水合物资源主要分布于南海海域,海洋环境的复杂性和隐蔽性使工程测量数据具有较大不确定性,影响钻井安全。目前未见有水合物储层井壁稳定可靠度研究。为定量评估在我国南海神狐海域水合物储层钻井风险,基于水合物储层钻井井壁稳定解析理论和南海神狐海域具体地质条件,结合可靠度分析方法中的改进一次二阶矩法和响应面法,研究南海神狐海域水合物储层钻井井壁失稳概率分布特征,分析该海域井壁失稳概率及安全钻井液压力窗口对主要参数均值和不确定性的敏感性,结果表明:(1)若测量数据足够精确,在我国南海神狐海域水合物储层进行钻井活动的安全性较高,安全钻井液压力窗口也较大。测量数据的不确定性增大将使井壁失稳概率显著升高,缩窄安全钻井液压力窗口。(2)较低的钻井液温度对降低井壁失稳概率略有帮助,且能明显地扩大安全钻井液压力窗口。(3)5个主要参数的均值和不确定性对井壁失稳概率的影响次序相同,均为初始地应力>初始内摩擦角>弹性模量比>初始黏聚力>初始弹性模量。实际工程中对初始地应力数据精确测量,能够显著提高水合物储层钻井井壁稳定性。 展开更多
关键词 天然气水合物 井壁稳定性 可靠度 南海神狐海域 响应面法 改进一次二阶矩法
在线阅读 下载PDF
基于变密度法深孔钻床主轴箱可靠性拓扑优化 被引量:1
13
作者 胡韶岩 薄瑞峰 +1 位作者 刘韶轩 陈振亚 《机床与液压》 北大核心 2024年第3期113-117,共5页
以TBT-ML500深孔钻床主轴箱为研究对象,考虑随机因素的影响,通过基于变密度法的可靠性拓扑优化设计方法,进行了考虑可靠性和稳定性要求的结构轻量化设计。在传统拓扑优化的基础上增加概率约束,建立了应力和位移约束下的可靠性拓扑优化模... 以TBT-ML500深孔钻床主轴箱为研究对象,考虑随机因素的影响,通过基于变密度法的可靠性拓扑优化设计方法,进行了考虑可靠性和稳定性要求的结构轻量化设计。在传统拓扑优化的基础上增加概率约束,建立了应力和位移约束下的可靠性拓扑优化模型;以可靠性指标为约束条件,使用一阶可靠性法和Roenblatt逆变换将可靠性拓扑优化问题解耦为可靠性分析和确定性拓扑优化,最后进行变密度拓扑优化。算例分析结果表明:此方法在实现轻量化的同时更好地满足了实际应用中的安全要求,同时为深孔钻床其他基础件的可靠性拓扑优化提供了参考。 展开更多
关键词 深孔钻床 变密度法 一阶可靠性法 拓扑优化
在线阅读 下载PDF
渗透系数非均质场对沙丘尺度潜流交换的影响研究 被引量:1
14
作者 王旭东 苏小茹 +5 位作者 韩鹏飞 刘升阳 张锁 朱晓倩 邢朕国 王路军 《人民黄河》 CAS 北大核心 2024年第1期79-84,共6页
为了研究河床介质渗透系数非均质性对潜流交换的影响,应用随机一阶分析工具,分析潜流交换通量与河床不同空间位置渗透系数的互相关关系以及渗流流速方差的空间分布。结果表明:潜流交换通量与渗透系数之间成正相关关系,且正相关关系最强... 为了研究河床介质渗透系数非均质性对潜流交换的影响,应用随机一阶分析工具,分析潜流交换通量与河床不同空间位置渗透系数的互相关关系以及渗流流速方差的空间分布。结果表明:潜流交换通量与渗透系数之间成正相关关系,且正相关关系最强的区域位于沙丘表面附近;忽略河床非均质性将导致河床浅层位置的流速具有较大不确定性,野外应重点监测河床浅层位置的渗透系数以减小潜流交换的不确定性。 展开更多
关键词 潜流交换 渗透系数 随机一阶法 流速方差
在线阅读 下载PDF
功能梯度石墨烯增强多孔复合材料阶梯圆柱壳的振动特性 被引量:1
15
作者 徐宏达 王宇 +2 位作者 徐自强 贾小羽 于晓光 《振动与冲击》 EI CSCD 北大核心 2024年第7期317-326,共10页
对功能梯度石墨烯增强多孔复合材料(FG-GPLRPC)阶梯圆柱壳的振动特性进行了研究。首先,采用Halpin-Tsai微观力学模型以及开胞体理论得到FG-GPLRPC阶梯圆柱壳的有效材料属性。其次,基于一阶剪切变形理论和惩罚参数法推导出壳体结构的能... 对功能梯度石墨烯增强多孔复合材料(FG-GPLRPC)阶梯圆柱壳的振动特性进行了研究。首先,采用Halpin-Tsai微观力学模型以及开胞体理论得到FG-GPLRPC阶梯圆柱壳的有效材料属性。其次,基于一阶剪切变形理论和惩罚参数法推导出壳体结构的能量表达式。最后,采用Jacobi-Ritz法建立壳体结构的振动控制方程,并求得结构的无量纲频率,验证了方法的有效性和正确性。结果表明,石墨烯质量分数、孔隙系数和边界弹簧刚度值对振动特性的影响显著,层数对振动特性的影响较小,尺寸参数对振动特性的影响不同,并得到了壳体频率随周向波数先减小后增大的变化规律。 展开更多
关键词 石墨烯增强 多孔复合材料 阶梯圆柱壳 一阶剪切变形理论 Jacobi-Ritz法
在线阅读 下载PDF
海上风机桩-筒复合基础基频特性分析
16
作者 袁宗浩 姚云龙 +3 位作者 何奔 李娜 许丹婷 潘晓东 《浙江工业大学学报》 CAS 北大核心 2024年第2期142-148,共7页
桩-筒复合基础作为海上风机的一种新型基础型式,在提高单桩承载力方面相较于单桩基础具有一定优势,然而筒体对风机结构基频特性的影响规律尚不明确。为研究该问题,对风机塔筒进行解析建模,结合有限元,建立了不同几何尺寸的单桩基础和桩... 桩-筒复合基础作为海上风机的一种新型基础型式,在提高单桩承载力方面相较于单桩基础具有一定优势,然而筒体对风机结构基频特性的影响规律尚不明确。为研究该问题,对风机塔筒进行解析建模,结合有限元,建立了不同几何尺寸的单桩基础和桩-筒复合基础,将数值模型获得的基础刚度与上部塔筒解析模型进行耦合,提出了分析风机整机结构基频特性的有限元-解析耦合法。研究结果表明有限元-解析耦合法能够快速地实现风机整机结构基频预测。对比桩-筒复合基础与单桩基础基频特性发现:筒体的加入能有效提升单桩基础刚度,可以在不改变单桩基础桩径的前提下,有效提升结构第一阶固有频率,筒外径对基础基频的影响比筒壁高的影响更大。 展开更多
关键词 第一阶固有频率 有限元-解析耦合法 桩-筒复合基础 基础刚度 动力特性
在线阅读 下载PDF
可满足性模理论综述
17
作者 唐傲 王晓峰 何飞 《计算机工程与科学》 CSCD 北大核心 2024年第3期400-415,共16页
可满足性模理论(SMT)是指判定一阶逻辑公式在特定背景理论下的可满足性问题。基于一阶逻辑的SMT相比SAT描述能力更强、抽象能力更高,能处理更加复杂的问题。SMT求解器在各个领域都有应用,已经成为重要的形式化验证引擎。目前,SMT已被广... 可满足性模理论(SMT)是指判定一阶逻辑公式在特定背景理论下的可满足性问题。基于一阶逻辑的SMT相比SAT描述能力更强、抽象能力更高,能处理更加复杂的问题。SMT求解器在各个领域都有应用,已经成为重要的形式化验证引擎。目前,SMT已被广泛应用在人工智能、硬件RTL验证、自动化推理和软件工程等领域。根据近些年SMT的发展,首先阐述SMT基本知识和常见的背景理论;然后分析总结Eager方法、Lazy方法和DPLL(T)方法的实现流程,并进一步介绍主流求解器Z3、CVC5和MathSAT5的实现过程;接着介绍SMT的扩展问题#SMT、SMT应用在深度神经网络的SMTlayer方法和量子SMT求解器;最后对SMT的发展进行展望,并讨论其面临的挑战。 展开更多
关键词 一阶逻辑 可满足性模理论 Lazy方法 DPLL(T) SMT求解器 #SMT
在线阅读 下载PDF
基于AFOSM的螺旋锥齿轮磨损可靠性分析
18
作者 王海芳 吴天浩 乔鼎杰 《组合机床与自动化加工技术》 北大核心 2024年第11期183-186,192,共5页
运用当量齿轮理论对螺旋锥齿轮啮合过程进行简化,基于Archard模型建立螺旋锥齿轮的磨损模型,将轮齿中点法截面上各点磨损量对比,挑选出轮齿中点法截面危险点,对危险点进行磨损可靠性分析,基于改进一次二阶矩法(AFOSM)建立极限状态函数,... 运用当量齿轮理论对螺旋锥齿轮啮合过程进行简化,基于Archard模型建立螺旋锥齿轮的磨损模型,将轮齿中点法截面上各点磨损量对比,挑选出轮齿中点法截面危险点,对危险点进行磨损可靠性分析,基于改进一次二阶矩法(AFOSM)建立极限状态函数,进行MATLAB编程求得螺旋锥齿轮在所选设计参数下的可靠度和设计点,计算工作扭矩与工作转速变化对其可靠度的影响,采用蒙特卡洛法进行可靠性仿真分析,两种方法计算结果接近,表明该方法具有较高的效率和准确性。以上工作可为螺旋锥齿轮的可靠性设计和维护提供一定的参考和借鉴。 展开更多
关键词 螺旋锥齿轮 磨损 Archard模型 可靠性 改进一次二阶矩法
在线阅读 下载PDF
零阶与一阶优化算法在悬索桥模型修正中的应用对比分析 被引量:26
19
作者 郭彤 李爱群 +1 位作者 费庆国 王浩 《振动与冲击》 EI CSCD 北大核心 2007年第4期35-38,68,共5页
为了给健康监测研究提供一个较为准确的有限元基准模型,采用零阶与一阶优化算法作为悬索桥模型修正的基本工具,同时将优化算法与大型有限元分析软件相结合,以考虑大跨悬索桥的非线性和应力刚度。对零阶与一阶优化算法在悬索桥模型修正... 为了给健康监测研究提供一个较为准确的有限元基准模型,采用零阶与一阶优化算法作为悬索桥模型修正的基本工具,同时将优化算法与大型有限元分析软件相结合,以考虑大跨悬索桥的非线性和应力刚度。对零阶与一阶优化算法在悬索桥模型修正中的具体实现方法进行了探讨。针对润扬大桥悬索桥,利用健康监测系统的实测数据进行了优化算例分析,优化过程中结合了动力与静力两方面的约束信息,使得结果更趋于合理。对两种算法的准确性和计算效率进行了对比分析,提出了应用建议。 展开更多
关键词 零阶优化算法 一阶优化算法 模型修正 悬索桥 非线性
在线阅读 下载PDF
线性插值投影次梯度方法的最优个体收敛速率 被引量:6
20
作者 陶蔚 潘志松 +1 位作者 朱小辉 陶卿 《计算机研究与发展》 EI CSCD 北大核心 2017年第3期529-536,共8页
投影次梯度算法(projected subgradient method,PSM)是求解非光滑约束优化问题最简单的一阶梯度方法,目前只是对所有迭代进行加权平均的输出方式得到最优收敛速率,其个体收敛速率问题甚至作为open问题被提及.最近,Nesterov和Shikhman在... 投影次梯度算法(projected subgradient method,PSM)是求解非光滑约束优化问题最简单的一阶梯度方法,目前只是对所有迭代进行加权平均的输出方式得到最优收敛速率,其个体收敛速率问题甚至作为open问题被提及.最近,Nesterov和Shikhman在对偶平均方法(dual averaging method,DAM)的迭代中嵌入一种线性插值操作,得到一种拟单调的求解非光滑问题的次梯度方法,并证明了在一般凸情形下具有个体最优收敛速率,但其讨论仅限于对偶平均方法.通过使用相同技巧,提出了一种嵌入线性插值操作的投影次梯度方法,与线性插值对偶平均方法不同的是,所提方法还对投影次梯度方法本身进行了适当的修改以确保个体收敛性.同时证明了该方法在一般凸情形下可以获得个体最优收敛速率,并进一步将所获结论推广至随机方法情形.实验验证了理论分析的正确性以及所提算法在保持实时稳定性方面的良好性能. 展开更多
关键词 一阶梯度方法 个体收敛速率 投影次梯度方法 线性插值操作 对偶平均方法
在线阅读 下载PDF
上一页 1 2 14 下一页 到第
使用帮助 返回顶部