同态原则在定性推理中的应用

本文根据抽象代数的原理，提出良好的定性推理系统应遵循“同态原则”一然后根据该原则对现行的两种定性推理理论进行分析，结果表明:deKleer时‘基手组件”的定性推理系统与其所对应的定量分析系统不是同态的;'Kuipers的“基于约缈m的定性摧理索统与其成对应的定量分析系统是聆向态的.’s后本文还给出二个如何判断定性推理系统、与“实数集3}'是否存在同态映射的充分条件.     

相关逻辑L5系统的Curry性质

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

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

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

腾空运动:从猫空中转体谈起--物理与体育系列专题之八

从高处下落的猫总是四肢先着地的现象很早就引起注意．1894年法国科学院的Marey用当时的摄影技术记录猫的下落过程，发现猫能在1／8秒钟内从四足朝天姿势自动翻转过来．这一事实使物理学家陷入困惑．根据牛顿力学的动量矩守恒原理，腾空的猫处于无力矩状态，在下落过程中应维持初始状态的零动量矩不变，不可能产生实现180度翻转所需要的动量矩增量．1894年法国科学院另一位物理学家Guyou对此提出一种解释．他认为猫分两阶殷实现前后半身的转体，     

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

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

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

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

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

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