Бази даних

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

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

Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повнийстислий
Пошуковий запит: (<.>TJ=Пробл. програмув<.>)
Загальна кількість знайдених документів : 405
Представлено документи з 1 до 20
...

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

Сергиенко И. В. 
Автоматизированная система НАДРА-ПП планово-пространственного исследования процессов в сложных средах / И. В. Сергиенко, В. С. Дейнека, Н. А. Калынюк // Пробл. програмув. - 2006. - 2-3 [спец. вип.]. - С. 749-757. - Библиогр.: 11 назв. - рус.

Описана автоматизированная диалоговая программно-алгоритмическая система НАДРА-ПП, которая предназначена для исследования пространственно-планового движения жидкости в многослойных средах и функционирующая на комплексе ПЭВМ-Кластер (суперкомпьютер для реализации информационных технологий - СКИТ). Рассмотрены некоторые новые возможности для ввода и отображения геометрической информации в автоматизированном комплексе НАДРА-ПП. Описаны подходы, которые позволяют оптимизировать процесс вывода геометрической информации для упрощения работы с задачами со сложной геометрической структурой. Приведены результаты вычислительных экспериментов.


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

Рубрики:

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

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

Смородин В. С. 
Агрегатно-процессный стенд имитации для контроля реализаций технологии опасного производства / В. С. Смородин // Пробл. програмув. - 2006. - № 4. - С. 84-93. - Библиогр.: 3 назв. - рус.

Расширены возможности системы автоматизации имитационного моделирования технологических процессов опасного производства (ТПОП). Предложены технология формализации ТПОП на основе использования вероятностных сетевых графиков и методика автоматизации построения и эксплуатации имитационной модели ТПОП, содержащей в своем составе систему принятия управляющих решений. Расширены возможности планирования и динамического управления резервированием технологических операций и предложена технология использования стенда имитации для контроля за реализацией опасного производства.


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

Рубрики:

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

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

Кривой С. Л. 
Алгебра связных графов и проектирование топологии компьютерных сетей / С. Л. Кривой // Пробл. програмув. - 2006. - 2-3 [спец. вип.]. - С. 35-42. - Библиогр.: 5 назв. - рус.

Описан один из возможных вариантов алгебры регулярных графов и ее приложения к проектированию и исследованию свойств топологии компьютерных сетей, ориентированных на устойчивость компьютерной сети к повреждениям.


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

Рубрики:

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

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

Дорошенко А. Е. 
Алгебраическое проектирование программ: алгоритмы, объекты, инструменты / А. Е. Дорошенко, Л. М. Захария, Г. Е. Цейтлин // Пробл. програмув. - 2007. - № 2. - С. 5-14. - Библиогр.: 20 назв. - рус.

Освещены современные исследования средств проектирования алгоритмов и программ. Известный тезис Вирта: "алгоритмы + структуры данных = программы" распространен на современные исследования по методологии и технологии программирования. При этом особое внимание уделено тем из них, которые сопряжены с использованием алгебраического аппарата.


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

Рубрики:

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

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

Алексеєв В. А. 
Багатоаспектна декомпозиція як засіб проектування архітектури інформаційних систем. Ч. 1. Декомпозиція структур об'єкта та системи / В. А. Алексеєв, В. І. Дехтяренко, В. Е. Рогачов, В. С. Терещенко // Пробл. програмув. - 2006. - № 4. - С. 5-15. - Бібліогр.: 20 назв. - укp.

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


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

Рубрики:

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

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

Алексеєв В. А. 
Багатоаспектна декомпозиція як засіб проектування архітектури інформаційних систем. Ч. 2. Побудова архітектури інформаційної системи / В. А. Алексеєв, В. С. Терещенко // Пробл. програмув. - 2007. - № 1. - С. 31-37. - Бібліогр.: 11 назв. - укp.

Запропоновано підхід до проектування архітектури територіально-розподілених, ієрархічно-організованих інформаційних систем (ІС), який, завдяки багатоаспектній декомпозиції організаційної структури та інформаційного поля функціональної діяльності об'єкта автоматизації і структури ідеалізованої ІС на складові елементи, дозволяє спроектувати необхідну за складом структурних компонентів архітектуру системи.


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

Рубрики:

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

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

Шехтер Д. Б. 
Байесовские методы в задаче оценки релевантности при поиске работы в Internet / Д. Б. Шехтер, А. В. Чадюк, А. Л. Червинский-Ивашура // Пробл. програмув. - 2006. - 2-3 [спец. вип.]. - С. 519-525. - Библиогр.: 7 назв. - рус.

Рассмотрено применение байесовских методов для определения релевантности объявлений (РО) о работе при поиске работы через Интернет. Детально описана байесовская сеть доверия как инструмент определения меры РО о работе пользовательскому запросу. Сформулирована постановка задачи оценки релевантности для данной предметной области, приведены необходимые теоретические сведения о выбранной методике решения задачи. Указаны основные аспекты практической реализации системы - факторы, влияющие на РО о работе и их учет в байесовской сети.


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

Рубрики:

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

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

Федоров І. В. 
Вдосконалення організації даних об'єктних прикладних програмних систем як метод підвищення їх життєздатності / І. В. Федоров // Пробл. програмув. - 2006. - 2-3 [спец. вип.]. - С. 328-340. - Бібліогр.: 9 назв. - укp.

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


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

Рубрики:

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

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

Меренков А. Ю. 
Визуальное моделирование сложного программного обеспечения Интернет узла / А. Ю. Меренков // Пробл. програмув. - 2006. - 2-3 [спец. вип.]. - С. 255-262. - Библиогр.: 13 назв. - рус.

Представлена модель иерархической структуры (ИС) программного обеспечения Интернет узла. Проанализирована и оценена возможность применения визуального моделирования (ВМ) для задач этого класса. Приведены примеры ВМ структуры системы. Применение ИС данных позволит автоматизировать процесс создания пользовательского интерфейса сложных программных систем.


Індекс рубрикатора НБУВ: З970.312.1 + З973-018.1

Рубрики:

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

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

Антонюк А. О. 
Використання доказового методу для проектування та оцінки рівня захищеності інформаційно-телекомунікаційної системи / А. О. Антонюк, В. В. Жора // Пробл. програмув. - 2007. - № 3. - С. 88-96. - Бібліогр.: 14 назв. - укp.

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


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

Рубрики:

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

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

Рогушина Ю. В. 
Використання організаційних онтологій для пошуку експертів у нових предметних областях / Ю. В. Рогушина, А. Я. Гладун // Пробл. програмув. - 2007. - № 1. - С. 73-84. - Бібліогр.: 7 назв. - укp.

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


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

Рубрики:

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

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

Максимей И. В. 
Возможности агрегатной системы моделирования вероятностных технологических процессов производства / И. В. Максимей, А. Н. Гончаров, П. Л. Гируц, В. С. Смородин // Пробл. програмув. - 2005. - № 4. - С. 84-94. - Библиогр.: 9 назв. - рус.

Сообщено о расширении возможностей агрегатной системы имитационного моделирования вероятностных технологических процессов производства (ВТПП). Предложено формализовать ВТПП с помощью использования двух типов моделей: вероятностных сетевых графиков и полумарковских моделей. Состав агрегатов-имитаторов технологических операций расширен множеством агрегатов-имитаторов работы оборудования и процедур ликвидации аварий. Расширены возможности планирования и динамического управления резервными микротехнологическими операциями. Изложена технология использования системы моделирования при проектном моделировании ВТПП.


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

Рубрики:

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

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

Шинкаренко В. И. 
Временная оценка операций обработки структурированных данных с учетом конвейеризации и кэширования / В. И. Шинкаренко // Пробл. програмув. - 2006. - 2-3 [спец. вип.]. - С. 43-52. - Библиогр.: 16 назв. - рус.

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


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

Рубрики:

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

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

Марьянович О. Т. 
Гибкая сортировка таблиц с использованием списков типов / О. Т. Марьянович // Пробл. програмув. - 2006. - № 1. - С. 93-98. - Библиогр.: 1 назв. - рус.

Описано применение идиомы обобщенного программирования к работе с табличной информацией в памяти компьютера. Продемонстрирована возможность использования шаблонных конструкций языка C++ для порождения таблиц произвольной структуры с возможностью их сортировки на основе заданных критериев.


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

Рубрики:

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

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

Редько В. Н. 
Дескриптивные системы: концептуальный базис / В. Н. Редько, И. В. Редько, Н. В. Гришко // Пробл. програмув. - 2006. - 2-3 [спец. вип.]. - С. 75-80. - Библиогр.: 13 назв. - рус.

Построены концептуальные основания дескриптивных систем. Эксплицировано понятие сущностной платформы. Вскрыты прагматико-онтологические ее предпосылки. Изложены основания прагматической эпистемологии и построен методологический базис.


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

Рубрики:

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

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

Редько И. В. 
Дескриптивные среды: интеграционные основания / И. В. Редько // Пробл. програмув. - 2006. - № 1. - С. 17-23. - Библиогр.: 7 назв. - рус.

Рассмотрены интеграционные аспекты дескриптирования. Дана развернутая экспликация остовных понятий дескриптологии: дескрипции, дескриптивной среды, действия, полиады, презентативной акции, композиции. Исследованы аспекты генезиса сущностей в дескриптивной среде.


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

Рубрики:

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

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

Ремарович С.  
Динамічна координація програмних агентів на основі онтологічної структури / С. Ремарович // Пробл. програмув. - 2006. - 2-3 [спец. вип.]. - С. 487-492. - Бібліогр.: 11 назв. - укp.

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


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

Рубрики:

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

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

Резніченко В. А. 
Електронні бібліотеки: інформаційні ресурси та сервіси / В. А. Резніченко, О. В. Захарова, Е. Г. Захарова // Пробл. програмув. - 2005. - № 4. - С. 60-72. - Бібліогр.: 43 назв. - укp.

Описано результати аналітичного огляду провідних наукових електронних бібліотек (ЕБ), розташованих в мережі Інтернету. Запропоновано каталог досліджених бібліотек та узагальнені моделі їх інформаційних ресурсів і сервісів, які можна розглядати як основу для проектування та розробки конкретних ЕБ.


Індекс рубрикатора НБУВ: З970.312.1 + Ч734(0)759.9с51

Рубрики:

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

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

Романенко В. Г. 
Ефективна реалізація економічних розрахунків в системах масштабу підприємства / В. Г. Романенко // Пробл. програмув. - 2006. - 2-3 [спец. вип.]. - С. 734-740. - Бібліогр.: 6 назв. - укp.

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


Індекс рубрикатора НБУВ: У9(4УКР)290-26

Рубрики:

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

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

Игнатенко П. П. 
Життєздатні програмні системи. Концептуалізація підходу до автоматизації систем організаційного керування / П. П. Игнатенко // Пробл. програмув. - 2006. - 2-3 [спец. вип.]. - С. 320-327. - Бібліогр.: 32 назв. - укp.

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


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

Рубрики:

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

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