基于证明分析的机器发现系统的实现与应用

为了实现基于文献（１）的机器发现系统，本文介绍了基于证明分析的机器发现系统的实现技术，并且给出了该系统做出的一些数学再发现例子，从而得一实用的机器发现系统。     

机器计算在图式流形研究中的应用

首次应用计算机对图式流形的同胚分类进行了研究，并计算了骨架具有３，４，５个顶点的全部图式流形的同胚分类。     

研究科学发现的计算途径:对BACON程序的考察

二十世纪末，人工智能(AI)界出现一个不同于历史、哲学、心理学的研究科学发现的新领域，即机器发现，这种机器发现工作已经远远超出其本身所有的人工智能价值而对科学史、科学哲学乃至认知科学研究产生了广泛影响。本文从方法论视角考察最重要的机器发现程序之一BACON，以揭示它对我们了解科学发现本性的重要意义。     

柔性Flow Shop加权完成时间调度问题的启发式分析

针对柔性flow shop加权完成时间调度问题,通过对机器环境进行分组,证明了一个基于有效作业最短加权平均处理时间的启发式算法是渐近最优的.     

水质调查机器鱼

这条机器鱼的腹部安装着各种传感器，用来测量水温、水体的酸碱度及含氧程度等。它能像鱼一样在河流中游动，同时开展城市河流的水质调查和净化研究工作。     

基于边界点方向的边界检测方法

提出了一种基于边界点方向的新的边界检测方法。由于充分利用了边界点的方向信息，该方法具有良好的总体性能，如抑制噪声能力强、边界呈单象素宽、定位精度高、运算速度快等。文中给出了实验结果及与其它方法的比较、分析。     

基于信息融合的图像分段检测

基于鲁棒控制理论,在视觉信息与机械运动信息的有机融合方面采用了多信息分布检测控制的信息融合方法;在理论上证明了各传感器的决策值经过与或逻辑表决融合后,可以使系统的误警概率减小,检测概率增大,并通过实验验证了上述理论的正确性.     

水陆两用救援机器蛇

机器蛇将来也许可以用于生命救援，ACM—R5机器蛇采用无线遥控操作方式，可以深入人们无法进入的狭小空间。并可以把影像传送出来。借助斜坡，它也能下到水中，有望在救灾现场等严酷的环境中得到广泛应用。     

基于自注意力机制的冗长商品名称精简方法

大部分电子商务网站为了吸引用户的关注,通常将商品的很多属性也纳入到商品名称中,使得商品名称中包括了冗余的信息,并产生不一致性.为解决这一的问题,提出了一个基于自注意力机制的商品名称精简模型,并针对自注意力机制网络无法直接捕捉商品名称序列特征的问题,利用门控循环单元的时序特性对自注意力机制进行了时序增强,以较小的计算代价换取了商品命名精简任务整体性能的提升.在公开商品短标题数据集LESD4EC的基础上,构造了商品名称精简数据集LESD4EC_L和LESD4EC_S,并进行了模型验证.一系列的实验结果表明本,所提出的自注意力机制冗长商品名称精简方法相对于其他商品名称精简方法在效果上有较大的提升.