服役后20号钢在低温下的力学性能研究

分析了20号无缝钢管的室温和低温力学性能,结合显微组织观察、晶粒度统计和断口分析,发现低温低应力工况下服役后20号无缝钢管的力学性能完全符合冷库用液氨管道的使用要求。     

长距离供热管线穿越行洪区的设计方案探讨

随着城市建设规模的不断发展,为满足不断增长的城市供热需求并全面落实国家生态保护、清洁供暖、可持续发展等政策,减少城市环境治理的压力,城市供热热源逐步远离城市,形成许多以长距离供暖和大规模供热为特征的长距离供热管线.由于热源和城市的位置关系,长距离供热管线往往会穿越复杂的障碍区域.以富拉尔基发电厂向齐齐哈尔市长距离供热管网项目穿越行洪区段管网作为案例,从管线穿越障碍区域设计、防洪设计及施工便道设计三个方面对供热管网穿越行洪区时的难点进行分析总结.     

共享交通的时空轨迹检索与群体发现

为解决共享交通下的共乘用户群体发现效率低、准确率不高问题，依据R-树原理建立GeoOD-Tree索引，并在此基础上提出以最大化共乘率为目标的群体发现策略。首先，对原始时空轨迹数据进行特征提取与标定处理，挖掘有效出行起讫点（OD）轨迹；其次，针对用户起讫点轨迹的特征，建立GeoOD-Tree索引进行有效的存储管理；最后，给出以最大化共乘行程为目标的群体发现模型，并运用K最近邻（KNN）查询对搜索空间剪枝压缩，提高群体发现效率。采用西安市近12000辆出租车营运轨迹数据，选取动态时间规整（DTW）等典型算法与所提算法在查询效率与准确率上进行性能对比分析。与DTW算法相比，所提算法的准确率提高了10.12%，查询效率提高了约15倍。实验结果表明提出的群体发现策略能有效提高共乘用户群体发现的准确率和效率，可有效提升共乘出行方式的出行率。     

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

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

改进HSR-FCN的服装图像识别分类算法研究

目前网络上的服装图像数量增长迅猛，对于大量服装图像实现智能分类的需求日益增加。将基于区域的全卷积网络（Region-Based Fully Convolutional Networks，R-FCN）引入到服装图像识别中，针对服装图像分类中网络训练时间长、形变服装图像识别率低的问题，提出一种新颖的改进框架HSR-FCN。新框架将R-FCN中的区域建议网络和HyperNet网络相融合，改变图片特征学习方式，使得HSR-FCN可以在更短的训练时间内达到更高的准确率。在模型中引入了空间转换网络，对输入服装图像和特征图进行了空间变换及对齐，加强了对多角度服装和形变服装的特征学习。实验结果表明，改进后的HSR-FCN模型有效地加强了对形变服装图像的学习，且在训练时间更短的情况下，比原来的网络模型R-FCN平均准确率提高了大约3个百分点，达到96.69%。     

强碱三元复合驱色谱分离及其影响因素——以大庆油区喇嘛甸油田为例

三元复合驱油体系中驱油剂的协同效应,会使油水间的界面张力大幅度下降,原油采收率大幅度提高;但三元复合驱油体系的色谱分离现象也会破坏其协同效应和完整性,揭示色谱分离现象及其影响因素对于改善三元复合驱油效果具有十分重要意义。以油藏工程和分析化学理论为指导,以化学分析和物理模拟为技术途径,并以大庆喇嘛甸油田典型区块地质特征和流体性质为研究对象,开展强碱三元复合驱色谱分离现象及其影响因素研究。结果表明,采用前置高浓度聚合物段塞后,可以有效扩大波及体积,但表面活性剂与碱和聚合物之间无因次等浓距增加,色谱分离现象加剧。大庆油区喇嘛甸油田不同区块油水性质差异对色谱分离现象存在影响,原因在于部分重烷基苯石油磺酸进入油相,影响水相中浓度检测值。强碱三元复合驱油体系中表面活性剂与碱和聚合物之间色谱分离程度比较严重,碱与聚合物之间较弱。     

Improvement of dielectric breakdown strength and energy storage performance in Er2O3–modified 0.95Sr0.7Ba0.3Nb2O6-0.05CaTiO3 lead-free ceramics

In this study, 0.95?Sr_0.7Ba_0.3Nb₂O₆-0.05CaTiO₃-x wt% Er₂O₃ ceramics (SBNCTEx; x?=?0–5) were synthesized using traditional solid-state method, and we investigated the microstructure, energy storage properties as well as the relationship between dielectric breakdown strength and interfacial polarization. As compared with pure 0.95?Sr_0.7Ba_0.3Nb₂O₆-0.05CaTiO₃ ceramics, the Er₂O₃ dopants suppressed the grain growth of SBNCTEx, and the doped ones showed the dense microstructure. The secondary phase was found for x?≥?1 according to the EDS results, and the influence of the secondary phase on relative dielectric breakdown strength has also been studied. The dielectric breakdown strength increased from 18.1?kV/mm to 34.4?kV/mm, which is good for energy storage. The energy storage density of 0.28?J/cm³ and the energy storage efficiency of 91.4% were obtained in the SBNCTE5 ceramics. The results indicate that SBNCTE ceramics can be used as energy storage capacitors.