基于轻量化深度学习网络的数字仪表识别

数字式仪表常用于变电站、工厂等生产环境,是一种直观的设备监测仪器。然而当前数字式仪表的读取方式还依赖于人工巡检,手动记录等,这些传统的巡检方式来监测设备的运行状态大大降低了巡检效率。为了实现传统行业的数字化转型,本文提出基于轻量化深度学习的数字仪表识别方法,通过改进的YOLOv5的目标检测框架,针对数字仪表目标区域在整张图片大小不一致的情况,提出对于感兴趣区域（ROI）的迭代目标检测方法,首次检测将感兴趣区域进行检测并切割统一到相同的尺度,随后迭代检测网络针对感兴趣区域内的字符进行检测并分类,以达到精确读数的目的。为提升多尺度检测性能,本文采用Res2Net模块主干网络中的的残差模块。采用GIoU取代通用的IoU作为位置损失函数加速模型训练效果的收敛。实验表明,改进后的框架实现了99.62%的准确率和99.55%的召回率,相比基线网络分别提升了12.72%和5.85%。通过将框架在边缘计算平台上的终端部署,在实际生产中取代了人工巡检,实现了商业化运行。     

正则^＊—半群的覆盖

设Ｓ是一个正则＊－半群,Ｃ＊（Ｓ）是Ｓ的最小自共轭全子半群．在Ｓ上定义关系ρ：ａρｂｕ,ｖ∈Ｃ＊（Ｓ）ｓ．ｔ．ｕ＊ｕ＝ａａ＊,ｕｕ＊＝ｂｂ＊,ｖ＊ｖ＝ｂ＊ｂ,ｖｖ＊＝ａ＊ａ,ｂ＝ｕａｖ．用Ｇ表示Ｓ／ρ的置换群,Ｐ（Ｇ）表示Ｇ非空子集的集合．τ是Ｓ到Ｐ（Ｇ）的映射满足条件：（１）ｓ１,ｓ２∈Ｓ,（ｓ１τ）（ｓ２τ）（ｓ１ｓ２）τ;（２）ｓ∈Ｓ,｛ｇ－１∈Ｇ：ｇ∈ｓτ｝ｓ＊τ;（３）１τ－１＝Ｃ＊（Ｓ）．则Ｔ＝｛（ｓ,ｇ）∈Ｓ×Ｇ：ｇ∈ｓτ｝是Ｓ的一个Ｃ＊－酉覆盖．称正则＊－半群Ｓ的一个子集Ｈ是允许的,如果关于任意ａ,ｂ∈Ｈ,ｕ,ｖ∈Ｃ＊（Ｓ）,有ａ＊ｂ,ａｂ＊∈Ｃ＊（Ｓ）和ｕａ,ｂｖ∈Ｈ．用Ｃ（Ｓ）表示Ｓ的所有允许子集（注意到Ｃ（Ｓ）是逆半群）．设Ｓ是一个正则＊－半群,Ｇ是一个群．如果θ：ｇ→θｇ是Ｇ到Ｃ（Ｓ）的一个准同态满足∪ｇ∈Ｇθｇ＝Ｓ,则Ｔ＝｛（ｓ,ｇ）∈Ｓ×Ｇ：ｓ∈θｇ｝是Ｓ的一个Ｃ＊－酉覆盖且Ｔ／σＧ．反之,Ｓ的每一个Ｃ＊－酉覆盖都可以如此构造．     

关于有限群的一些Pronormal子群Ⅱ

设U表示有限超可解群类，证明了如下的定理：令F是包含U的一个饱和群系，N是有限群G的一个正规子群使得G／N∈F假设对于N的广义Fitting子群F^＊（N）的素因数集π（F^＊（N））中每个素数p，F^＊（N）的一个Sylow p-子群Fp的所有极大子群都在Nc（Fp）中pronormal，并且（当2属于π（F^＊（N）时）F^＊（N）的一个Sylow 2-子群F2的所有2或4阶循环子群都在Nc（F2）中pronormal，则G∈F.     

水中硫化物的紫外分光光度法测定

硫化物广泛存在于天然水体及工业废水中，因其有毒有害．故在环境监测中是常规检测项目．国内外现有硫化物的测定方法，操作较繁琐，而且测定结果的准确度和精密度都不很理想．本文采用的方法具有操作简单快速、结果可靠等优点．     

一般增长曲线模型回归系数的一种可容许有偏估计

对于线性回归模型：Y=Xβ＋ε,E（s）=0,cov（ε）=σ^2v,v〉0,文献[1]给出了有偏估计βs^＊=（X^TV^-1X＋sI）^-s（XTV^-1Y＋β^＊）,其中s〉0为参数,β表示线性回归模型的广义最小二乘估计,文献[2]中已经证明了βs^＊的可容许性并且有很多优良性质．作者用类似的方法证明在一般增长曲线模型下该有偏估计仍具有许多优良性质并证明其在均方意义下是可容许的．     

单位圆弧上复二次有理Bezier曲线

本文研究单位圆弧上复有理Ｂｅｚｉｅｒ曲线，给出了它的定义，性质及递推算法。）式再证（＊）式对于中间点可以采用归纳证明表示为：根据（＊）式的右边：在上面推导过程中用到了：至此，复有理Ｂｅｚｉｅｒ曲线的计算就有了类似于实Ｂｅｚｉｅｒ曲线，有理厌Ｂｅｚｉｅｒ曲线及复Ｂｅｚｉｅｒ曲线的递推算法。参考文献     

某些积分算子解析函数的性质

设A表示单位圆盘U={z：｜z｜〈1,z∈c）内的单叶解析函数族,定义A的子族MDg（α,β）={f（z）∈A：Re（z（f＊g）＇（z）/（f＊g（z））〈β｜（z（f＊g）＇（z）/（f＊g（z）-1｜＋α,g（z）∈A}这里α〉1,β≤0,介绍3类积分算子函数Fn（z）,G（z）,In（z）,利用解不等式的技巧和解析函数理论,对它们的性质进行探究．     

H^2（Sn）的不变子空间

Ｈ２（Ｓｎ）的不变子空间＊丁宣浩（数学系）设Ｈ２（Ｓｎ）表示球面Ｓｎ＝Ｂｎ上的Ｈａｒｄｙ空间，Ｚｊ表示Ｈ２（Ｓｎ）上的坐标乘子，Ｚｊ：ｆ→Ｚｊｆ，ｆ∈Ｈ２（Ｓｎ）．设Ｍ是Ｈ２（Ｓｎ）的闭子空间，如果ＺｊＭＭ，ｊ＝１，２，…，ｎ，则称Ｍ是Ｈ２（Ｓ...     

Groupoid C-代数中的三角子代数的表示

研究了ｇｒｏｕｐｏｉｄＣ＊－代数中三角子代数的表示，这些表示是ｇｒｏｕｐｏｉｄＣ＊－代数的＊表示的约束，且把ｇｒｏｕｐｏｉｄＣ＊－代数中的Ｃａｒｔａｎ子代数映成Ｂ（Ｈ）中的一个ｍａｓａ中的弱稠子集．     

(B)((H))上保正交性的可加映射

讨论了B（H）到B（H）上保反正交性、保Jordan正交性的可加映射，其中B（H）和B（H）是由Hilbert空间B和H上的有界线性算子全体组成的Banach代数．若Φ：B（H）→B（H）是双边保反正交性的可加满射，使得Φ（I）=I，并且对每个一秩幂等算子P∈B（H），有Φ（FP）包启FΦ（P），则Φ是B（H）上的＊-反同构或共轭＊-反同构．与保反正交性的假设条件相同，对于保Jordan正交性，得到Φ是下列形式之一：＊-同构，共轭＊-同构，＊-反同构，共轭＊-反同构．     

谱V（1）同伦群中的一些新元素

本文利用Ａｄａｍｓ谱序列证明了谱Ｖ（１）的同伦群π＊Ｖ（１）中,存在由ｂ１ｇ０,ｂ１ｈ１和ｈ２所表示的新元素,而由ｂｎ（ｎ≥１）表示的元素不存在,并且确定了π＊Ｖ（１）在次数〈２（ｐ＾２＋２ｐ）（ｐ－１）－３时的Ｚｐ基元,其中ｐ≥５是素数。     

带有临界Sobolev和Hardy项的半线性椭圆方程的解(Ⅱ)

设Ω（∪）R^N是有界光滑区域,0∈Ω,N≥3,2^＊：=2N/N-2,0≤s＜2,2^＊（s）：=2（N-s）/N-2,2＜r＜2^＊（s）.对于满足一定条件的参数λ和μ,证明了带Dirichlet边界条件的奇异椭圆问题-△u-μu/｜x｜^2=｜u｜^2＊-2u＋λ｜u｜^r-2/｜x｜^su变号解的存在性.     

GroupoidC^＊—代数中的三角子代数的表示

研究了ｇｒｏｕｐｏｉｄＣ＾＊－代数中三角子代数的表示，这些表示是ｇｒｏｕｐｏｉｄＣ＾＊－代数的＊表示的约束，且把ｇｒｏｕｐｏｉｄＣ＾＊－代数中的Ｃａｒｔａｎ子代数映成Ｂ（Ｈ）中的一个ｍａｓａ中的弱稠子集。     

基于遗传算法设计的一种数字式显示仪表的PD控制器

在介绍数字自动平衡式显示仪表工作原理的基础上,建立了系统的数学模型。根据系统动态性能指标的要求,基于遗传算法设计了一种PD控制器,并利用MATLAB语言对数学模型进行仿真。仿真结果表明,基于遗传算法PD控制的自动平衡式数字式显示仪表具有无超调量、调节时间短、PD参数整定简单等优点,能满足实际应用对自动平衡式数字式显示仪表的动态性能要求。     

平面连通图为哈密顿图的一个充要条件

本文利用对偶的概念，给出了平面连通图为哈密顿图的一个充要条件。 定理 平面连通图G（V≥3）为哈密顿图的充要条件是存在G的对偶图G＊＝（V＊，X＊）满足： （１） Ｖ＊ ＝Ｖ１＊：Ｖ２８，Ｖ１＊∩Ｖ２＊＝，Ｖ１＊≠，V２＊≠ （２）Ｖ１＊和Ｖ２＊的诱导子图＜Ｖ１＊＞和（Ｖ２＊）均是树。     

一类无限平面近环的结构

在复数域Ｃ中重新引入新的乘法运算＊φ，将Ｃ加工成一个平面近环（Ｃ，＋，＊φ），证明了：（１）Ａ＝｛ａ∈Ｃ｜ａ＊φｚ＝０＊φｚ｝＝ｋｅｒφ；（２）对于ａ∈Ｃ＊＝Ｃ＼Ａ，令Ｂａ＝｛ｂ∈Ｃ＊｜ｂ＊φ１ａ＝ｂ｝，则Ｃ＝Ａ∪｛Ｂａ｜ａ∈Ｃ＼Ａ｝是Ｃ的一个分划；（３）（Ｂａ，＊φ）是一个群；（４）（Ｃ，Φ）是Ｆｅｒｒｅｒｏ对，其中Φ＝｛φｂ｜ｂ∈Ｂａ｝，φｂ（ｘ）＝｜φ（ｂ）｜１／αｘ，ｘ∈Ｃ     

EXCEL在烟气连续监测系统颗粒物测量准确度计算、评价中的应用

在固定污染源排放烟气连续监测系统(CEMS)[1]的检测评价中,颗粒物测量准确度的评价方法推荐有两种,其中置信区间评价法可以量化和形象地描绘测定误差是否处于评价指标控制中,较为直观.但由于这种评价方法涉及到大量数据处理和复杂繁琐的曲线绘制,因此常规的计算方法和处理过程就显得相当繁琐、费时,而且容易出错.针对这种情况,本文作者利用EXCEL电子表格中强大的函数功能和图表处理能力制作了一个颗粒物测量准确度评价的"自动表格".该自动表格能有效地解决了常规方法中计算繁琐、绘图耗时、容易出错的缺点.     

用于变压器故障特征气体分析的气敏阵列传感系统

提出将气敏元件阵列技术和径向基函数神经网络（Ｒａｄｉａｌ Ｂａｓｉｓ ＦｕｎｃｔｉｏｎＮｅｕｒａｌＮｅｔｗｏｒｋ，ＲＢＦ－ＮＮ）相结合，以检测电力变压器油中的４种微量故障特征气体（１＊１０＾－６－１０＊１０＾－６级Ｈ２、Ｃ２Ｈ４、Ｃ２Ｈ２和５０＊１０＾－６级ＣＯ）。实验结果表明，与目前基于误差反向传播算法（ＥｒｒｏｒＢａｃｋ－ＰｒｏｐａｇａｔｉｏｎＡｌｇｏｒｔｈｍ，ＢＰ）神经网络的气体分析结果相比     

两卵形弧间的等距对应

本文目的是研究两卵形弧间的等距对应，所得的主要结果是下列两定理：定理设Ｃ和Ｃ￣＊是两条正则的卵形线，它们的长度相等，Ｃ→Ｃ￣＊是等距映射，则在Ｃ上有４个不同的点Ａ１、Ａ２、Ａ３、Ａ４使Ｃ在Ａ＿ｉ的曲率等于Ｃ＊在＝１，２，３，４．）。定理设Ｃ和Ｃ￣＊都是以Ａ、Ｂ为端点的卵形弧，它们的长度相等；Ｃ→Ｃ￣＊是等距映射使；Ｍ为Ｃ上一点；对于ＡＭ上任Ｐ有对ＭＢ上任一点心Ｐ有．则α＊≤α，β≥β＊其中α（α＊）是Ｃ（Ｃ￣＊）在Ａ的弦切角，β（β￣＊）是Ｃ（Ｃ￣＊）在Ｂ的弦切角。     

扩张映射的带有收敛速度的高维中心极限定理

摘要：设M是紧致连通的光滑的黎曼流形，X∪→U∪→M，T：X→X上的扩张映射，g是X上的Holder连续函数，m是g的平衡态，假设f：X→R^d，其每个分量fi是Holder连续函数，且∫Xfidm=0。如果f是每个分量fi是上同调不相关的，那么存在一个正定对称矩阵σ^2，使得f^n/√n=f＋f。T＋…＋f。T^n-1/√n关于m依分布收敛于期望向量为0、协方差矩阵为σ^2的n维Gauss随机变量，进一步，存在一个实数A〉0使得，对任意整数n≥1，有不等式 П（m＊（f^n/√n）,N（0,σ^2）≤A/√n，其中，m＊（f^n/√n）表示f^n/√n关于m的分布，П（＊，＊）是Prokhorov度量。