DocumentCode
2086355
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
fYear
2001
fDate
12-17 Feb. 2001
Firstpage
289
Lastpage
290
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/CADSM.2001.975843
Filename
975843
Link To Document