【摘 要】
：
通过对空战决策的思维方法进行分析，根据编队协同空战的决策特点和需求，应用时态分支逻辑CTL^＊建立了协同空战指挥决策可能世界的语义。应用时态逻辑和模态逻辑建立了基于信念（Be
【机 构】
：
空军第一航空学院,西安电子科技大学,西北工业大学电子信息学院
论文部分内容阅读
通过对空战决策的思维方法进行分析，根据编队协同空战的决策特点和需求，应用时态分支逻辑CTL^＊建立了协同空战指挥决策可能世界的语义。应用时态逻辑和模态逻辑建立了基于信念（Belief）、愿望（Desire）、责任（Obligation）、战术作战意图（Tactical Intention）BDOTI结构的机载空战指挥决策的逻辑框架。并设计了一个BDOTI解释器对空战指挥决策的全过程进行描述。
其他文献
在住宅建筑施工过程中,给排水设计的好坏直接关系到能否实现节水的目标。特别是在当前水资源匮乏的新形势下,在建筑给排水设计过程中采取有效的节水设计,实现水资源的节约和
英语学科教学的深化可概括为三个阶梯:第一阶梯侧重于语言知识,英语水平的标准定义在词汇量多少;第二阶梯侧重于听说读写,将技能培养作为重点考量标准;第三阶梯将英语核心素
本文介绍了一种用于流量计量的网络监视系统,阐述了系统的硬件结构和软件组成,选用Delphi和SQLSERVER2000作为开发工具,具体描述了系统的实现过程。通过实际应用,表明系统实现了现场流量的实时采集与准确计量,网络监视及时、可靠,满足了管理层对现场数据的远程监视的目的,改进了原有的流量计量监视方式,在行业中属于新尝试。
随着我国高等教育的日益普及化与大众化,高校招生规模不断扩大。而与此同时,高校基础设施较差、教学设备不完善等短板日渐曝露。基于此背景,本文介绍了投资控制的概念,阐述了
克林霉素又名氯洁霉素，是林可霉素7位上的羟基被氯取代后所得到的衍生物，其制品有盐酸盐、棕榈酸酯盐酸盐和磷酸酯，是一个具有口服剂、注射剂、输液、外用和儿童专用口服剂的多
异常值剔除是高质量实现数据处理的基础,由于计算上的困难,实际中未得到足够的重视,数据处理缺乏合理、快捷和系统的解决方案。笔者通过对数据剔错存在问题和不确定度计算的分析,把更稳健的处理方法与虚拟仪器技术结合起来,用LabVIEW语言开发了集数据剔错与处理为一体的数据处理软件,可在虚拟仪器环境下方便、快捷地实现直接测量数据的系统处理。文章对系统构建情况作了阐述,给出了实现的方法与主要程序。
天线跟踪与卫星识别是“动中通”系统中的关键技术。首先在对各种跟踪方式比较分析的基础上，提出了一种基于惯性制导、程序跟踪和圆锥扫描跟踪的组合天线跟踪方案，缩短了系统搜
随着科学技术的发展，寿命周期费用日益受到重视，尤其是寿命周期费用中研制阶段的费用对寿命周期费用起到决定作用。利用GM（1，1）灰色理论对白行火炮寿命周期费用中的研制费用进行分
目前推进新型城镇化和新农村建设协调是我国在新形势下乡村振兴战略发展的重要决策。作为乡村全面振兴下的新农村建设,优化和改善人居环境是关键,而留守老年作为居住在新农村
当今世界电子技术和计算机技术的发展,使工厂自动化技术与装备得到迅猛的发展。中国的工厂自动化,随着社会主义市场经济体制的建立以及参与国际大循环、大市场竞争的需要,也