http://dspace.nbuv.gov.ua:80/handle/123456789/1234 2026-04-07T16:48:30Z 2026-04-07T16:48:30Z Грибовская, Н.С. http://dspace.nbuv.gov.ua:80/handle/123456789/2338 2008-09-18T09:01:01Z 2004-01-01T00:00:00Z

Теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей Грибовская, Н.С. Данная работа посвящена теоретико-категорному исследованию трассовой эквивалентности в контексте временных автоматных систем переходов. Для данной модели определено понятие открытого морфизма и доказан критерий открытости. Далее сформулировано определение абстрактной эквивалентности в терминах существования конструкции открытых морфизмов и доказано, что трассовая эквивалентность совпадает с этой абстрактной эквивалентностью.; The intention of the paper is to show the applicability of the general categorical framework of open maps to the setting of timed automata models. In particular, we use the framework of open maps to obtain an abstract equivalence notion which is established to coincide with a timed extension of the well-known trace equivalence.

2004-01-01T00:00:00Z Панченко, Т.В. http://dspace.nbuv.gov.ua:80/handle/123456789/2335 2008-09-18T09:00:32Z 2004-01-01T00:00:00Z

Моделювання структур даних та функцій над ними в композиційно-номінативній мові ACoN Панченко, Т.В. В роботі проводиться моделювання структур даних мов програмування та функцій над ними засобами композиційно- номінативних мов. Розглядаються всі імперативні конструктори типів RAISE. Надається модель типів, виражаються операції над даними та аналізується рівень абстрактності даних, на якому представляються ті чи інші структури.; Programming languages data structures and functions over them modelling is conducted in this paper via Composition-Nominative Languages. All RAISE data type imperative constructors are researched here. Type model is given here. Operations over data are expressed here. Abstractness level for all data structure presentations is analysed here too.

2004-01-01T00:00:00Z Цейтлин, Г.Е. Мохница, А.С. http://dspace.nbuv.gov.ua:80/handle/123456789/2324 2008-09-18T09:01:19Z 2004-01-01T00:00:00Z

Что такое алгебраическая алгоритмика? Цейтлин, Г.Е.; Мохница, А.С. Даний огляд присвячено алгебраїчній алгоритміці (АА) - актуальній області комп'ютерної науки, що інтенсивно розвивається. Наведено обґрунтування напряму досліджень з алгебри алгоритміки в межах АА. Окреслено загальну характеристику та перспективи розвитку алгебри алгоритміки та її інструментальних засобів; The review is dedicated to the algebraic alghorithmics, an intensively developed area of research of the computer science. The prospects of studies on algebra of algorithmics and its instrumental means in the framework of algebraic algorithmics are described.

2004-01-01T00:00:00Z Дубцов, Р.С. http://dspace.nbuv.gov.ua:80/handle/123456789/2323 2008-09-18T09:00:29Z 2004-01-01T00:00:00Z

Теоретико-категорная характеризация развертки временных сетей Петри Дубцов, Р.С. The intention of the paper is to study a category-theoretic characterization of a semantic representation of the behaviour of time Petri nets, which are a time extension of heavily used model for concurrency – Petri nets. First, we introduce a notion of unfolding of a time Petri net and then provide its category-theoretic characterization.

2004-01-01T00:00:00Z