Green's function of a two-dimensional interacting electron gas in a perpendicular magnetic field

It is rigorously proved that the Green's function of a uniform two-dimensional interacting electron gas in a perpendicular magnetic field is diagonal with respect to single-particle states in the Landau gauge. The implication of this theorem is briefly discussed.

Theoretical and experimental investigations of flexural wave propagation in periodic grid structures designed with the idea of phononic crystals

The propagation characteristics of fiexural waves in periodic grid structures designed with the idea of phononic crystals are investigated by combining the Bloch theorem with the finite element method. This combined analysis yields phase constant surfaces, which predict the location and the extension of band gaps, as well as the directions and the regions of wave propagation at assigned frequencies. The predictions are validated by computation and experimental analysis of the harmonic responses of a finite structure with 11 × 11 unit cells. The fiexural wave is localized at the point of excitation in band gaps, while the directional behaviour occurs at particular frequencies in pass bands. These studies provide guidelines to designing periodic structures for vibration attenuation.

基于Isabelle定理证明器算法程序的形式化验证

形式化验证对保证软件的正确性和可靠性具有十分重要的意义.定理机械证明是形式化验证的一个重要研究领域,Isabelle系统是一个被广泛运用的定理证明辅助工具.本文在分析Dijkstra最弱前置谓词理论的基础上,根据PAR方法开发的算法程序循环不变式,提出了一种使用Isabelle定理证明器对算法程序进行机械验证的方法.该方法既克服了传统手工验证过程的繁琐性和易错性等缺点,又达到"提高验证效率和保证算法程序高可信"的目标,具有很好的实用价值.

固液黏着功的Berthelot平均规则的推广及应用

以固液黏着功的Berthelot几何平均规则及其推广为基础的Zisman方程、Fowkes方程和Owens-Wendt方程是固体表面张力测定的基础.对Berthelot几何平均规则进行了进一步的推广,并以此为基础,对Zisman方程中的参数给出了推广的表示式,并对Fowkes方程和Owens-Wendt方程进行了进一步的推广.

Improvement of FEM's dynamic property

The discretization size is limited by the sampling theorem, and the limit is one half of the wavelength of the highest frequency of the problem. However, one half of the wavelength is an ideal value. In general, the discretization size that can ensure the accuracy of the simulation is much smaller than this value in the traditional finite element method. The possible reason of this phenomenon is analyzed in this paper, and an efficient method is given to improve the simulation accuracy.

BRST quantization and canonical Ward identity of the supersymmetric electromagnetic interaction system

According to the method of path integral quantization for the canonical constrained system in Becchi-Rouet-Stora-Tyutin scheme, the supersymmetric electromagnetic interaction system was quantized. Both the Hamiltonian of the supersymmetric electromagnetic interaction system in phase space and the quantization procedure were simplified. The BRST generator was constructed, and the BRST transformations of supersymmetric fields were gotten; the effective action was calculated, and the generating functional for the Green function was achieved; also, the gauge generator was constructed, and the gauge transformation of the system was obtained. Finally, the Ward-Takahashi identities based on the canonical Noether theorem were calculated, and two relations between proper vertices and propagators were obtained.

DBHF approach and thermodynamic consistency for nuclear matter calculations

Within the framework of Dirac Brueckner-Hartree-Fock (DBHF) approach, we calculate the energy per nucleon, the pressure, the nucleon self-energy, and the single-nucleon energy in the nuclear matter by adopting two different covariant representations for T-matrix. We mainly investigate the influence of different covariant representations on the satisfiable extent of the Hugenholtz-Van Hove (HVH) theorem in the nuclear medium in the framework of DBHF. By adopting the two different covariant representations of T-matrix, the predicted nucleon self-energy shows a quite different momentum and density dependence. Different covariant representations affect remarkably the satisfiable extent of the HVH theorem. By adopting the complete pseudo-vector representation of the T-matrix, HVH theorem is largely violated, which is in agreement with the result in the non-relativistic Brueckner-Hartree-Fock approach and reflects the importance of ground state correlations for single nucleon properties in nuclear medium, whereas by using the pseudoscalar representation, the ground state correlation cannot be shown. It indicates that the complete pseudo-vector presentation is more feasible than the pseudo-scalar one.

Unified expressions of all integral variational principles

In terms of the quantitative causal principle, this paper obtains a general variational principle, gives unified expressions of the general, Hamilton, Voss, Holder, Maupertuis-Lagrange variational principles of integral style, the invariant quantities of the general, Voss, Holder, Maupertuis-Lagrange variational principles are given, finally the Noether conservation charges of the general, Voss, Holder, Maupertuis-Lagrange variational principles axe deduced, and the intrinsic relations among the invariant quantities and the Noether conservation charges of all the integral variational principles axe achieved.

Production cross sections of superheavy nuclei based on dinuclear system model

The barrier distribution function method is introduced in the dinuclear system model in the calculation of the transmission probability, which is the first stage in the synthesis of superheavy nuclei. Dynamical deformation and averaging collision orientations are considered in the calculation of the fusion probability by solving master equation numerically. Survival probability with respect to xn evaporation channel (x = 1-5) in the de-excitation process of the thermal compound nucleus is calculated, in which the level density of the Fermi-gas model is used. Production cross sections of a series of superheavy nuclei formed in the reactions taken magic and deformed nuclei as target in Ca-48 induced reactions are studied systematically. The calculated results are in good agreement with available experimental data. Isotopic dependence of the production cross sections in the reactions Ca-48 + Pu is analyzed.

Model analysis of dissolved inorganic phosphorus exports from the Yangtze river to the estuary

In this paper, we estimate the inputs of phosphorus (P) to the Yangtze River Basin and exports of dissolved inorganic phosphorus (DIP) from the river to the estuary for the period 1970-2003, by using the global NEWS-DIP model. Modeled DIP yields range from 2.5 kg P km(-2) yr(-1) in 1970 to 4.6 kg P km(-2) yr(-1) in 1985, and then dramatically increase to 14.1 kg P km(-2) yr(-1) in 2003. No significant difference between the modeled and measured values at the level of P = 0.05 is observed. The study also demonstrates variable source contributions of P to the modeled DIP during the period 1970-2003. Point sewage P input accounted for approximately 100% in the period 1970-1985 and substantially decreased to 24.8% in 2003. Chemical fertilizer contributed 25.4% of DIP yields in 1986 and increased continuously to 50.3% in 2003, while a stable trend in manure P contribution averaging 22.9% of DIP yields was shown in the same period. The study concludes that P inputs to the Yangtze River Basin and the river DIP export to the estuary have substantially increased during the study period consequence to human pressure.

Reactive Mold Filling in Resin Transfer Molding Processes with Edge Effects

Reactive mold filling is one of the important stages in resin transfer molding processes, in which resin curing and edge effects are important characteristics. On the basis of previous work, volume-averaging momentum equations involving viscous and inertia terms were adopted to describe the resin flow in fiber preform, and modified governing equations derived from the Navier-Stokes equations are introduced to describe the resin flow in the edge channel. A dual-Arrhenius viscosity model is newly introduced to describe the chemorheological behavior of a modified bismaleimide resin. The influence of the curing reaction and processing parameters on the resin flow patterns was investigated.

First-passage time distribution and non-Markovian diffusion dynamics of protein folding

We study the kinetics of protein folding via statistical energy landscape theory. We concentrate on the local-connectivity case, where the configurational changes can only occur among neighboring states, with the folding progress described in terms of an order parameter given by the fraction of native conformations. The non-Markovian diffusion dynamics is analyzed in detail and an expression for the mean first-passage time (MFPT) from non-native unfolded states to native folded state is obtained. It was found that the MFPT has a V-shaped dependence on the temperature. We also find that the MFPT is shortened as one increases the gap between the energy of the native and average non-native folded states relative to the fluctuations of the energy landscape. The second- and higher-order moments are studied to infer the first-passage time distribution. At high temperature, the distribution becomes close to a Poisson distribution, while at low temperatures the distribution becomes a Levy-type distribution with power-law tails, indicating a nonself-averaging intermittent behavior of folding dynamics. We note the likely relevance of this result to single-molecule dynamics experiments, where a power law (Levy) distribution of the relaxation time of the underlined protein energy landscape is observed.

Temperature dependence of the distribution of the first passage time: Results from discontinuous molecular dynamics simulations of an all-atom model of the second beta-hairpin fragment of protein G

More than 22 000 folding kinetic simulations were performed to study the temperature dependence of the distribution of first passage time (FPT) for the folding of an all-atom Go-like model of the second beta-hairpin fragment of protein G. We find that the mean FPT (MFPT) for folding has a U (or V)-shaped dependence on the temperature with a minimum at a characteristic optimal folding temperature T-opt*. The optimal folding temperature T-opt* is located between the thermodynamic folding transition temperature and the solidification temperature based on the Lindemann criterion for the solid. Both the T-opt* and the MFPT decrease when the energy bias gap against nonnative contacts increases. The high-order moments are nearly constant when the temperature is higher than T-opt* and start to diverge when the temperature is lower than T-opt*. The distribution of FPT is close to a log-normal-like distribution at T* greater than or equal to T-opt*. At even lower temperatures, the distribution starts to develop long power-law-like tails, indicating the non-self-averaging intermittent behavior of the folding dynamics. It is demonstrated that the distribution of FPT can also be calculated reliably from the derivative of the fraction not folded (or fraction folded), a measurable quantity by routine ensemble-averaged experimental techniques at dilute protein concentrations.