物联网系统时间自动机建模的研究与应用

探讨基于时间自动机理论进行物联网系统建模和模型检测的理论、方法、工具和实践.对时间自动机的基础理论进行比较全面和精确的论述,完善部分概念及其精确的形式化定义.提出基于时间自动机理论进行建模的方法,并指出时间自动机理论研究对物联网系统建模的指导意义.介绍时间自动机的建模工具UPPAAL,说明基于UPPAAL建立时间自动机...     

自定义SWRL知识图谱推理补全插件的实现

知识图谱是人工智能应用的基石,基于规则进行推理是知识图谱知识补全的重要方式。SWRL推理插件的局限性成为了知识推理补全的瓶颈。打破了SWRL有限的推理能力,论述了在SWRL规则中编写自定义知识推理插件,并在知识图谱建模和推理工具中实现对自定义插件推理支持的方法。介绍了知识图谱知识建模和推理的方法与工具,结合一个具体的知识补全需求建模了包含自定义知识推理插件的SWRL推理规则;在Pellet推理机中实现和注入了此自定义推理插件的推理支持源码,并通过与Protégé知识建模工具进行集成从而完成知识补全需求;应用包含自定义插件的SWRL推理规则完成了老人健康小屋物联网系统资源组成和资源故障诊断的知识补全。以此论述了使用SWRL自定义知识推理插件进行知识图谱知识补全的方法和实践。