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

Рубрики:

Термоелектричні явища

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

Наведено бібліографію науково-педагогічних праць професора, кандидата технічних наук, декана машинобудівного факультету Українського державного морського технічного університету ім. адмірала Макарова В.М.Горбова.

Приведена библиография научно-педагогических трудов профессора, кандидата технических наук, декана машиностроительного факультета Украинского государственного морского технического университета им. адмирала Макарова В.М.Горбова.

Наведено бібліографію праць відомого українського вченого, доктора технічних наук, професора, ректора Українського державного морського технічного університету імені адмірала Макарова Г.Ф.Романовського.

Приведена библиография трудов известного украинского ученого, доктора технических наук, профессора, ректора Украинского государственного морского технического университета имени адмирала Макарова Г.Ф.Романовского.

Наведено бібліографію праць відомого українського спеціаліста в галузі зварювання, доктора технічних наук, професора Українського державного морського технічного університету імені адмірала Макарова В.Ф.Квасницького.

Приведена библиография трудов известного украинского специалиста в области сварки, доктора технических наук, профессора Украинского государственного морского технического университета имени адмирала Макарова В.Ф.Квасницкого.

Наведено бібліографію науково-педагогічних праць доктора технічних наук, професора, академіка, першого проректора Українського державного морського технічного університету ім. адмірала Макарова О.М.Дубового.

Приведена библиография научно-педагогических трудов доктора технических наук, профессора, академика, первого проректора Украинского государственного морского технического университета им. адмирала Макарова А.Н.Дубового.

Наведено бібліографію праць викладачів та наукових співробітників Миколаївського кораблебудівного інституту - Українського державного морського технічного університету періоду 1971 - 2002 рр.

Приведена библиография трудов преподавателей и научных сотрудников Николаевского кораблестроительного института - Украинского государственного морского технического университета периода 1971 - 2002 гг.

Освещены жизненный путь и научная деятельность А.С.Рашковского - доктора технических наук, профессора, Заслуженного деятеля науки и техники Украины, Лауреата Государственной премии Украины в области науки и техники, академика Академии инженерных наук Украины, заведующего кафедрой технологии судостроения Национального университета кораблестроения им. адмирала Макарова. Приведен указатель научных трудов ученого (монографий, учебников, научных и научно-технических статей, тезисов докладов на научных конференциях и симпозиумах) за период 1964 - 2006 гг.

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

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

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

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

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

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

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

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

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

Рубрики:

Електричні і магнітні властивості напівпровідників

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

Індекс рубрикатора НБУВ: Р410.09-549

Рубрики:

Серцево-судинна недостатність

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

Індекс рубрикатора НБУВ: Р410.09-54

Рубрики:

Серцево-судинна недостатність

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

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

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

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

Індекс рубрикатора НБУВ: П415.26 + П25-272.53

Рубрики:

Отрутохімікати

Плодівництво

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