Tl2Ba2Ca2Cu3Oy超导体磁通钉扎能的分布

描述一种测量高温超导体磁通钉扎能U₀及其分布的新方法,此方法主要之点是测量磁化后样品的零场临界电流随时间的变化,利用这一方法测量Tl₂Ba₂Ca₂Cu₃O_y的U₀值分布(T=78K)。根据所得结果,对已报道的U₀值的分散性提出一种新解释。 关键词：     

多项式理想准素分解的算法

讨论了多项式理想准素分解的算法,对于理想坐标变换中关键的“一般位置”的计算,给出了一个确定算法,并建立了特别规范Groebner基的概念,利用这一概念及文中提供的相应算法,可以方便地计算理想的维数,进而使用降维的方法来得到高维理想的准素分解。     

Effects of Processing Parameters on Microstructure and Properties of Nanoscale ZrC/ZrB2 Multilayered Coatings

ZrC/ZrB2 multilayered coatings with bilayer periods of 3.5-40nm are synthesized by rf magnetron sputtering. Analyses of x-ray diffraction, scanning electron microscopy and nanoindentation indicate that multilayered coatings possess much higher hardness and greater fracture resistance than monolithic ZrC and ZrB2 coatings. A maximum hardness （41.TCPa） and a critical fracture load （73.7mN） are observed in the multilayer with A = 32 nm deposited at the substrate bias -40 V. Higher residual stress built in the ZrC layer can be released by periodic insertion of ZrB2 into the ZrC layer. A clear multilayered structure with mixed ZrB2（001）, ZrB2 （002） and ZrC （111） orientations should be responsible for the enhanced mechanical properties.     

高抗冲聚丙烯序列结构的综合表征

用高分辨＾１３Ｃ ＮＭＲ、ＦＴＩＲ等手段获得了高抗冲聚丙烯的组成和序列分布等链结构方面的信息。用ＤＳＣ、ＷＡＸＤ等方法研究了它们的结晶行为、熔融转变及晶体结构，多种方法相结合有效地表征了高抗冲聚丙烯的序列结构。     

Ce偶-偶同位素低激发态性质的IBM2描述

通过考虑同类核子相干对间的四极相互作用，在IBM2中对Ce偶－偶同位素^128Ce-^138Ce的低激发态能谱和E2跃迁几率及分支比进行了理论分析，计算结果有效地改善了IBM中这些核的γ带能谱的Staggering现象描述，与实验观察到的低激发态结果基本一致。     

大面积玻璃RPC模型与性能测试

介绍了可用于粒子探测的大面积玻璃高阻板探测器RPC(Resistive Plate Chamber).使用两块间隔2mm的普通浮法玻璃作为电极,其中充入流动的混合气体(氩气+异丁烷+F134A),工作高压约9600V;性能测试结果,其单室效率可达97%,时间分辨可达到1.8ns.     

真空注入法在功能性食品加工中的试验研究

功能性食品是除具有原有的营养功能外,还具有一种或多种能够提高人的健康状况或防治疾病的靶向功能。真空注入法是一种新型的功能性新鲜果蔬的生产方法,可以在多孔产品中注入任何成分,以调整产品组成。在真空注入过程中,温度、溶液浓度和真空处理时间是影响注入量的重要参数,本文研究了这三个参数对真空注入强化萝卜钙含量的影响。     

一类广义非线性混合拟变分包含组

本文引入了一类新的带松弛单调映射和松弛Lipschitz映射的广义非线性混合拟变分包含组 ,构造了求解该类变分包含组的迭代算法 ,证明了该类变分包含组解的存在性以及由本文构造的迭代算法产生的迭代序列的强收敛性 .所得结果推广和改进了大量文献中的最新结果[1 5 ] .     

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.