基于半实物的Ｓ频段卫星测控仿真系统平台设计

该仿真系统是为了满足Ｓ频段卫星测控演练的需要而提出的。根据航天测控系统和Ｓ频段测控设备的特点，明确了仿真系统的组成及功能，并对主要部分进行了详细的描述；确定了仿真系统运行工作模式、主要技术指标、接口之间关系；结合实际应用情况，通过与真星进行比对，证明通过建立半物理仿真数学模型，达到了在数据层上与真星具有等价性，并展望了未来发展方向。     

体波与面波震级计算程序

阐述了数字地震观测报告中用程序计算体波与面波震级的方法,达到准确计算mb、mB、MS等震级,同时减少工作量的目的。     

P与S波短周期面波参数计算

阐述了利用P与S波,用程序计算发震时刻与震中距离的方法,达到准确计算、减少误差、提高工作效率的目的。     

随机逻辑的词义问题

得出了在随机逻辑的词义问题中 ,标准命题演算系统的每条公理在随机逻辑中都是模糊恒真的 ,但标准命题演算系统的定理 ,在随机逻辑中却不都是模糊恒真的     

一类反向混合单调算子方程解的存在性定理

利用锥理论和非对称迭代方法，讨论了不具有连续性和紧性条件的反向混合单调算子方程解的存在性，并给出了迭代序列收敛于解的误差估计，所得结果是某些已知结果的本质改进和推广．     

随机逻辑的词义问题

得出了在随机逻辑的词义问题中,标准命题演算系统的每条公理在随机逻辑中都是模糊恒真的,但标准命题演算系统的定理,在随机逻辑中却不都是模糊恒真的。     

延边地震台DSQ水管倾斜仪水槽漏水发现与解决

本文通过对水管仪水槽漏水与解决方法的介绍,给水管仪观测工作提供一些经验,达到提高维护仪器水平的目的。     

数字形变仪前兆数据批处理程序

阐述了用程序校正并处理大量数字形变仪前兆数据的过程和方法,达到提高效率和减少工作量的目的。     

年日均值合并成EIS2000文件格式程序

阐述了用程序把多个年日均值文件合并成一个EIS2000分析软件文件格式的日均值文件,为用EIS2000软件分析前兆数据提供各种诺干年合并文件.