基于线性约束条件下全局优化问题的定边界模拟退火算法

针对线性约束条件下全局优化问题,提出了定边界模拟退火算法(DBSA,参数确定范围[0,1])。应用凸集理论,将线性约束条件转化为和为1的等式约束,可证明二若等价。针对新的约束条件,对模拟退火算法可能解的选取方法进行相应改进。其次从应用上验证了DBSA的可行性,对比结果表明定边界模拟退火算法具有较快的运算速度和精度。     

Compatibility of Systems of Linear Constraints over the Set of Natural Numbers

Criteria of compatibility of a system of linear Diophantine equations, strict inequations, and nonstrict inequations are considered. Upper bounds for components of a minimal set of solutions and algorithms of construction of minimal generating sets of solutions for all types of systems are given. These criteria and the corresponding algorithms for constructing a minimal supporting set of solutions can be used in solving all the considered types of systems and systems of mixed types.     

不确定线性系统鲁棒二次最优控制的时频域方法

利用时域和频域结合的方法,讨论了线性不确定系统鲁棒二次最优控制问题;提出了线性不确定系统鲁棒二次最优的概念,并证明了有关性质,建立了鲁棒回差方程,阐述了鲁棒二次最优控制系统的分析和综合方法;最后给出了工程应用设计实例。     

周期时变线性系统的一般线性二次型最优控制

讨论周期时变线性系统的一般线性二次型最优控制问题, 即状态方程为非齐次方程且二次型性能指标包含线性项的一般情况. 给出了该问题可解的一系列充分必要条件, 同时给出了最优控制的解析构造以及最优性能指标值.     

针对一般线性约束的Petri网控制器设计方法

针对基于Petri网离散事件系统关于标识向量和Parikh向量的不等式约束反馈控制器设计问题,提出一种新的控制器设计方法.该方法首先利用Petri网的状态方程把关于标识向量和Parikh向量的不等式约束转变成关于Parikh向量的不等式约束,然后基于Petri网库所是关于Parikh向量的不等式约束的观点构造控制器.最后将该方法与Iordache和Moody提出的方法作比较,实验结果显示该方法更简单、有效.     

最优递归线性姿态估计算法

最优线性姿态估计算法以罗格里斯参数作为姿态描述,具有计算量小、精度高等优点。但它是一种基于单点信息的估计算法。提出一种递归思想,整合当前时刻以及历史时刻的多点测量信息,根据最优判定函数建立不同时间节点上测量数据间的数学模型关系,对单点算法中的关键元素M和z进行迭代设计,并由此推导出一种新的递归姿态估计算法。仿真结果表明,最优递归线性姿态估计算法在航天器稳定慢速机动的情况下,解算精度要显著优于单点的最优线性姿态估计算法。     

A Confidence Region for Regression Parameters with Inequality Constraints

A confidence region for linear regression parameters is determined for the case where the parameters are estimated with regard for linear constraints. An example of application of the results obtained is described.     

Aug-PDG:带不等式约束凸优化算法的线性收敛性

原始-对偶梯度算法广泛应用于求解带约束的凸优化问题, 大部分文献仅证明了该算法的收敛性, 而没有分析其收敛速度. 因此, 本文研究了求解带有不等式约束凸优化的一类离散算法, 即增广原始-对偶梯度算法 (Aug-PDG), 证明了Aug-PDG 算法在一些较弱的假设条件下可以半全局线性收敛到最优解, 并明确给出了算法中步长的上界. 最后, 数值算例证实了所得理论结果的有效性.     

线性二次型最优控制闭环系统极点的必要条件

本文推导了线性二次型(LQ)最优控制闭环系统极点应满足的必要条件,以及与加权阵Q和R的等式关系。     

离散时间线性系统最优控制的遗传算法实现

本文提出了求解控制变量受区间约束情形的离散时间线性系统最优控制的遗传算法,在遗传算法框架下给出了离散时间线性系统最优控制问题可行解的编码及初始化方法,设计了选择、交叉、变异等遗传算子,并对初始化方法及各种遗传算子的可行性给出理论分析。     

广义离散随机线性系统最优递推估计

运用新息理论和射影的方法，提出了广义离散随机线性系统阳优递推滤波，预报和平滑估计算法，在一定条件下证明了最优递推估计的渐近稳定性。所得的结果可用于正常离散随机线性系统。‘     

求解含复杂约束非线性最优控制问题的改进Gauss伪谱法

针对含有复杂约束条件的非线性最优控制问题,提出了一种改进的Gauss伪谱法 (Improved Gauss pseudospectral method, IGPM). 这类问题难以得到解析解,特别是有些问题不存在解析的模型, 一些参数只能通过查表得到,使得传统方法难以求解. 在传统的Gauss伪谱法的基础上,将非线性的终端状态积分约束等价地转化为线性形式,提出了IGPM, 通过协态映射定理可以计算出协态变量,检验最优性,使得IGPM具有间接法一样的精度. 并且给出了初始时刻协态变量和端点时刻控制变量的计算方法. 为了提高解的精度,基于IGPM提出了迭代算法, 最后将该算法应用于求解高超声速飞行器上升段轨迹优化问题,结果表明最优轨迹基本满足路径约束条件和最优性条件.     

线性二次型最优控制闭环系统极点的必要条件

本文推导了线性二次型（LQ）最优控制闭环系统极点应满足的必要条件，以及与加权阵Q和R的等式关系     

线性系统的动态输出反馈最优扰动抑制

首先通过求解Riccati方程和Sylvester方程,推导出前馈反馈最优扰动抑制控制律．然后构建了能同时预估状态和扰动的降维观测器,解决了前馈控制的物理不可实现问题．进而结合降维观测器和前馈反馈最优控制律,提出了一种动态输出反馈扰动抑制控制器的设计算法．最后通过仿真实例表明本文提出的控制算法的可行性．     

线性最优附加励磁控制系统的优化设计

本文将线性最优控制理论、灵敏度分析及线性规划有机地结合起来,圆满地解决了线性最优控制设计中权矩阵的优化选取问题。同时还指出,权矩阵的优化选取,不仅能够改善控制系统的动态品质,而且可以简化控制系统的结构,这是对权矩阵物理意义的一种全新的认识,为发挥权矩阵在线性最优控制中的作用提供了又一途径。文中还用该方法设计了一降阶反馈附加励磁控制系统,收到良好效果。     

Dynamic Checking Framework for Java Beaus Semantic Constraints

1IntroductionOverthepastfewyears,constructingapplicationsbyassemblingreusablesoftwarecom-poneatshasemergedaswidelyacceptedmethodology,bywhichsomesimplecomponentsaregluedtogetherintomoresophisticatedcomponents.Componentsaretheunitsofap-plicationsoftwareortheappletsthatcouldbeembeddedintocompounddocuments.Theycouldbespecifiedandimplementedconvenielltlycompliedwithsomecomponentstandards,suchasJavaBeaus[1],COBRA/OpenDoc,COM/ActiveX,etc.DifferentstandardsprovidedifferentarchitecturesandtheAP…     

基于最佳线性预测器的高光谱图像无损压缩算法

针对高光谱遥感图像细节丰富纹理复杂，空间相关性弱，难于压缩的特点，本文充分利用了高光谱遥感图像的谱间相关性，设计出对相邻谱段进行预测并将预测残差均方降为最小的一种最佳线性预测器。最后利用整数小波变换，并结合SPIHT算法，有效的去除空间相关性。实验表明该算法可以收到良好的效果，优于3D—SPIHT算法和WINRAR压缩软件。     

分段线性函数应用于延时系统的最优控制

本文把分段线性函数引入到求解延时系统的最优控制中，推得延时线性系统二次型最优控制问题的分段控制解答及其状态轨线估计，算例结果表明，该算法比方块脉冲函数算法具有更高的计算精度。     

Mixed Constrained Infinite Horizon Linear Quadratic Optimal Control

For a given initial state, a constrained infinite horizon linear quadratic optimal control problem can be reduced to a finite dimensional problem [12]. To find a conservative estimate of the size of the reduced problem, the existing algorithms require the on‐line solutions of quadratic programs [10] or a linear program [2]. In this paper, we first show based on the Lyapunov theorem that the closed‐loop system with a mixed constrained infinite horizon linear quadratic optimal control is exponentially stable on proper sets. Then the exponentially converging envelop of the closed‐loop trajectory that can be computed off‐line is employed to obtain a finite dimensional quadratic program equivalent to the mixed constrained infinite horizon linear quadratic optimal control problem without any on‐line optimization. The example considered in [2] showed that the proposed algorithm identifies less conservative size estimate of the reduced problem with much less computation.