具有不等式约束的非线性离散动态系统DISOPE算法

提出了具有状态和控制不等式约束的非线性离散动态系统DISOPE算法 ,该算法能在存在模型 -实际差异的情况下 ,从模型出发 ,通过迭代运算获得实际系统的真实最优解。仿真表明了算法的有效性和可行性。     

基于LMI的多目标特征结构配置方法及应用

提出了将线性矩阵不等式（LMI）技术用于多目标特征结构配置的控制器设计方法。由于利用状态反馈或输出反馈进行特征结构配置时存在一些设计裕度,这些裕度可以用来满足附加的性能指标要求。本文利用LMI技术实现了降低系统参数对摄动的灵敏度同时改善系统的鲁棒稳定性的特征结构配置，为特征结构配置方法的实现提供了一条新的途径。设计实例的仿真结果表明了该方法的有效性。     

基于迭代LMI的航天器的姿态静态输出反馈

研究了挠性航天器的姿态控制器设计问题。结合Lyapunov矩阵成形的不变椭圆,使用多目标综合技术集成干扰抑制,鲁棒稳定和控制输入约束问题。基于迭代的线性矩阵不等式(ILMI)给出了静态输出反馈控制器。仿真结果表明,该方法虽然具有一定的保守性,但可以较好的满足系统的鲁棒性能要求,对工程实现具有一定的参考价值。     

OLS—一个描述理论与实践交互作用的逻辑系统

定义了认知过程中出现的反例及反驳两个概念,定义了一个描述理论与实践交互作用的逻辑系统OLS,此系统由证明演算及假设演算组成。当反例(或反驳)出现时,通过假设演算,人们可以修改假设,使修改后的假设不仅是可满足的而且包含反例(或反驳)作为其逻辑结论。OLS在机器学习、知识获取、软件开发、故障诊断及知识库维修方面有着广泛的应用前景。     

中介模态逻辑MS4的表推演系统

中介逻辑是一个新的逻辑系统，该系统的创立有明显的哲学背景，自创立后得到了很大的发展。在数理逻辑以及计算机科学领域已发展了中介模态逻辑以及ＭＩＬＬ等中介程序计设 语言，但对作为程序计设语言之逻辑基础之一的中介模态逻辑的自动推理理论与实现的研究还很不够。本文系统地讨论中介模态逻辑ＭＳ４的自动定理证明理论，构造了中介模态逻辑ＭＳ４的表推演系统，由于该系统采用“与或树”的表达方法，因而不产生“遗忘问题”；     

R~n空间中初值问题的广义拟线性化方法

本文用广义拟线性化方法在Rn 空间中研究了初值问题x′=f(t ,x) ,x(0 ) =x0 的解 ,首先建立了一个比较定理 ,本文的主要结论是定理 2 ,该定理推广了文〔1〕的结果     

高速攻击型无人机非线性鲁棒制导律研究

高速攻击型无人机是一种自杀式的精确制导武器,具有许多巡航导弹不具备的优点,是当前世界各军事强国研究的热点。为了使高速攻击型无人机能精确攻击各类具有较高机动性的目标,提出了一种非线性混合H2/H∞鲁棒制导律。由于混合H2/H∞控制具有H2控制的优良品质和H∞控制的鲁棒性,这种制导律对目标机动及其它不确定性干扰不敏感。耦合非线性汉密尔顿-雅可比偏微分不等式组是否有解直接关系到非线性混合H2/H∞鲁棒制导律的实现。现对耦合非线性汉密尔顿-雅可比偏微分不等式组进行了适当的等价转化并求解,得到了一组解析解。通过仿真研究,该制导律被证明具有较好的制导精度并对目标机动等不确定性干扰具有较好的鲁棒性。     

基于凸优化技术的多目标鲁棒滤波组合导航方法

Kalman滤波在组合导航中的应用已很广泛,但是,在系统不确定情况下,误差出现发散,精度下降,采用的基于Riccati方程的H∞滤波技术对系统噪声的不确定性则具有一定的鲁棒性,但性能参数选取仅能凭经验而无系统的方法,给工程实践带来一定困难.根据现代控制理论最优控制理论思想,使用凸优化技术设计鲁棒混合H2/H∞滤波器融合高精度的GPS和CNS量测信息,解决系统不确定性问题,通过在惯性/卫星/天文组合系统中的半物理数据仿真进一步对混合H2/H∞滤波和H∞滤波算法进行了比较.仿真结果表明,真实器件噪声情况下,鲁棒混合H2/H∞滤波算法明显具有良好的精度.     

意识源自量子效应？

历史上有许多人尝试证明灵魂确实存在。1921年，物理学家邓肯·麦克道格尔设计并进行了著名的“21克实验”。他通过测量人在死亡那一刻的体重减少来证明人的灵魂已逸出人体。他测量的6个人在死亡时体重分别有11克至43克（并非都是21克）的减轻。他认为这就是灵魂的实际重量。但后续的实验都无法重现麦克道格尔的结果。一些研究人员把体重减少的原因归结于一些物理作用，比如人体水分的挥发。     

Robust Reduced-Order Controller Design Based on LMI

基于线性矩阵不等式 (LMI)的H∞ 设计方法给出了所有全阶和降阶控制器的参数化结果 ,其中降阶控制器的求解需要满足一个秩条件 ,这个秩条件是非凸的 .为了避开非凸问题的求解 ,提出了一种新的设计降阶控制器的凸优化方法 ,从而得到了保证H∞ 性能指标的降阶控制器 .为了减少保守性 ,进而基于投影原理提出了一种设计更低阶次鲁棒控制器的新方法 .该方法为系统的H∞ 性能与控制器期望阶次的折中设计提供了一条可行途径