The time complexity of syntactic consistency analyse proves to be O(n) while the semantic consistency analyse can check and evaluate most typical semantic errors.
论文提出和推导了基于形式化推理与谓词断言表达式的综合自然环境数据语法与语义一致性自动分析、检查和修复方法,可以保证综合自然环境数据的严格语法正确性和语义一致性,且语法一致性分析的时间复杂度为O(n),语义一致性分析则可以检查多种典型的语义错误。
参考来源 - 综合自然环境建模与仿真研究·2,447,543篇论文数据,部分数据来源于NoteExpress
应用推荐