求解多孔介质中可压缩混溶驱动问题的一类满足极大值原理的数值方法

多孔介质中可压缩混溶驱动问题是用非线性抛物型方程组来描述的．用Ｐｏｔｅｍｐａ格式求其数值解．证明了构造的求解方法满足极大值原理，从而可以保证饱和度的数值解在［０，１］范围内这一物理特性，同时还得到了解的收敛性．     

On the constructive characterization of threshold functions

In this paper, the structure of the set of threshold functions and complexity problems are considered. The notion of the signature of a threshold function is defined. It is shown that if a threshold function essentially depends on all of its variables, then the signature of this function is unique. The set of threshold functions is partitioned into classes with equal signatures. A theorem characterizing this partition is proved. The importance of the class of monotone threshold functions is emphasized. The complexity of transferring one threshold function specified by a linear form into another is examined. It is shown that in the worst case this transfer would take exponential time. The structure of the set of linear forms specifying the same threshold function is also examined. It is proved that for any threshold function this set of linear forms has a unique basis in terms of the operation of addition of linear forms. It is also shown that this basis is countable.     

Limit boundary conditions for finite volume approximations of some physical problems

In the industrial context, finite volume schemes are used to compute an approximation of the solution of a system of equations set on a certain domain. When this domain is bounded, some numerical boundary conditions have to be implemented in order to complete the computation of the finite volume scheme. This is a tricky step in the elaboration of the scheme, which is still not mastered. In fact, at a closer sight, it appears that there is a deep interaction between the understanding of the physical phenomena at the boundary of the domain and the implementation of the numerical boundary conditions. Unfortunately, this link is not always completely intelligible and a reason for this lack of clarity is the fact that, whereas the continuous equation satisfied by the limit of the numerical solution is known, the boundary conditions satisfied by this very limit are not well-understood. The purpose of this paper is to clarify this point in three industrial situations of one-dimensional two-phase flows.     

Confluent Form of the Multistep ɛ‐Algorithm,and the Relevant Integrable System

In this paper, the confluent form of the multistep ? ‐algorithm is proposed. The molecule solution of this system is derived by using determinantal identities. A new continuous prediction algorithm based on this confluent form is constructed. It also shows that this algorithm is a special case of the extended Lotka–Volterra system.     

Global convergence of BFGS and PRP methods under a modified weak Wolfe–Powell line search

The BFGS method is one of the most effective quasi-Newton algorithms for optimization problems. However, its global convergence for general functions is still open. In this paper, under a new line search technique, this problem is solved, and it is shown that other methods in the Broyden class also possess this property. Moreover, the global convergence of the PRP method is established in the case of this new line search. Numerical results are reported to show that the new line search technique is competitive to that of the normal line search.     

Application of multilevel analysis in animal sciences

Multilevel modeling is considerably useful way to analyze hierarchical data sets. The main purpose of this paper is to apply multilevel analysis in animal science and also show that this modeling technique is appropriate to analyze this kind of data. Thus multilevel modeling technique is used to analyze the milk yield data which has hierarchical structures, sires nested within cows. As a result of the analysis done in this paper, it is obvious that multilevel modeling is needed to use for analyzing this data. This illustrates that it is a convenient way to use multilevel analysis for the data which obtained from animals when the data have hierarchies.     

A parallel algorithm to solve the stable marriage problem

In this paper a parallel algorithm to solve the stable marriage problem is given. The worst case performance of this algorithm is stated. A theoretical analysis shows that the probability of the occurrence of this worst case is extremely small. For instance, if there are sixteen men and sixteen women involved, then the probability that the worst case occurs is only 10^–45. Possible future research is also discussed in this paper.     

Fiber Buckling in a Viscoelastic Matrix

Within the framework of the three-dimensional linearized theory of stability, an approach for investigating fiber buckling in the structure of unidirectional fibrous viscoelastic composites is developed. For simplicity, a small fiber concentration is considered, and the buckling problem for a single elastic fiber in an infinite viscoelastic matrix is investigated. In this case, it is assumed that the fiber has an insignificant initial periodical imperfection, and the growth of this imperfection with time is studied. The state where this imperfection starts to grow indefinitely is taken as a fiber-buckling criterion, and the critical time is determined from this criterion.     

离散型指数差分布

本文提出了一个离散型概率分布:指数差分布,推导了该分布的最可能成功次数、数学期望和方差,探讨了该分布与几何分布的关系,给出了该分布在马尔可夫链模型中的应用。     

有势场逆问题的边界元法

本文给出了位势方程逆问题的一种最小二乘边界元解法。控制方程为Ｌａｐｌａｃｅ方程，但一部分边界上未给出任何边值，而只在某些内点上给出了势函值。这一问题在数学上属不适定问题，但在一定条件下存在唯一解。本文同时给出了一种估计解的可靠性的方法。数值试验表明，这类逆问题采用边界元法是非常有效的。     

22号初等元胞自动机的极限语言复杂性

§1Introduction Thetaskofthispaperistosolvetheproblemproposedin[1],i.e.,toexplorethe complexityoflimitset,orequivalently,limitlanguageoftheelementarycellularautomaton ofrule22bythetoolsofformallanguagetheory.Cellularautomata(abbreviatedasCA),asmathematicalmodelsforcomplexnatural systemscontaininglargenumbersofsimpleidenticalcomponentswithlocalinteractions,havebeenwidelyusedinphysical,biological,chemicalandcomputationalsystems[2].Despitetheirsimpleconstruction,someCAcandisplayveryrichandcompl…     

非齐次Toda晶格的对称,精确解和可积性

研究非齐次Toda晶格，即一类非齐次非线性微分差分方程的对称与可积性。给出了这一类方程的Lie点对称，条件对称和精确解。给出这类方程与Toda晶格之间的可逆点变换，从而表明这一类方程是可积的。     

参激白噪声作用下蔡电路的脉冲控制

考察了参激白噪声和脉冲信号联合作用下蔡电路的渐近P阶矩稳定性问题,得到该随机脉冲系统的比较系统,从而可由该确定性比较系统的稳定性得到原随机脉冲系统的渐近P阶矩稳定性.并从理论上得到能使该随机脉冲系统渐近P阶矩稳定的参数取值范围,即在稳定区域内取值的参数组合能够用脉冲方法对该随机蔡电路实现混沌控制.最后用数值仿真验证了理论结果的正确性.     

Converging algorithm for a class of BMI applied on state-dependent stabilization of switched systems

In this paper, a design of a stabilizing state-dependent switching law is presented. First, it is based on a new reformulation of this control problem into a class of BMI (Bilinear Matrix Inequality) problem. The originality of this reformulation is that it will be used, in a second part, by an algorithm dedicated to solve this class of BMI without loss of generality. The construction of this algorithm is then specified, and the proof of its convergence is given for the two-subsystem case. The last part of the work consists in presenting the problem for a polytopic switching system, and how the previous algorithm can be extended. The proposed scheme is illustrated by an academical example.     

非定常不可压Navier-Stokes方程的高效和稳健的差分格式Ⅱ

A second order accurate implicit finite difference scheme CNMT2 is proposed in this paper for the unsteady incompressible Navier-Stokes equations. It is proved that the scheme is unconditionally nonlinearly stable on smoothly nonuniform halfstaggered meshes; this stability also holds for this scheme with the pressure correction projection method. However, it is found that the pressure correction projection method may lead to deviation problems in practical simulation of high Re flow;the reason and the cure is given in this paper in terms of differential-algebraic equations.     

Classical Risk Model with Threshold Dividend Strategy

In this article, a threshold dividend strategy is used for classical risk model. Under this dividend strategy, certain probability of ruin, which occurs in case of constant barrier strategy, is avoided. Using the strong Markov property of the surplus process and the distribution of the deficit in classical risk model, the survival probability for this model is derived, which is more direct than that in Asmussen（2000, P195, Proposition 1.10）. The occupation time of non-dividend of this model is also discussed by means of Martingale method.     

A global optimization approach for the linear two-level program

Linear two-level programming deals with optimization problems in which the constraint region is implicity determined by another optimization problem. Mathematical programs of this type arise in connection with policy problems to which the Stackelberg leader-follower game is applicable. In this paper, the linear two-level programming problem is restated as a global optimization problem and a new solution method based on this approach is developed. The most important feature of this new method is that it attempts to take full advantage of the structure in the constraints using some recent global optimization techniques. A small example is solved in order to illustrate the approach.The paper was completed while this author was visiting the Department of Mathematics of Linköping University.     

Non-Convex Strong Duality Via Subdifferential

In this article, the strong duality is treated. It is shown that the strong duality is equivalent to the non-emptiness of the subdifferential of a sort map involving the constraint functions. It is also noted that this technique is useful to verify the Assumption S. Indeed, the linearity of a constraint function h is not required as usually seen in the literature. Moreover, it is shown that this condition is easer to verify in the applications. We apply this new principle to the bi-obstacle problem, to the elastic-plastic torsion problem and to the continuum model of transportation.     

连续型指数差分布

本文提出了一个连续型随机变量的概率分布:指数差分布。讨论了该分布的极值、拐点、数学期望和方差,推导了参数的矩估计公式,探讨了该分布与指数分布的关系,给出了该分布在药代动力学中的应用。     

反演声波阻尼系数的一个逼近方法

１．引言 考虑在均匀介质中传播的声波,此声波碰到障碍Ｄ发生散射．设 Ｄ Ｒ~３为一单连通区域, Ｄ∈ Ｃ~2．设入射波为平面波ｕ~i（ｘ）＝ ｅｘｐ［ｉｋｘ·α］．其中 ｋ＞ ０为波数, ａ为入射角．记总体场ｕ＝ｕｉ十ｕｓ,ｕｓ满足阻尼边界条件．正散射问题归结为求满足其中。表示单位外法向,称为阻尼系数,（１．３）称为 Ｓｏｍｍｅｒｆｅｌｄ辐射条件．将满足辐射条件的Ｈｅｌｍｈｏｌｔｚ方程的解称为辐射解．散射波ｕｓ具有渐近性质［１］上式在所有方向一致成立．我们称为散射波ｕｓ的远场模式（ｆａｒ ｆｉｌｅｄｐａｔｔｅｒ…