Mixed consistency of the data in multicloud systems

Authors: Kozina, Olha, Stratiienko, Nataliia

Source: Сучасні інформаційні системи; Том 2 № 2 (2018): Сучасні інформаційні системи; 23-29
Advanced Information Systems; Vol. 2 No. 2 (2018): Advanced Information Systems; 23-29
Современные информационные системы-Sučasnì ìnformacìjnì sistemi; Том 2 № 2 (2018): Современные информационные системы; 23-29

Subject Terms: mixed consistency, карта несуперечності проекту, багатохмарність, многооблачность, смешанная непротиворечивость, multi-cloud, змішана несуперечність, карта непротиворечивости проекта, map of consistency of the project, 04.052.42

File Description: application/pdf

Access URL: http://ais.khpi.edu.ua/article/download/2522-9052.2018.2.04/137481
http://ais.khpi.edu.ua/article/view/2522-9052.2018.2.04

О теоремах исчисления высказываний ; Про теореми числення висловлювань ; About the theorems of propositional calculus

Authors: В.А. Лещинский, В.О. Лещінський, V.A. Leschinsky

Source: Системи обробки інформації. — 2016. — № 9(146). 97-100 ; Системы обработки информации. — 2016. — № 9(146). 97-100 ; Information Processing Systems. — 2016. — № 9(146). 97-100 ; 1681-7710

Subject Terms: Обробка інформації в складних організаційних системах, УДК 519.7, исчисление высказываний, теорема исчисления высказываний, законы логики высказываний, непротиворечивость, полнота исчисления высказываний, числення висловлювань, теорема числення висловлювань, закони логіки висловлювань, несуперечність, повнота числення висловлювань, propositional calculus, propositional calculus theorem, expressions logic laws, uncontradiction, propositional calculus plenitude

File Description: application/pdf

Relation: http://www.hups.mil.gov.ua/periodic-app/article/17120/soi_2016_9_23.pdf; http://www.hups.mil.gov.ua/periodic-app/article/17120

Availability: http://www.hups.mil.gov.ua/periodic-app/article/17120

О формальных свойствах исчисления высказываний ; Про формальні властивості числення висловлювань ; About formal properties of propositional calculus

Authors: В.А. Лещинский, И.А. Лещинская, В.О. Лещінський, І.О. Лещінська, V.A. Leschinskiy, I.A. Leschinska

Source: Системи озброєння і військова техніка. — 2016. — № 3(47). 85-87 ; Системы вооружения и военная техника. — 2016. — № 3(47). 85-87 ; Systems of Arms and Military Equipment. — 2016. — № 3(47). 85-87 ; 1997-9568

Subject Terms: Теоретичні основи розробки та експлуатації систем озброєння, УДК 519.7, исчисление высказываний, формальная непротиворечивость, полнота, разрешимость, логическое исчисление, независимость аксиом, метод интерпретации, числення висловлювань, формальна несуперечність, повнота, вирішувана, логічне числення, незалежність аксіом, метод інтерпретації, propositional calculus, the formal consistency, completeness, decidability, logical calculus, the independence of the axioms, method of interpretation

File Description: application/pdf

Relation: http://www.hups.mil.gov.ua/periodic-app/article/17067/soivt_2016_3_20.pdf; http://www.hups.mil.gov.ua/periodic-app/article/17067

Availability: http://www.hups.mil.gov.ua/periodic-app/article/17067

Модель ресурсов для синтеза планов в системе поддержки принятия решений ; Модель ресурсів для синтезу планів у системі підтримки прийняття рішень ; Model of resources for synthesis of plans in decision-making support system

Authors: О.І. Тимочко, O.I. Tymochko

Source: Системи обробки інформації. — 2014. — № 2(118). 109-115 ; Системы обработки информации. — 2014. — № 2(118). 109-115 ; Information Processing Systems. — 2014. — № 2(118). 109-115 ; 1681-7710

Subject Terms: Обробка інформації в складних організаційних системах, УДК 621.39, ресурс, правила использования ресурса, запас ресурса, нелогическая аксиома, модель ресурса, контроль корректности, непротиворечивость и полнота описания, целевая установка, правила використання ресурсу, запас ресурсу, нелогічна аксіома, модель ресурсу, контроль коректності, несуперечність і повнота опису, цільова настанова, resource, rules of using of resource, supply of resource, unlogical axiom, model of resource, control of correctness, uncontradiction and plenitude of description, a special purpose

File Description: application/pdf

Relation: http://www.hups.mil.gov.ua/periodic-app/article/11432/soi_2014_2_25.pdf; http://www.hups.mil.gov.ua/periodic-app/article/11432

Availability: http://www.hups.mil.gov.ua/periodic-app/article/11432

Метод контроля корректности графа сетевой модели, описывающей порядок и правила использования ресурсов ; Метод контролю коректності графа мережевої моделі що описує порядок і правила використання ресурсів ; The network model count correctness control method, describing order and rules of the use of resources

Authors: О.І. Тимочко, O.I. Tymochko

Source: Системи озброєння і військова техніка. — 2014. — № 1(37). 230-232 ; Системы вооружения и военная техника. — 2014. — № 1(37). 230-232 ; Systems of Arms and Military Equipment. — 2014. — № 1(37). 230-232 ; 1997-9568

Subject Terms: Теоретичні основи розробки систем озброєння, УДК 621.396, ресурс, контроль корректности, сетевая модель, непротиворечивость графа сетевой модели, полнота графа сетевой модели, целевая установка, контроль коректності, мережева модель, несуперечність графа мережевої моделі, повнота графа мережевої моделі, цільова настанова, resource, control of correctness, network model, uncontradiction of count of network model, plenitude of count of network model, a special purpose

File Description: application/pdf

Relation: http://www.hups.mil.gov.ua/periodic-app/article/2353/soivt_2014_1_51.pdf; http://www.hups.mil.gov.ua/periodic-app/article/2353

Availability: http://www.hups.mil.gov.ua/periodic-app/article/2353

Обоснование необходимых и достаточных условий непротиворечивости правил в задачах Process Mining ; ОБҐРУНТУВАННЯ НЕОБХІДНИХ ТА ДОСТАТНІХ УМОВ НЕСУПЕРЕЧНОСТІ ПРАВИЛ В ЗАДАЧАХ PROCESS MINING ; NECESSARY AND SUFFICIENT CONDITIONS JUSTIFICATION OF THE RULES CONSISTENCY IN PROCESS MINING PROBLEMS

Authors: А.А. Кривчикова, Г.О. Кривчікова, A.A. Krivchikova

Source: Системи обробки інформації. — 2013. — № 5(112). 151-153 ; Системы обработки информации. — 2013. — № 5(112). 151-153 ; Information Processing Systems. — 2013. — № 5(112). 151-153 ; 1681-7710

Subject Terms: Моделювання в економіці, організація виробництва та управління проектами, УДК 7.5, непротиворечивость знаний, интеллектуальный анализ процессов, процессная модель, несуперечність знань, інтелектуальний аналіз процесів, процесна модель, uncontradiction of knowledges, intellectual analysis of processes, process model

File Description: application/pdf

Relation: http://www.hups.mil.gov.ua/periodic-app/article/10885/soi_2013_5_35.pdf; http://www.hups.mil.gov.ua/periodic-app/article/10885

Availability: http://www.hups.mil.gov.ua/periodic-app/article/10885

УСОВЕРШЕНСТВОВАНИЕ МОДЕЛИ ПРОГНОЗИРОВАНИЯ ФИНАНСОВЫХ ПОКАЗАТЕЛЕЙ С УЧЕТОМ ПРАВИЛ РАЗВИТИЯ ВОЛН ЭЛЛИОТТА

Authors: Ковальчук, Константин, Никитенко, Алексей

Subject Terms: ЗНАННЯ, ВИДОБУТОК ЗНАНЬ, ХВИЛЯ, ПОВНОТА, НЕСУПЕРЕЧНіСТЬ, ЗНАНИЕ, ДОБЫЧА ЗНАНИЙ, ВОЛНА, ПОЛНОТА, НЕПРОТИВОРЕЧИВОСТЬ

File Description: text/html

Availability: http://cyberleninka.ru/article/n/usovershenstvovanie-modeli-prognozirovaniya-finansovyh-pokazateley-s-uchetom-pravil-razvitiya-voln-elliotta
http://cyberleninka.ru/article_covers/15530581.png

Методы анализа процессов принятия решений в нечетком пространстве состояний объектов на основе иерархии сетевых моделей ; Методи аналізу процесів ухвалення рішень в нечіткому просторі станів об'єктів на основі ієрархії мережевих моделей ; Methods of analysis of processes of making a decision in unclear space of problems of objects on basis of hierarchy of network models

Authors: Е.И. Кучеренко, Д.Е. Краснокутский, Є.І. Кучеренко, Д.Є. Краснокутський, Е.I. Kucherenko, D.E. Krasnokutskiy

Source: Збірник наукових праць Харківського національного університету Повітряних Сил. — 2008. — № 1(16). 75-80 ; Сборник научных трудов Харьковского национального университета Воздушных Сил. — 2008. — № 1(16). 75-80 ; Scientific Works of Kharkiv National Air Force University. — 2008. — № 1(16). 75-80 ; 2073-7378

Subject Terms: Кібернетика та системний аналіз, УДК 519.71, нечеткая модель, нечеткие сети Петри, иерархия, достижимость, непротиворечивость, интеллектуальная система, нечітка модель, нечіткі мережі Петрі, ієрархія, досяжність, несуперечність, інтелектуальна система, unclear model, unclear networks of Petri, hierarchy, attainability, uncontradiction, intellectual system

File Description: application/pdf

Relation: http://www.hups.mil.gov.ua/periodic-app/article/3752/zhups_2008_1_20.pdf; http://www.hups.mil.gov.ua/periodic-app/article/3752

Availability: http://www.hups.mil.gov.ua/periodic-app/article/3752