数理哲学发展论略——兼论对文化和教育的意义

数学与哲学有机结合而成的数理哲学是最高形态的理论哲学。古代阴阳象数学说、近现代数理逻辑和新时代的数理辩证法代表了数理哲学发展的三个基本阶段。数理逻辑支配下的科学技术的迅速发展带来的负面效应是文化和教育的日益分裂。建立在矛盾公理、因果反馈和非线性数学基础上的数理辩证法是唯一完备的逻辑体系。现代文化和教育应注重优化、深化知识结构和智力结构,在高层次上实现新的统一;数理辩证法则提供了根本的理论基础和有效方法。     

船体曲面的数学表达

本文利用计算几何的曲面理论,选择均匀双三次B-Spline曲面,对船体曲面进行了数学表达。根据曲面顶点反求研究的最新算法,文中推导出了已知型值点与均匀双三次B-Spline曲面控制网格顶点之间的数学关系式。只要已知船体曲面上的一些特定型值点,应用这一关系式,便可求出数学表达所需的曲面控制网格顶点的数值。这种方法简单易行,计算有效。     

|μ(G)|=|π(G)|的有限群

本文讨论了一类有限群,当且仅当|μ(G)|=|π(G)|,我们称该群 G 为“*”群。我们得到了“*”群的一系列性质,并给出了在群 G 可解或超可解情形下“*”群的基本构造。     

点目标检测中候选轨迹确定算法

对低信噪比条件下缓动点目标检测技术中候选轨迹的确定算法进行了讨论。首先,给出了计数积累和线性预测的一般方法,然后,提出了一种基于计数积累,线性预测和轨迹约束的候选轨迹确定以及实现检测的算法,最后是算法性能分析。     

反潜直升机转移探测点飞行过程的模拟

模拟训练的真实性取决于数学模型对现实的仿真程度。本文介绍了一种反潜直升机在转移探测点飞行时的数学模型,经使用与海上实际情况相近。     

自组织特征映射神经网络用于非特定人语音识别

本文就Kohonen自组织特征映射神经网络模型采用其基本学习算法直接用于孤立字非特定人的语音识别时所存在的不足进行了改进。大量的实验结果表明,改进后的方法对得到良好的映射圈和提高识别率具有积极的作用。     

Hill 方程在远距离拦截中的应用

提出了一种通过坐标系移动,化原系中的大相对距离为新系中的小相对距离,以减小Ｈｉｌｌ方程在大相对距离时的模型误差的方法,即当拦截器的相对距离达到某一精度许可的值ρ＿１时（定义ρ＿１为精度控制参数,例如可取ρ＿１＝５００ｋｍ）,以拦截器位置为原点,建立一假想的动参考系,将拦截器在原动系中的相对运动参数转换为新系中的相对运动参数（显然在新系中的初始相对距离）,从而化大相对距离为小相对距离问题,提高Ｈｉｌｌ方程的描述精度。本文给出了方法的理论分析及两个计算机仿真实例,该法确可有效地减小Ｈｉｌｌ方程在大相对距离时的模型误差,结果是令人满意的。     

弧连通空间与收敛类

本文利用收敛类的理论刻划弧连空间,并得到:集合X上具有F性质的子集簇(?)确定了X的一个收敛类(?),则(?)诱导出的拓扑空间(X,(?)-(?))是弧连通的;反之,每一个弧连空间(X,(?)都可以由集合X的一个收敛类诱导出来。     

轨道动力学的发展现况

精密定轨与精密轨道预报需要精确轨道动力学方程。本文介绍轨道动力学的发展以及现代形式的归一化、无奇异轨道动力学方程组的推导。