知识库调试工具的技术原理与设计思想

知识库调试工具旨在解决因知识不完全和噪音等因素而引起的知识库正确性与有效性问题。本文通过知识库建造工具GKD-KBST 中知识库调试工具KBDT 实现方案的讨论,论述知识库调试工具的技术原理与设计思想。     

对发展我国水面舰艇指控系统的若干意见

本文从舰艇指控系统的研究设计方法发展、特点等方面阐述了如何发展我国水面舰艇指控系统的若干意见。     

线性测量海上机动目标状态估值器

本文导出了在惯性坐标系内利用线性测量卡尔曼滤波器(LMKF)来估值海上机动目标的状态估值器。LMKF 可以用于非线性测量条件下的目标状态估值。同时,LMKF 的公式比延伸的卡尔曼滤波器(EKF)要容易推导得多。在飞机坐标系里用蒙特卡罗方法进行了大量的数学模拟。模拟结果表明,两种滤波器的估值误差相同,但是LMKF 只需要比较少的计算量。应用线性测量的方法,导出了在飞机地理水平面坐标系内的LMKF。该滤波器有较高的溶液精度和较少的计算量。     

多鱼雷攻击多目标的可攻性判据及占位参数优化

本文建立了一套系统解决单艇用多鱼雷攻击多目标的可攻击判据和求解对应优化占位参数的方法。本文的研究中采用了独特的分析坐标系,这样在解决和建立可攻击判据的问题上,不仅避免了繁杂的数值计算,还给出了完备的解析解形式及系统化的概念。所得结论对发展现代潜艇鱼雷攻击战术和实现作战决策科学化具有一定的学术价值和实用意义。     

惯性调速器的新作图法

本文针对现有惯性调速器作图法的缺点,给出了一种比较简单、直观且具有明显物理意义的作图方法.此法具有自检作图精确性的特点.     

一个实用的高速串行数据传输系统

本文根据雷达性能综合自动检测系统的要求,设计了一套实用的串行数据传输系统,其最大传输速率为1.5×10~5bit/s ,此系统可作为一个通用的串行数据传输系统,应用于传输速率≤1.5×10~5bit/s范围内的其它系统。     

块对角主元法的并行计算

本文给出块对角主元法的并行计算,证明了用这种方法分解矩阵是稳定的。同时编制了向量FORTRAN程序,在向量机上进行了数值试验。计算结果表明:当n>100时,向量计算比标量计算快10倍以上。     

基于军民融合的军事信息资源效能转化

军事信息资源效能转化的强弱,事关军队信息化建设和军队战斗力生成,需要引起高度重视。本文阐述军民融合对军事信息效能转化工作的巨大推动力,并通过分析当前制约军民融合军事信息资源效能转化的内因和外因,提出完善军民融合军事信息资源效能转化工作的措施建议。     

采用随机几何工具的终端直通通信接入控制方法

针对现有具备终端直通（Device-to-Device, D2D）功能的蜂窝网络的干扰管理问题，提出一种新型的采用随机几何工具的D2D通信接入控制方法。利用随机过程理论以及随机几何工具建立模型分析邻近基站和D2D通信对蜂窝通信的影响，并推导蜂窝业务接入失败概率表达式。基于该表达式能够计算网络允许的最大D2D用户密度，辅助D2D通信接入控制实现干扰管理。仿真证明基于所提数值计算方法获得的估计结果与蒙特卡洛仿真结果相符，且通过合理限制D2D用户密度和D2D用户发射功率可满足指定的蜂窝业务接入失败概率要求。