带有超线性项的混合单调算子的不动点定理及其应用

该文讨论了带有齐次超线性项μC和线性项D的混合单调算子A=B+μC+D的不动点的存在性.在不假设耦合下上解存在的条件下,得到了算子A的一个不动点定理,并且将所获结果应用到常微分方程两点边值问题、积分方程和椭圆型方程边值问题中,得到了新的结论.因而本质上推广和改进了已有的混合单调算子和相应的增算子的不动点定理.     

一个改进的Reissner-Mindlin矩形元

本文提出了一个改进的Reissner-Mindlin矩形非协调元方法：旋度用连续双线性元逼近，横向位移用旋转矩形非协调元逼近，而作为中间变量的剪切力用增广的分片常数元逼近，我们证明：该方法具有关于板厚一致稳定性和一致最优收敛性。     

定常的热传导-对流问题的Galerkin/Petrov最小二乘混合元方法

1.引言 热传导-对流问题是大气动力学中的一个重要的方程,这个方程组也称为强迫耗散的非线性系统方程组,其较Navier-Stokes方程多了一个未知函数温度场,且温度与速度和压力之间存在着复杂的非线性关系.从热动力学可知,任何运动都会产生热量即有温度,而且温度与速度和压力之间必定互相转化,因此对该非线性系统的研究更具有实际意义.[1]先对     

一类基于变量分离的稳定化混合有限元方法

Based on a seperated model for saddle-point problems, we develop a new sta-bilized mixed finite element method. Such a model consists of two subproblems with respect to the primal and the dual variables, respectively. We show that the new method is coercive and that optimal error bounds hold. As an application,the nearly incompressible elastic problem is analyzed with our method.     

Multidimensional transonic shocks and free boundary problems for nonlinear equations of mixed type

We establish the existence and stability of multidimensional transonic shocks for the Euler equations for steady potential compressible fluids. The Euler equations, consisting of the conservation law of mass and the Bernoulli law for the velocity, can be written as a second-order, nonlinear equation of mixed elliptic-hyperbolic type for the velocity potential. The transonic shock problem can be formulated into the following free boundary problem: The free boundary is the location of the transonic shock which divides the two regions of smooth flow, and the equation is hyperbolic in the upstream region where the smooth perturbed flow is supersonic. We develop a nonlinear approach to deal with such a free boundary problem in order to solve the transonic shock problem. Our results indicate that there exists a unique solution of the free boundary problem such that the equation is always elliptic in the downstream region and the free boundary is smooth, provided that the hyperbolic phase is close to a uniform flow. We prove that the free boundary is stable under the steady perturbation of the hyperbolic phase. We also establish the existence and stability of multidimensional transonic shocks near spherical or circular transonic shocks.

     

On K1 and K2 of Algebraic Surfaces

In this paper we study higher Chow groups of smooth, projective surfaces over a field k of characteristic zero, using some new Hodge theoretic methods which we develop for this purpose. In particular we investigate the subgroup of CH ^r+1 (X,r) with r = 1,2 consisting of cycles that are supported over a normal crossing divisor Z on X. In this case, the Hodge theory of the complement forms an interesting variation of mixed Hodge structures in any geometric deformation of the situation. Our main result is a structure theorem in the case where X is a very general hypersurface of degree d in projective 3-space for d sufficiently large and Z is a union of very general hypersurface sections of X. In this case we show that the subgroup of CH ^r+1 (X,r) we consider is generated by obvious cycles only arising from rational functions on X with poles along Z. This can be seen as a generalization of the Noether–Lefschetz theorem for r = 0. In the case r = 1 there is a similar generalization by Müller-Stach, but our result is more precise than it, since it is geometric and not only cohomological. The case r = 2 is entirely new and original in this paper. For small d, we construct some explicit examples for r = 1 and 2 where the corresponding higher Chow groups are indecomposable, i.e. not the image of certain products of lower order groups. In an appendix Alberto Collino constructs even more indecomposable examples in CH ³ (X,2) which move in a one-dimensional family on the surface X.Contribution to appendix.     

A Hybrid Approach to Scheduling with Earliness and Tardiness Costs

A hybrid technique using constraint programming and linear programming is applied to the problem of scheduling with earliness and tardiness costs. The linear model maintains a set of relaxed optimal start times which are used to guide the constraint programming search heuristic. In addition, the constraint programming problem model employs the strong constraint propagation techniques responsible for many of the advances in constraint programming for scheduling in the past few years. Empirical results validate our approach and show, in particular, that creating and solving a subproblem containing only the activities with direct impact on the cost function and then using this solution in the main search, significantly increases the number of problems that can be solved to optimality while significantly decreasing the search time.     

Optimal Operations Management and Network Planning of a District Heating System with a Combined Heat and Power Plant

District heating plants are becoming more common in European cities. These systems make it possible to furnish users with warm water while locating the production plants in the outskirts having the double benefit of lowering the impact of pollution on the center of the city and achieving better conversion performances. In order to amortize the costs throughout the year, the system often includes a combined heat and power (CHP) plant, to exploit the energy during the summer as well, when the demand for warm water decreases. A linear programming model for the optimal resource management of such a plant is presented and some results for a real case are reported. A distribution network design problem is also addressed and solved by means of mixed integer linear programming.     

人工扰动电离层仿真系统的设计与实现

设计并开发了一种人工扰动电离层仿真系统．建立了数值模型，规划出系统总体构造，在实现过程中引入VC、VF混合编程的概念，以达到两种语言优势互补的目的．文中详细论述了VC、VF混合编程对于数据的处理，生成Fortran的动态链接库，以及在VC中调用生成库的技术．通过仿真模拟，得出了电离层加热过程中电子密度、电子温度等随时间演化的规律，及发射电波频率、功率对加热效果的影响．试用证明，该系统有效地模拟了电离层人工扰动的状态，为在我国实施加热工程提供了可靠的科学依据．     

含k-次增生算子的非线性方程的迭代程序

建立了一般Banach空间中含k-次增生算子的非线性方程的带混合误差的Ishikawa迭代序列的强收敛性的一般性定理,所得的是任卫云等和LIU Li-shan等于最近得到的主要结果的多方面的拓广和改进,且所用方法不同于他们．