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

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

泸定百合遵义居群与牟定居群的遗传多样性研究

采用居群遗传学的原理和方法,对泸定百合遵义居群与牟定居群展开了形态和细胞层次的调查研究.共统计2个居群的20余个形态性状,分析其核型和及变异式样,得出如下结果:①形态性状在居群内具有丰富的多态性.形态性状变异在居群间的分配量为21.16%,在居群内的分配量为78.84%.形态性状变异主要来源于居群内.②泸定百合遵义居群的核型公式为2n=24=4m(2SAT) 4st(4SAT) 16t,泸定百合牟定居群的核型公式为2n=24=4m(4SAT) 8st(4SAT) 12t.8.51%的染色体结构变异来源于居群间,91.49%的变异来源于居群内.     

L-fuzzy保序算子空间中的ω-Lindel(o)ff可数性质

在L-fuzzy保序算子空间上引入ω-Lindel(o)ff可数性和弱ω-Lindel(o)ff可数性等概念,并系统地研究了它们的基本性质以及它们与第二ω-可数空间之间的关系.证明了ω-Lindel(o)ff性质和弱ω-Lindel(o)ff性质是ω-闭遗传的,而且在(ω1,ω2)-同胚映射下,ω-Lindel(o)ff可数性是不变性质.     

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

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

关于LF拓扑空间中的Lindelof覆盖性质

本文证明了LF拓扑空间中的(准)Lindelof覆盖性质被连续的广义Zadeh型函数所保持,并且获得了Lindelof空间的一些基本性质.     

高维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．     

姊妹双星探太空

今年年底，中国科学家自主提出的“双星计划”中的两颗探测卫星之一将要升空了。这是我国空间物理探测方面一项重要计划，它与欧空局的“星簇计划”紧密合作，将实现人类第一次对地球空间的六点立体探测。随着日地空间探测和研究的发展，人类将能够预报地球空间的“暴风雨”，无优地遨游太空了。     

具单调性的广义向量拟均衡问题

讨论一类具伪单调性的广义集值向量拟均衡问题,并给出在向量变分不等式与向量优化问题中的应用.     

三维Minkowski空间的Mannheim侣线

讨论了三维Minkowski空间中Mannheim侣线的曲率与挠率之间的关系,证明了Mannheim侣线的曲率与挠率满足的关系式.     

牛顿环实验测量结果的探讨

从牛顿环实验的实验原理、测量结果等方面对测量的不确定度进行了分析探讨,并用新的数据处理方法进行分析,用实验数据验证了新的数据处理方法得到的结果比原来的方法精确得多.同时,对其产生的原因进行了探讨.