人工智能应用中基于区间代数的时态推理

时态表示和推理是人工智能领域的重要研究内容之一,它的应用范围分布很广,从逻辑基础研究到知识系统的应用。区间代数是一种独立的与领域无关的时态理论。用区间代数能表示不确定的时态关系,可以很方便的用于时态推理,表达能力强;时态关系的区间表示比较直观,可理解性强;同时区间代数可以进一步扩展到二维空间领域,即将区间代数拓展为矩阵代数,实现二维空间推理。在一维时态推理中,将时态的区间表示和矩阵表示相结合,在提高计算效率的同时,保持了形象直观的时态表示。     

机车蓄电池在线监测与地面分析系统

针对目前机车蓄电池监测自动化程度低及设计复杂的现状,设计了机车蓄电池在线监测与地面分析系统。系统由车载主机和蓄电池信息采集装置(LEM蓄电池传感器)以及地面分析系统组成,实现对各单体蓄电池的电压、阻抗和温度的在线检测。地面数据分析系统通过采集的数据对机车蓄电池状态进行分析和预测,提供蓄电池不良状态预警信息,为机车蓄电池维修和更换提供指导。