基于蕴涵度和蕴涵率的蕴涵型命题真值求法

文章通过分析蕴涵型复合命题的真假涵义,并引入蕴涵度和蕴涵率两种度量,而得到了一种关于蕴涵型复合命题的真值计算新方法,即支命题之间的实际蕴涵度或蕴涵率对复合命题中描述蕴涵关系特征的语言值的符合度就是该复合命题的真值。该方法统一了确定性和不确定性蕴涵型复合命题的真值求法,填补了不确定性蕴涵型复合命题真值计算的空白,因而将在机器推理特别是不确定性推理中发挥重要作用。

基于公开目标位置数据的雷达精度测量方法

针对目前雷达精度测量中存在的问题,提出了一种采用公开目标位置数据的雷达精度测量方法,适用于对空、对海、对地、对人等多种类型雷达。介绍了公开目标位置数据的基本原理,分析了标准数据的真值区间计算方法,阐明了整体的流程和计算方法,最后证明了该方法满足雷达精度测量的实际应用要求。

《墨经》说“悖”的形式探求

本文旨在探讨《墨经》说"悖"。通过对悖论之"悖"还是"二难"之"言孛"的分析,指出"罗素悖论"等若干悖论并不是悖论。笔者把悖论命题中的变元数量作为划分悖论的标准,从《墨经》中存在的一元悖论、二元悖论拓展到多元悖论。并用命题逻辑的形式分析方法,证明《墨经》所及悖论的类别以及悖论的虚假属性,力求理性地识别悖论和揭穿悖论劣根性的本质,把悖论从似乎具有合理身份的成员中彻底清除。

机载雷达侦察系统试验数据录取及处理软件的开发与应用

对机载雷达系统的试验就是要在静态和动态试验环境下通过各种试验手段获取该设备的大量相关数据,通过对这些数据的分析整理,客观公正地评价该系统的各项性能和技术指标。开发了一套机载雷达侦察系统试验数据录取及处理软件,以完成该系统试验过程中数据的录取及处理,实现了对试验数据从人工处理到自动处理的转变。