一类非单调互补问题的Canonical对偶问题研究

对于一类具有广泛应用背景的非单调互补问题,我们构建了这类问题的Canonical对偶问题。其对偶问题可以写成和原问题类似的互补问题。我们给出了对偶问题和原问题解之间的对偶关系,并且将对偶问题转化成一个一维优化问题,这不但可以方便的求解这类问题,也为研究这类问题性质提供了一个非常直观的研究工具。最后,本文给出了几个算例来演示对偶问题的性质。     

基于遗传算法的大学课程表问题研究

课程表问题是时间表问题之一 ,也是 NP难问题 .根据大学授课形式的特点建立了大学课程表问题的数学模型 ,给出了求解该问题的遗传算法 .根据模型和大学课程表问题的特点设计了一种全新的编码 ,提出了一种新形式的交叉方式 .实验结果表明该方法是可行和有效的 .     

货运列车的编组调度问题的研究

对于货运列车的编组调度问题,建立了以压缩中时和增加运量为双目标、多约束的0-1规划模型,采用逐步紧缩中时约束的方法得到了问题一的调度方案.在此基础上对装载特别物资的车辆施加更强的中时约束得到了问题二的调度方案.提出了列车匹配系数的概念并建立了列车最优配对原则,根据该原则对列车进行优化编组得到了问题三的调度方案.基于问题二的数据转换处理得到了问题四的调度方案.     

含参向量随机序列的递推估计的统一处理

本文讨论了含参向量随机序列的递推估计问题,将参数估计问题和系统的状态估计问题统一了起来,给出了统一的递推估计公式,还具体地讨论了状态方程与量测方程中均含有参向量时线性离散时间系统的递推估计问题以及部分状态分量缺初始值的递推估计问题。     

灰色TSP问题的研究

在确定型TSP问题的基础上,融合灰色系统的思想提出了灰色TSP问题,构建了灰色TSP问题的动态规划模型,结合动态规划方法利用可能度及排序方法给出了求解灰色TSP问题的算法,并结合数值实例,对算法进行了说明.     

齐次Neumann边界条件非线性抛物方程解的爆破时间的下界

研究了非线性抛物方程具有齐次Neumann边界条件问题解的爆破.在对问题中的f,ρ和g作出适当的假设的前提下,推导出了上述问题解的爆破时间的下界.同时,也得到了问题的解不发生爆破的条件.     

优化的合班问题

首次提出了我国高校排课中的合班工作对于排课的影响问题,建立了优化合班问题的数学模型,它是一个非线性的整数规划问题.集中讨论二维合班问题.文章中给出了两个适用于合班模型的其它例子,在此基础上归纳出适用于合班模型的一般数学模式,称之为交叉分类问题.     

铺瓷砖问题的推广

铺瓷砖问题是数学模型中著名的问题,在研究了铺瓷砖问题的基础上,对其进行了推广,并给出了各种推广情形的结果.     

学生面试问题的一个解法

研究的是自主招生的面试安排问题.它与一个经典问题(Steiner System问题)有很紧密的联系.首先我们形式化地提出了这个问题,并针对问题提出了3种算法.值得一提的是,我们提出的同余构造算法在时间复杂度较低的情况下,具有很高的近似比(强于FPTAS).对于文理分科的情况,我们同样在形式化地提出问题之后,给出了相应的算法.我们编写程序实现了所述的算法.     

探井布局问题的遗传算法

首先建立探井布局问题的数学模型 .其次基于所建立的数学模型 ,给出了求解探井布局问题的遗传算法 ,并就一个具体问题进行了计算 .计算结果表明 ,用遗传算法求解探井布局问题耗时少 ,适应性好 ,且对于处理大规模的探井布局问题十分有效 .     

Optimal control of nonlinear evolution inclusions

In this paper, we study the optimal control of nonlinear evolution inclusions. First, we prove the existence of admissible trajectories and then we show that the set that they form is relatively sequentially compact and in certain cases sequentially compact in an appropriate function space. Then, with the help of a convexity hypothesis and using Cesari's approach, we solve a general Lagrange optimal control problem. After that, we drop the convexity hypothesis and pass to the relaxed system, for which we prove the existence of optimal controls, we show that it has a value equal to that of the original one, and also we prove that the original trajectories are dense in an appropriate topology to the relaxed ones. Finally, we present an example of a nonlinear parabolic optimal control that illustrates the applicability of our results.This research was supported by NSF Grant No. DMS-88-02688.     

The value of foresight

Suppose you have one unit of stock, currently worth 1, which you must sell before time $T$. The Optional Sampling Theorem tells us that whatever stopping time we choose to sell, the expected discounted value we get when we sell will be 1. Suppose however that we are able to see $a$ units of time into the future, and base our stopping rule on that; we should be able to do better than expected value 1. But how much better can we do? And how would we exploit the additional information? The optimal solution to this problem will never be found, but in this paper we establish remarkably close bounds on the value of the problem, and we derive a fairly simple exercise rule that manages to extract most of the value of foresight.     

Rational Solutions to the KdV Equation in Terms of Particular Polynomials

Here, we construct rational solutions to the KdV equation by particular polynomials. We get the solutions in terms of determinants of the order $n$ for any positive integer $n$, and we call these solutions, solutions of the order $n$. Therefore, we obtain a very efficient method to get rational solutions to the KdV equation, and we can construct explicit solutions very easily. In the following, we present some solutions until order $10$.     

Classification of quintic eutactic forms

From the classical Voronoi algorithm, we derive an algorithm to classify quadratic positive definite forms by their minimal vectors; we define some new invariants for a class, for which several conjectures are proposed. Applying the algorithm to dimension 5 we obtain the table of the 136 classes in this dimension, we enumerate the 118 eutactic quintic forms, and we verify the Ash formula.

     

On a constructive approximation of the efficient outcomes in bicriterion vector optimization

For bicriterion quasiconvex optimization problems, we present a constructive procedure for an approximation of the efficient outcomes. Performing this procedure we can estimate the accuracy of the approximation. Conversely, if we prescribe an accuracy for the approximation, we can calculate the number of points which have to be computed by a certain scalarization method to remain under the given accuracy. Finally, we give a numerical example.     

图论与矩形对角线法在钻井布局优化设计中的应用

本对钻井布局问题的研究,首先给出图论模型对问题1得出最多可利用4口旧井,井号为2、4、5、10。利用矩形对角线法对问题2得出最多可利用6口旧井,井号为1、6、7、8、9、11。同时利用矩形对角线法给出判定这些井均可利用的条件和算法。     

新产品设计前端的筛选与评价系统研究

本着重于新产品设计前端的筛选与评价系统研究。设计了若干准则，有社会环境准则、经济成本准则、技术准则、时间准则、价值准则等，对新产品构思进行筛选。运用模糊理论，确定隶属度函数，得到评价矩阵，最终得到综合评价；运用加权评分法，确定评判的各影响因素及其各自所占的权重，给每种构思进行评分，根据最后总得分的多少来评定构思的优劣。最后，阐述了评价系统在设计过程中的重要作用，评价系统贯穿于整个设计过程中。     

Discontinuous local semiflows for Kurzweil equations leading to LaSalle's invariance principle for differential systems with impulses at variable times

In this paper, we consider an initial value problem for a class of generalized ODEs, also known as Kurzweil equations, and we prove the existence of a local semidynamical system there. Under certain perturbation conditions, we also show that this class of generalized ODEs admits a discontinuous semiflow which we shall refer to as an impulsive semidynamical system. As a consequence, we obtain LaSalle's invariance principle for such a class of generalized ODEs. Due to the importance of LaSalle's invariance principle in studying stability of differential systems, we include an application to autonomous ordinary differential systems with impulse action at variable times.     

基于卫星观测数据的预测模型及其应用

在战争中为了避开敌方军事卫星的侦查,需要对其过顶时间进行预警.对于参数公开的卫星,可以通过根数来进行准确的预报.而对于参数未知的卫星,提出了一种根据过往观测数据来对卫星过顶时间进行预测的思路:将卫星与地球之间复杂的三维耦合运动进行降维,并且以地面为参考系,发现卫星星下点运动轨迹具有高度的周期性·根据这种思路,可以通过获取的过往观测数据来对卫星未来的过顶时间进行准确预测.而对于战时地面运动单位躲避卫星的问题,可以根据所面对的不同侦查卫星通过设置一个固定的路线,让地面单位在该路线中有计划的行驶,能够躲避多种卫星的侦查.     

Controlling uncertain Lü system using backstepping design

In this paper, we discussed how to control Lü system with unknown parameters. Firstly we designed an observer to identify the unknown parameter of Lü system, then we used backstepping design method to control the system, and track any desired trajectory by the same way. At the same time we gave the numerical simulation for the results we had gained.