爆炸逻辑间隙零门实验研究

为了可靠实现爆炸逻辑间隙零门的原理功能,提出并验证了一种基于精细RDX和含能胶合剂的传爆药方案.通过实验探索了基于该传爆药的爆炸零门适用的间隙宽度范围,并设计了一种小尺寸爆炸逻辑间隙零门,为爆炸逻辑网络设计提供参考.     

基于直觉模糊时间Petri网的不确定性时间推理方法

针对Petri网模型在对复杂不确定性时间信息描述和推理方面的局限性,在定义直觉模糊时间函数以及网络变迁约减规则的基础上,融合直觉模糊时序逻辑(IFTL)、直觉模糊Petri网(IFPN)以及线性逻辑推理的理论优势,构建了直觉模糊时间Petri网(IFTPN)推理模型,并提出了基于IFTPN的不确定性时间推理算法,较好地解决了态势评估中冲突事件间的不确定性时间推理问题。最后,通过典型的战场想定验证了该时间推理方法的有效性和优越性。     

天波超视距雷达作战效能评估研究

为了充分考虑天波超视距雷达作战效能指标体系中各层次指标之间的聚合关系,更加贴切反映装备的真实效能,将"逻辑门"的思想应用到天波超视距雷达作战效能指标的聚合中,构建了基于"逻辑门"的天波超视距雷达作战效能评估指标层次体系,解决了指标聚合方式单一化的问题,实例表明该作战效能计算模型的正确性.     

基于本体的一体化辅助决策平台模型检索模式

随着决策模型种类和复杂度的不断增加,模型的描述和检索成为一体化辅助决策的重要问题。基于目录分类、关键字等的模型描述方法缺乏语义信息,因此无法较好地满足用户的检索请求。利用描述逻辑对模型进行形式化说明,在此基础上研究平台模型的检索方法,提出模型语义层的检索模式,并且对检索模式的有效性和应用性进行了分析。     

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

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

基于本体的CADM建模方法研究

体系结构核心数据模型(CADM)作为体系结构建设的通用参考资源之一,对C4ISR系统的顶层设计具有重要意义.通过深入分析CADM的开发要求及其特性,提出了一种基于本体的建模方法.该方法的主要特点是:通过在领域原始信息与最终实体联系模型之间建立本体模型,作为自然语言描述信息与逻辑数据模型之间的过渡,实现前者到后者的合理转换.该方法在逻辑数据模型设计及C4ISR系统数据工程两方面均有所突破.     

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

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

领导干部要自觉养成运用法治思维抓建设的习惯

法治思维是领导者在法治理念的基础上,运用法律规范、法律原则、法律精神和法律逻辑对所遇到或所要处理的问题进行分析、综合、判断、推理、形成结论或决定的思想认识活动与过程。它是一种以法为价值追求、以法为行为规范、以法为治理根本的思维模式,是自觉、主动和善于运用法治手段的前提。法治思维的养成不仅有赖于有法可依,更多地取决于法治理念、法治精神和法治环境的培育。部队领导干部只有牢固确立法治意识,自觉弘扬法治精神,把运用法治思维和法治方法抓建设作为一种自觉、一种修养、一种习惯、一种坚守,才能更好地促进依法治军、从严治军要求的落实。     

为民:党的建设科学化的实践逻辑起点

一个政党只有按照政党发展规律加强建设,才能实现自身奋斗目标。中国共产党顺应时代要求,坚持执政为民,在政治生活中按照执政党建设的规律逻辑推进党的各项工作,实现党的建设科学化,增强党在新的历史条件下的创造力凝聚力战斗力。     

一种新的数组逻辑结构猜想方法

许多编译优化技术都依赖于数组的逻辑结构,然而在实际的应用中,有相当多的数组是无结构的一维数组,从而妨碍了编译器的优化工作。提出了一种新的数组逻辑结构猜想算法,它能将无结构的一维数组自动变换成具有多维逻辑结构的数组,从而使编译器的优化工作成为可能。首先给出一个引理,指出猜想后的多维数组应满足的基本性质,然后基于该引理给出了猜想数组的逻辑结构应遵循的两条基本规则,最后基于这两条基本规则给出了猜想数组逻辑结构的算法。实验结果验证了所提出的数组逻辑结构猜想算法的有效性。