An intelligent emergency service（ IES） system is designed for indoor environments based on a wireless sensor and actuator network（ WSAN） composed of a gateway, sensor nodes, and a multi-robot system（ MRS）. If th...An intelligent emergency service（ IES） system is designed for indoor environments based on a wireless sensor and actuator network（ WSAN） composed of a gateway, sensor nodes, and a multi-robot system（ MRS）. If the MRS receives accident alarm information, the group of robots will navigate to the accident sites and provide corresponding emergency services.According to the characteristics of the MRS, a distributed consensus formation protocol is designed, which can assure that the multiple robots arrive at the accident site in a specified formation. The prototype emergency service system was designed and implemented, and some relevant simulations and experiments were carried out. The results showthat the MRS can successfully provide emergency lighting and failure node replacement services when accidents happen. The effectiveness of the algorithm and the feasibility of the system are verified.展开更多
In statistical theory, a statistic that is function of sample observations is used to estimate distribution parameter. This statistic is called unbiased estimate if its expectation is equal to theoretical parameter. P...In statistical theory, a statistic that is function of sample observations is used to estimate distribution parameter. This statistic is called unbiased estimate if its expectation is equal to theoretical parameter. Proving whether or not a statistic is unbiased estimate is very important but this proof may require a lot of efforts when statistic is complicated function. Therefore, this research facilitates this proof by proposing a theorem which states that the expectation of variable x 〉 0 is u if and only if the limit of logarithm expectation of x approaches logarithm of u. In order to make clear of this theorem, the research gives an example of proving correlation coefficient as unbiased estimate by taking advantages of this theorem.展开更多
Studied are the controller design and basic principles of intelligent lighting network. TI’s MSP430F123 is used as a main controller. By using the ZigBee modules(Xbee/Xbee-PRO) and the GSM module(SIM300C) for wireles...Studied are the controller design and basic principles of intelligent lighting network. TI’s MSP430F123 is used as a main controller. By using the ZigBee modules(Xbee/Xbee-PRO) and the GSM module(SIM300C) for wireless communications, the lighting control is enabled to access wireless network. This system uses a mobile phone to achieve light on-off directly, which can accomplish wireless control of intelligent lighting in families.展开更多
Intelligent unmanned autonomous systems are some of the most important applications of artificial intelligence （AI）. The development of such systems can significantly promote innovation in AI technologies. This pape...Intelligent unmanned autonomous systems are some of the most important applications of artificial intelligence （AI）. The development of such systems can significantly promote innovation in AI technologies. This paper introduces the trends in the development of intelligent unmanned autonomous systems by summarizing the main achievements in each technological platform. Furthermore, we classify the relevant technologies into seven areas, including AI technologies, unmanned vehicles, unmanned aerial vehicles, service robots, space robots, marine robots, and unmanned workshops/intelligent plants. Current trends and de- velopments in each area are introduced.展开更多
The authors prove that the crossed product of an infinite dimensional simple separable unital C*-algebra with stable rank one by an action of a finite group with the tracial Rokhlin property has again stable rank one....The authors prove that the crossed product of an infinite dimensional simple separable unital C*-algebra with stable rank one by an action of a finite group with the tracial Rokhlin property has again stable rank one. It is also proved that the crossed product of an infinite dimensional simple separable unital C*-algebra with real rank zero by an action of a finite group with the tracial Rokhlin property has again real rank zero.展开更多
This paper deals with the existence of periodic solutions of a nonhomogeneous string with Dirichlet-Neumann condition. The authors consider the case that the period is irrational multiple of space length and prove tha...This paper deals with the existence of periodic solutions of a nonhomogeneous string with Dirichlet-Neumann condition. The authors consider the case that the period is irrational multiple of space length and prove that for some irrational number, zero is not the accumulation point of the spectrum of the associated linear operator. This result can be used to prove the existence of the periodic solution avoid using Nash-Moser iteration.展开更多
Efficient large-scale nondestructive quality assessment of graphene on Pt is essential to the in-depth growth research and practical applications of graphene.Here,we present a very simple method for directly observing...Efficient large-scale nondestructive quality assessment of graphene on Pt is essential to the in-depth growth research and practical applications of graphene.Here,we present a very simple method for directly observing the domains and defects in graphene on Pt using an ordinary optical microscope.This was achieved by modifying graphene on Pt using methylene blue(MB).Because the chemical activities of graphene and Pt surface differ significantly,the adsorption and reaction of MB on graphene and platinum surface differ.We can determine the distribution of graphene crystal domains and defects by comparing the colors in the optical images.In addition,this characterization method causes no obvious damage to the Pt substrate and graphene.Moreover,it does not affect the recycling of the substrate or the subsequent characterization or application of graphene.Our study provides a nondestructive method for measuring the quality of graphene on Pt on a large scale,as well as a reference for the characterization and doping of other two-dimensional materials.展开更多
The authors mainly study the generalized symplectic mean curvature flow in an almost Einstein surface,and prove that this flow has no type-I singularity.In the graph case,the global existence and convergence of the fl...The authors mainly study the generalized symplectic mean curvature flow in an almost Einstein surface,and prove that this flow has no type-I singularity.In the graph case,the global existence and convergence of the flow at infinity to a minimal surface with metric of the ambient space conformal to the original one are also proved.展开更多
We discuss the fidelity of states in the infinite-dimensional systems and give an elementary proof of the infinite-dimensional version of Uhlmann's theorem.This theorem is used to generalize several properties of ...We discuss the fidelity of states in the infinite-dimensional systems and give an elementary proof of the infinite-dimensional version of Uhlmann's theorem.This theorem is used to generalize several properties of the fidelity of the finite-dimensional case to the infinite-dimensional case.These are somewhat different from those for the finite-dimensional case.展开更多
基金The National Natural Science Foundation of China(No.61375076)the Research&Innovation Program for Graduate Student in Universities of Jiangsu Province(No.KYLX_0108)+1 种基金the Scientific Research Foundation of Graduate School of Southeast University(No.YBJJ1423)Jiangsu Planned Projects for Postdoctoral Research Funds(No.1302064B)
文摘An intelligent emergency service（ IES） system is designed for indoor environments based on a wireless sensor and actuator network（ WSAN） composed of a gateway, sensor nodes, and a multi-robot system（ MRS）. If the MRS receives accident alarm information, the group of robots will navigate to the accident sites and provide corresponding emergency services.According to the characteristics of the MRS, a distributed consensus formation protocol is designed, which can assure that the multiple robots arrive at the accident site in a specified formation. The prototype emergency service system was designed and implemented, and some relevant simulations and experiments were carried out. The results showthat the MRS can successfully provide emergency lighting and failure node replacement services when accidents happen. The effectiveness of the algorithm and the feasibility of the system are verified.
文摘In statistical theory, a statistic that is function of sample observations is used to estimate distribution parameter. This statistic is called unbiased estimate if its expectation is equal to theoretical parameter. Proving whether or not a statistic is unbiased estimate is very important but this proof may require a lot of efforts when statistic is complicated function. Therefore, this research facilitates this proof by proposing a theorem which states that the expectation of variable x 〉 0 is u if and only if the limit of logarithm expectation of x approaches logarithm of u. In order to make clear of this theorem, the research gives an example of proving correlation coefficient as unbiased estimate by taking advantages of this theorem.
基金Special Fund Project for Technology Innovation of Tianjin City(06FZZDGX01800)
文摘Studied are the controller design and basic principles of intelligent lighting network. TI’s MSP430F123 is used as a main controller. By using the ZigBee modules(Xbee/Xbee-PRO) and the GSM module(SIM300C) for wireless communications, the lighting control is enabled to access wireless network. This system uses a mobile phone to achieve light on-off directly, which can accomplish wireless control of intelligent lighting in families.
文摘Intelligent unmanned autonomous systems are some of the most important applications of artificial intelligence （AI）. The development of such systems can significantly promote innovation in AI technologies. This paper introduces the trends in the development of intelligent unmanned autonomous systems by summarizing the main achievements in each technological platform. Furthermore, we classify the relevant technologies into seven areas, including AI technologies, unmanned vehicles, unmanned aerial vehicles, service robots, space robots, marine robots, and unmanned workshops/intelligent plants. Current trends and de- velopments in each area are introduced.
基金Project supported by the National Natural Science Foundation of China (No. 10771161)
文摘The authors prove that the crossed product of an infinite dimensional simple separable unital C*-algebra with stable rank one by an action of a finite group with the tracial Rokhlin property has again stable rank one. It is also proved that the crossed product of an infinite dimensional simple separable unital C*-algebra with real rank zero by an action of a finite group with the tracial Rokhlin property has again real rank zero.
基金supported by the Zhejiang Provincial Department of Education Research Fund(No.Y201326873)
文摘This paper deals with the existence of periodic solutions of a nonhomogeneous string with Dirichlet-Neumann condition. The authors consider the case that the period is irrational multiple of space length and prove that for some irrational number, zero is not the accumulation point of the spectrum of the associated linear operator. This result can be used to prove the existence of the periodic solution avoid using Nash-Moser iteration.
基金financially supported by the National Defense Technology Innovation Special Zone Project, the National Natural Science Foundation of China (51402342)the Science and Technology Commission of Shanghai Municipality (20501130200)。
文摘Efficient large-scale nondestructive quality assessment of graphene on Pt is essential to the in-depth growth research and practical applications of graphene.Here,we present a very simple method for directly observing the domains and defects in graphene on Pt using an ordinary optical microscope.This was achieved by modifying graphene on Pt using methylene blue(MB).Because the chemical activities of graphene and Pt surface differ significantly,the adsorption and reaction of MB on graphene and platinum surface differ.We can determine the distribution of graphene crystal domains and defects by comparing the colors in the optical images.In addition,this characterization method causes no obvious damage to the Pt substrate and graphene.Moreover,it does not affect the recycling of the substrate or the subsequent characterization or application of graphene.Our study provides a nondestructive method for measuring the quality of graphene on Pt on a large scale,as well as a reference for the characterization and doping of other two-dimensional materials.
基金Project supported by the National Natural Science Foundation of China(Nos.11071236,11131007,10421101)
文摘The authors mainly study the generalized symplectic mean curvature flow in an almost Einstein surface,and prove that this flow has no type-I singularity.In the graph case,the global existence and convergence of the flow at infinity to a minimal surface with metric of the ambient space conformal to the original one are also proved.
基金supported by the National Natural Science Foundation of China(Grant Nos.11171249 and 11101250)the Youth Foundation of Shanxi Province(Grant No.2012021004)the Young Talents Plan for Shanxi University and a grant from the International Cooperation Program in Sciences and Technology of Shanxi(Grant No.2011081039)
文摘We discuss the fidelity of states in the infinite-dimensional systems and give an elementary proof of the infinite-dimensional version of Uhlmann's theorem.This theorem is used to generalize several properties of the fidelity of the finite-dimensional case to the infinite-dimensional case.These are somewhat different from those for the finite-dimensional case.
