![](/irbis64r_81/images/db_navy.gif) Віртуальна довідка ![](/irbis64r_81/images/db_navy.gif) Тематичний інтернет-навігатор ![](/irbis64r_81/images/db_navy.gif) Наукова електронна бібліотека ![](/irbis64r_81/images/db_navy.gif) Автореферати дисертацій ![](/irbis64r_81/images/db_navy.gif) Реферативна база даних ![](/irbis64r_81/images/db_navy.gif) Книжкові видання та компакт-диски ![](/irbis64r_81/images/db_navy.gif) Журнали та продовжувані видання
![Mozilla Firefox](../../ico/mf.png) |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Формат представлення знайдених документів: | повний | стислий |
Пошуковий запит: (<.>K=МОБІЛЬНЕ$<.>+<.>K=ПРОГРАМУВАНН$<.>) |
Загальна кількість знайдених документів : 4144
Представлено документи з 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. - № 2. - С. 126-130. - Библиогр.: 8 назв. - рус.Запропоновано розв'язок задачі аналізу стійкості регулярної топології базової мережі передачі даних на основі використання понять двоїстості у нелінійному програмуванні. Одержані в результаті параметричного дослідження співвідношення для визначення діапазонів зміни величини інтенсивностей інформаційного обміну між вузлами комутації дозволяють отримати обгрунтовані проектні рішення на початковому етапі системної інтеграції інформаційно-обчислювальних ресурсів базової мережі передачі даних. Індекс рубрикатора НБУВ: З970.3-020
Рубрики:
Шифр НБУВ: Ж26990 Пошук видання у каталогах НБУВ
|
| | | | |
9. |
Мартинюк Т. Б. Аналіз та оптимізація складних систем : Навч. посіб. / Т. Б. Мартинюк, В. П. Кожем'яко; Вінниц. держ. техн. ун-т. - Вінниця, 1998. - 78 c. - Бібліогр.: 13 назв. - укp.Розглядаються методи аналізу та оптимізації складних систем. Автори намагались використовувати основний принцип системотехнічного підходу до дослідження складних систем, який полягає у представленні системи як сукупності всіх її частин у зв'язку з навколишнім середовищем, а також взаємозумовленості всіх її властивостей, таких як продуктивність, надійність, оптимальність. Наведено методи аналізу обчислювальних систем, до яких у даному випадку відносяться як чисто обчислювальні системи, так і керуючі та інформаційно-вимірювальні системи, які будуються на комп'ютерах та багатопроцесорних комплексах та мережах. Докладно розглянуто аналіз математичних моделей процесів і складних систем. Особливу увагу приділено аналітичним методам, застосування яких на відміну від методів моделювання дає можливість отримати загальні результати. Детально наведено методи математичного, зокрема, лінійного та дискретного, програмування, а також відомості щодо методів нелінійного та динамічного програмування. Запропоновано методи пошуку оптимальних рішень за умови неповної вхідної інформації. Індекс рубрикатора НБУВ: З965.92-01 я73
Рубрики:
Шифр НБУВ: ВА589757 Пошук видання у каталогах НБУВ
|
| | | | |
10. |
Пєтух А. М. Архітектура і програмування 32-розрядних мікропроцесорів : Навч. посіб. / А. М. Пєтух, В. П. Майданюк, Є. Л. Ольшевський; Вінниц. держ. техн. ун-т. - Вінниця : ВДТУ, 2001. - 132 c. - Бібліогр.: 10 назв. - укp.Розглянуто процесори сімейства х86, а саме - їх 32-розрядні нащадки (від 80386). Наведено опис їх програмної моделі, режими роботи, системи команд, відмінності. Індекс рубрикатора НБУВ: З973-048 я73
Рубрики:
Шифр НБУВ: ВА604628 Пошук видання у каталогах НБУВ
|
| | | | |
11. |
Кравцов М. К. Асимптотическая оптимальность плана транспортной задачи, построенного методом минимального элемента / М. К. Кравцов, А. П. Крачковский // Кибернетика и систем. анализ. - 1999. - № 1. - С. 144-151. - Библиогр.: 21 назв - рус.При деяких допоміжних умовах, накладених на коефіцієнти цільової функції транспортної задачі лінійного програмування, встановлено, що метод мінімального елемента майже завжди будує асимптотичний оптимальний план. Індекс рубрикатора НБУВ: В173.111
Рубрики:
Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ
|
| | | | |
12. |
Бойко А. В. Аэродинамика проточной части паровых и газовых турбин: расчеты, исследования, оптимизация, проектирование / А. В. Бойко, А. В. Гаркуша; Акад. наук высш. школы Украины. - Х., 1999. - 359 c. - Библиогр.: 331 назв. - рус.Розглянуті методи оптимального проектування проточної частини парових та газових турбін, які базуються на використанні принципів нелінійного програмування. Наведена методика проектування високоекономічних турбінних профілів. Викладені основні принципи проектування останнього ступеня турбіни для роботи в широкому діапазоні режимів з урахуванням впливу випускного патрубка, методика розрахунку оптимальної форми меридіональних окреслень проточної частини. Індекс рубрикатора НБУВ: З363.2-02 + З363.3-02
Рубрики:
Шифр НБУВ: ВА590675 Пошук видання у каталогах НБУВ
|
| | | | |
13. |
Бараненко В. О. Багатокритеріальні задачі синтезу ШСС та динамічне програмування / В. О. Бараненко // Вісн. Придніпр. держ. акад. буд-ва та архіт. - Д., 2000. - № 10. - С. 4-12. - Бібліогр.: 6 назв. - укp.Запропоновано підхід до розв'язання багатокритеріальної задачі синтезу пружної шарнірно стрижневої системи (ШСС) з боку багатокрокових марковських процесів і використання методу динамічного програмування. Розроблено обчислювальну процедуру одержання компромісного оптимального розв'язку з урахуванням коефіцієнтів важливості заданих критеріїв ефективності. Подано числові результати оптимізації геометрії нижнього поясу ШСС за критеріями мінімуму об'єму та потенціальної енергії деформації. На підставі одержаних результатів знайдено область Парето. Індекс рубрикатора НБУВ: Н112.2
Рубрики:
Шифр НБУВ: Ж69446 Пошук видання у каталогах НБУВ
|
| | | | |
14. |
Паранчук Я. С. Бейсик: програмування в середовищах QBasic, Turbo Basic, Power Basic : Навч. посіб. / Я. С. Паранчук, Я. М. Глинський, В. І. Мороз; Держ. ун-т "Львів. політехніка". - К., 1998. - 298 c. - Бібліогр.: 24 назв. - у.Вивчається мова програмування Бейсик в інтегрованому середовищі Microsoft QBasic. Описуються принципи роботи з текстовим редактором, системою налагодження й виконання програм та інформаційно-довідковою системою середовища. Розглядаються синтакис і семантика сучасної версії мови Бейсик, яка дає змогу складати програми розв'язування різноманітних задач з дотриманням правил структурного програмування і не має недоліків ранніх версій мови. Матеріал супроводжується ілюстраціями режимів функціонування середовища, зразками та прикладами програм і результатами їх виконання. Наводиться добірка задач, яка може слугувати основою для формування завдань для практичних і лабораторних занять. Для користувачів середовищами Turbo та Power Basic даються описи як середовищ, так і можливостей мови. Індекс рубрикатора НБУВ: З973-018.2 basic я7
Рубрики:
Шифр НБУВ: ВА585392 Пошук видання у каталогах НБУВ
|
| | | | |
15. |
Панфілов І. П. Вимірювання в телекомунікації : Підруч. із спец. за напрямом вищ. освіти "Телекомунікації" / І. П. Панфілов, М. С. Гаврилюк; Укр. держ. акад. зв'язку ім. О.С.Попова. - О., 1998. - 255 c. - Бібліогр.: 46 назв. - укp.Вимірювання в сучасних мережах телекомунікації вивчаються з системних позицій, які враховують перехід цифрових вимірювальних засобів на новий щабель технологічних рішень повної автоматизації та програмування. На цьому рівні вимірювальні прилади набувають всіх ознак інтелектуальних вимірювальних інформаційних систем. Приділено увагу особливостям вимірювальних інформаційних систем при автоматизації збирання і обробки вимірювальної інформації, при автоматизації контролю якості, технічного діагностування та ідентифікації. Вимірювальні задачі групуються за сферами охоплення напрямів телекомунікації, за призначенням і принципами роботи засобів вимірювання, за ділянками типової мережі телекомунікації. Наголошено на тенденції розвитку телекомунікаційного тестування трьома шляхами: внутрішнє самотестування, зовнішнє тестування і комбінації двох попередніх. Доводиться, що саме з допомогою зовнішнього тестування на етапі створення, пуску, експлуатації та сертифікації можливе досягнення високої якості роботи більшості телекомунікаційних систем. На прикладі модульної системи HP VXI вивчається концепція інтеграції приладових вимірювальних технологій MEK 625 з високопродуктивними комп'ютерними технологіями VME. Значну увагу приділено середовищу HP VEE, в якому виконується весь лабораторний практикум з курсу. У межах єдиної термінології інформатики в тексті наведені найважливіші визначення понять, вкрай необхідних для розуміння суті предмета. Індекс рубрикатора НБУВ: З970.34-07 я73 + З968.85-07 я73
Рубрики:
Шифр НБУВ: ВС33175 Пошук видання у каталогах НБУВ
|
| | | | |
16. |
Свердан П. Л. Вища математика: Аналіз інформації у фармації та медицині : Підруч. для студ. фармац. ф-тів та фармац. закл. освіти ІІІ-ІV рівнів акредитації / П. Л. Свердан. - Л. : Світ, 1998. - 332 c. - Бібліогр.: 33 назв. - укp.Розглядаються методи аналізу інформації на основі диференціального та інтегрального числення, а також моделювання процесів диференціальними рівняннями. Викладено теорію ймовірностей, яка є основою математичної статистики, висвітлено застосування граничних теорем теорії ймовірності в метрології. Описані алгоритми одержання статистичних висновків відносно параметрів розподілу досліджуваної ознаки та перевірки гіпотез, аналізу похибок експерименту, планування експерименту та дисперсійного аналізу, моделювання динаміки процесів, аналізу задач лінійного програмування і систем масового обслуговування, моделювання взаємозв'язків на основі кореляційного та регресійного аналізу. Індекс рубрикатора НБУВ: В11 я73-1 + Р28 с21 я73
Рубрики:
Шифр НБУВ: ВА587928 Пошук видання у каталогах НБУВ
|
| | | | |
17. |
Сидоров Н. А. Восстановление, повторное использование и переработка программного обеспечения / Н. А. Сидоров // Управляющие системы и машины. - 1998. - № 3. - С. 74-83. - Библиогр.: 35 назв. - рус.Подано основні положення інженерії утилізації програм - нового розділу інженерії програмування. Описано конструкції реалізованих інформаційно-програмних засобів. Ключ. слова: Індекс рубрикатора НБУВ: З973-018
Рубрики:
Шифр НБУВ: Ж14024 Пошук видання у каталогах НБУВ
|
| | | | |
18. |
Карпов О. М. Вступ до курсу "Технологія проектування пристроїв розпізнавання промови" : Навч. посіб. / О. М. Карпов; Дніпропетр. нац. ун-т. - Д., 2000. - 64 c. - Бібліогр.: 75 назв. - укp.Вміщено основні поняття та визначення теорії розпізнавання образів. Запропоновано огляд методів первинного аналізу промови та аналіз мовних сигналів за короткі інтервали часу. Узагальнено постановку задачі моделювання процесів аналізу мовних сигналів. Викладено загальний вигляд розв'язку задачі опису параметрів мови як структурної апроксимації різних категорій мовної інформації. Висвітлено лінгвістичні аспекти розпізнавання промови та сегментацію мовних сигналів. Розглянуто алгоритми побудови пристроїв розпізнавання промови, елементи динамічного програмування. Розкрито принцип Беллмана. Наведено загальну схему проектування пристроїв розпізнавання промови. Індекс рубрикатора НБУВ: З973-044.55 я73 + З970.664 я73
Рубрики:
Шифр НБУВ: ВА605161 Пошук видання у каталогах НБУВ
|
| | | | |
19. |
Карташов Н. В. Вычисление спектрального показателя эргодичности процесса рождения и гибели / Н. В. Карташов // Укр. мат. журн. - 2000. - 52, № 7. - С. 889-897. - Библиогр.: 13 назв. - рус.Отримано нову явну формулу для обчислення спектрального показника ергодичності процесу народження та загибелі з неперервним часом. Обчислення показника зведено до розв'язку оптимізаційної задачі нелінійного програмування, яка містить інфінітезимальну матрицю процесу. З використанням нового методу знайдено точні значення показників експоненціальної ергодичності для деяких марковських систем масового обслуговування. Індекс рубрикатора НБУВ: В162.7
Рубрики:
Шифр НБУВ: Ж26161 Пошук видання у каталогах НБУВ
|
| | | | |
20. |
Кузьомін О. Я. Від основ C++ до об'єктно-орієнтованого програмування додатків : Навч. посіб. / О. Я. Кузьомін; Наук.-метод. центр вищ. освіти. - Х., 2000. - 124 c. - Бібліогр.: 10 назв. - укp.Стисло викладено основні питання синтаксису мови С++. Подано рекомендації щодо складних питань використання основних, стандартних і складених типів даних. Розглянуто особливості мови С++, що створюють об'єктну основу програмування, а також наведено рекомендації щодо використання середовищ програмування. Індекс рубрикатора НБУВ: З973-018.2 C++ я73 + З973-018.022.02 я73
Рубрики:
Шифр НБУВ: ВА601965 Пошук видання у каталогах НБУВ
| | |
|
|