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钢包中使用,获得了大幅度抑制钢水温度降低的效果。     

[信息通信]·杂志 征稿启事

<正>《信息通信》杂志是经国家新闻出版总署批准,面向全国公开出版发行的科技类学术期刊,拥有国际国内统一刊号(ISSN 1673-1131,CN 42-1739/TN)。本刊创刊于1987年,大16开本,月刊,为全国创办较早的专业期刊,曾多次获得国家科技期刊各类奖项。本刊严格遵循"科学、创新、唯实"的方针,力求体现"专业性、交叉性、开放性"三大特色,是中国期刊网(中国知网)、中国数字化期刊群(万方数据)、中文科技期刊数据库、中国学术期刊(光盘版)全文收录期刊,中国学术期刊综合评价数据库来源期刊。本刊致力于刊载信息和通信领域的科研探索、技术创新、运