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

奥地利微电子推出集成了传感器的智能照明管理器

奥地利微电子公司近日推出革命性的AS721x自动日光采集管理器,这是业内首款集成且基于物联网连接的芯片级智能照明管理器。这款新型的集成了传感器的智能照明管理器解决方案为照明设备、照明引擎、备用灯制造商带来了低成本、物联网连接的集成控制方法。AS721x系列集成了由纳米光学过滤器构成的环境光传感器,帮助照明设备制造商应对日光控制等照明节能领域日益严苛的法规要求。将控制、连接性(如蓝牙)和高分辨传感器引入照明设备本身是更具成本效益的解决方案。     

我国研制出世界最薄分子筛膜

<正>12月12日,中国化工报记者从中国科学院大连化学物理研究所获悉,该所杨维慎研究员和李砚硕研究员带领的研究团队,成功制备出一种由1nm厚的纳米片构成的分子筛膜,其厚度仅为蝉翼厚度的千分之一,而且具有如筛眼般高度规整的孔道,可以精确筛分尺寸差异仅为0.04nm的氢气和二氧化碳分子。该纳米片分子筛膜的渗透通量和分离选择性远远超过目前所有氢气、二氧化碳分离膜。该项研究成果被美国无机膜科学家林跃生教授,德国分子筛膜和膜催化科学家卡     

CoSb_3系热电材料的研究进展

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

LTE网络结构问题优化方法

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

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

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

公安信息系统安全审计技术现状和问题

自《关于加快推进公安信息系统应用日志安全审计工作的通知》(公传发〔2013〕516号)下发以来,公安业务系统的安全审计工作有了很大的进展,但在落地的过程中,也出现了一些现象值得去研究和讨论。文章在安全审计发展现状的基础上,论述了存在的问题,并针对关键问题给出具体的技术实现思路以及实现方案。     

高校微机室计算机I/O设备故障分析与修复

为了快速地判断并排除计算机I/O设备故障,确保人机交流的畅通,对计算机I/O设备的常见故障做了详细的归纳总结。通过分析故障现象,运用听看结合、交叉判断、逐一排除等方法查找到故障点,最终采用快捷、经济、实用的方法排除故障。从而确保计算机正常运转,保证高校教学活动的正常进行。