Twin Paradox and the Logical Foundation of Relativity Theory

We study the foundation of space-time theory in the framework of first-order logic (FOL). Since the foundation of mathematics has been successfully carried through (via set theory) in FOL, it is not entirely impossible to do the same for space-time theory (or relativity). First we recall a simple and streamlined FOL-axiomatization Specrel of special relativity from the literature. Specrel is complete with respect to questions about inertial motion. Then we ask ourselves whether we can prove the usual relativistic properties of accelerated motion (e.g., clocks in acceleration) in Specrel. As it turns out, this is practically equivalent to asking whether Specrel is strong enough to “handle” (or treat) accelerated observers. We show that there is a mathematical principle called induction (IND) coming from real analysis which needs to be added to Specrel in order to handle situations involving relativistic acceleration. We present an extended version AccRel of Specrel which is strong enough to handle accelerated motion, in particular, accelerated observers. Among others, we show that~the Twin Paradox becomes provable in AccRel, but it is not provable without IND.     

牛顿碰撞球的解释与分析

对牛顿碰撞球的常规碰撞形式和混合联珠单球碰撞形式做了理论分析和解释.在常规碰撞时,将悬线(钓鱼线)先悬挂小球一段时间后组装仪器,可克服悬线的拉力.在混合联珠单球碰撞时,根据理论分析,选取大球和小球的质量比为27∶8时,演示效果较好.     

Analogues of the Kolosov–Muskhelishvili General Representation Formulas and Cauchy–Riemann Conditions in the Theory of Elastic Mixtures

Analogues of the well-known Kolosov–Muskhelishvili formulas of general representations are obtained for nonhomogeneous equations of statics in the case of the theory of elastic mixtures. It is shown that in this theory the displacement and stress vector components, as well as the stress tensor components, are represented through four arbitrary analytic functions.The usual Cauchy–Riemann conditions are generalized for homogeneous equations of statics in the theory of elastic mixtures.     

水闸闸室结构三维样条边界元分析

用三维样边界元法分析水闸闸室结构。底板，闸墩和载水墙等为其子结构，交通桥，工作桥和胸墙等处理为内部支撑。地基和边载可以是任意的，只要能给定地表位移面力关系。在各种工况下，不论是设置平板门还是弧形门，是平底板是反拱底板，即使在稀疏剖分下也能给出高精度的位移场，应力场和地基反力场。     

某工程地基基坑支护探讨

软土地基中的支护是基础工程的关键，在节约成本的前提下，选择合理的支护结构至关重要．通过对某公司将要开发的2个基坑支护方案的项目进行的相关分析、计算和探讨，总结出了软土地基中的基坑支护方案的选择原则及其相对应的施工措施等．     

确定SHPB实验中延迟时间的曲线拟合法

 利用已知的试件密度，用预估的透射波与实测的透射波进行早期形状比较，确定试件弹性波速度，进而确定了SHPB试验数据处理时的延迟时间。     

Probing proton halo of the exotic nucleus28S by elastic electron scattering

Elastic electron scattering on the exotic light nucleus²⁸S is investigated in the plane wave Born approximation. The variation of the squared form factors of²⁸S with momentum transfer is compared with that of³²S. It is found that the behavior of the form factors near the second minimum (with a moderate momentum transfer) is sensitive to the alteration of the charge density distribution of halo protons in²⁸S. This indicates that elastic electron scattering can be a good probe of the structure of proton-halo nuclei.     

A Generalization of a Two-Parameter Quantization for the Group GL 2(k)

We generalize a well-known two-parameter quantization for the group GL ₂(k) (over an arbitrary field k). Specifically, a certain class of Hopf algebras is constructed containing that quantization. The algebras are constructed given an arbitrary coalgebra and an arbitrary pair of its commuting anti-isomorphisms, and are defined by quadratic relations. They are densely linked to the compact quantum groups introduced by Woronowicz. We give examples of Hopf algebras that can be rowed up to the two-parameter quantization for GL ₂(k).     

Collective bounce-off phenomenon in139La+Ag(Br) reaction at 1.1 A GeV energy

Out of a total statistics of 896¹³⁹La+Ag(Br) interactions, 128 interactions having multiplicity of target fragments (Z⩾1)⩾8 and projectile fragments (Z⩾2)⩾4 have been selected. They correspond to quasi-peripheral interactions. Azimuthal angle correlation between sources of target fragments (TFs) and projectile fragments (PFs) shows the existence of bounce-off effect. Using data of La+Ag(Br) and⁸⁴Kr+Ag(Br) reactions it is shown that individual helium [Z=2, PFs] and heavier fragment [Z⩾3, PFs] show different emission characteristics. Further, a two prong correlation functionT(Φ _ij ) plotted for heavier fragments and helium fragments separately, indicates the possibility of existence of different physical conditions. This observation is supported by the different momentum widths of helium fragments and heavier fragments. From the momentum width data of Kr+Ag(Br) reactions normalized density comes out to be ≈4.7. Using quasi-elastic kinematics for the bounce-off nuclei, the excitation energy has been computed from the experimental data of flow angles. The strength of bounce-off seems to decrease with the increase of excitation energy or temperature.     

一些高Tc超导体的弹性性质

 本文用超声相比较方法测定了高T_c超导体La_1.85Sr_0.15CuO₄，La₂CuO₄和YBa₂Cu₃O₇的纵波和横波声速，进而导出了它们的纵向模量、切变模量、杨氏模量、泊松比、德拜温度及定体比热。在La_1.85Sr_0.15CuO₄样品上，还进行了压力实验，发现所有弹性模量都是随压强增加而增加。定体比热c_V和泊松比σ在高压下则略有下降。德拜温度是随压强增加而增加的。