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

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

一种用于创作艺术画面的梯度着色方法

本文介绍一种创作生动画面的新型着色方法。它不同于以往的单一色彩(或模式)的填充,而是以一种颜色渐变的方式进行填充。利用该算法产生的计算机艺术图片,生动而且逼真,已经应用于电脑动画的创作。文中给出了C语言实现的程序:     

方差分量的Bayes二次无偏估计及可容许估计的非负性

对于有P 个方差分量的线性模型,本文导出了方差分量线性函数的Bayes 不变二次无偏估计的显示表达式,证明了Bayes 不变二次无偏估计类形成了可容许的不变二次无偏估计的完全类。在可容许的不变二次无偏估计类中,讨论了非负参数函数的非负估计问题,给出了可容许的非负定估计存在的充要条件。     

鱼雷武器系统效能评价数学模型

如何建立鱼雷武器系统的效能(Effectiveness)评价模型,是当前研究的新课题。本文给出这个数学模型,并讨论了其工程用法。     

以可靠性为中心的维修

以可靠性为中心的维修(Reliability Centered maintenance——RCM)是美国航空界和美国防部制订装备预防维修大纲时所使用的一种维修理论,其主要目的是以最低的费用保持复杂装备的固有可靠性水平。本文跟踪RCM的发展过程,简述其基本原理和基本内容,并在综述国内外有关文献的基础上提出了笔者对RCM的认识及在军械系统应用RCM的必要性。     

利用Mathematica确定梁的挠曲线及压杆的临界力

Mathematica是主要做数学研究的计算机系统。利用该系统能进行符号运算的特点,编制了确定梁的挠曲线函数及压杆的临界力的通用程序。并给出算例。     

试析火工品产品标准的改革

分析了我国火工品产品标准的现状与弊端,通过与美军标对比和工厂在具体产品标准上改革试行情况,提出了一些建议。     

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

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

自补微带天线

本文介绍了增加微带贴片天线阻带宽的一种结构,采用ＦＤＴＤ方法分析提出的结构,实验结果与计算数据相当一致,由实验获得了宽频带覆盖的辐射方向图。     

消除地雷的威胁

消除地雷的威胁早已成为全世界关注的焦点,本文列出了十多个国家为扫除常规地雷而发展的器材,其中尤以美军正在为扫除路旁智能雷和以色列为扫除可抛撤地雷所进行的工作更为人注意。