Title :
An investigation of mathematical models for systems of projecting works automation
Author :
Dragon, Ya. ; Ovsyak, V. ; Siroja, I.
Author_Institution :
Phys. & Mech. Inst., Nat. Acad. Sci, Lviv, Ukraine
Abstract :
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.
Keywords :
algorithm theory; data structures; graphical user interfaces; industrial control; SPWA; algorithmical mistakes; mathematical models; semantic mistakes; syntactic mistakes; systems of projecting works automation; trustworthiness investigation problem; Algebra; Automation; Data structures; Graphics; Instruments; Mathematical model; Mice; Network address translation; Physics; User interfaces;
Conference_Titel :
CAD Systems in Microelectronics, 2001. CADSM 2001. Proceedings of the 6th International Conference. The Experience of Designing and Application of
Conference_Location :
Lviv-Slavsko, Ukraine
Print_ISBN :
966-553-079-8
DOI :
10.1109/CADSM.2001.975843
