几何定理机器证明的WE完全方法

在几何定理机器证明的各种方法中，吴氏方法获得了显著的成功．如预先把有关代数簇分解为不可约簇，则吴氏方法可成为完全方法．本文在吴法的基础上，以辗转伪除法为辅助工具，发展出一种不必预先分解代数簇的完全方法，并给出一些手算实例．     

第一讲机器视觉发展概述

近年来，机器视觉已经发展成为光电子的一个应用分支，广泛应用于微电子、PCB生产、自动驾驶、印刷、科学研究和军事等领域。机器视觉在中国的蓬勃发展，使从事机器视觉的公司和人员大量涌现，《机器视觉技术发展概述》是《机器视觉及其应用》系列讲座的综述部分，重点讨论下列内容：机器视觉的定义、发展历程与趋势、应用领域及所涉及的技术。     

仿射括号代数理论与算法及其在几何定理机器证明中的应用

主要讨论仿射括号代数的理论与算法及其在定理机器证明中的应用。文中首次提出了边界扩张算法等几个有效的仿射括号代数算法, 同时分析了边界算子的性质, 为系统实现奠定了基础. 文中也提及了单括号因子整除判定、单项式因子整除判定、仿射几何的构造和对应表示表示等工作. 在符号计算软件 Maple 10中, 应用上述理论与算法实现了仿射几何的定理机器 证明, 并用大约100多个例子进行了测试, 之后将结果进行了比较.     

欢迎订阅2006年《大学化学》

分子机器至今还是一个遥远的梦想，但是很多实验室仍然在孜孜不倦地追求着这个目标。Colorado大学（Boulder）的J．Michl等合成了一类这样的分子（图示为其中之一），分子有一个可以旋转的部分和两个环戊二烯基的“支架”，支架上接有硫汞基的“触角”，因而可以吸着在金的表面上，使转子的转轴与金表面保持平行。     

应用于嵌入式图形处理器的实时目标检测方法

提出了一种应用于嵌入式图形处理器(GPU)的实时目标检测算法。针对嵌入式平台计算单元较少、处理速度较慢的现状,提出了一种基于YOLO-V3(You Only Look Once-Version 3)架构的改进的轻量目标检测模型,对汽车目标进行了离线训练,在嵌入式平台上部署训练好的模型,实现了在线检测。实验结果表明,在嵌入式平台上,所提方法对分辨率为640 pixel×480 pixel的视频图像的检测速度大于23 frame/s。     

用于空中红外目标检测的增强单发多框检测器方法

提出了一种用于空中红外目标检测的增强单发多框检测器(SSD)方法。分析了感受野与特征图层数的关系,同时采用池化和转置卷积操作的特征图双向融合机制,从整体上增强了特征的表达能力。通过引入浅层特征图的语义增强分支,并在高分辨率特征图上增加预测框,可提升小尺寸目标的定位精度。在VOC2007小目标和空中红外目标数据集上进行了对比测试,平均精度分别提高了7.1%和8.7%,此时检测速度略有下降。结果表明,增强SSD可在空中红外目标检测中获得较好的性能。     

基于视角信息嵌入的行人重识别

提出一种基于视角信息嵌入的行人重识别模型。结合行人图像视角朝向特点,对PSE (pose-sensitive embedding)网络结构进行了优化。首先将PSE特征向量融合部分由特征的融合改成更符合不同视角特征空间性质的三个视角单元特征向量的拼接;其次视角单元从骨架网络更浅层的blocks-3进行分离,增加三个视角单元特征空间的差异性;最后利用改进的深度可分离卷积,设计了一个深度可分离模块,对视角单元进一步进行提取特征,防止模型参数过大的同时提高网络非线性能力,从而提高网络的泛化能力。利用Market1501、Duke-MTMC-reID和MARS数据集对所提的算法进行有效性验证实验,结果表明所提的改进方法取得了更好的识别效果。     

A new track inspection car based on a laser camera system

We develop and build a new type of inspection car.A beam that is not rigidly connected to the train axle boxes and can absorb the vibration and impact caused by the high speed train is used,and a laser-camera measurement system based on the machine vision method is adopted.This method projects structural light onto the track and measures gauge and longitudinal irregularity.The measurement principle and model are discussed.Through numerous practical experiments,the rebuilt car is found to considerably eliminate the measurement errors caused by vibration and impact,thereby increasing measurement stability under high speeds.This new kind of inspection cars have been used in several Chinese administration bureaus.