海战场的规划识别研究

规划识别可分为锁眼型(keyhole)和意图型(intention),又可划分为个体的和群体的两种类型,对于敌舰艇编队的规划识别则属于意图型的和群体类型的.舰船及其编队指控系统在战场指挥决策过程中,根据多传感器信息融合系统提供的实时数据与信息进行态势评估,除了敌我识别、目标身份识别、威胁估计外,还涉及对敌舰及其编队的意图型、群体型的规划识别问题.初步探讨舰艇编队(即多自主体系统Multi-Agent System,MAS)规划识别特点、MAS规划识别规划结构框架和基于时态描述逻辑的动作推理的若干问题.     

线导+尾流自导鱼雷弹道建模与仿真

设计了弹道仿真系统的总体结构,分析了线导 尾流自导鱼雷制导机理和弹道特性,开发了线导 尾流自导模型库.该模型库封装了鱼雷在线导段、搜索段、尾流导引段等不同阶段的典型导引算法和控制方程,在此基础上实现了对线导 尾流自导鱼雷攻击水面目标全弹道的仿真应用.系统人机界面友好,仿真模型具有可扩充性,能为线导 尾流自导鱼雷的导引算法和自导逻辑的设计与验证提供参考依据,具有实际应用价值.     

采用PLD技术加快数字电路的设计速度

以Ａｌｔｅｒａ公司的ＰＬＤ系列器件为例,介绍了有关ＦＰＧＡ和ＣＰＬＤ可编程逻辑器件的基本特点和应用。同时结合ＭＡＸ＋ＰＬＵＳＩＩ开发系统,介绍了开发ＰＬＤ器件的一般过程,指出采用ＰＬＤ器件可以提高数字电路设计的速度和质量,是ＥＤＡ技术发展的必然趋势。     

基于灰色关联度和模糊贴近度的复杂设备瞬态虚警辨识

分析了电子设备和武器装备的ＢＩＴ系统虚警形式之一——瞬态虚警的产生原因和一般的预防措施；提出运用灰色关联度和模糊贴近度对瞬态虚警进行辨识并给出了这两种方法的基本原理；分别采用数值模拟和物理模拟的手段，获得了具有温度、湿度、振动（电源）三环境参数系统的状态变化样本群，以及因振动（电源）参数突变而产生的瞬态虚警样本；运用灰色关联度和模糊贴近度方法识别虚警及产生虚警的环境因素，结果表明两种方法可以胜任要求。     

PTL 证明器的实现技术

基于文［１０］中的理论,我们用Ｔｕｒｂｏ─ｐｒｏｌｏｇ编程,在３８６微机上成功地实现了命题时态逻辑定理的证明器。该证明器在处理ｎｅｘｔ幂次、归纳、归结、◇（ｘ∧ｙ）、ｕｎｔｉｌ　等方面,均有独到之处。这些方面,克服了以往工作的不足。证明器界面友好、速度快、能力强。     

《矛盾》不能作为自相矛盾的典范--兼从语用逻辑视角看《矛盾》

普通逻辑对韩非寓言《矛盾》的解析是含混的、模糊的 ,是违反逻辑的 ;韩非寓言《矛盾》并不能作为自相矛盾的典范。按照语用逻辑的有关规则和语言交际的背景约定等进行分析 ,《矛盾》并不矛盾。对《矛盾》进行严格解析 ,其意义超过了对《矛盾》本身的理解 ,因为这种解析有利于人们的逻辑精神和科学思维方式的培养。     

小型无人机控制逻辑建模及仿真

无人机的飞行轨迹具有明显的分段特性,且在各飞行段内其飞行状态和控制方式有明显的区别。针对这一特点,可以通过建立飞行全过程的控制逻辑模型实现对无人机的监控任务。Stateflow是一个基于有限状态机理论的图形化离散事件仿真环境,可以用于控制逻辑建模。利用Stateflow建立了某小型无人机飞行全过程的控制逻辑模型,为无人机的控制逻辑建模提供了新的设计方法。通过对所研究的小型无人机非线性系统模型进行仿真,验证了所建立的控制逻辑模型的正确性。     

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

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

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

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

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

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