Бази даних

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

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

Вид пошуку
у знайденому
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Віртуальна довідка (8)Тематичний інтернет-навігатор (2)Наукова електронна бібліотека (1037)Автореферати дисертацій (718)Книжкові видання та компакт-диски (1375)Журнали та продовжувані видання (21)
Пошуковий запит: (<.>K=ЕКСТРЕМАЛЬН$<.>+<.>K=ПРОГРАМУВАНН$<.>)
Загальна кількість знайдених документів : 6108
Представлено документи з 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.

П'ясковський Д. В. 
Адаптивний кореляційно-екстремальний алгоритм навігації космічного апарата по геофізичних полях на основі диференціально-тейлорівських перетворень / Д. В. П'ясковський, С. В. Водоп'ян, І. Д. Варламов // Косм. наука і технологія. - 2001. - 7, № 4. - С. 141-146. - Бібліогр.: 14 назв. - укp.

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


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

Рубрики:

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

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

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

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


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

Рубрики:

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

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

Боровик В. Н. 
Алгебраїчний метод у геометричних побудовах. (Розв'язування задач на побудову циркулем і лінійкою) : Навч. посіб. для студ. / В. Н. Боровик, І. В. Зайченко; Черніг. держ. пед. ун-т ім. Т.Г.Шевченка. - Чернігів, 2000. - 178 c. - Бібліогр.: 7 назв. - укp.

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


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

Рубрики:

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

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

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

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


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

Рубрики:

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

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

Балахонова Н. А. 
Аналитический расчет тонкой структуры дифракционной аномалии при резонансной дифракции / Н. А. Балахонова // Радиотехника / Харьк. гос. техн. ун-т радиоэлектрон. - 1999. - Вып. 110. - С. 152-157. - Библиогр.: 6 назв. - рус.

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

Рассмотрена резонансная дифракция плоской волны на произвольно ориентированной периодической (не обязательно синусоидальной) решетке. Исследована зависимость коэффициентов преобразования в дифракционные спектры разных порядков от угла падения и параметров решетки. Найдены положения и величина экстремумов коэффициентов преобразования по углу падения. Эти экстремальные значения являются немонотонными функциями глубины решетки. Среди решеток заданной (но произвольной) формы найдена такая, для которой коэффициенты преобразования достигают экстремума по глубине решетки.

The resonance diffraction of a plane wave at arbitrary oriented periodic (non-sinusoidal) grating is considered. The transformation coefficients dependence on the incidence angle and grating parameters is described. Position of the transformation coefficients extreme as a function of the incidence angle is found. The extreme values are nonmonotonic functions of grating height. The depth of arbitrary profile grating ensuring the extreme values of the transformation coefficients is obtained.


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

Рубрики:

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

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

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

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


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

Рубрики:

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

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

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

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


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

Рубрики:

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

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

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

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


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

Рубрики:

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

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

Анисимов В. В. 
Асимптотические свойства оценок параметров нелинейных временных рядов / В. В. Анисимов, Х. С. Кейбах // Кибернетика и систем. анализ. - 2000. - № 2. - С. 62-72. - Библиогр.: 13 назв. - рус.

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


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

Рубрики:

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

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

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

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


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

Рубрики:

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

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

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

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


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

Рубрики:

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

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

Лапін В. М. 
Безпека життєдіяльності людини : Навч. посіб. для студ. вищ. навч. закл. / В. М. Лапін; Нац. банк України. - 4-е вид., випр. - Л. : ЛБІ НБУ; К.: Знання, 2001. - 183 c. - Бібліогр.: 33 назв. - укp.

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


Індекс рубрикатора НБУВ: Б1 я73-1 + Р12 я73 + Р36 я73 + Ц69,8(4УКР)-53 я73 + А734 я73

Рубрики:

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

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

Лапін В. М. 
Безпека життєдіяльності : Навч. посіб. для студ. вищ. навч. закл. / В. М. Лапін; Нац. банк України. - Л., 1998. - 107 c. - укp.

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


Індекс рубрикатора НБУВ: Р12 я73 + Р36 я73 + Ц69,8(4УКР)-53 я73

Рубрики:

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

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

Кобевнік В. Ф. 
Безпека життєдіяльності : Навч. посіб. для студ. усіх спец. Ч. 2 / В. Ф. Кобевнік, Л. І. Северин, В. П. Половинчук, І. В. Васильківський; Вінниц. держ. техн. ун-т. - Вінниця, 1999. - 167 c. - Библиогр.: 30 назв. - укp.

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


Індекс рубрикатора НБУВ: А734 я73

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

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