SA508-3钢铸态粗晶组织热压缩变形行为与晶粒演化规律

为获得SA508-3钢铸态粗晶组织热变形过程中的晶粒细化和均匀化规律,通过Gleeble单道次高温热压缩实验(950℃~1250℃,0.001s-1~1s-1,真应变ε=0.8),发现铸态粗晶在低温硬化-回复阶段时的应力水平较锻态细晶的略高,通过金相分析发现,该现象是由铸态粗晶组织含有大量形变孪晶及其较差的变形协调性所致。同时分析了不同变形条件(温度和应变速率)对再结晶晶粒尺寸和混晶程度的影响规律,得到了动态再结晶完成后,变形温度为1 050℃~1 200℃、应变速率为0.01s-1~1s-1的变形参数对SA508-3钢铸态粗晶组织具有较好的细化晶粒作用,最高晶粒度可达6级~7级;1050℃~1200℃、0.001s-1~0.1s-1的变形参数可有效地降低SA508-3钢铸态粗晶组织的混晶程度,动态再结晶完成后组织比较均匀。     

计算机病毒传播的复杂网络建模分析

随着科学技术的进步,计算机网络的不断发展,大量的计算机病毒也不断出现,并大量破坏和入侵用户计算机中。因此,应该建立计算机病毒传播模型来分析传播的实际规律,从而能够有效抵制病毒的传播。一般来说,传统计算机病毒模型都是在规则网络、随机网络中建立的,现阶段,在分析和研究计算机病毒的时候,复杂网络成为重要的建设依据,展现了传播病毒的新规律。文章对此进行了研究。     

CoSb_3系热电材料的研究进展

介绍了CoSb3合金的基本特性、制备方法和成分掺杂.评述了目前通过不同的元素掺杂在热电性能方面取得的重大进展.指出通过结构优化、组分调整,可进一步提高CoSb3基合金的热电性能.     

LTE网络结构问题优化方法

本文创新性建立一套LTE网络结构问题的评估方法体系,能够快速地定位网络中的问题。     

嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.     

节能型低导热性内衬耐火材料

为了有效地控制工业窑炉在间歇式操作时的热能损失,降低内衬材料的热容量和导热系数非常重要。开发了低导热性内衬耐火材料,使导热系数降低约30%。新开发的耐火材料在100t的LF炉中应用证实LF处理时间缩短10%、LF耗电量降低8%。在185t钢包中使用,获得了大幅度抑制钢水温度降低的效果。     

GK1D型内燃机车柴油机换型改造案例分析

文章针对GK1D型液力传动内燃机车原12V180ZJC型柴油机因停产造成"配件缺货、停修时间不确定"问题,介绍了将其换型为G12V190ZLJ型柴油机的改造案例,并对案例进行了分析。     

刚柔结合的充电机械臂设计

针对大型运输设备上的电池充电补给任务,设计了一款刚柔结合充电机械臂.针对机械臂的柔性部分和刚性部分分别分析了关节、任务、驱动空间之间的运动映射关系,给出了两级柔性臂的解耦运动学算法,使用蒙特卡洛方法求解了机械臂的工作空间,验证了机械臂设计的合理性,并用Adams软件进行动力学仿真分析,校核了设备选型的安全性.