符号执行过程的DFA和CFA

将含有库函数名的汇编代码程序翻译成中间语言程序，然后再转换成高级语言程序可降低逆编译的复杂性，文章介绍了从汇编程序到中间语言程序的转换过程中，采用基于数据流和控制流分析的符号执行方法，该方法已在基于知识的逆编译系统DECLER中实现。     

基于液压胀形的直焊缝管力学性能测试方法

直缝焊管是液压胀形工艺的主要原材料,在管件液压胀形数值模拟和工艺设计中,通常使用相应板材力学性能作为焊管的力学性能,而在焊管的加工过程中,材料性能发生变化,这使得用板材性能来指导液压胀形工艺设计的可靠性大大降低,如何准确评价焊管力学性能变得越来越突出。结合理论分析和自由胀形实验,得到母材力学性能参数测试方法;由于焊接区(焊缝以及热影响区)受力状态复杂,其受力状态不能由管材形状参数和内压力来确定,采用单向拉伸试验和混合准则法,确定焊缝以及热影响区材料的力学性能参数。上述测试结果应用于方形零件液压胀形数值仿真,仿真结果与实验结果比较表明该力学性能参数测试方法是准确可靠的。     

镁合金AZ31B板材温成形流变规律及本构模型

通过AZ31B镁合金板材高温拉伸实验,分别讨论了成形温度、应变速率以及各向异性对镁合金流变的影响。实验结果表明,温度越高、应变速率越低,镁合金的塑性越好;取样方向与轧制方向成45°时,由于在此方位孪生取向因子最大,因而该方向的塑性很高,与0°方向塑性基本相同。对变形后的镁合金进行金相组织观察发现,250℃时镁合金显微组织几乎都是由细小的等轴晶粒组成,优于其他温度下的显微组织;结合温度对镁合金流变的影响,确定镁合金的最佳温成形温度为250℃。依据实验数据建立了两种硬化本构模型,即Fields-Backofen模型和指数模型。分别将两种模型预测结果与实验数据对比表明,采用指数模型能更好的预测镁合金温成形流变应力。     

B1500HS热成形钢与DP钢的点焊接头拉剪性能

摘要： 文中以3种强度级别的双相钢(DP780,DP980,DP1180)和B1500HS热成形钢的电阻点焊接头为研究对象,研究了DP钢强度对点焊接头拉剪性能的影响,分别观察和分析了接头宏观形貌和微观组织,测试和分析了接头的硬度分布及接头的断裂模式。结果表明,DP钢强度对接头的拉剪强度影响很小,但会影响其断裂模式。B1500HS/DP780的断裂是焊核从DP钢侧拔出,另2种的则是焊核从B1500HS侧拔出,但它们的初始起裂位置均位于亚临界热影响区。B1500HS侧亚临界热影响区软化严重,较基体硬度下降约29%～36%,而DP780无明显软化现象,DP980和DP1180侧的亚临界热影响区软化率分别为17%和25%。说明在异种材料电阻点焊过程中其热影响区的软化程度会影响点焊接头的断裂模式。 创新点： 对B1500HS分别与DP780,DP980,DP1180组成的RSW接头展开对比研究。     

利用地震正演模拟方法研究地层结构——以鄂尔多斯盆地合水地区延长组三段为例

地层结构研究是开展地层等时对比、储层精细表征的前提。为了明确鄂尔多斯盆地合水地区延长组三段的地层结构特征,采用了地震正演模拟方法。首先,基于前积地震反射结构,设计三种地层结构概念模型,即等厚尖灭式、底部地层减薄式和地层等比例减薄式;然后开展地震正演模拟,总结不同地层结构的波形响应差异;最后将正演模拟结果与实际地震剖面进行对比、分析。结果表明,前两种样式均呈现与实际地震剖面相似的前积地震反射结构,可作为研究区的潜在地层结构样式。结合测井响应特征,认为研究区地层结构为底部地层减薄式。该方法可为其他相似研究区提供借鉴。