基于BP神经网络的电解加工精度预测模型

为精确地预测电解加工精度,采用了BP神经网络的方法进行建模．在分析影响加工精度主要因素的基础上,确定了BP神经网络模型的特征参数,并根据实际情况,确定了输入层和中间隐层的维数,从而确定了模型的结构．用试验参数对模型结构进行训练,最终建立了一个用于电解加工精度预测的BP神经网络模型．利用该模型进行的精度预测结果表明,该模型的预测误差可以控制在10％以内,具有很高的精度预测能力．     

一阶逻辑完备性定理的新代数证明

给出了一阶逻辑完备性定理的一个新的代数证明，这个证明不使用依赖于Boole代数表示定理的γ-解释，但使用关于Q-滤子△↓的△↓-解释，也需要用到选择公理，另外指出了已有代数证明的不足之处，并作了修正。     

一种新的计算机视觉算法

受蚂蚁金服计算机视觉项目组委托,为了提高计算机视觉的识别效率和准确率,利用机器学习的思想开发自动进化图像学习机,将MATHEMATICA Cloud作为改学习机的计算云、搜索云,将学习函数和决策函数嵌入到学习机中,从而实现由学习机录入图像并导入MATHEMATICA Cloud进行计算和搜索的功能,利用搜索结果来锻炼学习机的学习函数,利用计算结果来锻炼学习机的决策函数,从而实现高效率的识别速度与高准确率的识别效果.基于蚂蚁金服提供的验算实例进行仿真实验,并从计算速度、收敛情况、识别精度等方面同现在常用的识别算法进行对比,结果显示:新算法的图像识别能力颇佳,与传统算法相比,新算法具有更快的计算速度、绝对收敛性和远高于传统算法的识别精度.     

一类代数数的连分数表示的一个算法

给出了计算一类实代数数的最小多项式的算法,在此基础上,可以教育处这一类型实代数数的连分数表示,这一工作改进和推广了S．Lang和H．T和Trotter的关于代数连分数的算法。     

求解最小覆盖问题的快速近似算法的进一步研究

分析了已有求覆盖平面上给定的若干个点的尽可能小的圆的问题的算法。给出了一个新的求解最小覆盖问题的算法，其计算时间复杂度为平面上给定的点数量的线性函数，该算法已编程实现，通过几万例随机算例的实际计算比较，表明算法所得结果的平均精度比已有的各种快速近似算法所得的精度要高，而且具体每例所需的计算时间均比已有快速近似算法对应的计算时间要短。     

布尔函数的代数免疫度与非线性度之间的关系

文章讨论布尔函数的代数免疫度和非线性度之间的关系,给出非线性度的下界与代数免疫度之间的关系,说明具有低非线性度的布尔函数的代数免疫度也很低,并把这个结果推广到高阶非线性度中.     

对流扩散方程的高精度差分有限元破开算子法

对于非定常二维对流扩散方程，将二次迎风插值方法（ＱｕａｄｒａｔｉｃＵｐｏｔｒｅａｍＩｎｔｅｒｐｏｌｓｔｉｏｎｆｆｏｒＣｏｎｕａｃｔｉｖｅＫｉｎｅｍａｔｉｃｓ，简称Ｑｕｉｃｋ格式）与集中质量九节点等参元的有限单元法结合起来，发展了一种有效的高精度差分有限元破开算子法．计算结果表明，这是一种高精度的数值模式．     

几种散射辐射模型精度的对比

通过对既有散射辐射模型的分析,结合上海地区太阳辐射实测数据,建立了各向异性散射辐射新模型,其后从天气类型、朝向、季节和倾角等方面对新模型及既有模型的精度进行了对比分析.对天气类型的研究表明,阴天或多云天时,Klucher模型、Hay模型及Skartveit和Olseth模型与实测值较为吻合;但晴天时,Perez模型和新各向异性散射辐射(NADR)模型更佳.对朝向的研究表明,对于东向和北向,Perez模型和NADR模型较为准确;而对于南向和西向,Liu和Jordan模型,NADR模型较为准确.对季节的研究表明,夏秋季Perez模型和NADR模型较为准确;秋冬季Liu和Jordan模型,NADR模型较为准确.对于倾角的研究表明,Klucher模型与实测值较为吻合,各类散射辐射模型在计算倾角较小的倾斜面散射辐射精度优于倾角较大的情况.对天气、朝向、季节和倾角等多因素的综合考虑表明,Temps和Coulson模型,Gueymard模型准确性相对较低,而NADR模型的准确性最高.     

伪随机码精确测距系统测距精度的讨论

该文用时域关系分析和讨论非理想矩形波的自相关特性,并用计算机模拟计算求出相关曲线和斜率,提出伪随机码精确测距系统测距精度的修正关系。     

CORS系统在GPS C级控制网测量中的应用

简要介绍了CORS系统的发展情况,分析了GPS C级控制网测量的精度,就GPS网的布设、基线解算、GPS网平差及检核进行有益的探讨,旨在发挥CORS的优势,解决GPS控制网测量中控制点缺乏的问题,提高CORS的应用水平.