关于微分方程的有理式解的存性问题

许多非线性微分方程一般都是不可积的，例如Ｒｉｃｃａｔｉ方程。本文主要利用在文［４］中得到的一个定理，通过构造微分方程的线性算子的方法，得到了一个关于微分方程的算子矩阵，从这个算子矩阵向量的线性相关性得到了微分方程存在有理式解的充分必要条件，并举例给出求有理式解的具体方法。本文的结果对研究Ｒｉｃｃａｔｉ方程的特解以及可积性等问题具有重要意义，并推广了文［３］中收集的相应结果，且以此为特例     

全对称Jacobi矩阵的一类特征值反问题

讨论全对称Ｊａｃｏｂｉ矩阵的如下反问题ｂＪ：给定两个互异实数λ，μ和两个ｎ维非零实向量ｘ，ｙ。构造一个ｎ阶全对称Ｊａｃｏｂｉ矩阵Ｊ（Ｓ）ｎ，使得（λ，ｘ）和（μ，ｙ）是Ｊ（Ｓ）ｎ的特征对。即Ｊ（Ｓ）ｎｘ＝λｘ，Ｊ（Ｓ）ｎｙ＝μｙ文中导出了问题ｂＪ有唯一解的一个充分必要条件。给出了求唯一解的一个算法。     

逻辑代数分析多电源切换的控制模式

逻辑代数亦称布尔代数，由英国数学家乔治·布尔（George Boole）于1849年创立。逻辑代数有一系列的定律和规则，在实际应用中，主要用于对数字电路的简化、变换、分析和设计。笔者认为，逻辑代数同样可以应用于多电源切换的控制逻辑。而且，逻辑代数可以覆盖配电系统的所有状态，即能实现状态控制，又能进行过程控制，对保证配电系统运行的可靠性和安全性有极大的促进作用。     

Nonlinear dynamics and station-keeping control of a rotating tethered satellite system in halo orbits

The dynamics of a rotating tethered satellite system （TSS） in the vicinity of libration points are highly nonlinear and inherently unstable. In order to fulfill the station-keep control of the rotating TSS along halo orbits, a nonlinear output tracking control scheme based on the θ- D technique is proposed. Compared with the popular time-variant linear quadratic regulator （LQR） controller, this approach overcomes some limitations such as on-line computations of the algebraic Riccati equation. Besides, the obtained nonlinear suboptimal controller is in a closed form and easy to implement. Numerical simulations show that the TTS trajectories track the periodic reference orbit with low energy consumption in the presence of both tether and initial injection errors. The axis of rotation can keep pointing to an inertial specific object to fulfill an observation mission. In addition, the thrusts required by the controller are in an acceptable range and can be implemented through some low-thrust propulsion devices.     

双极值模糊软K-代数

引入双极值模糊软K-代数的概念,讨论关于双极值模糊软集的交,并运算的相关性质以及它在模糊软K-同态下像的性质。通过双极值模糊集的（t,s）-水平截集给出了双极值模糊软K-代数的等价刻画。     

广义矩阵函数的一个注记

设f∈FSn 广义矩阵函数df:Fn×n→F定义为df(A) =∑σ∈Snf(σ)∏ni =1 aiσ(i) .论文刻划了广义矩阵函数和行列式的内在联系 ,改进了已有的相应结果     

基于二进制标签的改进HSSE—tree算法

随着对航天器自主生存能力要求的提高,基于模型的故障诊断成为国内外的研究热点.计算全体极小碰集是基于模型的故障诊断中的关键步骤,以HSSE-tree算法为基础,结合二进制位标记,提出一种HSSE-tree的高效改进算法——Binary-label HSSE.改进算法采用二进制位标记来代替实际节点元素,并采用了有效的剪枝策略及节点扩展方式,避免了HSSE-tree算法中存在的节点个数及超集个数随着问题规模增大而产生的爆炸式增长的问题;此外,改进算法采用二进制位运算,避免了判断碰集及判断是否超集时的元素遍历,使算法的运行时间进一步减少.仿真结果表明,与HSSE-tree算法相比,改进算法的消耗时间及占用内存均有了大规模减少.这为航天器系统的故障诊断及实时诊断提供了理论依据和应用基础.     

基于共形几何代数的空间并联机构位置正解

将共形几何代数(CGA)引入空间并联机构位置正解中,提出了一种空间3-RPS并联机构位置正解新算法。以任意一条支链轴线与静平台平面的夹角为待求变量,基于点的CGA表达方法建立了该支链与动平台连接的铰接点关于待求变量的数学表达式;通过2次构造2个空间球和1个平面的外积,分别获得动平台其余2个铰接点的点对;利用距离公式,只需简单的平方运算可直接推导出该问题关于待求变量的一元16次输入输出方程,进而获得了该机构的全部16组解析解,无增无漏。该方法没有繁琐的坐标变换和矩阵计算,以及复杂的多元高次非线性方程组消元求解。通过数字实例计算表明,求解过程较清晰地揭示出机构运动的几何特点,几何直观性好。     

关于sinθ定理的一个注记

本文对酉不变范数以分离度、残量界或扰动界给出了任意矩阵的特征空间的扰动界。其结果可作为著名的Davris-Kahan sinθ定理的推广,由此能导出Davis-Kahan第二sinθ定理。