Бази даних

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

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

Вид пошуку
у знайденому
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Віртуальна довідка (8)Тематичний інтернет-навігатор (2)Наукова електронна бібліотека (1076)Автореферати дисертацій (1208)Книжкові видання та компакт-диски (1599)Журнали та продовжувані видання (20)
Пошуковий запит: (<.>K=ПРОГРАМУВАНН$<.>+<.>K=СВІДОМОСТІ$<.>)
Загальна кількість знайдених документів : 8523
Представлено документи з 1 до 20
...

      
1.

Szajna J.  
Artificial intelligence methods in computer aided design of digital circuits / J. Szajna // Электрон. моделирование. - 2001. - 23, № 4. - С. 109-115. - Библиогр.: 9 назв. - англ.

Розглянуто використання логічного програмування мовою Prolog для розробки систем автоматизованого проектування пристроїв ASIC (спеціалізованих інтегральних схем) на базі досвіду, набутого під час розробки системи CAD-LOGIC. Описано використання мови Prolog на прикладах, що ілюструють евристичне спрощення логічних функцій за допомогою булевої алгебри, символьного перетворення логічних послідовностей та декомпозиції опису моделі, заданого у вигляді послідовностей у підмножинах, які реалізовано структурами PAL.


Ключ. слова: artificial intelligence, digital circuits, computer aided design
Індекс рубрикатора НБУВ: З970.5-018

Рубрики:

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

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

Doroshenco A. E. 
Coordination programming abstractions for efficient parallel programs / A. E. Doroshenco // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України. - 1998. - С. 235-242. - Библиогр.: 18 назв. - англ.

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


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

Рубрики:


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

Черняхівський В. В. 
DELPHI-4: сучасна технологія візуального програмування / В. В. Черняхівський. - Л. : БаК, 1999. - 196 c. - (Порадник користувача персон. комп'ют.). - укp.

Описано систему Delphi, яка дає змогу створювати програми для роботи під керуванням операційної системи Windows. Розглянуто головні елементи середовища Delphi, визначення та використання команд, прийоми роботи. Наведено назви подій та концепцію їх застосування під час програмування, а також повний перелік компонент Delphi та загальні принципи їх побудови. Головні властивості компонент систематизовано в логічну структуру, визначено роботу з інспектором об'єктів, описано роботу з довідковою системою. Розглянуто основні особливості мови Objekt Pascal, яка є в основі Delphi. Наведено навчально-демонстраційні проекти, які дають змогу зрозуміти суть програмування в Delphi та використання компонент.


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

Рубрики:

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

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

Sapaty Peter S.  
Mobile Programming in WAVE = Мобільне програмування на мові ХВИЛЯ / Peter S. Sapaty // Мат. машины и системы. - 1998. - № 1. - С. 3-31. - Библиогр.: 72 назв. - англ.

Викладається нова мова ХВИЛЯ для паралельної обробки і управління великими розподіленими системами різної природи. Вона основана на динамічному створенні та навігації розподілених віртуальних мереж за допомогою мобільного рекурсивного програмного коду у режимі просторового паттерн-метчінгу. Мова дозволяє створювати складні моделюючі та керуючі системи, котрі можуть ефективно функціонувати у відкритих мережах ЕОМ без жодних центральних ресурсів. Наводяться також приклади програмування ряда мережних задач.


Індекс рубрикатора НБУВ: З970.26-018.2 + З973.2-018.2

Рубрики:

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

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

Hoffman U.  
Stack Based Dynamic Languages for Intelligent Systems = Функциональные языки с динамическим стеком для интеллектуальных систем / U. Hoffman, A. Protasov, V. Zubenko // Управляющие системы и машины. - 1999. - № 3. - С. 59-65. - Библиогр.: 12 назв. - англ.

Представлено основні конструкції та типи даних нової мови програмування ФОЛІ, наведено формальний опис його ядра. Розглянуто можливість використання ФОЛІ як внутрішньої мови високого рівня в інтелектуальних комп'ютерних системах.


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

Рубрики:

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

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

Петраков Ю. В. 
Автоматизація технологічних процесів у машинобудуванні засобами мікропроцесорної техніки : Навч. посіб. / Ю. В. Петраков, П. П. Мельничук; Житомир. інж.-технол. ін-т. - Житомир, 2001. - 194 c. - Бібліогр.: 16 назв. - укp.

Розглянуто основні принципи побудови ЕОМ. Значну увагу приділено арифметичним операціям у двійковій системі обчислення, типовим елементам і вузлам мікропроцесорної техніки: тригерам, регістрам, лічильникам, дешифраторам, мультиплексорам. Висвітлено основи програмування мікропроцесорів.


Індекс рубрикатора НБУВ: К5-5-05 я73 + К63-5-05 я73

Рубрики:

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

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

Адаптивні системи автоматичного управління : Міжвід. наук.-техн. зб. N1(21) / ред.: В. І. Костюк. - Д., 1998. - 152 с. - рус.

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


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

Рубрики:

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

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

Явоненко С. О. 
Аксіологія практичного розуму / С. О. Явоненко. - К. : Укр. Центр духовн. культури, 2000. - 180 c. - Бібліогр.: 181 назв. - укp.

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


Індекс рубрикатора НБУВ: Ю217.7 + Ю225.4 + Ю700.835

Рубрики:

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

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

Актуальні проблеми психології : Зб. наук. пр. Т. 1, Ч. 1. Соціальна психологія. Психологія управління. Організаційна психологія / ред.: С. Д. Максименко, Л. М. Карамушка; Ін-т психології ім. Г.С.Костюка АПН України. - К., 2001 . - 267 c. - укp.

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


Індекс рубрикатора НБУВ: Ю95я43

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

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

Актуальні проблеми історії, теорії та практики художньої культури : Зб. наук. пр. Вип. IV - V, ч. І / ред.: В. Г. Чернець; Держ. акад. керів. кадрів культури і мистец. - К,, 2000. - 244 с. - укp.

Висвітлено естетичний образ і особливості естетичної свідомості. Розглянуто антропологічні виміри національних культурних традицій. Досліджено феноменальність культури та антиномії культурології. Проаналізовано динаміку культуротворчих процесів. Наведено світоглядні принципи авангарду. Охарактеризовано вітчизняний театр ХІХ ст. у ракурсі історичного аналізу. Наведено роздуми щодо парадоксів історико-художньої концепції О.Шпенглера.


Індекс рубрикатора НБУВ: Ю8,1 + Щ:я54(4Укр)3

Рубрики:

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

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

Печурин Н. К. 
Анализ устойчивости регулярной топологии базовой сети передачи данных / Н. К. Печурин, Н. В. Печеник, Л. П. Кондратова // Пробл. упр. и информатики. - 2000. - № 2. - С. 126-130. - Библиогр.: 8 назв. - рус.

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


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

Рубрики:

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

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

Мартинюк Т. Б. 
Аналіз та оптимізація складних систем : Навч. посіб. / Т. Б. Мартинюк, В. П. Кожем'яко; Вінниц. держ. техн. ун-т. - Вінниця, 1998. - 78 c. - Бібліогр.: 13 назв. - укp.

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


Індекс рубрикатора НБУВ: З965.92-01 я73

Рубрики:

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

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

Астаф'єв О. Ф. 
Апокаліпсис Євгена Маланюка / О. Ф. Астаф'єв; Ніжин. держ. пед. ін-т ім. М.Гоголя. - Ніжин, 1997. - 30 c. - (Л-ра укр. діаспори; Вип.13). - Бібліогр.: 63 назв. - укp. - рус.

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


Індекс рубрикатора НБУВ: Ш5(4УК=7СОЕ)-4 Маланюк 4,0 + Ш5(7СОЕ=УК)-4 Маланюк Є. 4,0

Рубрики:

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

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

Пєтух А. М. 
Архітектура і програмування 32-розрядних мікропроцесорів : Навч. посіб. / А. М. Пєтух, В. П. Майданюк, Є. Л. Ольшевський; Вінниц. держ. техн. ун-т. - Вінниця : ВДТУ, 2001. - 132 c. - Бібліогр.: 10 назв. - укp.

Розглянуто процесори сімейства х86, а саме - їх 32-розрядні нащадки (від 80386). Наведено опис їх програмної моделі, режими роботи, системи команд, відмінності.


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

Рубрики:

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

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

Кравцов М. К. 
Асимптотическая оптимальность плана транспортной задачи, построенного методом минимального элемента / М. К. Кравцов, А. П. Крачковский // Кибернетика и систем. анализ. - 1999. - № 1. - С. 144-151. - Библиогр.: 21 назв - рус.

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


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

Рубрики:

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

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

Бойко А. В. 
Аэродинамика проточной части паровых и газовых турбин: расчеты, исследования, оптимизация, проектирование / А. В. Бойко, А. В. Гаркуша; Акад. наук высш. школы Украины. - Х., 1999. - 359 c. - Библиогр.: 331 назв. - рус.

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


Індекс рубрикатора НБУВ: З363.2-02 + З363.3-02

Рубрики:

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

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

Бараненко В. О. 
Багатокритеріальні задачі синтезу ШСС та динамічне програмування / В. О. Бараненко // Вісн. Придніпр. держ. акад. буд-ва та архіт. - Д., 2000. - № 10. - С. 4-12. - Бібліогр.: 6 назв. - укp.

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


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

Рубрики:

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

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

Паранчук Я. С. 
Бейсик: програмування в середовищах QBasic, Turbo Basic, Power Basic : Навч. посіб. / Я. С. Паранчук, Я. М. Глинський, В. І. Мороз; Держ. ун-т "Львів. політехніка". - К., 1998. - 298 c. - Бібліогр.: 24 назв. - у.

Вивчається мова програмування Бейсик в інтегрованому середовищі Microsoft QBasic. Описуються принципи роботи з текстовим редактором, системою налагодження й виконання програм та інформаційно-довідковою системою середовища. Розглядаються синтакис і семантика сучасної версії мови Бейсик, яка дає змогу складати програми розв'язування різноманітних задач з дотриманням правил структурного програмування і не має недоліків ранніх версій мови. Матеріал супроводжується ілюстраціями режимів функціонування середовища, зразками та прикладами програм і результатами їх виконання. Наводиться добірка задач, яка може слугувати основою для формування завдань для практичних і лабораторних занять. Для користувачів середовищами Turbo та Power Basic даються описи як середовищ, так і можливостей мови.


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

Рубрики:

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

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

Білик-Лиса Н. І. 
Богдан Лепкий у духовному відродженні українського народу / Н. І. Білик-Лиса; Терноп. держ. пед. ун-т ім. В.Гнатюка. - Т. : Збруч, 1999. - 144 c. - (Сер. іст., чис. 6). - Бібліогр.: с. 120-140. - укp.

Проведено комплексне дослідження життя і діяльності Б.С.Лепкого через призму української національної ідеї. Головну увагу приділено змісту, формам і напрямкам цієї діяльності. Розглянуто процес становлення національно-патріотичних поглядів діяча. У роботі проаналізовано роль його письменницької, наукової, культурно-просвітньої та громадсько-політичної діяльності в українському національному відродженні кінця XIX - початку XX ст., у піднесенні національної свідомості українського народу. Встановлено місце Б.С.Лепкого в історії вітчизняної культури.


Індекс рубрикатора НБУВ: Ш5(4ПОЛ=Ук)-4 Лепкий Б. 4,0 + Т3(4УКР)52-7 + Ш5(Ук=4ПОЛ)-4 Лепкий 4,0

Рубрики:

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

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

Валіцький А.  
В полоні консервативної утопії: Структура і видозміни російського слов'янофільства / А. Валіцький; Пер.: В. Моренець. - К. : Основи, 1998. - 710 c. - укp.

Подано структурне дослідження генези російського слов'янофільства як цілісної світоглядної доктрини XIX ст., що визначає засадничі риси й теперішньої російської суспільної свідомості. Всесвітньо відомий славіст крок за кроком простежує цей духовно-інтелектуальний феномен у його зародженні (М.Щербаков, М.Карамзін, М.Погодін, В.Одоєвський, О.Чаадаєв), класичних самовиявах (І.Кирєєвський, О.Хом'яков, К.Аксаков), опозиційній єдності з оксиденталізмом (В.Бєлінський, М.Герцен, М.Грановський, К.Кавелін) та дезінтеграційних метаморфозах часів Ф.Достоєвського та В.Соловйова. Вказується, що ця подальша інтелектуальна історія Росії незаперечно свідчить про виняткову живучість і світоглядну значущість даного явища. Праця представлена як аналітична енциклопедія російського слов'янофільства і є наріжним каменем осмислення російської суспільно-філософської думки XIX-XX століть.


Індекс рубрикатора НБУВ: Ф1(4РОС)472.07 + Ю3(4РОС)50-568 + Ю3(4РОС)51_568 + Т3(2)51-475

Рубрики:

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

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