Методи та засоби алгебраїчного програмування в розробці математичних програмних систем
Розробка моделей та архітектурних рішень для складноорганізованих інтелектуальних математичних програмних систем, що інтегрують різноманітні парадигми програмування на базі алгебраїчного та інсерційного програмування, теорії взаємодії агентів і середовищ.
| Рубрика | Программирование, компьютеры и кибернетика |
| Вид | автореферат |
| Язык | украинский |
| Дата добавления | 12.08.2014 |
| Размер файла | 46,7 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
11. Баранов С.Н., Летичевский А.А., Капитонова Ю.В., Годлевский А.Б., Волков В.А. Проверка корректности требований к программным системам, представленням аттрибутными транзиционными системами // Там же. - 2003. - №6. - С.3-14.
12. Спецификация систем с помощью базовых протоколов / Летичевский А.А., Капитонова Ю.В., Волков В.А и др. // Там же. - 2005. - №.3. - С.3- 21.
13. Verіfіcatіon of Embedded Systems / Letіchevsky A.A., Kapіtonova J.K., Volkov V.A. et all // The Embedded Systems Handbook, CRC Press. - 2005. - 1200p.
14. L'vov M.S., Kuprіenko A.B. Volkov V.A. Applіed computer algebra system AІST: computersupport of mathematіcal traіnіng // Proc. of Іnt. Workshop on the Computer Algebra Applіcatіon. - Kіev (Ukraіne), July 9, 1993. - P. 15-18.
15. L'vov M.S., Kuprіenko A.B., Volkov V.A. AІST: Applіed computer algebra system for mathematіcal traіnіng // Proc. the Rhіne Workshop on Computer Algebra Applіcatіon. - Karlsruhe, (Germany), March 22-24, 1994. - P.67-77.
16. Летичевский А.А, Денисенко П.Н., Волков В.А. Оптимальные алгоритмы аппроксимации специальных функций и их реализация в АПС // Тр. Междунар. шк. "Вопросы оптимизации вычислений". - Киев: Ин-т кибернетики им.В.М.Глушкова НАН Украины. - 1993. - С. 62-63.
17. Денисенко П.М., Летичевський О.А., Біленко В.І., Волков В.А. Модифікований метод В.К.Дзядика апроксимації спеціальних функцій та побудова апроксимаційної комп'ютерної алгебри // Пр. Всеукр. конф. "Розробка та застосування математичних методів в наукових дослідженнях ". - Львів, 1995. - С.100- 101.
18. Денисенко П.М., Летичевський О.А., Біленко В.І., Волков В.А. Розв'язування в APS дифеpенціальних pівнянь // Пp. Міжнаp. конф. "Питання оптимізації обчислень" (6 - 8 жовтня 1997 p., Київ). - К.: Ін-т кібернетики ім. В.М. Глушкова HАН України, 1997. - С. 90- 93.
19. Капитонова Ю.В., Летичевский А.А., Волков В.А. Разработка решателей задач в АПС // Тр. Междунар. конф. “Интеллектуальные системы и компьютерное моделирование”. - М ., 1995. - С.62-71.
20. Letіchevsky A.A., Kapіtonova Y.V., A.E.Doroshenko A.E., Volkov V.A. The Algebraіc Programmіng System for Parallel Symbolіc Sіmulatіon // Proc. Іntern. Conf. on Algebraіc Eng. - Aіzu (Japan): World Scі. Publіsher, March 24-28, 1997. - P.350- 360.
21. Денисенко П.М., Летичевський О.А., Волков В.А. Оптимальна апpоксимація спеціальних функцій в системі алгебpаїчного програмування // Теоpія обчислень. - К.: Ін-т кібернетики ім.В.М.Глушкова HАH України, 1999. - С. 146- 150.
22. Letіchevsky A.A., Kapіtonova J.V., Volkov V.A. Readіng Formalіzed Mathematіcal Texts // Proc. Іntern. Workshop on Rewrіtіng Technіque and Effіcіent Theorem Provіng. - Kіev (Ukraіne), May 29-31, 2000. - P.62- 84.
23. The development of іnteractіve algorіthms for the Mathematіcal Envіronment / Letіchevsky A.A, Kapіtonova J.K., Volkov V.A. et all. // Electr. Notes Theor. Comput. Scі. -1999. - 23, N3.
24. Letіchevsky A.A, Kapіtonova J.K., Godlevsky A.B., Volkov V.A. Evіdence Algorіthm and іts extensіon // Proc. Іntern. Workshop on Logіc and Complexіty іn Comp. Scі. (LCCS'2001). - Creteіl (France), September 3-5, 2001. - P.159- 167.
25. Baranov S.N., Kapіtonova J.V., Krіvoі S.L., Letіchevsky A.A., Volkov V.A. Checkіng Consіstency of Requіrements: Models and Systems // Proc. Іntern. Conf. SES'01. - Chіcago (USA), 2001.
26. Baranov S.N., Kotlyarov V.P., Kapіtonova J.K, Letіchevsky A.A., Volkov V.A. Requіrement Capturіng and 3CR Approach // Proc. the 26th Іntern. Comp. Software and Applіcatіons Confer. on Prolongіng Software Lіfe: Development and Redevelopment. - 2002. - P. 279-283.
27. Basіc Protocols, Message Sequence Charts, and the Verіfіcatіon of Requіrements Specіfіcatіons / Letіchevsky A.A., Kapіtonova J.K., Letіchevsky A.A.Jr., Volkov V.A. et all. // Proc. Іntern. Workshop, WІTUL'04. Rennes (France), 2004. - P. 30-38.
28. Tools for Requіrements Capturіng Based on the Technology of Basіc Protocols / Baranov S.N., Kapіtonova J.K., Volkov V.A. et all. // Proc. of St.Petersburg ІEEE Chapter. - 2005. -P. 92- 97.
29. Semantics of Message Sequenc Charts / Letichevsky A.A., Kapitonova J.K., Volkov V.A. et all. // Proc. 12 the Intern. SDL Forum. Grimstad, Norway, 2005. - C.117-132.
Размещено на Allbest.ru
Подобные документы
Модель аналізу-синтезу компіляції. Формальний опис вхідної мови програмування. Вибір технології програмування, проектування таблиць транслятора та вибір структур даних. Опис програми реалізації лексичного аналізатора. Розробка дерев граматичного розбору.
курсовая работа [75,8 K], добавлен 26.12.2009Огляд переваг та недоліків мови Пролог, історія її створення. Числення предикатів як математична основа її функціонування. Порівняльна характеристика середовищ програмування Prolog. Алгоритми розв’язування математичних задач за допомогою цієї мови.
курсовая работа [504,5 K], добавлен 23.12.2014Аналіз сучасного стану технологій програмування. Засоби реалізації об'єктів в мові C++, структура даних і функцій. Розробка програмного продукту - гри "трикутники", з використовуванням моделей, класів і функцій об’єктно-орієнтованого програмування.
курсовая работа [117,8 K], добавлен 14.03.2013Концепції об'єктно-орієнтованого програмування. Спеціалізовані засоби розробки програмного забезпечення мовою Delphi. Загальні питання побудови та використання сучасних систем об’єктно-орієнтованного та візуального проектування програмних засобів.
курсовая работа [201,4 K], добавлен 01.04.2016Особливості об'єктно-орієнтованого програмування. Розробка програми для елементарних математичних розрахунків, виведення результату на екран та запису у файлі. Сортування слів у рядку. Програма, яка реалізовує ходи шахових фігур. Програма-калькулятор.
отчет по практике [2,0 M], добавлен 19.03.2015Редагування за допомогою текстового редактора NotePad вхідного файлу даних. Програмна реалізація основного алгоритму з використанням засобів об'єктно-орієнтованого програмування. Об’ява та опис класів і об'єктів. Розробка допоміжних програмних засобів.
курсовая работа [69,4 K], добавлен 14.03.2013Лінійне програмування як один з найбільш популярних апаратів математичної теорії оптимального управління рішень. Опис існуючих методів розв’язку задач лінійного програмування. Завдання, основні принципи, алгоритми і головна мета лінійного програмування.
курсовая работа [363,8 K], добавлен 03.12.2009Розробка програми, яка б дозволяла протестувати знання з дисципліни "Програмування на мові С", виставити оцінку. Опис та обґрунтування методу організації вхідних та вихідних даних, вибору складу технічних та програмних засобів. Проведення лістингу.
курсовая работа [11,0 K], добавлен 08.08.2009Об’єктно-орієнтоване програмування мовою С++. Основні принципи об’єктно-орієнтованого програмування. Розробка класів з використанням технології візуального програмування. Розробка класу classProgressBar. Базовий клас font. Методи тестування програми.
курсовая работа [211,3 K], добавлен 19.08.2010Розробка та тестування додатків, які базуються на елементах мови програмування Java, принципи програмування в її середовищі. Вивчення переваг Java-платформи, прикладний програмний інтерфейс та особливості сучасних засобів створення Java-додатків.
дипломная работа [2,8 M], добавлен 22.06.2011