Підвищення ефективності математичного і програмного забезпечення редактора формул алгоритмів
Створення ієрархічно-модульної моделі редактора формул. Синтез математичного забезпечення обробки алгоритмів. Моделювання структури даних, яка містить індекси унітермів, секвенти, цикли, системні параметри введення. Реалізація й апробація програми.
Подобные документы
Визначення особливостей математичних задач, для вирішення яких можуть бути використані різні методи та спеціалізоване програмне забезпечення, що дозволяє підвищити ефективність використання цих методів. Програмні модулі та управляючі системні програми.
статья, добавлен 15.02.2018Розробка алгоритму та складання програми для створення листів обліку студентів за допомогою мови програмування Паскаль. Алгоритми головної програми, процедури створення вхідного файлу, виведення даних з файлу, пошуку осіб. Опис та тестування програми.
курсовая работа, добавлен 25.01.2016Вибір системи для автоматизації прийняття управлінських рішень. Визначення загальних і специфічних модулів алгоритмів розв’язання лінійних багатокритеріальних задач та формування на їх основі бази алгоритмів. Створення системи керування базою алгоритмів.
автореферат, добавлен 23.02.2014Побудова математичного забезпечення системи тестування, в основу якого покладено логіко-алгебраїчні методи автоматизації. Моделювання логіки викладача при виставленні балів респонденту. Оцінка точності вимірів за допомогою інформаційних технологій.
автореферат, добавлен 27.04.2014- 105. Методи і моделі системологічного імітаційного моделювання розробки компонент інформаційних систем
Побудова імітаційних моделей з використанням системно-об’єктного підходу та методів моделювання складних інформаційних програмних систем та їхніх компонентів на базі УФО-технології. Удосконалення математичного апарату для моделювання бібліотек даних.
автореферат, добавлен 27.08.2014 - 106. Моделі та методи класифікації текстових документів в спеціалізованих інформаційно-пошукових системах
Принципи створення електронного документообігу. Розробка системи автоматизованої класифікації документів управління митної служби України. Вивчення алгоритмів роботи глобальних комп’ютерних мереж. Апробація і реалізація інформаційно-пошукових програм.
автореферат, добавлен 27.08.2014 Розробка адаптивних рекурентних алгоритмів настроювання параметрично оптимізуємих регуляторів для нестаціонарних об’єктів, що функціонують в умовах апріорної та поточної невизначеності та адаптивних рекурентних алгоритмів параметричної ідентифікації.
автореферат, добавлен 05.01.2014Ознайомлення з процесом користування маркером автозаповнення для копіювання формул в табличному редакторі excel. Вивчення методики створення електронної таблиці продажу принтерів. Розгляд процесу обчислення значень за допомогою табличного редактора.
лабораторная работа, добавлен 22.07.2017Мета, цілі та функції створення бази даних, стратегії автоматизації предметної області та вимоги до інформаційного простору. Моделювання програмного забезпечення за допомогою мови Entity Relationship Modeling, особливості візуалізації основних задач.
курсовая работа, добавлен 25.03.2015Розгляд адаптивних прогнозуючих методів. Вивчення алгоритмів узагальненого керування з прогнозуванням. Розробка аперіодичного регулятора. Оптимізація критерію якості. Мінімізація часу перехідного процесу. Побудова програмно–математичного комплексу.
автореферат, добавлен 28.07.2014Загальні відомості про офісний пакет OpenOffice.org Calc. Короткий опис меню, панель формул. Математичні, статистичні та логічні функції. Покрокове введення формул у комірки електронних таблиць за допомогою Майстра, формування складних і вкладених формул.
контрольная работа, добавлен 30.11.2016Уніфікований життєвий цикл, що базується на інтерактивній моделі проектування. Створення програмного забезпечення, орієнтованого на інтелектуальну підтримку CASE-засобів. Алгоритм оцінки складності об’єктно-орієнтованих програм в складі підсистеми.
автореферат, добавлен 25.04.2014Відомі атрибути, метрики, методи та інструментальні засоби автоматизованої верифікації та сертифікації програмного забезпечення. Використання семантичних атрибутів для верифікації та експертизи програмного забезпечення інформаційно-управляючих систем.
автореферат, добавлен 29.01.2016Технології і методи розробки програмного забезпечення, що надають розробнику найвищий доступний рівень абстракції і максимально сприяють якості та ефективності інженерної діяльності. Розвиток системного програмного забезпечення і компонентні системи.
статья, добавлен 31.03.2019Аналіз і класифікація атрибутів, метрик, методів та інструментальних засобів верифікації й сертифікації програмного забезпечення. Розробка методу верифікації програмного забезпечення в умовах ресурсних обмежень і неповноти проектної документації.
автореферат, добавлен 27.08.2015Огляд процесу створення автоматизованих інформаційних систем обліку. Розгляд основ організації компанії, опис інформаційних потоків і документів. Визначення структури бази даних. Вибір технічного та програмного забезпечення. Написання тексту програми.
курсовая работа, добавлен 05.10.2015Використання програми-емулятора Cisco Packet Tracer для моделювання логічної структури мережі, планування IP-адресації мережі. Визначення апаратного забезпечення та його кількості, вибір маршрутизаторів та комутаторів. Вибір програмного забезпечення.
курсовая работа, добавлен 17.02.2018Розгляд системи автоматизованого проектування надземних ділянок магістральних трубопроводів. Наведення структури та UML-діаграми класів системи, опис функції її елементів та обчислювальних модулей. Розробка математичного і програмного забезпечення.
статья, добавлен 26.12.2016Розгляд програмного методу обробки даних соціальних мереж. Аналіз методології обробки даних з можливих гетерогенних джерел даних на прикладі соціальних мереж. Знайомство з особливостями використовувати операції MapReduce на паралельних кластерах.
статья, добавлен 21.04.2021Вибір і обґрунтування програмного забезпечення. Алгоритми реалізації функцій системи, розробка інструкції користувача. Розрахунок економічної ефективності від впровадження розробленої системи на підприємстві. Логічна та фізична моделі бази даних.
дипломная работа, добавлен 17.02.2017Критерії та методи тестування програмного забезпечення. Роль надійності ПЗ як характеристики якості, її дослідження на етапах життєвого циклу. Розробка моделей прийняття рішень при виборі стратегії створення ПЗ, забезпечення необхідного рівня надійності.
автореферат, добавлен 29.10.2015Підходи до проектування інформаційного забезпечення ІСУ РІМ з метою створення єдиного інформаційного ресурсу для виконання раціональної обробки даних. Метод вирішення задачі ідентифікації стану потокорозподілу як засіб раціональної обробки даних.
автореферат, добавлен 13.07.2014Навігаційне забезпечення військ як один з видів топогеодезичного забезпечення військ. Нові вимоги до забезпечення військ картографічними матеріалами. Використання програмного забезпечення інструментальних картографічних та геоінформаційних систем.
статья, добавлен 22.07.2018Аналіз програмного забезпечення. Список вимог до програмної системи. Побудова схеми реляційної бази даних в 3-й нормальній формі. Опис захисту системи інформації. Аналіз дослідної експлуатації і можливих застосувань. Опис фізичної моделі бази даних.
дипломная работа, добавлен 20.06.2012Розробка редактора навчально-методичних ресурсів засобами Web 2.0, який полегшує роботу викладачу в написані робочої програми дисципліни. Розвиток професійної компетентності та підвищення фахового рівня педагога. Організація веб-ресурсів у мережі.
статья, добавлен 30.10.2016