一个多层的 context 逻辑

本文介绍了ｃｏｎｔｅｘｔ研究的现状,定义了一个新的ｃｏｎｔｅｘｔ逻辑ＣＬ,定义并证明了与之相关的一些概念和定理。     

模糊方向神经网络在火箭发动机故障检测与分离中的应用

提出了一种模糊方向神经网络分类器,并应用于液体推进剂火箭发动机故障检测与分离。模糊方向神经网络采用模糊集表示发动机故障模式,模糊集是方向超体聚集形成的集合体,方向超体则由单位方向、夹角和两个半径确定。模糊方向神经网络能在一次循环学习中形成非线性方向边界。故障检测与分离的仿真研究表明：模糊方向神经网络的识别性能是比较优越的。     

分布式 Client/Server 智能应用系统 DIAS 的设计与实现

本文针对油气田储集层保护的复杂应用需求,基于分布式Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ计算机模型,设计了相应的分布式智能应用系统ＤＩＡＳ,实现了计算资源共事和知识、数据共享。该系统已在实际应用中取得了良好的效益。     

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

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

通信系统接入的智能控制

针对通信系统在传统接入控制上的一些缺点,提出了模糊神经网络接入控制方法。首先,简单介绍了通信系统的接入控制原理,指出了传统接入控制的缺点;其次,描述了模糊神经网络模型,并在此基础上对网络进行优化;最后,同传统的接入控制方法进行比较。     

机载制导武器的武器-目标分配算法研究

机载制导武器的武器-目标分配算法是智能航空指控系统的一个基础研究问题。本文在建立了武器-目标分配的基本概念和对算法要求的基础上,提出了两种武器-目标分配算法;基于决策论的武器-目标分配算法和基于导弹截获区的武器-目标分配算法,并对基于导弹截获区的武器-目标分配算法进行了仿真实验。结果表明,此算法具有高透明性、有限消除最大威肋、杀伤概率最大、充分利用机载武器等特点。     

强流相对论电子束(REB) 电子能量径向分布的测量方法

本文介绍一种REB电子能量径向分布的测量方法。利用REB电子轰击阳极靶产生的“厚靶”韧致辐射的零角度测量,确定束电子能量的径向分布,从而判断REB的居中性和能量的均匀性。     

纯方位目标跟踪和攻击的己艇机动策略

纯方位目标跟踪效果同己艇的机动有关。本文按照极大化跟踪系统的可观测程度的准则对己艇机动进行了优化,得出了有利于跟踪的优化机动策略。在此基础上,进一步考虑了对目标进行攻击的攻击机动的要求,使得最后给出的机动模式不仅有利于快速获得目标运动参数,而且使己艇能占领到较好的攻击阵位。此外,本文推荐的机动策略都是按相给出的,因此具有很好的实用性。     

美国航空计算机的现状与未来

介绍美国F—15E、F—16C、F111等飞机上已经使用和将要使用的航空计算机的主要特点,并介绍其未来的发展概况和一种人工智能电子技术:飞行员的助手。     

威胁特征描述

本文概述了针对陆上和海上目标的飞机任务;根据武器投射廓线飞机终端操作;空地导弹的特征以及地地导弹的特征.接着介绍了可观察性、机动性和脆弱性.可观察性非常重要因为我们不能向看不到的目标射击.威胁的机动能力能降低防空功能,如跟踪、预测和导引.脆弱性是指对由炮弹、碎片和爆炸所造成的结构伤害的敏感性的量度.防空系统用于保护陆地上和海上资源免受来自空中的攻击.这些攻击涉及坦克、卡车、道路、机场、部队、工厂以及舰船上运输和装载的军械,简言之,包括任何有助于增加武装部队继续冲突能力的因素.防空威胁包括有人驾驶飞机、空地导弹和地地导弹.威胁特征描述是确定和量化任务的大致轮廓、可观察性、机动性和脆弱性的过程.防空系统分析的目的是预测系统的效能.有几种效能度量,但它们都回殊途同归,即阻止威胁完成其使命或任务.