顾氏不动点解法——数独题通用解法

"数独"意为"每个数字只能出现一次",起源于中国的古代的九宫格.通过运用严格逻辑推理方法,顾氏不动点解法找到两条或两条以上不同的逻辑路径的交点,即数独题目的关键点,找到一种解决"数独"问题的通用方法.     

一种概率密度函数多目标跟踪器

本文介绍一种解决多目标跟踪问题用的概率密度函数方法。其输入数据是前端检测器所有时间上的测量值，期望的输出是出现的目标数和每个目标的参数。这一方法曾用于时间延迟检测和跟踪问题，目前被用于解决多目标跟踪问题。该方法可代替传统的对测量“关联”和“跟踪”的方法。     

以质量求生存 以质量求发展

介绍了7107厂以“30条”、“72条”和“28条”为指导，严格过程质量控制，强化质量管理的经验和做法。     

小脉冲约束下的近圆轨道控制方法研究

对于近圆轨道平面内参数的控制,采用传统的双脉冲控制方法,一条轨道圈内至多只能进行两次轨道控制,在单次控制小脉冲约束下,整个控制周期会很长。文章针对单次控制小脉冲约束,提出了一种增加一条轨道圈内的轨道控制次数的近圆轨道平面内参数控制方法,达到了相对双脉冲变轨可以大幅缩短整个控制周期的目的。     

2012，世界末日还是谣言末日？

2012来了，传说中和电影里描述的世界末日真的要来了吗？其实只要具有科学与理性精神，就会认识到“末日预言”只是谣言而已。本刊同时选编《2012，世界末日还是谣言末日？》及《彗星会撞上地球吗？》两篇文章，一方面是辟“世界末日”之谣，另一方面，是想提示人类应有危机意识，通过科学手段找到应对可能发生的地球灾难的办法。毕竟居安还要思危。     

深刻理解持续安全理念内涵 实现西南空管又好又快发展

2008年，民航局党组提出了“持续安全”理念，旨在从指导思想、思维方式和工作方法上与时俱进，走出一条抓安全的新路子。这个全新理念一经提出，立即在全民航产生了强烈反响。西南空管局多次召开党委会，认真学习了持续安全理念的科学内涵，深刻理解了理念的形成过程，结合民航局空管局“管理创新、机制创新、技术创新”的要求，深入探讨“四个体系”建设在西南空管局的实际应用。     

众眼看宇宙

这对距离我们1700万光年、位于大熊座内的星系对——NGC5216（上）和NGC5218,看起来很像是被一条细线栓在一起。只不过这条由云气、尘埃和恒星所构成的细线（实际上是细长的恒星“潮汐尾”,即被拽离原来位置的恒星）,足足有2万2千光年长!联结这两个星系的潮汐尾、NGC5218的彗星状分支以及NGC5216的扭曲旋臂,都是它们屡次近距离靠近时,在引力相互作用下的产物。这种引力作用将持续数十亿年,最后可能会让它们合并成一个星系。     

“猎户座”嬗变：从乘员探测飞行器到多用途载人飞船

2011年7月，美国将其依赖了30年之久的航天飞机送进了博物馆。在今后数年内，美国将只能租用俄罗斯的“联盟”飞船将航天员送往国际空间站。对于NASA来说，摆脱这种境地的一天已经变得可以预见，因为航天飞机的接任者——“猎户座”多用途载人飞船已经在“破茧”当中。     

矢阵与四元数的关系及其在飞行力学中的应用

本文将矢阵引入到四元数的表示当中，首次提出了矢阵的四元数“圈积”的概念，并由此规定了关于四元数的扩展矢阵和扩展矢阵圈算子。在此框架下严密而系统地导出了四元数的常用关系。本方法概念清晰、形式化美、逻辑性强，具有理论和应用价值     

潜在通路存在的判定方法研究

为判断给定系统是否存在潜在通路,研究了潜在通路存在的判定方法.用图论模型对电路建模,利用图论的邻接矩阵找到在某一开关组合状态下电源到地的所有路径,通过路径和功能之间的一一对应关系确定电路实现的功能数.提出了一种求短路屏蔽路径数算法,可以求得短路屏蔽的功能数.通过比较在某一开关状态下的设计功能数和实现的功能数,确定是否存在潜在通路以及潜在通路存在数目.仿真实例验证了方法的有效性.     

基于流体逻辑理论的某活塞泵逻辑特性分析

针对某活塞泵研制过程中出现的自锁故障模式,应用流体逻辑理论建立活塞泵气动控制回路工作时间表和工作状态卡诺图,通过逻辑推演分析了活塞泵控制回路的逻辑特性。分析结果表明,双滑阀控制方式中出现两个滑阀位置状态相同时即会导致自锁故障。从理论上明确了该双滑阀控制方式出现自锁故障的原因,并据此提出了单滑阀控制方式,可有效避免逻辑冒险问题。     

Galileo/北斗组合系统GDOP改善方法研究

从理论上来说,导航卫星数量越多,可提供的几何精度下降因子(GDOP)就越小。但是在进行Galileo/北斗组合系统仿真时,却发现其GDOP反而变差。文中对此进行了理论分析,指出出现该现象的原因在于两个卫星导航系统存在时间差,并且其中一个系统的可见星数过少。为解决该问题,文中提出播发系统间时差的方法,可使组合系统的GDOP相对单系统得到一定的改善。仿真结果表明,该方法可以改善GDOP。     

固体火箭发动机总体设计水平的模糊综合评判

基于模糊逻辑，建立了评判固体火箭发动机总体设计水平两级指标体系和模糊综合评判方法，采用给定满意区间的方法提高了可量化指标隶属度的准确性。算例表明，该方法较全面地反映了固体火箭发动机总体设计水平。     

氦气压缩机主机抱烧的原因分析

"神舟"飞船在地面试验阶段选用了无锡某厂家生产的氦气螺杆压缩机.文章对该压缩机的核心部分主机易出现的问题"主机抱烧"现象进行了多方面的深入探讨,从各种可能性中找出主要症结,给出改进的办法,从而保证了压缩机运行的安全.     

非线性递推最小模型误差估计

基于最优控制理论和两点边值问题的不变式嵌入法，提出了模型不确定性非线性性系统递推最小模型误差估计，并推导了估计算法。仿真例说明，该方法是模型不确定性非线性系统状态递推估计的有效方法。     

通信卫星地平信号的自适应观测处理器

本文分析了国际上通用的以地平边缘的红外辐射信号作为卫星天线系统基准信号所存在的问题,应用控制理论和数字计算原理,提出了地平信号“取中”的自适应处理方法。依据这一方法,在我国通信试验卫星控制系统设计中,设计了地平信号自适应观测处理器,给出稳定的“地中”信号,作为自旋卫星天线消旋系统的基准信号。通过误差分析以及地面模拟试验和几次飞行试验充分证明,本文所提出的红外地平信号“取中”设计方案的正确性。此方案优于国际通用的红外地平“边缘”方案。     

FPGA运算单元单粒子错误的Berger/余数联合结果校验法

针对空间环境中FPGA局部功能运行的重要运算模块受到单粒子效应的威胁,提出了Berger/余数联合结果校验法的加固设计方法。通过分析指出,由于Berger结果校验所需的进位链在FPGA中不易获取,加法、减法、乘法运算的正确性利用余数校验法检测,其它运算结构利用Berger结果校验法检测。给出了联合结果校验法的思路和逻辑实现方法,并分析了该方法对FPGA资源和速度性能的影响。单粒子故障仿真注入实验结果表明:对于VirtexII系列FPGA运算单元的单粒子效应故障,Berger/余数联合结果校验法的单粒子效应故障检测概率达到99.8%,引入的资源增加为10～40个SLICES,运算速度降至50～100MHz。     

A language based on analogy to communicate cultural concepts in SETI

The present paper is a synthesis of three presentation given by myself at the Toulouse IAC 2001 (Analogy as a tool to communicate abstract concepts in SETI), the Bremen IAC 2003 (From maths to culture: towards an effective message), and the Vancouver IAC 2004 (Philosophical and religious implications of extraterrestrial intelligent life). Its aim is to find a way to make our cultural concepts understandable to hypothetical extraterrestrials (ETs) in a SETI communication. First of all, I expose the reasons why I think that analogy could be a good tool for this purpose. Then, I try to show that this is possible only in the context of an integrated language, using both abstract symbols and pictures, also sketching two practical examples about some basic concepts of our moral and religious tradition. Further studies are required to determine whether this method could be extended to the higher-level abstract concepts in the other fields of our culture. Finally, I discuss the possible role of mathematics, logic and natural science in the construction of an analogy-based language for interstellar messages with a cultural content and a possible way of managing this matter from a social point of view.     

多航天器协同探测星簇构型探测效能的评价方法

为定量评估不同星簇构型设计的探测效能以进行各航天器的轨道设计,基于空间四面体构型的体张量定义,分析现有空间四面体构型的评价参量,并采用将空间五航天器构型分解为“五个四面体”和“主四面体加第五点问题”这两种方法定量评价空间五点协同探测星簇构型的探测效能。最后利用项目组已有的五个航天器在一个轨道周期内的模拟轨道数据对所提出的方法进行仿真,结果表明所提出的方法可以较好地评价空间五点构型的探测效能。     

防空导弹初制导规律

分析了用于垂直发射防空导弹初制导的三角型和指数型两种导引控制。给出了两种控制方法的导引律,计算了典型弹道的攻角、俯仰角和交班点速度等参数。两种控制律的弹道参数计算结果表明,两者均为较理想的制导方案。与三角控制律相比,指数控制律的弹道倾角误差、最大攻角和速度损失均较小,其导弹交班精度更高。