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钢铸态粗晶组织的混晶程度,动态再结晶完成后组织比较均匀。     

狂犬病病毒CTN株反向遗传系统的改造及拯救

目的对狂犬病病毒CTN株反向遗传系统进行改造,并拯救改造后的狂犬病病毒。方法应用基因定点突变技术分别对狂犬病病毒CTN株G蛋白的第194位和333位氨基酸进行定点突变,将突变后的G蛋白基因替换原有反向遗传系统中的G蛋白基因,同时对突变后的G蛋白基因进行拷贝,分明构建含有1、2和3个改造后G蛋白基因全长序列的感染性克隆,并将其分别与辅助质粒共转染BSR细胞,采用直接免疫荧光实验(DFA)和RT-PCR法鉴定重组病毒。结果 G蛋白的第194位天冬酰胺突变为丝氨酸,第333位谷氨酰胺突变为谷氨酸,获得含有1、2和3个突变后G蛋白基因的狂犬病病毒CTN株反向遗传系统,并拯救出重组狂犬病病毒。结论成功对狂犬病病毒CTN株反向遗传系统进行了改造,并拯救出了重组病毒,为研制安全、稳定、高效的新型狂犬病病毒疫苗奠定了基础。     

CoSb_3系热电材料的研究进展

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

LTE网络结构问题优化方法

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

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

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

“行走中的”移动与高性能完美均衡工作站——实测HP ZBook 15G2

在新媒体的时代到来之后,后期制作有了其举足轻重的地位与不同的历史意义。随着后期制作在影视视频节目中的地位上升,后期制作的精良与否也成为了影视视频节目质量提升不可或缺的因素。随着后期制作的水平与制作程序的复杂程度的提升,后期制作的周边设备成为后期制作企业竞争力的一部分,甚至是重要的组成部分。后期制作的周边设备中,最重要的可以说是工作站