LTE网络结构问题优化方法

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

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

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

不同含量低污染水对人工湿地中细菌的影响研究

探究水平流人工湿地(HFCW)系统处理低污染水过程中,相同COD/ρ(TN)下不同碳氮含量对细菌群落结构的影响。结果表明,进水为较高碳氮含量的HFCW(HF1)和进水为较低碳氮含量的HFCW(HF2)对COD和TN的去除效率具有一定的差异,HF1和HF2对COD的去除效率分别为48.26%和28.89%,对TN的去除率分别为79.06%和81.87%。HF1中细菌的丰富度和多样性均高于HF2,HF1中富集的优势细菌为Chloroflexaceae、Comamonadaceae和Rhodocyclaceae,均具有异养反硝化功能,HF2中富集的优势细菌为Xanthomonadaceae和Rhodocyclaceae,其中Xanthomonadaceae具有自养反硝化功能。COD、NH4^+-N和NO3^--N对HF1中细菌群落的影响大于对HF2中细菌群落的影响,HF1中COD对细菌群落的影响大于NH4^+-N和NO3^--N。     

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

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

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

聚酯帘线的发展趋势

从聚酯的结构设计、帘线浸胶工艺和在轮胎中的应用3个方面阐述聚酯结构特点与产品性能的关系。聚酯帘线行业应该密切关注汽车行业的发展态势,把握市场先机,进一步发展壮大;在新能源汽车逆势增长的形势下,高性能聚酯帘线需求量较大,帘线企业应拓展高性能聚酯帘线在轮胎冠带层、带束层和胎体等部件中的应用,同时联合轮胎企业开发特种聚酯材料和混纺材料等新产品。