常系数线性微分方程RMI解题机

本文介绍的常系数线性微分方程解题机是利用数学方法论的研究成果，摸拟人的数学思维过程，采用关系映射反演（ＲＭＩ）方法，通过符号推理给出微分方程解析解的数学软件．文中介绍了研制该解题机的基本思想和实现技术，并给出了用解题机求解微分方程和微分方程组的几个实例．     

基于分段分裂基FFT的GPS L1辅助L2C信号快速捕获算法（英文）

为了缩短GPS L2C CM/CL长码的搜索捕获范围进而提高捕获速度,提出了一种基于分段分裂基FFT的L1辅助L2C信号快速捕获算法,可以有效降低计算量和节省存储空间,因而适合在嵌入式系统中实现。首先根据捕获到的L1信号的多普勒频率将L2C信号的多普勒搜索范围缩至一个固定的值,然后综合利用S-SFFT、补零和重叠舍弃算法快速准确地确定L2C CM/CL码的码相位。利用本文设计的L2C信号产生器产生L2C信号对该算法进行了仿真验证。实验结果表明,当L2C信号强度较强时,该算法可以以显著降低的计算量完成对码相位的准确快速捕获。     

级数求和RMI解题机

本文从RMI原则出发对各种级数求和的方法进行分析,将许多幂级数归结为是由几种基本幂级数演变而来的,总结出若干适用面较广的映射算子,介绍了在此基础上实现的能对相当大一部分幂级数及数项级数求和的RiMI解题机.     

中介逻辑演算系统MPN及MFN

为满足不完全信息系统应用的需要,本文构造了基于命题联结词∧、∨、→、ヲ、～和     

二值形态运算的感知器模型及其应用

给出了二值形态运算模型与感知器模型之间的关系.以此为基础对传统的二值数学形态学基本运算进行了推广,建立了基于感知器的形态运算模型.新的模型为传统的二值形态运算赋予了可调节机制.计算机模拟实验表明该方法较传统的二值形态运算有效.     

基于中介逻辑的时序逻辑系统

本文基于中介逻辑建立了一种中介时序逻辑系统ＭＴＬ（Ｍｅｄｉｕｍ Ｔｅｍｐｏｒａｌ Ｌｏｇｉｃ），文中着重讨论了ＭＴＬ的形式系统并给出了它的语义解释，证明了ＭＴＬ系统的可靠性．最后对ＭＴＬ系统和经典时序命题逻辑系统进行对比，指出经典时序命题逻辑系统是ＭＴＬ的子系统     

多元组粗糙集合在规则生成中的应用

多元组粗糙集合是对传统粗糙集合的一种推广,它具有比传统粗糙集合描述更直接,更方便等优点,并能导出决策表中相应的确定规则,可能规则和否定规则,通过比较发现它能有效的提高规则生成效率,文中所给出的算法特别适合于具有重复元组的决策表。     

中介逻辑演算系统MPN及MFN

为满足不完全信息系统应用的需要,本文构造了基于命题联结词∧、∨、→、ヲ、～和～的中介逻辑命题演算系统ＭＰＮ和中介逻辑谓词演算系统ＭＦＮ,并证明了ＭＰＮ与ＭＰ＊、ＭＦＮ与ＭＦ＊的表达能力等价。ＭＦＮ将为进一步讨论不完全信息数据库作准备