蒲丰针问题悖论

向一族平行线投针,求针与平行线相交的概率,是人所共知的蒲丰针问题。蒲丰给出了这一问题的解法和答案。用两种不同的解法对蒲丰针问题进行研究,得到两种完全不同的但却具有内在一致性的答案。     

广义抽象协调类和广义合一原理

协调性是数理逻辑中最基本的语法概念之一。Ｓｍｕｌｙａｎ提出了抽象协调类概念，并证明了相应的Ｓｍｕｌｙａｎ合一原理。通过考察协调合式公式集类所具有的种种性质，本文将抽象协调类概念推广至最一般的形式——广义抽象协调类，并证明了相应的广义合一原理。这一结果可以用于证明一阶逻辑形式系统和我们所提出的广义反驳方法的完备性。     

中型坦克对斜方向运动目标射击的误差分析

本文通过装有××型简易火控系统的中型坦克,利用短停射击的方法,对斜方向(航路为45°)运动目标射击进行了误差分析和命中概率的计算,从射击的角度说明了新装备火力性能的先进性,进而提出在新的军事战略方针和新装备条件下,发展射击教范和改进训练方法的几点看法.     

射击门与命中概率分析

详细讨论了火控系统设置射击门前后的命中概率,针对不同的距离区间,给出了在射击门下命中概率的计算公式。     

使用IMM/JPDA和固定延迟平滑滤波方法进行杂波环境下多机动目标跟踪

本文考虑用转换多目标运动模型对杂波环境下多机动目标进行跟踪。在马尔科夫转换系统中,次最优算法采用基本的交互多模型(IMM)逼近和联合概率数据互联(JPDA)技术。本文在IMM和JPDA的基础上发展出次最优固定延迟平滑算法应用于增广状态系统,并通过对两个高机动目标的跟踪举例说明了这种算法的有效性。     

基于 AR 模型和SPRT 检验法的过程状态监测

本文利用自适应卡尔曼滤波器原理建立机械系统过程监测模型—AR模型,并根据AR模型系数的变化可以表征系统过程状态这一特点,通过序贯概率比(SPRT)这一假设检验法,对机械系统的运行状况进行判别。实验表明,该方法行之有效,最后,本文给出了实验结果。