检索结果-南通市图书馆

Verification analysis of self-verifying automata via semi-tensor product of matrices

在线全文

学校读者我要写书评

暂无评论

The Journal of China Universities of Posts and Telecommunications 2014年第4期21卷 96-104页

作者： YAN Yong-yi chen zeng-qiang LIU Zhong-xin College of Computer and Control Engineering Nankai University College of Science Civil Aviation University of China

The semi-tensor product （STP） of matrices was used in the article, as a new matrix analysis tool, to investigate the problem of verification of self-verifying automata （SVA）. SVA is a special variant of finite automata which is essential to nondeterministic communication with a limited number of advice bits. The status, input and output symbols are expressed in vector forms, the dynamic behaviour of SVA is modelled as matrix product is STP. By such algebraic formulation, three an algebraic equation of the states and inputs, in which the necessary and sufficient conditions are presented for the verification problem, by which three algorithms are established to find out all the strings which are accepted, rejected, or unrecognized by a SVA. Testing examples show the correctness of the results.

关键词： SVA recognition power matrix approach STP matrices

Commwarrior worm propagation model for smart phone networks

在线全文

学校读者我要写书评

暂无评论

The Journal of China Universities of Posts and Telecommunications 2008年第2期15卷 60-66页

作者： XIA Wei LI Zhao-hui chen zeng-qiang YUAN Zhu-zhi College of Information Technical Science Nankai UniversityTianjin 300071 China

Commwarrior worm is capable of spreading through both Bluetooth and multimedia messaging service （MMS） in smart phone networks. According to the propagation characteristics of Bluetooth and MMS, we built the susceptibleexposed-infected-recovered-dormancy （SEIRD） model for the Bluetooth and MMS hybrid spread mode and performed the stability analysis. The simulation results show good correlation with our theoretical analysis and demonstrate the effectiveness of this dynamic propagation model. On the basis of the SEIRD model, we further discuss at length the influence of the propagation parameters such as user gather density in groups, moving velocity of smart phone, the time for worm to replicate itself, and other interrelated parameters on the propagation of the virus. On the basis of these analytical and simulation results, some feasible control strategies will be proposed to restrain the spread of mobile worm such as commwarrior on smart phone network.

关键词： smart phone virus spreading model Bluetooth,MMS

Spreading behavior of SIS model with non-uniform transmission on scale-free networks

在线全文

学校读者我要写书评

暂无评论

The Journal of China Universities of Posts and Telecommunications 2009年第1期16卷 27-31页

作者： XIA cheng-yi LIU Zhong-xin chen zeng-qiang YUAN Zhu-zhi Department of Automation Nankai University Tianjin 300071 China Tianjin Key Laboratory of Intelligence Computing and Novel Software Technology Tianjin University of Teclmology Tianjin 300191 China

The non-uniform transmission and network topological structure are combined to investigate the spreading behavior of susceptible-infected-susceptible （SIS） epidemic model. Based on the mean-field theory, the analytical and numerical results indicate that the epidemic threshold is correlated with the topology of underlying networks, as well as the disease transmission mechanism. These discoveries can greatly help us to further understand the virus propagation on communication networks.

关键词： spreading behavior SIS non-uniform transmission scale-free networks virus propagation

Robustly Stable Control of Continuous-time Generalized Predictive Control Combined with QFT Based on GIMC Structure

在线全文

学校读者我要写书评

暂无评论

自动化学报 2007年第6期33卷 649-651页

作者： WANG zeng-Hui chen zeng-qiang YUAN Zhu-Zhi Department of Automation Nankai University Tianjin 300071P. R. China

连续时间的概括预兆的控制(CGPC ) 和量的反馈理论(QFT ) 一起被使用与高无常控制植物。QFT 征服植物无常并且没有基于概括内部模型控制(GfMC ) 影响名字的性能，在内部循环稳定系统结构。CGPC 被用来在外部环获得必要控制表演。根据几... 详细信息

连续时间的概括预兆的控制(CGPC ) 和量的反馈理论(QFT ) 一起被使用与高无常控制植物。QFT 征服植物无常并且没有基于概括内部模型控制(GfMC ) 影响名字的性能，在内部循环稳定系统结构。CGPC 被用来在外部环获得必要控制表演。根据几个给定的足够的条件， CGPC 的可得到的调节参数被选择使系统要用体力地稳定。最后，一个例子被给显示出怎么使用这种技术；并且这条联合途径比真希望他们之一被使用的得到更好的性能，这被显示出。

关键词：稳定控制连续时间控制定量反馈理论内部模型控制自动控制

Trajectory tracking of powered parafoil based on characteristic model based all-coefficient adaptive control

在线全文

学校读者我要写书评

暂无评论

Journal of Central South University 2017年第5期24卷 1073-1081页

作者： TAN Pan-long SUN Qing-lin JIANG Yu-xin ZHU Er-lin chen zeng-qiang HE Ying-ping Intelligent Robots Key Lab of Tianjin College of Computer and Control EngineeringNankai UniversityTianjin 300071China School of Electricity&Information Engineering Jiangsu University of TechnologyChangzhou 213001China Hongwei Aircraft Limited Corp. Xiangyang 441022China

One of the primary difficulties in using powered parafoil(PPF) systems is the lack of effective trajectory tracking controllers since the trajectory tracking control is the essential operation for PPF to accomplish autonomous tasks. The characteristic model(CM) based all-coefficient adaptive control(ACAC) designed for PPF systems in horizontal and vertical trajectory control is proposed. The method is easy to use and convenient to adjust and test. Just a few parameters are adapted during the control process. In application, vertical and horizontal CMs are designed and ACAC controllers are constructed to control vertical altitude and horizontal trajectory of PPF based on the proposed CMs, respectively. Result analysis of different simulations shows that the applied ACAC control method is effective for trajectory tracking of the PPF systems and the approach guarantees the transient performance of the PPF systems with better disturbance rejection ability.

关键词： powered parafoil (PPF) characteristic model (CM) all-coefficient adaptive control (ACAC) trajectory tracking

Semi-physical Simulation Platform of a Parafoil Nonlinear Dynamic System

在线全文

学校读者我要写书评

暂无评论

Chinese Physics Letters 2013年第11期30卷 37-40页

作者： GAO Hai-Tao YANG Sheng-Bo ZHU Er-Lin SUN Qing-Lin chen zeng-qiang KANG Xiao-Feng Department of Automation Nankai UniversityTianjin 300071 Military Representative Office of Aerospace Industries Ltd. Xiangyang 441022

Focusing on the problems in the process of simulation and experiment on a parafoil nonlinear dynamic system,such as limited methods,high cost and low efficiency,we present a semi-physical simulation *** is designed by connecting parts of physical objects to a computer,and remedies the defect that a computer simulation is divorced from a real environment *** main components of the platform and its functions,as well as simulation flows,are *** feasibility and validity are verified through a simulation *** experimental results show that the platform has significance for improving the quality of the parafoil fixed-point airdrop system,shortening the development cycle and saving cost.

关键词： system computer connecting

在线全文

学校读者我要写书评

暂无评论

混沌系统的自适应多变量广义预测控制与同步

物理学报 2005年第10期54卷 4578-4583页

作者：董恩增陈增强袁祉南开大学信息技术科学学院自动化系天津300071

提出了一种应用带时变遗忘因子的自适应多变量广义预测控制算法(β-MGPC),对Lorenz,Rossler,Chua电路等典型混沌系统进行控制,使之跟踪任意给定参考信号,数值仿真表明了该控制算法的良好效果.这种方法的优点在于无需知道混沌系统的精确... 详细信息

提出了一种应用带时变遗忘因子的自适应多变量广义预测控制算法(β-MGPC),对Lorenz,Rossler,Chua电路等典型混沌系统进行控制,使之跟踪任意给定参考信号,数值仿真表明了该控制算法的良好效果.这种方法的优点在于无需知道混沌系统的精确模型,便可实现混沌系统的大范围的跟踪和同步控制.

关键词：混沌控制混沌同步自适应预测控制时变遗忘因子广义预测控制算法混沌系统同步控制多变量自适应 Chua电路

Synchronization of hyperchaotic Rossler system with uncertain parameters via nonlinear control

在线全文

学校读者我要写书评

暂无评论

Optoelectronics Letters 2006年第5期2卷 389-391页

作者： DONG En-zeng chen zeng-qiang YUAN Zhu-zhi Department of Automation Nankai University Tianjin 300077 China

Based on the Lyapunov stability theory,a new method for synchronization of hyperchaotic Rossler system with uncertain parameters is proposed. By this method, choosing appropriate control law and adaptive update law of uncertain parameters, all the errors of system variable synchronization and of uncertain param- eter track are asymptotically stable. The theoretical analysis and the numerical simulations prove the efffectiveness of the oroDosed method.

关键词：同步化随机系统不确定参数非线性控制稳定性

NSGA Ⅱ based multi-objective homing trajectory planning of parafoil system

在线全文

学校读者我要写书评

暂无评论

Journal of Central South University 2016年第12期23卷 3248-3255页

作者：陶金孙青林陈增强贺应平 Tianjin Key Laboratory of Intelligent Robots Nankai University Tianjin 300071 China College of Computer and Control Engineering Nankai University Tianjin 300071 China Aerospace Life-Support Industries Ltd. Aviation Industry Corporation of China Xiangyang 441003 China

Homing trajectory planning is a core task of autonomous homing of parafoil *** work analyzes and establishes a simplified kinematic mathematical model,and regards the homing trajectory planning problem as a kind of multi-objective optimization *** different from traditional ways of transforming the multi-objective optimization into a single objective optimization by weighting factors,this work applies an improved non-dominated sorting genetic algorithm Ⅱ(NSGA Ⅱ) to solve it directly by means of optimizing multi-objective functions *** the improved NSGA Ⅱ,the chaos initialization and a crowding distance based population trimming method were introduced to overcome the prematurity of population,the penalty function was used in handling constraints,and the optimal solution was selected according to the method of fuzzy set *** results of three different schemes designed according to various practical engineering requirements show that the improved NSGA Ⅱ can effectively obtain the Pareto optimal solution set under different weighting with outstanding convergence and stability,and provide a new train of thoughts to design homing trajectory of parafoil system.

关键词： parafoil system homing trajectory planning multi-objective optimization non-dominated sorting genetic algorithm(NSGA) non-uniform b-spline