简介：在近似空间中，分别以集合的上下近似以及元素的隶属度定义了两个集合间的相似度度量，讨论了两种相似度的性质，并对两种相似度进行了比较．

简介：行进间对准技术能够使惯导在运动状态下完成系统初始化,它对于提高载体机动能力具有重要作用。与静基座对准不同,行进间对准通常需要利用外部设备（在陆用导航领域,通常使用GPS或里程计）提供载体运动信息对惯性导航系统输出进行补偿和修正。由于里程计辅助的行进间对准具有全自主的特点,因而被广泛采用。本文通过对里程计误差进行合理建模,并采用位移增量匹配方法实现了里程计和惯导系统的组合。同时,针对复杂路面环境下由于车体侧滑、空转等造成里程计测量失准等故障现象进行有效诊断,以此提高了组合导航系统的可靠性。通过行进间对准试验,结果表明由里程计辅助的惯导系统经过10min初始对准,航向误差小于0.05°,精度和静基座相当。

简介：提出一种具有控制结构的向量均衡问题与向量映射的新的伪单调性概念，得到具有控制结构的向量均衡问题解的存在性及其解集的紧凸性．作为应用，得到具有控制结构的向量变分不等式与互补问题的解．

简介：讨论了集值优化问题严有效解的高阶导数型标量化定理.首先得到了集值优化问题严有效解的一个高阶导数型必要性条件,其次获得了集值优化问题严有效解的标量化必要性条件和充分性条件.

简介：提出一种具有控制结构的向量均衡问题与向量映射的新的伪单调性概念,得到具有控制结构的向量均衡问题解的存在性及其解集的紧凸性.作为应用,得到具有控制结构的向量变分不等式与互补问题的解.更多还原

简介：考虑有限维空间Rn(n＞1)中目标映射是仿凸锥映射的向量优化问题.通过对偶锥的端方向和标量函数的0-强制性给出了弱有效解集非空性和紧性的刻画.

简介：2010年10月11-15日在葡萄牙里斯本举行的InternationalConferenceonEducationalInterfacesbetweenMathematicsandIndustry是一次很重要的会议。但由于冰岛火山爆发使原定的会期推迟,不少原本打算参加会议的人未能参会,其中包括很多亚洲的代表,我也是其中之一。这不仅使我们失去了一个学习与交流的好机会,而且也使会上对有关问题的讨论未能充分地展开和深入,是十分遗憾的。一年后,我们在澳

简介：就文献《偏序集上的一种拓扑排序》一义提出了几点看法，探讨了文献中给出的祖先数算法、支配排序算法中的问题，并就其中的dominate函数、函数的时间复杂度的计算以及文献中给出的定理2的正确性进行了分析和论证，并指出了文献中所举例子中存在的差错．最后，对拓扑序列的合理性做了简单的讨论．