基于非精确数据的非光滑优化强次可行方向法

本研究针对一类目标函数非光滑优化问题,提出一个基于非精确数据的强次可行方向法.通过构造新的寻找搜索方向子问题和新型线搜索,该算法能够保证迭代点的强次可行性,且具备全局收敛性.

一种快速有效的大数据区域网平差方法

针对摄影测量影像来源多样化、复杂化、大数据化等趋势,传统区域网平差算法在应对当前复杂多变的数据来源,矩阵排列毫无规律的法方程结构以及大数据量带来的高内存需求和低计算效率等问题上,遇到了前所未有的挑战,为了解决上述难题,本文引入了预条件共轭梯度法以及不精确牛顿解法求解区域网平差过程中的法方程,同时使用一种块状法方程系数矩阵压缩存储格式,构建了全新的区域网平差技术流程。本文方法避免了直接对法方程系数矩阵的求逆,压缩了法方程系数矩阵所需的内存空间,使得本文算法比传统算法所需计算机内存空间大幅减少,平差计算速度明显提升,同时保证了计算精度与传统方法相当。初步试验证明,本文方法对4500张影像、近900万像点数据的平差计算在普通电脑上仅需要约15min,且计算精度达到子像素级。

一般凸规划的近似非精确数据交替线性化方法

用非精确交替线性化方法求解一类一般凸规划问题(OCP).首先通过对应的扰动双函数的定义将约束(OCP)问题转化为形式为2个凸函数和的无约束极小化问题,然后用非精确数据定义线性化模型进而构造出两个强凸子问题,通过交替求解,经过有限多次迭代后所得的解收敛到原目标函数的迫近点.

基于申威1621数学库中的非精确结果异常处理

由于国产申威基础数学库其功能、接口需要与单机编译器glibc libm库保持一致,将基础数学库集成到glibc中进行功能测试时,检测出有部分函数的INE异常需要消除.针对这种情况,首先研究了glibc数学库的异常检测机制;然后针对基础数学库中数值函数的INE异常进行分析和优化,提出一种测试数据集分段处理的方法,最后消除了这种INE异常.测试表明,测试数据集分段处理的方法能够有效解决数值函数的INE异常,相对于之前的异常处理方法,使用本方法后平均性能加速比达到148%.

GPU并行区域网平差

为了进一步解决大数据量带来的平差效率低下的问题,引入GPU并行计算技术,同时使用预条件共轭梯度法以及不精确牛顿解法求解区域网平差过程中的法方程,构建了适用于GPU并行计算的全新的区域网平差技术流程。本文方法避免了存储法方程系数矩阵,而是在需要的时候实时的计算该矩阵,使得本文算法相较于传统的算法所需的计算机内存空间大幅减少(仅需要存储平差原始数据即可),平差计算速度明显提升,同时计算精度与传统方法相当。初步试验证明,本文的方法在普通电脑上仅需要约1.5min即可完成对4500张影像、近900万像点数据的平差计算,且计算精度达到子像素级。

具有不精确推理能力的信息管理系统

本文将人工智能中的一些基本思想和方法引入信息管理系统,提出了一种能够根据带可信度的知识进行不精确推理的信息管理系统的设计方案。由该方案设计出的系统不仅具有一定的不精确推理能力,同时还具有适应面广、易变更和扩展等特点。本文介绍了这一设计方案及程序实现技巧。

关于通信数据网络优化问题近似模型的研究

主要利用函数的非精确信息,构建通信数据网络优化问题的近似模型,并利用惩罚束方法和指示函数对通信数据网络优化问题的近似模型展开研究.基于对偶理论,给出其原问题与对偶问题最优解的显式表达式,并得到了非精确近似优化模型的一些相关结论.