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

Головна

Бази даних

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

Вид пошуку

Каталог книг

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

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

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

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

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

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

Зона пошуку

у знайденому

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

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

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

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

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

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

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

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

1-10 11-20 21-30 31-40 41-44

   .


    Формализация априорной информации при исследовании надежности тяговых аккумуляторных батарей рудничных электровозов : депонированная рукопись / Е. И. Сидоренко, В. Д. Фурсов, С. Н. Кущенко, С. А. Ставицкий ; ДГИ. - Днепропетровск : [б. в.], 1980. - Деп. в ЦНИИТЭИ уголь 07.02. 80, №1653/80. - Б. ц.

УДК

622.629.423:629.423.3

Рубрики: ЭЛЕКТРОВОЗЫ РУДНИЧНЫЕ--ЭЛЕКТРИЧЕСКОЕ ОБОРУДОВАНИЕ
Кл.слова (ненормовані):
труды диита -- КЕПЗ

Дод.точки доступу:
Сидоренко, Е.И.; Фурсов, В.Д.; Кущенко, С.Н.; Ставицкий, С.А.
Свободных экз. нет
Знайти схожі

Зеленецький, В. (доктор юридичних наук; професор; академік АПрН України; заслужений діяч науки і техніки України; заступник директора з наукової роботи (НДІ вивчення проблем злочинності АПрН України)).
Загальні напрямки підвищення ефективності діяльності органів кримінального переслідування / В. Зеленецький, Л. Лобойко // Право України : юридичний журнал. - 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) \о нем\

Знайти схожі

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

УДК

341.9

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

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

Знайти схожі

Бєлов, Ю. А.
Моделювання вищих когнітивних функцій людиноподібного інтелекту як процесу породження сенсів / Ю. А. Бєлов // Доповіді Національної академії наук України. - 2011. - № 6. - С. 40-43 : ил. - Библиогр. в конце ст. - В ОБЛ. БИБЛИОТЕКЕ

УДК

004

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

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

Знайти схожі

Козьменко, Сергій (доктор економічних наук).
Використання рядів Фур'є для формалізації структри фінансового ринку України / С. Козьменко, Т. Васильєва, С. Лєонов // Економіст : науково-практичний журнал. - 2011. - № 2. - С. 15-19. - Библиогр. в конце ст. - В ОБЛ. БІБЛІОТЕЦІ

УДК

336.7

ББК 65.262
Рубрики: Економіка
   Кредитно-грошова система, 2001-2009 рр.
   Экономика
   Кредитно-денежная система, 2001-2009 гг.
   Україна
    Украина
Кл.слова (ненормовані):
кредитно-грошова система -- фінансовий ринок -- структура фінансового ринку -- формалізація структури -- ряди Фур'є -- внутрішній валовий продукт -- ВВП -- макроекономічні індикатори -- банківська система -- економічне зростання -- кредитно-денежная система -- финансовый рынок -- структура финансового рынка -- формализация структуры -- ряды Фурье -- внутренний валовый продукт -- макроэкономические индикаторы -- банковская система -- экономичесикй рост -- статистика
Анотація: Запропоновано науково-методичний підхід до врахування передбачуваних циклічних коливань різної довжини у розвитку економіки при формалізації моделі структури фінансового ринку на основі застосування рядів Фур'є.

Дод.точки доступу:
Васильєва, Тетяна (доктор економічних наук); Лєонов, Сергій (доктор економічних наук)
Немає відомостей про примірники (Джерело у БД не знайдене)

Знайти схожі

Шифр: Ж1/2012/4
Журнал

Железнодорожный транспорт . - 1826 . - Виходить щомісячно
2012р. № 4

Зміст:
Осьминин, А. Т. Об автоматизации разработки графика движения / А. Т. Осьминин [и др.]. - С.19-24 : рис.
Інші автори: Анисимов В. А., Клюев Н. А., Осьминин Л. А.
Черняев, А. Г. Планирвоание подвода поездов в системе "железная дорога - порт" / А. Г. Черняев. - С.25-28 : рис.
Куренков, П. В. Задачи ситуационно-процессного управления сортировочной станцией / П. В. Куренков, М. А. Нехаев. - С.29-31 : табл.
Григорьев, Н. П. Повышение энергетической эффективности электричицированных железных дорог переменного тока / Н. П. Григорьев, А. А. Крикун. - С.42-43 : рис.
Балабин, В. Н. Перспективный привод клапанов газораспределения локомотивных дизелей / В. Н. Балабин, С. П. Калугин, И. И. Лобанов. - С.44-46 : рис.
Цевелев, А. В. Формализация бизнес-процесса "управление складскими операциями" / А. В. Цевелев. - С.47-52 : рис.
Алиев, Г. Н. Компьютерное моделирование для контейнерных перевозок / Г. Н. Алиев. - С.53-54
Позднякова, О. А. Оптимизация транспортных потоков / О. А. Позднякова, А. А. Поздняков. - С.54-55 : рис.
Шаненков, М. А. Железнодорожные проекты орловской губернии / М. А. Шаненков. - С.69-73 : рис.
Лувишис, А. Л. Тяга тяжеловесных поездов на железных дорогах Бразилии / А. Л. Лувишис. - С.74-77 : рис.
Є примірники у відділах: всього 1 : ЧЗНЛ (1)
Вільні: ЧЗНЛ (1)

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

Цевелев, А. В.
Формализация бизнес-процесса "управление складскими операциями" / А. В. Цевелев // Ж.-д. трансп. - 2012. - № 4. - С. 47-52 : рис.

УДК

629.4.084

Рубрики: Железнодорожный транспорт
   Складское хозяйство
   Залізничний транспорт
   Складське господарство
   Россия
    Новосибирск
    Росія
    Новосибірськ
Кл.слова (ненормовані):
железнодорожный транспорт -- складское хозяйство -- материально-технические ресурсы -- складские операции -- бизнес-процессы -- развитие железнодорожного транспорта -- экономика -- залізничний транспорт -- складське господарство -- матеріально-технічні ресурси -- складські операції -- бізнес-процеси -- розвиток залізничного транспорту -- економіка

Є примірники у відділах: всього 1 : ЧЗНЛ (1)
Вільні: ЧЗНЛ (1)

Знайти схожі

10.

   06
   Д 54

    Шраменко, Н. Ю.
    Формализация процесса фукционирования грузового терминала / Н. Ю. Шраменко // Вісник Дніпропетровського національного університету залізничного транспорту імені академіка В. Лазаряна. - 2011. - Вип. 37. - С. 211-215

УДК

656.212.7

Рубрики: Грузовые перевозки
   Вантажні перевезення
   Железнодорожный транспорт
   Залізничний транспорт
Кл.слова (ненормовані):
грузовые перевозки -- вантажні перевезення -- железнодорожный транспорт -- залізничний транспорт -- грузовые терминалы -- вантажні термінали -- математические модели -- математичні моделі

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

Знайти схожі

1-10 11-20 21-30 31-40 41-44

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