Labelled transition systems(LTSs) are widely used to formally describe system behaviour.The labels of LTS are extended to offer a more satisfactory description of behaviour by refining the abstract labels into multiva...Labelled transition systems(LTSs) are widely used to formally describe system behaviour.The labels of LTS are extended to offer a more satisfactory description of behaviour by refining the abstract labels into multivariate polynomials.These labels can be simplified by numerous numerical approximation methods.Those LTSs that can not apply failures semantics equivalence in description and verification may have a chance after using approximation on labels.The technique that combines approximation and failures semantics equivalence effectively alleviates the computational complexity and minimizes LTS.展开更多
This paper is concerned with the control performance assessment based on the multivariable generalized minimum variance benchmark.An explicit expression for the feedback controller-invariant(the generalized minimum va...This paper is concerned with the control performance assessment based on the multivariable generalized minimum variance benchmark.An explicit expression for the feedback controller-invariant(the generalized minimum variance)term of the multivariable control system is obtained,which is used as a standard benchmark for the assessment of the control performance for multi input multi output(MIMO)process.The proposed approach is based on the multivariable minimum variance benchmark.In comparison with the minimum variance benchmark, the developed method is more reasonable and practical for the control performance assessment of multivariable systems.The approach is illustrated by a simulation example and an industrial application.展开更多
We construct a class of integrable generalization of Toda mechanics withlong-range interactions. These systems are associated with the loop algebras L(C_r) and L(D_r) inthe sense that their Lax matrices can he realize...We construct a class of integrable generalization of Toda mechanics withlong-range interactions. These systems are associated with the loop algebras L(C_r) and L(D_r) inthe sense that their Lax matrices can he realized in terms of the c = 0 representations of theaffine Lie algebras C_r~((1)) and D_r~((1)) and the interactions pattern involved bears the typicalcharacters of the corresponding root systems. We present the equations of motion and the Hamiltoninnstructure. These generalized systems can be identified unambiguously by specifying the underlyingloop algebra together with an ordered pair of integers (n, m). It turns out that different systemsassociated with the same underlying loop algebra but with different pairs of integers (n_1, m_1) and(n_2, m_2) with n_2 【 n_1 and m_2 【 m_2 can be related by a nested Hamiltonian reduction procedure.For all nontrivial generalizations, the extra coordinates besides the standard Toda variables arePoisson non-commute, and when either n or m ≥ 3, the Poisson structure for the extra coordinatevariables becomes some Lie algebra (i.e. the extra variables appear linearly on the right-hand sideof the Poisson brackets). In the quantum case, such generalizations will become systems withnoncommutative variables without spoiling the integrability.展开更多
In multi-agent systems(MAS),finding agents which are able to service properly in an open and dynamic environment are the key issue in problem solving.However,it is difficult to find agent resources quickly and positio...In multi-agent systems(MAS),finding agents which are able to service properly in an open and dynamic environment are the key issue in problem solving.However,it is difficult to find agent resources quickly and position agents accurately and complete the system integration by the keyword matching method,due to the lack of clear semantic information of the classical agent model.An semantic-based agent dynamic positioning mechanism was proposed to assist in the system dynamic integration.According to the semantic agent model and the description method,a two-stage process including the domain positioning stage and the service semantic matching positioning stage,was discussed.With this mechanism,proper agents that provide appropriate service to assign sub-tasks for task completion can be found quickly and accurately.Finally,the effectiveness of the positioning mechanism was validated through the in-depth performance analysis in the application of simulation experiments to the system dynamic integration.展开更多
We intend to establish how species diversity is dealt with, within the study of the ecosystem, in books for the 4th year of Compulsory Secondary Education, ESO （15-16 year-old students）. The analysis was carried out...We intend to establish how species diversity is dealt with, within the study of the ecosystem, in books for the 4th year of Compulsory Secondary Education, ESO （15-16 year-old students）. The analysis was carried out using a key issues dossier based on school science, which not only provides a description of reality, but also introduces a theoretical explanatory framework. Regarding species diversity, we focused on the descriptive approach, considering the link between diversity and trophic relationships, ecological succession and ecosystem stability through change, consequences for biodiversity of human activities and mechanisms to face such consequences; and on the explanatory perspective, which provides an interpretative answer for all the aspects previously mentioned. The findings drawn from textbooks show that biodiversity is linked both to the study of the ecosystem and to the impact of human societies on its maintenance. However, such study is particularly focused on the descriptive, rather than on the explanatory level. So, teachers should improve the study of biodiversity foresting a balance between descriptive and explanatory level.展开更多
Dynamics is the foundation of undergraduate study in mechanical engineering. If you are good in dynamics, you will be good on all other courses. Advanced dynamics is the foundation for graduate study. The author taugh...Dynamics is the foundation of undergraduate study in mechanical engineering. If you are good in dynamics, you will be good on all other courses. Advanced dynamics is the foundation for graduate study. The author taught advanced dynamics for more than ten years, this is the author＇s observation. Why it is so？ Because the course of advanced dynamics covers usually many mathematical fundamentals such as vectors, tensors, matrices and rotation operators; principles and applications in dynamics from particle dynamics to rigid body motion, from small oscillation to vibration of systems with multiple degrees of freedom, the author＇s course covers also special relativity theory. They are very innovative. And they set the foundation for the study of all the graduate courses. Science is always in progress, dynamics is in the same form. Just say a few examples to illustrate the frontier of dynamics： missile shooting missile is important in our defense, the author covered this as an example in particle dynamics. Space ship travels from Earth to Mars is another example. Several rotational motions with different axes can be combined to one through the use of rotation operator. This is important because it usually can save time. All these examples will be included in this paper in some details.展开更多
Using Carleman linearization procedure, this paper investigates the problem of first integrals of polynomial autonomous systems and proposes a procedure to find the first integrals of polynomial family for the systems...Using Carleman linearization procedure, this paper investigates the problem of first integrals of polynomial autonomous systems and proposes a procedure to find the first integrals of polynomial family for the systems. A generalized eigenequation is obtained and then the problem is reduced to the solvability of the eigenequation. The result is a generalization of some known results.展开更多
In this paper, the problem of consensus for continuous time singular systems of multi-agent networks is considered. The definition of r-consensus is introduced for singular systems of multi-agent networks. Firstly, li...In this paper, the problem of consensus for continuous time singular systems of multi-agent networks is considered. The definition of r-consensus is introduced for singular systems of multi-agent networks. Firstly, linear systems with algebraic constraints are considered, and the corresponding results about consensus and average-consensus are derived. Then r-consensus and consensus problems of singular systems are investigated. Sufficient conditions of r-consensus and consensus are obtained,respectively. Finally, an illustrative example is given to show the effectiveness of the proposed method.展开更多
The transcultural communication that characterizes our times needs to be carried out in a few commonly shared languages and this requirement has sharpened the awareness about uneven language status. While defenders of...The transcultural communication that characterizes our times needs to be carried out in a few commonly shared languages and this requirement has sharpened the awareness about uneven language status. While defenders of minor languages frequently make use of such concepts as ecosystem, human rights, capital, power, imperialism, etc. To express alarm at the spread of the English language in the present world, researchers tend to forget that these concepts applied to languages are only metaphors which, taken at their face value, would conceal the non- exclusive nature of language as a communicative instrument. A question is raised as to whether we should go beyond an essentially nationalist perception of language inherited from the nineteenth century.展开更多
基金National Natural Science Foundation of China(No.11371003)Natural Science Foundations of Guangxi,China(No.2011GXNSFA018154,No.2012GXNSFGA060003)+2 种基金Science and Technology Foundation of Guangxi,China(No.10169-1)Scientific Research Project from Guangxi Education Department,China(No.201012MS274)Open Research Fund Program of Guangxi Key Laboratory of Hybrid Computation and IC Design Analysis,China(No.HCIC201301)
文摘Labelled transition systems(LTSs) are widely used to formally describe system behaviour.The labels of LTS are extended to offer a more satisfactory description of behaviour by refining the abstract labels into multivariate polynomials.These labels can be simplified by numerous numerical approximation methods.Those LTSs that can not apply failures semantics equivalence in description and verification may have a chance after using approximation on labels.The technique that combines approximation and failures semantics equivalence effectively alleviates the computational complexity and minimizes LTS.
基金Supported by the National High Technology Research and Development Program of China(2008AA042902)the National Basic Research Program of China(2007CB714006)the Graduate Creative Research Program of Zhejiang Province (YK2008024)
文摘This paper is concerned with the control performance assessment based on the multivariable generalized minimum variance benchmark.An explicit expression for the feedback controller-invariant(the generalized minimum variance)term of the multivariable control system is obtained,which is used as a standard benchmark for the assessment of the control performance for multi input multi output(MIMO)process.The proposed approach is based on the multivariable minimum variance benchmark.In comparison with the minimum variance benchmark, the developed method is more reasonable and practical for the control performance assessment of multivariable systems.The approach is illustrated by a simulation example and an industrial application.
文摘We construct a class of integrable generalization of Toda mechanics withlong-range interactions. These systems are associated with the loop algebras L(C_r) and L(D_r) inthe sense that their Lax matrices can he realized in terms of the c = 0 representations of theaffine Lie algebras C_r~((1)) and D_r~((1)) and the interactions pattern involved bears the typicalcharacters of the corresponding root systems. We present the equations of motion and the Hamiltoninnstructure. These generalized systems can be identified unambiguously by specifying the underlyingloop algebra together with an ordered pair of integers (n, m). It turns out that different systemsassociated with the same underlying loop algebra but with different pairs of integers (n_1, m_1) and(n_2, m_2) with n_2 【 n_1 and m_2 【 m_2 can be related by a nested Hamiltonian reduction procedure.For all nontrivial generalizations, the extra coordinates besides the standard Toda variables arePoisson non-commute, and when either n or m ≥ 3, the Poisson structure for the extra coordinatevariables becomes some Lie algebra (i.e. the extra variables appear linearly on the right-hand sideof the Poisson brackets). In the quantum case, such generalizations will become systems withnoncommutative variables without spoiling the integrability.
基金Projects(61173026,61373045,61202039)supported by the National Natural Science Foundation of ChinaProject(2012AA02A603)supported by the National High Technology Research and Development Program of China+1 种基金Projects(K5051223008,K5051223002)supported by the Fundamental Research Funds for the Central Universities of ChinaProject(513***103E)supported by the Pre-Research Project of the"Twelfth Five-Year-Plan"of China
文摘In multi-agent systems(MAS),finding agents which are able to service properly in an open and dynamic environment are the key issue in problem solving.However,it is difficult to find agent resources quickly and position agents accurately and complete the system integration by the keyword matching method,due to the lack of clear semantic information of the classical agent model.An semantic-based agent dynamic positioning mechanism was proposed to assist in the system dynamic integration.According to the semantic agent model and the description method,a two-stage process including the domain positioning stage and the service semantic matching positioning stage,was discussed.With this mechanism,proper agents that provide appropriate service to assign sub-tasks for task completion can be found quickly and accurately.Finally,the effectiveness of the positioning mechanism was validated through the in-depth performance analysis in the application of simulation experiments to the system dynamic integration.
文摘We intend to establish how species diversity is dealt with, within the study of the ecosystem, in books for the 4th year of Compulsory Secondary Education, ESO （15-16 year-old students）. The analysis was carried out using a key issues dossier based on school science, which not only provides a description of reality, but also introduces a theoretical explanatory framework. Regarding species diversity, we focused on the descriptive approach, considering the link between diversity and trophic relationships, ecological succession and ecosystem stability through change, consequences for biodiversity of human activities and mechanisms to face such consequences; and on the explanatory perspective, which provides an interpretative answer for all the aspects previously mentioned. The findings drawn from textbooks show that biodiversity is linked both to the study of the ecosystem and to the impact of human societies on its maintenance. However, such study is particularly focused on the descriptive, rather than on the explanatory level. So, teachers should improve the study of biodiversity foresting a balance between descriptive and explanatory level.
文摘Dynamics is the foundation of undergraduate study in mechanical engineering. If you are good in dynamics, you will be good on all other courses. Advanced dynamics is the foundation for graduate study. The author taught advanced dynamics for more than ten years, this is the author＇s observation. Why it is so？ Because the course of advanced dynamics covers usually many mathematical fundamentals such as vectors, tensors, matrices and rotation operators; principles and applications in dynamics from particle dynamics to rigid body motion, from small oscillation to vibration of systems with multiple degrees of freedom, the author＇s course covers also special relativity theory. They are very innovative. And they set the foundation for the study of all the graduate courses. Science is always in progress, dynamics is in the same form. Just say a few examples to illustrate the frontier of dynamics： missile shooting missile is important in our defense, the author covered this as an example in particle dynamics. Space ship travels from Earth to Mars is another example. Several rotational motions with different axes can be combined to one through the use of rotation operator. This is important because it usually can save time. All these examples will be included in this paper in some details.
基金This research is supported by the National Natural Science Foundation(G59837270,G1998020308, G69774008) National Key Project of China.
文摘Using Carleman linearization procedure, this paper investigates the problem of first integrals of polynomial autonomous systems and proposes a procedure to find the first integrals of polynomial family for the systems. A generalized eigenequation is obtained and then the problem is reduced to the solvability of the eigenequation. The result is a generalization of some known results.
基金supported by the National Natural Science Foundation of China under Grant Nos.61174141 and 61374025Research Awards Young and Middle-Aged Scientists of Shandong Province under Grant Nos.BS2011SF009 and BS2011DX019Excellent Youth Foundation of Shandong Province under Grant No.JQ201219
文摘In this paper, the problem of consensus for continuous time singular systems of multi-agent networks is considered. The definition of r-consensus is introduced for singular systems of multi-agent networks. Firstly, linear systems with algebraic constraints are considered, and the corresponding results about consensus and average-consensus are derived. Then r-consensus and consensus problems of singular systems are investigated. Sufficient conditions of r-consensus and consensus are obtained,respectively. Finally, an illustrative example is given to show the effectiveness of the proposed method.
文摘The transcultural communication that characterizes our times needs to be carried out in a few commonly shared languages and this requirement has sharpened the awareness about uneven language status. While defenders of minor languages frequently make use of such concepts as ecosystem, human rights, capital, power, imperialism, etc. To express alarm at the spread of the English language in the present world, researchers tend to forget that these concepts applied to languages are only metaphors which, taken at their face value, would conceal the non- exclusive nature of language as a communicative instrument. A question is raised as to whether we should go beyond an essentially nationalist perception of language inherited from the nineteenth century.
