A family of interesting exact solutions of the sine-Gordon equation

By using AKNS [Phys. Rev. Lett. 31 (1973) 125] system and introducing the wave function, a family of interesting exact solutions of the sine-Gordon equation are constructed. These solutions seem to be some soliton, kink, and anti-kink ones respectively for the different choice of the spectrum, whereas due to the interaction between two traveling-waves they have some properties different from usual soliton, kink, and anti-kink solutions.

A new method of studying the dynamical behavior of the sine-gordon equation

We try to connect the theory of infinite dimensional dynamical systems and nonlinear dynamical methods. The sine-Gordon equation is used to illustrate our method of discussing the dynamical behaviour of infinite dimensional systems. The results agree with those of Bishop and Flesch [SLAM J. Math. Anal. 21 (1990) 1511].

Sine-Gordon方程的截断系统的同宿轨道

研究ＳｉｎｅＧｏｒｄｏｎ方程的广义渐近惯性流形上的常微分方程组，证实了在一定参数条件下存在Ｗｉｇｇｉｎｓ［１］意义下的同宿轨道．计算表明，与Ｂｉｓｈｏｐ［２］用数值计算得到的ＳｉｎｅＧｏｒｄｏｎ方程产生混沌的参数值尚有差别，考虑到同宿出现参数值往往低于混沌出现参数值，故结果在定性上正确，而且改进了文［１］中的结果．

New doubly periodic waves of the (2+1)-dimensional double sine-Gordon equation

New exact solutions of the (2 + 1)-dimensional double sine-Gordon equation are studied by introducing the modified mapping relations between the cubic nonlinear Klein-Gordon system and double sine-Gordon equation. Two arbitrary functions are included into the Jacobi elliptic function solutions. New doubly periodic wave solutions are obtained and displayed graphically by proper selections of the arbitrary functions.

instability of standing wave, global existence and blowup for the klein-gordon-zakharov system with different-degree nonlinearities

This paper discusses the Klein–Gordon–Zakharov system with different-degree nonlinearities in two and three space dimensions. Firstly, we prove the existence of standing wave with ground state by applying an intricate variational argument. Next, by introducing an auxiliary functional and an equivalent minimization problem, we obtain two invariant manifolds under the solution flow generated by the Cauchy problem to the aforementioned Klein–Gordon–Zakharov system. Furthermore, by constructing a type of constrained variational problem, utilizing the above two invariant manifolds as well as applying potential well argument and concavity method, we derive a sharp threshold for global existence and blowup. Then, combining the above results, we obtain two conclusions of how small the initial data are for the solution to exist globally by using dilation transformation. Finally, we prove a modified instability of standing wave to the system under study.

Genome 10K: A Proposal to Obtain Whole-Genome Sequence for 10 000 Vertebrate Species

The human genome project has been recently complemented by whole-genome assessment sequence of 32 mammals and 24 nonmammalian vertebrate species suitable for comparative genomic analyses. Here we anticipate a precipitous drop in costs and increase in sequ

Zebu Cattle Are an Exclusive Legacy of the South Asia Neolithic

Animal domestication was a major step forward in human prehistory, contributing to the emergence of more complex societies. At the time of the Neolithic transition, zebu cattle (Bos indicus) were probably the most abundant and important domestic livestock species in Southern Asia. Although archaeological evidence points toward the domestication of zebu cattle within the Indian subcontinent, the exact geographic origins and phylogenetic history of zebu cattle remains uncertain. Here, we report evidence from 844 zebu mitochondrial DNA (mtDNA) sequences surveyed from 19 Asiatic countries comprising 8 regional groups, which identify 2 distinct mitochondrial haplogroups, termed I1 and I2. The marked increase in nucleotide diversity (P < 0.001) for both the I1 and I2 haplogroups within the northern part of the Indian subcontinent is consistent with an origin for all domestic zebu in this area. For haplogroup I1, genetic diversity was highest within the Indus Valley among the three hypothesized domestication centers (Indus Valley, Ganges, and South India). These data support the Indus Valley as the most likely center of origin for the I1 haplogroup and a primary center of zebu domestication. However, for the I2 haplogroup, a complex pattern of diversity is detected, preventing the unambiguous pinpointing of the exact place of origin for this zebu maternal lineage. Our findings are discussed with respect to the archaeological record for zebu domestication within the Indian subcontinent.

四川美姑、汉源黑颈鹤迁徙停歇地环境调查

Eight Black-necked Cranes(Grus nigricollis)were banded with satellite transmitters in the spring of 2005 and 2006 at Dashanbao in Yunnan and Caohai in Guizhou.Six of the banded cranes completed at least one migration between their wintering and breeding grounds.Townships where these birds stopped over include:Wusihe,Henan,Nimei,Liyuan,Yidong,Sanjiaoping,and Huangmu in Hanyuan County,and Liuhong,Yiguojie,Nongzuo,Lamuajue,Bingtu,Wagu,Equgulongmen,and Niha in Meigu County.We surveyed stop-over sites in Hanyuan...

基于Yices对时间自动机的有界模型检测

随着工业化程度的提高，对模型的检测方法受到越来越大的重视。通常的检测方法有推理验证和模型检测。而相对于推理验证，模型检测由于其高度自动化的检测过程，在工业界有着更广泛的应用。 模型检测自从概念雏形开始之时，就受到状态爆炸问题的困扰。为了解决这个问题，不同的技术被提了出来。McMillan提出利用OBDD的符号模型检测方法在一定程度上解决了这个问题。另外，本文所主要讲述的有界模型检测，经大量的实践证明，对符号模型检测也是一个很好的补充。 由于问题的特殊性，科学家提出来不同的模型来描述不同情况的系统。由于时间自动机能够很好地描述异步系统，而且这种系统广泛地存在于现实生活中，对时间自动机这种特殊模型的验证方法的研究变得很有必要。另外，由于时间自动机带有实数域的时钟变量，这导致了时间自动机有一个无限域的状态迁移图。为了利用模型检测的方法对其进行验证，需要对时间变量进行预处理。一般的方法是把时钟所对应的时钟区或时钟域根据等价性，化为有限的域，相应地，把时间自动机转化为有限的状态迁移图。 为了避免在对时间自动机有界模型检测过程中对变量进行布尔编码以及对时间自动机模型中的时钟进行预处理，本文给出一个利用SMT工具进行的对时间自动机进行有界模型检测的方法。该方法的主要优点是无需将时间自动机中的时钟进行预处理，也不需要将模型中的变量进行布尔编码，只需将时间自动机转变为SMT工具可解的逻辑公式，利用SMT的高效求解来进行模型检测。实验结果表明，对于某些可达性性质的验证，这种方法的效率有一定的优势。

Synthesis and luminescence of CdS/ZnS core/shell nanocrystals

CdS/ZnS core/shell nanocrystals were prepared from an aqueous/alcohol medium. A red shift of the absorption spectrum and an increase of the room temperature photoluminescence intensity accompanied shell growth.

System size dependence of associated yields in hadron-triggered jets STAR Collaboration

We present results on the system size dependence of high transverse momentum di-hadron correlations at root s(NN) = 200 GeV as measured by STAR at RHIC. Measurements in d + Au, Cu + Cu and Au + Au collisions reveal similar jet-like near-side correlation yields (correlations at small angular separation Delta phi similar to 0, Delta eta similar to 0) for all systems and centralities. Previous measurements have shown Chat the away-side (Delta phi similar to pi) yield is suppressed in heavy-ion collisions. We present measurements of the away-side Suppression as a function of transverse momentum and centrality in Cu + Cu and Au + Au collisions. The suppression is found to be similar in Cu + Cu and An + An collisions at a similar number of participants. The results are compared to theoretical calculations based on the patron quenching model and the modified fragmentation model. The observed differences between data and theory indicate that the correlated yields presented here will further constrain dynamic energy loss models and provide information about the dynamic density profile in heavy-ion collisions. (C) 2009 Elsevier B.V. All rights reserved.

Measurement of the Bottom Quark Contribution to Nonphotonic Electron Production in p plus p Collisions at root s=200 GeV

The contribution of B meson decays to nonphotonic electrons, which are mainly produced by the semileptonic decays of heavy-flavor mesons, in p + p collisions at root s = 200 GeV has been measured using azimuthal correlations between nonphotonic electrons and hadrons. The extracted B decay contribution is approximately 50% at a transverse momentum of p(T) >= 5 GeV/c. These measurements constrain the nuclear modification factor for electrons from B and D meson decays. The result indicates that B meson production in heavy ion collisions is also suppressed at high p(T).

Higher Moments of Net Proton Multiplicity Distributions at RHIC

200 GeV corresponding to baryon chemical potentials (mu(B)) between 200 and 20 MeV. Our measurements of the products kappa sigma(2) and S sigma, which can be related to theoretical calculations sensitive to baryon number susceptibilities and long-range correlations, are constant as functions of collision centrality. We compare these products with results from lattice QCD and various models without a critical point and study the root s(NN) dependence of kappa sigma(2). From the measurements at the three beam energies, we find no evidence for a critical point in the QCD phase diagram for mu(B) below 200 MeV.