http://dspace.nbuv.gov.ua:80/handle/123456789/321 2026-04-07T06:25:48Z 2026-04-07T06:25:48Z Цейтлин, Г.Е. Иовчев, В.А. Мусихин, А.А. http://dspace.nbuv.gov.ua:80/handle/123456789/330 2008-10-15T09:35:15Z 2008-01-01T00:00:00Z

Ментальные аспекты методов символьной мультиобработки Цейтлин, Г.Е.; Иовчев, В.А.; Мусихин, А.А. Використовуючи можливості формалізації та інструментарій алгебри алгоритміки, в даній роботі спроектовано і реалізовано нетривіальні алгоритми символьної мультиобробки: сорту-вання, пошук і синтаксичний аналіз. Визначено перспективи для подальших досліджень. The article is dedicated to the designing and realization of non-trivial algorithms of symbolical multiprocessing (sorting, search and parse) using opportunities of formalization and toolkit of algebra of algorithmics. Perspectives for the fur-ther researches had been formulated and ex-pounded in the article.

2008-01-01T00:00:00Z Панченко, Т.В. http://dspace.nbuv.gov.ua:80/handle/123456789/329 2008-10-14T17:23:50Z 2008-01-01T00:00:00Z

Метод доведення властивостей програм в композиційно-номінативних мовах IPCL Панченко, Т.В. Викладено композиційний метод верифікації систем спеціального класу – моделі багатоекземплярного виконання програм у серверному середовищі з паралелізмом у режимі почергового виконання з пере ключенням і взаємодією через спільну пам’ять. У роботі специфіковано задачу, побудовано відповідні моделі, сформульовано два варіанти часткової коректності програм на введених композиційних мовах та запропоновано методологію верифікації, що включає метод з лінійною складністю замість експоненційної.; The compositional method for verification of special class systems, namely multi-instance program execution model in server environment with shared memory interleaving concurrency, is presented. The task is specified and appropriate models are developed here. Two types of partial correctness properties of programs in introduced compositional languages are formulated. Methodology of verification including method with linear complexity instead of exponential one is developed here.

2008-01-01T00:00:00Z Овдій, О.М. Новицький, О.В. Проскудіна, Г.Ю. http://dspace.nbuv.gov.ua:80/handle/123456789/328 2008-10-15T09:38:09Z 2008-01-01T00:00:00Z

Огляд інструментів анотації електронних ресурсів Овдій, О.М.; Новицький, О.В.; Проскудіна, Г.Ю. Представлений огляд інструментів анотації. Зроблена спроба категорізувати й оцінити деякі з існуючих інструментів анотації, які відрізняються за своєю архітектурою, методами добування інформації, початковою онтологією, рівнем автоматизації, продуктивністю та іншими характеристиками. Дослідження в цій області ведуться досить активно, спостерігається великий прогрес, але ще досить відкритих питань, які треба розв'язати, перш ніж інструменти анотацій матимуть змогу задовольнити всі потреби людини. This paper aims at providing a survey of the state of art of the annotation tools. We categorize and evaluate some of the existing annotation tools. These tools vary in their architecture, information extraction methods, initial ontology, the level of automation, performance and other features, such as storage management. Research in this area is very active and constant progress is being made, but there is still some way to go before semantic annotation tools will be able to address all human needs.

2008-01-01T00:00:00Z Клименко, А.В. Максимей, И.В. Смородин, В.С. http://dspace.nbuv.gov.ua:80/handle/123456789/327 2008-10-15T09:45:26Z 2008-01-01T00:00:00Z

Система автоматизации имитационного моделирования последовательных вероятностных технологических процессов производства Клименко, А.В.; Максимей, И.В.; Смородин, В.С. Рассматриваются вероятностные технологические процессы производства с нестандартной последова¬тельностью смены состояний. Излагаются особенности последовательных вероятностных процессов как объекта имитации, состав и структура системы моделирования. Предложена технология использования системы моделирования и определены перспективы ее применения. It is considered probabilistic technological proc-esses of manufacture with non-standard sequence of change of conditions. Features of consecutive probabilistic processes as object of imitation, structure and structure of system of modeling are stated. The technology of use of system of modeling is offered and prospects of its application are certain.

2008-01-01T00:00:00Z