Xilinx SRAM型FPGA抗辐射设计技术研究

针对Xilinx SRAM型FPGA在空间应用中的可行性，分析了Xilinx SRAM型FPGA的结构，以及空间辐射效应对这种结构FPGA的影响，指出SRAM型的FPGA随着工艺水平的提高、器件规模的增大和核电压的降低，抗总剂量效应不断提高，抵抗单粒子效应，尤其是单粒子翻转和单粒子瞬态脉冲的能力降低。分析了FPGA综合后常见的Half-latch在辐射环境中的影响并结合实际工程实践给出了解决上述问题的一些有用办法和注意事项，如，冗余设计、同步设计、算术逻辑运算结果校验、白检等。最后还提出一种基于COTS器件的“由顶到底”的星载信号处理平台结构，分析了这种结构在抵抗辐射效应时的优势。有关FPGA抗辐射的可靠性设计方法已经在某卫星通信载道中成功应用，并通过了各种卫星环境试验，该技术可以为有关航天电子设备设计提供参考。     

多臂协调操作自由飞行空间机器人的位置和内力混合控制

基于多臂自由飞行空间机器人多臂协调操使负载沿着期望的轨迹运动并且控制负载所受的内力为目的，在多臂自由飞行空间机器人系统协调操作的动力学方程基础上，推导了各个机械臂协调操作负载按期望轨迹运动时各个机械臂关节的驱动力矩的计算方法；给出了作用在负载的内力的定义，根据关节力矩计算方法和PID反馈控制原理，建立了多臂自由飞行空间机器人协调操作负载时的位置和内力的控制算法；讨论了所提出的控制算法的稳定性问题，得到了负载的位置误差和内力误差的约束条件。通过仿真实验证明该控制算法能够使负载的实际位姿和内力收敛到期望的轨迹和内力。     

单粒子锁定极端敏感器件的试验及对我国航天安全的警示

随着半导体特征工艺尺寸减小、集成度提高,静态存储器(SRAM)对单粒子锁定呈现出极其敏感的现象和趋势,为此国际航天界开展了大量的试验评估工作,剔除和杜绝了一些极端敏感器件在空间的应用.结合国内外空间应用背景,文章利用脉冲激光实验装置和重离子加速器,分别对三星公司新旧两种型号的4 M位SRAM芯片进行了单粒子锁定试验评估.试验测得两型号芯片的单粒子锁定阈值差异巨大,新型号芯片的锁定阈值低于1.5MeV·cm2/mg,而老型号芯片的锁定阈值高于39.6MeV·cm2/mg.这种对单粒子锁定极端敏感的芯片若应用于空间,将会发生0.008～0.04次/天的频繁锁定事件,极大地威胁航天器的安全和可靠.为应对这种单粒子锁定极端敏感的现象和趋势,提出了加强我国航天产品设计、元器件采购、筛选、试验等的规范、技术和条件的建议.     

空间辐射环境单粒子效应研究

文章介绍了空间辐射环境对航天器电子元器件产生的单粒子效应的国内外研究情况,从环境模拟方法、模拟试验设备、单粒子效应及防护以及飞行试验等方面进行了分析比较。文章对国内研究发展提出了一些建设性的建议。     

超低轨道卫星应用离子电推进技术方案

低地球轨道大气环境对诸如科学探测和对地观测卫星的阻尼作用十分明显,而且阻尼随太阳和地磁活动以及昼夜、季节交替变化范围宽.为了保证卫星轨道精度或飞行状态满足任务要求,需要利用推进系统对卫星受到的阻尼进行实时或间歇式补偿以实现轨道或飞行状态的保持.针对轨道高度220～268 km的无拖曳飞行和轨道维持应用,基于卫星轨道阻尼...     

基本公共服务均等化研究现状与展望

基本公共服务均等化概念一经提出,迅速成为学术界研究的热点之一。学者主要从宏观社会政策、社会公正、公共财政等视角对基本公共服务均等化的内涵、供给问题、供给内容与途径等方面进行了研究。完善社会政策、注重社会公正、合理重构公共财政体制是公共服务均等化的必要途径。目前基本公共服务供给协调机制尤其是激励机制的研究亟待加强,基本公共服务均等化与大部制改革研究有待推进和深化。     

略论我国航天器名字的英译

指出了我国航天器名的英译用汉语拼音的不足;建议我国航天器的英译名以意译为主,音译为辅;提出了航天器名意译的原则和我国全部航天器按意译的英语名建议。     

自由落体下落速度振荡现象的研究

为了研究自由下落物体的速度震荡现象,基于相对运动原理,应用立式风洞研究了5种典型形状的物体在上升气流中的悬浮特性。模型包括球形、正方体、长方体、短圆柱体和碟形等刚体。风速的平均值由皮托管风速计测得,同时通过CCD相机记录了物体达到悬浮状态前后的运动状态并进行了定量分析。实验结果表明：对称性较好的物体具有较稳定的悬浮特性;而非对称性物体,由于不同姿态角下的阻力系数和扭矩系数不同,很难维持一个稳定的悬浮状态,将伴随姿态的变化不断发生振荡运动。从而说明,空间形体对称的物体自由下落过程中可以达到较稳定的最大下落速度,而形体非对称的物体则难以达到确定的最大速度。除实验研究之外,还采用动态网格数值模拟手段计算了二维方形模型下落过程中的姿态角及运动轨迹,同时得到模型不同姿态角下的阻力和扭矩,计算结果也进一步解释了物体下落速度会发生振荡的原因。     

A discrete event systems approach to discriminating intermittent from permanent faults

Almost all work on model-based diagnosis （MBD） potentially presumes faults are per- sistent and does not take intermittent faults （IFs） into account. Therefore, it is common for diag- nosis systems to misjudge IFs as permanent faults （PFs）, which are the major cause of the problems of false alarms, cannot duplication and no fault found in aircraft avionics. To address this problem, a new fault model which includes PFs and IFs is presented based on discrete event systems （DESs）. Thereafter, an approach is given to discriminate between PFs and IFs by diagnosing the current fault. In this paper, the regulations of （PFs and IFs） fault evolution through fault and reset events along the traces of system are studied, and then label propagation function is modified to account for PFs and the dynamic behavior of IFs and diagnosability of PFs and IFs are defined. Finally, illustrative examples are presented to demonstrate the proposed approach, and the analysis results show the fault types can be discriminated within bounded delay if the system is diagnosable.     

消费社会实质之剖析

当今，许多西方学者认为资本主义已进入消费社会，即进入以生活必需品以外的消费为主的社会，并进而认为消费可以无限扩大。但是，消费社会的繁荣并没有真正克服资本主义发展的基本矛盾，反而蕴含着深刻的发展困境。文章通过对消费社会实质的剖析进一步揭示这一问题。