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.     

Triterpenoid Constituents of Huperzia miyoshiana

Thirteen triterpenoids, including three new ones, miyoshianois A (1), B (2) and C (3), were isolated from Huperzia miyoshiana. The structures of these new compounds were established as 3-O-dihydroferuloyltohogenol (1), 16-oxo-3β,21β-dihydrox-y-serrat-14-en-24-ferulate (2) and 16-oxo-3a, 21β-dihydroxy-serrat-14-en-24-ferulate (3), respectively, on the basis of their spectroscopic analysis.     

Stationary Distributions of GI/M/c Queue with PH Type Vacations

We study a GI/M/c type queueing system with vacations in which all servers take vacations together when the system becomes empty. These servers keep taking synchronous vacations until they find waiting customers in the system at a vacation completion instant.The vacation time is a phase-type (PH) distributed random variable. Using embedded Markov chain modeling and the matrix geometric solution methods, we obtain explicit expressions for the stationary probability distributions of the queue length at arrivals and the waiting time. To compare the vacation model with the classical GI/M/c queue without vacations, we prove conditional stochastic decomposition properties for the queue length and the waiting time when all servers are busy. Our model is a generalization of several previous studies.     

有机化合物电子光谱中的助色基及其作用机理探讨(Ⅰ)

本文就电子光谱中助色基的作用进行了讨论 ,认为不能一概地认为助色基能使与之相连的生色基最大吸收波长统统发生红移 ,而应具体问题具体分析 :对于n→π 来说 ,一方面助色基的p轨道和生色基的最低π 反键空轨道相互作用 ,使π 反键轨道能量上升 ,另一方面助色基的p轨道和生色基的n轨道正交 ,n轨道能量基本保持不变 ,因此n→π 跃迁能增加 ,吸收波长发生蓝移。对于π→π 跃迁来说 ,助色基的p轨道和生色基的最高π成键轨道相互作用生成的新的最高π成键轨道 ,能量虽然有所升高 ,但升高的程度与π 反键轨道升高的程度相比 ,在一些化合物中π轨道升高程度较大 ,因而π→π 跃迁能减小 ,吸收波长发生红移 ;在另一些化合物中π轨道升高程度较小 ,因而π→π 跃迁能增加 ,吸收波长发生蓝移。     

A fourth‐order compact finite difference scheme for the steady stream function–vorticity formulation of the Navier–Stokes/Boussinesq equations

A fourth‐order compact finite difference scheme on the nine‐point 2D stencil is formulated for solving the steady‐state Navier–Stokes/Boussinesq equations for two‐dimensional, incompressible fluid flow and heat transfer using the stream function–vorticity formulation. The main feature of the new fourth‐order compact scheme is that it allows point‐successive overrelaxation (SOR) or point‐successive underrelaxation iteration for all Rayleigh numbers Ra of physical interest and all Prandtl numbers Pr attempted. Numerical solutions are obtained for the model problem of natural convection in a square cavity with benchmark solutions and compared with some of the accurate results available in the literature. Copyright © 2003 John Wiley & Sons, Ltd.     

Simulation of polarization effects in AlGaN/GaN heterojunction

Because of their large band-gap, large high-field electron velocity, large breakdownfield, and large thermal conductivity, GaN and its heterojunction with AlGaN and InGaNhave foreseeable potential in the applications of high-power/temperature electronics, andoptoelectronic devices operative in UV and visible wavelength. Polarization inducedelectric field can reach the magnitude of ~MV/cm[1,2]. For AlGaN/GaN based FETs theconcentration of sheet carrier induced by polarization in the cha…     

Synthesis of some chiral liquid crystals and study of the effect of intramolecular hydrogen bonding on the phase behaviour

The synthesis of three new series of chiral Schiff's bases containing benzilideneaniline and 2-hydroxybenzilideneaniline moieties as mesogenic cores is presented. Differential scanning calorimetry, optical polarizing microscopy and X-ray diffraction measurements were used to study the phase transition temperatures and behaviour. The results reveal that most of these materials show chiral smectic mesomorphism.     

光照与彩陶俑表面色变关系的实验研究

本文以秦彩俑表面色彩为研究对象,通过光照实验与色彩变化的色度测量,分析了光照引起彩俑颜料色变的规律,为秦彩俑这一大型重点文物的色彩保护提供了科学理论依据.     

AN INVARIANCE OF CDF EQUATION

ＡＮＩＮＶＡＲＩＡＮＣＥＯＦＣＤＦＥＱＵＡＴＩＯＮ￥ＴＩＡＮＣＨＯＵＡｂｓｔｒａｃｔ：ＴｈｉｓｐａｐｅｒｐｒｅｓｅｎｔｓａｎｅｗｉｎｖａｒｉａｎｃｅｆｏｒｔｈｅＣＤＦｅｑｕａｔｉｏｎ．Ｕｓｉｎｇｔｈｉｓｉｎｖａｒｉａｎｃｅ，ｔｈｅａｕｔｈｏｒｏｂｔａ...     

A flow tube study of methyl iodine uptake on soot surface

The black carbon aerosols are now recognized for their potential impact on climate and the halogenated compounds are thought to be very important in atmospheric chemistry. However, there are very few studies on the interactions between soot aerosols and halogenated compounds. We report the measurement of the uptake of CH₃I on soot. The measured uptake coefficient is 0.0103 ± 0.0015 at a total pressure of 2–4 Torr and 298 K. The results suggest that the uptake of CH₃I occurs efficiently on soot particles. The present work suggests that heterogeneous loss of CH₃I on soot may influence the concentration of CH₃I throughout the atmosphere.