Простий
пошук
Розширений
пошук
Покажчики
Професійний
пошук
Рубрикатор
НБУВ
Розподілений
пошук

Бази даних

Наукова періодика України - результати пошуку

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
Повнотекстовий пошук
 Знайдено в інших БД:Реферативна база даних (10)
Список видань за алфавітом назв:
A  B  C  D  E  F  G  H  I  J  L  M  N  O  P  R  S  T  U  V  W  
А  Б  В  Г  Ґ  Д  Е  Є  Ж  З  И  І  К  Л  М  Н  О  П  Р  С  Т  У  Ф  Х  Ц  Ч  Ш  Щ  Э  Ю  Я  

Авторський покажчик    Покажчик назв публікацій


Пошуковий запит: (<.>A=Ильман В$<.>)
Загальна кількість знайдених документів : 9
Представлено документи з 1 до 9
1.

Босов А. А. 
Динамика качения тела при установившемся движении [Електронний ресурс] / А. А. Босов, В. М. Ильман // Вісник Дніпропетровського національного університету залізничного транспорту імені академіка В. Лазаряна. - 2004. - Вип. 3. - С. 50-55. - Режим доступу: http://nbuv.gov.ua/UJRN/vdnuzt_2004_3_12
Попередній перегляд:   Завантажити - 210.683 Kb    Зміст випуску     Цитування
2.

Ильман В. М. 
К контактной задаче при установившемся качении [Електронний ресурс] / В. М. Ильман, С. Ю. Разумов // Вісник Дніпропетровського національного університету залізничного транспорту імені академіка В. Лазаряна. - 2005. - Вип. 8. - С. 161-165. - Режим доступу: http://nbuv.gov.ua/UJRN/vdnuzt_2005_8_34
Попередній перегляд:   Завантажити - 1.374 Mb    Зміст випуску     Цитування
3.

Ильман В. М. 
Конструктивное представление множественных объектов и их свойства [Електронний ресурс] / В. М. Ильман, В. И. Шинкаренко // Проблеми програмування. - 2014. - № 1. - С. 3-17. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2014_1_2
На основе конструктивной структуры предложено унифицированное представление гибридных множественных объектов. Рассмотрены алгебраические свойства и операции над этими объектами.
Попередній перегляд:   Завантажити - 779.312 Kb    Зміст випуску    Реферативна БД     Цитування
4.

Шинкаренко В. И. 
Конструкционно-продукционная модель структур данных на логическом уровне [Електронний ресурс] / В. И. Шинкаренко, В. М. Ильман, Г. В. Забула // Проблеми програмування. - 2014. - № 2-3. - С. 10-16. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2014_2-3_2
Разработана обобщенная конструктивно-продукционная структура, которая аккумулирует возможности различных грамматик и грамматико-подобных систем по формированию конструкций с элементов различной природы. Отличительная особенность формируемых конструкций заключается в применении аппарата атрибутов к элементам, их связям, частям конструкций конструкций в целом. Рассмотрена специализация обобщенной конструкционно-продукционной структуры по формировании структур данных на логическом уровне. Приведена конкретизация конструкционно-продукционной структуры на примере логической структуры ВМР-файлов.
Попередній перегляд:   Завантажити - 594.609 Kb    Зміст випуску    Реферативна БД     Цитування
5.

Шинкаренко В. И. 
Конструктивно-продукционные структуры и их грамматические интерпретации. I. Обобщенная формальная конструктивно-продукционная структура [Електронний ресурс] / В. И. Шинкаренко, В. М. Ильман // Кибернетика и системный анализ. - 2014. - Т. 50, № 5. - С. 8-16. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2014_50_5_3
Обобщены возможности различных модификаций формальных грамматик, предложен аппарат конструктивно-продукционных структур. Это позволяет формализовать процессы и результаты формирования конструкций на основе элементов с атрибутами. Рассмотрены возможности специализации, конкретизации конструктивно-продукционных структур, а также интерпертации на основе алгоритмических структур, которые моделируют исполнителя.Предложены методы уточняющих преобразований: специализации, интерпретации, конкретизации и реализации обобщенной конструктивно-продукционной структуры. Показано применение методов для построения грамматических конструктивно-продукционных структур - аналогов известных грамматик, их модификаций и грамматикоподобных систем. На их основе проанализированы и обобщены различные типы формальных грамматик.
Попередній перегляд:   Завантажити - 104.776 Kb    Зміст випуску    Реферативна БД     Цитування
6.

Шинкаренко В. И. 
Структурные модели алгоритмов в задачах прикладного программирования. II. Структурно-алгоритмический подход к моделированию программного обеспечения [Електронний ресурс] / В. И. Шинкаренко, В. М. Ильман, В. В. Скалозуб // Кибернетика и системный анализ. - 2009. - Т. 45, № 4. - С. 49-56. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2009_45_4_5
Запропоновано структурний підхід до моделювання алгоритмів. Введено поняття алгоритмічної структури з операціями над алгоритмами. Моделі алгоритмів, побудовані на основі алгоритмічних структур, відображають аспекти представлення та виконання алгоритмів. Розглянуто приклади структурної та шляхової моделі алгоритмів.Формалізовано відносини між алгоритмами, які виражені різними засобами і виконуються різними пристроями. Процес розробки програмного забезпечення розглянуто з позиції міжмодельних перетворень. Проаналізовано можливості застосування структурно-алгоритмічного підходу в різних аспектах прикладного програмування. Сформульовано задачі дослідження алгоритмів у контексті виконання програм на ЕОМ.
Попередній перегляд:   Завантажити - 97.691 Kb    Зміст випуску    Реферативна БД     Цитування
7.

Шинкаренко В. И. 
Структурные модели алгоритмов в задачах прикладного программирования. I. Формальные алгоритмические структуры [Електронний ресурс] / В. И. Шинкаренко, В. М. Ильман, В. В. Скалозуб // Кибернетика и системный анализ. - 2009. - Т. 45, № 3. - С. 3-14. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2009_45_3_2
Запропоновано структурний підхід до моделювання алгоритмів. Введено поняття алгоритмічної структури з операціями над алгоритмами. Моделі алгоритмів, побудовані на основі алгоритмічних структур, відображають аспекти представлення та виконання алгоритмів. Розглянуто приклади структурної та шляхової моделі алгоритмів.Формалізовано відносини між алгоритмами, які виражені різними засобами і виконуються різними пристроями. Процес розробки програмного забезпечення розглянуто з позиції міжмодельних перетворень. Проаналізовано можливості застосування структурно-алгоритмічного підходу в різних аспектах прикладного програмування. Сформульовано задачі дослідження алгоритмів у контексті виконання програм на ЕОМ.
Попередній перегляд:   Завантажити - 139.514 Kb    Зміст випуску    Реферативна БД     Цитування
8.

Ильман В. М. 
Концевые объекты и их грамматическая структура [Електронний ресурс] / В. М. Ильман, Е. С. Куропятник // Електромагнітна сумісність та безпека на залізничному транспорті. - 2014. - № 7. - С. 100-110. - Режим доступу: http://nbuv.gov.ua/UJRN/esbzt_2014_7_14
Попередній перегляд:   Завантажити - 1.143 Mb    Зміст випуску     Цитування
9.

Шинкаренко В. И. 
Конструктивно-продукционные структуры и их грамматические интерпретации. II. Уточняющие преобразования [Електронний ресурс] / В. И. Шинкаренко, В. М. Ильман // Кибернетика и системный анализ. - 2014. - Т. 50, № 6. - С. 15-28. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2014_50_6_4
Обобщены возможности различных модификаций формальных грамматик, предложен аппарат конструктивно-продукционных структур. Это позволяет формализовать процессы и результаты формирования конструкций на основе элементов с атрибутами. Рассмотрены возможности специализации, конкретизации конструктивно-продукционных структур, а также интерпертации на основе алгоритмических структур, которые моделируют исполнителя.Предложены методы уточняющих преобразований: специализации, интерпретации, конкретизации и реализации обобщенной конструктивно-продукционной структуры. Показано применение методов для построения грамматических конструктивно-продукционных структур - аналогов известных грамматик, их модификаций и грамматикоподобных систем. На их основе проанализированы и обобщены различные типы формальных грамматик.
Попередній перегляд:   Завантажити - 166.407 Kb    Зміст випуску    Реферативна БД     Цитування
 
Відділ наукової організації електронних інформаційних ресурсів
Пам`ятка користувача

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