Бази даних

Реферативна база даних - результати пошуку

Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"

Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Наукова електронна бібліотека (1)Автореферати дисертацій (1)Книжкові видання та компакт-диски (75)Журнали та продовжувані видання (6)
Пошуковий запит: (<.>A=Редько В$<.>)
Загальна кількість знайдених документів : 125
Представлено документи з 1 до 20
...

      
Категорія:    
1.

Редько В. Н. 
Композиційна структура програмології / В. Н. Редько // Кибернетика и систем. анализ. - 1998. - № 4. - С. 47-66. - Бібліогр.: 9 назв. - укp.

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


Індекс рубрикатора НБУВ: З973-018.01

Рубрики:

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

      
Категорія:    
2.

Редько В. Н. 
Основания программологии / В. Н. Редько // Кибернетика и систем. анализ. - 2000. - № 1. - С. 35-57. - Библиогр.: 23 назв. - рус.

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


Індекс рубрикатора НБУВ: З973-018.01

Рубрики:

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

      
Категорія:    
3.

Редько В. Н. 
Экспликативное программирование в среде логико-математических спецификаций / В. Н. Редько, Н. В. Гришко, И. В. Редько // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України. - 1998. - С. 71-76. - Библиогр.: 3 назв. - рус.

Исследуются проблемы эффективной редукции логико-математических спецификаций задач в экспликативные программы. Применительно к основным классам таких спецификаций разрабатываются общие методы редукций. Последние иллюстрируются на репрезентативых примерах.


Ключ. слова:
Індекс рубрикатора НБУВ: З973-018

Рубрики:


      
Категорія:    
4.

Редько В. Н. 
Экспликативное программирование: ретроспективы и перспективы / В. Н. Редько // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України. - 1998. - С. 22-41. - Библиогр.: 29 назв. - рус.

Дается экспликация понятия программирования. Основу ее составляет прагматически полная система принципов: программологичности, параметричности, интенсиональности, конструктивности, композиционности, структурности, определимости, предикативности, обусловленности, функциональности, кластерности. Экспликативное программирование рассматривается как современная форма композиционного программирования. В понятийной среде экспликативного программирования определяются перспективные направления дальнейшего развития теоретической и прикладной программологии.


Ключ. слова:
Індекс рубрикатора НБУВ: З973-018

Рубрики:


      
Категорія:    
5.

Редько В. Н. 
Реляційні бази даних: табличні алгебри та SQL-подібні мови / В. Н. Редько, Ю. Й. Брона, Д. Б. Буй, С. А. Поляков. - К. : Вид. дім "Академперіодика", 2001. - 198 c. - (Б-ка держ. фонду фундамент. дослідж.). - укp.

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


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

Рубрики:

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

      
Категорія:    
6.

Хандецький В. С. 
Нечітка логіка : Навч. посіб. для студ. вищ. навч. закл. / В. С. Хандецький, В. І. Редько, П. Я. Новак, Т. В. Пастушкін; Дніпропетр. нац. ун-т. - Д., 2005. - 230 c. - Бібліогр.: с. 227-229. - укp.

Розглянуто теоретичні засади нечіткої логіки, наведено основні характеристики нечітких множин. Розкрито зміст понять нечіткої та лінгвістичної змінних, нечітких відношень і висновків. Висвітлено особливості застосування нечіткої логіки в штучних нейронних мережах, використання пакета Fuzzy Logic Toolbox. Описано методи прийняття рішень у багаторівневих ієрархічних системах, охарактеризовано основні принципи керування даними системами. Наведено приклад використання алгоритму формування нечіткого висновку в системі автоматичного керування.

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


Індекс рубрикатора НБУВ: З965.96-01 я73-1 + З970.52-01 я73-1 + В128.3 я73

Рубрики:

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

      
Категорія:    
7.

Кондратов В. Т. 
Оптико-электронный метод избыточных измерений давления: особенности реализации / В. Т. Кондратов, В. В. Редько // Технология и конструирование в электрон. аппаратуре. - 2008. - № 2. - С. 34-38. - Библиогр.: 6 назв. - рус.

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

The paper describes features of practical realization of optic-electornic method of redundant measurements of pressure, which guarantees automatic correction of systematic error components in measurement results. Construction of informative-redundant fiber-optic pressure with the improved metrological characteristics is proposed.


Індекс рубрикатора НБУВ: З323-5

Рубрики:

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

      
Категорія:    
8.

Андриевская Е. Р. 
Взаимодействие оксида церия с оксидами гафния, циркония и иттрия при 1500 $E bold symbol РC / Е. Р. Андриевская, В. П. Редько, Л. М. Лопато // Порошковая металлургия. - 2001. - № 7-8. - С. 109-118. - Библиогр.: 13 назв. - рус.


Ключ. слова: фазові рівноваги, оксидні системи, ізотермічні перерізи, тверді розчини, оксид, цирконій, гафній, ітрій, церій
Індекс рубрикатора НБУВ: К230.401.383

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



      
Категорія:    
9.

Шевченко А. В. 
Влияние минерализатора на фазовый состав нанокристаллического порошка в системе $E bold roman {ZrO sub 2~-~Y sub 2 O sub 3~-~CeO sub 2} / А. В. Шевченко, Е. В. Дудник, А. К. Рубан, Н. В. Даниленко, В. П. Редько // Порошковая металлургия. - 2002. - № 5-6. - С. 1-8. - Библиогр.: 18 назв. - рус.


Ключ. слова: диоксид циркония, фторид алюминия, нанокристаллический порошок, гидротермальный синтез, фазовые переходы
Індекс рубрикатора НБУВ: К390.1-1

Рубрики:

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



      
Категорія:    
10.

Редько В. Н. 
Дескриптологическая среда информационных технологий / В. Н. Редько, И. В. Редько, Н. В. Гришко // Пробл. программирования. - 2004. - 2-3 [спец. вып.]. - С. 65-73. - Библиогр.: 23 назв. - рус.

Созданы дескриптологические основания информационных технологий. Дана экспликация понятия дескрипции как дескриптивного процесса. На этой основе построена полная система дескриптологических операций. Введено понятие композиционной среды.


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

Рубрики:

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

      
Категорія:    
11.

Редько В. Н. 
Дескриптологическая среда программирования / В. Н. Редько, Н. В. Гришко, И. В. Редько // Пробл. программирования. - 2002. - 1-2 [спец. вып.]. - С. 7-14. - Библиогр.: 17 назв. - рус.

Построены дескриптологические основания программирования. Дана экспликация понятия дескриптивного процесса. На этой основе построена полная совокупность дескриптологических операций. Введено понятие дескриптологической среды программирования.


Індекс рубрикатора НБУВ: З973-018

Рубрики:

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

      
Категорія:    
12.

Редько В. Н. 
Дескриптологические основания программирования / В. Н. Редько // Кибернетика и систем. анализ. - 2002. - № 1. - С. 3-19. - Библиогр.: 11 назв. - рус.

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


Індекс рубрикатора НБУВ: З973-018

Рубрики:

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

      
Категорія:    
13.

Лакиза С. М. 
Діаграма стану системи AlV2DOV3D - ZrOV2D - NdV2DOV3D. I. Ізотермічні перерізи діаграми стану при 1 250 та 1 650$E symbol РC / С. М. Лакиза, В. П. Редько, Л. М. Лопато // Порошковая металлургия. - 2003. - № 7-8. - С. 77-86. - Бібліогр.: 22 назв. - укp.


Ключ. слова: кераміка, діоксид цирконію, оксид алюмінію, оксид неодиму, взаємодія, ізотермічний переріз, діаграма стану, евтектичний матеріал
Індекс рубрикатора НБУВ: Г534.404.3 + Л42-101

Рубрики:

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



      
Категорія:    
14.

Шевченко А. В. 
Изменение физико-химических свойств нанокристаллических порошков на основе ZrOv2D в присутствии минерализатора / А. В. Шевченко, Е. В. Дудник, А. К. Рубан, Н. В. Даниленко, В. П. Редько // Порошковая металлургия. - 2001. - № 11-12. - С. 9-18. - Библиогр.: 28 назв. - рус.


Ключ. слова: діоксид цирконію, фторид алюмінію, нанокристалічний порошок, гідротермальний синтез, фазові перетворення
Індекс рубрикатора НБУВ: К390.1-14

Рубрики:

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



      
Категорія:    
15.

Редько В. Н. 
Основания дескриптологии / В. Н. Редько // Кибернетика и систем. анализ. - 2003. - № 5. - С. 16-36. - Библиогр.: 16 назв. - рус.

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


Ключ. слова: дескрипция, действие, акция, акция функционального типа, акция нефункционального типа, бипольная акция, дескриптологическое действие
Індекс рубрикатора НБУВ: З970.43

Рубрики:

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

      
Категорія:    
16.

Лакиза С. М. 
Поверхня солідусу та фазові рівноваги при кристалізації сплавів системи AlV2DOV3D - ZrOV2D - LaV2DOV3D / С. М. Лакиза, В. П. Редько, Л. М. Лопато // Порошковая металлургия. - 2003. - № 1-2. - С. 69-76. - Бібліогр.: 15 назв. - укp.


Ключ. слова: кераміка, диоксид цирконію, оксид алюмінію, оксид лантану, взаємодія, поверхня солідусу, діаграма фазових рівноваг, евтектичні матеріали
Індекс рубрикатора НБУВ: К233.103

Рубрики:

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



      
Категорія:    
17.

Лакиза С. М. 
Політермічні перерізи діаграми стану системи AlV2DOV3D - ZrOV2D - LaV2DOV3D / С. М. Лакиза, В. П. Редько, Л. М. Лопато // Порошковая металлургия. - 2003. - № 3-4. - С. 60-67. - Бібліогр.: 15 назв. - укp.


Ключ. слова: кераміка, діоксид цирконію, оксид алюмінію, оксид лантану, взаємодія, політермічні перерізи, евтектичні матеріали
Індекс рубрикатора НБУВ: К233.104

Рубрики:

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



      
Категорія:    
18.

Мосалов О. П. 
Самообучающиеся агенты на основе нейросетевых адаптивных критиков / О. П. Мосалов, Д. В. Прохоров, В. Г. Редько // Искусств. интеллект. - 2004. - № 3. - С. 550-560. - Библиогр.: 12 назв. - рус.

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


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

Рубрики:

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

      
Категорія:    
19.

Лакиза С. М. 
Триангуляція та поверхня ліквідусу діаграми стану системи AlV2DOV3D - ZrOV2D - LaV2DOV3D / С. М. Лакиза, В. П. Редько, Л. М. Лопато // Порошковая металлургия. - 2002. - № 11-12. - С. 80-90. - Бібліогр.: 15 назв. - укp.


Ключ. слова: кераміка, діоксид цирконію, оксид алюмінію, оксид лантану, взаємодія, поверхня ліквідусу діаграми стану, евтектичні матеріали
Індекс рубрикатора НБУВ: К233.104

Рубрики:

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



      
Категорія:    
20.

Лопато Л. М. 
Плавление и диспергирование оксидных материалов в "холодном" тигле и в печах с концентрированным лучистым нагревом / Л. М. Лопато, А. В. Шевченко, А. А. Фролов, В. П. Редько // Порошковая металлургия. - 2005. - № 7-8. - С. 36-42. - Библиогр.: 9 назв. - рус.


Ключ. слова: диоксид циркония, диоксид гафния, оксид иттрия, твердые растворы типа флюорита, плавление, диспергирование, индукционный нагрев, "холодный" тигель, оптическая печь, солнечная печь
Індекс рубрикатора НБУВ: К391.91

Рубрики:

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


...
 

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