http://dspace.nbuv.gov.ua:80/handle/123456789/717 2026-04-18T14:52:22Z http://dspace.nbuv.gov.ua:80/handle/123456789/731 Секвенціальні системи виведення для багатозначних логік Пинько, О.П. В цій роботі представлено, як можна побудувати секвенціальні числення без структурних правил (але з допустимими структурними правилами) для довільних пропозиційних скінченнозначних логік з визначником рівності (тобто скінченною множиною унарних похідних пропозиційних зв’язок зі спеціальною властивістю). Такі числення складаються з аксіом, до яких належать тільки літери, та оборотних правил виведення, які вводять комплекси пропозиційних зв’язок. Інтерпретуючи секвенції атомарними формулами першого порядку, ми відзначаємо, що зазначені числення можна інтерпретувати точними універсальними Хорновськими теоріями. При цьому процедура цілеспрямованого виведення для даних теорій, що реалізована в таких системах програмування, як АПС або Пролог, імітує процедуру оберненого виведення в зазначених численнях. Бібліогр.: 16 назв.; В этой работе представлено, как можно построить секвенциальные исчисления без структурных правил (но с допустимыми структурными правилами) для произвольных пропозициональных конечнозначных логик с определителем равенства (т.е. конечным множеством унарных производных пропозициональных связок со специальным свойством). Такие исчисления состоят из аксиом, в которые входят только литералы, и обратимых правил вывода, которые вводят комплексы пропозициональных связок. Интерпретируя секвенции атомарными формулами первого порядка, мы показываем, что указанные исчисления можно интерпретировать точными универсальными Хорновскими теориями. При этом процедура целенаправленного вывода для таких теорий, которая реализована в таких системах программирования, как АПС или Пролог, имитирует процедуру обратного вывода в указанных исчислениях. Библиогр.: 16 назв.; In this paper we show how one can construct sequential calculi without structural rules (but with admissible structural rules) for arbitrary propositional finitely-valued logics with an identity determinant (that is, a finite set of unary secondary propositional connectives with a special property). Such calculi consist of axioms containing literals alone and invertible inference rules introducing complex propositional connectives. Interpreting sequents by atomic first-order formulas, we show that such calculi can be interpreted by strict universal Horn theories. Moreover, the procedure of goal-oriented deduction for such theories implemented in such programming systems as APS or Prolog simmulates the procedure of inverse deduction in the mentioned calculi. Refs.: 16 titles. 2003-01-01T00:00:00Z http://dspace.nbuv.gov.ua:80/handle/123456789/730 Особливості організації сучасних систем автоматизації міркувань Мороховець, М.К. Аналізуються різні форми взаємодії сучасних систем автоматизації міркувань (САМ) з іншими програмними засобами розв’язання математичних задач. Сучасні САМ розглянуто з точки зору їх складу. На основі проведеного аналізу сформульовані основні проблеми та виділені можливі напрямки розвитку САМ. Іл.: 1. Бібліогр.: 28 назв.; Анализируются различные формы взаимодействия современных систем автоматизации рассуждений (САР) с другими программными средствами решения математических задач. Современные САР рассмотрены с точки зрения их состава. На базе проведенного анализа сформулированы основные проблемы и выделены возможные направления развития САР. Ил.: 1. Библиогр.: 28 назв.; Various forms of the interaction of modern systems for automated reasoning (ARS) with other software tools for solving mathematical problems are observed. Modern ARS are considered in a compositional aspect. On the base of the analysis done, the main problems and possible directions of the development of ARS are formulated. Fig.: 1. Refs.: 28 titles. 2003-01-01T00:00:00Z http://dspace.nbuv.gov.ua:80/handle/123456789/729 Аналіз та врахування неоднорідності в системах розподільної обробки даних Князькова, З.В. В статті розглянуто відомі методи оцінки неоднорідності паралельних обчислювальних систем, зокрема, систем розподільної обробки даних (СРОД). Приведені можливі напрямки покращення кількісно-якісних оцінок неоднорідності таких систем та наведено підхід до створення виразів для оцінки кількісно-якісних характеристик рівня неоднорідності (СРОД). Бібліогр.: 7 назв.; В статье рассмотрены известные методы оценки неоднородности параллельных вычислительных систем, в частности, систем распределенной обработки данных (СРОД). Приведены возможные направления улучшения количественно-качественных оценок неоднородности таких систем и подход к созданию выражений для оценки количественно-качественных характеристик уровня неоднородности СРОД. Библиогр.: 7 назв.; In article known methods of an estimation of heterogeneity of parallel computing systems, in particular systems of distributed data processing (DDPS) are considered. Possible directions of improvement of quantitative - quality standards of heterogeneity of such systems are given and the approach is given in creation of expressions for an estimation of quantitative - qualitative characteristics of a level of heterogeneity DDPS. Refs.: 7 titles. 2003-01-01T00:00:00Z http://dspace.nbuv.gov.ua:80/handle/123456789/728 Моделі оцінки ефективності систем управління регіонального рівня Казимир, В.В.; Шемет, В.П. Аналізуються інформаційні потоки в регіональних адміністративних центрах. Розглядається комплексне використання аналітичних та імітаційних моделей для оцінки ефективності систем управління регіонального рівня. Табл.: 1. Іл.: 12. Бібліогр.: 10 назв.; Анализируются информационные потоки для региональных административных центров. Рассматривается комплексное использование аналитических и имитационных моделей для оценки эффективности систем управления регионального уровня. Табл.:1. Ил.:12. Библиогр.: 10 назв.; Information streams for regional administrative centers are analyzed. Complex use of analytical and imitating models for an estimation of efficiency of the regional level management systems is considered. Tabl.: 1. Figs.: 12. Refs.: 10 titles. 2003-01-01T00:00:00Z