This article proposes an algebraic model predictive control(MPC)method for automatic landing.While defining the constraint functions in the optimization problem,the tangent hyperbolic function is preferred.Therefore,t...This article proposes an algebraic model predictive control(MPC)method for automatic landing.While defining the constraint functions in the optimization problem,the tangent hyperbolic function is preferred.Therefore,the optimization problem turns into an unconstrained,continuous,and differentiable form.An analytical two-step method is also proposed to solve the rest of the problem.In the first step,it is assumed that only input constraints are active and states are unconstrained.The optimal solution for this case is calculated directly with the optimality condition.The calculated control signal is revised in the second step according to system dynamics and state constraints.Simulation results of the auto-landing system show that the MPC computation speed is significantly increased by the new algebraic MPC(AMPC)without compromising the control performance,which makes the method realistic for using MPC in systems with high-speed changing dynamics.展开更多
Based upon Tomonoga-Rowe's many body theory, we find that the algebraic models, including IBM and FDSM are simplest extension of Rowe-Rosensteel's sp(3R).Dynkin-Gruber's subalgebra embedding method is appl...Based upon Tomonoga-Rowe's many body theory, we find that the algebraic models, including IBM and FDSM are simplest extension of Rowe-Rosensteel's sp(3R).Dynkin-Gruber's subalgebra embedding method is applied to find an appropriate algebra and it's reduction chains conforming to physical requirement. The separated cases sp(6) and so(8) now appear as two branches stemming from the same root D6-O(12). Transitional ease between sp(6) and so(8) is inherently include.展开更多
In accordance to the anisotropic feature of turbulent flow, ananisotropic algebraic stress model is adopted to predict theturbulent flow field and turbulent characteristics generated by aRushton disc turbine with the ...In accordance to the anisotropic feature of turbulent flow, ananisotropic algebraic stress model is adopted to predict theturbulent flow field and turbulent characteristics generated by aRushton disc turbine with the improved inner-outer iterativeprocedure. The predicted turbulent flow is compared with experimentaldata and the simulation by the standard k-ε turbulence model. Theanisotropic algebraic stress model is found to give better predictionthan the standard k-ε turbulence model. The predicted turbulent flowfield is in accordance to experimental data and the trend of theturbulence intensity can be effectively reflected in the simulation.展开更多
Granular computing is a very hot research field in recent years. In our previous work an algebraic quotient space model was proposed,where the quotient structure could not be deduced if the granulation was based on an...Granular computing is a very hot research field in recent years. In our previous work an algebraic quotient space model was proposed,where the quotient structure could not be deduced if the granulation was based on an equivalence relation. In this paper,definitions were given and formulas of the lower quotient congruence and upper quotient congruence were calculated to roughly represent the quotient structure. Then the accuracy and roughness were defined to measure the quotient structure in quantification. Finally,a numerical example was given to demonstrate that the rough representation and measuring methods are efficient and applicable. The work has greatly enriched the algebraic quotient space model and granular computing theory.展开更多
In this paper we proposed an AMH Supply Chain model to obtain optimal solutions for Two-, Three- and Four-Stage for deterministic models. Besides deriving its algebraic solutions, a simple searching method is successf...In this paper we proposed an AMH Supply Chain model to obtain optimal solutions for Two-, Three- and Four-Stage for deterministic models. Besides deriving its algebraic solutions, a simple searching method is successfully applied in obtaining optimal total costs and its integer multipliers. Our model has shown promising results in comparison to Equal Cycle Time and other existing ones. The tests focused on obtaining optimal total annual costs and other related details of Two-, Three- and Four-Stage for deterministic models. The results are run under Visual Basic Programming platform using Intel? CoreTM2 Duo T6500 Processor.展开更多
An explicit algebraic stress model (EASM) has been formulated for two-dimensional turbulent buoyant flows using a five-term tensor representation in a prior study. The derivation was based on partitioning the buoyant ...An explicit algebraic stress model (EASM) has been formulated for two-dimensional turbulent buoyant flows using a five-term tensor representation in a prior study. The derivation was based on partitioning the buoyant flux tensor into a two-dimensional and a three-dimensional component. The five-term basis was formed with the two-dimensional component of the buoyant flux tensor. As such, the derived EASM is limited to two-dimensional flows only. In this paper, a more general approach using a seven-term representation without partitioning the buoyant flux tensor is used to derive an EASM valid for two- and three-dimensional turbulent buoyant flows. Consequently, the basis tensors are formed with the fully three-dimensional buoyant flux tensor. The derived EASM has the two-dimensional flow as a special case. The matrices and the representation coefficients are further simplified using a four-term representation. When this four-term representation model is applied to calculate two-dimensional homogeneous buoyant flows, the results are essentially identical with those obtained previously using the two-dimensional component of the buoyant flux tensor. Therefore, the present approach leads to a more general EASM formulation that is equally valid for two- and three-dimensional turbulent buoyant flows.展开更多
The method for deriving closed analytic boson realizations of Sp(4) is extended to the search for the boson realizations of shell model algebras Sp(2∧) (∧ is an arbitrary integer).The case of general Sp(2∧) is much...The method for deriving closed analytic boson realizations of Sp(4) is extended to the search for the boson realizations of shell model algebras Sp(2∧) (∧ is an arbitrary integer).The case of general Sp(2∧) is much more complicated than that of Sp(4) because the generators of Sp(2∧) (∧】2) become infinite series It is very difficult to find an exact solution to the boson realization of general Sp (2∧).But if the higher order terms in the generators of Sp(2∧) are neglected,approximate analytic results can he obtained.展开更多
Let F be the field algebra of G -spin model, D(G) the double algebra of a finite group G and D(H) the sub-Hopf algerba of D(G) determined by the subgroup H of G . The paper builds a correspondence between D(H) and th...Let F be the field algebra of G -spin model, D(G) the double algebra of a finite group G and D(H) the sub-Hopf algerba of D(G) determined by the subgroup H of G . The paper builds a correspondence between D(H) and the D(H) -invariant sub- C * -algebra A H in F, and proves that the correspondence is strictly monotonic.展开更多
The proposed cyclic universes model based on the split division algebras accounts for the inflation, the Big Bang, gravity, dark energy, dark matter, the standard model, and the masses of all elementary particles. The...The proposed cyclic universes model based on the split division algebras accounts for the inflation, the Big Bang, gravity, dark energy, dark matter, the standard model, and the masses of all elementary particles. The split algebras (complex quaternion and complex octonion) as the Furey model generate the fixed spacetime dimension number for the observable universe with the fixed 4-dimensional spacetime (4D) standard model particles and the oscillating spacetime dimension number for the oscillating universes (hidden or dark energy) with the oscillation between 11D and 11D through 10D and between 10D and 10D through 4D. 11D has the lowest rest mass, the highest speed of light, and the highest vacuum energy, while 4D has the highest rest mass, the lowest (observed) speed of light, and zero vacuum energy. In the cyclic universes model, the universes start with the positive-energy and the negative-energy 11D membrane-antimembrane dual universes from the zero-energy inter-universal void, and are followed by the transformation of the 11D membrane-antimembrane dual universes into the 10D string-antistring dual universes and the external dual gravities as in the Randall-Sundrum model, resulting in the four equal and separate universes consisting of the positive-energy 10D universe, the positive-energy external gravity, the negative-energy 10D universe, and the negative-energy external gravity. Under the fixed spacetime dimension number, the positive-energy 10D universe is transformed into 4D standard model particles through the inflation and the Big Bang. Dark matter is the right-handed neutrino, exactly five times of baryonic matter in total mass in the universe. Under the oscillating spacetime dimension number, the other three universes oscillate between 10D and 10D through 4D, resulting in the hidden universes when D > 4 and dark energy (the maximum dark energy = 3/4 = 75%) when D = 4. Eventually, all four universes return to the 10D universes.展开更多
We examine a natural supersymmetric extension of the bosonic covariant 3-algebra model for M-theory proposed in [1]. It possesses manifest SO(1,10) symmetry and is constructed based on the Lorentzian Lie 3-algebra ass...We examine a natural supersymmetric extension of the bosonic covariant 3-algebra model for M-theory proposed in [1]. It possesses manifest SO(1,10) symmetry and is constructed based on the Lorentzian Lie 3-algebra associated with the U(N) Lie algebra. There is no ghost related to the Lorentzian signature in this model. It is invariant under 64 supersymmetry transformations although the supersymmetry algebra does not close. From the model, we derive the BFSS matrix theory and the IIB matrix model in a large N limit by taking appropriate vacua.展开更多
We review on Zariski 3-algebra model of M-theory. The model is obtained by Zariski quantization of a semi-light-cone supermembrane action. The model has manifest N=1 supersymmetry in eleven dimensions and its relation...We review on Zariski 3-algebra model of M-theory. The model is obtained by Zariski quantization of a semi-light-cone supermembrane action. The model has manifest N=1 supersymmetry in eleven dimensions and its relation to the supermembrane action is clear.展开更多
Algebraic attack was applied to attack Filter-Combintr model keystreamgenerators. We proposed the technique of function composition to improve the model, and the improvedmodel can resist the algebraic attack. A new cr...Algebraic attack was applied to attack Filter-Combintr model keystreamgenerators. We proposed the technique of function composition to improve the model, and the improvedmodel can resist the algebraic attack. A new criterion for designing Filter-Combiner model was alsoproposed: the total length I. of Linear Finite State Machines used in the model should be largeenough and the degree d of Filter-Combiner function should be approximate [L/2].展开更多
The shallow-water equations and pollutant convective-diffusive equation are transformed into curvilinear coordinate system. The anisotropic algebraic-stress turbulent model is introduced to simulate the turbulence ite...The shallow-water equations and pollutant convective-diffusive equation are transformed into curvilinear coordinate system. The anisotropic algebraic-stress turbulent model is introduced to simulate the turbulence items, and algebraic-stress turbulent model of planar 2-D pollutant convective-diffusive in curvilinear coordinates is build. The meandering channel with measured data of concentration in lab is adopted to validate the model, and the distribution figure of pollutant concentration field calculated through this model and that of the k-ε model, which show the model is superior to k-ε turbulent model in dealing with anisotropy character of flow.展开更多
In this paper,we consider a possible modification of the de Sitter and anti-de Sitter space for the extended uncertainty principle.For the modified anti-de Sitter model we discuss the representation and wave functions...In this paper,we consider a possible modification of the de Sitter and anti-de Sitter space for the extended uncertainty principle.For the modified anti-de Sitter model we discuss the representation and wave functions of the momentum operator for a one-dimensional box problem.Also,we consider modified Snyder and anti-Snyder models for the generalized uncertainty principle.Then,we assume the Hamiltonian with different potential and solve the Heisenberg algebra for the modified(anti)-de Sitter and(anti)-Snyder models in both position and in the momentum space.展开更多
Growth and yield modeling has a long history in forestry. The methods of measuring the growth of stand basal area have evolved from those developed in the U.S.A. and Germany during the last century. Stand basal area m...Growth and yield modeling has a long history in forestry. The methods of measuring the growth of stand basal area have evolved from those developed in the U.S.A. and Germany during the last century. Stand basal area modeling has progressed rapidly since the first widely used model was published by the U.S. Forest Service. Over the years, a variety of models have been developed for predicting the growth and yield of uneven/even-aged stands using stand-level approaches. The modeling methodology has not only moved from an empirical approach to a more ecological process-based approach but also accommodated a variety of techniques such as： 1） simultaneous equation methods, 2） difference models, 3） artificial neural network techniques, 4） linear/nonlinear regression models, and 5） matrix models. Empirical models using statistical methods were developed to reproduce accurately and precisely field observations. In contrast, process models have a shorter history, developed originally as research and education tools with the aim of increasing the understanding of cause and effect relationships. Empirical and process models can be married into hybrid models in which the shortcomings of both component approaches can, to some extent, be overcome. Algebraic difference forms of stand basal area models which consist of stand age, stand density and site quality can fully describe stand growth dynamics. This paper reviews the current literature regarding stand basal area models, discusses the basic types of models and their merits and outlines recent progress in modeling growth and dynamics of stand basal area. Future trends involving algebraic difference forms, good fitting variables and model types into stand basal area modeling strategies are discussed.展开更多
To analyze the behavioral model of the command,control,communication,computer,intelligence,surveillance,reconnaissance(C4ISR)architecture,we propose an executable modeling and analyzing approach to it.First,the meta c...To analyze the behavioral model of the command,control,communication,computer,intelligence,surveillance,reconnaissance(C4ISR)architecture,we propose an executable modeling and analyzing approach to it.First,the meta concept model of the C4ISR architecture is introduced.According to the meta concept model,we construct the executable meta models of the C4ISR architecture by extending the meta models of fUML.Then,we define the concrete syntax and executable activity algebra(EAA)semantics for executable models.The semantics functions are introduced to translating the syntax description of executable models into the item of EAA.To support the execution of models,we propose the executable rules which are the structural operational semantics of EAA.Finally,an area air defense of the C4ISR system is used to illustrate the feasibility of the approach.展开更多
An overview of the mathematical structure of the three-dimensional（3D） Ising model is given from the points of view of topology,algebra,and geometry.By analyzing the relationships among transfer matrices of the 3D I...An overview of the mathematical structure of the three-dimensional（3D） Ising model is given from the points of view of topology,algebra,and geometry.By analyzing the relationships among transfer matrices of the 3D Ising model,Reidemeister moves in the knot theory,Yang-Baxter and tetrahedron equations,the following facts are illustrated for the 3D Ising model.1） The complex quaternion basis constructed for the 3D Ising model naturally represents the rotation in a（3＋1）-dimensional space-time as a relativistic quantum statistical mechanics model,which is consistent with the 4-fold integrand of the partition function obtained by taking the time average.2） A unitary transformation with a matrix that is a spin representation in 2 n·l·o-space corresponds to a rotation in 2n·l·o-space,which serves to smooth all the crossings in the transfer matrices and contributes the non-trivial topological part of the partition function of the 3D Ising model.3） A tetrahedron relationship would ensure the commutativity of the transfer matrices and the integrability of the 3D Ising model,and its existence is guaranteed by the Jordan algebra and the Jordan-von Neumann-Wigner procedures.4） The unitary transformation for smoothing the crossings in the transfer matrices changes the wave functions by complex phases φx,φy,and φz.The relationship with quantum field and gauge theories and the physical significance of the weight factors are discussed in detail.The conjectured exact solution is compared with numerical results,and the singularities at/near infinite temperature are inspected.The analyticity in β=1/（kBT） of both the hard-core and the Ising models has been proved only for β〉0,not for β=0.Thus the high-temperature series cannot serve as a standard for judging a putative exact solution of the 3D Ising model.展开更多
The review paper by Zhang Zhi-Dong （Zhang Z D 2013 Chin. Phys. B 22 030513, arXiv：1305.2956） contains many errors and is based on several earlier works that are equally wrong.
By modifying the Rodi assumption to take account of the influence of flow curvature, a new curvature modified algebraic stress model(CMASM) is de- veloped from the second moment closure in the generalized curvilinear ...By modifying the Rodi assumption to take account of the influence of flow curvature, a new curvature modified algebraic stress model(CMASM) is de- veloped from the second moment closure in the generalized curvilinear coordinate system. And the explicit form of this ASM, a new curvature modified nonlinear k-ε model (CMNKE), is derived in the orthogonal curvilinear coordinate system. This new nonlinear k-ε model is further validated by a numerical simulation of a two- dimensional U-type turnaround duct flow. The results show that the CMNKE can effectively capture the main characteristic of this curvature flow and simulate the damping effect of the shear stress by a convex curvature and the enhancing effect by a concave curvature. So, this model is a rational and effective simplification to the second moment closure.展开更多
文摘This article proposes an algebraic model predictive control(MPC)method for automatic landing.While defining the constraint functions in the optimization problem,the tangent hyperbolic function is preferred.Therefore,the optimization problem turns into an unconstrained,continuous,and differentiable form.An analytical two-step method is also proposed to solve the rest of the problem.In the first step,it is assumed that only input constraints are active and states are unconstrained.The optimal solution for this case is calculated directly with the optimality condition.The calculated control signal is revised in the second step according to system dynamics and state constraints.Simulation results of the auto-landing system show that the MPC computation speed is significantly increased by the new algebraic MPC(AMPC)without compromising the control performance,which makes the method realistic for using MPC in systems with high-speed changing dynamics.
文摘Based upon Tomonoga-Rowe's many body theory, we find that the algebraic models, including IBM and FDSM are simplest extension of Rowe-Rosensteel's sp(3R).Dynkin-Gruber's subalgebra embedding method is applied to find an appropriate algebra and it's reduction chains conforming to physical requirement. The separated cases sp(6) and so(8) now appear as two branches stemming from the same root D6-O(12). Transitional ease between sp(6) and so(8) is inherently include.
基金the National Natural Science Foundation of China (No. 29792074).
文摘In accordance to the anisotropic feature of turbulent flow, ananisotropic algebraic stress model is adopted to predict theturbulent flow field and turbulent characteristics generated by aRushton disc turbine with the improved inner-outer iterativeprocedure. The predicted turbulent flow is compared with experimentaldata and the simulation by the standard k-ε turbulence model. Theanisotropic algebraic stress model is found to give better predictionthan the standard k-ε turbulence model. The predicted turbulent flowfield is in accordance to experimental data and the trend of theturbulence intensity can be effectively reflected in the simulation.
基金Supported by the National Natural Science Foundation of China(No.61772031)the Special Energy Saving Foundation of Changsha,Hunan Province in 2017
文摘Granular computing is a very hot research field in recent years. In our previous work an algebraic quotient space model was proposed,where the quotient structure could not be deduced if the granulation was based on an equivalence relation. In this paper,definitions were given and formulas of the lower quotient congruence and upper quotient congruence were calculated to roughly represent the quotient structure. Then the accuracy and roughness were defined to measure the quotient structure in quantification. Finally,a numerical example was given to demonstrate that the rough representation and measuring methods are efficient and applicable. The work has greatly enriched the algebraic quotient space model and granular computing theory.
文摘In this paper we proposed an AMH Supply Chain model to obtain optimal solutions for Two-, Three- and Four-Stage for deterministic models. Besides deriving its algebraic solutions, a simple searching method is successfully applied in obtaining optimal total costs and its integer multipliers. Our model has shown promising results in comparison to Equal Cycle Time and other existing ones. The tests focused on obtaining optimal total annual costs and other related details of Two-, Three- and Four-Stage for deterministic models. The results are run under Visual Basic Programming platform using Intel? CoreTM2 Duo T6500 Processor.
文摘An explicit algebraic stress model (EASM) has been formulated for two-dimensional turbulent buoyant flows using a five-term tensor representation in a prior study. The derivation was based on partitioning the buoyant flux tensor into a two-dimensional and a three-dimensional component. The five-term basis was formed with the two-dimensional component of the buoyant flux tensor. As such, the derived EASM is limited to two-dimensional flows only. In this paper, a more general approach using a seven-term representation without partitioning the buoyant flux tensor is used to derive an EASM valid for two- and three-dimensional turbulent buoyant flows. Consequently, the basis tensors are formed with the fully three-dimensional buoyant flux tensor. The derived EASM has the two-dimensional flow as a special case. The matrices and the representation coefficients are further simplified using a four-term representation. When this four-term representation model is applied to calculate two-dimensional homogeneous buoyant flows, the results are essentially identical with those obtained previously using the two-dimensional component of the buoyant flux tensor. Therefore, the present approach leads to a more general EASM formulation that is equally valid for two- and three-dimensional turbulent buoyant flows.
基金Project supported by the National Natural Science Foundation of China
文摘The method for deriving closed analytic boson realizations of Sp(4) is extended to the search for the boson realizations of shell model algebras Sp(2∧) (∧ is an arbitrary integer).The case of general Sp(2∧) is much more complicated than that of Sp(4) because the generators of Sp(2∧) (∧】2) become infinite series It is very difficult to find an exact solution to the boson realization of general Sp (2∧).But if the higher order terms in the generators of Sp(2∧) are neglected,approximate analytic results can he obtained.
文摘Let F be the field algebra of G -spin model, D(G) the double algebra of a finite group G and D(H) the sub-Hopf algerba of D(G) determined by the subgroup H of G . The paper builds a correspondence between D(H) and the D(H) -invariant sub- C * -algebra A H in F, and proves that the correspondence is strictly monotonic.
文摘The proposed cyclic universes model based on the split division algebras accounts for the inflation, the Big Bang, gravity, dark energy, dark matter, the standard model, and the masses of all elementary particles. The split algebras (complex quaternion and complex octonion) as the Furey model generate the fixed spacetime dimension number for the observable universe with the fixed 4-dimensional spacetime (4D) standard model particles and the oscillating spacetime dimension number for the oscillating universes (hidden or dark energy) with the oscillation between 11D and 11D through 10D and between 10D and 10D through 4D. 11D has the lowest rest mass, the highest speed of light, and the highest vacuum energy, while 4D has the highest rest mass, the lowest (observed) speed of light, and zero vacuum energy. In the cyclic universes model, the universes start with the positive-energy and the negative-energy 11D membrane-antimembrane dual universes from the zero-energy inter-universal void, and are followed by the transformation of the 11D membrane-antimembrane dual universes into the 10D string-antistring dual universes and the external dual gravities as in the Randall-Sundrum model, resulting in the four equal and separate universes consisting of the positive-energy 10D universe, the positive-energy external gravity, the negative-energy 10D universe, and the negative-energy external gravity. Under the fixed spacetime dimension number, the positive-energy 10D universe is transformed into 4D standard model particles through the inflation and the Big Bang. Dark matter is the right-handed neutrino, exactly five times of baryonic matter in total mass in the universe. Under the oscillating spacetime dimension number, the other three universes oscillate between 10D and 10D through 4D, resulting in the hidden universes when D > 4 and dark energy (the maximum dark energy = 3/4 = 75%) when D = 4. Eventually, all four universes return to the 10D universes.
文摘We examine a natural supersymmetric extension of the bosonic covariant 3-algebra model for M-theory proposed in [1]. It possesses manifest SO(1,10) symmetry and is constructed based on the Lorentzian Lie 3-algebra associated with the U(N) Lie algebra. There is no ghost related to the Lorentzian signature in this model. It is invariant under 64 supersymmetry transformations although the supersymmetry algebra does not close. From the model, we derive the BFSS matrix theory and the IIB matrix model in a large N limit by taking appropriate vacua.
文摘We review on Zariski 3-algebra model of M-theory. The model is obtained by Zariski quantization of a semi-light-cone supermembrane action. The model has manifest N=1 supersymmetry in eleven dimensions and its relation to the supermembrane action is clear.
文摘Algebraic attack was applied to attack Filter-Combintr model keystreamgenerators. We proposed the technique of function composition to improve the model, and the improvedmodel can resist the algebraic attack. A new criterion for designing Filter-Combiner model was alsoproposed: the total length I. of Linear Finite State Machines used in the model should be largeenough and the degree d of Filter-Combiner function should be approximate [L/2].
文摘The shallow-water equations and pollutant convective-diffusive equation are transformed into curvilinear coordinate system. The anisotropic algebraic-stress turbulent model is introduced to simulate the turbulence items, and algebraic-stress turbulent model of planar 2-D pollutant convective-diffusive in curvilinear coordinates is build. The meandering channel with measured data of concentration in lab is adopted to validate the model, and the distribution figure of pollutant concentration field calculated through this model and that of the k-ε model, which show the model is superior to k-ε turbulent model in dealing with anisotropy character of flow.
文摘In this paper,we consider a possible modification of the de Sitter and anti-de Sitter space for the extended uncertainty principle.For the modified anti-de Sitter model we discuss the representation and wave functions of the momentum operator for a one-dimensional box problem.Also,we consider modified Snyder and anti-Snyder models for the generalized uncertainty principle.Then,we assume the Hamiltonian with different potential and solve the Heisenberg algebra for the modified(anti)-de Sitter and(anti)-Snyder models in both position and in the momentum space.
基金This study was supported by the National Natural Science Foundation of China （Grant No. 30471389）
文摘Growth and yield modeling has a long history in forestry. The methods of measuring the growth of stand basal area have evolved from those developed in the U.S.A. and Germany during the last century. Stand basal area modeling has progressed rapidly since the first widely used model was published by the U.S. Forest Service. Over the years, a variety of models have been developed for predicting the growth and yield of uneven/even-aged stands using stand-level approaches. The modeling methodology has not only moved from an empirical approach to a more ecological process-based approach but also accommodated a variety of techniques such as： 1） simultaneous equation methods, 2） difference models, 3） artificial neural network techniques, 4） linear/nonlinear regression models, and 5） matrix models. Empirical models using statistical methods were developed to reproduce accurately and precisely field observations. In contrast, process models have a shorter history, developed originally as research and education tools with the aim of increasing the understanding of cause and effect relationships. Empirical and process models can be married into hybrid models in which the shortcomings of both component approaches can, to some extent, be overcome. Algebraic difference forms of stand basal area models which consist of stand age, stand density and site quality can fully describe stand growth dynamics. This paper reviews the current literature regarding stand basal area models, discusses the basic types of models and their merits and outlines recent progress in modeling growth and dynamics of stand basal area. Future trends involving algebraic difference forms, good fitting variables and model types into stand basal area modeling strategies are discussed.
文摘To analyze the behavioral model of the command,control,communication,computer,intelligence,surveillance,reconnaissance(C4ISR)architecture,we propose an executable modeling and analyzing approach to it.First,the meta concept model of the C4ISR architecture is introduced.According to the meta concept model,we construct the executable meta models of the C4ISR architecture by extending the meta models of fUML.Then,we define the concrete syntax and executable activity algebra(EAA)semantics for executable models.The semantics functions are introduced to translating the syntax description of executable models into the item of EAA.To support the execution of models,we propose the executable rules which are the structural operational semantics of EAA.Finally,an area air defense of the C4ISR system is used to illustrate the feasibility of the approach.
基金Project supported by the National Natural Science Foundation of China (Grant No. 50831006)
文摘An overview of the mathematical structure of the three-dimensional（3D） Ising model is given from the points of view of topology,algebra,and geometry.By analyzing the relationships among transfer matrices of the 3D Ising model,Reidemeister moves in the knot theory,Yang-Baxter and tetrahedron equations,the following facts are illustrated for the 3D Ising model.1） The complex quaternion basis constructed for the 3D Ising model naturally represents the rotation in a（3＋1）-dimensional space-time as a relativistic quantum statistical mechanics model,which is consistent with the 4-fold integrand of the partition function obtained by taking the time average.2） A unitary transformation with a matrix that is a spin representation in 2 n·l·o-space corresponds to a rotation in 2n·l·o-space,which serves to smooth all the crossings in the transfer matrices and contributes the non-trivial topological part of the partition function of the 3D Ising model.3） A tetrahedron relationship would ensure the commutativity of the transfer matrices and the integrability of the 3D Ising model,and its existence is guaranteed by the Jordan algebra and the Jordan-von Neumann-Wigner procedures.4） The unitary transformation for smoothing the crossings in the transfer matrices changes the wave functions by complex phases φx,φy,and φz.The relationship with quantum field and gauge theories and the physical significance of the weight factors are discussed in detail.The conjectured exact solution is compared with numerical results,and the singularities at/near infinite temperature are inspected.The analyticity in β=1/（kBT） of both the hard-core and the Ising models has been proved only for β〉0,not for β=0.Thus the high-temperature series cannot serve as a standard for judging a putative exact solution of the 3D Ising model.
文摘The review paper by Zhang Zhi-Dong （Zhang Z D 2013 Chin. Phys. B 22 030513, arXiv：1305.2956） contains many errors and is based on several earlier works that are equally wrong.
基金The project supported by the National Natural Science Foundation of China (19725208)the National Climbing project of China
文摘By modifying the Rodi assumption to take account of the influence of flow curvature, a new curvature modified algebraic stress model(CMASM) is de- veloped from the second moment closure in the generalized curvilinear coordinate system. And the explicit form of this ASM, a new curvature modified nonlinear k-ε model (CMNKE), is derived in the orthogonal curvilinear coordinate system. This new nonlinear k-ε model is further validated by a numerical simulation of a two- dimensional U-type turnaround duct flow. The results show that the CMNKE can effectively capture the main characteristic of this curvature flow and simulate the damping effect of the shear stress by a convex curvature and the enhancing effect by a concave curvature. So, this model is a rational and effective simplification to the second moment closure.
