局部凸拓扑向量空间中的向量变分不等式与集值优化

利用与仿射上导数相关的向量变分不等式的真有效性,对局部凸拓扑向量空间中的集值优化问题的Henig有效性、超有效性、锥超有效性等给出了一些充分、必要条件,从而推广了一些已知的相关结论.     

全路径Logit交通分配模型的求解方法

分析了求解Logit模型的现有算法的不足,根据路网的连通特征提出了一种新的求解全路径Logit分配模型的迭代算法.给出了算法和Logit模型的等价性证明,并和经典的Dial算法进行了比较.     

连续时间Markov控制过程的平均代价最优鲁棒控制策略

在Markov性能势基础上 ,研究了一类转移速率不确定但受紧集约束的遍历连续时间Markov控制过程 (CTMCP)的鲁棒控制问题 .根据系统的遍历性 ,平均代价Poisson方程的解可被看作是性能势的一种定义 .在平均代价准则下 ,优化控制的目标是选择一个平稳策略使得系统在参数最坏取值下能获得最小无穷水平平均代价 ,据此论文给出了求解最优鲁棒控制策略的策略迭代 (PI)算法 ,并详细讨论了算法的收敛性 .     

用VB实现反求渐开线函数方程的根

为了解决在进行渐开线齿轮和渐开线花键计算时,由于反渐开线函数是一个超越方程,而无法求得其精确解的问题.采用数值分析中的牛顿迭代法求反渐开线函数的根,并给出了符合精度要求的解算反渐开线函数的简单公式(包括原始初值公式和近似值精化公式),具有迭代收敛速度快、简单易记的优点,它们适用于[0,π/2]的全区段,免除了分段计算的烦恼,并运用VB编写计算机程序,从而实现反渐开线函数快速求根的目的.     

一类带线性项非局部问题解的存在性与非存在性

研究了一类非局部问题,利用山路引理和变分方法,获得该类问题的一个正解和一个负解,充实了非局部问题解的存在性理论,补充了已有的研究内容.同时,利用变分法获得了该问题非平凡解不存在的结果.     

一类区域分数阶Schrdinger方程的基态解

用变分方法研究了区域分数阶Schrdinger方程(-Δ)_ρ~αu+V(x)u=f(x,u)x∈R~N,u∈H~α(R~N)获得了该方程基态解的存在性.     

基于非线性边际支付意愿的信息产品定价策略研究

提出了非线性边际支付意愿假设，有效地克服了线性假设的缺陷；通过对消费者行为的分析，证明了每位消费者都存在理想消费量，且理想消费量是偏好参数的严格递增函数；通过对厂商行为的分析，证明了厂商的版本质量及其对应的价格都是偏好参数的非减函数；基于消费者和厂商行为的动态博弈分析，建立了信息产品定价策略的一般变分模型，并给出模型求解方法和计算结果. 模型结果表明，厂商的最优定价策略是：对于高端用户，厂商采取的是最大质量的固定定价策略；对于低端用户，厂商采取按质定价策略. 该结果对信息产品定价具有一定的指导意义.     

基于可替换路径对的多用户均衡交通分配算法

针对多用户均衡交通分配问题，依据多用户均衡条件，给出了该问题的变分不等式模型和间隙函数。利用可替换路径对的概念，设计了基于可替换路径对的多用户均衡交通分配算法。在大规模交通网络上，对比分析了提出的交通分配算法、外梯度算法、基于用户的对角化算法和基于起点的对角化算法等的性能。数值结果表明，提出的基于可替换路径对的交通分配算法在求解精度、算法效率以及稳定性等方面都显著优于其他算法。     

舰载机出动离场调度优化算法

出动离场调度是舰载机起降作业中关键一环, 可抽象为NP(non-deterministic pdynoial)难问题的混合车间调度问题。首先，在传统数学规划模型基础上, 引入逻辑约束及间隔变量, 建立了约束规划模型。然后，通过调度分解技术构建多机调度转化为单机调度的启发式规则, 并提出了单机约束引导启发式搜索与约束规划二分法迭代算法, 给出了问题的求解流程。算例仿真表明, 约束规划可有效解决不同规模下的离场调度, 并快速收敛到阈值内; 在中小规模出动时, 所提算法效率比传统智能方法提升约2个数量级, 具有较强实时规划能力, 但随着实验规模增大算法收敛时间呈线性变化趋势, 而在本文研究范围内仍优于传统智能算法, 具有良好实用价值。最后，用起飞位数量对出动效率进行灵敏度分析, 发现C2起飞位对出动效能贡献最大。     

基于结构纹理分解和多重网格的光流估计算法

分别针对光流计算对光照变化敏感以及运算复杂度高、迭代收敛缓慢的问题,使用一种基于ROF(Rudin-Osher-Fatemi)模型的结构纹理分解(STD)技术得到对光照变化不敏感的纹理图估计光流场,消除了光照变化产生的负面影响,并提出一种基于多重网格方法的分层处理策略.将光流计算的迭代过程分散在一系列粗细不同的网格上,在细网格上消除高频误差,在粗网格上消除低频误差,以达到加速收敛、提高光流计算速度的目的.实验结果表明,STD过程抑制了光照变化导致的负面影响,提高了光流估计精度.多重网格算法在保持优化精度的前提下,显著提高了光流计算的实时性.