Бази даних

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

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

Вид пошуку
у знайденому
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Віртуальна довідка (120)Тематичний інтернет-навігатор (6)Наукова електронна бібліотека (1821)Автореферати дисертацій (900)Книжкові видання та компакт-диски (10295)Журнали та продовжувані видання (508)
Пошуковий запит: (<.>K=АДРЕСН$<.>+<.>K=МОВА$<.>+<.>K=ПРОГРАМУВАНН$<.>)
Загальна кількість знайдених документів : 8918
Представлено документи з 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.

Селіванова О. О. 
Актуальні напрями сучасної лінгвістики (аналітичний огляд) : Навч. посіб. для спец. "Укр. мова і л-ра", "Мова і л-ра" / О. О. Селіванова; Черкас. держ. ун-т ім. Б.Хмельницького. - К. : Фітосоціоцентр, 1999. - 148 c. - укp.

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


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

Рубрики:

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

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

Актуальні проблеми викладання іноземної мови у вищій школі / ред.: Г. І. Мостовий; Укр. акад. держ. упр. при Президентові України. Харк. філ. - Х., 1999. - 107 c. - укp.

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


Індекс рубрикатора НБУВ: Ш12-913 я43

Рубрики:

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

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

Огуй О. Д. 
Актуальні проблеми семантики та полісемії = Aktuelle Probleme der Semantik und Polysemie : Конспект лекцій з лексикології для студ. 3 і 5 курсів нім. від-ня / О. Д. Огуй; Чернів. держ. ун-т ім. Ю.Федьковича. - Чернівці : Рута, 1998. - 150 c. - Бібліогр.: с. 122-148. - укp.

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


Індекс рубрикатора НБУВ: Ш103.1 я73 + Ш143.24-933 + Ш143.24-944|Ш1

Рубрики:

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

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

Актуальні проблеми слов'янської філології : Міжвуз. зб. наук. ст.: "Лінгвістика і літературознавство" / ред.: Л. П. Іванова; Ін-т л-ри ім. Т.Г.Шевченка НАН України. - К. : Знання, 1999. - 124 c. - укp.

Розглянуто актуальні проблеми сучасного мовознавства і літературознавства, зокрема, у сфері лінгвістики ряд робіт присвячено факторам (мовна особистість, мова художньої літератури, писемна традиція, культура, політичні обставини, фольклор, релігія), які впливають на становлення функціонально-стилістичної системи літературних мов. Проаналізовано композиційно-семантичні і структурні особливості епіграфічного мовлення українських письменників ХІХ-ХХ ст. (Г.Сковороди, М.Некрасова, С.Черкасенка, К.Гриневичевої, Є.Плужника, О.Лятуринської), а також в етнокультурному аспекті подаються коментарі про назви одягу, їжі, напоїв, ужитих І.П.Котляревським у поемі "Енеїда". Досліджено семантичні зміни у структурі лексичних одиниць, процес запозичення слів з російської та англійської мов у зв'язку зі змінами у їх семантичній структурі; надано семантико-зіставну характеристику деяких фразеологізмів французької, німецької, російської та української мов, виявленням національної специфіки. Особливу увагу приділено питанням методики викладання української мови. Детально висвітлено проблему структурно-семантичної класифікації складнопідрядних речень та виявлено розбіжності під час її розгляду за вузівськими підручниками. Розкрито шляхи здійснення естетичного впливу на школярів засобами української мови та вдосконалення зв'язного мовлення майбутніх учителів початкових класів. Вивчено побутову лексику літописів Самовидця, Г.Граб'янки, С.Величка у курсі історії української літературної мови.


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

Рубрики:

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

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

Рябченко О. Д. 
Акціонування і приватизація за кордоном / О. Д. Рябченко, А. С. Козинець, Ю. В. Єлагін, О. М. Водотика, О. П. Бахтир. - Х. : Основа, 1998. - 78 c. - Бібліогр.: 153 назв. - укp.

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


Індекс рубрикатора НБУВ: У50-4 + У010.295.211

Рубрики:

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

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

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

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


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

Рубрики:

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

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

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

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


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

Рубрики:

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

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

Лупир В. М. 
Анатомо-клінічний атлас схем черепних нервів і органів чуття людини : На укр. і рос. мовах з лат. термінологією / В. М. Лупир, А. О. Терещенко, А. Я. Браславець, А. В. Лупир, В. О. Ольховський; Харк. держ. мед. ун-т. - Х., 1999. - 187 c. - Бібліогр.: 16 назв. - укp.

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


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

Рубрики:

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

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

Анатомічна термінологія = Terminologia Anatomica = Anatomical Terminology : Посіб. для студ. та викл. вищ. навч. закл. ІІІ - ІV рівнів акредитації / уклад.: К. А. Дюбенко; Нац. мед. ун-т ім. О.О.Богомольця. - 2-е вид., допов. й опрац. - К., 2001. - 392 c. - Бібліогр.: 26 назв. - укp.

Запропоновано перекладений українською та англійською мовами науково обгрунтований та уніфікований перелік анатомічних термінів, що вживаються в медицині, укладений за системним принципом будови організму людини, з урахуванням нових термінів, уточнень, додатків та коментарів до нововведених термінів, внесених Федеративним Комітетом з Анатомічної Термінології у Новому Орлеані 5 - 9 квітня 1997 р.


Індекс рубрикатора НБУВ: Ш146.1-434:Р + Ш141.4-434:Р + Ш143.21-434:Р + Р251 я7 + Е70*60 я21 я7

Рубрики:

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

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

Борисенко І. І. 
Англійська мова в міжнародних документах і дипломатичній кореспонденції = English in international documents and diplomatic correspondence : Навч. посіб. для студ. ф-тів міжнар. відносин, міжнар. права та інозем. мов / І. І. Борисенко, Л. І. Євтушенко, В. В. Дайнеко. - 2-е вид., із змінами та доп. - К. : Логос, 1999. - 411 c. - Бібліогр.: с. 409-410. - укp.

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


Індекс рубрикатора НБУВ: Ш143.21-937.1

Рубрики:

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

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

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

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


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

Рубрики:

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

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

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

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


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

Рубрики:

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

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

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

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


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

Рубрики:

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

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