Feedforward and feedback optimal control for linear time-varying systems with persistent disturbances

1 .INTRODUCTIONIn nature ,there are various external disturbancesaffecting the performances of systems . Many con-trol problemsinvolve designing a controller capableof stabilizing a given linear system while mini mi-zing the worst-case response to some additive dis-turbances . This problemis relevant to disturbancerejection and cancellation. One application area ofinterest is flight control through wind shear ,where disturbances arise from a modal for windshear based on harmonic oscillati…     

OUTPUT FEEDBACK CONTROL FOR MIMO NONLINEAR SYSTEMS WITH EXOGENOUS SIGNALS

The paper addresses the global output tracking of a class of multi-input multi-output （MIMO） nonlinear systems affected by disturbances, which are generated by a known exosystem. An adaptive controller is designed based on the proposed observer and the backstepping approach to asymptotically track arbitrary reference signal and to guarantee the boundedness of all the signals in the closed loop system. Finally, the numerical simulation results illustrate the effectiveness of the ProPosed scheme.     

A QUANTIFIER-ELIMINATION BASED HEURISTIC FOR AUTOMATICALLY GENERATING INDUCTIVE ASSERTIONS FOR PROGRAMS

A method using quantifier-elimination is proposed for automatically generating programinvariants/inductive assertions.Given a program,inductive assertions,hypothesized as parameterizedformulas in a theory,are associated with program locations.Parameters in inductive assertions arediscovered by generating constraints on parameters by ensuring that an inductive assertion is indeedpreserved by all execution paths leading to the associated location of the program.The method can beused to discover loop invariants-properties of variables that remain invariant at the entry of a loop.Theparameterized formula can be successively refined by considering execution paths one by one;heuristicscan be developed for determining the order in which the paths are considered.Initialization of programvariables as well as the precondition and postcondition,if available,can also be used to further refinethe hypothesized invariant.The method does not depend on the availability of the precondition andpostcondition of a program.Constraints on parameters generated in this way are solved for possiblevalues of parameters.If no solution is possible,this means that an invariant of the hypothesizedform is not likely to exist for the loop under the assumptions/approximations made to generate theassociated verification condition.Otherwise,if the parametric constraints are solvable,then undercertain conditions on methods for generating these constraints,the strongest possible invariant of thehypothesized form can be generated from most general solutions of the parametric constraints.Theapproach is illustrated using the logical languages of conjunction of polynomial equations as well asPresburger arithmetic for expressing assertions.     

《吾国吾民》与西方“中国形象”话语的互动

林语堂在《吾国与吾民》中建构的“中国形象”与西方“中国形象”话语谱系有着明显的联系与区别。针对西方“中国形象”话语的负面成分。例如“黄祸说“”以及中国妇女形象等问题，林语堂在建构自己的“中国形象”时作了修改；同时，林语堂也借鉴了西方“中国形象”的合理成分。这一借鉴隐含了现代性的观照。林语堂的“中国形象”建构策略为中西文化交流提供了很好的范倒。     

“古今东西”之辨——陈独秀文化观述论

陈独秀是五四新文化运动的发起者和组织者，也是新文化运动在学术上的主要代表。他的文化观以民主和科学为指导，着力探讨了文化的基本内涵、特征，东西文化关系及中国传统文化的价值，内容丰富，体系完整，特色明显，是值得我们研究和珍惜的一份思想遗产。     

非线性电液伺服系统的稳定性研究

分析了典型的采用线性状态反馈的电液伺服控制系统的稳定性;理论研究和仿真结果表明稳定的系统由于一些系统状态变量的影响,系统的稳定性存在渐近稳定性的可能.     

基于四元数的导弹反步控制及全方位算法应用

针对传统四元数适应范围小,分析误差困难问题,基于误差四元数的概念深入研究了姿态误差形式和姿态角和四元数全方位转换问题,提出了姿态角和四元数的全方位转换算法。该算法实现了姿态角和四元数的-1800到1800全空间转换,并且具有抗扰动的能力,同时将四元数与非线性反步(backstepping)方法结合,进行了导弹姿态控制。仿真表明了全角度算法的正确性,以及基于文中的四元数姿态误差方程可有效进行导弹全方位姿态控制。     

带有持续扰动非线性系统的最优跟踪控制

研究具有外界持续扰动的非线性系统的无静差最优跟踪控制问题。首先基于内模原理构造一扰动补偿器,将系统化为无扰动的增广系统。然后利用灵敏度法推导出了该系统的最优跟踪控制律。仿真实例表明了该设计方法的有效性。     

直接自适应模糊算法参数的选取以及仿真分析

针对Wang提出的直接自适应模糊控制器，首次推导出了自适应律参数γ以及仿真步长h的理论取值范围。以一阶不稳定系统、二阶达芬振荡系统为例，给出了当γ以及h取不同值时的仿真结果，通过对结果的分析，验证了前面推导出的参数取值范围的正确，并得出有关参数γ变化对系统性能影响的规律。     

基于单周期控制的分离式三相PFC系统仿真

提出了一种新型分离式三相PFC(功率因数校正)系统结构,并应用单周期控制技术实现了三相整流器的单位功率因数。该方法不需乘法器,简化了系统,并且分离式的结构满足了用户的不同需求。使用matlab的simulink仿真工具建立了该系统的仿真模型,仿真实验结果验证了该系统的有效性。