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.     

二极管激光侧泵浦单横模100Hz电光调Q激光器

介绍了二极管激光侧泵浦单横模１００Ｈｚ电光调Ｑ激光器的实验结果。泵浦源为一个线阵准连续１００Ｗ二极管激光器，激光工作介质为ＮｄＹＡＧ薄梯形板条，板条与泵浦源间用柱透镜耦合，ＫＤ＊Ｐ电光晶体调Ｑ。在１００Ｈｚ重复频率下，获得单脉冲能量２．３７ｍＪ，脉宽小于７ｎｓ，光束质量因子Ｍ２＝１．１的１．０６μｍ激光，光－光效率为８．５％，斜效率为１８．７％。     

Thermal stability of poly(mono-n-alkylitaconates) and mono-n-alkylitaconate-co-vinylpyrrolidone copolymers I

Poly(monoitaconates) containing octyl, decyl and dodecyl groups and random monoalkylitaconate-co-vinylpyrrolidone copolymers were studied by thermogravimetric analysis. Copolymers of mono-n-octylitaconate (MOI), mono-n-decylitaconate (MDI), and mono-n-dodecylitaconate (MDoI), respectively, with N-vinyl-2-pyrrolidone (VP) of different compositions were studied by dynamic thermogravimetric analysis. The thermal stability of the copolymers depends on the structure of the monoitaconate comonomer and on the composition of the copolymer The kinetic analysis of the degradation data shows that the thermal decomposition of these copolymers can be described by several kinetic orders depending on the copolymer and on the composition. The relative thermal stability of the copolymers increases as the VP content increases and as the length of the side chain of the itaconate increases, following the same trend as the flexibility of the copolymers in solution.     

The effect of side substituents on rotation hindrance in polyheteroarylenes

Hindered rotation was considered in calculations of the conformational parameters of a series of polyheteroarylenes with bulky side substituents by the Monte-Carlo method. Within the range of experimental errors, the results of calculations for several polyarylates coincide with the values of conformational rigidity, determined from hydrodynamic experimental data. The proposed procedure was used to estimate the rigidities of a number of polymers with bulky side substuents for which experimental determination is difficult. Translated fromIzvestiya Akademii Nauk. Seriya Khimicheskaya, No. 7, pp. 1287–1296, July, 1998.     

STUDY ON MAGNETIC FIELD-INDUCED 0RIENTATI0N OF A CHIRAL SIDE-CHAIN LIQUID CRYSTAL POLYACRYLATE USING INFRARED DICHROISM

Magnetic field-induced orientation of a chiral side chain liquid crystalline polyacrylate(P-11) was studied by using IR dichroism. For the investigated P-11, it has been shown thatthe magnetic alignment takes place over the entire temperature range between its meltingpoint and clearing point and the orientation level is strongly temperature-dependent, thedevelopment with time of the magnetic orieatation follows an exponeotial-type relation,and the smectic phase state influences the thermal relaxation process in the absence of themagnetic field.     

24ζ-甲基-20 S-胆甾醇的合成

已发现的天然甾醇均为20R 构型。近年来在地质体中发现了具有20S 构型的甾烷类生物标志化合物,并称之为地质构型。合成20S 构型的甾烷的方法之一是由20S 构型的甾醇为原料。20S-胆甾醇及20S-胆甾烷的合成已有报道,但24ξ-甲基-20S-     

缩聚反应合成侧链液晶聚合物

侧链液晶聚合物的合成方法,可归纳为3类:一是烯基的单体,如甲基丙烯酸酯,或丙烯酸酯,氯代丙烯酸酯等,经自由基聚合反应,阴离子聚合反应及甲基丙烯酸酯的基团转移聚合反应,得到侧链液晶聚合物;二是变性反应,如聚硅氧烷与丙烯酸酯介     

有机硅侧链液晶研究进展

综述了国内外有机硅侧链液晶近年来的研究进展，对近晶型、席夫碱型、向列型、胆甾型、偶氮苯型、鱼骨型以及光学非线性型几种主要类型的有机硅侧链液晶进行了详细介绍，并对近年来受到重视的有机硅侧链液晶电流性和离聚物研究进展作了较全面的总结，最后对其应用前景进行了展望。     

Exact rotamer optimization for protein design

Computational methods play a central role in the rational design of novel proteins. The present work describes a new hybrid exact rotamer optimization (HERO) method that builds on previous dead-end elimination algorithms to yield dramatic performance enhancements. Measured on experimentally validated physical models, these improvements make it possible to perform previously intractable designs of entire protein core, surface, or boundary regions. Computational demonstrations include a full core design of the variable domains of the light and heavy chains of catalytic antibody 48G7 FAB with 74 residues and 10(128) conformations, a full core/boundary design of the beta1 domain of protein G with 25 residues and 10(53) conformations, and a full surface design of the beta1 domain of protein G with 27 residues and 10(60) conformations. In addition, a full sequence design of the beta1 domain of protein G is used to demonstrate the strong dependence of algorithm performance on the exact form of the potential function and the fidelity of the rotamer library. These results emphasize that search algorithm performance for protein design can only be meaningfully evaluated on physical models that have been subjected to experimental scrutiny. The new algorithm greatly facilitates ongoing efforts to engineer increasingly complex protein features.