相关逻辑L5系统的Curry性质

本文改进了Thistlewaite, MoRobbie和Meyer的结果,证明了在命题相关逻辑LR的Gentzen型形式系统L₅中,若多重集α是L₅-可证的,则存在α的L₅-证明τ具有Curry性质,从而简化了L₅可判定性的证明。并指出:在具体的机器实现中使用Curry性质,提高了L₅证明搜索的LR的自动定理证明的剪枝效率。     

模糊逻辑中的一些问题研究

本文讨论了模糊逻辑中存在的一些问题。特别地，对与、或、非和蕴含作了更深入的讨论。     

基于虚拟仪器的装备ATS系统硬件平台设计与实现

在对现有维修检测设备存在不足分析的基础上,结合武器装备的维修技术保障需求,利用分块设计思想,采用虚拟仪器、人工智能、计算机通讯与控制等技术,搭建了基于虚拟仪器的装备自动测试系统硬件平台整体架构,在对系统各功能模块原理进行分析之后,对系统主控电路、电磁兼容性进行了设计。采用虚拟仪器的装备自动测试系统硬件平台,具有智能化、通用化、可视化的特点,通过试验结果分析,测试系统硬件平台能够实现装备的性能检测和故障诊断,测试数据符合任务要求,能满足各级修理机构维修测试需求。     

人工智能化学：变革研究范式,加速物质发现

化学科学领域的复杂性和海量数据为人工智能应用提供了契机。人工智能、机器学习、深度学习从海量数据中识别新的化合物,建立新的模型,提出新的理论,正在改变化学物质的发现、转化和功能研究范式,促进重大问题的解决。本文综述了近年来国际上人工智能在化学研究中的重要进展,分析了人工智能化学的主要发展态势。人工智能通过助力化学海量数据挖掘、实现化学实验室智能化和自动化、增强计算化学解决实际问题的能力,推动化学跨越式发展。     

直线加速器超导段故障补偿的人工智能算法研究

强流直线加速器的长时间稳定运行是该领域的难点和前沿课题之一。以加速器驱动嬗变研究装置(CiADS)的加速器为例,利用TraceWin软件模拟的虚拟加速器数据,提出了基于人工智能算法的超导腔失效的分段故障补偿方法。当有腔体故障时,故障腔的相邻器件将用于重新匹配束流包络,而所有下游腔均可用于补偿束流能量。与传统的优化方法相比,该方法可实现低能耗的超导腔段的故障补偿,具有计算速度快、普适性强等优点,为实际应用器件故障补偿提供了新的可行性。     

有机光电突触器件的研究与进展

大脑对视觉信息学习和记忆等功能的实现是通过视觉神经元调控突触权重进行的,对光响应的突触器件是实现低能耗人工视觉系统和神经形态计算的关键.因此,近年来有机光电突触器件引起了学术界的广泛关注.本文指出有机光电突触器件结合了有机光电探测器和有机忆阻器2个基本光电子器件功能,实现对光信息的传感和记忆,介绍了光电突触器件的基本性...     

动载荷的识别方法

大多数情况下, 作用在工程结构上的动载荷, 如高性能战斗机在大攻角机动飞行时作用在垂尾结构上的抖振载荷, 是无法直接测量的, 只能通过测试结构在动载荷作用下的动态响应来识别出结构的动载荷. 首先阐述了动载荷识别的基本原理, 然后根据结构模型的特点, 将动载荷识别方法分为确定性结构的动载荷识别方法和不确定性结构的动载荷识别两大类, 对近些年国内外学者在这两方面的研究进展进行述评, 最后针对目前动载荷识别方法研究中所存在的问题, 提出有待深入探讨的课题.