在许多实际问题中,比如金融经济、工程设计、生产管理、选址问题、网络设计、交通运输、结构优化、农业预测、分子生物、国防军事、原子核力学设计、化学工程设计与控制等重要领域,都需要解决一些用最优化数学模型表述的数学规划问题。但是这些数学规划问题所涉及到的函数一般都是非凸的,而传统比较成熟的局部优化算法不能顺利找到这类数学规划问题的全局最优解。目前全局优化问题面临两个困难,个是如何跳出当前的局部解最优解而找到更好的局部最优解；另外一个是如何确定找到的点就是全局最优解。所以全局最优性条件和全局最优化方法是全局最优化问题所急需解决两个重要方面。本文针对一些重要的数学规划问题进行研究,主要讨论它们的全局最优性条件和全局最优化方法。第一章简单介绍了国内外研究的最优化问题和最优性条件以及最优化方法,包括局部最优性条件和全局最优性条件,以及局部最优化方法和全局最优化方法。第二章考虑了混合弱凹规划问题(目标函数是二次函数和凸函数的差)的全局最优性条件和全局最优化方法。首先建立了混合0-1弱凹规划问题的必要全局最优性条件和充分全局最优性条件,其次根据必要全局最优性条件得到了混合0-1弱凹规划问题的局部最优化方法,然后由辅助函数、局部优化方法和充分全局最优性条件得到混合0-1弱凹规划问题的全局最优化方法。数值实验表明算法有效。另外给出了混合整数弱凹规划问题的必要全局最优性条件和充分全局最优性条件。第三章讨论了带混合变量的一般三次规划问题的全局最优性条件和全局最优化方法。首先给出该问题的局部极小点的必要局部最优性条件和全局极小点的必要全局最优性条件。其次利用必要全局最优性条件得到带混合变量的一般三次规划问题的强局部优化方法。然后利用强局部优化方法、辅助函数及其弱局部优化方法得到带混合变量的一般三次规划问题的全局优化方法。数值例子结果表明算法很有效。第四章对一类多项式整数规划问题进行了研究,利用L-次微分和L-正则锥的方法讨论了这类规划问题的充分全局最优性条件和必要全局最优性条件以及它们之间的关系,给出的例子表明可以用这些最优性条件去判别一个给定的可行点是不是全局最优解。第五章考虑了带界约束的混合整数非线性规划问题的必要全局最优性条件和充分全局最优性条件,给出了一些容易验证的带界约束的混合整数多项式规划比如四次规划、三次规划、二次规划等问题的必要全局最优性条件和充分全局最优性条件。第六章讨论了带等式和不等式约束的混合整数非线性规划问题,给出了带等式和不等式约束的混合整数非线性规划问题的充分全局最优性条件以及带等式和不等式二次约束的混合整数二次规划问题的充分全局最优性条件。第七章研究了带有界和矩阵不等式约束的混合整数非线性半定优化问题,给出了该类半定优化问题全局极小点的充分最优性条件以及得到了目标函数是线性的、有线性矩阵不等式和箱子约束的半定规划问题(SDP)的充分全局最优性条件。