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.     

无约束全局优化的一个可调参数的填充函数

A filled function with adjustable parameters is suggested in this paper for finding a global minimum point of a general class of nonlinear programming problems with a bounded and closed domain. This function has two adjustable parameters. We will discuss the properties of the proposed filled function. Conditions on this function and on the values of parameters are given so that the constructed function has the desired properties of traditional filled function.     

Stable Solution of Nonlinear Age-structured Forest Evolution System

This paper studies the dynamical behavior of a class of total area dependent nonlinear age-structured forest evolution model. We give the problem of equal value for the forest system, and discuss the stable solution of system. We obtained the necessary and sufficient conditions for there exists the stable solution.     

Fuzzy Entropy： Axiomatic Definition and Neural Networks Model

The measure of uncertainty is adopted as a measure of information. The measures of fuzziness are known as fuzzy information measures. The measure of a quantity of fuzzy information gained from a fuzzy set or fuzzy system is known as fuzzy entropy. Fuzzy entropy has been focused and studied by many researchers in various fields. In this paper, firstly, the axiomatic definition of fuzzy entropy is discussed. Then, neural networks model of fuzzy entropy is proposed, based on the computing capability of neural networks. In the end, two examples are discussed to show the efficiency of the model.     

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

关于用玻璃肋做龙骨的横明竖隐玻璃幕墙结构方法

框架玻璃幕墙是目前非常常见的一种结构型式,我结合多年的设计经验,自行研究出一种新型的幕墙框架结构型式横明竖隐玻璃幕墙结构,主龙骨为玻璃肋,横梁采用普通的明框横梁,这种结构的好处在于增加了幕墙的通透性,又能用于多层连续主龙骨连接的整体幕墙,同时由能够满足幕墙结构的各种性能要求,通过工程的实践证明,这种结构是安全可靠的.     

Dimer of Bis[trans-5-methyl-2-[2-（4-methoxylphenyl） ethenyl]-benzoxazole]di-μ-nitratosilver（I）

1 INTRODUCTION We are presently involved in the synthesis and photodimerization of the analogues of trans-2-sty- rylbenzoxazole (BOEP), which have been widely reported as fluorescent whiteners and remedies[1]. Some structures of BOEP derivatives and thei…     

Possible triggering of solar activity to big earthquakes (Ms ≥ 8) in faults with near west-east strike in China

A big earthquake (Ms = 8.1) occurred at western Kunlun Mts gap on November 14, 2001. It is the biggest earthquake in China in the past 50 years and the only one with a magnitude bigger than 8 in China after Dangxiong Earthquake (M = 8) in Tibet in 1951. The big earthquake has drawn wide attention of scientists in seismological, geophysical, geological and astro-geodynamic circles. Scientists are interested in the occurrence regularity of the very big earthquakes and try to find out the fac…     

On the United Theory of the Family of Euler-Halley Type Methods with Cubical Convergence in Banach Spaces

The convergence problem of the family of Euler-Halley methods is considered under the Lipschitz condition with the L-average, and a united convergence theory with its applications is presented.     

ANTI FUZZY VECTOR SPACES（Ⅱ）

ＡＮＴＩＦＵＺＺＹＶＥＣＴＯＲＳＰＡＣＥＳ（Ⅱ）ＣｈｅｎＹｏｎｇｎｉａｎ（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＸｉｎｊｉａｎｇＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙ，８３００５４，Ｘｉｎｊｉａｎｇ，Ｐ．Ｒ．Ｃｈｉｎａ）ＡＮＴＩＦＵＺＺＹＶＥＣＴ...