![](/irbis64r_81/images/db_navy.gif) Віртуальна довідка ![](/irbis64r_81/images/db_navy.gif) Тематичний інтернет-навігатор ![](/irbis64r_81/images/db_navy.gif) Наукова електронна бібліотека ![](/irbis64r_81/images/db_navy.gif) Автореферати дисертацій ![](/irbis64r_81/images/db_navy.gif) Реферативна база даних ![](/irbis64r_81/images/db_navy.gif) Книжкові видання та компакт-диски ![](/irbis64r_81/images/db_navy.gif) Журнали та продовжувані видання
![Mozilla Firefox](../../ico/mf.png) |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Формат представлення знайдених документів: | повний | стислий |
Пошуковий запит: (<.>K=ІНЖЕНЕР$<.>+<.>K=БУДІВЕЛЬНИК$<.>) |
Загальна кількість знайдених документів : 1005
Представлено документи з 1 до 20
|
| |
| | | | |
1. |
Болдог І.Й. 4,4 prime-біпіразоли - нові багатофункціональні тектони у контексті кристалічної інженерії: Автореф. дис... канд. хім. наук: 02.00.01 / І.Й. Болдог ; Київ. нац. ун-т ім. Т.Шевченка. — К., 2005. — 17 с.: рис. — укp. Скачати повний текст
Індекс рубрикатора НБУВ: Г721.182-4 + Г522.2,0 + Шифр НБУВ: РА335398
Рубрики:
|
| | | | |
2. |
Примак А.І. Автономні екологічно чисті системи теплопостачання з сезонними підземними акумуляторами теплоти: автореф. дис... канд. техн. наук: 05.14.08 / А.І. Примак ; Ін-т відновлюв. енергетики НАН України. — К., 2009. — 20 с. — укp.Розглянуто метод побудови графіків теплового навантаження систем теплопостачання з підземними сезонними акумуляторами теплоти та визначено теплове навантаження об'єкту у разі використання декількох джерел енергії, наведено можливіть розрахувати потужність і кількість теплоти, яка генерується кожним джерелом енергії окремо. Удосконалено інженерний метод розрахунків основних технічних параметрів сезонного підземного акумулятора теплоти у водоносному горизонті, дозволено виконувати обчислення зміни у часі втрат тиску на циркуляцію проміжного теплоносія за різних дебітах діючих свердловин. Наведено результати й аналіз експериментальних досліджень впливу пористості та вологості на теплофізичні властивості (теплопровідність, температуропровідність, теплоємність) грунтів, розповсюджених на території м. Пирятин. Визначено умови, за яких створення й експлуатація автономних систем теплопостачання з сезонними підземними акумуляторами теплоти є економічно доцільним. Скачати повний текст
Індекс рубрикатора НБУВ: З387 + Шифр НБУВ: РА368956
Рубрики:
|
| | | | |
3. |
Русанова О.О. Алгоритмічний підхід у навчанні майбутніх інженерів-гірників вищих технічних навчальних закладів: Автореф. дис... канд. пед. наук.: 13.00.04 / О.О. Русанова ; Ін-т педагогіки і психології проф. освіти АПН України. — К., 2006. — 20 с. — укp.Досліджено теоретико-методичні проблеми організації алгоритмічного навчання студентів як ефективну форму підвищення якості професійної підготовки майбутніх інженерів-гірників. Розкрито суть понять "комплексний алгоритмічний підхід" і "комплексна алгоритмізація" навчального процесу з використанням сучасних комп'ютерних засобів у навчальній діяльності викладачів і студентів. Теоретично обгрунтовано, розроблено й експериментально перевірено технологію комплексного алгоритмічного навчання студентів гірничого профілю, що базується на використанні сучасних комп'ютерних засобів й інформаційного забепечення. Скачати повний текст
Індекс рубрикатора НБУВ: И.р(4УКР)3 + Шифр НБУВ: РА348260
Рубрики:
Географічні рубрики:
|
| | | | |
4. |
Горін О.М. Альтернативні системи охолодження і кондиціонування повітря з використанням випарного охолодження: Автореф. дис... д-ра техн. наук: 05.05.14 / О.М. Горін ; Одес. держ. акад. холоду. — О., 2007. — 39 с. — укp.Розглянуто питання розвитку наукових та інженерних основ створення альтернативних систем кондиціонування повітря з використанням методів випарного охолодження. Описано випарні охолодники непрямого типу (НВО), у яких охолодження повітря відбувається без прямого контакту з водою. Розроблено НВО на базі апаратів плівкового типу з багатоканальною структурою насадки та роздільним рухом потоків газу та рідини, а також регулярною шорсткістю поверхні, як метод інтенсифікації тепломасообміну. Проведено моделювання процесів сумісного тепломасопереносу у НВО з урахуванням термічних опорів потоків газу та рідини, особливостей течії рідинної плівки на поверхнях із регулярною шорсткістю поверхні, характеру розподілу сухих і змочених ділянок поверхні насадження. Одержано залежності, що забезпечують розрахунок і проектування охолодників. Розглянуто умови роботи випарних охолодників прямого та непрямого типів, комбінованих і багатоступеневих. Відзначено, що створення випарно-парокомпресійних систем допомагає "включити" випарний охолодник на високому температурному рівні, проаналізовано ефективність використання допоміжного повітряного потоку для обдування конденсатора холодильної машини, зниження витрати води на підживлення замість випаруваної у НВО. Доведено, що за відносної вологості 35 - 45 % витрати на випарювання компенсуються повністю. Скачати повний текст
Індекс рубрикатора НБУВ: Н762 + Шифр НБУВ: РА350652
Рубрики:
|
| | | | |
5. |
Макух Г.В. Аналіз мутацій гена CFTR (ТРБМ) у хворих високого ризику муковісцидозу із Західного регіону України: Автореф. дмс... канд. біол. наук. 03.00.15 / Г.В. Макух ; НАН України. Ін-т клітин. біології та генет. інженерії. — К., 2001. — 16 с. — укp.Встановлено частоти та спектр найпоширеніших мутацій гена ТРБМ серед хворих на муковісцидоз, які мешкають на Заході України: delF508 (екзон 10) - 47,6 %, W1282X (екзон 20) - 3,2 %; G542X (екзон 11) - 2,4 %; N1303K (екзон 21) - 2,4 %; CFTRdele2,3(21kb) - 1,6 %. Вперше на підставі аналізів обстежених хворих ідентифіковано мутацію 272del11 (екзон 14а). Показано, що наявність у генотипі мажорної мутації delF508, особливо у гомозиготному стані, асоціюється з важкими клінічними проявами захворювання та вищим ступенем летальності, на відміну від пацієнтів з іншими генотипами. За результатами досліджень встановлено значний генетичний та клінічний поліморфізм випадків муковісцидозу, доведено необхідність проведення молекулярно-генетичного аналізу щодо знайдення гена ТРБМ у разі діагностування цього захворювання. Скачати повний текст
Індекс рубрикатора НБУВ: Р733.419.9-2 Шифр НБУВ: РА316841 Пошук видання у каталогах НБУВ
Рубрики:
|
| | | | |
6. |
Наріжний Д.Ю. Аналіз політичних технологій та особливостей їх застосування в транзитивному суспільстві: Автореф. дис... канд. політ. наук: 23.00.02 / Д.Ю. Наріжний ; Дніпропетр. нац. ун-т. — Д., 2004. — 19 с. — укp.Досліджено комплекс соціальних технологій, які реалізуються у політичній сфері (технології політичного менеджменту, державного управління, виборчих кампаній, комунікативні технології) та особливості їх застосування в транзитивному суспільстві, тобто суспільстві, яке перебуває в процесі складних соціально-політичних перетворень. Відзначено провідну роль соціальних і політичних технологій у системі управління суспільства та процесами, що відбуваються в ньому. Здійснено аналіз і класифікацію політичних технологій за різними підставами, систематизовано їх фунції та принципи застосування. Класифіковано функції політичного управління. Визначено технологічні етапи управлінської дії. Проаналізовано технології маніпулювання, впливу та панування, роль політичного міфу в управлінській діяльності. Виявлено основні різновиди маніпуляцій свідомістю виборців. Класифіковано PR-технології, технології підвищення ефективності управління та зниження управлінського ризику у сферї політики, а також технології формування інформаційної відкритості системи політичного управління в транзитивному суспільстві. Виявлено особливості управління політичним маркетингом у ході виборчих кампаній. Визначено суть індустрії політичної інженерії. Систематизовано існуючі в сучасній політичній науці концепції та теоретичні підіходи до політичних технологій. Скачати повний текст
Індекс рубрикатора НБУВ: Ф023 + Ф053 + Ф043.1 + Ф056 + Шифр НБУВ: РА330425
Рубрики:
|
| | | | |
7. |
Сатарова Т.М. Андрогенез та ембріокультура у кукурудзи in vitro: Автореф. дис... д-ра біол. наук: 03.00.20 / Т.М. Сатарова ; НАН України. Ін-т клітин. біології та генет. інженерії. — К., 2002. — 41 с.: рис. — укp.Визначено генетичні, екологічні, цитологічні та морфологічні особливості індукції андрогенезу у культурі пиляків різних генотипів кукурудзи, охарактеризовано процеси калусогенезу та регенерації у культурі пилкових ембріоїдів та особливості рослин-регенерантів андрогенетичного походження. Доведено, що здатність до індукції андрогенезу у культурі пиляків кукурудзи визначається різним співвідношенням адитивних і домінантних ефектів, а також взаємодією неалельних генів, причому умови зовнішнього середовища здатні впливати на наявність та силу прояву генних ефектів. Вперше проаналізовано вплив генотипу та віку незрілих зародків кукурудзи на проростання за умов in vitro. Створено біологічні технології одержання андрогенних рослин кукурудзи у культурі пиляків in vitro та додаткових генерацій рослин протягом року за рахунок використання ембріокультури in vitro. Скачати повний текст
Індекс рубрикатора НБУВ: П212.2-31 + Е50*332.26 + Шифр НБУВ: РА322117
Рубрики:
|
| | | | |
8. |
Дубинський В.П. Архітектурно-художні принципи формування світло-кольорового середовища сучасного міста: Автореф. дис... канд. архіт.: 18.00.01 / В.П. Дубинський ; Харк. держ. техн. ун-т буд-ва та архіт. — Х., 2007. — 20 с. — укp.Виявлено закономірності формування світло-кольорового середовища (СКС) сучасного міста. Визначено, що СКС міста є ієрархічною системою з інтегрованою взаємодією, відкритих і закритих архітектурних просторів з джерелами й установками штучного освітлення, яка забезпечує цілий ряд функцій для життєдіяльності населення міста. Його основні якісні та кількісні характеристики зумовлені функцією світла та кольору в архітектурному середовищі. Процес формування СКС сучасного міста залежить від комплексу основних чинників, а саме: містобудівних, природно-кліматичних, інженерно-технічних, естетичних і здійснюється поетапно. Виявлено основні етапи формування СКС міста з використанням природного та штучного світла. Проаналізовано зарубіжний досвід формування СКС сучасного міста та визначено його просторову структуру, яку виявляють світлопланувальні "каркас" і "тканина" сучасного міста. Даний "каркас" формується інфраструктурою транспортно-пішохідних комунікацій з підсистемою житлових і промислових функцій. Світлопланувальну "тканину" міста формують об'єкти міського центру та ландшафтно-рекреаційних територій міста. Надано рекомендації щодо формування їх основних структурних одиниць. Виявлено композиційні задачі формування СКС сучасного міста, які запропоновано визначати на макро- та мікрорівні. Створення світло-кольорового середовища міста є комплексною проблемою з інтегрованим рішенням інженерно-технічних і архітектурно-художніх задач. Формування світло-кольорового середовища запропоновано здійснювати з урахуванням розроблених архітектурно-художніх принципів проектування та розробкою світло-кольорового генплану міста. Скачати повний текст
Індекс рубрикатора НБУВ: Щ110.541 + Н820.2 + Шифр НБУВ: РА349228
Рубрики:
|
| | | | |
9. |
Джантіміров А.Ю. Багаторівнева підготовка інженерно-педагогічних кадрів для професійно-технічних навчальних закладів: автореф. дис... канд. пед. наук: 13.00.04 / А.Ю. Джантіміров ; Ін-т пед. освіти і освіти дорос. АПН України. — К., 2007. — 21 с. — укp.Досліджено історико-соціальні аспекти становлення та розвитку інженерно-педагогічної освіти в Україні. Проаналізовано досвід підготовки педагогічних кадрів для професійно-технічної школи у країнах Європи. Визначено вимоги Болонської декларації. Систематизовано основні концептуальні та методологічні засади та принципи, за якими можливе реформування інженерно-педагогічної освіти України. На підставі визначених сучасних проблем, що стосуються підготовки та комплектування професіонально-технічних навчальних закладів (ПТНЗ) інженерно-педагогічними кадрами, ретельного методологічного аналізу психолого-педагогічної складової підготовки, а також удосконаленого комплексу вимог до освітньо-кваліфікаційних характеристик даних кадрів запропоновано модель неперервної багаторівневої інженерно-педагогічної освіти в Україні та здійснення її реалізації шляхом впровадження мережі регіональних багаторівневих інженерно-педагогічних навчальних комплексів, діяльність яких має спрямовуватися на задоволення потреб регіональних ПТНЗ у педагогічних кадрах різних освітньо-кваліфікаційних рівнів. Скачати повний текст
Індекс рубрикатора НБУВ: Ж6р(4УКР)3-2 + Шифр НБУВ: РА354508
Географічні рубрики:
|
| | | | |
10. |
Франко Ю. А. Багатофункціональні сонячні системи тепло-холодопостачання і кондиціювання повітря: автореф. дис. ... канд. техн. наук : 05.05.14 / Ю. А. Франко ; Одес. держ. акад. холоду . — О., 2010. — 21 с. — укp.Досліджено розвиток наукових та інженерних основ створення багатофункціональних сонячних систем з використанням методів випарного охолодження середовищ. Встановлено, що найбільш перспективне включення випарних охолоджувачів у склад осушувально-випарних систем на основі відкритого абсорбційного циклу з прямою регенерацією абсорбенту, що дозволяє знизити енерговитрати, оскільки традиційний десорбер і сонячна система нагрівання теплоносія тут замінюється сонячним регенератором абсорбенту. Розроблено схемні рішення сонячних систем кондиціювання повітря (ССКП) на основі сонячних колекторів-регенераторів (СК/Р). Зазначено, що газо-рідинні СК/Р забезпечують відновлення концентрації абсорбенту та підтримку безперервності циклу на основі сонячної енергії, що забезпечує як необхідне підведення тепла для регенерації, так і рух повітряного потоку над поверхнею абсорбенту. Виконано теоретичне й експериментальне дослідження особливостей плівкових течій з похилих поверхонь, включаючи питання сталості течій. Розроблено випарні охолоджувачі (ВО) (повітроохолоджувач і градирня) на основі апаратів плівкового типу з багатоканальною багатошаровою структурою полімерної насадки та роздільним рухом потоків газу та рідини. Виконано моделювання процесів тепломасопереносу в ВО. Скачати повний текст
Індекс рубрикатора НБУВ: З638 Шифр НБУВ: РА375543 Пошук видання у каталогах НБУВ
Рубрики:
|
| | | | |
11. |
Нестерук С.В. Багатоцільова антенна решітка з цифровим керуванням: автореф. дис... канд. техн. наук: 05.12.07 / С.В. Нестерук ; Одес. нац. акад. зв'язку ім. О.С.Попова. — О., 2009. — 20 с. — укp.Досліджено електродинамічні характеристики багатоцільової антенної решітки (АР) та розробки на її базі антени для багатофункціональних радіотехнічних систем. Проведено інженерний розрахунок характеристик спрямованості дугової антенної решітки (ДАР) з метою виявлення загальної закономірності їх формування. Визначено, що ДАР формує підвищений рівень бічного випромінювання. Запропоновано метод керування амплітудно-фазовим збудженням в елементах АР. Побудовано математичну модель наведених електрорушійних сил (ЕРС) та проведено його експериментальне дослідження, що підтвердило можливість керування параметрами поляризації поля, що випромінюється даним елементом. Розроблено математичні моделі цифрового керування характеристиками спрямованості АР і методу амплітудного керування параметрами поляризації випромінюваного поля. Проведено комп'ютерне моделювання ДАР, складеної з розроблених випромінювачів і такою, що керується з використанням розроблених методів. Зазначено, що застосування методу керування амплітудним збужденням показало високий ступінь стійкості оптимізаційного алгоритму, що дозволяє зберегти один і той же амплітудний розподіл у всій робочій смузі частот. Продемонстровано можливість керування поляризацією поля в межах головної пелюстки діаграми спрямованості (ДС) ДАР. Скачати повний текст
Індекс рубрикатора НБУВ: З845.47-01 + Шифр НБУВ: РА366280
Рубрики:
|
| | | | |
12. |
Гриценко В.П. Безконтактна оцінка переміщень і деформацій будівельних конструкцій у випробуваннях: Автореф. дис... канд. техн. наук: 05.23.01 / В.П. Гриценко ; Харк. держ. техн. ун-т буд-ва і архіт. — Х., 2000. — 17 с. — укp.Визначено коло питань у галузі експериментальних досліджень інженерних споруд, що потребують підвищеної точності вимірювання переміщень і деформацій. Досліджено особливості визначення переміщень та деформації у механіці деформованого твердого тіла з точки зору необхідності високої точності вимірювань переміщень. Розроблено методику використання лазерної інтерферометрії для безконтактної оцінки розташування об'єктів та їх переміщень і деформації. Проведено експериментальні дослідження переміщень будівельних конструкцій, а також проаналізовано їх точність у порівнянні з методами традиційної тензометрії. Запропоновано методику та практичні рекомендації щодо застосування методів лазерної інтерферометрії для експериментальних досліджень будівельних конструкцій, будівель та споруд. Скачати повний текст
Індекс рубрикатора НБУВ: О53-028.02 Шифр НБУВ: РА309754 Пошук видання у каталогах НБУВ
Рубрики:
|
| | | | |
13. |
Харченко В.В. В'язкопластичні ефекти в процесах високошвидкісного локального деформування матеріалів та елементів конструкцій: Автореф. дис... д-ра техн. наук: 05.02.09 / В.В. Харченко ; НАН України. Ін-т пробл. міцності. — К., 1998. — 32 с. — укp. Скачати повний текст
Індекс рубрикатора НБУВ: Ж306.23
Рубрики:
|
| | | | |
14. |
Мельник В.М. Варіабельність pДНК деяких видів роду IGentiana/I L. у природі та культурі Iin vitro/I: Автореф. дис... канд. біол. наук: 03.00.15 / В.М. Мельник ; НАН України. Ін-т клітин. біології та генет. інженерії. — К., 2005. — 20 с.: рис. — укp.За результатами експериментальних робіт одержано нові дані стосовно варіабельності рДНК деяких видів роду Gentiana L. Показано наявність індивідуальної та міжпопуляційної варіабельності 18S і 25S рДНК для виду G. lutea, а також міжвидового поліморфізму ДНК і рДНК зокрема, для чотирьох досліджених видів роду Gentiana L. (G. acaulis, G. asclepiadea, G. lutea, G. punctata). На підставі даних картування 18S - 25S рибосомної ДНК тирличів установлено, що виявлені відмінності довжини повторів рДНК зумовлені варіабельністю в ділянці нетранскрибованого міжгенного спейсера, а транскрибовані частини 18S - 25S рДНК є консервативними в усіх видів. Показано, що геноми клітин видів роду Gentiana L. (G. acaulis, G. lutea, G. punctata) у процесі культивування за умов in vitro зазнають змін на молекулярному рівні. Установлено, що зміни 18S - 25S рДНК G. lutea за умов ізольованого росту клітин на штучних живильних середовищах не перебільшують меж внутрішньовидової мінливості. Відзначено, що виявлена закономірність геномних перебудов у процесі адаптації клітин до умов росту in vitro певною мірою дає змогу прогнозувати ці зміни в культурі in vitro. Скачати повний текст
Індекс рубрикатора НБУВ: Е522.927.11 Gen*44 + Шифр НБУВ: РА335098
Рубрики:
|
| | | | |
15. |
Філонова Л.Г. Введення в культуру in vitro тису ягідного (Taxus baccata L.) і отримання таксол-продукуючих калюсних ліній: Автореф. дис... канд. біол. наук: 03.00.22 / Л.Г. Філонова ; НАН України. Ін-т клітин. біології і генет. інженерії. — К., 1999. — 19 с. — укp.Мета даної роботи - вивчення закономірностей калюсоутворення та продукування протиракового препарату таксолу в культурах клітин тису ягідного (Taxus baccata L.). Вивчено розподіл вмісту таксолу між окремими частинами рослин тису в 15-ти клонах T. baccata і 3-х клонах T. cuspidata. Встановлено міжклональну варіабельність вмісту таксолу в корі стовбура, річних клонах та хвої досліджуваних видів. Найбільший вміст таксолу та найменша його міжклональна варіабельність характерні для кори стовбура. Розроблена методика отримання калюсу з вегетативних бруньок, пиляків, насіння та пагонів T. baccata. Підібраний оптимальний склад поживних середовищ та умови культивування для кожного типу експлантів. Виявлено, що для культури тису баланс співвідношення амонію до нітрату важливіший, ніж загальний вміст неорганічного азоту в середовищі. Гістологічний аналіз клітин тису показав, що найбільша проліферативна активність in vitro характерна для камбію і паренхіми флоеми. Розроблена процедура культивування протопластів T. baccata. Мікроколонії проявляли проліферативну активність протягом перших 7-14 діб. Потім клітинний поділ припинявся, але мікроколонії зберігали життєздатність протягом 2-х тижнів. Аналіз вмісту таксолу в отриманих калюсних лініях T. baccata за допомогою високоефективної рідинної хроматографії - обернений варіант - показав наявність у них речовини в кількостях, що характерні для рослин-донорів. Отримані калюсні лінії T. baccata, що стабільно ростуть і зберігають біосинтетичну активність при тривалому культивуванні. Скачати повний текст
Індекс рубрикатора НБУВ: П214.39 тис ягідний
Рубрики:
|
| | | | |
16. |
Семид'янова О. С. Вдосконалення методів організації та технології внутрішніх опоряджувальних робіт: автореф. дис. ... канд. техн. наук : 05.23.08 / О. С. Семид'янова ; Придніпр. держ. акад. буд-ва та архіт. — Д., 2011. — 18 с. — укp.Вдосконалено технологію виробництва підготовчих робіт та внутрішніх опоряджувальних робіт. Визначено залежності часу висихання монтажного клею у ході робіт з монтажу гіпсокартонних листів від відхилення конструкцій від проектного положення. Запропоновано організаційно-технологічні схеми, які дозволяють скоротити тривалість внутрішніх трудових ресурсів за обмеженого обсягу робіт і з обмеженим загальним резервом часу. Розроблено методичний підхід до визначення розрахункової тривалості внутрішніх опоряджувальних робіт. Основні результати роботи впроваджено у діяльність ТОВ "Ідеал МК", а також використані в навчальному процесі Запорізької державної інженерної академії. Скачати повний текст
Індекс рубрикатора НБУВ: Н639 + Н639-6 Шифр НБУВ: РА379192 Пошук видання у каталогах НБУВ
Рубрики:
|
| | | | |
17. |
Дячук М.В. Вдосконалення розрахункових методів оцінки параметрів вібронавантаженності несучих систем автомобіля: Автореф. дис... канд. техн. наук: 05.22.02 / М.В. Дячук ; Харк. нац. автомоб.-дорож. ун-т. — Х., 2005. — 20 с.: рис. — укp.Розроблено методи, алгоритми, динамічні моделі автомобіля для елементів системи дорога - шина - несуча система. Створено аналітичну методику прогнозування випадкових напружень у лонжеронах кінцевої жорсткості рами вантажного довгобазного автомобіля з використанням методів спектральної теорії підресорювання транспортних засобів і методів будівельної механіки. Удосконалено методику числового моделювання стохастичних дорожніх збурювань (дорожнього мікропрофілю) на базі швидкого перетворювання Фур'є з необхідним ступенем точності за інтервалами та коінтервалами Найквіста. Підвищено точність розрахунків ланцюгових моделей підвісок автомобільних транспортних засобів шляхом розробки нелінійної математичної моделі шини на підставі її гістерезисної характеристики. Проаналізовано роботу несучої системи на підставі даних статистичного оцінювання показників вібронавантаженості моделей автомобіля КрАЗ-6510. Виконано порівняння результатів розрахунків показників вібраційної навантаженості плоских і просторових моделей. Доведено вплив кінцевої жорсткості рами довгобазного вантажного автомобіля на розрахункові показники плавності ходу в діапазоні, що перевищує інженерну точність. Скачати повний текст
Індекс рубрикатора НБУВ: О335.4-028.4 + Шифр НБУВ: РА339463
Рубрики:
|
| | | | |
18. |
Летичевський О.О. Верифікація та тестування інтерактивних систем, специфікованих за допомогою базових протоколів: Автореф. дис... канд. фіз.-мат. наук: 01.05.03 / О.О. Летичевський ; НАН України. Ін-т кібернетики ім. В.М.Глушкова. — К., 2005. — 14 с. — укp.Розглянуто методи роботи з вимогами, що складають технологію, яка є складовою частиною процесу створення програмних систем з великою кількістю станів. Висвітлено п'ять складових частин цієї технології: формалізацію вимог у вигляді базових протоколів, пошук суперечливостей та неповноти, генерацію тестових наборів з множини вимог, синтез та аналіз динамічних властивостей моделі. Вимоги до інтерактивних систем представлено у вигляді формальних специфікацій - базових протоколів. Визначено клас базових протоколів, для якого задачі технології вирішуються без експонентного вибуху. За допомогою формалізму побудовано алгоритми верифікації базових протоколів з використанням машини доведення, а також синтез моделі за базовими протоколами. На основі методів символьного моделювання розглянуто різні критерії генерації тестів та їх застосування до генерації тестів за специфікаціями, записаними сучасними інженерними мовами - MSC, SDL, UML. Скачати повний текст
Індекс рубрикатора НБУВ: З973-018.025 + Шифр НБУВ: РА340360
Рубрики:
|
| | | | |
19. |
Книш Л.І. Вибір раціональних геометричних і динамічних параметрів фазоперехідного теплоприймача - акумулятора космічної сонячної енергетичної установки: Автореф. дис... канд. техн. наук: 05.07.05 / Л.І. Книш ; Нац. аерокосм. ун-т ім. М.Є.Жуковського "Харк. авіац. ін-т". — Х., 2003. — 18 с. — укp.Вирішено задачу забезпечення стабільної роботи космічних сонячних енергетичних установок (КСЕУ), мінімізації їх маси на підставі вибору раціональніших геометричних і динамічних параметрів теплоприймачів - акумуляторів (ТПА). Запропоновано математичну модель процесів теплообміну та гідродинаміки у ТПА, яка має двовимірний спряжений характер за нелінійних межових умов променевого теплообміну. Розроблено чисельний алгоритм, який об'єднує нестаціонарний фазовий перехід у теплоакумулюючому матеріалі та змушену конвекцію теплоносія. Визначено раціональніші параметри ТПА КСЕУ та проаналізовано особливості функціонування даних систем. Наведено нову інженерну методику визначення головних характеристик сумісних ТПА. Розроблено методику оптимізації геометричних характеристик концентратора та апертури ТПА. Надано рекомендації щодо поліпшення енергетичних і масогабаритних показників даних пристроїв. Скачати повний текст
Індекс рубрикатора НБУВ: О662.15 + Шифр НБУВ: РА323552
Рубрики:
|
| | | | |
20. |
Дубровська Вивчення молекулярно-генетичних механізмів пухлинної прогресії при Ph'- позитивних лейкеміях та їх діагностика: Автореф. дис... канд. біол. наук: 03.00.15 / Анна Миколаївна Дубровська ; НАН України; Інститут клітинної біології і генетичної інженерії. — К., 2003. — 17 с.: рис. — укp. Скачати повний текст
Індекс рубрикатора НБУВ: Р411.022-2 Шифр НБУВ: РА323101
Рубрики:
| | |
|
|