Topological objects in the O(3) nonlinear sigma model

We study the topological defects in the nonlinear O(3) sigma model in terms of the decomposition of U(1) gauge potential. Time-dependent baby skyrmions are discussed in the (2 + 1)-dimensional spacetime with the CP1 field. Furthermore, we show that there are three kinds of topological defects-vortex lines, point defects and knot exist in the (3 + 1)-dimensional model, and their topological charges, locations and motions are determined by the phi-mapping topological current theory.

Energy-Momentum of a Cosmological Brane Model and the Gauge Hierarchy

We analyze in this paper the general covariant energy-momentum tensor of the gravitational system in general five-dimensional cosmological brane-world models. Then through calculating this energy-momentum for the cosmological generalization of the Randall-Sundrum model, which includes the original RS model as the static limit, we are able to show that the weakness of the gravitation on the "visible" brane is a general feature of this model. This is the origin of the gauge hierarchy from a gravitational point of view. Our results are also consistent with the fact that a gravitational system has vanishing total energy.

Topological structure of the many vortices solution in Jackiw-Pi model

By using the gauge potential decomposition, we discuss the self-dual equation and its solution in Jackiw-Pi model. We obtain a new concrete self-dual equation and find relationship between Chern-Simons vortices solution and topological number which is determined by Hopf indices and Brouwer degrees of Psi-mapping. To show the meaning of topological number we give several figures with different topological numbers. In order to investigate the topological properties of many vortices, we use five parameters (two positions, one scale, one phase per vortex and one charge of each vortex) to describe each vortex in many vortices solutions in Jackiw-Pi model. For many vortices, we give three figures with different topological numbers to show the effect of the charge on the many vortices solutions. We also study the quantization of flux of those vortices related to the topological numbers in this case.

Baryon magnetic moment and beta decay ratio in colored quark cluster model

Baryon magnetic moments of p, n, Sigma(+), Sigma(-), Xi(0), Xi(-) and the beta decay ratios (G(A)/G(V)) of n -> p, Sigma(-) -> n and Xi(0) -> Sigma(+) are calculated in a colored quark cluster model. With SU(3) breaking, the model gives a good fit to the experimental values of those baryon magnetic moments and the beta decay ratios. Our results show that the orbital motion has a significant contribution to the spin and magnetic moments of those baryons and the strange component. in nucleon is small.

Strangeness production process pp -> nK(+)Sigma(+) within resonance model

We explore production mechanism and final state interaction in the pp -> nK(+)Sigma(+) channel based on the inconsistent experimental data published respectively by COSY-11 and COSY-ANKE. The scattering parameter a > 0 for n Sigma(+) interaction is favoured by large near-threshold cross section within a nonrelativistic parametrization investigation, and a strong n Sigma(+) interaction comparable to pp interaction is also indicated. Based on this analysis we calculate the contribution from resonance Delta*(1920) through pi(+) exchange within resonance model, and the numerical result suggests a rather small near-threshold total cross section, which is consistent with the COSY-ANKE data. With an additional sub-threshold resonance Delta*(1620), the model gives a much better description to the rather large near-threshold total cross section published by COSY-11

Topological solitons in the CPN model

We investigate the solitons in the CPN supercript stop model in terms of the decomposition of gauge potential. Based on the phi-mapping topological current theory, the charge and position of solitons is determined by the properties of the typical component. Furthermore, the motion and the bifurcation of multi-soliton is discussed. And the knotted solitons in high dimension is explored also.

General SU(2)(L) x SU(2)(R) x U(1)(EM) sigma model with external sources, dynamical breaking and spontaneous vacuum symmetry breaking

We give a general SU(2)(L) x SU(2)(R) x U(1)(EM) sigma model with external sources, dynamical breaking and spontaneous vacuum symmetry breaking, and present the general formulation of the model. It is found that sigma and pi(0) without electric charges have electromagnetic interaction effects coming front the internal structures. A general Lorentz transformation relative to external sources J(gauge) - (J(A mu) J(A mu)(kappa)) derived, using the general Lorentz transformation and the four-dimensional current of nuclear matter of the ground si ate with J(gauge) = 0, we give the four-dimensional general relations between the different currents of nuclear matter systems with J(gauge) not equal 0 and those with J(gauge) = 0. The relation of the density's coupling with external magnetic field is derived, which conforms well to dense nuclear matter in a strong magnetic field. We show different condensed effects in strong interaction about fermions and antifermions, and give the concrete scalar and pseudoscalar condensed expressions of sigma(0) and pi(0) bosons. About different dynamical breaking and spontaneous vacuum symmetry breaking, the concrete expressions of different mass spectra are obtained in field theory. This paper acquires the running spontaneous vacuum breaking value sigma'(0), and obtains the spontaneous vacuum breaking in tenus of the running sigma'(0), which make nucleon, sigma, and pi particles gain effective masses. We achieve both the effect of external sources and nonvanishing value of the condensed scalar and pseudoscalar paticles. It is deduced that the masses of nucleons, sigma and pi generally depend on different external sources.

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.

Model-Based Reasoning: A Principled Approach for Software Engineering

Lee M.H., Model-Based Reasoning: A Principled Approach for Software Engineering, Software - Concepts and Tools,19(4), pp179-189, 2000.

On Models, Modelling and the Distinctive Nature of Model-Based Reasoning

M.H. Lee, On Models, Modelling and the Distinctive Nature of Model-Based Reasoning, AI Communications, 12 (3), pp127-137.1999.

Characterising Model-Based Reasoning

Lee M.H., Characterising Model-Based Reasoning, Proc. 10th Int. Workshop on Principles of Diagnosis, (DX'99), Loch Awe, Scotland, 1999, pp140-146.

The Use of Graph Grammars for Model-based Reasoning in Diagnostic Expert Systems

Flasinski M. and Lee M.H., The Use of Graph Grammars for Model-based Reasoning in Diagnostic Expert Systems, Prace Informatyczne, Zeszyty Naukowe Uniwersytetu Jagiellonskiego, 9, 1999, pp147-165.

CMIP5 climate model analyses: Climate extremes in the United States

Given the increases in spatial resolution and other improvements in climate modeling capabilities over the last decade since the CMIP3 simulations were completed, CMIP5 provides a unique opportunity to assess scientific understanding of climate variability and change over a range of historical and future conditions. With participation from over 20 modeling groups and more than 40 global models, CMIP5 represents the latest and most ambitious coordinated international climate model intercomparison exercise to date. Observations dating back to 1900 show that the temperatures in the twenty-first century have the largest spatial extent of record breaking and much above normal mean monthly maximum and minimum temperatures. The 20-yr return value of the annual maximum or minimum daily temperature is one measure of changes in rare temperature extremes.

Safety-critical medical device development using the UPP2SF model translation tool

Software-based control of life-critical embedded systems has become increasingly complex, and to a large extent has come to determine the safety of the human being. For example, implantable cardiac pacemakers have over 80,000 lines of code which are responsible for maintaining the heart within safe operating limits. As firmware-related recalls accounted for over 41% of the 600,000 devices recalled in the last decade, there is a need for rigorous model-driven design tools to generate verified code from verified software models. To this effect, we have developed the UPP2SF model-translation tool, which facilitates automatic conversion of verified models (in UPPAAL) to models that may be simulated and tested (in Simulink/Stateflow). We describe the translation rules that ensure correct model conversion, applicable to a large class of models. We demonstrate how UPP2SF is used in themodel-driven design of a pacemaker whosemodel is (a) designed and verified in UPPAAL (using timed automata), (b) automatically translated to Stateflow for simulation-based testing, and then (c) automatically generated into modular code for hardware-level integration testing of timing-related errors. In addition, we show how UPP2SF may be used for worst-case execution time estimation early in the design stage. Using UPP2SF, we demonstrate the value of integrated end-to-end modeling, verification, code-generation and testing process for complex software-controlled embedded systems. © 2014 ACM.

A unified 3D model of the VAR process

A 3D time-dependent model of the VAR process has been developed using CFD techniques. The model solves the coupled field equations for fluid flow, heat transfer (including phase change) and electromagnetic field, for both the electrode and the ingot. The motion of the electic arc 'preferred spot' can be specified based on observations. Correlations are sought between the local gap height, resulting from instantaneous liquid pool surface shape and electrode tip shape, and the arc motion. The detailed behaviour of the melting film on the electrode tip is studies using a spectral free surface technique, which allows investigation of the drops' detachment and drip shorts.