http://dspace.nbuv.gov.ua:80/handle/123456789/69388 Mon, 13 Apr 2026 19:56:39 GMT 2026-04-13T19:56:39Z http://dspace.nbuv.gov.ua:80/bitstream/id/265836/ http://dspace.nbuv.gov.ua:80/handle/123456789/69388 http://dspace.nbuv.gov.ua:80/handle/123456789/84740 Модели данных и алгоритмы их обработки при построении интегральных оценок надежности и работоспособности спортсменов Аралова, Н.И.; Вишенский, В.И.; Онопчук, Ю.Н. Построены интегральные оценки для прогнозирования надежности функционирования организма спортсмена в различных условиях жизнедеятельности.; Побудовано інтегральні оцінки для прогнозування надійності функціонування організму спортсмена в різних умовах життєдіяльності.; Integral estimates to predict reliability of a body of an athlete functioning in the various life conditions are constructed. Tue, 01 Jan 2013 00:00:00 GMT http://dspace.nbuv.gov.ua:80/handle/123456789/84740 2013-01-01T00:00:00Z http://dspace.nbuv.gov.ua:80/handle/123456789/84739 Семантичні моделі та секвенційні числення транзиційних модальних логік Шкільняк, О.С. Досліджено чисті першопорядкові транзиційні модальні логіки часткових предикатів. Описано семантичні моделі та мови таких логік Для пропонованих логік побудовано числення секвенційного типу. Для цих числень доведено теореми коректності й повноти.; Исследованы чистые первопорядковые транзиционные модальные логики частичных предикатов. Описаны семантические модели и языки таких логик. Для предложенных логик построены исчисления секвенциального типа. Для этих исчислений доказаны теоремы корректности и полноты.; Pure first-order transitional modal logics of partial predicates are studied. For the introduced logics, we describe semantic models and languages and we construct sequent calculi. The correctness and completeness theorems are proved for such calculi. Tue, 01 Jan 2013 00:00:00 GMT http://dspace.nbuv.gov.ua:80/handle/123456789/84739 2013-01-01T00:00:00Z http://dspace.nbuv.gov.ua:80/handle/123456789/84738 Матричний підхід розрахунку вартості виробництва Хорозов, О.А. Застосовано метод функціонального аналізу для оцінки вартості програми виробництва та операційних витрат. Використано узагальнене математичне рішення взаємного розподілу витрат, проведено розрахунок вартості продукції та аналіз ефективності виробничої лінії.; Рассмотрено применение метода функционально-стоимостного анализа для расчета стоимости производственной линии, а также методологии взаимного распределения ресурсов структурных подразделений. Расчет производится на основе объема ожидаемых затрат, согласно бюджета предприятия.; An application of the method of function-cost analysis to calculating the production line output cost and a methodology of structural department resource reciprocal allocation are considered. The calculation is made on the basis of expected costs according to the budget of the enterprise. Tue, 01 Jan 2013 00:00:00 GMT http://dspace.nbuv.gov.ua:80/handle/123456789/84738 2013-01-01T00:00:00Z http://dspace.nbuv.gov.ua:80/handle/123456789/84737 Исследование элементов OLAP-решений на реляционном каркасе Панченко, Б.Е.; Крючко, Е.В. Экспериментально исследован алгоритм фонового формирования OLAP итогов в БД, построенной на реляционном каркасе. Делается вывод о возможности использования подхода в единой каркасной БД и как оперативном, и как архивном хранилище. Приводятся результаты численного эксперимента доступа к данным.; Експериментально досліджено алгоритм фонового формування OLAP підсумків у БД, побудованій на реляційному каркасі. Робиться висновок про можливість використання підходу в єдиній каркасній БД як оперативного та архівного сховища даних. Наведено результати чисельного експерименту доступу до даних.; An algorithm of background forming of OLAP results in DB built on a relational framework is experimentally investigated. A conclusion is made about the possibility of using the approach in a single framework DB of both OLAP and Data Warehouse. The results of a numerical experiment of data access are given. Tue, 01 Jan 2013 00:00:00 GMT http://dspace.nbuv.gov.ua:80/handle/123456789/84737 2013-01-01T00:00:00Z