Розглянуто вимоги лінгвістичного забезпечення програмного комплексу, представлено мови опису ряду математичних моделей, побудовано формальні граматики цих мов, реалізовано їх компілятори та створено інструментальний засіб - компілятор компіляторів, що працює в OS Windows 95/NT; запропонована адаптивна організація вказаного лінгвістичного забезпечення.

Розглянуто предмет і метод теорії системи автоматизованого проектування, етапи формалізації і моделювання задач, функціональний етап проектування складних систем та особливості його системного рівня, а також математичні та неформальні методи аналізу, синтезу та оптимізації. На прикладі задачі проектування складних цифрових систем наведено методи математичного моделювання ланцюгів, проектування комбінаційних схем, скінченних і мікропрограмних автоматів, аналіз архітектур комп'ютерних систем, ядра операційної системи та особливості проектування програмних систем.

Показано практичне застосування концепцій реінженерії на прикладі розробки архітектури прикладної програмної системи "DSR Open Lab 1.0" для моделювання певного класу математичних структур, призначеної, головним чином, для використання у навчальному процесі.

Індекс рубрикатора НБУВ: Б1с51 + Б1(4УКР)

Рубрики:

Охорона природи. Екологія

Шифр НБУВ: Ж69027 Пошук видання у каталогах НБУВ 

Розглянуто методи та засоби математичного моделювання, які застосовуються в науках про навколишнє середовище. Наведено аналіз антропогенних факторів, досліджено міграцію радіонуклідів у лісових екосистемах на прикладі Подільського регіону. Наведено порівняльний аналіз використання математичних моделей різних типів екосистем. На підставі аналізу математичних моделей в екології та радіоекології запропоновано їх класифікацію, а також класифікацію утворення систем у природі. Розглянуто основні компартменти екосистеми соснового лісу чорнично-зеленомошного типу, встановлено взаємозв'язки між ними.

Рассмотрены методы и способы математического моделирования, использующиеся в науках об окружающей среде. Приведен анализ антропогенных факторов, исследована миграция радионуклидов в лесных экосистемах на примере экосистем Подольского региона. Приведен сравнительный анализ использования математических моделей рызных типов экосистем. На основе анализа математических моделей в области экологии и радиоэкологии предложена их классификация, а также классификация создания систем в природе. Рассмотрены основные компартменты экосистемы соснового леса чернично-зеленомошного типа, определены взаимосвязи между ними.

Індекс рубрикатора НБУВ: Б1в647.8,021

Шифр НБУВ: В345732 Пошук видання у каталогах НБУВ 

Висвітлено теорію математичного моделювання різноманітних систем - технічних, фізичних, біологічних, економічних, екологічних. Наведено перелік задач обчислювального характеру для кожного типу математичної структури. Розглянуто типи математичних моделей, зокрема, оптимізаційні, імовірнісні, дискретні логічні моделі, а також числові системи, функціональні відношення, векторний, функціональний та топологічний простір, тензори. Описано методи аналізу числових систем, функціональних відношень, розв'язку нелінійних алгебричних рівнянь, а також власних значень. Вміщено приклади математичних моделей систем, зокрема, моделювання ланцюгів. Наведено методи, що базуються на обчисленні коефіцієнтів характеристичного полінома, зокрема, А.Н.Крилова, Фаддєєва - Левер'є, Ланшоца.

Освещена теория математического моделирования разных систем - технических, физических, биологических, экономических, экологических. Выделен перечень задач вычислительного характера для каждого типа математической структуры. Рассмотрены типы математических моделей, в частности, оптимизационные, вероятностные, дискретные логические модели, а также числовые системы, функциональные отношения, векторное, функциональное, топологическое пространство, тензоры. Приведены методы анализа числовых систем, числового анализа функциональных отношений, решения нелинейных алгебраических уравнений, а также собственных значений. Помещены примеры математических моделей систем, в частности, моделирование цепей. Приведены методы, основанные на вычислении коэффициентов характеристического полинома, в частности, А.Н.Крылова, Фаддеева - Леверье, Ланшоца.

Розглянуто методи й устаткування дистанційної променевої гамма-терапії, що застосовуються під час лікування онкологічних захворювань. На підставі розрахунку доз розглянуто апаратно-програмний комплекс, розроблений для працівників радіологічних відділень онкологічних лікарень з метою визначення доз поглиненого випромінювання. Охарактеризовано технічні засоби одержання зображень поперечного перерізу. Розкрито суть понять променевої терапії. Проаналізовано особливості оптимізаційного моделювання процесу радіотерапії, а також мови VFP 6.0. Наведено список міжнародних організацій, які займаються даним питанням.

Рассмотрены методы и оборудование дистанционной лучевой гамма-терапии, используемых при лечении онкологических заболеваний. На основе расчета доз предложен аппаратно-программный комплекс, разработанный для работников радиологических отделений онкологических больниц с целью определения доз поглощенного излучения. Охарактеризованы технические способы получения изображений поперечного разреза. Раскрыто содержание понятий лучевой терапии. Проанализированы особенности оптимизационного моделирования процесса радиотерапии, а также языка VFP 6.0. Приведен список международных организаций, занимающихся данным вопросом.

Проаналізовано сучасні засоби автоматизації розробки лінгвістичного забезпечення. Висвітлено інструментальний аспект автоматизації. Розглянуто інструменти генерації компіляторів, розкрито їх вплив на розвиток галузі. Описано програмні системи, які застосовуються в розробці проектів лінгвістичного забезпечення для різних предметних областей, зокрема: інструментів Yacc та Lex, великих пакетів програм автоматизованої побудови компіляторів, генераторів лексичних і синтаксичних аналізаторів та інструментальних засобів різноманітної функціональності. Особливу увагу приділено способу визначення семантичних аспектів мови користувача.

Проанализированы современные средства автоматизации разработки лингвистического обеспечения. Освещен инструментальный аспект автоматизации. Рассмотрены инструменты генерации компиляторов, раскрыто их влияние на развитие отрасли. Описаны программные системы, которые применяются в разработке проектов лингвистического обеспечения для различных предметных областей, в частности: инструментов Yacc и Lex, больших пакетов программ автоматизированного построения компиляторов, генераторов лексических и синтаксических аналлизаторов и инструментальных средств различной функциональности. Особое внимание уделено способу определения семантических аспектов языка пользователя.

Стисло висвітлено деякі важливі історичні події, що мали суттєвий вплив на формування концепцій сучасних мов програмування загального призначення. Розглянуто набір фундаментальних конструкцій і концепцій, які є свого роду будівельними цеглинками вказаних у назві чотирьох мов. Запропоновано систематизацію такого набору, що показує, як відображаються компоненти архітектури комп'ютера у відповідні концепції мов програмування. Дану систематизацію зручно взяти за основу для проведення порівняльного аналізу цих мов. Наведено систематизовані порівняльні таблиці базових імперативних концепцій чотирьох мов, а також проведено порівняння реалізації об'єктно-орієнтованих конструкцій у мовах C++, Java 2 та C. На підставі таких матеріалів проаналізовано еволюції базових концепцій цих мов.