Методи та засоби алгебраїчного програмування в розробці математичних програмних систем
Розробка моделей та архітектурних рішень для складноорганізованих інтелектуальних математичних програмних систем, що інтегрують різноманітні парадигми програмування на базі алгебраїчного та інсерційного програмування, теорії взаємодії агентів і середовищ.
| Рубрика | Программирование, компьютеры и кибернетика |
| Вид | автореферат |
| Язык | украинский |
| Дата добавления | 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Розробка програми на мові програмування С++ з використанням об'єктно-орієнтованого програмування. Робота з файлами, графікою, класами, обробка числової інформації. Графічні засоби мови програмування. Алгоритм задачі та допоміжні програмні засоби.
курсовая работа [102,5 K], добавлен 14.03.2013Концепції об'єктно-орієнтованого програмування. Методи створення класів. Доступ до методів базового класу. Структура даних, функції. Розробка додатку на основі діалогових вікон, програми меню. Засоби розробки програмного забезпечення мовами Java та С++.
курсовая работа [502,5 K], добавлен 01.04.2016Аналіз навігаційних технологій у сучасних AVL системах. Структура системи і вимоги до апаратного забезпечення, розробка алгоритмів функціонування окремих програмних модулів. Вибір мови програмування і СУБД. Тестовий варіант програмного забезпечення.
дипломная работа [1,8 M], добавлен 17.12.2015Фундаментальні поняття об'єктно-орієнтованого програмування. Система лінійних нерівностей та опуклі багатогранники. Системи лінійних рівнянь лінійної алгебри як частковий випадок систем лінійних обмежень. Використання середовища програмування Delphi7.
курсовая работа [222,7 K], добавлен 20.05.2015Теоретичні основи та приклади економічних задач лінійного програмування. Розробка математичної моделі задачі (запис цільової функції і системи обмежень) і програмного забезпечення її вирішення за допомогою "Пошуку рішень" в Excel симплекс-методом.
курсовая работа [993,9 K], добавлен 10.12.2010Широкі можливості по використанню комп'ютерних навчальних систем. Розробка навчальної системи мультимедійного посібника з дисципліни "Інформатика і ОТ" на тему "Особливості мови програмування С++. Вказівники". Вимоги до розробки навчальної програми.
курсовая работа [2,9 M], добавлен 23.11.2010Огляд середовища програмування Delphi виробництва корпорації Inprise. Засоби масштабування для побудови баз даних. Візуальна побудова додатків із програмних прототипів. Об’єктно-орієнтована модель компонентів. Опис структури програми, компонентів OpenGL.
курсовая работа [1,9 M], добавлен 09.06.2010Визначення основних математичних понять по роботі із 3D-графікою і операцій над векторами і матрицями. Алгоритм видалення невидимих ребер та граней при побудові непрозорих об'єктів за допомогою модуля Graph 3D. Методи програмування анімації і спрайтів.
курсовая работа [345,0 K], добавлен 16.09.2010Розгляд поняття електронного освітнього ресурсу. Дослідження особливостей написання макросів засобами Visual Basic for Аpplications для використання у розробці розкладу студентів. Створення програми, яка демонструє використання офісного програмування.
курсовая работа [687,2 K], добавлен 18.03.2015Мова C++ є як одна з найпоширеніших сучасних мов програмування. Базові засоби мови С++, її специфічні риси. Технологія складу програм, специфіка організації процесу програмування. Модульне програмування. Особливості об’єктно-орієнтованого програмування.
курсовая работа [49,6 K], добавлен 26.03.2010
