Бази даних

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

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

Вид пошуку
у знайденому
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Віртуальна довідка (240)Тематичний інтернет-навігатор (34)Наукова електронна бібліотека (4139)Реферативна база даних (199054)Книжкові видання та компакт-диски (30639)Журнали та продовжувані видання (1728)
Пошуковий запит: (<.>K=БУДОВ$<.>+<.>K=КОМП$<.>+<.>K=ЮТЕР$<.>)
Загальна кількість знайдених документів : 29844
Представлено документи з 1 до 20
...

      
1.

Николин Я.В. 
1,1-дигідрополіфтороалкілсульфони в синтезах фторовмісних гетероциклічних сполук: Автореф. дис... канд. хім. наук: 02.00.03 / Я.В. Николин ; НАН України. Ін-т орган. хімії. — К., 2002. — 17 с. — укp.

Обгрунтовано синтетичне застосування 1,1-дигідрополіфторалкілсульфонів для одержання фторовмісних гетероциклів. Досліджено вплив довжини поліфторалкільного замісника на будову продуктів реакції 1,1-дигідрополіфторалкілсульфонів з аміносполуками різної природи. Доведено, що дані реакції призводять до утворення фторовмісних єнамінів, імінів, піразолів і піролів. Знайдено препаративно зручний метод одержання 1,2,3-триазолів - сильних органічних NH-кислот (pKa = 2,00 (вода)). Запропоновано принципово новий метод одержання похідних 6-поліфтороалкіл-5-алкілсульфонілпіримідинів. Проаналізовано вплив довжини поліфторалкільного замісника на будову та реакційну здатність дихлоропірамідинів і продуктів їх взаємодії з аміаком і метанолом. Знайдено новий десульфонілуючий реагент для 6-поліфтороалкіл-5-алкілсульфонілпіримідинів - гексаметапол.

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


Індекс рубрикатора НБУВ: Г277-4
Шифр НБУВ: РА321048 Пошук видання у каталогах НБУВ 

Рубрики:

      
2.

Красніков Д. О. 
2-Тіоксопіридин-3-карбоксаміди: синтез, будова та властивості: автореф. дис. ... канд. хім. наук : 02.00.03 / Д. О. Красніков ; Харк. нац. ун-т ім. В.Н. Каразіна. — Х., 2011. — 20 с.: рис. — укp.

Розроблено препаративні підходи до синтезу нових похідних 2-тіоксопіридин-3-карбоксамідів взаємодією активованих алкенів з заміщеними ацетанілідами в лужному середовищі. Виявлено особливості перебігу вказаних реакцій залежно від будови реагентів, зокрема, одержано продукти альтернативної бінуклеофільної взаємодії цинамату з CH-кислотою, обміну метиленовими компонентами у реакції Міхаеля та [3,3]-сигматропного перегрупування проміжного продукту алкілювання. Досліджено можливості модифікації одержаних сполук, синтезовано нові ароматичні та частково гідровані 2-алкілтіопіридин-3-карбоксаніліди, тієно[2,3-b]піридини та тіазоло[3,2-a]піридини. Проаналізовано потенційну біологічну активність нових сполук за допомогою комп'ютерної програми PASS та вивчено антиоксидантні властивості одержаних сполук.

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


Індекс рубрикатора НБУВ: Г263.218,0 + Г252.615.7,0
Шифр НБУВ: РА385929 Пошук видання у каталогах НБУВ 

Рубрики:

      
3.

Грищук Л.В. 
3,4,6-тризаміщені 1,2-дигідрохінолін-2-они і похідні на їх основі: синтез, структура, властивості: Автореф. дис... канд. хім. наук: 02.00.03 / Л.В. Грищук ; НАН України. Фіз.-хім. ін-т ім. О.В.Богатського. — О., 2005. — 22 с. — укp.

Розроблено методи синтезу нових похідних 1,2-дигідрохінолін-2-ону й анельованих структур на їх основі - 1,2,4-триазоло[a]-, 1,2,3-триазоло[b]- та імідазо[b]хінолінів, вивчено їх будову, хімічні властивості та біологічну дію. Розроблено методи одержання 3,4,6-тризаміщених 1,2-дигідрохінолін-2-онів, їх 2-хлоро-, 2-меркапто-, 2-гідразино-, 2,3-діамінопохідних і хінолінів з анельованими ядрами азолів на їх основі. Показано, що у разі обробки похідних 5-R-2-хлорацетиламінобензофенонів амінами та "неорганічними" нуклеофілами утворюються 3,4,6-тризаміщені 1,2-дигідрохінолін-2-они, що є зручним методом синтезу 3-амінохінолінів, заміщених за аміногрупою. З'ясовано, що за умов нагрівання розчинів 2-(6-R-3-нітро-4-феніл-хінолін-2-іл-сульфаніл)-1-фенілетанонів у середовищі ДМФА реалізується нова реакція: у результаті екструзії атома сірки та перегрупування замісника утворюються 2-(6-R-3-нітро-4-феніл-1H-хінолін-2-іліден)-1-фенілетанони. За результатами PASS і QSAR аналізів визначено потенційні області практичного використання одержаних сполук для пошуку у їх ряді нових фізіологічно активних речовин. протисудомну й антибактеріальну активність 3,4,6-тризаміщених похідних 1,2-дигідрохінолін-2-ону й анельованих структур на їх основі.

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


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

      
4.

Дмитрів Ю. В. 
3-фосфорильовані та 3,4-дифосфорильовані піроли: автореф. дис. ... канд. хім. наук : 02.00.08 / Ю. В. Дмитрів ; Ін-т орган. хімії НАН України. — К., 2010. — 19 с. — укp.

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

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


Індекс рубрикатора НБУВ: Г261.31-273.6
Шифр НБУВ: РА375282 Пошук видання у каталогах НБУВ 

Рубрики:

      
5.

Покладок Н. Т. 
3d-інтеркаляційна модифікація шаруватих кристалів для пристроїв спінтроніки та молекулярної енергетики: автореф. дис. ... канд. техн. наук : 01.04.07 / Н. Т. Покладок ; Нац. ун-т "Львів. політехніка". — Л., 2011. — 20 с.: рис. — укp.

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


Індекс рубрикатора НБУВ: В379.2,022 + В371.236,022
Шифр НБУВ: РА383728 Пошук видання у каталогах НБУВ 

Рубрики:

      
6.

Братенко М.К. 
4-Карбофункціоналізовані піразоли: автореф. дис. ... д-ра хім. наук : 02.00.03 / М.К. Братенко ; Нац. ун-т "Львів. політехніка". — Л., 2010. — 39 с. — укp.

Розроблено комплексний підхід до цілеспрямованої трансформації карбофункціоналізованих угруповань у положенні 4 піразольного ядра з метою конструювання біологічно активних ациклічних і гетероциклічних ансамблів і конденсованих систем. Запропоновано методологію синтетичного застосування 4-формілпіразолів і продуктів їх конденсації з рядом N- та C-нуклеофілів для побудови складних і перспективних біологічно активних молекул: піразоло[3,4-d]піридазинів, первинних, вторинних, третинних 4-піразолілметиламінів, 4-піразолілтіазолідин-4-онів, піразоліл-4-амінометилфосфонових кислот, піроло[2,3-d]піразолів, 5-[піразол-4-іл]-2-піразолінів, 4-(5-ізолксазоліл)піразолів, (піразол-4-іл)3,4-дигідропіримідин-2-онів(тіонів). Оптимізовано відомі та розроблено альтернативні високопродуктивні методи одержання 4-піразолкарбонових, піразол-4-оцтових, 3-(піразол-4-іл)пропенових, 2-(бензоїламіно)-3-піразол-4-ілпропанових, 2-аміно-3-(піразол-4-іл)пропанових кислот і вивчено їх хімічні властивості та напрямки синтетичного застосування. Встановлено, що піразол-4-карбонові кислоти та 4-амінометилпіразоли є зручними базовими системами для одержання високореакційних електрофільних реагентів: 4-ізоціанатопіразолів, 4-ізоціанатометилпіразолів, 4-карбонілізотіоціанатопіразолів, 4-ізотіоціанатометилпіразолів. Систематично досліджено поведінку одержаних електрофілів відносно типових нуклеофільних реагентів. Розроблено ефективний підхід до важкодоступних високореакційних 4-хлорометилпіразолів, на основі яких вперше одержано синтетично перспективні реагенти: 4-піразолілметилтрифенілфосфонієві солі, -тіоли, -тіо(ізотіо)ціанати, -азиди, -іміди, -ізоціанати, -ціаніди. Запропоновано нову методологію синтезу біологічно активних 4,5-дигідро-2Н-піразоло[4,3-c]хінолінів, яка грунтується на внутрішньомолекулярному арилюванні N-алкіл[3-(2-хлорфеніл)-4-піразоліл]метиламінів.

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


Індекс рубрикатора НБУВ: Г262.1,0
Шифр НБУВ: РА371897 Пошук видання у каталогах НБУВ 

Рубрики:

      
7.

Якунін Я.Ю. 
4-незаміщені З-ціанопіридин-2(1H)-тіони: синтез реакцією карбонілфункціоналізованих етоксиолефінів з ціанотіоацетамідом, будова та властивості: Автореф. дис... канд. хім. наук: 02.00.03 / Я.Ю. Якунін ; Харк. нац. ун-т ім. В.Н.Каразіна. — Х., 2001. — 18 с. — укp.

Розроблено методи синтезу нових 4-незаміщених 3-ціанопіридин-2(1Н)-тіонів на базі взаємодії електрофільних олефінів (етоксиметилен-похідних диетилового естеру малонової кислоти, ацетилацетону, трифтортеноїлацетону, трифторбензоїлацетону та ацетаніліду) з ціанотіоацетамідом, вивчено будову та властивості продуктів реакції. Виявлено особливості перебігу даних реакцій у присутності N-метилморфоліну, вивчено алкілування отриманих піридинтіонів за атомом сірки, синтез тієно[2,3-b]піридинів і бромідів 2,3-дигідротіазоло[3,2-a]піридинію. Продемонстровано деякі препаративні можливості вперше отриманого 5-бромацетил-6-метил-2-метилтіо-3-ціанопіридину.

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


Індекс рубрикатора НБУВ: Г263.21 + Л662.263.21
Шифр НБУВ: РА313657 Пошук видання у каталогах НБУВ 

Рубрики:

      
8.

Єфімова І. С. 
4-сульфо-2(4'-сульфонафталін-1'-азо)нафтол-1-редокс-реагент для фотометричного визначення ряду іонів металів у вищих ступенях окиснення: автореф. дис. ... канд. хім. наук : 02.00.02 / І. С. Єфімова ; Фіз.-хіміч. ін-т ім. О.В.Богатського НАН України. — О., 2010. — 16 с. — укp.

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

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


Індекс рубрикатора НБУВ: Г252.411.3 + Г461.313.2
Шифр НБУВ: РА372970 Пошук видання у каталогах НБУВ 

Рубрики:

      
9.

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

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

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


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

Рубрики:

      
10.

Харук А. І. 
Авіаційна промисловість України як складова військово-промислового комплексу у 1910-ті - 1980-ті роки: автореф. дис. ... д-ра іст. наук : 20.02.22 / А. І. Харук ; Нац. ун-т "Львів. політехніка". — Л., 2011. — 32 с. — укp.

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

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


Індекс рубрикатора НБУВ: Т3(4УКР)6-24 + Ц651(4УКР)1:6
Шифр НБУВ: РА381408 Пошук видання у каталогах НБУВ 

Рубрики:

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

      
11.

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

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

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


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

Рубрики:

      
12.

Зимомря І. М. 
Австрійська мала проза XX століття: генологічна парадигма і проблеми рецепції: автореф. дис. ... д-ра філол. наук : 10.01.04,10.01.06 / І. М. Зимомря ; Київ. нац. ун-т ім. Т. Шевченка. — К., 2011. — 39 с. — укp.

Розкрито феномен австрійської малої прози, специфіку їі рецептивної та генологічної парадигм у контексті німецькомовного літературного процесу. Уперше в українському літературознавстві на контекстуальному фоні розглянуто особливості поетики австрійської малої прози XX ст. у типологічних зрізах і зіставленнях з німецькою малою прозою аналізованого періоду, а звідси - і такі складники дослідження, як рецептивна естетика та генологічна парадигма. Аналіз історико-літературного матеріалу увібрав широке коло праць австрійських, німецьких, швейцарських, українських, польських, російських, словацьких, чеських, болгарських, угорських літературознавців. На основі детального розгляду дослідницького масиву, що містить розгалужений комплекс актуальних питань для словесної науки на новітньому етапі її розвитку, розроблено авторську концепцію інтерпретації художніх зразків малої епічної форми австрійських письменників (К. Е. Францоз, А. Шніцлер, Г. Гофманнсталь, Р. М. Рільке, Ф. Кафка, Р. Музіль, Й. Рот, І. Айхінгер, І. Бахманн, Т. Бернгард, А. Зєлінскі, П. Гандке, Е. Фітцбауер, М. Ган, Г. Кунер).

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


Індекс рубрикатора НБУВ: Ш5(4АВС)6-334
Шифр НБУВ: РА381655 Пошук видання у каталогах НБУВ 

Рубрики:

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

      
13.

Шевченко С.Л. 
Автентичність екзистенції в "негативному" та "позитивному" екзистенціалізмі: автореф. дис... канд. філософ. наук: 09.00.05 / С.Л. Шевченко ; Ін-т філос. ім. Г.С.Сковороди НАН України. — К., 2009. — 19 с. — укp.

Досліджено поняття автентичності існування в "негативному" та "позитивному" екзистенціалізмі. На підставі історико-філософського та компаративного аналізу концепцій С. Кіргегора, К. Ясперса, М. Гайдегера, Г. Марселя, Ж.-П. Сартра, Н. Аббаньяно, О.Ф. Больнова висвітлено еволюцію поняття "екзистенція". Досліджено процес імплантації класично-екзистенціалістичних ідей у сучасну філософію та екзистенціально-гуманістичну психологію. Феномен екзистенції у класичному екзистенціалізмі розглянуто як специфічну смислову матрицю структури людського буття й особливий тип духовного самоздійснення людини, взаємопов'язаний з її здатністю діяти за умов зростання різноманіття сучасного швидкоплинного світу, реалізовувати власні творчі потенції, проявляти креативні здібності для зноходження адекватного вирішнення проблем сьогодення.

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


Індекс рубрикатора НБУВ: Ю3(4НІМ)6-663 + Ю3(4ФРА)6-663 +
Шифр НБУВ: РА363656

Рубрики:

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

      
14.

Цяпа А.Г. 
Автобіографія як проекція творця та національної літературно-культурної традиції (Улас Самчук, Еліас Канетті): Автореф. дис... канд. філол. наук: 10.01.05 / А.Г. Цяпа ; Терноп. нац. пед. ун-т ім. В.Гнатюка. — Т., 2006. — 20 с. — укp.

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

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


Індекс рубрикатора НБУВ: Ш401.444.32 + Ш5(0)-31 +
Шифр НБУВ: РА346066

Рубрики:

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

      
15.

Кулик В.В. 
Автодинний ефект в НВЧ генераторах хаотичних коливань: Автореф. дис... канд. фіз.-мат. наук: 01.04.03 / В.В. Кулик ; НАН України. Ін-т радіофізики та електрон. ім. О.Я.Усикова. — Х., 2005. — 16 с.: рис. — укp.

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

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


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

Рубрики:

      
16.

Голота В.І. 
Автоемісійні мікрокатоди з елементами керування на структурах "кремній-на-ізоляторі": автореф. дис... канд. техн. наук: 05.27.01 / В.І. Голота ; Нац. ун-т "Львів. політехніка". — Л., 2009. — 20 с. — укp.

Надано результати дослідження кремнієвих автоемісійних мікрокатодів з елементами керування на структурах "кремній-на-ізоляторі" для застосування у цифровій електронній літографії. Доповнено рівняння Фаулера-Нордгейма з метою розрахунку автоемісії напівпровідників. Удосконалено методи розрахунку електронної оптики мікрокатода, спосіб і схему керування мікрокатодом. Обгрунтовано умови застосування компактних моделей МОН-транзисторів. Розроблено спосіб виготовлення локальних тривимірних КНІ-структур і показано приклади їх застосування. Розроблено та верифіковано топологію схеми керування, інтегрованої з мікрокатодом, наведено приклад її тиражування в матрицю. Показано розрахункові й експериментальні характеристики тестових структур.

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


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

      
17.

Лукавецький О.В. 
Автоімунний тироїдит (патогенез, патоморфоз, діагностика, консервативне і хірургічне лікування): Автореф. дис... д-ра мед. наук: 14.01.03 / О.В. Лукавецький ; Львів. держ. мед. ун-т ім. Д.Галицького. — Л., 2001. — 31 с. — укp.

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

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


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

Рубрики:

      
18.

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

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

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


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

Рубрики:

      
19.

Пашков О.М. 
Автоматизація бібліотек: історико-бібліотекознавчий аспект (II половина XX - початок XXI ст.): Автореф. дис... канд. іст. наук: 07.00.08 / О.М. Пашков ; Київ. нац. ун-т культури і мистецтв. — К., 2005. — 20 с. — укp.

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

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


Індекс рубрикатора НБУВ: Ч734(4/8)75 с51 +
Шифр НБУВ: РА336130

Рубрики:

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

      
20.

Ляшенко І.Ю. 
Автоматизація бібліотечних процесів з використанням інформаційних мережевих технологій: Автореф. дис... канд. техн. наук: 05.13.06 / І.Ю. Ляшенко ; НАН України. Нац. б-ка України ім. В.І.Вернадського. — К., 1998. — 17 с. — укp.

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

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


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

Рубрики:
...
 

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