Бази даних

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

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

Вид пошуку
у знайденому
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Віртуальна довідка (108)Тематичний інтернет-навігатор (8)Наукова електронна бібліотека (1438)Реферативна база даних (16786)Книжкові видання та компакт-диски (8299)Журнали та продовжувані видання (358)
Пошуковий запит: (<.>K=МОВИ$<.>+<.>K=ПРОГРАМУВАНН$<.>)
Загальна кількість знайдених документів : 2333
Представлено документи з 1 до 20
...

      
1.

Романченко А. А. 
Авіаційна термінологія сучасної перської мови (характеристика, класифікація, створення та засоби поповнення): автореф. дис. ... канд. філол. наук : 10.02.13 / А. А. Романченко ; Ін-т сходознавства ім. А.Ю. Кримського НАН України. — К., 2010. — 16 с. — укp.

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

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


Індекс рубрикатора НБУВ: Ш152.131.11-34:О5 + О5 в3
Шифр НБУВ: РА376992 Пошук видання у каталогах НБУВ 

Рубрики:

      
2.

Васильчук О.Р. 
Автоматизація розробки технології виготовлення деталей типу "корпус" ливарно-пресових автоматів: Автореф. дис... канд. техн. наук: 05.02.08 / О.Р. Васильчук ; Нац. техн. ун-т України "Київ. політехн. ін-т". — К., 1999. — 18 с. — укp.

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

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


Індекс рубрикатора НБУВ: К500.148-642.1

Рубрики:

      
3.

Суліменко Г.Г. 
Автоматизована побудова викройок оббивки м'яких меблів: Автореф. дис... канд. техн. наук: 05.01.01 / Г.Г. Суліменко ; Київ. нац. ун-т буд-ва і архіт. — К., 2002. — 18 с.: рис. — укp.

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

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


Індекс рубрикатора НБУВ: М134.133 + М461.02 +
Шифр НБУВ: РА321698

Рубрики:

      
4.

Фонотов А.М. 
Автоматизована система гільйотинного розкрою на основі генетичного програмування (на прикладі меблевого виробництва): Автореф. дис... канд. техн. наук: 05.13.07 / А.М. Фонотов ; Донец. нац. техн. ун-т. — Донецьк, 2006. — 19 с. — укp.

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

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


Індекс рубрикатора НБУВ: М134.02 +
Шифр НБУВ: РА344088

Рубрики:

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

Рябченко І.М. 
Автоматизоване управління потокорозподілом систем подачі й розподілу води у штатних та аварійних режимах роботи: Автореф. дис... д-ра техн. наук: 05.13.06 / І.М. Рябченко ; Херсон. держ. техн. ун-т. — Херсон, 2003. — 34с. : рис. — укp.

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

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


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

Рубрики:

      
6.

Кучеренко В.Є. 
Автоматизоване управління складними об'єктами за умов невизначеності на основі гібридних імітаційних моделей: Автореф. дис... канд. техн. наук: 05.13.06 / В.Є. Кучеренко ; Харк. нац. ун-т радіоелектрон. — Х., 2007. — 19 с. — укp.

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

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


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

Рубрики:

      
7.

Верещагін І.І. 
Автоматизований синтез і моделі гнучких комп'ютерних професійних тренажерів широкого призначення: Автореф. дис... канд. техн. наук: 05.13.06 / І.І. Верещагін ; НАН України, М-во освіти і науки України, Міжнар. наук.-навч. центр інформ. технологій та систем. — К., 2007. — 20 с. — укp.

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

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


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

Рубрики:

      
8.

Крючкова П.Г. 
Авторитарний дискурс (на матеріалі сучасної англійської мови): Автореф. дис... канд. філол. наук: 10.02.04 / П.Г. Крючкова ; Київ. нац. ун-т ім. Т.Шевченка. — К., 2003. — 21 с. — укp.

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

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


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

Рубрики:

      
9.

Ринденко О. В. 
Авторські коментарі та ремарки як культурний феномен у фортепіанній творчості Олів'є Мессіана: автореф. дис. ... канд. мистецтвознав. : 17.00.03 / О. В. Ринденко ; Нац. муз. акад. України ім. П.І. Чайковського. — К., 2010. — 17 с. — укp.

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

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


Індекс рубрикатора НБУВ: Щ313(4ФРА)6-81 Мессіан О. + Щ315.42-03(4ФРА)6-81 Мессіан О.
Шифр НБУВ: РА377524 Пошук видання у каталогах НБУВ 

Рубрики:

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

      
10.

Пузиренко Я.В. 
Агентивно-професійні назви осіб жіночої статі в лексикографічному описі та узусі: Автореф. дис... канд. філол. наук: 10.02.15 / Я.В. Пузиренко ; Київ. нац. ун-т ім. Т.Шевченка. Ін-т філол. — К., 2005. — 21 с. — укp.

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

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


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

Рубрики:

      
11.

Скорупський Б.В. 
Агрокліматичне обгрунтування і метод оптимізації розміщення польових культур в Україні: Автореф. дис... канд. геогр. наук: 11.00.09 / Б.В. Скорупський ; Київ. нац. ун-т ім. Т.Шевченка. — К., 2001. — 19 с. — укp.

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

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


Індекс рубрикатора НБУВ: П021.1(4УКР) + П022(4УКР)
Шифр НБУВ: РА315321 Пошук видання у каталогах НБУВ 

Рубрики:

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

      
12.

Сосніна Л.В. 
Адаптація англійської онімної лексики в російській мові другої половини XX початку XXI ст.: Автореф. дис... канд. філол. наук: 10.02.02 / Л.В. Сосніна ; Дніпропетр. нац. ун-т. — Д., 2005. — 19 с. — укp.

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

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


Індекс рубрикатора НБУВ: Ш141.2-322 + Ш143.21-316 +
Шифр НБУВ: РА335792

Рубрики:

      
13.

Міщенко А.Л. 
Адаптація англіцизмів до системи сучасної німецької мови (на матеріалі англіцизмів комп'ютерної галузі й технологій): автореф. дис... канд. філол. наук: 10.02.04 / А.Л. Міщенко ; Донецьк. нац. ун-т. — Донецьк, 2009. — 20 с. — укp.

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

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


Індекс рубрикатора НБУВ: Ш143.21-34:397 + Ш143.24-322 +
Шифр НБУВ: РА365071

Рубрики:

      
14.

Нечипоренко А.С. 
Адаптивний метод підвищення розбірливості мови в цифрових слухових апаратах: автореф. дис... канд. техн. наук: 05.11.17 / А.С. Нечипоренко ; Харк. нац. ун-т радіоелектрон. — Х., 2009. — 20 с. — укp.

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

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


Індекс рубрикатора НБУВ: Р683.027.2 С05 + К761.6 +
Шифр НБУВ: РА368640

Рубрики:

      
15.

Тонєва К.В. 
Адаптивні моделі вибору рекламної кампанії підприємства: Автореф. дис... канд. екон. наук: 08.03.02 / К.В. Тонєва ; Харк. нац. екон. ун-т. — Х., 2004. — 20 с. — укp.

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

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


Індекс рубрикатора НБУВ: У9(4УКР)290-211.1 в611 + У9(4УКР)421.0-803.81 в611 +
Шифр НБУВ: РА332853

Рубрики:

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

      
16.

Дишлева С.М. 
Адвербіальна дистрибуція лексико-семантичних груп українських дієслів: автореф. дис... канд. філол. наук: 10.02.01 / С.М. Дишлева ; Нац. пед. ун-т ім. М.П.Драгоманова. — К., 2008. — 18 с. — укp.

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

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


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

      
17.

Жила Т.І. 
Адміністративно-територіальна лексика української мови: Автореф. дис... канд. філол. наук: 10.02.01 / Т.І. Жила ; НАН України. Ін-т мовознав. ім. О.О.Потебні. — К., 2006. — 19 с. — укp.

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

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


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

      
18.

Равлюк С.І. 
Аксіологічна лексика і фразеологія художньо-публіцистичних виступів 90-х років ХХ століття: Автореф. дис... канд. філол. наук: 10.02.01 / С.І. Равлюк ; Нац. пед. ун-т ім. М.П.Драгоманова. — К., 2003. — 23 с. — укp.

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

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


Індекс рубрикатора НБУВ: Ш141.4-7 + Ш5(4УКР)6-334 +
Шифр НБУВ: РА325657

Рубрики:

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

      
19.

Кондратенко В.О. 
Аксіоматичні моделі і методи проектування лінгвістичних трансляторів: Автореф. дис... канд. фіз.-мат. наук: 01.05.03 / В.О. Кондратенко ; НАН України. Ін-т кібернетики ім. В.М.Глушкова. — К., 2001. — 16 с. — укp.

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

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


Індекс рубрикатора НБУВ: З970.5-018
Шифр НБУВ: РА314190 Пошук видання у каталогах НБУВ 

Рубрики:

      
20.

Купчинський О.А. 
Акти та документи Галицько-Волинського князівства XIII - першої половини XIV століть. Дослідження. Тексти: Автореф. дис... д-ра іст. наук: 07.00.10 / О.А. Купчинський ; НАН України. Нац. б-ка України ім. В.І.Вернадського. — К., 2006. — 35 с. — укp.

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

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


Індекс рубрикатора НБУВ: Т211(4УКР)43 + Т3(4УКР)430 +
Шифр НБУВ: РА346039

Рубрики:

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

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