The categoricity of the group of all computable automorphisms of the rational numbers

We prove that there is a first-order sentence ϕ such that the group of all computable automorphisms of the ordering of the rational numbers is its only model among the groups that are embeddable in the group of all computable permutations. Supported by a Scheme 2 grant from the London Mathematical Society. __________ Translated from Algebra i Logika, Vol. 46, No. 5, pp. 649–662, September–October, 2007.     

基于2,5-二(4′-甲酰基苯基)苯乙烯的螺旋链光学活性聚合物的合成与表征

通过2,5-二溴苯乙烯与对甲酰基苯硼酸的Suzuki偶联反应得到2,5-二(4′-甲酰基苯基)苯乙烯.在催化剂量的冰乙酸存在下,与光学纯的(S)-(-)-α-甲基苄胺或(R)-(+)-α-甲基苄胺发生缩和反应,得到了一对手性非外消旋单体,(+)-2,5-二{4-′[(N-(S)-α-甲基苄亚胺基)次甲基]苯基}苯乙烯和(-)-2,5-二{4′-[(N-(R)-α-甲基苄亚胺基)次甲基]苯基}苯乙烯.以偶氮二异丁腈(AIBN)或过氧化苯甲酰(BPO)为引发剂,经自由基溶液聚合得到光学活性聚合物.比旋光度、紫外-可见吸收光谱以及圆二色光谱研究表明,聚合物主链可能形成了某一方向占优的稳定螺旋构象,且该螺旋构象的旋光方向与单体的旋光方向相反.聚合条件对聚合物的光学活性有很大影响,在极性较大的芳香族溶剂和较高温度下得到的聚合物具有和单体相差更大的比旋光度.侧基的手性基团脱除后,聚合物仍具有一定的旋光性,说明聚合过程中形成的螺旋手性具有一定的记忆效应.     

板模型中具广义边界条件的迁移算子的谱分析

在LP(1 P<∞)空间研究了板模型中一类带广义边界条件具各向异性、连续能量、均匀介质迁移算子的谱,证明了该迁移算子生成C0半群的D yson—Ph illips展开式的二阶余项在LP(1相似文献   

The automorphism group of Payne derived generalized quadrangles

We solve a long-standing open problem by proving that the automorphism group of any thick Payne derived generalized quadrangle with ambient quadrangle S a thick generalized quadrangle of order s, s?5 and odd, with a center of symmetry, is induced by the automorphism group of S.     

Representations, convolution square roots and spherical vectors

We extend results on square integrable representations of a locally compact group to subrepresentations of a representations induced from a character of a closed subgroup. We do so working in the framework of quotient representations of ∗-algebras.     

Automatic continuity and representation of group homomorphisms defined between groups of continuous functions

Let C(X,G) be the group of continuous functions from a topological space X into a topological group G with pointwise multiplication as the composition law, endowed with the uniform convergence topology. To what extent does the group structure of C(X,G) determine the topology of X? More generally, when does the existence of a group homomorphism H between the groups C(X,G) and C(Y,G) implies that there is a continuous map h of Y into X such that H is canonically represented by h? We prove that, for any topological group G and compact spaces X and Y, every non-vanishing C-isomorphism (defined below) H of C(X,G) into C(Y,G) is automatically continuous and can be canonically represented by a continuous map h of Y into X. Some applications to specific groups and examples are given in the paper.     

Nonlinear modelling and control of a common rail injection system for diesel engines

Modern trends in designing mechatronic systems call for a synergic design of the separated subsystems (mechanic, electronic parts, control modules, etc.) concurring to the overall performance. Following this point of view, this paper presents a control oriented model and a nonlinear control design for a Common Rail injection system. First a model is developed, which is tuned in a virtual simulation environment, representing the injection system in details in a reliable replication of reality. Then a sliding mode control is developed. Both the model of the injection process and of the control law are validated by a virtual detailed simulation environment. The prediction capability of the model and the control efficiency are clearly shown.     

Propagation of Light in an Ensemble of Tripod Level Atoms

We study the propagation of a quantum probe light in an ensemble of tripod level atoms when the atoms are coupled to two other classical control fields. First we calculate the dispersion properties, such as susceptibility and group velocity, of the probe light within such an atomic medium under the case of three-photon resonance via the dynamical algebra method of collective atomic excitations. Then we calculate the dispersion of the probe light in the case that two classical control fields have the different detunings to the relative atomic transitions. Our results show that in both cases the phenomenon of electromagnetically induced transparency can occur. Especially under the second case, we can find two transparency windows for the probe light.     

70 GHz二次谐波倍频回旋速调管研究

 对70 GHz二次谐波倍频回旋速调管高频结构和电子与波互作用进行了研究。研究了TE02模腔体绕射品质因数及模式转化，解决了二次谐波倍频回旋速调管漂移段不能截止70 GHz的TE01模而引起的腔体间高频串扰的问题。分析了注电流、输入功率、电子横纵速度比和电子注引导中心半径等参数对输出功率、增益和效率的影响。针对二次谐波回旋速调管放大器工作频带窄、效率低，进行了高频结构优化设计，显著地展宽了工作频带，提高了互作用效率。在理论分析和高频计算的基础上，建立了注-波互作用PIC（粒子模拟）模型，进行了粒子模拟计算和优化，得到了70 GHz 的二次谐波倍频四腔回旋速调管放大器设计方案。粒子模拟结果表明：在工作电压70 kV，注电流13 A，电子注横向速度与纵向速度比为1.5时，中心频率69.81 GHz输出功率256 kW，带宽160 MHz，电子效率28%，饱和增益大于44 dB。     

Stability of tokamak plasmas with internal transport barriers against high n ideal magnetohydrodynamic ballooning mode

A ballooning mode equation for tokamak plasma, with the toroidicity and the Shafranov shift effects included, is derived for a shift circular flux tokamak configuration. Using this equation, the stability of the plasma configuration with an internal transport barrier （ITB） against the high n （the toroidal mode number） ideal magnetohydrodynamic （MHD） ballooning mode is analysed. It is shown that both the toroidicity and the Shaftanov shift effects are stabilizing. In the ITB region, these effects give rise to a low shear stable channel between the first and the second stability regions. Out of the ITB region towards the plasma edge, the stabilizing effect of the Shaftanov shift causes the unstable zone to be significantly narrowed.