Пошуковий запит: (<.>TJ=Пробл. программирования<.>) |
Загальна кількість знайдених документів : 272
Представлено документи з 1 до 20
|
| |
|
| | |
|
1. |
Агеенко И. В. Анализ влияния структуры и размера информационной базы данных на характеристики узлов локальной вычислительной системы / И. В. Агеенко, О. М. Демиденко, И. В. Максимей // Пробл. программирования. - 2001. - № 1-2. - С. 114-120. - Библиогр.: 5 назв. - рус.Розглянуто вплив структури та розміру інформаційної бази даних на проектне моделювання і реалізацію вузлів локальної обчислювальної системи. Індекс рубрикатора НБУВ: З970.311
Рубрики:
Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ
|
|
| | |
|
2. |
Зинькович В. М. Анализ инструментальных средств MetaCASE / В. М. Зинькович, Е. И. Моренцов // Пробл. программирования. - 2001. - № 1-2. - С. 152-162. - Библиогр.: 8 назв. - рус.Описано підхід до дослідження й аналізу інструментальних засобів MetaCASE з використанням їх типової архітектури та методоорієнтованої класифікації. Наведено результати, що визначають перспективи розробки та розвитку таких інструментів. Індекс рубрикатора НБУВ: З973-018.021
Рубрики:
Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ
|
|
| | |
|
3. |
Пантелеймонов А. А. Аспекты реинженерии приложений с графическим интерфейсом пользователя / А. А. Пантелеймонов // Пробл. программирования. - 2001. - № 1-2. - С. 53-62. - Библиогр.: 18 назв. - рус.Проаналізовано та узагальнено науково-практичний матеріал з реінженерії програмних застосувань з графічним інтерфейсом користувача на підставі напрацювань і технічних прийомів, застосованих у ряді проектів. Запропоновано підхід, що базується на виділенні тонкого клієнта, здатного функціонувати під керуванням різних апаратних і програмних платформ. Проведено декомпозицію процесу реінженерії. Висвітлено деякі аспекти реалізації, в тому числі організацію черги обробки повідомлень результуючого розподіленого застосування, оптимізацію його дієвості, авторизацію клієнтської частини, інтернаціоналізацію. Індекс рубрикатора НБУВ: З973-018.11
Рубрики:
Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ
|
|
| | |
|
4. |
Сороко В. М. Застосування гіпертекстових технологій у побудові комп'ютерних навчаючих систем / В. М. Сороко // Пробл. программирования. - 2001. - № 1-2. - С. 128-137. - Бібліогр.: 11 назв. - укp.Розглянуто теоретичні питання побудови гіпертекстового середовища та його якісні характеристики, які є суттєвими для створення комп'ютерних навчальних систем. Запропоновано механізм раціональної організації інформаційно-методичного забезпечення, який реалізовано у гіпертекстовій системі "ДИСК-М". Висвітлено особливості структурно-модульної організації даної системи. Індекс рубрикатора НБУВ: З970.826
Рубрики:
Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ
|
|
| | |
|
5. |
Григорян Р. Д. Концептуальные проблемы управления работоспособностью пользователя с помощью адаптивного компьютера / Р. Д. Григорян // Пробл. программирования. - 2001. - № 1-2. - С. 121-127. - Библиогр.: 7 назв. - рус.Сформульовано основні принципи керування станом користувача з урахуванням фізіологічної адаптації. Проведено розмежування механізмів адаптації залежно від системних гомеостатичних і функціональних регуляторів. Показано, що модель динаміки уваги користувача повинна мати показники фізіологічної адаптації, а алгоритми керування працездатністю людини за допомогою адаптивного комп'ютера повинні узгоджуватися з природними адаптаційними процесами. Індекс рубрикатора НБУВ: З970.81-016
Рубрики:
Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ
|
|
| | |
|
6. |
Алексеев В. А. Концепция создания единой автоматизированной системы документов проектной базы ядерных установок / В. А. Алексеев, Е. Н. Богданцев, Е. А. Шумков // Пробл. программирования. - 2001. - № 1-2. - С. 109-113. - рус.Запропоновано концептуальні рішення щодо архітектури інформаційної моделі та моделі життєвого циклу документів проектної бази (ДПБ) ядерних установок, принципи організації роботи з електронними ДПБ та загальні вимоги до єдиної автоматизованної системи ДПБ ядерних установок. Індекс рубрикатора НБУВ: З46-05
Рубрики:
Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ
|
|
| | |
|
7. |
Коротун Т. М. Модель определения критерия завершения тестирования на основе анализа риска отказа и ее реализация / Т. М. Коротун // Пробл. программирования. - 2001. - № 1-2. - С. 63-68. - Библиогр.: 9 назв. - рус.Розглянуто підхід до тестування інформаційних систем організаційного керування з урахуванням ризику відмови компонентів їх прикладного програмного забезпечення. Наведено модель визначення часу, необхідного на тестування, з урахуванням ризику відмови, визначено критерій завершення тестування та процедуру збору даних результатів тестування. Модель реалізовано у програмному комплексі керування тестуванням. Індекс рубрикатора НБУВ: З973-018.025
Рубрики:
Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ
|
|
| | |
|
8. |
Павлов А. А. Новые условия полиномиальной составляющей ПДС-алгоритма задачи "Минимизация суммарного взвешенного момента" / А. А. Павлов, Л. А. Аксенова // Пробл. программирования. - 2001. - № 1-2. - С. 69-75. - Библиогр.: 6 назв. - рус.Запропоновано нові поліноміальні підкласи важкорозв'язуваної задачі теорії розкладу "Мінімізація сумарного зваженого моменту", отримані внаслідок реалізації поліноміальної складової ПДС-алгоритму цієї задачі. Індекс рубрикатора НБУВ: В173.124
Рубрики:
Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ
|
|
| | |
|
9. |
Антонюк А. А. О выборе профиля защищенности информации в автоматизированных системах / А. А. Антонюк // Пробл. программирования. - 2001. - № 1-2. - С. 163-169. - Библиогр.: 7 назв. - рус.Розглянуто основне поняття нормативних документів системи технічного захисту інформації - стандартний функціональний профіль захищеності. Запропоновано підхід, який дозволяє формалізувати процедуру його вибору. Індекс рубрикатора НБУВ: З970.40
Рубрики:
Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ
|
|
| | |
|
10. |
Шинкаренко В. И. Особенности оценки эффективности вычислительных алгоритмов / В. И. Шинкаренко // Пробл. программирования. - 2001. - № 1-2. - С. 23-29. - Библиогр.: 8 назв. - рус.Розглянуто питання ефективності алгоритмів. Встановлено суттєві фактори, які впливають на ефективність виконання алгоритмів. Обгрунтовано залежність ефективності алгоритмів від архітектури ЕОМ, на яких передбачається їх виконання, а також необхідність індексної оцінки часової складності алгоритмів. Індекс рубрикатора НБУВ: З973-018.011
Рубрики:
Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ
|
|
| | |
|
11. |
Грищенко В. М. Парадигма перетворення даних, що передаються в мережі / В. М. Грищенко // Пробл. программирования. - 2001. - № 1-2. - С. 84-94. - Бібліогр.: 8 назв. - укp.Розглянуто проблему передачі даних між взаємодіючими компонентами мережі. Запропоновано формальний підхід до вирішення цієї проблеми, що включає парадигму перетворення форматів даних, типів і структур даних сучасних мов програмування. Наведено засоби реалізації цієї парадигми в системах, що займають проміжне положення між загальносистемними засобами та користувачами. Індекс рубрикатора НБУВ: З970.6-013.4
Рубрики:
Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ
|
|
| | |
|
12. |
Нетесин И. Е. Подход к синхронизации процессов в компьютерных сетях / И. Е. Нетесин // Пробл. программирования. - 2001. - № 1-2. - С. 76-83. - Библиогр.: 7 назв. - рус.Розглянуто проблему взаємодії процесів, що протікають у комп'ютерних мережах і конкурують за володіння ресурсами, які розділяються. Запропоновано підхід до синхронізації даних процесів, що грунтується на концепції синхронізуючого автомата. Індекс рубрикатора НБУВ: З970.31
Рубрики:
Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ
|
|
| | |
|
13. |
Дудка Т. Н. Применение нечетких множеств и уровневых чисел для решения задачи выбора / Т. Н. Дудка, А. И. Провотар // Пробл. программирования. - 2001. - № 1-2. - С. 30-34. - Библиогр.: 5 назв. - рус.Розглянуто задачу вибору об'єктів з деякої множини за заданими характеристиками цих об'єктів і запропоновано два методи розв'язання з використанням елементів теорії нечітких множин. Індекс рубрикатора НБУВ: В128.3
Рубрики:
Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ
|
|
| | |
|
14. |
Ігнатенко П. П. Про забезпечення ефективного реінжинірингу прикладних програмних систем / П. П. Ігнатенко, В. М. Неумоїн, В. М. Бистров // Пробл. программирования. - 2001. - № 1-2. - С. 42-52. - Бібліогр.: 7 назв. - укp.Розглянуто основні задачі та підхід до вирішення проблеми ефективного реінжинірингу прикладних програмних систем, що створюються. Запропоновано вирішення проблеми шляхом визначення системи моделей реінжинірингу, їх створення й імплементації в середовище розробки прикладних програмних систем. Індекс рубрикатора НБУВ: З973-018.11
Рубрики:
Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ
|
|
| | |
|
15. |
Бабенко Л. П. Підхід до атестації адаптивних властивостей компонентів програмних систем засобами UML / Л. П. Бабенко, С. Л. Поляничко // Пробл. программирования. - 2001. - № 1-2. - С. 35-41. - Бібліогр.: 6 назв. - укp.Введено класифікацію адаптивних властивостей повторно використовуваних компонентів у програмній інженерії як передбаченої варіантності їх функціонування та досліджено їх відображення засобами моделювання Unified Modelling Language. Індекс рубрикатора НБУВ: З973-018.02
Рубрики:
Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ
|
|
| | |
|
16. |
Нікітченко М. С. Семантичні аспекти посткласичних логік / М. С. Нікітченко, С. С. Шкільняк // Пробл. программирования. - 2001. - № 1-2. - С. 3-12. - Бібліогр.: 13 назв. - укp.Побудовано спеціальні композиційно-номінативні логіки предикатів, названі неокласичними та посткласичними, які зберігають основні властивості класичної логіки. Досліджено семантичні моделі таких логік, проаналізовано відношення між класичними, неокласичними та посткласичними логіками. Індекс рубрикатора НБУВ: З973-047.20
Рубрики:
Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ
|
|
| | |
|
17. |
Ильина Е. П. Экспертная методология в информационно-аналитических системах / Е. П. Ильина // Пробл. программирования. - 2001. - № 1-2. - С. 13-22. - Библиогр.: 7 назв. - рус.Розглянуто можливості використання експертної методології підтримки прийняття рішень у комплексній інформаційно-аналітичній системі галузі. Проаналізовано структуру аналітичної політики галузі. Описано три спеціальні види експертизи: альтернатив, діагностична та концептуальна. Показано місце розроблених методів і засобів експертизи в підтримці аналітичної політики. Індекс рубрикатора НБУВ: З970.51
Рубрики:
Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ
|
|
| | |
|
18. |
Балабанов О. С. Індуктивне відтворення деревовидних структур систем залежностей / О. С. Балабанов // Пробл. программирования. - 2001. - № 1-2. - С. 95-108. - Бібліогр.: 8 назв. - укp.Розроблено критерії та метод ідентифікації структури дерева (або лісу) ймовірнісних залежностей між змінними номінального типу на базі даних. Доведено, що метод надійно відтворює топологію суміжності змінних. Спрямованість залежностей розпізнається вірно. У випадку, коли вони належать до патерну "квазіоднозначних". Досліджено поведінку запропонованих показників і критеріїв. Індекс рубрикатора НБУВ: З970.410
Рубрики:
Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ
|
|
| | |
|
19. |
Дорошенко А. Ю. Інтелектуалізація векторизуючих компіляторів для мікропроцесорів з довгим командним словом / А. Ю. Дорошенко, Д. В. Куйвашев // Пробл. программирования. - 2001. - № 1-2. - С. 138-151. - Бібліогр.: 22 назв. - укp.Висвітлено питання інтелектуалізації компіляції програм для мікропроцесорів з довгим командним словом. Розглянуто експертну систему оригінального векторизуючого компілятора. Наведено приклади інтелектуальних настроювань компілятора та можливостей інтелектуалізованого генератора коду. Розглянуто подальші перспективи розвитку програмної системи. Індекс рубрикатора НБУВ: З973-018.021.3
Рубрики:
Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ
|
|
| | |
|
20. |
Крамар Ю. М. Автоматизация контроля применения стиля языка программирования / Ю. М. Крамар // Пробл. программирования. - 2004. - 2-3 [спец. вып.]. - С. 208-214. - Библиогр.: 11 назв. - рус.Приведено описание процесса контроля применения стиля языка программирования (ЯП) и устройства, автоматизирующего данный процесс, описана математическая модель устройства и алгоритм его функционирования. Представлены архитектура средств, реализующих контроль применения стиля, и результаты экспериментальных исследований программных средств, автоматизирующих контроль применения стиля ЯП. Індекс рубрикатора НБУВ: З973-018.21
Рубрики:
Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ
|
| |