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

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

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

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

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

Рубрики:

Бази знань

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

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

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

Досліджено одне з типів вторгнень через мережу Інтернет - атаки на відмову. Описано історію виникнення проблеми та причини, що зумовили її появу. Проведено огляд існуючих видів атак. Розглянуто загальну архітектуру системи захисту від атак на відмову. Запропоновано модель протидії атакам на базі технології інтелектуальних агентів і теорії ігор.

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

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

Possibility of automation of operative situation analysis process in security structures responsibility zone and estimation of the developed situation is considered. Possible situations within objects of zone control are analyzed; functional tasks of situational management systems are defined. The choice of expedient mathematical methods and models of artificial intellect for automation of situation estimation process is made; features of representation in a logical-computing semantic network of both accurate and indistinct knowledge on estimation of situations arising in the course of situational management are considered. The architecture and functionality of situational management system of responsibility zones is determined; features of realization and functioning of its subsystem intended for situation estimation on the basis of specified mathematical methods and logical-computing semantic network are described.

For a discrete model with tree-like structure, we demonstrate that if a separating variable (a root vertex) is binary, then constraints (like "tetrad difference") hold. Specifically, when there are four or three manifest variables in a model, the "ditetrad-constraint" or "triad-constraint", respectively, applies. So, these constraints facilitate the discovery of a hidden binary variable (latent class) which is responsible for associations among discrete manifest variables.

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

Статтю присвячено 90-річчю від дня народження академіка НАН України і АН СРСР Віктора Михайловича Глушкова, його внеску в становлення та розвиток Київської школи програмування.

У 1975 р. академік Глушков запропонував концепцію конвеєрного способу виробництва програмних продуктів (ПП) з готових програм. Проаналізовано розвиток цієї концепції на прикладі попередніх і сучасних фабрик програм; засвідчено появу двох основних понять виробництва: інтерфейс як стиковочний елемент із передачі і трансформації програм, що збираються, та інтегроване середовище збірки готових різнорідних програм із деяких мов програмування. Упродовж останніх 35 років вони постійно вдосконалювались і стали базисом сучасної фабрики програм, наприклад, в інфраструктурі європейського проекту Grid, призначеного для обчислювання наукових завдань. Оприлюднено результати наукових досліджень Інституту програмних систем НАН України, надано визначення фабрики програм за збіркою ПП із різнорідних і різноплатформених програм з використанням людських, технологічних та інструментальних ресурсів. Інститут планує упроваджувати ці результати в систему Grid і в інститутах НАН України. В межах системи будуть розроблені нові засоби інтерфейсу різнорідних програм із перетворення стандартних ISO/IEC 11404-2007 типів даних до тих, що є в багатьох мовах програмування, процедури генерації яких збагатять майбутні гетерогенні середовища сучасними засобами збірки програм.

Індекс рубрикатора НБУВ: Ч214(4УКР)711

Рубрики:

Організація науки

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

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

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

Індекс рубрикатора НБУВ: З8/9 д(4УКР) + В19 д(4УКР)

Рубрики:

Радіоелектроніка

Обчислювальна математика (чисельні та графічні методи)

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

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

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

Для оцінок витрат на прикладне програмне забезпечення (ППЗ) комп'ютерних систем (КС) виявлено нові ролі: в успішному розробленні (модернізації) КС - підстав і засобу координації рішень з узгодження цінності й витрат на їх життєвий цикл (ЖЦ), яке прийнятне для зацікавлених у сторін КС. Обгрунтовано уніфікацію методів оцінювання вартості ППЗ на підтримку цих ролей за особливостей ЖЦ КС (еволюційності й різнорідності моделей ЖЦ, застосування готових (не)програмних ресурсів, змінності вимог до КС і ППЗ, їх загострення для ефективності, надійності й захищеності). В руслі експертно-аналітичного підходу до оцінювання витрат на ППЗ, започаткованого авторами, надано механізм уніфікації - інформаційну технологію багаторазового обгрунтованого розв'язання в ЖЦ КС формалізованої задачі оцінювання витрат за допомогою експертиз ППЗ у спільному інформаційному середовищі. Технологія уніфікує методики авторів з оцінювання витрат на розроблення/річний супровід ППЗ за моделлю COCOMO II.2000.4 і випробувані методи (універсальні й спеціальні для КС оборонного призначення) в руслі авторської методології Діагностичної експертизи. Описано складники технології: поповнювані класифікатори ППЗ і їх моделей ЖЦ; математичні методи (проведення експертиз, оцінювання трудомісткості ППЗ, її перетворення у вартість за чинними регламентами діловодства, побудови/уточнення для неї регресійних моделей); функцію застосовності методів до ППЗ; підмоделі й режими автоматизованої підтримки процесів експертного оцінювання витрат на ППЗ і добору експертів. Розроблена технологія пришвидшує й здешевлює оцінювання витрат на ППЗ КС завдяки вдосконаленню його методів за нагромаджуваними результатами й уніфікації процедур. Вона вчасно забезпечує всіх учасників ЖЦ ППЗ і КС обгрунтованими, адекватно деталізованими й зіставними оцінками витрат, сприяючи обгрунтованості й інформаційній наступності рішень з раціональної організації процесів розроблення (модернізації) КС і дотриманню їх ефективності, прийнятної для зацікавлених сторін.