期刊文献+
共找到15篇文章
< 1 >
每页显示 20 50 100
金属管壳与微矩形密封连接器的组合应用
1
作者 丁健 王亮 张统博 《机电元件》 2024年第2期36-39,共4页
本文简要介绍了金属封装外壳与微矩形密封连接器组合设计的两种结构思路,分别阐述了两种不同结构的产品在生产加工过程中涉及到的工艺难点和遇到的问题,并提供了问题分析的思路和解决方法。
关键词 金属封装外壳 密封连接器 局部镀金 金锡焊接 预氧化
下载PDF
玻璃烧结圆形连接器研究和模具设计
2
作者 张统博 徐帆 丁健 《机电元件》 2024年第4期16-19,共4页
本文主要针对制造玻璃烧结圆形电连接器的方案研究、相应检测介绍和模具设计。主要通过材料选取、封接工艺、模具设计思路等着手。
关键词 电连接器 密封性能 模具设计
下载PDF
某地下车库抗浮破坏分析及处理 被引量:3
3
作者 杨淑娟 牛梦娇 +2 位作者 张同波 于德湖 许卫晓 《青岛理工大学学报》 CAS 2018年第6期16-20,63,共6页
通过对某工程地下车库抗浮破坏及底板上浮高度进行分析,确定抗浮失效的破坏形式及特征.利用有限元软件SAP2000建立地下车库模型,分析计算不同水压力要求时地下车库各构件的受力状态及破坏机理.分析结果表明:持续暴雨导致建造过程中结构... 通过对某工程地下车库抗浮破坏及底板上浮高度进行分析,确定抗浮失效的破坏形式及特征.利用有限元软件SAP2000建立地下车库模型,分析计算不同水压力要求时地下车库各构件的受力状态及破坏机理.分析结果表明:持续暴雨导致建造过程中结构抗浮能力不足,同时抗浮设计水头取值不足,地下车库易发生抗浮失效,并对不同的破坏部位提出相应的上浮处理建议. 展开更多
关键词 抗浮破坏 破坏机理 建造过程 上浮处理
下载PDF
两种新的基于扩展规则#SAT问题求解算法 被引量:1
4
作者 吕帅 张桐搏 +1 位作者 王强 刘磊 《东北大学学报(自然科学版)》 EI CAS CSCD 北大核心 2019年第5期630-634,646,共6页
提出一种新的基于扩展规则的#SAT求解算法NCER,该算法在#ER的基础上加入启发式策略.该策略每次选择当前子句集的最长子句来减小极大项空间,使得递归调用的次数减少,从而加快求解效率.为解决基于扩展规则的#SAT求解器在互补因子较小的样... 提出一种新的基于扩展规则的#SAT求解算法NCER,该算法在#ER的基础上加入启发式策略.该策略每次选择当前子句集的最长子句来减小极大项空间,使得递归调用的次数减少,从而加快求解效率.为解决基于扩展规则的#SAT求解器在互补因子较小的样例上的不良表现,结合NCER和CDP的优点提出混合#SAT求解算法NCDPER.实验结果表明:NCER较先前的#ER在所有85个随机SAT测试用例上有了显著的提高.通过与目前最好的基于扩展规则的#SAT求解器的比较,该求解器具有更好的性能. 展开更多
关键词 自动推理 扩展规则 模型计数 极大项空间 启发式策略
下载PDF
基于局部搜索的并行扩展规则推理方法
5
作者 李壮 刘磊 +2 位作者 张桐搏 周文博 吕帅 《软件学报》 EI CSCD 北大核心 2021年第9期2744-2754,共11页
扩展规则推理方法在经典的可满足性问题求解中已得到广泛应用,若干个基于扩展规则的推理方法已被提出,皆得到国内外的认可,例如完备的NER,IMOMH_IER,PPSER算法以及基于局部搜索的不完备算法ERACC等,都具有良好的求解效果.其中,ERACC算... 扩展规则推理方法在经典的可满足性问题求解中已得到广泛应用,若干个基于扩展规则的推理方法已被提出,皆得到国内外的认可,例如完备的NER,IMOMH_IER,PPSER算法以及基于局部搜索的不完备算法ERACC等,都具有良好的求解效果.其中,ERACC算法是当前扩展规则求解器中求解效率最高、能力最强的算法.但是,串行的ERACC算法在启发式和预处理上仍然具有可提升的空间.基于此,设计了相应的并行框架,提出了PERACC算法.该算法基于格局检测的局部搜索方法,从变量赋初始值、化简解空间和启发式这3个阶段出发,将原极大项空间分解成为若干极大项子空间,并对原子句集进行化简后,并行处理各个子空间.通过实验显示:该算法与原算法相比,不仅在求解效率方面有较大提高,而且可以求解规模更大的测试用例,使扩展规则方法再次突破公式规模的限制. 展开更多
关键词 自动推理 局部搜索 扩展规则 格局检测 并行框架
下载PDF
基于重启策略的学习子句优化方法
6
作者 李壮 刘磊 +1 位作者 张桐搏 吕帅 《东北大学学报(自然科学版)》 EI CAS CSCD 北大核心 2020年第1期44-48,共5页
以学习子句数据库优化为背景,在原MiniSAT求解器的基础上提出了一种新的学习子句的优化方法.该方法基于博弈论的思想,在若干次重启后,根据当前求解器的实时反馈信息改进MiniSAT原有的增长参数,尽可能靠近学习数据库中子句存储量的均衡点... 以学习子句数据库优化为背景,在原MiniSAT求解器的基础上提出了一种新的学习子句的优化方法.该方法基于博弈论的思想,在若干次重启后,根据当前求解器的实时反馈信息改进MiniSAT原有的增长参数,尽可能靠近学习数据库中子句存储量的均衡点,从而使学习库的存储量尽可能达到Pareto最优.实验表明:所提的优化方法是有效的,并在随机SAT问题上胜过现有优化方法.该方法既不会因为学习数据库的子句过多而影响单元传播速度,也不会因为学习数据库中的子句过少而破坏学习的整体性. 展开更多
关键词 DPLL 子句学习 学习子句数据库 MiniSAT求解器 PARETO最优
下载PDF
一种新的基于局部搜索的扩展规则推理方法 被引量:5
7
作者 杨洋 刘磊 +2 位作者 李广力 张桐搏 吕帅 《计算机学报》 EI CSCD 北大核心 2018年第4期825-839,共15页
作为与归结推理方法互补的推理方法,扩展规则推理方法得到了国内外广泛认可.目前扩展规则推理方法的研究主要集中于完备推理方法,由于极大项变换方式过于机械,导致该方法处理公式的规模比较局限.该文在深入分析扩展规则推理和局部搜索... 作为与归结推理方法互补的推理方法,扩展规则推理方法得到了国内外广泛认可.目前扩展规则推理方法的研究主要集中于完备推理方法,由于极大项变换方式过于机械,导致该方法处理公式的规模比较局限.该文在深入分析扩展规则推理和局部搜索关联性的基础上,利用子句集中的"极大项"概念设计了一种反向求解策略,进而设计并实现一种新的基于局部搜索的扩展规则推理框架.在此基础上,为了使得极大项搜索过程更加适配该框架,提出了一种基于精确格局检测实现和双向半扩展规则策略的两阶段局部搜索算法.实验结果表明,该文提出的基于精确格局检测的新型扩展规则推理算法ERACC突破了传统扩展规则推理对公式规模的局限,求解效率有了极大提高,使得扩展规则推理方法不再受公式规模制约,可以用于知识编译和可能性推理等多方面的应用. 展开更多
关键词 自动推理 扩展规则 局部搜索 精确格局检测 双向半扩展规则 反向求解
下载PDF
基于温度监测试验的底板温度变化规律分析 被引量:5
8
作者 张庆浩 张同波 +2 位作者 许卫晓 叶林 于德湖 《青岛理工大学学报》 CAS 2020年第5期37-44,共8页
基于综合服务中心工程的温度监测试验,对混凝土底板长期的温度变化规律进行研究,得到环境温度在水化热阶段和施工阶段对结构内部温度的影响.对实测的温度数据和相应温差进行线性回归,提出了底板温差的计算公式.对水化热温差、当量温差... 基于综合服务中心工程的温度监测试验,对混凝土底板长期的温度变化规律进行研究,得到环境温度在水化热阶段和施工阶段对结构内部温度的影响.对实测的温度数据和相应温差进行线性回归,提出了底板温差的计算公式.对水化热温差、当量温差、环境温差等进行对比分析,得到底板前期的温差以水化热温差为主,中长期温差的主要构成是水化热温差和当量温差,环境温差的占比则与底板的厚度和浇筑后的季节条件相关,并根据分析结论提出了减小温差的措施. 展开更多
关键词 混凝土底板 水化热温差 当量温差 环境温差 线性回归
下载PDF
超长混凝土间歇法施工温度约束应力试验研究及机理分析 被引量:2
9
作者 张百进 张同波 +1 位作者 许卫晓 于德湖 《青岛理工大学学报》 CAS 2018年第5期13-18,共6页
为研究超长混凝土结构间歇法施工中温度约束应力的作用机理,基于实际工程开展了在不同间歇时间下浇筑先浇块和后浇块混凝土时温度及应变监测试验和数据分析.研究发现超长混凝土结构中混凝土的应变和温度变化规律是同步的.间歇时间不同,... 为研究超长混凝土结构间歇法施工中温度约束应力的作用机理,基于实际工程开展了在不同间歇时间下浇筑先浇块和后浇块混凝土时温度及应变监测试验和数据分析.研究发现超长混凝土结构中混凝土的应变和温度变化规律是同步的.间歇时间不同,造成先浇块和后浇块在同一时间段内的降温速率也不一样:当二者降温速率接近时,可认为两块体作为1个整体共同降温收缩;当二者降温速率差异较大时,两块体呈现出各自收缩的特点.研究成果可为超长混凝土结构间隙法施工提供理论依据. 展开更多
关键词 超长混凝土结构 间歇法 温度应力 相互作用
下载PDF
上部超长混凝土结构温度变化分析 被引量:1
10
作者 郑超文 张同波 +2 位作者 许卫晓 叶林 于德湖 《青岛理工大学学报》 CAS 2019年第6期30-37,共8页
目前超长混凝土结构在大型公共建筑和工业建筑中出现得越来越多,其上部结构也多为大跨度超长形式.超长混凝土结构在受到较大的温差和干缩作用时更容易引起混凝土的开裂,而上部结构受到温差和干缩的影响又不同于下部结构.主要针对上部超... 目前超长混凝土结构在大型公共建筑和工业建筑中出现得越来越多,其上部结构也多为大跨度超长形式.超长混凝土结构在受到较大的温差和干缩作用时更容易引起混凝土的开裂,而上部结构受到温差和干缩的影响又不同于下部结构.主要针对上部超长混凝土结构可能面临的温差和干缩影响,结合实际的工程案例和现场试验,对混凝土的水化热温差、收缩当量温差、长期温差等问题进行大量的试验研究及理论分析. 展开更多
关键词 超长结构 收缩当量温差 水化热温差 长期温差
下载PDF
超长混凝土楼板收缩应力的试验研究及分析 被引量:1
11
作者 冯涛 张同波 +1 位作者 许卫晓 于德湖 《青岛理工大学学报》 CAS 2019年第3期18-23,共6页
为研究超长混凝土楼板结构的收缩应力以及梁板结构的约束系数,对某工程项目超长楼板结构进行现场试验,监测混凝土楼板应变的变化规律,以及收缩应变在监测期间的最大值.研究发现上部超长混凝土楼板结构的应变受环境温度的影响比较大,会... 为研究超长混凝土楼板结构的收缩应力以及梁板结构的约束系数,对某工程项目超长楼板结构进行现场试验,监测混凝土楼板应变的变化规律,以及收缩应变在监测期间的最大值.研究发现上部超长混凝土楼板结构的应变受环境温度的影响比较大,会随着环境温度的变化产生波动,应变和温度两者的变化基本是同步的.应用王铁梦的基本理论,经过反算可以得到梁板结构的约束系数,为梁板结构约束系数的取值提供依据. 展开更多
关键词 超长楼板 混凝土收缩 约束
下载PDF
高层建筑施工过程中主裙楼沉降差异分析 被引量:3
12
作者 张玉举 张同波 +1 位作者 马安东 于德湖 《青岛理工大学学报》 CAS 2020年第2期42-47,129,共7页
随着建筑技术日益进步,越来越多的大底盘多塔结构、商业综合体等主裙楼结构拔地而起.由于主楼与裙楼体量不同,主楼自重荷载远大于裙房自重荷载,从而引起不同的沉降差异.沉降观测是保证主裙楼结构在施工过程中因沉降差异引起结构安全的... 随着建筑技术日益进步,越来越多的大底盘多塔结构、商业综合体等主裙楼结构拔地而起.由于主楼与裙楼体量不同,主楼自重荷载远大于裙房自重荷载,从而引起不同的沉降差异.沉降观测是保证主裙楼结构在施工过程中因沉降差异引起结构安全的重要措施.通过沉降数据,对主裙楼施工过程中沉降差进行分析,从而确定施工过程中最大沉降差出现的时间.当出现的最大沉降差在规范的限值以内时,沉降后浇带可以提前进行封闭.在地下水较丰富的地区,主裙楼沉降量受浮力影响较大,因此在主裙楼沉降量及沉降差分析过程中,也应充分考虑浮力的影响. 展开更多
关键词 沉降差异 沉降观测 沉降后浇带 浮力
下载PDF
基于格局检测的并行模型计数方法
13
作者 李壮 刘磊 +1 位作者 张桐搏 吕帅 《吉林大学学报(工学版)》 EI CAS CSCD 北大核心 2020年第4期1443-1448,共6页
在经典的可满足性问题求解中,针对处理模型数较少的实例,SWcc迭代法和SWcc优化增量法与完备的模型计数方法相比,求解适用性更高,但SWcc迭代法和SWcc优化增量法均为串行求解方法,没有对解空间进行剪枝、化简等处理。本文基于此设计了基... 在经典的可满足性问题求解中,针对处理模型数较少的实例,SWcc迭代法和SWcc优化增量法与完备的模型计数方法相比,求解适用性更高,但SWcc迭代法和SWcc优化增量法均为串行求解方法,没有对解空间进行剪枝、化简等处理。本文基于此设计了基于格局检测的并行模型计数算法。该算法以化简解空间和启发式为核心,将原解空间分解成为若干子空间并对原子句集进行化简后,并行处理各个子空间。实验结果表明:对于模型个数较少、公式规模较大的问题,该算法比原算法更具有适用性。 展开更多
关键词 自动推理 局部搜索 模型计数 格局检测 并行框架
原文传递
云环境下网络感知的虚拟机分配问题的求解方法
14
作者 吕帅 徐玥 +2 位作者 张桐搏 李广力 池策 《吉林大学学报(工学版)》 EI CAS CSCD 北大核心 2020年第4期1455-1464,共10页
提出了一种云环境下网络感知的虚拟机分配问题的求解方法,该方法能求解带有任务优先级和强制任务的最大虚拟机分配问题等5类问题。该方法通过将虚拟机分配问题编码成对应的SAT类问题,并调用现有的SAT类求解器进行求解,可以更有效地解决... 提出了一种云环境下网络感知的虚拟机分配问题的求解方法,该方法能求解带有任务优先级和强制任务的最大虚拟机分配问题等5类问题。该方法通过将虚拟机分配问题编码成对应的SAT类问题,并调用现有的SAT类求解器进行求解,可以更有效地解决较大规模的虚拟机分配问题。最后,通过实验验证了本文算法的合理性和有效性。通过与现有算法在以上5类问题中进行对比,表明了本文算法具有更高的求解效率和更大的求解规模。 展开更多
关键词 计算机软件 虚拟机分配 云计算 可满足性
原文传递
New Type Austenite Dynamic Recrystallization of Microalloyed Forging Steels 38MnVS During Forging Process
15
作者 zhang tong-bo SHEN Yong +2 位作者 LIU Pan YONG Qi-long BAO Yao-zong 《Journal of Iron and Steel Research International》 SCIE EI CAS CSCD 2013年第5期57-60,共4页
Hot compression tests of microalloyed forging steels 38MnVS were carried out on the Gleeble-3800 thermo-mechanical simulator at the deformation temperatures from 950 to 1 150 ℃ with the strain rates ranging from 0.1 ... Hot compression tests of microalloyed forging steels 38MnVS were carried out on the Gleeble-3800 thermo-mechanical simulator at the deformation temperatures from 950 to 1 150 ℃ with the strain rates ranging from 0.1 to 10 s^(-1). The effects of the deformation temperature and strain rate on the austenite dynamic recrystallization and microstructural changes were researched. The experimental results show that the dynamic recrystallization accelerated with the increase of the deformation temperatures and the decrease of the strain rate. The activation energy of dynamic recrystallization was calculated, which was about 275.453 kJ/mol. The relation between the dynamic recrystallization and the Z-parameter was investigated, and the state chart of the dynamic recrystallization of the microalloyed forging steel 38MnVS was made according to the experimental data and the deformation parameters. 展开更多
关键词 microalloyed forging steel activation energy dynamic recrystallization austenite grain size state chart 38MnVS
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部