论文部分内容阅读
统一的抽象建模框架以及形式化表示可以帮助实现自动推理．随着物联网技术的发展，物理世界中嵌入了各种智能对象，改变了物理世界的部分特征，增加了建模和推理的复杂性．根据物联网带来的智能世界的特征，在知识重构与抽象模型（KRA模型）的统一建模框架基础上，提出了可区分的知识重构与抽象模型（dKRA模型）．该模型通过3个相互关联的子模型及其之间的关系来表示智能世界，并给出相关定义和定理说明在所提出的模型框架内，可以将基于模型的诊断过程限制在一个（或多个）子模型中．研究内容侧重于系统设计阶段的模型验证，分别从理论和实验