基于能力的信息化弹药消耗预计方法

信息化弹药是现代作战中重要的精确杀伤武器,为了提高打击效率、降低费用代价,需要精确预计消耗量。针对信息化弹药毁伤概率高、受多种战场环境影响等特点,提出了基于能力的预计方法。该方法运用模糊逻辑理论对多种因素进行综合定量分析,根据弹药命中概率和目标类别获得目标-弹药匹配组合,并使用弹药费用和保障费用对匹配组合进行最低费用代价排序,通过目标价值和数量预计弹药消耗量。结合实例进行的仿真计算结果表明,该方法能有效预计信息化弹药消耗量。     

理性情绪行为疗法及其运用

理性情绪行为疗法是美国临床心理学家阿尔波特·埃里斯20世纪中期正式创立的。顾名思义，这种方法旨在通过纯理性分析和逻辑思辨的途径，改变个体的非理性观念，以帮助个体解决情绪和行为上的问题。目前该疗法已经广泛应用于临床领域与教育领域。     

军民融合背景下装备售后技术服务的逻辑决断流程

借鉴外军装备技术服务研究成果,立足我军现有保障体制,梳理了军民融合背景下装备售后技术服务的内涵,分析了装备售后技术服务模式的类型,明确了装备售后技术服务策略构成,提出了系统级和业务级装备售后技术服务逻辑决断流程,为开展军民融合条件下装备售后技术服务提供理论指导和技术支持。     

深刻认识中国特色社会主义的理论逻辑和历史必然

习主席指出：“中国特色社会主义,是科学社会主义理论逻辑和中国社会发展历史逻辑的辩证统一。”深入学习和领会习主席这一重要论述,对于我们坚定中国特色社会主义道路自信、理论自信和制度自信,增强在实现中国梦的伟大实践中牢记强军目标、献身强军实践的高度政治自觉具有重大意义。     

基于FPGA的二维DCT／IDCT高速设计与实现

二维离散余弦／反余弦变换是图像处理算法的核心。基于DSP处理器或软件实现速度较低,以及ASIC实现芯片的面积和功耗都较大,本文研究了一种基于行列分解结构的二维DCT／IDCT变换,在两级一维DCT／IDCT变换之间插入双RAM结构,通过乒乓操作保证了前后级DCT／IDCT运算的并行性,提高了运算速度。电路结构在QuartusII中进行了逻辑综合,通过Modelsim编写激励对逻辑功能进行了仿真验证,并将仿真结果与Mat—lab仿真结果进行了比较。结果表明该模块功能正确,能够为图像处理提供良好的处理性能。     

商业逻辑下的战争

有的时候,我们会意外地发现那些在我们头脑中早已成为“常识”的默认值,事实上并不是那么“天经地义”。譬如说,不知从什么时候开始,在我们的语境下,“战争”和“经济”两个词在多数人的、失脯中就被对立了起来,但凡在新闻中听到某处又要爆发战争,很多人的第一反应就是相关国家的“经济”要受到影响了。     

时态逻辑形式化描述并发系统性质

时态逻辑是一种描述反应式(并发)系统中状态迁移序列的形式化方法,用于刻画并发系统所需验证的性质,是模型检测的基础.阐述了时态逻辑CTL 及其子逻辑CTL、LTL的语法及语义,然后分析运用时态逻辑描述并发系统性质,最后给出一个应用实例.     

微电子器件方波EMP注入敏感端对的实验研究

采用方波注入法,对国外某知名公司生产的两个批次的晶体管进行了实验,比较了从CB结反向注入与从EB结反向注入的损伤电压值,发现该类器件的EMP敏感端对与人们一般研究的结论有所不同。