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.     

POSITIVE SOLUTIONS OF NONLOCAL BOUNDARY VALUE PROBLEM FOR NONLINEAR RETARDED DIFFERENTIAL EQUATION

§1　IntroductionAt present,boundary value problems (BVPs) are widely investigated with variousmethods and techniques. BVPs with integral boundary conditions constitute a veryinteresting class of problems such as multipoint,three-point,four-point and nonlocalboundary value problems which are considered by many authors.And the existence ofpositive solutions for these problems becomes the subjectof many papers[1—6] .In a recentpaper[7] ,the authors have studied the existence of positive solut…     

ASYMPTOTIC BEHAVIOUR OF THE SOLUTIONS OF A CERTAIN FOURTH-ORDER DIFFERENTIAL EQUATION

The present paper establishes sufficient conditions for the uniformly bounded of any solution of (1.1) and which tend to zero as t → ∞.     

NONLOCAL INITIAL PROBLEM FOR NONLINEAR NONAUTONOMOUS DIFFERENTIAL EQUATIONS IN A BANACH SPACE

The nonlocal initial problem for nonlinear nonautonomous evolution equati-ons in a Banach space is considered. It is assumed that the nonlinearities havethe local Lipschitz properties. The existence and uniqueness of mild solutionsare proved. Applications to integro-differential equations are discussed.The main tool in the paper is the normalizing mapping (the generalizednorm).     

祖国万岁

祖国万岁1 算式中“祖国万岁”代表4个小同的数字,相同的汉字代表相同的数字,你能很快写出这道有趣的“国庆”算式吗?提示:“庆”代表最小的质数.     

The Spaces b~p with 0 < p < 1

Let 0 < p < 1. In this paper we prove that the Bergman norm on the p-th Bergman space bp(H) is equivalent to certain "normal direction norm" as well as certain "tangential direction norm", where H = Rn-1 × R is the upper half space. As an application, we get the boundedness of harmonic conjugation operators on bp(H).     

CRYSTAL STRUCTURE AND MORPHOLOGY OF NASCENT SAMPLES OF SYMMETRIC AROMATIC POLYESTERS——Ⅱ. POLY(p-PHENYLENE 2,6-NAPHTHALATE)

Confined thin film melt polymerization (CTFMP) of naphthalene chloride/hydroquinone (NCMQ, 1/1, molar)mixtures at polymerization temperatures (T_p) below ca. 300℃ resulted in relatively thick, elongated crystals. Polymerizationof NC/HQ above 300℃ between glass yielded well-formed lamellar crystals ca. 100 A thick. Phase Ⅰ and Ⅱ [001] EDpatterns were obtained for all T_p, the relative amount of phase Ⅰ increasing with T_p. Polymerization of naphthalenedicarboxylic acid/hydroquinione diacetate 1/1 mixtures at high T_p also yielded lamellar crystals that "curled up" off of thesubstrate. When the high temperature CTFMP polymerization was conducted between mica, aggregates of lamellae on-edgedeveloped but epitaxial growth did not occur. Epitaxial growth of lamellae between mica could be obtained, however, byconfined thin film solution polymerization, with both of the latter samples yielding apparently related ED patterns from adifferent unit cell than phase Ⅰ or Ⅱ. Fiber patterns, obtained from sheared samples, indicated considerably greater crystaldisorder than in the nascent crystals. Refinement of the phase Ⅰ unit cell parameters, based on the [001] and [01 1] EDpatterns, with modeling based on Cerius~2, suggests a monoclinic phase Ⅰ unit cell with a = 7.76, b = 5.71, c = 14.99 A, α = γ= 90°, β= 99.7°, ρ = 1.47 g/cm~3, space group P12_1/al.     

Generation of high energy and good beam quality pulses with a master oscillator power amplifier

A high efficiency and high peak power laser system with short-pulse and good beam quality has been demonstrated by using a master oscillator power amplifier with two-pass amplification configuration. The master oscillator, end-pumped with a fiber-coupled laser diode array, provides low power but excellent beam quality pulses, and the amplifier boosts the pulse energy by orders without significant beam quality degradation. Short pulses of 8.5 ns with energy up to 130 mJ and approximately diffraction limited beam quality have been demonstrated.     

The optical near-field speckles and their first order statistics on the basis of the integral equations of electromagnetic field

Speckle fields are the random light wave distributions produced when the light fields are scattered from random surfaces or a random medium. They appear in many optical phenomena that are related to light propagations[1,2] and have found wide appli-cations in a variety of scientific and technical fields. The examples of the recent impor-tant applications of speckles include the analysis of the movement of the granules[3], the three-dimensional imaging for the microstructures of metal nanocryst…     

原子核的单粒子共振态

采用基于相对论平均场的耦合常数解析延拓方法研究球形核的单粒子共振态.具体计算了Zr同位素链中巨晕核的核芯核122Zr阈值附近的中子共振态的能量、宽度和波函数,其结果同相应的散射相移法的结果一致. Using analytic continuation in the coupling constant (ACCC) method within the framework of the self-consistent relativistic mean field (RMF) theory, the energies, widths and wave functions for single-particle resonant states close to the continuum threshold are evaluated. Predictions are also compared with corresponding results obtained by the scattering phase shift method.