有限域上四次对角方程ax^4+by^4=c解的存在性

设Fq是特征为p的有限域,d为正整数.对任意的a,b∈F*q,c∈Fq方程.axd+byd=c在Fq上是否恒有解这一问题长期吸引着大量研究者的关注.当d=2时,Cauchy给出了肯定结论.当d=3时,Skolem证明,对任意的素数p≠7,方程.ax3+by3=c在Fq上恒有解;Singh证明,对任意的素数方幂q≠4,方程.ax3+by3=c在Fq上恒有解.本文研究d=4的情形,给出了该方程解的存在性,即当q≠5,9,13,17,25,29时,对任意的a,b∈F*q,c∈Fq,方程.ax4+by4=c在Fq上恒有解.     

静态武器目标分配问题的攻击界整数规划求解方法

静态武器目标分配(weapon-target assignment, WTA)问题的直接表现形态是非线性.在不丧失模型最优解的前提下,本文把WTA问题建模为整数线性规划(ILP)模型,并提出在最优武器分配方案中攻击特定目标的武器数量存在上界(攻击界).在采用启发式方法限定攻击界后,WTA问题的ILP模型的维数被大规模降低,使得求解能够在短时间内完成.与近年来发表于国内外期刊上的算例进行试算比较,结果显示本文提出的方法在求解速度和求解优化程度方面具有明显的优势.     

(3+1)维Korteweg-de Vries (KdV)方程的高阶怪波解和多波浪解

基于Hirota双线性形式，一个新的（3+1）维Korteweg-de Vries（KdV）方程的高阶怪波解和多波浪解被得到.通过作图，更直观地展示和讨论了高阶怪波解和多波浪解的动力学性质.     

带有临界增长的Kirchhoff方程极小能量变号解的存在性

为了深入研究Kirchhoff方程的性质,讨论了带有Hartree项和临界增长非线性项的Kirchhoff方程极小能量变号解的存在性。利用能量泛函在变号Nehari流形上的下确界C_λ收敛于0,得到空间E紧嵌入L~6(R~3)这一技术性结果。结果表明,利用限制变分方法和定量形变引理获得极小化序列对应的极小值点是该问题的非平凡解。研究方法在理论证明方面得到了良好的结果,对研究其他Kirchhoff方程解的存在性有一定的指导意义。     

模糊微分方程的反周期解

主要利用微分包含的方法得到模糊微分方程的反周期解的存在性结果，并给了一个例子说明主要结果的可行性.     

具有奇性的时滞Rayleigh方程周期正解存在性

研究了含有奇性的时滞Rayleigh方程x″(t)+f(x'(t))+g(t,x(t-σ))=0周期正解的存在性问题,其中f:R→R连续,g:R×(0,∞)→R连续,关于t为T周期,且在x=0处具有奇性,即limx→0+g(t,x)=∞.利用Mawhin重合度延拓定理,证明了上述方程至少存在一个T周期正解.     

动车所调车作业计划优化模型与算法

本文在分析动车组一级修作业流程特点的基础上,将动车所调车作业计划优化问题构建为整数规划模型并设计了融合"股道均衡分配规则""股道无效占用时间最小化规则""冲突消解策略"的启发式算法对问题进行求解,以动车所实际案例为背景验证了模型和算法的有效性。结果表明,所提出优化模型和算法是有效的;所提启发式算法相比三类常见的调度方法具有明显的优越性。     

一个包含Smarandache Ceil函数的对偶函数的方程

利用初等方法研究了一个包含Smarandache Ceil函数Sk(n)的对偶函数-Sk(n),给出了当k=6时方程-S6(1)+-S6(2)+…+-S6(n)=6Ω(n)的具体正整数解。     

活动重叠对缩短资源受限项目工期有效性研究

活动重叠是项目赶工的一种常用手段,但并非所有活动的重叠执行均能有效缩短项目工期.识别和评估项目中活动重叠对缩短项目工期的有效性,避免无效的活动重叠及资源的浪费,对于解决资源受限项目调度问题具有重要的理论和现实意义.针对现有进度生成机制在处理带有活动重叠的资源受限项目调度问题上的不足,本文建立整数线性规划模型并对小规模算例进行精确求解.在对求解结果统计分析的基础上识别影响活动重叠有效性的关键因素,为项目调度中制定重叠策略提供指导.通过一个算例验证预先识别有效的活动重叠对提升启发式算法性能和优化项目调度结果具有积极作用.     

非线性脉冲微分方程组边值问题正解的存在性

通过构造一个特殊的算子,将脉冲问题转化为连续性问题,然后利用锥拉伸和锥压缩不动点定理,研究Banach空间中一类二阶脉冲微分方程组边值问题,得到多重正解的存在性定理。