模型参数不确定的不完全驱动船舶航迹控制自适应反演设计(英文)

针对不完全驱动船舶航迹控制系统模型中存在的参数不确定性 ,基于重定义输出变量思想 ,利用自适应反演积分技术 ,提出了一种具有全局渐近稳定跟踪性能的非线性自适应控制律 ,该控制律能够使得处于不完全驱动状态下的偏航船舶在所有模型参数未知情况下 ,对一条直线参考轨迹进行全局渐近稳定的航迹跟踪。同时 ,通过严格的理论证明 ,该控制律还可以使得文中的重定义输出变量及其组成变量具有相同的收敛性。最后 ,以本校远洋实习船“育龙”号为例 ,利用Matlab软件进行了计算机仿真研究 ,对所提出的控制器进行了验证 ,所得结果比较理想     

形式Peano算术的G(o)del不完备性定理的一个简单证明

给出了形式Peano算术的Godel不完备性定理的一个简单证明.     

高维Neuberg-Pedoe不等式的再推广

用初等简洁的方法证明了一个比已有结果更加广泛的分析不等式：设k，n∈N，μ>0，xi>0，i=1，…，n，且∑^i=1^nxi=λ，则当k≤n-μ+1时有，Ek(λ/x1-μ，…，λ/xn-μ)≥(k^n)(n-μ)^k，等号成立当且仅当x1=…=xn=λ/n．     

地球内核的三维不对称运动

行星自转与公转的相关性建立在自转速度与公转速度的有向迭加决定质点公转惯性力的基础上，其表现有行星质心公径的修正、自转加速、转轴的晃动和进动等，因此地球内核三维不对称运动和外核的差速旋转是它的直接推论．     

高密度物质是负能谱系统存在的必然形式浇

负能谱的存在,尤其是稳定的负能谱系统的存在是建立负能谱热力学理论的基础性依据.根据Landau关于负能谱和负能谱系统存在的论述,对负能谱存在问题进行了深入探讨.     

单调线性互补问题的非精确不可行内点算法

对单调线性互补问题提出了一种非精确不可行内点算法．该算法的迭代方向仅需要达到一个相对的精度．在初始点位于中心线的某邻域内的假设下，证明了算法的全局收敛性．     

英汉民族的思维差异对语言的影响

语言与思维是密不可分的一对统一体，英汉民族各有不同的历史渊源、化背景和思维方式，而思维方式的不同必然体现在语言上。     

纵横图趣谈

纵横图的研究由来已久,首先介绍n阶纵横图问题和n阶不全四角问题及其它们的解法,然后从一道竞赛题得出启示,推广n阶不全四角问题.     

采用长闪络避雷器防止绝缘导线的断线

随着配电线路绝缘导线的应用,由雷电引起的绝缘导线断线已成为配电系统一个新的问题。该文利用俄罗斯PodporkinGV提出采用长闪络避雷器(LFA)提高普通配电线路和输电线路的雷击耐雷水平的思路,提出采用LFA防止10kV中性点不接地配电系统绝缘导线的断线问题。研制了样品,并在清华大学高电压实验室进行了长闪络避雷器与绝缘子的绝缘配合试验,结果表明,长闪络避雷器可以解决10kV中性点不接地配电系统绝缘导线的断线问题。     

形式Peano算术的Gödel不完备性定理的一个简单证明

给出了形式Peano算术的Godel不完备性定理的一个简单证明.