Бази даних

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

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

Вид пошуку
у знайденому
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Віртуальна довідка (9)Тематичний інтернет-навігатор (2)Наукова електронна бібліотека (1043)Автореферати дисертацій (688)Книжкові видання та компакт-диски (1202)Журнали та продовжувані видання (15)
Пошуковий запит: (<.>K=ПОМИЛК$<.>+<.>K=ПРОГРАМУВАНН$<.>)
Загальна кількість знайдених документів : 6616
Представлено документи з 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.

Molotaj O. A. 
Celestial Reference Frame RSC(GAOUA)98 C 01 = Небесна система відліку RSC(GAOUA)98 C 01 / O. A. Molotaj, V. V. Tel'nyuk-Adamchuk, Ya. S. Yatskiv // Кинематика и физика небес. тел. - 1998. - 14, № 6. - С. 512-519. - Библиогр.: 4 назв. - англ.

На основі п'яти систем відліку, отриманих за даними оригінальних VLBI-спостережень і поданих до IERS 1997 р., запропонованим у Києві методом дуг створено зведену небесну систему відліку RSC(GAOUA)98 C 01, що містить положення 631 радіоджерела. Координатні осі орієнтовано за осями ICRF з точністю 0.02 mas за всіма 212 спільними визначальними радіоджерелами. Внутрішні середні квадратичні помилки прямого сходження та схилення визначальних радіоджерел складають відповідно 0.11 і 0.13 mas. Обговорюються результати взаємних порівнянь ICRF, отриманої зведеної та використаних оригінальних систем.


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

Рубрики:

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

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

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

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


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

Рубрики:


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

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

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


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

Рубрики:

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

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

II Українська наукова конференція з міжнародною участю з питань артроскопії колінного суглоба : Матеріали конф. / ред.: В. Поліщук; Укр. асоц. ортопедів-травматологів, Українська наукова конференція з міжнародною участю з питань артроскопії колінного суглоба (2;1998;Рівне). - Рівне, 1998. - 104 c. - укp.

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


Індекс рубрикатора НБУВ: Р457.865.4 я431(4УКР)

Рубрики:

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

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

Seneta E.  
M. V. Ostrogradsky as probabilist = М. В. Остроградський як імовірнісник / E. Seneta // Укр. мат. журн. - 2001. - 53, № 8. - С. 1038-1047. - Библиогр.: 17 назв. - англ.

Наведено огляд імовірнісних досліджень М. В. Остроградського (1801 - 1862рр.) під іншим кутом зору, ніж у статті Б. В. Гнєденка "О работах М. В. Остроградского по теории вероятностей" (1951р). Статистична техніка М.В. Остроградського, яка пов'язана з використанням теореми Байєса разом із принципом недостатньої обгрунтованості, є близькою до відповідної техніки Лапласа в його книзі "Theorie analytique des probabilites". М. В. Остроградський уточнює або модифікує деякі висновки Лапласа прикладної спрямованості. Більш вражаючі результати, що з'явилися до відповідних робіт Пуассона, стосуються вибірки за ознаками без повернення зі скінченної популяції та ймовірності помилки суду присяжних.


Індекс рубрикатора НБУВ: В171д(4Укр)

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

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

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

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


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

Рубрики:

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

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

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 Пошук видання у каталогах НБУВ 

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

Тарасенко В. П. 
Автокомпенсация трансформированных ошибок при суммировании неточных операндов / В. П. Тарасенко, О. В. Тарасенко-Клятченко // Электрон. моделирование. - 2001. - 23, № 4. - С. 103-108. - Библиогр.: 6 назв. - рус.

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


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

Рубрики:

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

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

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

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


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

Рубрики:

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

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

Автоматика-2000 : Пр. Міжнар. конф. з упр., Львів, 11 - 15 верес. 2000 р.: В 7 т. Т. 1. Математичні проблеми управління, оптимізації та теорії ігор / ред.: В. Кунцевич; Укр. Асоц. з автомат. упр. - Л. : Держ. НДІ інформ. інфраструктури, 2000. - 282 c. - укp.

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


Індекс рубрикатора НБУВ: З965 я431(0) + З965.92 я431(0) + В173 я431(0)

Рубрики:

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

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

Жуковицкий И. В. 
Адаптивная коррекция задания регулятору / И. В. Жуковицкий // Пробл. упр. и информатики. - 1999. - № 1. - С. 53-57. - Библиогр.: 2 назв. - рус.

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


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

Рубрики:

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

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

Баранник Е. А. 
Адаптивная фильтрация спекл-шумов изображений диагностических ультразвуковых систем: компьютерное моделирование / Е. А. Баранник, Д. А. Толстолужский // Техн. диагностика и неразрушающий контроль. - 1999. - № 2. - С. 15-21. - Библиогр.: 17 назв. - рус.

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


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

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

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

Володарський Є. Т. 
Адаптивний алгоритм контролю з корекцією уставок / Є. Т. Володарський, І. П. Москаленко // Вимірюв. техніка та метрологія. - 1999. - Вип. 54. - С. 21-28. - Бібліогр.: 3 назв. - укp.

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


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

Рубрики:

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

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

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

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


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

Рубрики:

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

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

Єжевська О. С. 
Активні методи довузівського викладання хімії / О. С. Єжевська, М. А. Баран // Вісн. Технол. ун-ту Поділля. - 1999. - № 6. - С. 167-170. - Бібліогр.: 2 назв. - укp.

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


Індекс рубрикатора НБУВ: Г.р(4Укр)2-33

Рубрики:

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

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

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

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


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

Рубрики:

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

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

Шидловська Н. А. 
Аналіз нелінійних електричних кіл методом малого параметру / Н. А. Шидловська; НАН України. Ін-т електродинаміки. - К. : Євроіндекс, 1999. - 191 c. - Бібліогр.: 234 назв. - укp.

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


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

Рубрики:

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

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

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

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


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

Рубрики:

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

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

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

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


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

Рубрики:

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

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