http://dspace.nbuv.gov.ua:80/handle/123456789/44293 2026-04-05T16:00:20Z 2026-04-05T16:00:20Z http://dspace.nbuv.gov.ua:80/handle/123456789/44499 2013-06-17T08:01:28Z 2009-01-01T00:00:00Z

Авторы номера 6 за 2009 г.

2009-01-01T00:00:00Z Панченко, Б.Е. Писанко, И.Н. http://dspace.nbuv.gov.ua:80/handle/123456789/44498 2013-06-03T00:07:27Z 2009-01-01T00:00:00Z

Свойства реляционного каркаса на множестве семантически атомарных предикатов Панченко, Б.Е.; Писанко, И.Н. Проаналізовано властивості реляційного каркасу, що синтезується на множині семантично атомарних предикатів. Показано, що реляційний каркас стійкий відносно модифікації базової множини предикатів. Стійкість щодо модифікацій, повнота та єдинність дозволяють розглядати реляційний каркас як універсальний «носій» даних для предметних областей з довільно заданою семантикою.; The properties of a relational framework synthesized on a set of semantically atomic predicates are analyzed. It is shown that a relational framework is stable with respect to the modification of the basic predicate set. The stability, uniqueness, and completeness allow considering the relational framework as a universal «medium » for subject fields with arbitrary semantics.

2009-01-01T00:00:00Z Николаевская, Е.А. Чистякова, Т.В. http://dspace.nbuv.gov.ua:80/handle/123456789/44497 2013-06-03T00:07:10Z 2009-01-01T00:00:00Z

Программно-алгоритмические методы повышения точности компьютерных решений Николаевская, Е.А.; Чистякова, Т.В. Описано експериментальне дослідження способів підвищення точності комп’ютерних результатів розв’язування погано обумовлених систем лінійних алгебраїчних рівнянь за допомогою бібліотеки GMP, що застосовується для підвищення розрядності обчислень. Табл.: 5. Бібліогр.: 8 назв.; The paper describes experimental studies of how to improve the precision of computer solutions to ill-conditioned systems of linear algebraic equations using the GMP library, which is intended for precision enhancement.

2009-01-01T00:00:00Z Крывый, С.Л. Чугаенко, А.В. Матвеева, Л.Е. http://dspace.nbuv.gov.ua:80/handle/123456789/44496 2013-06-03T00:05:29Z 2009-01-01T00:00:00Z

Исследование свойств документов MSC с помощью преобразования их в сети Петри Крывый, С.Л.; Чугаенко, А.В.; Матвеева, Л.Е. Розглянуто остаточний варіант алгоритму трансляції документів з мови MSC-2000 у мережі Петрі, що подійно еквівалентні до них. Вхідний документ може використовувати довільні елементи мови MSC-2000, але значення елементів у мовах не використовується, також послідовна композиція діаграм інтерпретується як строга. Наведений алгоритм реалізовано як повнофункціональний прототип, що може використовуватися для верифікації програмних систем.; The article presents the final version of the algorithm for translating MSC-2000 documents to Petri net modulo event equivalence. The input document may include any elements of the MSC-2000 language, assuming that condition element value is not used and sequential composition of MSC diagrams is regarded as strict. The algorithm is implemented as a full-functional prototype and can be used to verify software systems.

2009-01-01T00:00:00Z