Hooke-Jeeves方法在简单约束优化中的推广

分别将无约束优化的线搜索和离散步Hooke-Jeeves算法推广到带广义界的简单约束优化,产生2个新算法,得到可行区间的计算公式.在适当条件下,证明线搜索的Hooke-Jeeves算法推广后仍具有全局收敛性,算法有效数值试验表明2个算法均是有效的.

简单约束非线性规划的Hermite插值研究

讨论具有简单约束非线性规划的求解方法 ,通过构造特殊结构的Hermite插值公式 ,利用有效集的技巧 ,给出了求解这类问题的Hermite插值算法 。

简单单调约束逻辑程序的良基语义研究

在介绍约束逻辑程序的相关概念的基础上,研究了简单单调约束逻辑程序约束原子的正文字前缀幂集展开方法,并证明展开后的正规逻辑约束与约束逻辑程序的等价特性。分析了正规逻辑程序的交替不动点良基模型建立的原理,将简单单调约束逻辑程序等价展开为与其等价的正规逻辑程序,以求展开后的逻辑程序中的给定算子的最小不动点为切入,给出了简单单调约束逻辑程序的交替不动点的良基模型。论证了文中提出的简单单调约束逻辑程序良基模型定义的合理性,说明把约束逻辑程序转化为正规逻辑程序是可行的。

三个多元正态总体在简单半序约束下均值估计

多元保序回归理论对统计学中研究多维参数在序约束下的估计理论起着关键性作用。本文讨论了当协方差矩阵已知,在简单半序约束下,对三个多元正态总体均值的估计问题,给出了估计的算法。并证明了在多元均方损失条件下,给出的均值估计优于无序约束的均值估计。

简单界约束非光滑方程组的非单调信赖域方法

对简单界约束非光滑非线性方程组提出一种新的非单调信赖域算法,信赖域半径与当前迭代点的投影梯度有关,非单调结构为标准结构.在通常假设条件下,证明了算法具有强收敛性,并给出了初步的数值试验结果.

基于时间约束网络的空中编队冲突检测方法研究

研究了采用图论方法检测空中编队对岸打击协同作战时序安排合理性的方法。论述了空中编队协同对岸打击作战的时间约束特点,结合简单时间约束网络理论,建立了任务的简单时间约束网络模型。借鉴图论的相关理论,将任务简单时间约束网络模型转化为权值矩阵的形式。分析网络中回路权值与权值矩阵元素的对应关系,提出一致性检测的新方法——权值矩阵法。理论分析表明:该方法可同步并行计算所有回路的权值之和,有效减小了时间复杂度,显著提高了检测效率,更加适合动态协同过程的需求。仿真结果表明该方法可行、有效。

基于EM算法约束条件下参数的估计

讨论了多元正态模型中的参数估计问题.利用EM算法和ECM算法给出了多元正态模型在协方差阵已知或未知的情况下,参数在简单序约束、伞型序约束和递增的凸序约束条件下的极大似然估计.当参数向量不多于三个分量时,给出了显式结果;当参数向量高于三个分量时,给出了求参数极大似然估计的相应线性变换.

序贯k-out-of-n系统在序约束下参数的假设检验

考虑带有协变量的序贯k-out-of-n模型,假设给定协变量寿命的分布是指数分布族,对指数分布的刻度参数建立对数线性模型,研究在序约束下模型参数的两个假设检验问题,并讨论在序约束下检验统计量的渐近分布为χ^2分布.

基于时间约束网络的智能活动规划

老年人认知能力的下降导致其无法正常规划日常生活的问题已经越来越受到社会的关注。利用信息技术辅助老年人独立完成日常活动,已成为目前一个新的研究领域,其中对其活动的规划和提醒是该领域的一个研究热点。在传统基于时间的活动约束表示和冲突检测的基础上,提出一种更为宽松合理的时间约束,其使活动时间更为灵活,同时引入活动规划中新的活动时间冲突问题。通过时间约束网络的相关概念和理论,将活动规划中冲突检测问题转化为简单时间约束网络是否满足一致性的问题。给出时间约束一致性的一般性检测算法,分析得出活动数较大时其算法复杂度呈指数增长。针对一般性检测算法,提出新的检测时间约束一致性的算法,以降低算法复杂度,解决活动规划中的时间冲突问题。最后通过实验对两种算法的时间复杂度进行了比较。

半序约束下多维正态分布协方差阵的最大似然估计

对于给定Ｋ个Ｐ维正态总体，协方差阵∧ｉ（ｉ＝１，２，…，ｋ）为未知参数。本文给出协方差阵在一个简单半序约束０＜∧１≤∧２≤…≤∧ｋ的条件下的最大似然估计的一种算法。

STCN的对岸打击时间协同冲突消解研究

为验证航空兵对岸打击中时间协同计划的可行性以及快速地调整时间协同计划,建立了任务间的简单时间约束网络(STCN),并转化成权值矩阵的形式。根据权值矩阵特点,提出了一种检测STCN一致性的权值矩阵法,大大降低了算法复杂度。为加快时间协同计划的调整速度,基于检测结果,提出了一种代价最小的冲突消解方法,避免了消解过程中的重复检测问题,提高了效率,使计划调整更加快捷高效。

基于Bellman-Ford算法的空中编队协同对岸打击

为提高空中编队协同对岸打击作战能力,基于Bellman-Ford算法对空中编队协同对岸打击进行研究。为解决空中编队协同对岸打击作战中的时间协同问题,针对空中编队协同对岸打击作战的时间约束特点并结合简单时间约束网络理论,将其时间约束网络模型转化为简单时间约束网络模型;为克服传统简单时间约束网络一致性检测算法时间耗费大的缺点,提出借鉴Bellman-Ford算法检测一致性的新方法,并以实例进行检测、分析。结果表明:该方法能有效解决空中编队对岸打击作战中的时间协同问题,能减小时间复杂度,提高协同效率。

SDS模型化简合并多边形的一个改进算法研究

作为自动制图综合中的重要组成部分,多边形化简与合并可用来解决由于制图比例尺减小而带来的多边形与多边形之间以及多边形内部的邻近冲突问题。该方法设计主要基于多边形几何特征、拓扑特征的分析,同时需要一种合适的空间数据模型用于支持多边形与多边形之间,多边形内部的邻近关系探测。为避免分离操作带来的多边形综合结果的不同,在分析了基于Delaunay三角网的SDS模型表达对象邻近关系的能力后,提出了一种统一解决多边形化简和合并的方案,同时对原有的邻近冲突检测方法进行了改进,从而解决了由于边缘尖锐三角形的引入而导致多边形合并和化简后面积大量增大和丢失某些特征点的问题。实验结果表明,该方法可以获得满意的多边形化简合并效果。

对一个求ε最优解算法的修正

考虑在实际中常用到的非线性最小二乘问题，指出了某文算法收敛性证明中的错误。对该算法加以修正后，证明了有限步终止性。

三个多元正态总体在简单半序约束下均值估计-基于协方差阵未知

自然界中有许多模型需要参数估计,但实际问题中往往会遇到约束条件.因此,无约束的最大似然估计在约束条件下已不再是最优估计量.寻求有约束条件的最优估计成为文章的研究重点.文章利用PAVA算法将最大似然估计进行合并处理,得到在简单半序约束和协方差阵未知情况下的新估计量μ_i,并证明其优于无序约束下得到的最大似然估计X_i.

基于STCN的机动岸导与航空兵合同对海突击时间规划

为增强对海突击作战的整体效能,提出一种基于简单时间约束网络(simple temporal constraint network,STCN)的突击任务时间规划方法。根据STCN的定义,建立多火力打击任务的STCN模型,借鉴图论相关知识,将STCN网络转化为有向加权图形式,利用Floyd算法处理权值矩阵,进行一致性检验和时间规划方案求解。实例分析结果表明:该方法实现简单、行之有效,可以使多个火力打击任务紧凑有序、不冲突地执行。