岩土工程灾害研究进展

综合考察了岩土工程灾害研究的发展情况,对一些主要的岩土工程灾害问题进行了分析．重点评述了国内外一些有关岩土工程灾害最新研究工作．最后,介绍了一些有待于进一步研究的问题．     

神经成像在心理发展研究中的应用

心理发展脑机制的发现主要来自行为实验范式的研究．但是,行为研究范式难以深入探讨发展的脑机制问题．近年来,神经成像技术已应用于探查心理发展的脑机制,技术性能决定了其在发展研究中的适用性．神经成像在发展研究中还存在许多亟待解决的方法学问题．与心理发展传统研究相结合,该研究领域正在形成一些新特点和发展趋势．     

Steiner问题的研究及进展

详细介绍了Ｓｔｅｉｎｅｒ问题及其几个主要研究方向的进展情况．探讨了有关Ｓｔｅｉｎｅｒ问题各时期的研究特点．并对其文献情况给出了统计分析．     

传输问题远场算子的性质

对声波与电磁波的逆散射问题（反问题）,相应远场算子性质的研究是很重要的,因为它直接关系到未知散射体形状的重构．本文主要讨论一类声波的传输问题,重点研究了其相应远场算子的正则性和单射性条件．当然,反问题与相应的正问题有紧密联系．利用位势理论和Fredholm定理,也证明了相应的正传输问题解的存在和唯一性．     

限制解除对顿悟问题解决的促进

采用源问题——靶问题的顿悟研究范式,探讨了大学生在解决4点问题和9点问题中限制解除作为关键启发信息的作用．结果发现,先解决4点问题再解决9点问题的解决率显著高于直接解决9点问题;先解决4点问题对9点问题的启发显著高于先解决9点问题对4点问题的启发．研究表明限制解除作为关键启发信息能促进顿悟问题解决．     

关于广义非线性互补问题

研究了广义非线性互补问题．将互补问题转化为一个无约束最优化问题，而最优化问题的全局最优解恰为广义非线性互补问题的解．给出了无约束最优化问题的平衡点是广义非线性互补问题的解的一个充分必要条件和一系列充分条件．文中结论推广了有关文献中的相应结论．     

工作研究在国内外的发展与应用状况

工作研究是工业工程的经典内容,十九世纪末起源于美国,并在西方国家广泛应用和迅速发展．在国外,信息技术已经全面介入到工作研究各个领域,计算机辅助工作研究已经成为工作研究发展和应用的趋势．在我国,工作研究的应用处于起步阶段,还存在很多亟待解决的问题．文章论述了工作研究在国内外的发展与应用状况,并提出了解决我国企业应用工作研究问题的途径．     

具有离散随机变量二阶段问题的分解算法

本文研究一般的具有离散随机变量二阶段问题的解法．给出了一个把大规模线性规划问题转化为小规模线性规划问题的分解算法．     

一类拟线性二阶微分方程的固有值问题

利用两个特殊的锥,研究了一类微分方程的固有值问题．得到了一类拟线性二阶微分方程固有值问题的一个结论．该结论将两端点固定的情况推广到一般的边值问题．该结论对微分方程理论的研究具有一定的意义．     

快速拉格朗日元方法在井壁稳定中的应用

拉格朗日元方法是一种分析非线性大变形问题新的数值方法．软泥岩缩径问题往往牵涉到非线性大变形问题，以往这类问题多在小变形情况下进行研究．采用拉格朗日元方法，用弹塑性模型对井壁稳定问题进行了研究．结果表明，采用大变形模型所得的井壁径向位移明显小于小变形模型，采用大变形模型计算软泥岩井眼缩径有助于正确认识井眼缩径规律．     

CVRP中二维装载问题的研究

二维载重量限制的VRP（2L-CVRP）问题是一种新的组合优化问题,是VRP问题的一个现实延伸。2L-CVRP问题中包含了物流配送中的两个子问题：装载问题和路由选择问题。很多VRP的研究,往往只致力于在路由选择方面进行优化,而忽略装载问题。针对这个问题,本文阐述了三种常用的装载算法,通过提高车辆装载率,减少车辆数目,从而降低成本。最后给出了三种算法的实验对比。     

Hamming距离下的最短路逆问题

针对Hamming距离下的最短路逆问题,分析了最优解的性质,给出并证明了问题存在可行解的充分必要条件;利用把背包问题的实例多项式归约到该问题的实例,证明了该问题为NP困难的,为设计该类问题的近似算法提供了理论依据.     

M-O模型的拟合优度检验

针对在软件可靠性中广泛使用的M-O模型,考虑了如何判定其是否适合特定的软件系统的问题.首先将该问题转化成了统计中的拟合优度检验问题,然后为该检验问题提出了一个合理的检验统计量,证明了统计量的渐近正态性,并给出了检验的拒绝域.     

奇异二阶m点边值问题解的唯一性

研究一类非线性奇异二阶m点边值问题解的唯一性.利用二阶两点边值问题的格林函数得到二阶m点边值问题的格林函数,运用迭代法给出非线性奇异二阶m点边值问题存在唯一解的若干充分条件.     

一个SAT问题有解的充要条件

合取范式可满足性问题(简称SAT问题)是一个NP完全问题.引入了一个饱和合取范式的概念,利用饱和合取范式的性质,对SAT问题的本质进行了研究.在此基础上,证明了一个SAT问题有解的充要条件,它为SAT问题完全算法和非完全快速算法的深入研究提供了一条新的思路.     

大规模物流配送车辆调度问题研究

研究大规模物流配送车辆调度问题,提出其整数规划数学模型,把大规模配送车辆调度问题(VRP)转化为配送区域划分问题和单车线路优化问题2个子问题,用改进的基地启发式分区算法(ILBH)解决配送区域划分问题,运用混合遗传算法(GA NS)解决分区域后区域内的配送车辆的单车线路优化问题.此改进的2阶段算法有效地解决了大规模配送条件下,在可行时间内得到近似解或满意解的问题,该方法已在某物流企业中成功应用并取得了显著的经济效益,其成果在城市配送系统中具有普遍的适用性和应用推广前景.     

装卸工人调配问题新解法及其证明

阐述了现代物流技术中装卸工人调配问题、装卸工问题、限制情况下装卸工问题及其数学模型,证明了装卸工人调配问题与限制情况下装卸工问题的数学模型是等价的.通过分析装卸工人调配问题的数学性质得出该问题的一种新解法并给出其证明.新解法给出了该问题的所有最优解.     

干的无粘大气环流方程组混合问题的适定性

该文针对干的无粘大气环流方程组的混合问题,讨论其底部边界的混合问题.所采用的分析方法是将该混合问题分解成两部分:一个纯Cauchy问题和一组积分表达式.首先证明了这样的分解与原问题同解,然后用分层方法讨论相应Cauchy问题的适定性,从而得到了原混合问题的适定的充要条件.最后给出了构造适定混合问题解析解的计算方法.     

一类数学规划问题的新的凸化和凹化方法

给出了满足一定条件的数学规划问题的一个新的凸化、凹化方法,从而将这一类规划问题转化为等价的凹极小问题,再利用已有的算法求解该问题。     

用数学规划法求解天然气管道最优分配问题

建立了一种求解天然气系统最优分配问题的新方法。在数学模型中,引入连续变量代替离散的决策变量,这些连续变量是管道的“分段长度”,将混合整数非线性规划问题转化成连续的非线性规划问题。然后,用分解法求解连续的非线性规划问题。原来的非线性模型被分解成两个优化子系统：第一阶段子系统和第二阶段子系统。两个子系统之间的联系是天然气流速和管道“分段长度”,第一阶段计算出来的天然气流速作为输出变量代入第二阶段,第二阶段计算出来的管道“分段长度”作为输出变量代入第一阶段,它们在两个子系统之间反复迭代直到达到收敛标准。