结构—饱和土壤相互作用的固结有限元分析

讨论了结构与饱和土壤相互作用的固结分析问题.对于结构利用多重子结构分析技术实现向饱和土交界面上的凝聚.从而建立了结构与饱和土壤相互作用的固结控制方程.文中给出了问题求解的一次性算法方案,采取压力主从关系的手段处理边界上的不排水条件.文末给出数值算例.本文工作为大型结构与土体相互作用固结分析研究工作的深入创造了条件.     

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.     

第二类Fredholm积分方程的泰勒展开解法

本进一步发展了用Taylor公式求解第二类Fredholm积分方程的方法，并给出了近似解的误差精度分析．     

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

应用美学原理进行愉悦式教学的尝试

由于物理学的学习难度均较大,使学生学习完全处于被动状态,如何扭转此局面呢?愉悦式教法定能如愿。1 让学生充分领略学科的美 要学好物理,首先必须对它们产生兴趣.学科安排本身就是一种美,加之论述的逻辑     

集值映射的切导数与向量优化问题的最优性条件

利用集值映射切导数与半可微概念，给出了无约束与具约束的集值向量优化问题局部真有效解与局部强有效解的最优性条件。     

Study on Inhibitors of Methionine Synthase Ⅷ: Synthesis of 2,5-Diamino-4-oxo-6- (3-butenyl) pyrimidine

Cobalamin-dependent methionine synthase plays a crucial role in folate metabolism and such would appear to be an excellent target for rational antifolate drug design. However, to date, no anticancer agents directed at this enzyme are available, but the enzyme is efficiently and specifically inhibited by N2O and this has proven invaluable for evaluating the biochemical consequence of enzyme inhibition and for mechanistic studies. [1,2] 2,5-Diamino-4-oxo-6-(3-butenyl) pyrimidine, a key intermediate in synthetic inhibitors of methionine synthase, was first synthesized using γbutenyl-β-ketoester and guanidine carbonate (Scheme 1). [3]     

关于W_2~1[a,b]能否扩大的一些问题

讨论了W12[a,b]能否扩大为含有有间断点函数的再生核空间的问题.结论是:若再生核空间W W12[a,b]含有有间断点的函数,则间断点必固定、间断点个数必有限且非端点a,b.进一步,我们构造了函数含有n个间断点的再生核空间并给出其再生核表达式.     

散射体系A+BC的平-振能量传递

用Alhassid与Levine所提出的动力学李代数的方法(简称A-L理论),研究了含有二级非简谐的共线散射体系A+BC的平-振能量传递问题,计算了散射过程含有主要动力学参量的跃迁矩阵和跃迁几率的解析表示式.     

Synthesis,X-Ray Structure and Characterization of a Triruthenium Cluster Complex Ru_3~Ⅲ(μ_3-O)(μ-CH_3COO)_6(py)_2Cl with Four Steps One-electron Redox Processes

Great attention is currently paid to the synthesis of polynuclear transition metal complexes as well as their photochemical, photophysical, and electrochemical properties. The design of multicomponent systems capable of performing useful light- and/or redox-induced function is of special interest1. The oxo-centered carboxylate-bridge trinuclear ruthenium clusters have been investigated extensively during recent decades because they have remarkable electron-transfer properties, intense visibl…