МОВА ОПИСУ ТВЕРДОТІЛЬНИХ ГЕОМЕТРИЧНИХ МОДЕЛЕЙ FORTU-F
Ключові слова:
математична модель, геометричний об’єкт, мова специфікацій, автоматизація, інтелектуальне програмне забезпечення, FORTU-F
Анотація
Запропоновано проблемно-орієнтовану мову специфікацій (формального опису моделей) FORTU-F, яка дозволяє повністю, несуперечливо і однозначно описувати математичні моделі дво- і тривимірних геометричних областей довільної форми. Для автоматизації використання запропонованої мови реалізоване інтелектуальне програмне забезпечення QNG для аналітичного конструювання геометричних моделей інженерних конструкцій. Наведені приклади опису з її допомогою реальних геометричних об’єктів.
Посилання
1. Bjørner D. Logics of Specification Languages / D. Bjørner, M. C. Henson. – Springer, 2007. – 646 p.
2. Голованов Н. Н. Геометрическое моделирование / Н. Н. Голованов. – М. : Издательство Физико-математической литературы, 2002, – 472 с.
3. Гоменюк С. И. Объектно-ориентированные модели и методы анализа механических процессов / С. И. Гоменюк. – Запорожье : Запорож. гос. ун-т., 2004. – 311 c.
4. Фомичёв В. С. Формальные языки, грамматики и автоматы [Електронний ресурс]. – Режим доступу : http://old.eltech.ru/misc/LGA_2007_FINAL/Allpage/content.htm.
5. Толок В. А. Метод конечных элементов: теория, алгоритмы, реализация / В. А. Толок, В. В. Киричевский, С. И. Гоменюк [и др.]. – К. : Наукова думка, 2003. – 316 с.
6. Гросс М. Теория формальных грамматик / М. Гросс, А. Лантен. – М. : Мир, 1971. – 296 с.
7. Backus J. W. The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM Conference / J. W. Backus. – Proc. International Conf. On Information Processing, UNESCO, 1959. – P. 125-132.
8. Feynman R. EBNF: A Notation to Describe Syntax / R. Feynman [Електронний ресурс]. – Режим доступу : http://www.ics.uci.edu/~pattis/misc/ebnf2.pdf.
9. Qt | Cross-platform software development for embedded & desktop [Електронний ресурс]. – Режим доступу : http://www.qt.io/.
2. Голованов Н. Н. Геометрическое моделирование / Н. Н. Голованов. – М. : Издательство Физико-математической литературы, 2002, – 472 с.
3. Гоменюк С. И. Объектно-ориентированные модели и методы анализа механических процессов / С. И. Гоменюк. – Запорожье : Запорож. гос. ун-т., 2004. – 311 c.
4. Фомичёв В. С. Формальные языки, грамматики и автоматы [Електронний ресурс]. – Режим доступу : http://old.eltech.ru/misc/LGA_2007_FINAL/Allpage/content.htm.
5. Толок В. А. Метод конечных элементов: теория, алгоритмы, реализация / В. А. Толок, В. В. Киричевский, С. И. Гоменюк [и др.]. – К. : Наукова думка, 2003. – 316 с.
6. Гросс М. Теория формальных грамматик / М. Гросс, А. Лантен. – М. : Мир, 1971. – 296 с.
7. Backus J. W. The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM Conference / J. W. Backus. – Proc. International Conf. On Information Processing, UNESCO, 1959. – P. 125-132.
8. Feynman R. EBNF: A Notation to Describe Syntax / R. Feynman [Електронний ресурс]. – Режим доступу : http://www.ics.uci.edu/~pattis/misc/ebnf2.pdf.
9. Qt | Cross-platform software development for embedded & desktop [Електронний ресурс]. – Режим доступу : http://www.qt.io/.
Опубліковано
2016-12-20
Як цитувати
Аль-Омарі, М. А. В. (2016). МОВА ОПИСУ ТВЕРДОТІЛЬНИХ ГЕОМЕТРИЧНИХ МОДЕЛЕЙ FORTU-F. Computer Science and Applied Mathematics, (2), 15-25. вилучено із https://journalsofznu.zp.ua/index.php/comp-science/article/view/1369
Розділ
Articles
ISSN 
