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

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

人工智能在大学英语教学中的应用策略

人工智能是时代发展的风向标,是21世纪各行业发展的助推器。大学英语教育与人工智能的深度融合将助力大学英语教学的发展与变革,提升教师教学管理水平和学生学习的积极性。文章着眼于剖析传统大学英语教学困境,结合当前人工智能技术与教育教学的融合,探讨人工智能对大学英语教育的影响与应用对策。     

计测组合态的智能问题

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

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

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

非单调推理的研究与发展

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

计算机视觉与神经网络

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

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

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

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

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