代数基本定理的另一证明

在复变函数论中,用了两种不同的方法证明了代数基本定理。文章从另一种角度:用映射的观点证明该定理。     

居加猜想的一个等价命题

文章利用数论中的一些简单结果,建立了居加猜想的一个等价命题。     

关于蝴蝶定理的推广

本文给二次曲线的一个统一性质，推广了历史上关于圆的蝴蝶定理。     

中值定理的又一证明方法

本文提出了中值定理的另一种处理意见，并给出了柯西中值定理的一种新的证明方法。     

基本图素分类的综合判定

本文采用关于手绘图形基本图素的“角度和变量”与“最大距离”综合判定分类法,以流程图符为例,实现了手绘基本图形的在线机器识别.系统的识别率达94.0%～99.5%,无明显等待.     

Feller—Trotter算子的局部饱和定理

利用Bajsanski-Bajanic抛物线引理建立Feller-Trotter算子的局部小“ο”饱和定理,进一步地应用所得到结论建立了(C_)类算子半群概率表示的局部饱和定理。     

Abel数域的导子计算公式

本文基于Kronecker-Weber 定理,利用素数在Abel 数域中的分歧指数明确地给出了Abel 数域的导子计算公式. 特别地,二次数域的导子公式可以容易地从该公式推导出来.     

基于双重匹配注意力网络的观点型阅读理解

提出一种基于双重匹配注意力网络的方法.先用动态匹配机制迭代综合获取全局观点信息,同时利用多维度匹配机制在不同特征空间上计算全局语义信息,然后交互式多路注意力机制通过两路注意力之间的交互计算对上述全局的观点与语义信息进行融合,最后与选项表示结合预测答案的观点倾向.在观点型阅读理解数据集ReCO和Dureader上面的实验表明,该方法相对于基准模型在准确率上提升了1.18%和0.84%,在加权宏F1上提升了1.16%和0.75%.     

带有p-Laplacian算子的分数阶积分-微分方程边值问题正解的存在性

研究了带有p-Laplacian算子以及变Riemann-Liouville分数阶积分的分数阶积分-微分方程的边值问题,利用锥上的不动点定理,得到了该边值问题正解的存在性结果.     

基于机器视觉的车辆时空参数识别

车辆荷载信息是分析桥梁受力和性能评估的重要依据,其中车辆时空信息是准确识别车辆荷载的关键参数。考虑到传统在桥面埋设传感器的方法影响交通、破坏路面,提出了一种基于机器视觉技术的车辆荷载时空参数识别方法,包括车辆的横向定位、车速、车轴数、轴距的识别。基于正面拍摄视频,采用背景差分法来实现车辆检测,进一步通过车牌识别确定车辆在图像中的位置,然后根据车牌与车道线距离来实现车辆横向定位。基于侧面拍摄视频,采用图像标定方法,结合已知长度的辅助检测线来获取车辆的轴距、轴数、车速等车辆参数。通过试验室模型试验和现场试验验证了提出的方法。结果表明,现场试验中车辆横向定位和车速的最大误差分别为2.42%和2.67%,轴距的平均误差为1.63%,识别结果可以为更多其他车辆参数如轴重和总重的识别提供重要的技术支撑。