开发海洋资源的法宝"海洋"系列卫星小而精

21世纪被人类称为"海洋世纪".然而,要想对这一占地球面积70.8%且不断运动着的水体进行全面、及时的了解,掌握其活动规律,探清其蕴藏的巨大资源,靠一般方法是很难的.就目前和可以预见的将来来看,海洋卫星是认识海洋真面目的最佳利器.利用它可以经济、方便地对大面积海域实现实时、同步和连续的监测,它已是公认的海洋环境监视监测的主要手段.     

三值逻辑方程和组合逻辑电路函数险象的检测

对于组合逻辑电路中函数险象的检测提出一种新的方法－解三值逻辑方程法，此方法的显著特点是可以检测出在任何输入状态下电路所可能产生的所有函数险象，所给的算法很容易在计算机上实现。     

基于聚类算法的模糊逻辑结构与系统性能分析

针对一类特殊的模糊逻辑系统，对模糊逻辑规则结构与系统性能之间的关系进行了深入细致的数学推导和分析，从而得出在采用聚类技术构造模糊逻辑结构中影响系统性能的主要因素。通过相关的论证与分析，为各种聚类算法在模糊逻辑结构辨识中的应用奠定了理论基础，避免了以往对模糊结构与性能之间表述的含糊性和不系统性，为模糊逻辑系统的合理设计及其应用提供了数学依据。     

关于NP完全问题的多项式线路可判定性

在计算复杂性领域里，大多数复杂类都是按照接受它们的图灵机而加以描述的。８０年代初，人们广泛关注被多项式大小的线路可判定的集合类并且得到了许多有趣的结果。但是，迄今是否ＮＰ完全问题是多项式大小的线路可判定的问题仍然是开的。最好的结果是，如果答案是肯定的，则多项式时间的分层便塌方到２级，即，ＰＨ＝Σ２。本文考虑一个特殊的无穷图的集合和讨论它被多项式大小线路逼近接受的问题，且利用紧致性定理和常数扩张法证明了存在集合Ａ∈ＣＯ－ＮＰ＼Ｐ／ｐｏｌｙ。     

MS中的自然数系统

首先给出了中介逻辑ＭＬ的二值子系统Ｆ＾ＩＭＬ，说明了它与经典二值逻辑的子系统Ｆ＾Ｉ同构。其次，利用中介公理集合论ＭＳ的相关理论，构造了ＭＳ中的自然数系统，证明了Ｐｅａｎｏ５条公理为ＭＳ中的定理。最后指出以此五条性质为公理、并以Ｆ＾ＩＭ为配套逻辑，在ＭＳ中可推出自然数的所有性质。     

登高望远一目了然--在沙尘暴监测中大有作为的气象卫星

近几年来的春天．风沙天气频频光顾北京城．在中国北方地区更是成为常客．大家对2002年的漫天黄土还记忆犹新．沙尘问题成了全社会关注的焦点。     

基于可编程逻辑器件的增量式编码器信号 去抖方法的实现

在伺服系统中,实时、准确地获得编码器反馈信号对伺服闭环控制至关重要.从增量式编码器的结构原理出发,分析引起其输出信号抖动的可能原因.根据D触发器逻辑功能,设计了一种基于可编程逻辑器件的增量式编码器信号去抖方法.实验结果表明,该方法能有效滤除信号的边沿抖动和干扰毛刺.     

顾及多路径误差改正的GNSS大坝形变监测研究

在GPS短基线相对定位中,可以根据多路径误差周期约为1天的重复性特点建立误差模型,采用坐标域或观测值域滤波的方法进行多路径误差改正.北斗系统由GEO、IGSO和MEO三种卫星类型组成,其中MEO卫星类型接近7天的轨道周期与GEO和IGSO约为1天的轨道周期差异较大,因此对北斗观测值进行多路径误差改正时只能采用观测值域滤波方法.本文以某水库大坝形变监测网为例,对GPS和BDS观测值分别建立多路径误差模型,根据各自卫星轨道周期进行多路径误差改正,结果表明经改正后大坝形变监测精度有较大提高.     

美国用导弹成功击毁失控卫星

事件回放:舰载导弹打下太空间谍 北京时间2008年2月21日10:26,装备有"宙斯盾"反导弹防卫系统的美国伊利湖号巡洋舰发射的1枚标准-3导弹,击中了在太平洋上空208千米、飞行速度超过每小时2.74万千米的一颗美国失控侦察卫星.据美国国防部官员表示,陆地、空中和海上监测网络,以及位于太空的感应装置证实,卫星燃料箱已被击中,而且爆炸相当彻底,迄今还未发现有大过橄榄球的碎片.     

环境与灾害监测预报小卫星A、B星在轨交付

国家国防科技工业局3月30日在京举行环境与灾害监测预报小卫星A、B星在轨交付仪式,两颗卫星正式交付给民政部和环境保护部投入使用。中国航天科技集团公司总经理马兴瑞、副总经理袁家军出席交付仪式。