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.     

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).     

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).     

Self-assembling Characteristics of Amphiphilic Star Block Copolymers with a Polyelectrolyte Shell

1 Results Amphiphilic block copolymers are capable of forming supramolecular assemblies resembling those observed in nature,such as spherical micelles,worm micelles,and vesicles.Changing the solvent composition,ionic strength or pH of the polymer solution may induce the self-assembly of block copolymers or trigger the transition between the geometries of noncovalent assemblies.In the current work,we have synthesised starlike amphiphilic block copolymers having hydrophobic poly(methyl methacrylate),PMMA,core,and hydrophilic poly(acrylic acid),PAA,shell.The self-assembling characteristics of these polymers have been investigated in aqueous solutions by light scattering and direct visualisation by cryo-transmission electron microscopy (cryoTEM)[1]. Computer simulations along with the theoretical predictions made for the star-like system based on mean-field theory have been used to support the experimental observations[2]. The association of the starlike macromolecules resembles that of charged biopolymers,such as actin,since a balance between attractive and repulsive forces is required for the formation of cylindrical assemblies and can be manipulated by changing the pH or the ionic strength of the solvent[3].     

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.     

高功率微波脉冲压缩储能谐振腔的测量与调试

储能谐振腔是高功率微波脉冲压缩系统实验的核心部件，精确测量有关储能腔参数，修正谐振腔尺寸，调整实验系统的微波参数，使储能阶段H—T的泄漏最小、谐振腔的储能效率达到最大是非常关键和必要的。介绍了L波段高功率微波（HPM）脉冲压缩谐振腔的微波参数的测量，并根据微波参数测量的结果对谐振腔进行了调整，使谐振腔的储能效果明显改善；分析了不同气体成分及充气气压与本征频率之间的关系及其抗击穿性，作为工作介质，SF6含量为30％-50％，SF6-N2混合气体综合性能较好的。     

"三位一体"人才建设绩效评价模型分析

分析人才建设绩效并建立科学的绩效评价模型,对提高部队管理水平有十分重要意义.本文从基于收益、基于行为和基于满意度三个不同方位和层次对人才建设绩效的理论和数学模型进行了有益探讨.     

振动系统的模态分析实验设计

利用模态分析原理和简单试验仪器，得到了直观的悬臂梁和圆盘前4阶模态振型，使学生熟悉了模态分析原理和测试方法，有利于学生对振动规律的理解．     

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…