防范秘密攻击的安全计算的博弈论实现

在博弈论中,惩罚博弈模拟了参与者试图欺骗但又不想被抓住,即安全计算中秘密攻击者的情形。针对密码学的计算博弈模型,本文对Halpern与Rafael提出的能否在计算具有成本的惩罚博弈与具有一定威慑度的防范秘密攻击的安全计算之间建立联系的问题给出肯定的回答,提出威慑度为1/2的防范秘密攻击的安全是计算博弈中错误可忽略的调解人的通用实现。     

有界双重控制导弹微分对策制导律

针对有界控制导弹采用鸭舵或尾舵单一控制形式存在的劣势,基于双边优化微分对策理论,推导了一种有界双重控制导弹微分对策制导律。该制导律不仅将鸭舵与尾舵两组舵面的控制有效融合在一起,而且实现了有界控制命令最优的分配设计。分析了该微分对策制导律的对策空间,并从弹目机动性能比和控制系统时间常数比之间的关系,给出了鞍点解的存在条件。考虑非完全信息情形,完成了目标加速度滤波器和拦截性能衡量指标的设计。采用Monte Carlo法进行了制导性能的仿真验证,结果表明:所设计的有界双重控制导弹制导律与采用单一的鸭舵控制或尾舵控制的导弹相比不仅机动性要求较低,且具有较高的命中概率。      

基于滚动优化和微分Theta-D方法的快速绕飞航天器姿轨协同控制

针对近距离快速绕飞的视线保持要求和姿轨耦合特点,研究航天器姿轨协同最优控制方法。建立了六自由度相对运动耦合非线性模型,偏心推力矢量同时提供位置和姿态控制能力;考虑到近距离相对运动对动态性能的高精度要求,不同于无限时域经典Theta-D方法,提出了一种包含终端状态约束的滚动优化有限时域最优控制快速解算方法,推导了中间过程微分Riccati方程和微分Lyapunov方程的横截条件。控制器设计充分考虑了有限脉冲小推力器和有限力矩输出装置的约束。对近距离快速绕飞的仿真结果说明了方法的有效性,所提方法在保证相对运动稳定和动态性能的前提下控制输出幅值小,具有工程实际意义。     

Proposal for a multiple-asteroid-flyby mission with sample return

Asteroid exploration provides a new approach to study the formation of the solar system and the planetary evolution. Choosing a suitable target and designing of feasible profile for asteroid mission are challenging due to constraints such as scientific value and technical feasibility. This paper investigates a feasible mission scenario among the potential candidates of multiple flybys and sample return missions. First, a group of potential candidates are selected by considering the physical properties and accessibility of asteroids, for the sample return missions. Second, the feasible mission scenarios for multiple flybys and sample return missions to various spectral-type asteroids are investigated. We present the optimized design of preliminary interplanetary transfer trajectory for two kinds of missions. One is the single sample return mission to asteroids with various spectral types. The other is the multiple flybys and sample return mission to several asteroids. In order to find the optimal profiles, the planetary swing-by technique and Differential Evolution algorithm are used.     

基于火箭弹非线性动力学系统的解耦控制

为消除火箭弹在倾斜转弯（BTT）时俯仰与偏航通道的强耦合,根据建立的火箭弹非线性动力学模型,采用微分几何方法和二次Gauss/回路传函恢复（LQG/LTR）设计了一控制系统,给出了控制器的设计。仿真结果表明：侧滑角近似为零,滚转命令能快速响应,设计的解耦控制器有效。     

遥测信号差分解调仿真

非相干解调由于不需要产生同频同相的本地载波,避免了因为本地载波的不精确导致的解调信号失真,降低了在实际系统中接收端实现的复杂度。文章分析了遥测信号的一种非相干解调的算法,并进行了仿真,得出高斯白噪声（AWGN）信道中的误码曲线。     

Effects of space flight exposure on cell growth,tumorigenicity and gene expression in cancer cells

It is well recognized that harsh outer space environment, consisting of microgravity and radiation, poses significant health risks for human cells. To investigate potential effects of the space environment exposure on cancer cells we examined the biological changes in Caski cells carried by the “Shen Zhou IV” spaceship. After exposure for 7 days in spaceflight, 1440 survival subclonal cell lines were established and 4 cell lines were screened. 44F10 and 17E3 were selected because of their increased cell proliferation and tumorigenesis, while 48A9 and 31F2 had slower cytological events. Experiments with cell proliferation assay, flow cytometry, soft agar assay, tumorigenesis assay and DNA microarray analysis have shown that selected cell lines presented multiple biological changes in cell morphology, cell growth, tumorigenicity and gene expression. These results suggest that space environment exposure can make significant biological impact on cancer cells and provide an entry point to find the immunological target of tumorigenesis.     

基于微小卫星合作博弈的失效航天器姿态接管控制

针对多颗微小卫星接管控制失效航天器姿态运动的问题,提出了一种基于多颗微小卫星合作博弈实现对失效航天器姿态接管控制的方法。首先,面向失效航天器姿态接管控制任务需求,设计了各颗微小卫星的局部目标函数,并在考虑多颗微小卫星与失效航天器所形成组合体的动力学约束、微小卫星控制约束的情况下,建立了多颗微小卫星的合作博弈模型。其次,为实现失效航天器对时变期望姿态轨迹的跟踪,在合理设计期望姿态轨迹的基础上,通过构建组合体增广姿态运动方程,将跟踪期望姿态轨迹的要求描述为微小卫星合作博弈控制问题中的一组约束,并建立了多颗微小卫星控制失效航天器跟踪时变轨迹的合作博弈帕累托最优策略的求解框架。最后,对微小卫星合作博弈控制方法的有效性进行仿真验证,结果表明：该方法能够在不需要进行微小卫星控制分配的情况下,通过多颗微小卫星的合作博弈实现对失效航天器的姿态接管控制。与传统方法相比,这种控制方法可避免进行微小卫星之间的控制分配,能够实现微小卫星能量消耗的全局最优且设计简单便于考虑微小卫星的控制约束。     

A combination method using evolutionary algorithms in initial orbit determination for too short arc

With the combination of two evolutionary algorithms EDA and DE, a new method of initial orbit determination for satellites based on ground-based too-short-arc is established. Compared with other algorithms, the proposed method focuses on the most densely populated region in the solution space rather than the individual with best fitness value. Both the global information and local information are well fused in the search of optimum. In the method $(a,e,M)$ are treated as variables of the optimization, and the optimization procedure is carried out as a two-stage hierarchical optimization problem which has three variables for each stage. Kernel density estimation is applied to build the probability distribution model without any assumptions of the specified distribution, accompanied by handling semi-major axis and eccentricity as a pair of dependent variables in the construction of the probability for the correlation between them in the practice. Numerical experiments with real ground-based observations show that the proposed method is applicable to too-short-arc with even 3?s, and the result of bias in several kilometers can be achieved with $5^{″}$ error added to angular measurements.     

The fundamental physics explorer: An ESA technology reference study

ESA technology reference studies are used as a process to identify key technologies and technical challenges of potential future missions not yet in the science programme. This paper reports on the study of the Fundamental Physics Explorer (FPE), a re-usable platform targeted to small missions testing fundamental laws of physics in space. The study addresses three specific areas of interest: special and general relativity tests based on atomic clocks, experiments on the Weak Equivalence Principle (WEP), and studies of Bose–Einstein condensates under microgravity conditions. Starting from preliminary science objectives and payload requirements, three reference missions in the small/medium class range are discussed, based on a re-adaptation of the LISA Pathfinder spacecraft. A 700/3600 km elliptic orbit has been selected to conduct clock tests of special and general relativity, a 700 km circular orbit to perform experiments on the Weak Equivalence Principle and to study Bose–Einstein condensates, each mission being based on a three-axis stabilised spacecraft. It was determined that adaptation of LISA Pathfinder would be required in order to meet the demands of the FPE missions. Moreover it was established that specific payload and spacecraft technology development would be required to realise such a programme.