Наукова бібліотека Українського державного університету науки і технологій

Головна

Бази даних

Статті, доповіді, тези- результати пошуку

Вид пошуку

Каталог книг

Каталог книг НМетАУ (до 2022 року)

Періодичні видання (друковані)

Статті, доповіді, тези

Рідкісні та цінні видання

Охоронні документи

Мережеві ресурси

Зона пошуку

у знайденому

Знайдено у інших БД:

Каталог книг (1)

Мережеві ресурси (3)

Формат представлення знайдених документів:
повний	інформаційний	короткий

Відсортувати знайдені документи за:
автором	назвою	роком видання	типом документа

Пошуковий запит: <.>K=формалізація<.>

Загальна кількість знайдених документів : 66
Показані документи с 1 за 10

1-10 11-20 21-30 31-40 41-50 51-60

   629.4
   К 38

    Дьоміна, А.
    Формалізація системи перевезень пасажирів як мережі масового обслуговування : сборник научных трудов / А. Дьоміна, В. Мироненко // Збірник наукових праць Київського університету економіки і технологій транспорту. Сер. "Транспортні системи і технології". - К., 2001. - Т. 6. - С. 88-92

УДК

656.224

Кл.слова (ненормовані):
ПЕРЕВОЗКИ ПАССАЖИРСКИЕ

Дод.точки доступу:
Мироненко, В.
Немає відомостей про примірники (Джерело у БД не знайдене)

Знайти схожі

(Немає відомостей про примірники)
Шифр: И2/2005/5
Журнал

Інформаційно-керуючі системи на залізничному транспорті. - Виходит раз на два місяця
2005р. № 5

Зміст:
Плаксин, С. В. Информационно-управляющие системы для магнитолевитирующего транспорта. Современное состояние и тенденции развития. Часть 1 (Обзор) / С.В. Плаксин. - С.9-15
Колоколов, Ю. В. Формирование алгоритма управления для систем плавного пуска асинхронного привода с тиристорным преобразователем частоты с непосредственной связью / Ю.В. Колоколов, Д.В. Дёмкин, В.С. Елсуков. - С.27-30
Жалкін, Д. С. Аналіз сезонних коливань ефективності системи технічного обслуговування та ремонту локомотивів / Д.С. Жалкін, В.І. Коваленко. - С.43-47
Кошевий, С. В. Система автоматичної ідентифікації рухомого складу САІ "Транстелекарт" / С.В. Кошевий. - С.48-53
Великодный, В. В. Компонентно-ориентированное программирование в разработках интегрированной среды автоматизированных систем управления железнодорожного транспорта Украины / В.В. Великодный, В.В. Скалозуб, И.В. Жуковицкий и др. - С.63-68
Семчук, Р. В. Формалізація алгоритму роботи МПЦ у вигляді автомата з пам'яттю / Р.В. Семчук. - С.73-76
Бабаев, М. М. Защита асинхронных электродвигателей / М.М. Бабаев, В.Н. Терешин. - С.77-80
Бочаров, О. П. Призначення та мета створення інтегрованої інформаційно-керуючої системи управління перевізним процесом залізниць України / О.П. Бочаров, В.О. Шиш. - С.81-85
Родионов, И. В. О перспективах корпоративной системы управления железнодорожным транспортом / И.В. Родионов. - С.86-89
Разгонов, А. П. Компьютерная технология контроля механических параметров электромагнитных реле / А.П. Разгонов, А.В. Андреевских, Б.М. Бондаренко, Д.А. Безрукавий. - С.102
Інші автори: Андреевских А.В., Бондаренко Б.М., Д.А. Безрукавий
Жуковицкий, И. В. О повышении эффективности режимов работы рельсовых цепей / И.В. Жуковицкий, С.А. Разгонов. - С.104
Остапец, Д. А. Техническая структура автоматизированной системы управления скатыванием вагонов от вагоноопрокидывателя на базе промышленных микропроцессорных контроллеров / Д.А. Остапец. - С.111-112
Жуковицкий, И. В. К оценке предельных уровней помех в рельсовых цепях / И.В. Жуковицкий, С.А. Разгонов. - С.112113
Великодный, В. В. Анализ состояния и классификация вагонного парка в информационно-управляющих системах железнодорожного транспорта / В.В. Великодный, И.В. Жуковицкий. - С.113-115
Мямлин, С. В. Электромагнитная совместимость подвижного состава с рельсовыми цепями / С.В. Мямлин, А.В. Загородний, В.И. Гавилюк, А.И. Миргородская. - С.115117
Інші автори: Загородний А.В., Гавилюк В.И., А.И. Миргородская
Гаврилюк, В. И. Доказазательство безопасности и электромагнитной совмместимости тягового электроснабжения с системами железнодорожной автоматики / В.И. Гаврилюк, В.Г. Сыченко. - С.117
Жуковицкий, И. В. Построение горочного программно-задающего устройства на основе промышленного контроллера / И.В. Жуковицкий, Ю.А. Косорига. - С.113-115
Немає відомостей про примірники
Знайти схожі
Перейти до описів статей

Семчук, Р. В.
Формалізація алгоритму роботи МПЦ у вигляді автомата з пам'яттю / Р.В. Семчук // Інформ.-керуючі системи на залізн. трансп. - 2005. - №5. - С. 73-76

УДК

656.257

Кл.слова (ненормовані):
ЦЕНТРАЛИЗАЦИЯ

Є примірники у відділах:
ЧЗНЛ (11.11.2005р. Інв.ИВ-05-5 - Б.ц.) (вільний)

Знайти схожі

   06
   Х 23

    Тартаковський, Е. Д.
    Формалізація задач матеріально-технічного забезпечення при технічному обслуговуванні локомотивів / Е.Д. Тартаковський, О.Б. Бабанін // Збірник наукових праць / ХарДАЗТ. - Х., 2001. - Вип. 46 : Рухомий склад та спеціальна техніка залізничного транспорту. - С. 5-8

УДК

629.42.004.5

Кл.слова (ненормовані):
ТЕХНИЧЕСКОЕ ОБСЛУЖИВАНИЕ ЛОКОМОТИВОВ

Дод.точки доступу:
Бабанін, О.Б.
Немає відомостей про примірники (Джерело у БД не знайдене)

Знайти схожі

Шифр: З2/2007/4
Журнал

Залізничний транспорт України : науково-практичний журнал. - Виходит раз на два місяця
2007р. № 4

Зміст:
Демин, Ю. В. Математическое моделирование и динамика подвижного состава железных дорог / Ю. В. Демин, Р. Ю. Демин, А. Ю. Черняк. - С.3-8
Самсонкін, В. М. Ситуаційно-еврістичний підхід до календарного планування вантажно-розвантажувальних робіт у регіоні залізниці / В. М. Самсонкін, В. С. Меркулов. - С.8-10
Мукмінова, Т. А. Централізація інформаційних ресурсів та формування корпоративного інформаційного середовища на залізничному транспорті / Т. А. Мукмінова, В. Д. Міненко, О. П. Бочаров. - С.11-14
Бондаренко, В. А. Лізинг у системі стратегічного інвестування / В. А. Бондаренко. - С.15-16
Шиш, В. О. Формалізація процесу обороту вагона для розробки программного забезпечення АС МАРЗ / В. О. Шиш, П. О. Яновський. - С.17-21
ЕКУЗТ-2007. - С.25-27
Легенький, Г. М. Джерела фінансування діяльності залізничного транспорту України / Г. М. Легенький, О. М. Пшінько, Ю. С. Бараш. - С.28-29
Левицкий, И. Е. Реформирование железнодорожного транспорта / И. Е. Левицкий. - С.29-31
Гончаренко, В. П. О законодательных предпосылках реформирования железнодорожного транспорта Украины / В. П. Гончаренко. - С.32-35
Шепко, Н. А. Участь Науково-технічного товариства залізничників України у розвитку залізничної галузі / Н. А. Шепко. - С.36-37
Блохин, Е. П. О конструкционной скорости локомотива / Е. П. Блохин, М. Л. Коротенко, Н. И. Луханин. - С.41-42
Богомаз, Г. И. Повышение безопасности пассажирского поезда при аварийных ситуациях / Г. И. Богомаз, А. Д. Лашко, А. Н. Пшинько и др. - С.44-48
Бубнов, В. М. Особенности конструкции безрамной цистерны пониженной металлоемкости / В. М. Бубнов, С. В. Мямлин, Д. Т. Лавренко. - С.50-52
Шиш, В. О. Створення інформаційно-аналітичної системи "Інфраструктура залізниць" на залізничному транспорті України / В. О. Шиш, Ю. М. Чикін, П. А. Шенягін. - С.52-54
Сокол, Э. Н. Определение допускаемого угла набегания колеса на рельс / Э. Н. Сокол. - С.59-61
Зонов, В. Д. Анализ отраслевой нормативной базы качества энергосберегающих технологий на железнодорожном транспорте / В. Д. Зонов. - С.61-63
Куліченко, А. Я. Динаміка обробки плоскої поверхні інструментом з гнучкими робочими елементами / А. Я. Куліченко. - С.64-68
Луханин, Н. И. К вопросу сокращения оборота вагонов / Н. И. Луханин [и др.] . - С.69-71
Інші автори: Музыкина Г.И., Болвановская Т.В., П.В. Бех
Астахов, В. Н. Расчет подкладки промежуточного рельсового скрепления КБ 65 / В. Н. Астахов, А. Г. Красюк. - С.72-76
Панасенко, Н. В. Обратимый преобразователь вольтодобавочного типа для тяговых подстанций электрифицированных железных дорог / Н. В. Панасенко, В. В. Божко, Ю. П. Гончаров и др. - С.76-80
Лавренов, Б. М. Умови поздовжної стійкості вантажів з плоскими опорними поверхнями при перевезенні на залізничному транспорті / Б. М. Лавренов, В. П. Юдін, С. М. Турпак. - С.81
Балака, Є. І. Соціальна значущість приміських залізничних перевезень у різних соціально-економічних умовах / Є. І. Балака, О. В. Семенцова. - С.85-88
Ейтутіс, Д. Г. Вплив науково-технічного прогресу на ринок вантажних перевезень / Д. Г. Ейтутіс. - С.92-93
Є примірники у відділах: всього 1 : ЧЗНЛ (1)
Вільні: ЧЗНЛ (1)

Знайти схожі
Перейти до описів статей

Шиш, В. О.
Формалізація процесу обороту вагона для розробки программного забезпечення АС МАРЗ / В. О. Шиш, П. О. Яновський // Залізн. трансп. України. - 2007. - № 4. - С. 17-21

УДК

656.223.2:65.011.22

656.2:658.012.011.56

Рубрики: ЖЕЛЕЗНОДОРОЖНЫЙ ТРАНСПОРТ--АСУЖТ

Дод.точки доступу:
Яновський, П.О.
Є примірники у відділах: всього 1 : ЧЗНЛ (1)
Вільні: ЧЗНЛ (1)

Знайти схожі

Зеленецький, В. (доктор юридичних наук; професор; академік АПрН України; заслужений діяч науки і техніки України; заступник директора з наукової роботи (НДІ вивчення проблем злочинності АПрН України)).
Загальні напрямки підвищення ефективності діяльності органів кримінального переслідування / В. Зеленецький, Л. Лобойко // Право України : юридичний журнал. - 2009. - № 2. - С. 52-59. - Библиогр. в конце ст.

ББК 67.408
Рубрики: Право
   Кримінальний процес
   Право
   Уголовный процесс
   Україна
Кл.слова (ненормовані):
кримінальне переслідування -- впровадження наукових результатів -- компетентність посадових осіб -- взаємодія правоохоронних органів -- формалізація досудового розслідування -- процедури медитації -- уголовное преследование -- внедрение научных результатов -- компетентность должностных лиц -- взаимоотношения правохранительных органов -- формализация досудебного росследования -- процедуры медитации -- примирение -- медиация -- уголовный процесс -- кримінальний процес -- відновне правосуддя
Анотація: Про напрямки підвищення ефективної діяльності органів кримінального переслідування.

Дод.точки доступу:
Лобойко, Л. (доктор юридичних наук; професор кафедри кримінального процесу (Дніпропетровський державний університет внутрішніх справ))
Є примірники у відділах:
ЧЗНЛ (08.04.2009р. Інв.2403ж - Б.ц.) (вільний)

Знайти схожі

Теличко, Тетяна (аспірантка відділу історії, теорії і методології соціології Інституту соціології НАНУ).
Формалізація соціологічних теорій: необхідність і можливості застосування / Тетяна Теличко // Соціологія: теорія, методи, маркетинг : Науково-теоретичний часопис. - 2010. - № 3. - С. 154-172. - Бібліографія : С.171-172. - В ОБЛ. БИБЛИОТЕКЕ

УДК

316

ББК 60.500
Рубрики: Соціологія
Социология
Кл.слова (ненормовані):
верификация теории -- веріфікація теорії -- емпірічні соціологічні дослідження -- методология социологии -- методологія соціологічних досліджень -- персоналии социологов -- персоналії соціологів -- социологическая теория -- соціологічна теорія -- теории среднего уровня -- теорії середнього рівня -- формализация теории -- формалізація теорії -- эмпирические социологические исследования
Анотація: Автор статті розкриває існуючі визначення соціологічної теорії, поняття веріфікації теорії, можливості та обмеження формалізації соціологічних теорій. Цими питаннями займалися методологи соціальних наук Г. Блейлок, Г. Зетерберг, Дж. Гіббс та ін.

Дод.точки доступу:
Блейлок, Губерт Морсе \о нем\; Гиббс, Джек \о нем\; Зеттерберг, Ганс \о нем\; Зетерберг, Ганс \о нем\; Гібс, Джек \о нем\

Знайти схожі

Мешков, И. М. (соискатель кафедры философии Днепропетровского национального университета имени Олеся Гончара).
Концепция формализации структуры ценностных ориентаций в работах Г. Риккерта / И. М. Мешков // Грані : Науково-теоретичний і громадсько-політичний альманах. - 2010. - № 4. - С. 70-72. - Бібліографія : С.72 : 5 назв. - В ОБЛ. БИБЛИОТЕКЕ

УДК

1(100)(091)

ББК 87.3(0)
Рубрики: Філософія
Философия
Кл.слова (ненормовані):
буття -- бытие -- всемирная история философии -- всесвітня історія філософії -- индивидуализирующий метод -- індивідуалізуючий метод -- персоналии философов -- персоналії філософів -- структура ценностей -- структура цінностей -- формализация структуры ценностей -- формалізація структури цінностей -- ценностные ориентации -- ціннісні орієнтації
Анотація: Статья представляет собой попытку формализации структуры ценностей на основе концепции ценностной теории Г. Риккерта с целью выделения в ценности собственной структуры и фиксации ее элементов в логических категориях.

Дод.точки доступу:
Риккерт, Генрих (1863-1936) \о нем\; Ріккерт, Генріх (1863-1936) \о нем\

Знайти схожі

10.

Покачалова, Альона (аспірантка Інституту міжнародних відносин Київського національного університету ім. Тараса Шевченка).
Сутність забезпечувального інтересу як правова категорія / А. Покачалова // Підприємництво, господарство, право. - 2010. - № 11. - С. 101-104. - Библиогр. в конце ст. - В ОБЛ. БИБЛИОТЕКЕ

УДК

341.9

ББК 67.93
Рубрики: Право
   Міжнародне приватне право
   Международное частное право
   США
    Велика Британія
Кл.слова (ненормовані):
забезпечувальний інтерес -- обеспечивальный интерес -- формалізація -- формализация -- забезпечена угода -- обеспеченное соглашение -- правові категорії -- правовые категории -- види забезпечувальних інтересів -- виды обеспечительных интересов -- запезпечувальна угода -- обеспечительное соглашение -- страны общей правовой семьи -- країни загальної правової сім'ї
Анотація: Причвячена проблемі правового регулювання забезпечувального інтересу в країнах загальної правової сім'ї (на прикладі Великобританії та США). Розглядаються основні питання щодо поняття забезпечувального інтересу, особливостей його створення та надання йому юридичної сили відповідно до вимог права країн загальної правової сім'ї.

Немає відомостей про примірники (Джерело у БД не знайдене)

Знайти схожі

1-10 11-20 21-30 31-40 41-50 51-60

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)