Flux-dependent shot noise through an Aharonov-Bohm interferometer with an embedded quantum dot

Shot noise through a closed Aharonov-Bohm interferometer carrying a quantum dot in one of its two current paths is investigated. It is found that the shot noise can be modulated by the magnetic flux Phi, the dot level, and the direct tunneling. Due to the interference between the two transmission channels, the Kondo correlation manifests itself in the flux dependence of the shot noise, which exhibits oscillation behavior with a period of Phi(0)/2 (Phi(0) is the flux quantum) for small voltages below the Kondo temperature T-K. At voltages well above T-K or outside the Kondo regime, the shot noise is determined by high-energy Coulomb and hybridization processes, and its Aharonov-Bohm oscillations restore the fundamental period of Phi(0). As a result of its two-particle nature, the shot noise contains higher-order harmonics absent in the current, demonstrating the fact that the noise is more sensitive to the effects of quantum interference than the current.

Knotlike chi disclinations in the cholesteric liquid crystals

We investigate the topological properties of N(N >= 1) disclination lines in cholesteric liquid crystals. The topological structure of N disclination lines is obtained with the Hopf index and Brouwer degree. Furthermore, the knotted x disclination loops is proposed with the Hopf invariant. And we consider the stability of such configuration based on the higher order interaction. At last, the evolution of the disclinations is discussed.

Orientation and alignment of reagent molecules by two-photon excitation

The expressions used for describing the angular distribution of oriented and aligned reagent molecules are derived. The algebraic forms of orientation and alignment parameters of molecules in the excited states are obtained for two-photon excitation. The reagent molecules after absorbing two-photon may produce the higher order orientation and alignment than doing one-photon. (C) 2002 Elsevier Science B.V. All rights reserved.

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.

On the melting of the nascent state nylon 1010 with different molecular weights

The melting of the nascent state nylon 1010 samples melt condensation polymerized with different M(eta) have been studied by DSC. The relations of melting point, content of higher order crystal with M(eta) are similar, the plots like a peak, at M(eta)=1.48x10(4) have the maximum. The melting heat, melting entropy and crystallinity are decreased gradually with M(eta) increasing.

STATISTICAL THERMODYNAMICS OF POLYDISPERSE POLYMER MIXTURES

A statistical thermodynamics theory of polydisperse polymer blends based on a lattice model description of a fluid is formulated. Characterization of a binary polydisperse polymer mixture requires a knowledge of the pure polymer system and the interaction energy. It is assumed that the intrinsic and interactive properties of polymer (for example, T*, P*, rho*, and epsilon(ij)*) are independent of molecular size. Thermodynamic properties of ternary and higher order mixtures are completely defined in terms of the pure fluid polymer parameters and the binary interaction energies. Thermodynamic stability criteria for the phase transitions of a binary mixture are shown. The binodal and spinodal of general binary systems and of special binary systems are discussed.

Impact of difference accuracy on computational properties of vertical grids for a nonhydrostatic model

Starting from nonhydrostatic Boussinesq approximation equations, a general method is introduced to deduce the dispersion relationships. A comparative investigation is performed on inertia-gravity wave with horizontal lengths of 100, 10 and 1 km. These are examined using the second-order central difference scheme and the fourth-order compact difference scheme on vertical grids that are currently available from the perspectives of frequency, horizontal and vertical component of group velocity. These findings are compared to analytical solutions. The obtained results suggest that whether for the second-order central difference scheme or for the fourth-order compact difference scheme, Charny-Phillips and Lorenz ( L) grids are suitable for studying waves at the above-mentioned horizontal scales; the Lorenz time-staggered and Charny-Phillips time staggered (CPTS) grids are applicable only to the horizontal scales of less than 10 km, and N grid ( unstaggered grid) is unsuitable for simulating waves at any horizontal scale. Furthermore, by using fourth-order compact difference scheme with higher difference precision, the errors of frequency and group velocity in horizontal and vertical directions produced on all vertical grids in describing the waves with horizontal lengths of 1, 10 and 100 km cannot inevitably be decreased. So in developing a numerical model, the higher-order finite difference scheme, like fourth-order compact difference scheme, should be avoided as much as possible, typically on L and CPTS grids, since it will not only take many efforts to design program but also make the calculated group velocity in horizontal and vertical directions even worse in accuracy.

Fourier有限差分法深度偏移与正演模拟

With the development of seismic exploration, the target becomes more and more complex, which leads to a higher demand for the accuracy and efficiency in 3D exploration. Fourier finite-difference (FFD) method is one of the most valuable methods in complex structure exploration, which keeps the ability of finite-differenc method in dealing with laterally varing media and inherits the predominance of the phase-screen method in stablility and efficiency. In this thesis, the accuracy of the FFD operator is highly improved by using simulated annealing algorithm. This method takes the extrapolation step and band width into account, which is more suitable to various band width and discrete scale than the commonely-used optimized method based on velocity contrast alone. In this thesis, the FFD method is extended to viscoacoustic modeling. Based on one-way wave equation, the presented method is implemented in frequency domain; thus, it is more efficient than two-way methods, and is more convenient than time domain methods in handling attenuation and dispersion effects. The proposed method can handle large velocity contrast and has a high efficiency, which is helpful to further research on earth absorption and seismic resolution. Starting from the frequency dispersion of the acoustic VTI wave equation, this thesis extends the FFD migration method to the acoustic VTI media. Compared with the convetional FFD method, the presented method has a similar computational efficiency, and keeps the abilities of dealing with large velocity contrasts and steep dips. The numerical experiments based on the SEG salt model show that the presented method is a practical migration method for complex acoustical VTI media, because it can handle both large velocity contrasts and large anisotropy variations, and its accuracy is relatively high even in strong anisotropic media. In 3D case, the two-way splitting technique of FFD operator causes artificial azimuthal anisotropy. These artifacts become apparent with increasing dip angles and velocity contrasts, which prevent the application of the FFD method in 3D complex media. The current methods proposed to reduce the azimuthal anisotropy significantly increase the computational cost. In this thesis, the alternating-direction-implicit plus interpolation scheme is incorporated into the 3D FFD method to reduce the azimuthal anisotropy. By subtly utilizing the Fourier based scheme of the FFD method, the improved fast algorithm takes approximately no extra computation time. The resulting operator keeps both the accuracy and the efficiency of the FFD method, which is helpful to the inhancements of both the accuracy and the efficiency for prestack depth migration. The general comparison is presented between the FFD operator and the generalized-screen operator, which is valuable to choose the suitable method in practice. The percentage relative error curves and migration impulse responses show that the generalized-screen operator is much sensiutive to the velocity contrasts than the FFD operator. The FFD operator can handle various velocity contrasts, while the generalized-screen operator can only handle some range of the velocity contrasts. Both in large and weak velocity contrasts, the higher order term of the generalized-screen operator has little effect on improving accuracy. The FFD operator is more suitable to large velocity contrasts, while the generalized-screen operator is more suitable to middle velocity contrasts. Both the one-way implicit finite-difference migration and the two-way explicit finite-differenc modeling have been implemented, and then they are compared with the corresponding FFD methods respectively. This work gives a reference to the choosen of proper method. The FFD migration is illustrated to be more attractive in accuracy, efficiency and frequency dispertion than the widely-used implicit finite-difference migration. The FFD modeling can handle relatively coarse grids than the commonly-used explicit finite-differenc modeling, thus it is much faster in 3D modeling, especially for large-scale complex media.

全局优化的Fourier有限差分偏移方法研究

Seismic exploration is the main method of seeking oil and gas. With the development of seismic exploration, the target becomes more and more complex, which leads to a higher demand for the accuracy and efficiency in seismic exploration. Fourier finite-difference (FFD) method is one of the most valuable methods in complex structure exploration, which has obtained good effect. However, in complex media with wider angles, the effect of FFD method is not satisfactory. Based on the FFD operator, we extend the two coefficients to be optimized to four coefficients, then optimize them globally using simulated annealing algorithm. Our optimization method select the solution of one-way wave equation as the objective function. Except the velocity contrast, we consider the effects of both frequency and depth interval. The proposed method can improve the angle of FFD method without additional computation time, which can reach 75° in complex media with large lateral velocity contrasts and wider propagation angles. In this thesis, combinating the FFD method and alternative-direction-implicit plus interpolation(ADIPI） method, we obtain 3D FFD with higher accuracy. On the premise of keeping the efficiency of the FFD method, this method not only removes the azimuthal anisotropy but also optimizes the FFD mehod, which is helpful to 3D seismic exploration. We use the multi-parameter global optimization method to optimize the high order term of FFD method. Using lower-order equation to obtain the approximation effect of higher-order equation, not only decreases the computational cost result from higher-order term, but also obviously improves the accuracy of FFD method. We compare the FFD, SAFFD（multi-parameter simulated annealing globally optimized FFD）, PFFD, phase-shift method(PS）, globally optimized FFD （GOFFD）, and higher-order term optimized FFD method. The theoretical analyses and the impulse responses demonstrate that higher-order term optimized FFD method significantly extends the accurate propagation angle of the FFD method, which is useful to complex media with wider propagation angles.

各向异性与非线性介质中弹性波场传播特征研究

The topic of this study is about the propagation features of elastic waves in the anisotropic and nonlinear media by numerical methods with high accuracy and stability. The main achievements of this paper are as followings: Firstly, basing on the third order elastic energy formula, principle of energy conservation and circumvolved matrix method, we firstly reported the equations of non-linear elastic waves with two dimensions and three components in VTI media. Secondly, several conclusions about some numerical methods have been obtained in this paper. Namely, the minimum suitable sample stepth in space is about 1/8-1/12 of the main wavelength in order to distinctly reduce the numerical dispersion resulted from the numerical mehtod, at the same time, the higher order conventional finite difference (CFD) schemes will give little contribution to avoid the numerical solutions error accumulating with time. To get the similar accuracy with the fourth order center finite difference method, the half truncation length of SFFT should be no less than 7. The FDFCT method can present with the numerical solutions without obvious dispersion when the paprameters of FCT is suitable (we think they should be in the scope from 0.0001 to 0.07). Fortunately, the NADM method not only can reported us with the higher order accuracy solutions (higher than that of the fourth order finite difference method and lower than that of the sixth order finite difference method), but also can distinctly reduce the numerical dispersion. Thirdly, basing on the numerial and theoretical analysis, we reported such nonlinear response accumulating with time as waveform aberration, harmonic generation and resonant peak shift shown by the propagation of one- and two-dimensional non-linear elasticwaves in this paper. And then, we drew the conclusion that these nonlinear responses are controlled by the product between nonlinear strength (SN) and the amplitude of the source. At last, the modified FDFCT numerical method presented by this paper is used to model the two-dimensional non-linear elastic waves propagating in VTI media. Subsequently, the wavelet analysis and polarization are adopted to investigate and understand the numerical results. And then, we found the following principles (attention: the nonlinear strength presented by this paper is weak, the thickness of the -nonlinear media is thin (200m), the initial energy of the source is weak and the anisotropy of the media is weak too): The non-linear response shown by the elastic waves in VTI media is anisotropic too; The instantaneous main frequency sections of seismic records resulted from the media with a non-linear layer have about 1/4 to 1/2 changes of the initial main frequency of source with that resulted from the media without non-linear layer; The responses shown by the elasic waves about the anisotropy and nonlinearity have obvious mutual reformation, namely, the non-linear response will be stronger in some directions because of the anisotropy and the anisotropic strength shown by the elastic waves will be stronger when the media is nonlinear.

通过语言任务和功能磁共振成像研究人类小脑功能

Since the 19th century, people have long believed that the function of cerebellum was restricted to fine motor control and modulation. In the past two decades, however, more and more studies challenged this traditional view. While the neuroanatomy of the cerebellum from cellular to system level has been well documented, the functions of this neural organ remain poorly understood. This study, including three experiments, attempted to further the understanding of cerebellar functions from different viewpoints. Experiment One used the parametric design to control motor effects. The activation in cerebellum was found to be associated with the difficulty levels of a semantic discrimination task, suggesting the involvement of the cerebellum in higher level of language functions. Moreover, activation of the right posterior cerebellum was found to co-vary with that of the frontal cortex. Experiment Two adopted the cue-go paradigm and event-related design to exclude the effects of phonological and semantic factors in a mental writing task. The results showed that bilateral anterior cerebellum and cerebral motor regions were significantly activated during the task and the hemodynamic response of the cerebellum was similar to those of the cerebral motor cortex. These results suggest that the cerebellum participates in motor imagination during orthographic output. Experiment Three investigated the learning process of a verb generation task. While both lateral and vermis cerebellum were found to be activation in the task, each was correlated a separate set of frontal regions. More importantly, activations both in the cerebellum and frontal cortex decreased with the repetition of the task. These results indicate that the cerebellum and frontal cortex is jointly engaged in some functions; each serves as a part of a single functional system. Taken these findings together, the following conclusions can be drawn: 1.The cerebellum is not only involved in functions related to speech or articulation, but also participates in the higher cognitive functions of language. 2.The cerebellum participates in various functions by supporting the corresponding regions in cerebral cortex, but not directly executes the functions as an independent module. 3.The anterior part of cerebellum is related to motor functions, whereas the posterior part is involved in cognitive functions. 4.While the motor functions rely on the engagement of both sides of the cerebellar hemispheres, the higher cognitive functions mainly depend on the right cerebellum.

非言语学习不良青少年空间关系推理及其影响因素研究

It has reported that individuals with nonverbal learning disabilities (NLD) have deficits in visual-spatial organization and strengths in rote language abilities. At present, there are few studies on higher order cognitive abilities of adolescents with NLD, such as the reasoning about spatial relations. The study sampled three groups: a normal group (a control group, C), a nonverbal learning disabilities group (NLD), and a verbal learning disabilities group (VLD). The aim of this study was to examine spatial and nonspatial relation reasoning abilities in adolescents with NLD under figure and word conditions, and assessed the relative involvement of different working memory components in four types of reasoning tasks: reasoning about figure-spatial, figure-nonspatial, verbal-spatial, and verbal-nonspatial relations. Using the double-tasks methodology, visual, spatial, central-executive, and phonological loads were realized. We tried to find how working memory components impact on adolescents with NLD spatial and nonspatial reasoning. The main results of present research are as follows. (1) The NLD group didn’t differ from normal group on reasoning about figure-nonspatial relations. The NLD group scored lower than the C group in spatial problems. So, adolescents with NLD showed a dissociation between spatial and non-spatial relation reasoning. They scored higher in non-spatial problems than in spatial ones. Adolescents with VLD developed well in reasoning about figure-nonspatial relations, but showed deficits in other three tasks. (2) For each reasoning task, the difficult of four types of reasoning problem had different changing trend. For figure and verbal spatial problems, mental model approach can interpret performance of the four problems well. For verbal nonspatial problems, a logical rule approach can interpret performance of the four problems well. (3) Adolescents with NLD did not differ from adolescents with VLD and normal adolescents in phonological, central-executive, and visual dual tasks. But the NLD group had lower performance than the other two groups in spatial dual task. The results showed a dissociation between visual and spatial working memory in NLD group. The VLD group only experienced deficits in central-executive subsystem. (4) The studies found that spatial reasoning mainly loaded spatial working memory, whist the involvement of spatial resources in nonspatial reasoning was little. Visual working memory mainly involved in reasoning about spatial and figure-nonspatial relations, especially in figure-nonspatial problems, and had few impacts on verbal-nonspatial reasoning. Central executive system was involved in all reasoning tasks. The role of phonological loop in the reasoning tasks required further explored. (5) According to the findings, we concluded that the deficits in spatial working memory resulted in poor spatial reasoning abilities for teenagers with NLD, whist because of the limited central executive capability, teenagers with VLD showed poor reasoning abilities. (6) The three groups can used multiple strategies during the reasoning process. They didn’t differ from each other in reasoning strategies. They all used mental model strategy to solve figure and verbal spatial problems, and used logic rule strategy to solve verbal nonspatial problems.

基底神经节的认知和记忆功能研究

The cognition and memory functions of the Basal Ganglia have been the focus of contemporary cognitive neuroscience researches. This study, from neuroanatomical and neurophysiological point of view, thoroughly surveyed the recent relevant research progress, carefully examined the evidences of the neurological basis for the Basal Ganglia possessing or participating cognition or memory functions. Moreover, it reviewed recent achievements on the cognitive functions of the basal ganglia based on researches on rodent animals, primate animals and human beings. Then it presented a series of experiments conducted, by neuropsychological and cognitive psychological methods, on neurological patients with focal lesions to the basal ganglia or combining with bilateral hippocampus or thalamus impaired to explore what the role of the basal ganglia play in human explicit and implicit memory. It was found that the lesions to the basal ganglia partially handicapped explicit verbal memory and completely impaired perceptual priming. It was also found that right cerebral cortex dysplasia but basal ganglia spared had no effects on priming tasks performances. The results suggested that the basal ganglia contain or accommodate higher cognitive functions and further suggested that priming be irrelevant to right cerebral cortex. It was posited that the basal ganglia, on the basis of interaction with prefrontal or temporal cortices, mediate movement function as well as cognition and memory functions.

Type-omega DPLs

Type-omega DPLs (Denotational Proof Languages) are languages for proof presentation and search that offer strong soundness guarantees. LCF-type systems such as HOL offer similar guarantees, but their soundness relies heavily on static type systems. By contrast, DPLs ensure soundness dynamically, through their evaluation semantics; no type system is necessary. This is possible owing to a novel two-tier syntax that separates deductions from computations, and to the abstraction of assumption bases, which is factored into the semantics of the language and allows for sound evaluation. Every type-omega DPL properly contains a type-alpha DPL, which can be used to present proofs in a lucid and detailed form, exclusively in terms of primitive inference rules. Derived inference rules are expressed as user-defined methods, which are "proof recipes" that take arguments and dynamically perform appropriate deductions. Methods arise naturally via parametric abstraction over type-alpha proofs. In that light, the evaluation of a method call can be viewed as a computation that carries out a type-alpha deduction. The type-alpha proof "unwound" by such a method call is called the "certificate" of the call. Certificates can be checked by exceptionally simple type-alpha interpreters, and thus they are useful whenever we wish to minimize our trusted base. Methods are statically closed over lexical environments, but dynamically scoped over assumption bases. They can take other methods as arguments, they can iterate, and they can branch conditionally. These capabilities, in tandem with the bifurcated syntax of type-omega DPLs and their dynamic assumption-base semantics, allow the user to define methods in a style that is disciplined enough to ensure soundness yet fluid enough to permit succinct and perspicuous expression of arbitrarily sophisticated derived inference rules. We demonstrate every major feature of type-omega DPLs by defining and studying NDL-omega, a higher-order, lexically scoped, call-by-value type-omega DPL for classical zero-order natural deduction---a simple choice that allows us to focus on type-omega syntax and semantics rather than on the subtleties of the underlying logic. We start by illustrating how type-alpha DPLs naturally lead to type-omega DPLs by way of abstraction; present the formal syntax and semantics of NDL-omega; prove several results about it, including soundness; give numerous examples of methods; point out connections to the lambda-phi calculus, a very general framework for type-omega DPLs; introduce a notion of computational and deductive cost; define several instrumented interpreters for computing such costs and for generating certificates; explore the use of type-omega DPLs as general programming languages; show that DPLs do not have to be type-less by formulating a static Hindley-Milner polymorphic type system for NDL-omega; discuss some idiosyncrasies of type-omega DPLs such as the potential divergence of proof checking; and compare type-omega DPLs to other approaches to proof presentation and discovery. Finally, a complete implementation of NDL-omega in SML-NJ is given for users who want to run the examples and experiment with the language.

Detecting Digital Forgeries Using Bispectral Analysis

With the rapid increase in low-cost and sophisticated digital technology the need for techniques to authenticate digital material will become more urgent. In this paper we address the problem of authenticating digital signals assuming no explicit prior knowledge of the original. The basic approach that we take is to assume that in the frequency domain a "natural" signal has weak higher-order statistical correlations. We then show that "un-natural" correlations are introduced if this signal is passed through a non-linearity (which would almost surely occur in the creation of a forgery). Techniques from polyspectral analysis are then used to detect the presence of these correlations. We review the basics of polyspectral analysis, show how and why these tools can be used in detecting forgeries and show their effectiveness in analyzing human speech.