测量作业最优化 (联邦德国)克罗普夫(Kropff.pdfVIP

第一篇　　数学最优化 本篇介绍用数学最优化方法对大地测量进行最优设计 。在概述最重要 的数学最优化 问 题及其解算方法之后 ，还提供 了有关数学基础 的概要 ，诸如线性空间、初等基变换 、二次 型和确定性 、凸域和 凸函数 。简要描述 了诸如单纯形法 、逼近法 、凸集和二次型的最优化 及动态最优化等方法 的本质特征 。 引 言 按照数学最优化 的定义 ，在一组非线性不等式和一个 目标函数 的基础上 ，综述 了最重 要 的数学最优化 问题 ，本节末概述了有关数学最优化 的一些最重要 的大地测量著作 。 ）什 么 是数学最优 化 运筹学约始于 年二次世界大战期间对军事 问题 的处理 。在那个年代里 ，盟 国跨越 大西洋 的护航舰 队经常遭受惨重损失 。为 了研究军事行动 （因此有运筹学 ）并作 出最佳设 计 ，于是先在英 国，随后在美 国，设置 了一个新 的研究部 门。而今在研制新 的计算方法方 面 ，军事 问题仍是一个重点 。东、西方 国家将所有这些应用 问题公诸于世 的 自然不多 ，多 半是 当已找到更好 的重要解法时，才把原先的解法公开 出来 。即便如此 ，这些解法对于 民 用部 门的许多课题来说 ，也常常是十分有用的。 适合于优化事前 已确定 了 目标量 （目标函数 ） 及某些辅助条件 （约束 ）的系统的这一系列数学方 法 ，我们可概括为数学最优化 。在此 ，这些方法并 不应用于系统本身 ，而是用来对系统的模型进行模 拟 。因此 并非对本来 的系 统 ，而是对模 型进 行优 化 。由于模型足够精确地与实际系统相一致 ，因此 允许把对模型适用 的最佳条件转换到实际系统 中去 图（ ）。 最重要 的最优化 问题和计算方法 的综述 图 数学最优化的作业策略 将一个或多个变量 的函数极大化或极小化 ，在 此各变量或各函数之 间可互为独立 ，也可通过某种约束相联系， 这 样 一类 问题 称 为最优 化 问题。 可将数学最优化 问题定义如下： 寻求变量 （ ，自然数集 ），使满足 以下等式或不等式 并使以下的目标函数极大或极小化 （ ，…， ） 条 件 式 （ ）称为约束 ，数值 … ， ）为预先给定的常数。在 （ ）式 中，总是 只允许取 ，＝， 中的一个 ，然而却能由一种约束变换到另一种约束 。 须使变量 在一定 的要求下 ，诸如非负或整数 ，将 目标 函数 ，…， ）最 优 化 。在一定 的情形下 ，这些变量 的值也可能是在一个离散带 内的随机量 ，而此离散带则是 由概 率规律确 定 的。相应地 ，最优化 问题可 分为确 定性 的和 随机性 的。如果在 （ ） 和 ）式 中提 出了线性要求 ，那末我们就涉及线性 问题 。这方面有一些成熟 的解法可供采 用 ，如单纯形法 。非线性最优化 问题甚为复杂 ，我们仅 能对 “常用 的”一部分 问题推演 出 计算方法 。在解算确定性 问题方面 ，证实二次型和凸规划 、梯度法和动态最优化均可适用 。 倘若把变量 当作为随机量 ，那末解算 的可能性就大受限制 。为 了进行数值处理，已经引 进 了动态最优化、马尔科夫过程和模拟法等专 门方法 。 图 是最重要 的最优化 问题及其解法 的一览表 ，这是在 多种类型 中间主观选 定 的。 为 了最后简 明地说 明解算原理 ，接下去须把最重要 的问题数学化并加 以分类 。为 了使数学 基础较差的测量人员容易掌握 ，下面我们将 以最重要 的数学基本概念一节为开端 ，当然是 以矩阵代数的计算规则为前提。 图 若干最优化 问题和解法 的一览表 ）有关数学最优化 的大地测量著作 从 的论文 “关于测量合理性研究”开始 ，大地测量学家们就致 力于