Бази даних

Автореферати дисертацій - результати пошуку

Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"

Вид пошуку
у знайденому
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Віртуальна довідка (14)Наукова електронна бібліотека (356)Реферативна база даних (7687)Книжкові видання та компакт-диски (769)Журнали та продовжувані видання (3)
Пошуковий запит: (<.>K=ХВИЛЬОВ$<.>+<.>K=ФУНКЦІЯ$<.>)
Загальна кількість знайдених документів : 1050
Представлено документи з 1 до 20
...

      
1.

Чиж І.Г. 
Аберометрія оптичної системи ока методом Рейтресинга: Автореф. дис... д-ра техн. наук: 05.11.07 / І.Г. Чиж ; Нац. техн. ун-т України "Київ. політехн. ін-т". — К., 2006. — 35 с. — укp.

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

  Скачати повний текст


Індекс рубрикатора НБУВ: Р67-433 +
Шифр НБУВ: РА345849

Рубрики:

      
2.

Сирота О.П. 
Автоматизація аналізу несуперечності в задачах верифікації при проектуванні автоматизованих систем обробки інформації: автореф. дис... канд. техн. наук: 05.13.06 / О.П. Сирота ; Нац. техн. ун-т України "Київ. політехн. ін-т". — К., 2009. — 20 с. — укp.

Запропоновано концепцію автоматизованої структурної верифікації ACOI та бізнес-правил її проектування, що базується на розширенні процесу верифікації етапом аналізу несуперечності структурних моделей системи та моделей бізнес-правил, що дозволяє підвищити якість ACOI у процесі її створення/реінжинірингу. Розроблено нову модель подання знань (СР-модель), яка базується на неоднорідній неієрархічній семантичній мережі загального характеру, без початкового виділення типів відношень, розширена функціями синтаксичного та семантичного контролю та правилами виведення нових зв'язків. Дана модель відрізняється від інших наявністю засобів для подання у вигляді семантичної мережі інших формалізмів (множин, формул логіки предикатів, об'єктних моделей) і використовує подання знань про мультиформальні моделі для аналізу їх несуперечності. Показано, що застосування СР-моделі до задачі дослідження дозволяє на базі моделей ACOI та бізнес-правил проаналізувати їх відповідність. Вперше розроблено математичний метод аналізу несуперечності ACOI та бізнес-правил, який полягає в об'єднанні моделей ACOI та бізнес-правил у мультиформальну інтегральну модель, зведенні компонентів інтегральної моделі до теорії множин і багатосортної логіки першого порядку, перевірці відповідності елементів і виразів теорії множин комплексній системі правил, а також виконуваності формул багатосортної логіки шляхом застосування модифікованого для цієї логіки методу побудови множини Хінтікки. До комплексної системи правил для теорії множин включено аксіоми Цермело - Френкеля й ішні правила, які гарантують можливість побудови алгебричної системи.

  Скачати повний текст


Індекс рубрикатора НБУВ: З970.6-02 +
Шифр НБУВ: РА368244

Рубрики:

      
3.

Давидов В.О. 
Автоматизація технологічного процесу реєстрації номерів при керуванні транспортними потоками: Автореф. дис... канд. техн. наук: 05.13.07 / В.О. Давидов ; Одес. нац. політехн. ун-т. — О., 2003. — 19 с.: рис., табл. — укp.

Уперше запропоновано критерії якості ідентифікації, за якими можна порівнювати автоматизовані системи ідентифікації автотранспортних засобів і розроблено методику їх розрахунку. Уперше для програмного забезпечення даної системи наведено алгоритми бінаризації зображень за умов апріорної невизначеності та фільтрації зображень з використанням методу простежування злитих груп. Уперше для автоматизованої системи контролю та керування автотранспортним потоком з метою виділення на зображеннях текстової інформації запропоновано застосування двовимірного хвильового перетворення Хаара. Доведено, що значення якості ідентифікації автотранспортних засобів для зазначених систем може досягти 95 - 98 %.

  Скачати повний текст


Індекс рубрикатора НБУВ: Х819(4УКР)112.011.013.1 +
Шифр НБУВ: РА328433

Рубрики:

Географічні рубрики:

      
4.

Петренко В.Р. 
Автоматизація управління технологічними процесами виробництва об'ємних Cz - Si-монокристалів: автореф. дис... д-ра техн. наук: 05.13.07 / В.Р. Петренко ; Нац. техн. ун-т України "Київ. політехн. ін-т". — К., 2009. — 39 с. — укp.

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

  Скачати повний текст


Індекс рубрикатора НБУВ: В375.147в641.8,022 + Ж68 +
Шифр НБУВ: РА363336

Рубрики:

      
Категорія: Будівництво   
5.

Ярас В.І. 
Автоматизована система експрес-діагностики бетонних паль і стовпів у грунті: Автореф. дис... канд. техн. наук: 05.13.07 / В.І. Ярас ; Київ. нац. ун-т буд-ва і архіт. — К., 2006. — 16 с. — укp.

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

  Скачати повний текст


Індекс рубрикатора НБУВ: Н582.5-043-082.05 +
Шифр НБУВ: РА343178

Рубрики:

      
Категорія: Транспорт   
6.

Кузнецов В.Г. 
Автоматизована система обліку та контролю електроенергії дистанцій електропостачання залізниць: Автореф. дис... канд. техн. наук: 05.22.09 / В.Г. Кузнецов ; Дніпропетр. держ. техн. ун-т залізн. транспорту. — Д., 2002. — 20 с. — укp.

Розроблено нову систему АСКОЕ дистанцій електропостачання залізниць з новими функціями, що підвищують енергетичну ефективність електричної тяги, серед яких - раціональне переведення тягових підстанцій та диференційовані тарифи оплати за активну та реактивну електроенергію, контроль за раціональним електрообігрівом приміщень дистанцій електропостачання, прогнозування місячних витрат електроенергії тягових підстанцій, непрямий контроль за спрацьовуванням ресурсу тягових трансформаторів. Для реалізації цих функцій розроблено моделі раціонального переводу тягових підстанцій на диференційовані тарифи оплати за активну і реактивну електроенергію, а також раціонального електрообігріву приміщень. Теоретично обгрунтовано доцільність застосування методу "Гусениця" для прогнозування місячних витрат електроенергії дистанцій електропостачання.

  Скачати повний текст


Індекс рубрикатора НБУВ: О217.007
Шифр НБУВ: РА317611 Пошук видання у каталогах НБУВ 

Рубрики:

      
7.

Мещеряков В.І. 
Автоматизована система перетворення інформаційних потоків для управління високоенергетичними процесами: Автореф. дис... д-ра техн. наук: 05.13.06 / В.І. Мещеряков ; Одес. нац. політехн. ун-т. — О., 2004. — 35 с.: рис. — укp.

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

  Скачати повний текст


Індекс рубрикатора НБУВ: З968.83-015 +
Шифр НБУВ: РА331315

Рубрики:

      
8.

Бабічев С.А. 
Автоматизована система технічної діагностики міцнісних характеристик металів на основі гібридних нейронних мереж: Автореф. дис... канд. техн. наук: 05.13.06 / С.А. Бабічев ; Херсон. держ. техн. ун-т. — Херсон, 2003. — 20 с.: рис. — укp.

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

  Скачати повний текст


Індекс рубрикатора НБУВ: К206.22-1с +
Шифр НБУВ: РА325416

Рубрики:

      
9.

Іванюра І.О. 
Адаптаційні можливості функціональних систем організму учнів середнього шкільного віку при тривалих фізичних навантаженнях: Автореф. дис... д-ра біол. наук: 03.00.13 / І.О. Іванюра ; Київ. нац ун-т ім. Т.Шевченка. — К., 2001. — 36 с. — укp.

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

  Скачати повний текст


Індекс рубрикатора НБУВ: Р128.94-34 + Ч510.41 + Ч511.52-1
Шифр НБУВ: РА313309 Пошук видання у каталогах НБУВ 

Рубрики:

      
10.

Раздайбедін В.М. 
Адаптація серцево-судинної системи і стан вищої нервової діяльності організму в учнів старшого шкільного віку під впливом тривалих фізичних навантажень: Автореф. дис... канд. біол. наук: 03.00.13 / В.М. Раздайбедін ; Київ. нац. ун-т ім. Т.Шевченка. — К., 2005. — 22 с. — укp.

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

  Скачати повний текст


Індекс рубрикатора НБУВ: Ч510.43 +
Шифр НБУВ: РА345428

Рубрики:

      
Категорія: Біологічні науки   
11.

Баєв О.А. 
Адаптація серцево-судинної системи і функціональний стан вищої нервової діяльності організму людини при тривалих фізичних навантаженнях: Автореф. дис... канд. біол. наук: 03.00.13 / О.А. Баєв ; Тавр. нац. ун-т ім. В.І.Вернадського. — Сімф., 2007. — 22 с. — укp.

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

  Скачати повний текст


Індекс рубрикатора НБУВ: Е70*738.7 +
Шифр НБУВ: РА349158

Рубрики:

      
12.

Сінчук Ю.О. 
Адаптивні схеми методу скінченних елементів для сингулярно збурених варіаційних задач конвекції-дифузії: автореф. дис... канд. фіз.-мат. наук: 01.05.02 / Ю.О. Сінчук ; НАН України, Ін-т приклад. пробл. механіки і математики ім. Я.С.Підстригача. — Л., 2008. — 20 с. — укp.

Розроблено нові схеми методу скінченних елементів (МСЕ) для розв'язання сингулярно збурених задач конвекції-дифузії. Для одновимірної крайової задачі конвекції-дифузії побудовано схему з кусково-показниковими базисними функціями, визначено достатню умову її стійкості, зроблено апріорне оцінювання швидкості збіжності й оптимальний вибір основи показникових функцій. Розроблено експоненціальну однокрокову рекурентну схему інтегрування в часі початково-крайових задач для рівнянь параболічного типу. Запропоновано спосіб зведення варіаційної задачі конвекції-дифузії до еквівалентної задачі мінімізації квадратичного функціонала шляхом вибору простору тестових функцій методу Петрова - Гальоркіна. Розроблено простий для програмної реалізації алгоритм генерування близьких до рівномірних тріангуляцій двовимірних областей. Запропоновано способи побудови апостеріорних оцінювачів похибки МСЕ на підставі розв'язання одно- та двовимірних локальних задач на похибку. На підставі запропонованих оцінювачів реалізовано h-адаптивну схему МСЕ з використанням стійких експоненціальних апроксимацій. Розроблено програмне забезпечення нових методів й експериментально підтверджено їх ефективність.

  Скачати повний текст


Індекс рубрикатора НБУВ: В192.12,0 +
Шифр НБУВ: РА362275

Рубрики:

      
13.

Додіна Є.Є. 
Адміністративно-правовий статус громадських організацій в Україні: Автореф. дис... канд. юрид. наук: 12.00.07 / Є.Є. Додіна ; Одес. нац. юрид. акад. — О., 2002. — 21 с. — укp.

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

  Скачати повний текст


Індекс рубрикатора НБУВ: Х819(4Укр)013
Шифр НБУВ: РА317184 Пошук видання у каталогах НБУВ 

Рубрики:

Географічні рубрики:

      
Категорія: Науки про Землю   
14.

Семергей-Чумаченко А.Б. 
Аеросиноптичні умови утворювання та розвитку струминних течій нижніх рівнів: Автореф. дис... канд. геогр. наук: 11.00.09 / А.Б. Семергей-Чумаченко ; Одес. держ. екол. ун-т. — О., 2003. — 19 с.: рис., табл. — укp.

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

  Скачати повний текст


Індекс рубрикатора НБУВ: Д245.4 +
Шифр НБУВ: РА326359

Рубрики:

      
15.

Невоструєва І. В. 
Азотовий обмін у рубці та синтез компонентів молока у корів за різної розщеплюваності протеїну корму: автореф. дис. ... канд. с.-г. наук : 03.00.04 / І. В. Невоструєва ; Ін-т біології тварин НААН. — Л., 2011. — 16 с. — укp.

Зазначено, що збільшення в раціоні лактуючих корів частки нерозщеплюваного в рубці протеїну від 29,7 до 41,2 % за екструзії ріпакового шроту, від 31,7 до 43,9 % за екструзії соєвого шроту та від 28,5 до 39,5 % за екструзії соняшникової макухи зумовлює зростання концентрації білкових і зменшення концентрації вільних амінокислот у вмісті рубця та надходження більшої кількості протеїну у дванадцятипалу кишку. Встановлено, що у корів, яким згодовували екструдовані корми, зменшувалися втрати азоту з калом і сечею та збільшувалось використання його в організмі. За використання в годівлі корів екструдованих високопротеїнових кормів у плазмі артеріальної крові підвищується концентрація метаболітів білкового обміну та посилюється їх використання молочною залозою у синтезі компонентів молока. Збільшення споживання коровами нерозщеплюваного в рубці протеїну екструдованих ріпакового шроту, соєвого шроту та соняшникової макухи підвищує надої корів на 8,9; 15,2 і 13,8 %. Витрати кормового протеїну на синтез молока зменшувались на 10,8-11,3 %, покращувалась репродуктивна функція корів.

  Скачати повний текст


Індекс рубрикатора НБУВ: П60-451.21 + П60-273.90
Шифр НБУВ: РА379294 Пошук видання у каталогах НБУВ 

Рубрики:

      
16.

Омельчук Л.Л. 
Аксіоматичні системи специфікацій програм над номінативними даними: Автореф. дис... канд. фіз.-мат. наук: 01.05.01 / Л.Л. Омельчук ; Київ. нац. ун-т ім. Т.Шевченка. — К., 2007. — 17 с. — укp.

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

  Скачати повний текст


Індекс рубрикатора НБУВ: З973-018.022 +
Шифр НБУВ: РА349925

Рубрики:

      
17.

Маципура В.Т. 
Акустичні поля в неканонічних областях: Автореф. дис. д-ра фіз.-мат. наук: 01.04.06 / В.Т. Маципура ; НАН України. Ін-т гідромеханіки. — К., 2003. — 33 с. — укp.

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

  Скачати повний текст


Індекс рубрикатора НБУВ: В323.4в641.8,022 + В325 в641.8,022 +
Шифр НБУВ: РА328214

Рубрики:

      
18.

Зубань В.І. 
"Аліна й Костомаров" та "Романи Куліша" В.Петрова в контексті українського культурного життя 20-х років XX століття: Автореф. дис. канд. філол. наук: 10.01.01 / В.І. Зубань ; Харк. нац. ун-т ім. В.Н.Каразіна. — Х., 2003. — 19 с. — укp.

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

  Скачати повний текст


Індекс рубрикатора НБУВ: Ш5(4УКР)6-4 Петров,В.534 + Ш5(4УКР)5-4 Костомаров,М.764 + Ш5(4УКР)5-4 Куліш,П.764 +
Шифр НБУВ: РА328003

Рубрики:

Географічні рубрики:

      
19.

Колєнов 
Аналіз викривлень хвильового фронту лазерным диференційно-фазовим методом: Автореф. дис... канд. фіз.-мат. наук: 01.04.05 / Сергій Олександрович Колєнов ; Київський національний ун-т ім. Тараса Шевченка. — К., 2003. — 20 с.: рис. — укp.

  Скачати повний текст


Індекс рубрикатора НБУВ: В343.14,022 + В343.4,022
Шифр НБУВ: РА327126

Рубрики:

      
20.

Євсюк М.М. 
Аналіз і синтез надширокосмугових сигналів із заданими кореляційними функціями: автореф. дис. ... канд. техн. наук: 05.12.13 / М.М. Євсюк ; Укр. НДІ зв'язку. — К., 2010. — 20 с. — укp.

Розв'язано задачі аналізу спектральних і кореляційних властивостей поліноміальних сигналів (ПС) та узагальненого гауссового імпульсу (УГІ). Розроблено метод синтезу оптимальних ПС з заданими кореляційними властивостями в часовій та частотній областях, оптимальних УГІ на підставі їх комбінації. Запропоновано метод аналізу спектральних і кореляційних властивостей надширокосмугових сигналів, УГІ, досліджено його спектральні та кореляційні властивості. Розроблено метод синтезу оптимальних ПС з заданими властивостями в часовій та частотній областях, оптимальних кореляційних функцій, заданих дискретними та неперервними значеннями на підставі комбінованого УГІ.

  Скачати повний текст


Індекс рубрикатора НБУВ: З884.1-01 + З95-5-01 +
Шифр НБУВ: РА370317 Пошук видання у каталогах НБУВ 

Рубрики:
...
 

Всі права захищені © Національна бібліотека України імені В. І. Вернадського