核心体系结构数据模型的改进方案

核心体系结构数据模型(Core Architecture Data Model简写为CADM)提供了如何组织C4ISR系统体系结构数据的概念视图,其设计思想对体系结构数据的查询效率、可重用性以及可扩展性有着非常重要的影响.概要介绍了CADM的设计思想,并针对当前CAMD模型数据重用粒度低、扩展性差等缺点,提出了开放性原则、规范性原则、兼容性原则以及重用性原则等数据模型的改进方案,最后分析了这种方案的优缺点.     

当代中国军事战略思维与和平发展道路（续）

维护和平发展要求当代中国军事变革必须坚持中国特色 这是当代中国军事战略思维据以展开的第三个基础性判断。这个思维判断包含的逻辑进程,要求回答维护和平发展与有限大幅提升军事实力的关系,提升军事实力与军事变革的关系,以及军事变革的中国特色的要点。     

“全面建成世界一流海军”的理论逻辑、历史逻辑与实践逻辑

“全面建成世界一流海军”是中国共产党在新时代的强军目标在海军建设与运用领域的生动体现和具体展开。其理论逻辑是建立强大的人民海军;历史逻辑是向海而兴、背海而衰,不能制海、必为海制;实践逻辑是坚持为战抓建高质量发展,加快推进中国式海军现代化。     

基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。     

一种多站无源联合定位系统的航迹起始方法

为了解决雷达系统面临的4大威胁,多站无源联合定位系统被广泛采用。航迹起始是多站无源联合定位系统对目标进行跟踪的首要问题。分析了多站无源联合定位系统的航迹起始问题的特点,在有源定位系统航迹起始的逻辑法基础上,利用辐射源参数构造多维相关波门进行关联判定,并采用基于最小二乘法的直线拟合方法对航迹作平滑处理,提出了一种针对多站无源联合定位系统的航迹起始方法。仿真实验结果表明了该算法的有效性。     

理想图式简论

理想图式是解决主客体矛盾的理论形式。作为观念形态的人化自然,它深刻地体现着人类解决主客体矛盾的主观能动性质。理想图式又是理性认识的最终成果,它作为理性认识高级阶段的产物,揭示着人类理性认识的实质。理想图式的形成是辩证法、认识论和逻辑学的统一。辩证法的五对范畴,可作为创造性认识的逻辑构架,以刻画理想图式形成的逻辑历程。     

试论军队政治工作"十条原则"的逻辑结构--学习新《政工条例》的一点体会

新修订的《政工条例》首次明确规定了我军政治工作必须坚持的"十条原则".本文认为军队政治工作"十条原则"的逻辑结构,是一个由相互联系、相互作用的,彼此关联、排列有序的根本原则、一般原则和具体原则构成的立体动态结构.     

跨文化交际语用的得体原则

本文通过对语用学研究中“合作原则”和“礼貌原则”的评述 ,分析并探讨了跨文化交际中出现“语用迁移”和“语用失误”现象的原因 ,并通过实例证明语用得体是跨文化交际的最高原则     

便携式逻辑分析仪硬件平台设计

针对现有逻辑分析仪制造成本高、不便携带以及应用场合受限的问题,设计了一种基于FPGA+STM32的便携式逻辑分析平台。该平台硬件成本低、易携带等指标满足大多数测试要求。其设计核心主要包括主控芯片、被测信号采样、触发控制、数据锁存、高速存储、串口通信、TFT液晶显示等电路,其功能实现主要依靠FPGA的硬件设计和STM32的软件控制。该平台最大可实现32通道、存储深度64 K、分析速率400 MSa/s的测试要求。通过该平台可以实现被测信号的采集、缓存、分析、显示等功能。     

红色短视频融入高校思政课的逻辑向度、价值意蕴与实践路径

在新媒体发展方兴未艾的时代,红色短视频日益成为高校思政课的优质教育素材。红色短视频天然具有的意识形态属性和立体化艺术呈现效果,与高校思政课的价值导向深度契合,在短视频用户人数逐年跃升的发展态势下更显示出了其内部蕴含的能够激发人们共情思维的强大影响力。把红色短视频与高校思政课堂有机结合起来,有助于提升课堂教学效果,从而全面达成培养担当民族复兴大任时代新人的根本教学目标。