人工智能与空气动力学结合的初步思考

以人工智能为核心的新一轮技术革命及产业变革正在影响着社会的各个领域,世界各航空航天大国均在人工智能与空气动力学的结合方面开展了许多有益的尝试与探索。本文回顾了人工智能技术的发展历程及现状,重点讨论了大数据时代背景下人工智能在风洞试验、数值计算和飞行试验等空气动力学研究的三大手段上的应用,详细分析了人工智能在辅助海量气动数据分析与知识发现上发挥的作用,探讨了人工智能在气动建模与先进飞行器设计中蕴藏的应用价值,并指出了人工智能与空气动力学相结合所带来的挑战。     

计测组合态的智能问题

人工智能在计测领域里的应用日益深入和扩大。计测系统常由多个自变因素组合而成，因此，组合态的智能控制是一个很有意义的问题。     

一种模糊推理模型在医学专家系统中的应用

本文介绍一种模糊推理模型DFRM(The Double Weight Number Fuzzy Reasoning Model),它已应用到儿童消化道疾病专家系统中,获得了满意的结果。并对该模型作了评价。     

非单调推理的研究与发展

分析了非单调推理产生的原因以及非单调推理与传统逻辑间的关系，讨论了其典型的两种研究方法及存在的问题，最后指出了非单调推理的发展前景。     

计算机视觉与神经网络

人类视觉的研究成果启发了人们对计算机视觉的改进,神经网络技术的发展为机器人视觉建立了实用的基础,使机器人具有相当强的视觉能力。研究一个实用结构,实现视觉神经网的不变性和联系性。     

可视化智能融合导航系统研究

以提高导航系统的精度、可靠性、智能化和可视化程度为目标，利用智能工程的思想与方法将信息融合、人工智能和可视化技术综合应用于多传感器组合导航系统中，提出了面向２１世纪控制与导航技术的新一代导航系统概念——可视化智能融合导航系统，并对其功能、组成及关键技术进行了研究。     

中介模态逻辑MS4的表推演系统

中介逻辑是一个新的逻辑系统，该系统的创立有明显的哲学背景，自创立后得到了很大的发展。在数理逻辑以及计算机科学领域已发展了中介模态逻辑以及ＭＩＬＬ等中介程序计设 语言，但对作为程序计设语言之逻辑基础之一的中介模态逻辑的自动推理理论与实现的研究还很不够。本文系统地讨论中介模态逻辑ＭＳ４的自动定理证明理论，构造了中介模态逻辑ＭＳ４的表推演系统，由于该系统采用“与或树”的表达方法，因而不产生“遗忘问题”；     

用PROLOG实现数据库智能检索系统DBINRES

本系统将人工智能技术与数据库技术结合起来,建立逆向演绎的推理机构,实现数据库智能检索。采用“分类树”技术组织数据库;应用最小平方估计法建立有效的启发式评价函数,在此基础上变传统的深度优先搜索为启发式图搜索,从而有效地提高了系统的效率。由于采用MICRO-PROLOG语言编制,本系统具有较强的逻辑推理与检索能力。