yet another meta-language for programming language processing

The formal specification language LFC was designed to support formal specification acquisition. However, it is yet suited to be used as a meta-language for specifying programming language processing. This paper introduces LFC as a meta-language, and compares it with ASF+SDF, an algebraic specification formalism that can also be used to programming languages.

欧洲21世纪数据加密标准候选算法简评

简要介绍了欧洲 NESSIE( new European schemes for signatures,integrity,and encryption)大计划最近公布的 17个分组密码算法的基本设计思想、最新分析结果及其有效性 .

eta photoproduction on the proton in a chiral constituent quark approach via a one-gluon-exchange model

A formalism based on a chiral quark model (chi QM) approach complemented with a one-gluon-exchange model, to take into account the breakdown of the SU(6)circle times O(3) symmetry, is presented. The configuration mixing of wave functions for nucleon and resonances are derived. With few adjustable parameters, differential cross-section and polarized-beam asymmetry for the gamma p -> eta p process are calculated and successfully compared with the data in the center-of-mass energy range from threshold to 2 GeV. The known resonances S-11(1535), S-11(1650), P-13(1720), D-13(1520), and F-15(1680), as well as two new S-11 and D-15 resonances, are found to be dominant in the reaction mechanism. Moreover, connections among the scattering amplitudes of the chi QM approach and the helicity amplitudes, as well as decay widths of resonances, are established. Possible contributions from the so-called missing resonances are investigated and found to be negligible.

Solitary magnon excitations in a one-dimensional antiferromagnet with Dzyaloshinsky-Moriya interactions

We investigate solitary excitations in a model of a one-dimensional antiferromagnet including a single-ion anisotropy and a Dzyaloshinsky-Moriya antisymmetric exchange interaction term. We employ the Holstein-Primakoff transformation, the coherent state ansatz and the time variational principle. We obtain two partial differential equations of motion by using the method of multiple scales and applying perturbation theory. By so doing, we show that the motion of the coherent amplitude must satisfy the nonlinear Schrodinger equation. We give the single-soliton solution.

Non-commutative oscillator with Kepler-type dynamical symmetry

A 3-dimensional non-commutative oscillator with no mass term but with an appropriate momentum-dependent potential admits a conserved Runge-Lenz vector, derived from the dual description in momentum space. The trajectories lie on ellipses. The dynamical symmetry allows for an algebraic determination of the bound-state spectrum and extends to o(4,2). (c) 2010 Elsevier B.V. All rights reserved.

EOS and Single Particle Properties of Asymmetric Nuclear Matter

We have investigated the equation of state (EOS) and single particle (s.p.) properties of asymmetric nuclear matter within the framework of the Brueckner-Bethe-Goldstone approach. We have discussed particularly the effect of microscopic three-body forces (TBF). It is shown that the TBF affects significantly the predicted properties of nuclear matter at high densities.

Relativistic Continuum Random Phase Approximation and Applications II. Applications

The fully consistent relativistic continuum random phase approximation (RCRPA) has been constructed in the momentum representation in the first part of this paper. In this part we describe the numerical details for solving the Bethe-Salpeter equation. The numerical results are checked by the inverse energy weighted sum rules in the isoscalar giant monopole resonance, which are obtained from the constraint relativistic mean field theory and also calculated with the integration of the RCRPA strengths. Good agreement between the misachieved. We study the effects of the self-consistency violation, particularly the currents and Coulomb interaction to various collective multipole excitations. Using the fully consistent RCRPA method, we investigate the properties of isoscalar and isovector collective multipole excitations for some stable and exotic from light to heavy nuclei. The properties of the resonances, such as the centroid energies and strength distributions are compared with the experimental data as well as with results calculated in other models.

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.

Modelica软件中微分代数方程指标约简算法分析

Modelica建模软件会产生高指标的微分代数方程(DAE),因为现有数值求解器一般不能直接对高指标DAE进行求解,所以Modelica建模软件必须对高指标DAE进行指标约简。为提高Modelica建模软件性能,针对现有指标约简算法,展开了理论分析和实验比较,着重对负权二部图算法进行了详细分析,并给出了负权二部图算法的时间复杂度。理论分析和实验结果表明,负权二部图算法相对Pantelides算法有较好的性能,因此可以考虑在Modelica建模软件中使用负权二部图算法来提高性能。

Mechanisms of sodium and potassium ions transfer facilitated by dibenzo-15-crown-5 across the water /1,2-dichloroethane interface using micropipettes

The transfer of sodium and potassium ions facilitated by dibenzo-15-crown-5 (DB15C5) has been studied at the micro-water/1,2-dichloroethane (water/DCE) interface supported at the tip of a micropipette. Cyclic volt-ammetric measurements were performed in two limiting conditions: the bulk concentration of Na+ or K+ in the aqueous phase is much higher than that of DB15C5 in the organic phase (DB15C5 diffusion controlled process) and the reverse condition (metal ion diffusion controlled process). The mechanisms of the facilitated Na+ transfer by DB15C5 are both transfer by interfacial complexation (TIC) with 1 : 1 stoichiometry under these two conditions, and the corresponding association constants were determined at log beta(1) = 8.97 +/- 0.05 or log beta(1) = 8.63 +/- 0.03. However, the transfers of K+ facilitated by DB15C5 show different behavior. In the former case it is a TIC process and its stoichiometry is 1 : 2, whereas in the latter case two peaks during the forward scan were observed, the first of which was confirmed as the formation of K (DB15C5)(2) at the interface by a TIC mechanism, while the second one may be another TIC process with 1 : 1 stoichiometry in the more positive potential. The relevant association constants calculated for the complexed ion, K+(DB15C5)(2), in the organic phase in two cases, logbeta(2), are 13.64 +/- 0.03 and 11.34 +/- 0.24, respectively.