关于严格蕴涵系统的布尔值模型（续）

The reference [4] proved the consistency of S1 and S2 among Lewis' five strict implication systems in the modal logic by using the method of the Boolean-valued model. But, in this method, the consistency of S3, S4 and S5 in Lewis five strict implication systems is not decided. This paper makes use of the properties: (1) the equivalence of the modal systems S3 and P3, S4 and P4; (2) the modal systems P3 and P4 all contained the modal axiom T(□p→p); (3) the modal axiom T is correspondence to the reflexive property in VB. Hence, the paper proves: (a) ‖As31‖=1; (b) ‖As41‖=1; (c) ‖As51‖=1 in the model (V^B,R,‖ ‖)(where B is a complete Boolean algebra, R is reflexive property in V^B).Therefore, the paper finally proves that the Boolean-valued model V^B of the ZFC axiom system in set theory is also a Boolean-valued model V^B of the ZFC axiom system in set theory is also a Boolean-valued model of Lewis the strict implication system S3, S4 and S5.     

On a Boolean-valued Model of the Strict Implication System(Continuous)

The reference [4] proved the consistency of S1 and S2 among Lewis' five strict implication systems in the modal logic by using the method of the Boolean-valued model. But, in this method, the consistency of S3, S4 and S5 in Lewis' five strict implication systems is not decided. This paper makes use of the properties: (1) the equivalence of the modal systems S3 and P3, S4 and P4; (2) the modal systems P3 and P4 all contained the modal axiom T(□p → p); (3) the modal axiom T is correspondence to the reflexive property in VB. Hence, the paper proves: (a) ‖As31‖ = 1; (b) ‖AS41‖ = 1; (c) ‖AS5l‖ = 1 in the model (where B is a complete Boolean algebra, R is reflexive property in VB). Therefore, the paper finally proves that the Boolean-valued model VB of the ZFC axiom system in set theory is also a Boolean-valued model of Lewis' the strict implication system S3, S4 and S5.     

中介逻辑的命题演算系统(Ⅱ)

This paper is a continuation of [1]、[2]、[4]. In this paper, we shall con-tinue to constitute the formal theorems and the important substituting theorem(see theorem 16 in this paper) of the propositional calculus system of mediumlogic MP. The order numbers of following formal theorems follow those in reference[4]     

GLOBAL ATTRACTIVITY IN DELAYED HOPFIELD NEURAL NETWORK MODEL WITH VARIABLE COEFFICIENTS AND DELAYS

1 Introduction' In paper [1], Hopfield first proposed neural network model for n neurons;with an electrical circuit implementation. Even since, there has been increasing interest in the potential application of the dynamics of artificial neuralnetworks in signal and image processing, see, for example, [2]--[5], they havestudied system (1.1) and the delayed systemwhere all ci ) Ri, Ti j ? h, T are constants.The global attractivity of system (1.l) or (1.2) is of great importance forboth practi…     

BOUNDARY FEEDBACK STABILIZATION OF NONUNIFORM TIMOSHENKO BEAM WITH A TIPLOAD

g1. IntroductionThe purpose of this paPer is to study the stabilization problem of TimoshenkO beamattached with a load of mass M at one end and forced by linear boundary feedback conirols.The system to be investigated in this paper is described as follows (see [1] for example):lthe::1::1'{;::f'5'>', (11)Here u1(t) and u2(t) are the boundary feedback coatrols of force and momellt respectivelythe meanings of all the other variables, functions and coefficients aJre the same as thosedescribed in…     

UNIQUENESS AND DISTRIBUTION OF LIMIT CYCLES FOR BOUNDED QUADRATIC SYSTEM

1 IntroductionAs we know, any given quadratic system which may have limit cycle (LC,fOr abbreviation) can be written in the fOllowing fOrm (see [1] 512)where 6, l, m, n, a, 6 are all real parameters.If all trajectories of a quadratic system remain bounded fOr t 2 0, we saythat the system is bounded, and fOr abbreviation denote by BQS in this paper.The research work for BQS begin with Dickson-Perko [3]. And then, in [4],they made use of the conclusions of [51 to give a detailed classifica…     

CONFIDENCE REGIONS IN TERMS OF STATISTICAL CURVATURE FOR AR（q） NONLINEAR REGRESSION MODELS

This paper constructs a set of confidence regions of parameters in terms of statistical curvatures for AR(q) nonlinear regression models. The geometric frameworks are proposed for the model. Then several confidence regions for parameters and parameter subsets in terms of statistical curvatures are given based on the likelihood ratio statistics and score statistics. Several previous results,, such as [1] and [2] are extended to AR(q)nonlinear regression models.     

ON INTERACTION OF SHOCK AND SOUND WAVE （I）

This paper studies the interaction of shock and gradient wave (sound wave) of solutions to the system of inviscid isentropic gas dynamics as a model for the corresponding problems for nonlinear hyperbolic systems. The problem can be reduced to a boundary value problem in a wedged dormain, By using the method of constructing asymptotic solutions and Newton‘siteration process it is proved that if a weak shock hits a gradient wave, then the grandient wave will split into two gradient waves, while the shock continuses propagating. In this paper the author reduces the problem to a standard form and constructs asymptotic solution of the problem. The existence of the genuine solution will he given in the following paper.     

ON THE EXISTENCE OF PRODUCT STOCHASTIC MEASURES

In this paper, we prove that the existence of product stochastic measures depends on the axiomsystem of set theory: If one aecepts the axiom of choice, the answer is negative, and we give acounter-example where the product stochastic measure doesn't exist; but in the Solovay model (onekind of set theory which refuses the axiom of choice),the answer is positive, and we give a proof.     

AN IMPROVEMENT OF A RESULT OF IVOCHKINA AND LADYZHENSKAYA ON A TYPE OF PARABOLIC MONGE-AMP\`ERE EQUATION

For the initial-hotmdary value problem about a type of parabolic Monge-Ampere equation of the form (IBVP): {-Dtu + (deD^2xu)^1/n = f(x,t), (x,t) ∈ Q = Ω×(0,T)}, u(x,t) =Ф(x,t)(x,t) ∈δpQ}, where Ω is a bounded convex domain in R^n, the result in [4] by Ivochkina and Ladyzheokaya is improved in the sense that, under assumptions that the data of the problempossess lower regularity and satisfy lower order compatibility conditions than than in [4], the existence of classical solution to (IBVP) is still established (see Theorem 1.1 below). This cannot be reallzed by only using the method in [4]. The main additional effort the authors have done is a kind of nonlinear perturbation.     

Data-Driven Tight Frame Construction for Impulsive Noise Removal

The method of data-driven tight frame has been shown very useful in image restoration problems.We consider in this paper extending this important technique,by incorporating L₁ data fidelity into the original data-driven model,for removing impulsive noise which is a very common and basic type of noise in image data.The model contains three variables and can be solved through an efficient iterative alternating minimization algorithm in patch implementation,where the tight frame is dynamically updated.It constructs a tight frame system from the input corrupted image adaptively,and then removes impulsive noise by the derived system.We also show that the sequence generated by our algorithm converges globally to a stationary point of the optimization model.Numerical experiments and comparisons demonstrate that our approach performs well for various kinds of images.This benefits from its data-driven nature and the learned tight frames from input images capture richer image structures adaptively.     

GLOBAL SMOOTH SOLUTIONS FOR SYSTEMS OF GAS DYNAMICS WITH THE DISSIPATION

§1. Introduction The first order quasilinear system arises in several areas of applied mathematics. There has been much investigation to the problem of establishing existence and nonexistence theorems of global smooth solutions for initial value problems to (1.1), (see [1]—[9]). In Nishida's fundamental paper, he assumes that, α is a positive constant, and for a constant δ>0.     

具有多个时滞的周期Lotka-Volterra系统(英文)

1 IntroductionThe LotkaVOlterra system is a rudimentary model on mathematical ecologyand has been studied extensively; one can see that the two--species predator-prey nonautonomous LotkaVolterra system and the two-predator and one-prey periodic Lotka-VOlterra system have been investigated, respectively, in[21 and [31. Some sufficient conditions are obtained for the (unifOrm) persi-stence, existence and uniqueness, and asymptotic stability of periodic solu-tions. Furthermore, the similar re…     

ASYMPTOTIC LIMITS OF ONE－DIMENSIONAL HYDRODYNAMIC MODELS FOR PLASMAS AND SEMICONDUCTORS

51. IntroductionIn mathematica1 modeling and numerical simulation for plasmas and semiconductorsdevices, the hydrodynamic model like the Euler-Poisson system is wildly used. Due tothe hyperbolic feature of the Euler equations, the study of weak solutions to the Euler-Poisson system is limited in one space dimension. In such situation, the existence of globalweak solutions can be proved under natural assumptions (see [22, 20, 17, 5, 18]). In aseries of papersl1l'l2'l31l4J l we are interested…     

Revisit of the Faddeev Model in Dimension Two

The Faddeev model is a fundamental model in relativistic quantum ?eld theory used to model elementary particles. The Faddeev model can be regarded as a system of non-linear wave equations with both quasi-linear and semi-linear non-linearities, which is particularly challenging in two space dimensions. A key feature of the system is that there exist undi?erentiated wave components in the non-linearities, which somehow causes extra di?culties. Nevertheless, the Cauchy problem in two space dimenions was tackled by Lei-Lin-Zhou (2011) with small, regular, and compactly supported initial data, using Klainerman’s vector ?eld method enhanced by a novel angular-radial anisotropic technique. In the present paper, the authors revisit the Faddeev model and remove the compactness assumptions on the initial data by Lei-Lin-Zhou (2011). The proof relies on an improved L2 norm estimate of the wave components in Theorem 3.1 and a decomposition technique for non-linearities of divergence form.     

THE SERRE RELATIONS IN RINGEL－HALL ALGEBRAS

The author constructs the Casimir element of Hall algebras.By the method of Gabber-Kactheorem(see [4]),it is proved that the Serre relations are the defining relations in compositionalgebra.     

A class of quasilinear elliptic hemivariational inequalities

1. IntroductionIn this paper we shall deal with the quasilinear elliptic hemivaxiational inequalitieswhere the symbol OJ designates Clarke's generalized gradiellt of a locally Lipschitz functionalJ (see [1, 2]). The discontinuity is assumed to be in the lower order term OJ(u(x)). If Ais a linear operator and the disconiinuity is monotone, the problems have been studied,for example, in [3-6]. If A is a linear opertor and the discolltinuity is nonmonotone, thiskind of problems have been inve…     

GLOBAL ATTRACTIVITY OF THE HOPFIELD NEURAL NETWORKS

1 IntroductionHopfield neural networks is an associative memory model, it is also a neuraloptimization networks. This model has been studied extensively (see [1--12]).But in most of the literature, the signal function gi(x) is differentiable and isa sigmoid curve, and the sufficient conditions about the global attractivity ofthe Hopfield neural networks have no relevance to the delay. The aim of thispaper is to give a delayed sufficient condition of the global attractivity of theHopfield neur…     

EXISTENCE AND UNIQUENESS OF GLOBAL SOLUTIONS OF THE MODIFIED KS-CGL EQUATIONS FOR FLAMES GOVERNED BY A SEQUENTIAL REACTION

In this paper, we are concerned with the existence and uniqueness of global solutions of the modified KS-CGL equations for flames governed by a sequential reaction, where the term |P|~2P is replaced with the generalized form |P|~(2σ)P,see [18]. The main novelty compared with [18] in this paper is to control the norms of the first order of the solutions and extend the global well-posedness to three dimensional space.     

Remarks on Sharp Interface Limit for an Incompressible Navier-Stokes and Allen-Cahn Coupled System*

The authors are concerned with the sharp interface limit for an incompressible Navier-Stokes and Allen-Cahn coupled system in this paper. When the thickness of the diffuse interfacial zone, which is parameterized by ε, goes to zero, they prove that a solution of the incompressible Navier-Stokes and Allen-Cahn coupled system converges to a solution of a sharp interface model in the L^∞(L²) ∩ L²(H¹) sense on a uniform time interval independent of the smal...