Досліджено властивості осциляційних сум та інтегралів, залежних від параметрів. Зазначені властивості використано для встановлення оцінки нормальної фундаментальної матриці лінійної системи зі швидко осцилюючими коефіцієнтами й імпульсним впливом у фіксовані моменти часу.

Охарактеризовано систему програмування Visual Basic 6.0 (VB6), зокрема, середовище розробки, основні синтаксичні конструкції мови програмування, розробку додатків із доступом до баз даних, графічні можливості VB6. Наведено опис платформи .NET, середовища Visual Studio .NET і його консольних застосувань. Розглянуто інтегроване середовище IDE й об'єктні моделі додатків Microsoft Office для написання макросів VBA. Розкрито побудову інтерфейсу зі стандартними елементами керування для розв'язання обчислювальної задачі, особливості розробки проекту зі застосуванням баз даних.

Охарактеризованы система программирования Visual Basic 6.0 (VB6), в частности, среда разработки, основные синтаксические конструкции языка программирования , разработка приложений с доступом к базам данных, графические возможности VB6. Приведено описание платформы .NET, среды Visual Studio .NET и ее консольных применений. Рассмотрена интегрированная среда IDE и объектные модели приложений Microsoft Office для написания макросов VBA. Раскрыты построение интерфейса со стандартными элементами управления для решения рассчетных задач, особенности разработки проекта с применением баз данных.

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

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

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

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

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

Доведено нові теореми про обгрунтування методу усереднення в багаточастотних коливних системах, які зазнають імпульсного впливу у фіксовані моменти часу.

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

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

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

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

Індекс рубрикатора НБУВ: В161.614

Рубрики:

Диференціально-різницеві рівняння (рівняння з імпульсною дією, рівняння з постійними відхиленнями аргументу)

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

Проаналізовано зміст лексико-семантичних моделей прикметників типу бахувріхі шляхом їх поділу на перший та другий компоненти. На матеріалі "Іліади" Гомера досліджено найтиповіші із цих моделей, а також зроблено спробу пояснити розповсюдження того чи іншого типу моделей та їх компонентів.

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

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

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

Рассмотрены примеры решения задач линейного программирования (о размещении капитала, определении состава смеси, оптимальном плане выпуска продукции). Дана методика решения общей, стандартной, канонической задач линейного программирования. Изложены сведения об опуклом множестве и опуклости множества базисных (опорных) планов общей задачи линейного программирования (ЗЛП). Рассмотрена геометрическая интерпретация и основные свойства ЗЛП, а также симплексные преобразования. Описаны алгоритмы симплексного метода и построения начального базисного (опорного) плана стандартной задачи линейного программирования. Раскрыта сущность понятия двойственности, даны методы решения транспортной задачи и наипростейших задач на сетях.

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

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

Теоретично та практично досліджено принцип процесуальної економії в кримінальному процесі України. Проаналізовано правову природу процесуальної економії, висвітлено її зміст, генезу та розвиток як засади (принципів) в кримінальному судочинстві. Описано особливості нормативного закріплення принципу процесуальної економії, охарактеризовано стан його реалізації на різних стадіях кримінального процесу. Значну увагу приділено дослідженню норм, що регламентують тривалість кримінального судочинства в часі, які, поряд з іншими, забезпечують раціональне та бережне використання процесуальних засобів. Обгрунтовано висновки та пропозиції щодо вдосконалення правової регламентації принципу процесуальної економії в кримінально-процесуальному законодавстві.

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

Досліджено завадостійкість MIMO-систем зв'язку з високими порядками модуляції (16-QAM, 64-QAM) для каналу з білим шумом та релеєвськими завмираннями. За допомогою методу моделювання показано, що завадостійкість систем зменшується зі зростанням порядку модуляції та підвищується зі зростанням кількості приймальних та передавальних антен.

Досліджено методи спільного і локального аналізу спектра для виявлення первинного (ліцензованого) користувача в когнітивних радіомережах у каналах з релеєвськими завмираннями, затінюваннями та адитивним білим шумом. Побудовано узагальнену модель когнітивної радіомережі і визначено основні поняття когнітивного радіо.