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.     

我国居民收入、人口、教育、财政政策和货币政策与居民消费模型的实证分析

本文从影响消费的各个因素:居民收入、人口、教育、国家宏观政策等着手,对各因素进行了相关分析,运用多元统计中的岭回归估计法建立消费模型。从定量和定性分析的角度,分析了我国居民消费水平、居民收入、人口增长率、各层次教育、国家财政支出和银行利率等相关因素之间相互影响的数量变动关系和内在规律,就如何提高居民消费水平促进经济协调发展提出若干对策。     

显像管调制特性的测量与分析

测试了显象管调制特性曲线，并分析了特性曲线与显像管工作原理．     

On the solution of Falkner-Skan equations

New existence and uniqueness proofs are given for the solutions of the equations governing the self-similar compressible boundary layer (Falkner-Skan equations). The properties of the solutions are studied and some bounds on important quantities are concluded. The paper is restricted to favourable pressure gradients and to wall cooling.     

Boundaries for algebras of holomorphic functions

Let A_u(B_G) be the Banach algebra of all complex valued functions defined on the closed unit ball B_G of a complex Banach space G which are uniformly continuous on B_G and holomorphic in the interior of B_G, endowed with the sup norm. A characterization of the boundaries for A_u(B_G) is given in case G belongs to a class of Banach spaces that includes the pre-dual of a Lorentz sequence space studied by Gowers in Israel J. Math. 69 (1990) 129-151. The non-existence of the Shilov boundary for A_u(B_G) is also proved.     

C D : a computer program to generate 1D, 2D and 3D grids of functions dependent on the molecular ab initio electron density

A program to compute many functions dependent on the electron density ρ(r) from the results of ab initio molecular calculations is presented. The program allows the generation of different one-, two-, and three-dimensional grids for further graphical representation or numerical analysis. Other options like extracting separate atom contributions to the function computed or locating maximum and minimum values are also implemented. A number of illustrative applications regarding different ρ(r)-dependent functions are presented and the performance and portability of the program is discussed.     

局部$G$-凸一致空间上几乎不动点定理和不动点定理

得到局部G-凸一致空间上具有S-KKM性质的集值映射的新的几乎不动点定理和不动点定理.我们的结果对已有文献中的相应结论进行了改进和一般化.     

Identification of nonstationary axisymmetric load distributed along a cylindrical shell

The paper outlines a procedure to identify the space-and time-dependent external nonstationary load acting on a closed circular cylindrical shell of medium thickness. Time-dependent deflections at several points of the shell are used as input data to solve the inverse problem. Examples of numerical identification of various nonstationary loads, including moving ones are presented. The relationship between the external load and the stress-strain state of the shell is described by the Volterra equation of the first kind. The identification problem is solved using Tikhonov's regularization method and Apartsin's h-regularization method __________ Translated from Prikladnaya Mekhanika, Vol. 44, No. 7, pp. 91–100, July 2008.     

等厚双层涂层材料受集中力作用的平面问题理论解

界面应力的正确评价是分析薄膜涂层材料力学特性的难题之一。利用镜像点法和Dirichlet等值性原理，本文推导了等厚双层薄膜涂层材料受表面集中力作用的平面问题理论解。该显式理论解是以固定在各镜像点上的局部坐标系下的Goursat应力函数的形式给出的。对应于高阶镜像点的应力函数，可通过递推的方法，从对应于低阶镜像点的应力函数求得，而且也易于计算机编程。随着镜像点阶数的增大，它与界面的距离也越来越大，因而相对应的应力函数对界面应力的影响越来越小。最后的算例表明，只需考虑前面有限个镜像点，便可获得足够精度的解。该理论解可作为格林函数，以求解复杂问题的理论解，也可用作边界元法的基本解，提高数值计算的精度和效率。     

A RANDOM FIXED POINT ITERATION FOR THREE RANDOM OPERATORS ON UNIFORMLY CONVEX BANACH SPACES

In the present paper we introduce a random iteration scheme for three random operators defined on a closed and convex subset of a uniformly convex Banach space and prove its convergence to a common fixed point of three random operators. The result is also an extersion of a known theorem in the corresponding non-random case.