The controllability of delay degenerate differential control systems is discussed. Firstly, delay degenerate differential control system was transformed to be canonical form, and the connected terms were gotten rid of...The controllability of delay degenerate differential control systems is discussed. Firstly, delay degenerate differential control system was transformed to be canonical form, and the connected terms were gotten rid of, had delay degenerate differential control systems with independent subsystems. For the general delay degenerate differnetial control systems, it was gotten that the necessary and sufficient condition of that they are controllable is that their reachable set is equal to the whole space. For the delay degenerate differential control systems with independent subsystems, it was gotten that the necessary and sufficient conditions of that they are controllable are that their reachable sets are equal to their corresponding subspaces. Then some algebra criteria were gotten. Finally, an example was given to illustrate the main results.展开更多
This paper describes the system modelling, architecture design and implementation of the observatory control system （OCS） of the LAMOST （Large Area Multi-Object Fibre Spectroscopic Telescope）. The software-reuse t...This paper describes the system modelling, architecture design and implementation of the observatory control system （OCS） of the LAMOST （Large Area Multi-Object Fibre Spectroscopic Telescope）. The software-reuse technique, object-oriented technique, component and framework based software-developing methodology are used in the system architecture and implementation. The architecture of OCS is established based on a component-based layered system using many patterns such as the MVC （Model/View/Controller） and proxy. For the effective and safe exchange of commands and status between OCS and the subsystem, a unified message bus is defined and three protocols, namely a command acceptance/rejection protocol, a command execution feedback protocol and a status handling protocol, are proposed. The interface protocol between all the subsystems is defined. The full utilization of advanced computer technologies including the database, distributed computing, real-time computing, standard data exchange and expert system technologies has benefited the OCS software development.展开更多
In this paper we choose the symmetric positive definite solutionof Riccati matrix algebraic equation and,construct a positive defini-tequadratic form V-function and,use Lyapunov deco mpositionequivalence method founde...In this paper we choose the symmetric positive definite solutionof Riccati matrix algebraic equation and,construct a positive defini-tequadratic form V-function and,use Lyapunov deco mpositionequivalence method founded by Liu Yong-qing to obtain the condi-tions of the asymptotic stability of the solution of neutral typelinear large scale control system,the estimate formula of thedecom posing coefficients and time delay are also given.展开更多
Faced with the key problems of machinerv- induced vibration and structure-borne noise when dynamic machines are mounted on flexible foundations such as upper floors of facto- ry buildings, the vibration and...Faced with the key problems of machinerv- induced vibration and structure-borne noise when dynamic machines are mounted on flexible foundations such as upper floors of facto- ry buildings, the vibration and noise transmission mechanism and optimal control for the flexible system are systematically studied by the novel approach of power flow. A more general system of machinery-isolators一flexible foundation is modelled. Based on substructure transfer matrix tech- nique the power flow input and transmitted are formulated in closed forms, and the effects that the flexibility of foundation and the asymmetricity of system have upon the power flow transmis- sion spectra are revealed, Also the inverse problems of isolation design are discussed by using an optimum method. Optimum design for a typical example about a force fan mounted on a con- crete building floor is successfully performed to show that the model is practical, the theory and the optimisation developed are reasonable and effective. Thereby, theoretical bases for accurate prediction of isolation effectiveness and an optimum method for practical design of a general flexi- ble isolation system are provided.展开更多
A new concept, namely, the equivalent mobility matrix of coupling subsystem is proposed, and the corresponding threesubsystem coupling progressive approach is explored. With the new efficient approach presented, the c...A new concept, namely, the equivalent mobility matrix of coupling subsystem is proposed, and the corresponding threesubsystem coupling progressive approach is explored. With the new efficient approach presented, the complexity in dealing with a more complicated dynamic coupling system is greatly reduced. The new modeling method is then combined with the theory of power flow to investigate the dynamics of the overall non rigid isolation system from the viewpoint of energy. The interaction between the resilient machine of its main modes and the resonant behavior of the flexible foundation on power flow transmission is studied. Taking a machine tool mounted on a multi story working plant as an example, the dynamic characteristics of the machine foundation coupling system are analyzed, and their effects on power flow transmission are revealed under various service frequency bands. Some advisable control strategies and the design principle for machinery mounted on flexible structure are proposed.展开更多
CBTC(Communication Based Train Control)系统可有效提高轨道交通的列车运营效率,降低系统建设和维护费用。在系统研发过程中需对系统进行建模、仿真和验证,发现系统设计缺陷,以保证系统的安全性。CBTC区域控制子系统是一实时控制系统...CBTC(Communication Based Train Control)系统可有效提高轨道交通的列车运营效率,降低系统建设和维护费用。在系统研发过程中需对系统进行建模、仿真和验证,发现系统设计缺陷,以保证系统的安全性。CBTC区域控制子系统是一实时控制系统,它要求控制时间的精确性和控制过程的准确性。本文通过分析城市轨道交通CBTC区域控制子系统的结构,给出满足该子系统安全性的功能和性能要求,并结合时间自动机理论方法提出包含列车、速度距离控制器、区域控制器和多车控制队列的时间自动机网络模型。同时,应用UPPAAL验证工具对CBTC区域控制子系统进行仿真建模,并验证该子系统功能和性能要求,从而保证了系统模型的安全性和受限活性。展开更多
文摘The controllability of delay degenerate differential control systems is discussed. Firstly, delay degenerate differential control system was transformed to be canonical form, and the connected terms were gotten rid of, had delay degenerate differential control systems with independent subsystems. For the general delay degenerate differnetial control systems, it was gotten that the necessary and sufficient condition of that they are controllable is that their reachable set is equal to the whole space. For the delay degenerate differential control systems with independent subsystems, it was gotten that the necessary and sufficient conditions of that they are controllable are that their reachable sets are equal to their corresponding subspaces. Then some algebra criteria were gotten. Finally, an example was given to illustrate the main results.
基金Supported by National Natural Science Foundation of China（60974052） Program for Changjiang Scholars and Innovative Research Team in University （IRT0949） Beijing Jiaotong University Research Program （RCS2008ZT002 2009JBZ001 2009RC008）
基金supported by National Large-Scale Scientific ProjectsCAS K.C.Wong Post-doctoral Fellowships from CAS K.C. Wong Education Foundation
文摘This paper describes the system modelling, architecture design and implementation of the observatory control system （OCS） of the LAMOST （Large Area Multi-Object Fibre Spectroscopic Telescope）. The software-reuse technique, object-oriented technique, component and framework based software-developing methodology are used in the system architecture and implementation. The architecture of OCS is established based on a component-based layered system using many patterns such as the MVC （Model/View/Controller） and proxy. For the effective and safe exchange of commands and status between OCS and the subsystem, a unified message bus is defined and three protocols, namely a command acceptance/rejection protocol, a command execution feedback protocol and a status handling protocol, are proposed. The interface protocol between all the subsystems is defined. The full utilization of advanced computer technologies including the database, distributed computing, real-time computing, standard data exchange and expert system technologies has benefited the OCS software development.
基金The Project was supported by the Science Fund of the Chinese Natural Science.
文摘In this paper we choose the symmetric positive definite solutionof Riccati matrix algebraic equation and,construct a positive defini-tequadratic form V-function and,use Lyapunov deco mpositionequivalence method founded by Liu Yong-qing to obtain the condi-tions of the asymptotic stability of the solution of neutral typelinear large scale control system,the estimate formula of thedecom posing coefficients and time delay are also given.
文摘Faced with the key problems of machinerv- induced vibration and structure-borne noise when dynamic machines are mounted on flexible foundations such as upper floors of facto- ry buildings, the vibration and noise transmission mechanism and optimal control for the flexible system are systematically studied by the novel approach of power flow. A more general system of machinery-isolators一flexible foundation is modelled. Based on substructure transfer matrix tech- nique the power flow input and transmitted are formulated in closed forms, and the effects that the flexibility of foundation and the asymmetricity of system have upon the power flow transmis- sion spectra are revealed, Also the inverse problems of isolation design are discussed by using an optimum method. Optimum design for a typical example about a force fan mounted on a con- crete building floor is successfully performed to show that the model is practical, the theory and the optimisation developed are reasonable and effective. Thereby, theoretical bases for accurate prediction of isolation effectiveness and an optimum method for practical design of a general flexi- ble isolation system are provided.
文摘A new concept, namely, the equivalent mobility matrix of coupling subsystem is proposed, and the corresponding threesubsystem coupling progressive approach is explored. With the new efficient approach presented, the complexity in dealing with a more complicated dynamic coupling system is greatly reduced. The new modeling method is then combined with the theory of power flow to investigate the dynamics of the overall non rigid isolation system from the viewpoint of energy. The interaction between the resilient machine of its main modes and the resonant behavior of the flexible foundation on power flow transmission is studied. Taking a machine tool mounted on a multi story working plant as an example, the dynamic characteristics of the machine foundation coupling system are analyzed, and their effects on power flow transmission are revealed under various service frequency bands. Some advisable control strategies and the design principle for machinery mounted on flexible structure are proposed.
文摘CBTC(Communication Based Train Control)系统可有效提高轨道交通的列车运营效率,降低系统建设和维护费用。在系统研发过程中需对系统进行建模、仿真和验证,发现系统设计缺陷,以保证系统的安全性。CBTC区域控制子系统是一实时控制系统,它要求控制时间的精确性和控制过程的准确性。本文通过分析城市轨道交通CBTC区域控制子系统的结构,给出满足该子系统安全性的功能和性能要求,并结合时间自动机理论方法提出包含列车、速度距离控制器、区域控制器和多车控制队列的时间自动机网络模型。同时,应用UPPAAL验证工具对CBTC区域控制子系统进行仿真建模,并验证该子系统功能和性能要求,从而保证了系统模型的安全性和受限活性。
