An investigation of mathematical models for systems of projecting works automation

摘要

Considers the trustworthiness investigation problem for mathematical models of the structure of linguistic, information, and algorithmic supply of projecting works automation systems. Ascertainments of mathematical models trustworthiness before their practical realization, and approval of models guarantees recognition and correction of syntactic, semantic, and algorithmical mistakes.