智能管理系统中若干问题的研究

根据智能管理系统的智能化、集成化的特点和技术要求,研究了开发智能管理系统的四个关键技术问题：广义管理模型、启发优化方法、多库协同软件及智能接口;探讨了面向问题的求解规则、分解重构的优化策略和协同工作的并行思想     

李德毅著名计算机工程和人工智能专家

软件产业,被喻为中国在新世纪实现信息化的开山之"器",作为计算机和人工智能方面的专家,您如何看待我国软件产业的发展?     

关于条件蕴涵的一个注记(英文)

非单调推理与条件蕴涵之间存在着紧密的联系 ,众多研究人员从不同角度对此进行了研究 ,其中 ,C.Boutili-er与 P.Lamarre证明了一些条件逻辑系统刻画的条件蕴涵可以作为非单调后承的对应物。本文基于 Friedman与Halpern提出的 PS(Plausibility space)概念 ,探讨了具有非单调特性的条件蕴涵的性质 ,刻画了可以充当非单调后承在对象语言层对应物的条件蕴涵的一般特征     

序言

多智能体的协同导航与控制作为人工智能及导航控制的重要分支,在当今受到广泛关注.“多智能体系统协同导航与控制技术”专栏,致力于探索自然界中生物个体间的信息交互和共享机制,发掘多智能体之间灵活有效的协同方法,解决导航、定位、环境感知等问题,以提高多智能体在复杂环境下的决策与工作能力.     

自主空战技术中的机动决策:进展与展望

自主空战（AAC）是指飞机依靠机载等相关设备，自主进行战场感知、决策及控制，以执飞空战的技术，其核心是机动决策模块。针对该模块的研究，调研了国内外的现有方法，并按照有关方法的核心内涵，将其分为基于数学求解、机器搜索、以及数据驱动3类分别简要概述；针对每一类方法列出了具有代表性的示例技术，并讨论了其优缺点。指出了自主空战决策的研究应立足现有相关方法及技术基础，同时积极吸纳机器学习、人工智能等新兴技术，合理利用各类方法的优点，取长补短，实现自主空战决策的长足发展；有关于该研究设想的关键科学问题及其潜在解决方案也在文中进行了初步讨论。希冀基于针对自主空战决策研究框架及实现方法的概念性讨论，促进其技术发展，推广相关思路在有关国家安全、国民经济建设等领域的应用，以满足国家重大需求和工程实践。     

基于Multi—Agent的空中交通流量仿真研究

针对传统空中交通流量仿真过程中灵活性和智能性的不足，将分布式人工智能Multi—Agent的理论和方法应用到空中交通流量管理领域中，提出了基于Muhi-Agent的空中交通流量仿真方法。介绍了空中流量管理的体系结构和流量管理的具体措施，详细设计了与流量仿真相关的重要Agent，包括航班Agent、航路Agent、机场终端区Agent和区域流量管理Agent等，探讨了各Agent的内部运行机制和在流量管理中的职能，构建了基于Multi．Agent的空中交通流量仿真子系统的整体框架．为实际空中交通流量管理系统的建设提供重要的指导和拳者。     

基于三维点云模型的空间目标光学图像生成技术

空间探测任务中大量先验图像数据的缺乏，使得基于光学图像的态势感知和导航算法无法被有效定量测试和评估。针对此问题，提出了一种基于三维点云模型和射影变换基本理论的空间目标光学图像生成方法。在完成对空间目标三维点云模型和仿真摄像机模型构建基础之上，利用射影变换基本理论依次计算像平面所有像素点与空间目标三维点云模型空间点的对应关系，并基于Lambertian漫反射模型和相对应空间目标三维点云模型空间点的光照方向，得到所有像素点的灰度值，从而生成给定空间目标的光学图像。大量仿真实验表明:与传统的基于解析模型的仿真图像生成方法相比，所提的空间目标光学图像生成技术能够以更快的速度生成更加真实的仿真图像，且生成的仿真图像可以广泛应用于椭圆拟合、陨石坑检测、着陆器视觉导航、航天器交会对接、空间目标跟踪等典型空间应用算法的定性与定量评估。      

认知科学与计算机

该文主要介绍认知科学的形成及其发展过程,探讨认知科学研究的对象和内容。认知科学把自然系统(人)和人工系统(计算机)作为符号操作处理。