Rotation Numbers Of Invariant Manifolds Around Unstable Periodic Orbits For The Diamagnetic Kepler Problem

In this paper, a method to construct topological template in terms of symbolic dynamics for the diamagnetic Kepler problem is proposed. To confirm the topological template, rotation numbers of invariant manifolds around unstable periodic orbits in a phase space are taken as an object of comparison. The rotation numbers are determined from the definition and connected with symbolic sequences encoding the periodic orbits in a reduced Poincare section. Only symbolic codes with inverse ordering in the forward mapping can contribute to the rotation of invariant manifolds around the periodic orbits. By using symbolic ordering, the reduced Poincare section is constricted along stable manifolds and a topological template, which preserves the ordering of forward sequences and can be used to extract the rotation numbers, is established. The rotation numbers computed from the topological template are the same as those computed from their original definition.

On the invariant representation of spin tensors with applications

The invariant representation of the spin tensor defined as the rotation rate of a principal triad for a symmetric and non-degenerate tensor is derived on the basis of the general solution of a linear tensorial equation. The result can be naturally specified to study the. spin of the stretch tensors and to investigate the relations between various rotation rate tensors encountered frequently in modern continuum mechanics. A remarkable formula which relates the generalized stress conjugate to the generalized strain in Hill's sense. to Cauchy stress, is obtained in invariant form through the work conjugate principle. Particularly, a detailed discussion on the time rate of logarithmic strain and its conjugate stress is made as the principal axes of strain arc not fixed during deformation.

A single amino acid defines cross-species reactivity of tree shrew (Tupaia belangeri) CD1d to human invariant natural killer T (iNKT) cells

P>The non-classical major histocompatibility complex (MHC) class I molecule CD1d presents lipid antigens to invariant natural killer T (iNKT) cells, which are an important part of the innate immune system. CD1d/iNKT systems are highly conserved in evoluti

分布式系统中必然方式下的谓词检测

本文研究了Definitely模态下分布式计算的谓词检测问题，即判断在计算产生的格状态空间中，是否每条从最小元到最大元的路径都通过一个满足谓词的状态。本文的主要内容有以下四个方面： １、本文建立了一个逻辑公式用来描述一个DNF谓词在Definitely模态下的检测是否为真。这个逻辑公式给出了一个新的方式用以考察对于DNF谓词Definitely模态的含义。由这个逻辑公式可以导出一种原有的区间缩减技术：区间压缩。接下来使用这个逻辑公式，还可以得到两种新的区间缩减技术：区间组合和区间删除。为了进行区间组合和区间删除，本文将计算表示成Hasse图，同时给出了一个化简Hasse图的方法。 ２、本文给出了两类DNF谓词，它们可以按照与合取谓词类似的方式检测，因此有多项式时间的检测算法。这两类DNF谓词是：分离DNF谓词和分离-包含DNF谓词。 ３、必然状态和必然集合在上面两类DNF谓词的检测中起着重要作用，因此本文研究了必然状态和必然集合的一些性质。接下来本文提出了区域独立的概念，区域独立是上面两类DNF谓词有多项式时间检测算法的本质，同时给出了区域独立的一些基本性质。 ４、本文证明了正则谓词在Definitely模态下的检测是coNP完全的，回答了文献中提出的未解决的问题。接下来研究了一种特殊情况下正则谓词在Definitely模态下的检测。这种特殊情况是：计算的所有状态都是一致的，称这时的状态空间为全空间。本文给出了全空间情况下对于正则谓词，Definitely模态和Invariant模态之间的关系。并且给出了一种算法，它在全空间情况下通过测试n条简单路进行Definitely模态下正则谓词的检测，其时间复杂度是O(n|E|)，其中n为计算中进程的个数，|E|是计算中所有事件的个数。

Optimized logarithmic phase masks used to generate defocus invariant modulation transfer function for wavefront coding system

In a previous Letter [Opt. Lett. 33, 1171 (2008)], we proposed an improved logarithmic phase mask by making modifications to the original one designed by Sherif. However, further studies in another paper [Appl. Opt. 49, 229 (2010)] show that even when the Sherif mask and the improved one are optimized, their corresponding defocused modulation transfer functions (MTFs) are still not stable with respect to focus errors. So, by further modifying their phase profiles, we design another two logarithmic phase masks that exhibit more stable defocused MTF. However, with the defocus-induced phase effect considered, we find that the performance of the two masks proposed in this Letter is better than the Sherif mask, but worse than our previously proposed phase mask, according to the Hilbert space angle. (C) 2010 Optical Society of America

Knotted wave dislocation with the hopf invariant

We study the wave dislocations with an induced gauge potential. The topological current characterized the wave dislocations is constructed with the dual of Abelian gauge field. And the topological charges and locations of the wave dislocations are determined by the phi-mapping topological current theory. Furthermore, it is shown that the knotted wave dislocations can be described with a Hopf invariant in the wave field. At last we discussed the evolution of the knotted wave dislocations.

BRST invariant theory of a generalized 1+1 Dimensional nonlinear sigma model with topological term

We give a generalized Lagrangian density of 1 + 1 Dimensional O( 3) nonlinear sigma model with subsidiary constraints, different Lagrange multiplier fields and topological term, find a lost intrinsic constraint condition, convert the subsidiary constraints into inner constraints in the nonlinear sigma model, give the example of not introducing the lost constraint. N = 0, by comparing the example with the case of introducing the lost constraint, we obtain that when not introducing the lost constraint, one has to obtain a lot of various non-intrinsic constraints. We further deduce the gauge generator, give general BRST transformation of the model under the general conditions. It is discovered that there exists a gauge parameter beta originating from the freedom degree of BRST transformation in a general O( 3) nonlinear sigma model, and we gain the general commutation relations of ghost field.

Local histogram based geometric invariant image watermarking

Compared with other existing methods, the feature point-based image watermarking schemes can resist to global geometric attacks and local geometric attacks, especially cropping and random bending attacks (RBAs), by binding watermark synchronization with salient image characteristics. However, the watermark detection rate remains low in the current feature point-based watermarking schemes. The main reason is that both of feature point extraction and watermark embedding are more or less related to the pixel position, which is seriously distorted by the interpolation error and the shift problem during geometric attacks. In view of these facts, this paper proposes a geometrically robust image watermarking scheme based on local histogram. Our scheme mainly consists of three components: (1) feature points extraction and local circular regions (LCRs) construction are conducted by using Harris-Laplace detector; (2) a mechanism of grapy theoretical clustering-based feature selection is used to choose a set of non-overlapped LCRs, then geometrically invariant LCRs are completely formed through dominant orientation normalization; and (3) the histogram and mean statistically independent of the pixel position are calculated over the selected LCRs and utilized to embed watermarks. Experimental results demonstrate that the proposed scheme can provide sufficient robustness against geometric attacks as well as common image processing operations. (C) 2010 Elsevier B.V. All rights reserved.

A novel invariant and sequence comparison for DNA

We consider numerical characterization of DNA primary sequence based on the positions of bases (a, t, c, g) and the pairs of bases X, Y in DNA (X, Y=a, t, c, g). This leads to a representation of DNA by a numerical sequence. Then, we extract a novel invariant (molecular connectivity index) from the derived numerical sequences. The suitable invariant can offer a characterization of DNA primary sequence. Finally, we provide an illustration of its utility by making a comparison between ten DNA sequences belonging to beta-globin gene in different species. The evolutionary relationships of ten species we have revealed in this contribution accord with phylogenetic tree properly.

Coherent Structures in Transition of a Flat-Plate Boundary Layer at Ma=0.7

Direct numerical simulation (DNS) of a spatially evolving flat-plate boundary layer transition process at free stream Mach number 0.7 is performed. Tollmien-Schlichting (T-S) waves are added on the inlet boundary as the disturbances before transition. Typical coherent structures in the transition process are investigated based on the second invariant of velocity gradient tensor. The instantaneous shear stress and the mean velocity profile in the transition region are studied. In our view, the fact that the peak value of shear stress in the stress concentration area increases and exceeds a threshold value during the later stage of the transition process plays an important role in the laminar breakdown process.

Thermodynamical versus log-Poisson distribution in turbulence

The thermodynamical model of intermittency in fully developed turbulence due to Castaing (B. Castaing, J. Phys. II France 6 (1996) 105) is investigated and compared with the log-Poisson model (Z-S, She, E. Leveque, Phys. Rev. Lett. 72 (1994) 336). It is shown that the thermodynamical model obeys general scaling laws and corresponds to the degenerate class of scale-invariant statistics. We also find that its structure function shapes have physical behaviors similar to the log-Poisson's one. The only difference between them lies in the convergence of the log-Poisson's structure functions and divergence of the thermodynamical one. As far as the comparison with experiments on intermittency is concerned, they are indifferent.

An incremental micromechanical scheme for nonlinear particulate composites

A general incremental micromechanical scheme for the nonlinear behavior of particulate composites is presented in this paper. The advantage of this scheme is that it can reflect partly the effects of the third invariant of the stress on the overall mechanical behavior of nonlinear composites. The difficulty involved is the determination of the effective compliance tensors of the anisotropic multiphase composites. This is completed by making use of the generalized self-consistent Mori-Tanaka method which was recently developed by Dai et al. (Polymer Composites 19(1998) 506-513; Acta Mechanica Solida 18 (1998) 199-208). Comparison with existing theoretical and numerical results demonstrates that the present incremental scheme is quite satisfactory. Based on this incremental scheme, the overall mechanical behavior of a hard-particle reinforced metal matrix composite with progressive particle debonding damage is investigated.