Orbit-attitude-vibration coupled dynamics of tethered solar power satellite

A new orbit-attitude-vibration coupled dynamic model of the tethered solar power satellite (Tethered SPS) is established based on absolute nodal coordinate formulation. The Hamilton’s equation of the system is derived by introducing generalized momentum through Legendre transformation. The correctness of the proposed model is verified by an example. The dynamic characteristics of the Tethered SPS are studied using the symplectic Runge-Kutta method. Simulation results show that the orbital radius and the total energy of the system are well preserved. The attitude of the system is unstable when the mass of the bus system is small. However, the attitude stability is dependent on some other parameters of the system, which requires further studies. It is also found that the average tether force/deformation can be roughly estimated by simplifying the solar panel as a particle. The proposed model can be used to study the orbit-attitude-vibration coupled dynamics and control problems.     

Effect of matching between the magnetic field and channel length on the performance of low sputtering Hall thrusters

Discharge characteristics of a non-wall-loss Hall thruster were studied under different channel lengths using a design based on pushing a magnetic field through a double permanent magnet ring. The effect of different magnetic field intensities and channel lengths on ionization, efficiency, and plume divergence angle were studied. The experimental results show that propellant utilization is improved for optimal matching between the magnetic field and channel length. While matching the magnetic field and channel length, the ionization position of the neutral gas changes. The ion flow is effectively controlled, allowing the thrust force, specific impulse, and efficiency to be improved. Our study shows that the channel length is an important design parameter to consider for improving the performance of non-wall-loss Hall thrusters.     

Orbital stability close to asteroid 624 Hektor using the polyhedral model

We investigate the orbital stability close to the unique L4-point Jupiter binary Trojan asteroid 624 Hektor. The gravitational potential of 624 Hektor is calculated using the polyhedron model with observational data of 2038 faces and 1021 vertexes. Previous studies have presented three different density values for 624 Hektor. The equilibrium points in the gravitational potential of 624 Hektor with different density values have been studied in detail. There are five equilibrium points in the gravitational potential of 624 Hektor no matter the density value. The positions, Jacobian, eigenvalues, topological cases, stability, as well as the Hessian matrix of the equilibrium points are investigated. For the three different density values the number, topological cases, and the stability of the equilibrium points with different density values are the same. However, the positions of the equilibrium points vary with the density value of the asteroid 624 Hektor. The outer equilibrium points move away from the asteroid’s mass center when the density increases, and the inner equilibrium point moves close to the asteroid’s mass center when the density increases. There exist unstable periodic orbits near the surface of 624 Hektor. We calculated an orbit near the primary’s equatorial plane of this binary Trojan asteroid; the results indicate that the orbit remains stable after 28.8375?d.     

FET振荡器注入锁相伏特拉级数分析

应用伏特拉级数法分析了电容耦合ＦＥＴ振荡系统在外加信号下的注入锁定现象，推导出输出信号和注入锁定带宽表达式。与一般非线性系统分析方法相比，伏特拉级数法在建立好系统模型后只需进行代数运算，从而避开了求解非线性，非齐次高阶微分方程的复杂过程。     

Parametric Rao Test for Multichannel Adaptive Signal Detection

The parametric Rao test for a multichannel adaptive signal detection problem is derived by modeling the disturbance signal as a multichannel autoregressive (AR) process. Interestingly, the parametric Rao test takes a form identical to that of the recently introduced parametric adaptive matched filter (PAMF) detector for space-time adaptive processing (STAP) in airborne surveillance radar systems and other similar applications. The equivalence offers new insights into the performance and implementation of the PAMF detector. Specifically, the Rao/PAMF detector is asymptotically (for large samples) a parametric generalized likelihood ratio test (GLRT), due to an asymptotic equivalence between the Rao test and the GLRT. The asymptotic distribution of the Rao test statistic is obtained in closed form, which follows an exponential distribution under the null hypothesis H ₀ and, respectively, a noncentral Chi-squared distribution with two degrees of freedom under the alternative hypothesis H ₁. The noncentrality parameter of the noncentral Chi-squared distribution is determined by the output signal-to-interference-plus-noise ratio (SINR) of a temporal whitening filter. Since the asymptotic distribution under H ₀ is independent of the unknown parameters, the Rao/PAMF asymptotically achieves constant false alarm rate (CFAR). Numerical results show that these results are accurate in predicting the performance of the parametric Rao/PAMF detector even with moderate data support.     

一类拟线性椭圆型方程分歧点的存在性

本文讨论了下面问题的分歧点的存在性：－ｐｘｉ〔（１＋｜ｕ｜２）ｐ２－１ｕｘｉ〕＝μｕ＋ｆ（ｘ，ｕ），ｘ∈ＲＮｕ（ｘ）→０，当｜ｘ｜→＋∞时，ｕ０，μ∈Ｒ１，Ｎ＞ｐ≥２｛证明了μ＝０是上述问题的分歧点。     

用两端安装法检定热电偶

利用一种设计好的专用检具 ,使两束被检热电偶分别从检定炉的两端安装均可保证符合检定规程的要求 ,从而在不添置新设备的情况下 ,使检定热电偶效率大大提高。     

CC—高阶通信系统的并发演算

并发演算CC(Concurrent Calculus)是高阶并发通信系统的数学模型,它把λ-演算作为子理论并包含一阶通信系统演算CCS、活动进程演算CMP、和高阶通信系统演算CHOCS的主要特征。在CC中,通信端口可为任意表达式并且进程和通信端口都可以作为在通信中传递的一等对象(First-class Objects)。从而CC不仅可以描述一阶通信行为而且可以刻划通信网络的动态自修改行为。另外,由于CC把λ-演算和进程演算纳入同一形式系统,故CC可以作为并发函数式程序设计的核心语言和理论模型。本文首先给出CC的语法、语义和例子,然后研究CC的高阶双向模拟等价关系以及CC的代数定律。最后简单讨论了相关的工作和今后的研究方向。     

Satellite mobile communications spread-spectrum receiver

Since 1999, ESA has conducted a number of system studies and technological developments to support the European and Canadian industry in the definition of a Satellite UMTS (S-UMTS) component development strategy, identifying critical technological areas and promoting S-UMTS demonstrations. In particular, the MUSIC project has successfully demonstrated advanced digital signal processing techniques to mitigate CDMA interference in spread-spectrum receivers, thus increasing the capacity and/or quality of service of a wireless communication network. The low-complexity solution for interference mitigation investigated and developed in the project is particularly suited for being implemented in mobile terminals.