Changsha urban landscape had been divided into four categories which were background landscape,contour landscape,architectural and humanity landscape,and garden and green landscape in this paper;and components and cha...Changsha urban landscape had been divided into four categories which were background landscape,contour landscape,architectural and humanity landscape,and garden and green landscape in this paper;and components and characteristics of each landscape had been analyzed in detail,which were used in establishment of city identity system of Changsha.Five subsystems had been taken as contexts and their components were analyzed specifically,which were mind indentify system,visual identity system,behavior identity system,audio identity system and environment identity system.Mind identity system would be disintegrated into characteristic landscape system with urban center as the core,surrounded by natural landscape belt and covering historical deposit.Visual identity system would be constituted through application of city flower,city tree,mascot and standard color.Behavior identity system would be disintegrated into capital of entertainment and behavioral custom of old city.Audio identity system would be decomposed into audio identity of urban streets,of natural landscape and of commercial landscape.Environment identity system would be established from the perspective of ecological environment.It was considered that establishment of city identity system of Changsha could directly promote economic development,and it needed further study on city identity system of Changsha.展开更多
In this paper, we first give and prove a geometric identity for distance between any point and mass-points of two mass-points systems in n-dimensional Euclidean space Rn.As its application, we obtain an equality for t...In this paper, we first give and prove a geometric identity for distance between any point and mass-points of two mass-points systems in n-dimensional Euclidean space Rn.As its application, we obtain an equality for two mass-points systems and its radius of the circumscribed sphere and an inequality for distance between mass-points of two mass-points systems and its k-dimensional volume.展开更多
This paper introduces a recursive identification methods toolbox(called RIM) running under Matlab environment for dynamic system identification from available data. The RIM includes many methods which are generally us...This paper introduces a recursive identification methods toolbox(called RIM) running under Matlab environment for dynamic system identification from available data. The RIM includes many methods which are generally used. The RIM helps users to validate the theoretical results and to carry out comparison between identifications methods without the need of algorithms programming. Furthermore, the RIM can be used as an education platform to study the identification parameters effect on model validity and results accuracy. To show its performance and capability, the RIM is evaluated through many application examples.展开更多
In this article, we establish a nonexistence result of nontrivial non-negative solutions for the following Choquard-type Hamiltonian system by the Pohožaev identity , when , , , , , and , where and denotes the convolu...In this article, we establish a nonexistence result of nontrivial non-negative solutions for the following Choquard-type Hamiltonian system by the Pohožaev identity , when , , , , , and , where and denotes the convolution in .展开更多
The customer population of entities potentially requesting to join a queue for service often have identical structure, i.e., the same state set and isomorphic transitions. The state size of the automaton modeling a qu...The customer population of entities potentially requesting to join a queue for service often have identical structure, i.e., the same state set and isomorphic transitions. The state size of the automaton modeling a queue will grow rapidly with increase of the size of this population. However, by relabeling the queue arrival events and service events to the same symbols respectively, the automaton model of a queue will be converted to the structure of a buffer, which is proved to be independent of the total size of the customer population, as long as the queue size is held fixed. We propose the model of a dynamic buffer to embody order and shift of a queue. The result is applied to a manufacturing facility with a dynamic buffer to manage the repair of broken down machines.展开更多
This paper constructs an almost-Poisson structure for the non-self-adjoint dynamical systems, which can be decomposed into a sum of a Poisson bracket and the other almost-Poisson bracket. The necessary and sufficient ...This paper constructs an almost-Poisson structure for the non-self-adjoint dynamical systems, which can be decomposed into a sum of a Poisson bracket and the other almost-Poisson bracket. The necessary and sufficient condition for the decomposition of the almost-Poisson bracket to be two Poisson ones is obtained. As an application, the almost- Poisson structure for generalised Chaplygin＇s systems is discussed in the framework of the decomposition theory. It proves that the almost-Poisson bracket for the systems can be decomposed into the sum of a canonical Poisson bracket and another two noneanonical Poisson brackets in some special cases, which is useful for integrating the equations of motion.展开更多
In this paper, Noether theory of Lagrange systems in discrete case are studied. First, we briefly overview the wellknown Noether theory of Lagrange system in the continuous case. Then, we introduce some definitions an...In this paper, Noether theory of Lagrange systems in discrete case are studied. First, we briefly overview the wellknown Noether theory of Lagrange system in the continuous case. Then, we introduce some definitions and notations, such as the operators of discrete translation to the right and the left and the operators of discrete differentiation to the right and the left, and give the conditions for the invariance of the difference functional on the uniform lattice and the non-uniform one, respectively. We also deduce the discrete analog of the Noether-type identity. Finally, the discrete analog of Noether＇s theorem is presented. An example was discussed to illustrate these results.展开更多
In this paper,we show how to use the dual techniques in the subgroups to give a secure identity-based broadcast encryption(IBBE) scheme with constant-size ciphertexts. Our scheme achieves the full security(adaptive se...In this paper,we show how to use the dual techniques in the subgroups to give a secure identity-based broadcast encryption(IBBE) scheme with constant-size ciphertexts. Our scheme achieves the full security(adaptive security) under three static(i.e. non q-based) assumptions. It is worth noting that only recently Waters gives a short ciphertext broadcast encryption system that is even adaptively secure under the simple assumptions. One feature of our methodology is that it is relatively simple to leverage our techniques to get adaptive security.展开更多
For a sampled-data control system with nonuniform sampling, the sampling interval sequence, which is continuously distributed in a given interval, is described as a multiple independent and identically distributed (i....For a sampled-data control system with nonuniform sampling, the sampling interval sequence, which is continuously distributed in a given interval, is described as a multiple independent and identically distributed (i.i.d.) process. With this process, the closed-loop system is transformed into an asynchronous dynamical impulsive model with input delays. Sufficient conditions for the closed-loop mean-square exponential stability are presented in terms of linear matrix inequalities (LMIs), in which the relation between the nonuniform sampling and the mean-square exponential stability of the closed-loop system is explicitly established. Based on the stability conditions, the controller design method is given, which is further formulated as a convex optimization problem with LMI constraints. Numerical examples and experiment results are given to show the effectiveness and the advantages of the theoretical results.展开更多
文摘Changsha urban landscape had been divided into four categories which were background landscape,contour landscape,architectural and humanity landscape,and garden and green landscape in this paper;and components and characteristics of each landscape had been analyzed in detail,which were used in establishment of city identity system of Changsha.Five subsystems had been taken as contexts and their components were analyzed specifically,which were mind indentify system,visual identity system,behavior identity system,audio identity system and environment identity system.Mind identity system would be disintegrated into characteristic landscape system with urban center as the core,surrounded by natural landscape belt and covering historical deposit.Visual identity system would be constituted through application of city flower,city tree,mascot and standard color.Behavior identity system would be disintegrated into capital of entertainment and behavioral custom of old city.Audio identity system would be decomposed into audio identity of urban streets,of natural landscape and of commercial landscape.Environment identity system would be established from the perspective of ecological environment.It was considered that establishment of city identity system of Changsha could directly promote economic development,and it needed further study on city identity system of Changsha.
文摘In this paper, we first give and prove a geometric identity for distance between any point and mass-points of two mass-points systems in n-dimensional Euclidean space Rn.As its application, we obtain an equality for two mass-points systems and its radius of the circumscribed sphere and an inequality for distance between mass-points of two mass-points systems and its k-dimensional volume.
文摘This paper introduces a recursive identification methods toolbox(called RIM) running under Matlab environment for dynamic system identification from available data. The RIM includes many methods which are generally used. The RIM helps users to validate the theoretical results and to carry out comparison between identifications methods without the need of algorithms programming. Furthermore, the RIM can be used as an education platform to study the identification parameters effect on model validity and results accuracy. To show its performance and capability, the RIM is evaluated through many application examples.
文摘In this article, we establish a nonexistence result of nontrivial non-negative solutions for the following Choquard-type Hamiltonian system by the Pohožaev identity , when , , , , , and , where and denotes the convolution in .
文摘The customer population of entities potentially requesting to join a queue for service often have identical structure, i.e., the same state set and isomorphic transitions. The state size of the automaton modeling a queue will grow rapidly with increase of the size of this population. However, by relabeling the queue arrival events and service events to the same symbols respectively, the automaton model of a queue will be converted to the structure of a buffer, which is proved to be independent of the total size of the customer population, as long as the queue size is held fixed. We propose the model of a dynamic buffer to embody order and shift of a queue. The result is applied to a manufacturing facility with a dynamic buffer to manage the repair of broken down machines.
基金Project supported by the National Natural Science Foundation of China (Grant Nos. 10872084 and 10472040)the Outstanding Young Talents Training Fund of Liaoning Province,China (Grant No. 3040005)the Research Program of Higher Education of Liaoning Province,China (Grant No. 2008S098)
文摘This paper constructs an almost-Poisson structure for the non-self-adjoint dynamical systems, which can be decomposed into a sum of a Poisson bracket and the other almost-Poisson bracket. The necessary and sufficient condition for the decomposition of the almost-Poisson bracket to be two Poisson ones is obtained. As an application, the almost- Poisson structure for generalised Chaplygin＇s systems is discussed in the framework of the decomposition theory. It proves that the almost-Poisson bracket for the systems can be decomposed into the sum of a canonical Poisson bracket and another two noneanonical Poisson brackets in some special cases, which is useful for integrating the equations of motion.
基金Project supported by the National Natural Science Foundation of China(Grant No.10872037)the Natural Science Foundationof Anhui Province,China(Grant No.070416226)
文摘In this paper, Noether theory of Lagrange systems in discrete case are studied. First, we briefly overview the wellknown Noether theory of Lagrange system in the continuous case. Then, we introduce some definitions and notations, such as the operators of discrete translation to the right and the left and the operators of discrete differentiation to the right and the left, and give the conditions for the invariance of the difference functional on the uniform lattice and the non-uniform one, respectively. We also deduce the discrete analog of the Noether-type identity. Finally, the discrete analog of Noether＇s theorem is presented. An example was discussed to illustrate these results.
基金supported by the Nature Science Foundation of China under grant 60970119, 60803149the National Basic Research Program of China(973) under grant 2007CB311201
文摘In this paper,we show how to use the dual techniques in the subgroups to give a secure identity-based broadcast encryption(IBBE) scheme with constant-size ciphertexts. Our scheme achieves the full security(adaptive security) under three static(i.e. non q-based) assumptions. It is worth noting that only recently Waters gives a short ciphertext broadcast encryption system that is even adaptively secure under the simple assumptions. One feature of our methodology is that it is relatively simple to leverage our techniques to get adaptive security.
基金supported by National Natural Science Foundation of China (Nos.61104105,U0735003 and 60974047)Natural Science Foundation of Guangdong Province of China (No.9451009001002702)
文摘For a sampled-data control system with nonuniform sampling, the sampling interval sequence, which is continuously distributed in a given interval, is described as a multiple independent and identically distributed (i.i.d.) process. With this process, the closed-loop system is transformed into an asynchronous dynamical impulsive model with input delays. Sufficient conditions for the closed-loop mean-square exponential stability are presented in terms of linear matrix inequalities (LMIs), in which the relation between the nonuniform sampling and the mean-square exponential stability of the closed-loop system is explicitly established. Based on the stability conditions, the controller design method is given, which is further formulated as a convex optimization problem with LMI constraints. Numerical examples and experiment results are given to show the effectiveness and the advantages of the theoretical results.
