Mixed consistency of the data in multicloud systems

Συγγραφείς: Kozina, Olha, Stratiienko, Nataliia

Πηγή: Сучасні інформаційні системи; Том 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

Θεματικοί όροι: mixed consistency, карта несуперечності проекту, багатохмарність, многооблачность, смешанная непротиворечивость, multi-cloud, змішана несуперечність, карта непротиворечивости проекта, map of consistency of the project, 04.052.42

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: В.А. Лещинский, В.О. Лещінський, V.A. Leschinsky

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

Θεματικοί όροι: Обробка інформації в складних організаційних системах, УДК 519.7, исчисление высказываний, теорема исчисления высказываний, законы логики высказываний, непротиворечивость, полнота исчисления высказываний, числення висловлювань, теорема числення висловлювань, закони логіки висловлювань, несуперечність, повнота числення висловлювань, propositional calculus, propositional calculus theorem, expressions logic laws, uncontradiction, propositional calculus plenitude

Περιγραφή αρχείου: 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

Διαθεσιμότητα: http://www.hups.mil.gov.ua/periodic-app/article/17120

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

Συγγραφείς: В.А. Лещинский, И.А. Лещинская, В.О. Лещінський, І.О. Лещінська, V.A. Leschinskiy, I.A. Leschinska

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

Θεματικοί όροι: Теоретичні основи розробки та експлуатації систем озброєння, УДК 519.7, исчисление высказываний, формальная непротиворечивость, полнота, разрешимость, логическое исчисление, независимость аксиом, метод интерпретации, числення висловлювань, формальна несуперечність, повнота, вирішувана, логічне числення, незалежність аксіом, метод інтерпретації, propositional calculus, the formal consistency, completeness, decidability, logical calculus, the independence of the axioms, method of interpretation

Περιγραφή αρχείου: 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

Διαθεσιμότητα: http://www.hups.mil.gov.ua/periodic-app/article/17067

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

Συγγραφείς: О.І. Тимочко, O.I. Tymochko

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

Θεματικοί όροι: Обробка інформації в складних організаційних системах, УДК 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

Περιγραφή αρχείου: 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

Διαθεσιμότητα: 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

Συγγραφείς: О.І. Тимочко, O.I. Tymochko

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

Θεματικοί όροι: Теоретичні основи розробки систем озброєння, УДК 621.396, ресурс, контроль корректности, сетевая модель, непротиворечивость графа сетевой модели, полнота графа сетевой модели, целевая установка, контроль коректності, мережева модель, несуперечність графа мережевої моделі, повнота графа мережевої моделі, цільова настанова, resource, control of correctness, network model, uncontradiction of count of network model, plenitude of count of network model, a special purpose

Περιγραφή αρχείου: 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

Διαθεσιμότητα: 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

Συγγραφείς: А.А. Кривчикова, Г.О. Кривчікова, A.A. Krivchikova

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

Θεματικοί όροι: Моделювання в економіці, організація виробництва та управління проектами, УДК 7.5, непротиворечивость знаний, интеллектуальный анализ процессов, процессная модель, несуперечність знань, інтелектуальний аналіз процесів, процесна модель, uncontradiction of knowledges, intellectual analysis of processes, process model

Περιγραφή αρχείου: 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

Διαθεσιμότητα: http://www.hups.mil.gov.ua/periodic-app/article/10885

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

Συγγραφείς: Ковальчук, Константин, Никитенко, Алексей

Θεματικοί όροι: ЗНАННЯ, ВИДОБУТОК ЗНАНЬ, ХВИЛЯ, ПОВНОТА, НЕСУПЕРЕЧНіСТЬ, ЗНАНИЕ, ДОБЫЧА ЗНАНИЙ, ВОЛНА, ПОЛНОТА, НЕПРОТИВОРЕЧИВОСТЬ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: 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

Συγγραφείς: Е.И. Кучеренко, Д.Е. Краснокутский, Є.І. Кучеренко, Д.Є. Краснокутський, Е.I. Kucherenko, D.E. Krasnokutskiy

Πηγή: Збірник наукових праць Харківського національного університету Повітряних Сил. — 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

Θεματικοί όροι: Кібернетика та системний аналіз, УДК 519.71, нечеткая модель, нечеткие сети Петри, иерархия, достижимость, непротиворечивость, интеллектуальная система, нечітка модель, нечіткі мережі Петрі, ієрархія, досяжність, несуперечність, інтелектуальна система, unclear model, unclear networks of Petri, hierarchy, attainability, uncontradiction, intellectual system

Περιγραφή αρχείου: 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

Διαθεσιμότητα: http://www.hups.mil.gov.ua/periodic-app/article/3752