Curvature-Based r-Adaptive Isogeometric Analysis with Injectivity-Preserving Multi-Sided Domain Parameterization

Inspired by the r-refinement method in isogeometric analysis, in this paper, the authors propose a curvature-based r-adaptive isogeometric method for planar multi-sided computational domains parameterized by toric surface patches. The authors construct three absolute curvature metrics of isogeometric solution surface to characterize its gradient information, which is more straightforward and effective. The proposed method takes the internal weights as optimization variables and the resulting par...     

广义线性系统鲁棒极点配置分离原理

针对广义线性系统,提出了基于全维观测器的控制系统设计的鲁棒极点配置分离原理。基于矩阵灵敏度理论证明了如下事实:与状态反馈系统相同的闭环系统极点具有和状态反馈系统极点相同的极点灵敏度。与观测器系统相同的闭环系统极点具有和观测器系统极点相同的极点灵敏度。于是全维观测器的状态反馈控制器中具有最小灵敏度的鲁棒极点配置,可以通过求解两个分开的鲁棒状态反馈极点配置问题实现。     

Uniform Convergence of the Solutions of Riccati Equations for a Family of Optimal Control Problems

The uniform convergence of the solutions of a parameterized family of Riccati differential equations which arise in the context of optimal control problems for systems described by a family of linear time-varying evolution equations is considered on the infinite time interval in Hilbert space. Some sufficient conditions and an illustrative example are given for uniform convergence of the solutions of a family of the Riccati differential equations. The uniform convergence of the solutions of the Riccati differential equations with respect to parameters is important for applications to problems in adaptive control of stochastic evolution systems.     

J2和大气阻力摄动下卫星编队队形控制

针对低轨运行的编队卫星在J2和大气阻力摄动作用下其编队队形会很快遭到破坏的情况,以平均轨道根数描述卫星编队中从星相对于主星的相对轨道构形,基于高斯摄动方程,给出了在这两种摄动作用下的、以平均轨道根数为被控制量的状态方程并设计了相应的非线性控制律控制卫星编队队形。最后,数值仿真结果验证了所给出控制律的有效性。     

基于广义特征值和核函数的非线性盲分离算法

在给出了一种基于广义特征值分解的线性混合信号盲分离方法的基础上,结合核特征空间而给出了一种非线性混合信号盲分离算法。该算法首先将混合信号映射到高维核特征空间,同时构造该核特征空间的一组正交基。其次,通过这组正交基将高维核特征空间的信号映射到参数空间,从而把非线性混合信号盲分离问题转化为参数空间的线性混合信号盲分离问题。在参数空间中,应用基于广义特征值分解的线性混合信号盲分离方法对信号进行分离。该算法具有闭解形式,计算简单,收敛精度较高,稳定性好。仿真结果表明该算法是有效的,具有良好的分离性能。     

#br# 分数阶反向累加离散灰色模型及其应用研究

为了减小离散灰色预测模型解的扰动界,增加模型的解的稳定性,并且充分利用系统的新信息,提出了分数阶反向累加离散灰色模型。通过数学推导,给出了模型具体的计算公式,并计算了其扰动界。通过比较一阶反向累加离散灰色模型和分数阶反向累加离散灰色模型扰动界的大小,证明了分数阶反向累加离散灰色模型的优越性。最后,将其应用在某型号武器系统的储存可靠性的预测中,计算结果优于传统灰色预测模型,预测精度有了大幅度提高,从而拓展了灰色预测模型的理论研究和实际应用范围。     

振动二阶Sylvester矩阵方程鲁棒解法及仿真分析

考虑了具有参数不确定的振动二阶Sylvester矩阵方程求解问题.基于二阶Sylvester矩阵方程解的参数化表达式,将具有参数不确定的振动二阶Sylvester矩阵方程求解问题转化为误差性能指标极小化问题.提出了求解具有参数不确定的振动二阶Sylvester矩阵方程问题的算法.数值算例及仿真分析验证了所提算法的有效性.     

Fuzzy distances based FMAGDM compromise ratio method and application

An extended compromise ratio method (CRM) based on fuzzy distances is developed to solve fuzzy multi-attribute group decision making problems in which weights of attributes and ratings of alternatives on attributes are expressed with values of linguistic variables parameterized using triangular fuzzy numbers. A compromise solution is determined by introducing the ranking index based on the concept that the chosen alternative should be as close as possible to the positive ideal solution and as far away from the negative ideal solution as possible simultaneously. This proposed method is compared with other existing methods to show its feasibility and effectiveness and illustrated with an example of the military route selection problem as one of the possible applications.     

汽车非线性悬架动态特性研究

文中详细研究了非线性弹簧汽车悬架系统的动态特性，主要从理论上分析了变刚度弹簧代替定常刚度弹簧后悬架的动态特性，探讨了用小参数动法研究分析非线性系统响应特性的有效性；同时将结果与数值仿真研究结果进行了比较，研究结果表明，用小参数摄动法可以得到系统周期激励了响应的近似解析解，为分析悬架系统动态性提供了一有效的方法，同时也为悬架设计提供了理论依据。     

Delay-dependent passive control of linear systems with nonlinear perturbation

The problem of delay-dependent passive control of a class of linear systems with nonlinear perturbation and time-varying delay in states is studied. The main idea aims at designing a state-feedback controller such that for a time-varying delay in states, the linear system with nonlinear perturbation remains robustly stable and passive. In the system, the delay is time-varying. And the derivation of delay has the maximum and minimum value. The time-varying nonlinear perturbation is allowed to be norm-bounded. Using the effective linear matrix inequality methodology, the sufficient condition is primarily obtained for the system to have robust stability and passivity. Subsequently the existent condition of a state feedback controller is given, and the explicit expression of the controller is obtained by means of the solution of linear matrix inequalities （LMIs）. In the end, a numerical example is given to demonstrate the validity and applicability of the proposed approach.     

Optimal deterministic disturbances rejection for singularly perturbed linear systems

1. INTRODUCTION It is well known that external disturbances exist in almost all practical systems, such as wind or ocean wave forces in active control systems for offshore structures[1], harmonic oscillations in flight control systems through wind shear[2] , and periodic disturb- ance in the disk drive[3]. In recent years, various reliable approaches with regard to the disturbance rejection and cancellation have been well documented in many literatures. Lee et al. [4] proposed the model-ba…     

一类非线性系统的鲁棒无源性综合问题

针对一类带有界范数不确定性的仿射非线性系统,研究它的鲁棒无源性综舍问题.首先,基于非线性矩阵不等式方法得到系统是鲁棒无源的充分条件;然后在此基础上,获得存在状态反馈控制器使得该系统鲁棒无源控制问题可解的充分条件,并给出所需控制器的参数化表达.最后,简单阐述了利用凸优化方法通过求解一系列相应的线性矩阵不等式来得到非线性矩阵不等式局部解的思想.     

轨道分析解的改进方法及其应用

主要介绍一种通过改进各类轨道摄动项的表达形式,以优化计算效率的轨道分析解改进方法。以低地球轨道为例,阐述了轨道分析解改进后的具体算法,并通过数值仿真分析验证了算法的有效性和实用性。算法以第一类无奇点根数作为轨道状态量,采用开普勒轨道根数计算各类摄动力的长期、长周期和短周期项,通过较简单的组合形式计算无奇点根数的对应摄动项,实现在保持分析解精度和消除小偏心率奇点的同时,提高计算效率。仿真结果表明,分析解算法的模型精度在1E-5量级,符合一阶分析解理论精度的预期;同时计算速度达到传统分析解算法的4倍左右,可有效提升空间碎片轨道预报的计算效率,具有较强的工程应用价值。     

基于模态扰动传输线宏模型的快速无源性补偿方法

大多数传输线模型都不能保证无源性。针对基于特征方法的传输线宏模型,提出了一种快速无源性 补偿方法。相对于留数扰动策略,所用的留数特征值扰动方法,减少了自由变量的数目,从而大大减小了ＣＰＵ 时 间和内存需求,同时还可以满足在任意端接下的应用。此外还给出优化问题的解析解,进一步提高了仿真的速 度。最后,通过仿真实例验证了该方法的有效性。     

确定鲁棒稳定多项式摄动界的根轨迹方法

确定稳定多项式的摄动界是系统鲁棒性研究的重要方法之一 ,通常使用代数方法来求解[1,2 ] 。对稳定多项式的摄动界给出了用根轨迹来确定的方法 ,避免了代数求解过程中复杂的约束条件 ,具有较强的实用性     

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.     

Lower Semicontinuity of the Effcient Solution Mapping in Semi-In?nite Vector Optimization

This paper establishes some suffcient conditions for the lower semicontinuity of the effcient solution mapping for the semi-in?nite vector optimization problem with perturbations of both the objective function and the constraint set in normed linear spaces. The constraint set is the set of weakly effcient solutions of vector equilibrium problem, and perturbed by the perturbation of the criterion mapping to the vector equilibrium problem.     

姿态扰动情况下的目标动态RCS分布特性

运动目标姿态扰动是静动态雷达散射截面（radar cross section,RCS）差异的主要来源。造成姿态扰动的因素复杂且不可预估,增加了动态RCS分布特性研究的难度。将图形电磁计算与蒙特卡罗仿真结合,构建以均匀随机分布为扰动模型的动态RCS仿真分析平台。根据静动态RCS差异的统计分布特性,提出置信区间以及数学期望值的计算方法。选择两种运动模式下的飞机目标进行验证,将所得结果与实际扰动模型的动态RCS进行了比对。结论表明该方法具备较强可操作性和工程应用价值,提高了计算机动态RCS仿真能力,为目标静动态电磁散射特性一致性评估以及特征库构建提供了有价值的参考信息和分析方法。     

ROBUST STABILIZATION OF SYSTEM WITHNUMERATORAL FACTOR PERTURBATION

1.IntroductionIntherecenttwodecades,robuststabilizationproblemoffixedlinearsystemswithunstructureduncertaintieshavearousedtheinterestofmanyresearchers.Especilly,theHadcontrolmethodadvancedbyZamesll]yieldedmanyworthwhileresultsforsolvingtheproblems.Theunstructureduncertaintiesofsystemsareconcernedwithsuchuncertaintiesaboutwhichweknownothingexceptfortheupperborderofthem.Generallyspeaking,therearethreemaintypesoftheunstructureduncertainties'additiveuncertainty,multiplicativeuncedaintyjcoprimefac…     

线性系统有限时间函数观测器设计的参数化方法

研究了线性系统有限时间函数观测器的参数化设计问题,其目的是通过设计参数化形式的函数观测器,使其在给定有限时间内能够直接估计关于线性系统状态的线性函数。基于一类Sylvester矩阵方程的参数化解,给出了该有限时间函数观测器所有增益矩阵的参数化表达式,其所含的自由参数为控制系统设计提供了全部的自由度,可通过适当选择这些自由参数使其满足某些系统性能指标。最后,数值例子及其仿真结果验证了所提线性系统有限时间函数观测器参数化设计方法的简单性和有效性。