基于“IPv6+”的智能IP网络方案

随着第4次工业革命的到来，人类社会正逐步迈向万物互联的智能时代。智能时代需要更加自动化、智能化的IP网络，基于“IPv6+”的SRv6、BIERv6等技术是使能新一代IP网络的关键基础。全面阐述了“IPv6+”的技术内涵，结合华为在智能 IP 网络解决方案上的创新和思考，介绍了“IPv6+”在极简连接、SLA 保障、专网体验、质量感知和云网一体等多个解决方案场景的关键技术与典型应用，助力5G与云业务发展。     

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

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

海绵负载纳米Al2O3复合吸附剂去除水中硒研究

研究制备了海绵负载纳米Al2O3微球的复合吸附剂(NAS),并用于对Se(Ⅳ)和Se(Ⅵ)的吸附。结果表明,合成的纳米Al2O3微球(NAO)的平均尺寸为200~400 nm,在海绵上负载NAO会使其分散性更好。当NAO负载量分别为80 mg/g和60 mg/g时,NAS对Se(Ⅳ)和Se(Ⅵ)的吸附性能为佳,分别需要60、120 min达到平衡,适应pH为2~5;两者均符合准2级动力学模型;NAS对Se(Ⅳ)、Se(Ⅵ)的最大吸附容量分别为137.2、143.9 mg/g,能很好地与Freundlich模型拟合,说明NAS表面不均匀,且属于多层吸附。经过2次的循环,对Se(Ⅳ)和Se(Ⅵ)的去除率有所降低,但均仍保持在一定的水平,说明NAS可再生循环利用。NAS作为一种新型吸附剂去除水中Se具有较好的应用前景。     

基于3D打印技术制造柔性传感器研究进展

与传统的涂覆、沉积等加工手段相比，使用3D打印技术可制造复杂立体功能结构的传感器，将3D打印与柔性传感技术结合可以促进未来生物医疗、人工智能等领域的发展。本文介绍了国内外基于3D打印技术制造柔性传感器的最新进展，其中包括聚酰亚胺等多种基底材料、纳米金属等多种打印传感材料；按照熔融沉积、黏弹性墨水沉积、粉末烧结熔化、还原光聚合和材料喷射的制造原理分别阐述了多种传感器的材料选择、成型特点，并对制造方法进行总结分析。虽然3D打印制造柔性传感器件存在着缺乏行业标准及多种类打印材料等问题，但经过不断创新与发展，3D打印将成为柔性传感领域极佳的制造手段。     

非连续采空区矿柱力学分析的数值模拟

为探讨非连续采空区矿柱力学原理，通过FLAC3D数值模拟技术，对下向水平分层进路式胶结充填采矿法开采形成的非连续采空区中矿柱的受力状态进行了分析。研究表明，非连续采空区中矿柱所受的力主要为覆岩的自重应力，水平应力对其影响不大；随着埋深的增加矿柱承受的垂直方向的力近似呈直线增加；随着非连续采空区跨度的增加（进路数量增加），非连续采空区受垂直方向的应力逐渐由围岩两侧向矿柱中间过渡。     

红岭矿18线南西翼通风系统技术改造

针对矿山18线南西翼矿体开采过程中存在的通风系统不完善、风量欠缺、污风无法及时排出等问题，运用风压平衡原理、网络优化技术、机站优化技术以及计算机网络模拟技术展开研究，拟定了3种可行的通风方案。经技术经济比较，确定了新掘18线905～855 m回风井（1.5 m），保留该井905 m 水平回风机站，并在855 m 水平新设1台K45 6 №12风机（18.5 kW）方案。数值模拟结果表明：18线南西翼通风系统总风量达到20.5 m3/s，井下风流的可调性和稳定性增强，为矿山的安全生产提供了有力保障。     

基于决策树算法的校园客户识别模型

校园市场是基础电信运营企业细分市场的重要组成部分,对企业核心竞争力的提升和可持续发展具有重要意义。本文主要介绍一种决策树算法的校园客户识别方法。该方法根据决策树算法的基本原理,融合了社交网络扩散原理和打分机制,将其应用到校园客户识别模型建设之中。通过外呼等方法验证客户准确性相比原有模型有了极大提升,证实了该模型的有效性。     

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

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

网络信息资源评价视野下的云南政府网站建设现状及对策研究

本文依据朱庆华提出的"政府网站评价指标",对云南政府网站建设状况和特点进行研究,提出了云南政府网站建设的措施和对策,对经济欠发达地区各级政府网站建设具有一定的指导意义。     

浅谈计算机网络发展的新动向——智能网络开发

目前,我国计算机网络发展越来越迅速,各式各样的计算机技术随之崛起,在各行各业产生了良好的效果,其中智能网络的贡献最为显著。文章就计算机网络发展的新动向智能网络开发进行分析,并提出适当的意见。