不完美排错SRGM研究

软件可靠性增长模型SRGM可对测试与运行阶段的可靠性进行度量、预测与保证。不完美排错SRGM能够更加准确地建模实际测试过程,获得了广泛研究。首先介绍了随机过程类模型中的NHPP基本概念与假设。接着,从三个阶段全面回顾了不完美排错研究历程。进一步,给出了若干典型的不完美排错SRGM的建模与累计故障检测函数的求解形式。最后将从排错的不完全性,引入新故障的角度建立的不完美排错模型:IID-SRGM与现有的模型进行比较,优于其它模型。     

老龄大鼠慢性脑灌注不足行为学观察

目的观察老龄大鼠双侧颈总动脉结扎后行为学变化。方法将大鼠随机分成手术组及对照组,手术组制作慢性脑灌注不足大鼠模型,第1、3、5d对两组进行卒中指数评分、自发性活动测定;第1、4、8、12周进行Morris水迷宫实验和攀绳肌力实验。结果卒中指数和自发性活动测定,手术组第1d与对照组相比有显著差异,第3,5d相比无差异。在Morris水迷宫实验中,手术组在术后第8周及12周与对照组相比,学习记忆功能显著下降,术后12周内大鼠攀绳能力与对照组无显著性差异。结论慢性脑灌注模型对大鼠学习记忆能力具有永久性的损伤作用,而对运动功能无显著性影响。因此,双侧颈总动脉永久性结扎是研究认知功能的良好模型。     

需求可拆分车辆路径问题的禁忌搜索算法

为解决实际配送运输中的车辆路径问题（Vehicle Routing Problem,VRP）,通过改进传统的数学模型,解除每个客户需求只能由l辆车配送的约束,建立改进的可拆分车辆路径问题（Split Delivery VRP,SDVRP）数学模型,并利用禁忌搜索算法（Taboo Search Algorithm,TSA）进行求解．在TSA的设计中,根据SDVRP模型的特点对初始解、邻域搜索和解的评价等进行特殊处理．算例表明,该模型不仅可以解决VRP模型中不允许配送点需求量超出装载量的限制,而且通过相应配送点需求量的拆分和重新组合,可节省车辆数目、缩短路线长度、提高车辆装载率．     

地下综合管网信息管理系统的设计与实现

在城市进行基础设施建设的过程中,地下管网占据了关键地位,在开展城市建设、规划以及管理过程中起着重要的作用,被形象的称为城市“生命线”.建立综合管网信息管理系统可以对地下管网进行科学系统的管理,为城市“生命线”注入新的活力,确保社会生产和经济发展的需要.文章以城市地下综合管网关键技术为基础,探讨了城市地下综合管网信息系统的总体结构设计、功能模块设计等内容.     

松辽盆地深层天然气碳同位素反序及形成机理探讨

松辽盆地深层天然气碳同位素反序现象十分普遍,对其成因的认识一直存在分歧。全面分析、总结了松辽盆地深层昌德、徐深、升平、长岭4个具有碳同位素反序现象的烷烃气组分以及碳同位素组成,结果认为深层烷烃气组分与同位素值不具备典型无机成因气特征,其负碳同位素系列不能作为鉴别无机成因气的充分条件深层煤成气与无机气混合作用可能是碳同位素反序的首要因素,运移过程中的扩散分馏是导致混源模拟与实际测量值出现偏差的主要原因,且制约着盆地深层天然气组分及碳同位素值垂向变化。此外,盆地深层单纯无机成因气组分与碳同位素组成是准确估算深层非生物成因气含量的关键,其研究具有重要理论意义与应用价值。     

一种改进型级联神经网络检测算法及加速处理

为提高MTCNN网络检测准确度,且针对检测密集样本容易漏检的问题,通过改进网络隐藏层结构提高网络学习能力,通过Soft-NMS惩罚置信度方式筛选检测框,提高了网络检测准确度,针对密集样本仍保持高精度;且为提高改进后网络推理速度和克服网络依赖PC端资源问题,基于HLS实现了网络加速推理。实验结果表明,改进后各子网络检测准确度由93.73%、95.30%、95.89%提高至94.78%、96.30%、97.55%,密集样本测试集测试准确度为97.21%;使用硬件加速对比2.9GhzCPU推理速度快3.3倍,硬件资源最大占用91%,较好利用硬件资源实现了加速处理。     

无源修正技术在互感器宽频等效模型建模中的应用

首先采用一台HP4395A型网络矢量分析仪对电压互感器进行了S参数的测量,计算了互感器的Y参数。通过矢量匹配拟合得到互感器Y参数的频域有理函数表达式,为了保证所建模型的无源性,对拟合参数进行了无源修正,并通过网络综合建立了互感器稳定的π型等效电路。最后采用Matlab/Simulink软件进行了仿真,仿真结果表明采用无源修正技术可以保证互感器宽频等效模型的稳定性和精确性。     

火成岩油气藏的烃源、成藏机理及勘探潜力

全面回顾了国内外火成岩油气藏的研究进展。指出,尽管目前已发现的具有商业价值的火成岩油气藏以有机成因为主,但对无机成因油气藏要给予高度重视。详细论述了火成岩油气藏的烃源及无机成因烃的形成机理,阐明地幔射气、晚岩浆期温度500℃以下封闭体系内C-O-H流体重新平衡和岩浆期后阶段矿物与流体的费托合成是无机成因烃的主要来源。我国东部盆地断陷期烃源岩发育良好,区域火山岩地幔包体和火山区温泉气内均含有地幔来源的烃类,碱性和过碱性花岗岩及基性和超基性岩组合具备费托合成烃的条件;表明火成岩油气藏具有巨大的勘探潜力。     

发电机进相运行引起失磁保护误动作的事故分析

介绍一起发电机进相运行引起失磁保护误动作的事故,分析了励磁系统低励限制未动作和失磁保护误动作的原因,提出将低励限制、失磁保护和发电机静稳圆3条曲线绘制在PQ坐标系上进行对比分析的方法.该方法可以有效减少失磁保护误动作的几率,有利于提高发电机安全稳定运行水平.     

自然光普通摄像头的眼部分割及特征点定位数据集ESLD

目的 眼部状态的变化可以作为反映用户真实心理状态及情感变化的依据。由于眼部区域面积较小,瞳孔与虹膜颜色接近,在自然光下利用普通摄像头捕捉瞳孔大小以及位置的变化信息是当前一项具有较大挑战的任务。同时,与现实应用环境类似的具有精细定位和分割信息的眼部结构数据集的欠缺也是制约该领域研究发展的原因之一。针对以上问题,本文利用在普通摄像头场景下采集眼部图像数据,捕捉瞳孔的变化信息并建立了一个眼部图像分割及特征点定位数据集(eye segment and landmark detection dataset,ESLD)。方法 收集、标注并公开发布一个包含多种眼部类型的图像数据集ESLD。采用3种方式采集图像：1)采集用户使用电脑时的面部图像;2)收集已经公开的数据集中满足在自然光下使用普通摄像机条件时采集到的面部图像;3)基于公开软件UnityEye合成的眼部图像。3种采集方式可分别得到1 386幅、804幅和1 600幅眼部图像。得到原始图像后,在原始图像中分割出眼部区域,将不同尺寸的眼部图像归一化为256×128像素。最后对眼部图像的特征点进行人工标记和眼部结构分割。结果 ESLD数据集包含多种类型的眼部图像,可满足研究人员的不同需求。因为实际采集和从公开数据集中获取真实眼部图像十分困难,所以本文利用UnityEye生成眼部图像以改善训练数据量少的问题。实验结果表明,合成的眼部图像可以有效地弥补数据量缺少的问题,F1值可达0.551。利用深度学习方法分别提供了眼部特征点定位和眼部结构分割任务的基线。采用ResNet101作为特征提取网络情况下,眼部特征点定位的误差为5.828,眼部结构分割的mAP (mean average precision)可达0.965。结论 ESLD数据集可为研究人员通过眼部图像研究用户情感变化以及心理状态提供数据支持。