PROBLEMS IN PROGRAMMING
Not a member yet
761 research outputs found
Sort by
DS-теорія. Наукові аспекти та перспективи розвитку
No full textThe work presents the theory of decomposition schemes as a scientific theory. It’s attributes – paradigm, field of research, aim of research, main task, decision method, basic theory model – decomposition scheme were described. Practical aim of the theory is to suggest the mechanism of applied algorithms generation (not machine code). It is shown that the decomposition scheme as a description changes the algorithm description and still remains declarative on the contrary to the algorithm description as imperative. Thereby the decomposition scheme is the description, original for algorithms’ generation. The kinds of decomposition schemes and operations on them have been described. Algorithmically relevant factors which should be considered when generating algorithms in order the algorithms turned real have been described. Working over formalization and mathematical description of the phenomena and objects of the theory of the decomposition schemes have been described here. The mechanism for control of conclusions and results of the theory has been suggested. This work also describes the direction of development of the theory of the decomposition schemes. The priority direction relates to the creation and development of the system of capacious notion and abstractions. From the point of view of the practical application of the theory of the decomposition schemes there the approach which is alike to the one used in machine-building – development and promoting of hi-tech when required – as a result of the targeted research has been suggested. Problems in programming 2017; 1: 03-20В работе представлена теория схем декомпозиции как научная теория. Описаны ее атрибуты – парадигма, поле исследований, цель исследований, основная задача, метод решения, основная теоретическая модель – схема декомпозиции. Утилитарная, практическая цель теории – предложить механизм генерации прикладных алгоритмов (не машинного кода). Показано, что схема декомпозиции как описание заменяет описание алгоритма и при этом остается декларативным в противоположность описанию алгоритма, как императивному. При этом схема декомпозиции есть описание, исходное для генерации алгоритмов. Описаны виды схем декомпозиции и операции над ними. Описаны алгоритмически релевантные факторы, которые следует учитывать при генерации алгоритмов для того, чтобы алгоритмы становились реальными. В работе описана работа по формализации и математическому описанию явлений и объектов теории схем декомпозиции. Предложен механизм контроля выводов и результатов теории. В работе также описано направление развития теории схем декомпозиции. Приоритетное направление соотносится с созданием и развитием системы емких понятий и абстракций. С точки зрения практического применения теории схем декомпозиции, предложен подход подобный тому, что есть в машиностроении – развитие и продвижение передовых технологий по запросу, по потребности – как результат целенаправленных исследований.Problems in programming 2017; 1: 03-20У роботі представлена теорія схем декомпозиції як наукова теорія. Описано її атрибути – парадигма, поле досліджень, мета досліджень, основне завдання, метод рішення, основна теоретична модель – схема декомпозиції. Утилітарна, практична мета теорії – запропонувати механізм генерації прикладних алгоритмів (не машинного коду). Показано, що схема декомпозиції як опис замінює опис алгоритму і при цьому залишається декларативним на противагу опису алгоритму, як імперативному. При цьому схема декомпозиції є опис, вихідне завдання для генерації алгоритмів. Описано види схем декомпозиції та операції над ними. Описано алгоритмічно релевантні фактори, які слід враховувати при генерації алгоритмів для того, щоб алгоритми ставали реальними. У роботі описана робота з формалізації і математичному опису явищ і об’єктів теорії схем декомпозиції. Запропоновано механізм контролю висновків і результатів теорії. У роботі також описано напрям розвитку теорії схем декомпозиції. Пріоритетний напрямок співвідноситься з створенням і розвитком системи містких понять і абстракцій. З погляду практичного застосування теорії схем декомпозиції запропоновано підхід подібний до того, що є в машинобудуванні, – розвиток і просування передових технологій за запитом, по необхідності – як результат цілеспрямованих досліджень.Problems in programming 2017; 1: 03-2
Використання активності користувача відкритих Wiki-ресурсів для поповнення його онтологічної моделі
Get PDFAn approach to the construction of personalized ontological domain model that interests the user. This model is based on processing of semantically marked Wiki-resource which the user interacted with, and uses semantic properties, links, and search for the ontology classes and instances building. This approach allows us to provide relevant application formalized system of knowledge represented on the Web.Problems in programming 2016; 2-3: 204-210Предложен подход к построению персонифицированной онтологической модели предметной области, которая интересует пользователя. Эта модель формируется на основе обработки семантически размеченных Wiki-ресурсов, с которыми взаимодействовал пользователь, и использует семантические свойства, ссылки и категории для формирования классов и экземпляров онтологии. Такой подход позволяет обеспечить прикладные системы актуальными формализованными знаниями, представленными в Web.Problems in programming 2016; 2-3: 204-210Запропоновано підхід до побудови персоніфікованої онтологічної моделі предметної області, яка цікавить користувача. Ця модель формується на основі обробки семантично розмічених Wiki-ресурсів, з якими взаємодіяв користувач, і використовує семантичні властивості, посилання і категорії для формування класів і екземплярів онтології. Такий підхід дозволяє забезпечити прикладні системи актуальними формалізованими знаннями, представленими в Web.Problems in programming 2016; 2-3: 204-21
Про зв'язок між табличною алгеброю нескінченних таблиць та мультимножинною табличною алгеброю
Get PDFThis article is a continuation of the works devoted to the actual problem of the development of the theoretical basis of the table databases. The question of the relationship between table algebra of infinite tables and multiset table algebra is considered. Considering the fact that 1-multisets are analogues of ordinary sets, the question arises, is whether table algebra of infinite tables a subalgebra of multiset table algebra. This paper is devoted to this issue. Applying the theorem-plural and logical-algebraic methods found that this is not the case. The table algebra of infinite tables does not form subalgebra of multiset table algebra, since it is not closed in relation to some signature operations of multiset table algebra. These operations are determined.Problems in programming 2018; 2-3: 158-163 Данная работа является продолжением работ, посвященных актуальной проблеме разработки теоретической основы табличных баз данных, в качестве которой выступают табличные алгебры. Рассматривается вопрос о связи между табличной алгеброй бесконечных таблиц и мультимножественной табличной алгеброй. Учитывая тот факт, что 1-мультимножества являются аналогами обычных множеств, возникает вопрос, является ли табличная алгебра бесконечных таблиц подалгеброй мультимножественной табличной алгебры. Эта проблема и исследуется в этой работе. Применяя теоретико-множественные и логико-алгебраические методы, установлено, что табличная алгебра бесконечных таблиц не образует подалгебру мультимножественной табличной алгебры, потому что не является замкнутой относительно некоторых операций сигнатуры мультимножественной табличной алгебры. В работе установлено, что это за операции.Problems in programming 2018; 2-3: 158-163Дана робота є продовженням робіт, присвячених актуальній проблемі розробки теоретичної основи табличних баз даних, в якості якої виступають табличні алгебри. Розглядається питання про зв’язок між табличною алгеброю нескінченних таблиць та мультимножинною табличною алгеброю. Враховуючи той факт, що 1-мультимножини є аналогами звичайних множин, виникає питання, чи є таблична алгебра нескінченних таблиць підалгеброю мультимножинної табличної алгебри. Ця проблема і досліджується у даній роботі. Застосовуючи теоретико-множинні та логіко-алгебраїчні методи, встановлено, що таблична алгебра нескінченних таблиць не утворює підалгебру мультимножинної табличної алгебри, бо не є замкненою відносно деяких операцій сигнатури мультимножинної табличної алгебри. У роботі встановлено, що це за операції.Problems in programming 2018; 2-3: 158-16
Симуляція гемодинаміки гіпертрофованого серця
No full textThe paper describes the modeling technology and the main results of the simulation of hemodynamic effects of cardiac hypertrophy (HH), conducted using previously published mathematical model (MM) [9]. The dynamics of hemodynamic abnormalities are not modeled. MM simulates changes in the central hemodynamics at different degrees and forms of myocardial hypertrophy (MH). Software technology provides a simulation of three types of HH: a) adaptive HH arising in response to the chronic lack of the systemic circulation; b) abnormal HH, which is at the extreme stage of adaptive HH; c) abnormal MH of left ventricle. The first two versions of HH have been simulated by increasing of myocardium’s stiffness, while the third version of HH is simulated via additional decrease of the unstressed volume of the left ventricle. For each version of HH a compensatory potential of self-regulation mechanisms (model uncontrolled cardiovascular system) is studied, and then similar opportunities of baroreflex regulators of hemodynamics have been evaluated. HM satisfactorily reproduces the main changes in blood pressure, cardiac output, and heart rate. The likely role of cell energy mechanisms in the cardiovascular system adaptation to high loads is discussed. The simulator is an autonomous program which can be both a tool to support the medical-physiological research and an educational means for demonstrating causal relationships to medical students. An implementation of the program in a more general program-modeling complex focused on the identification of patterns of functioning of super-human energy is planned.Problems in programming 2016; 2-3: 254-263В работе описаны технология моделирования и основные результаты симуляции гемодинамических эффектов гипертрофии сердца (ГС), проведенные с помощью ранее опубликованной математической модели (ММ). Не моделируя динамику развития гемодинамических отклонений от нормы при каждой разновидности ГС, ММ имитирует измененную центральную гемодинамику при разных степенях и формах гипертрофии миокарда (ГМ). Программная технология позволяет симулировать три разновидности ГС: а) адаптивную ГМ, возникающую в ответ на хронический недостаток системного кровообращения; б) патологическую ГМ, являющуюся крайней стадией адаптивной ГМ; в) патологическую ГМ левого желудочка сердца. Первые две разновидности ГС сымитированы путем увеличения жесткости миокарда, тогда как для имитации третьей разновидности ГС добавлено также уменьшение ненапряженного объема левого желудочка сердца. При каждой разновидности ГС исследованы компенсаторные возможности саморегуляторных механизмов (модель неуправляемой сердечнососудистой системы), после чего оценены аналогичные возможности механизма барорефлекторной регуляции гемодинамики. При указанных формах ГС ММ удовлетворительно воспроизводит основные сдвиги артериального давления, минутного объема крови, частоты сокращений сердца. Обсуждается вероятная роль энергетических механизмов клеток в адаптации сердечнососудистой системы к повышенным нагрузкам. Симулятор пока является автономной программой, которая может быть как инструментом для поддержки медико-физиологических научных исследований, так и учебным средством демонстрации причинно-следственных отношений студентам-медикам. Планируется имплементация этой программы в более общий программно-моделирующий комплекс, ориентированный на выявление закономерностей функционирования энергетической суперсистемы человека.Problems in programming 2016; 2-3: 254-263В роботі описані технологія моделювання та основні результати симуляції гемодинамічних ефектів гіпертрофії серця (ГС), що проведені за допомогою раніше опублікованої математичної моделі (ММ) [9]. Не моделюючи динаміку розвитку гемодинамічних відхилень від норми при кожному різновиді ГС, ММ імітує змінену центральну гемодинаміку при різних ступенях і формах гіпертрофії міокарда (ГМ). Програмна технологія дозволяє симулювати три різновиди ГС: а) адаптивну ГМ, що виникає у відповідь на хронічну нестачу системного кровообігу; б) патологічну ГМ, що є крайньою стадією адаптивної ГМ; в) патологічну ГМ лівого шлуночка серця. Перші два різновиди ГС зімітовані шляхом збільшення жорсткості міокарда, тоді як для імітації третього різновиду ГС додано також зменшення ненапряженого обсягу лівого шлуночка серця. При кожному різновиді ГС досліджені компенсаторні можливості саморегуляторних механізмів (модель некерованої серцево-судинної системи), після чого оцінені аналогічні можливості механізму барорефлекторной регуляції гемодинаміки. При зазначених формах ГС ММ задовільно відтворює основні зрушення артеріального тиску, хвилинного обсягу крові, частоти скорочень серця. Обговорюється можлива роль енергетичних механізмів клітин в адаптації серцево-судинної системи до підвищеним навантаженням. Симулятор поки є автономною програмою, яка може бути як інструментом для підтримки медико-фізіологічних наукових досліджень, так і навчальним засобом демонстрації причинно-наслідкових відносин студентам-медикам. Планується імплементація цієї програми в більш загальний програмно-моделюючий комплекс, орієнтований на виявлення закономірностей функціонування енергетичної суперсистеми людини.Problems in programming 2016; 2-3: 254-26
Формальна основа для програмної моделі для трансформаційного моделювання
No full textSoftware model transformation operations are central operations in Model-Driven approaches. In order to represent software models, graphical modeling notations, for example UML, are used. Quality of software model, obtained after transformation, influences on further operations with this model. Thus, it is important to design formal approaches for model to model transformation that are grounded on analytical and mathematical tools. These approaches should provide a background for flexible adopting software model transformational techniques for peculiarities of specific software development lifecycle model.Challenges to mathematical tools and transformation rules that are involved to designing of model to model transformation approaches are formulated in this paper. The ground of mathematical tools choice that is based on these challenges is performed.An approach for performing model to model transformation, which is based on graph transformation, is presented in this paper. Transformational operations are considered on meta-level and concrete level. On meta-level choosing of mathematical tools for representing of transformation stages and transformational artifacts are grounded. Software models are represented as graphs. Initial information for transformation is represented as a set of sub-graphs. Transformation rules are composed using second and first order logics. On the level of the first-order logic all software model elements that participate in transformation are considered. In the level of second-order logic transformation rule considers types of software model element that are participate in the transformation.Proposed approach is extensible and may be used for extend functionality of model to model tools that process software models. For example in MEDINI QVT there is no direct ways to compose a model to model transformation rule that considers those software models elements that have no direct links.Problems in programming 2018; 2-3: 124-131Операции преобразования моделей программного обеспечения являются ключевыми в модельно-ориентированных подходах разработки программного обеспечения. Для представления моделей программного обеспечения используются графические нотации языков моделирования, например UML. Качество полученной модели программного обеспечения после трансформации определяет эффективность ее дальнейшей обработки. Это определяет актуальность задачи разработки новых формальных подходов для трансформации моделей программного обеспечения. Такие подходы обеспечивают основу для гибкой адаптации техник и методов трансформации с учетом особенностей процессов жизненного цикла разработки программного обеспечения.В статье сформулированы требования к аналитическим инструментам и правилам трансформации, которые применяются для разработки подходов трансформации моделей. Также приведено обоснование выбора аналитических инструментов, отвечающих этим требованиям.Представленый в статье подход преобразования из модели в модель, основанный на графовой трансформации. Опреации трансформации рассматриваются на общем уровне и на уровне детального описания моделей. Исходной информацией для трансформации служит множество под-графов. Правила трансформации задаются с помощью логик первого и второго порядка. На уровне элементов моделей программного обеспечения для задания правил трансформации используется логика первого порядка, на уровне описания типов элементов используется логика второго порядка.Представленный подход является расширяемым и может использоваться при модификации существующих сред преобразования моделей. Например, в MEDINI QVT отсутствует возможность сформировать правила трансформации моделей, включающих элементы, которые не связаны непосредственно на UML диаграмме.Problems in programming 2018; 2-3: 124-131Операції перетворення моделей програмного забезпечення є центральними операціями у модельно-орієнтованих підходах розробки програмного забезпечення. Для представлення моделей програмного забезпечення використовуються графічні нотації мов моделювання, наприклад UML. Якість отриманої моделі програмного забезпечення після трансформації визначає ефективність операцій подальшої її обробки. Це визначає актуальність завдання розробки нових формальних підходів для трансформації моделей програмного забезпечення. Такі підходи забезпечують підгрунття для гнучкої адаптації технік та підходів трансформації з урахуванням особливостей процесів життєвого циклу програмного розробки програмного забезпечення.У статті сформульовані вимоги до аналітичних інструментів та правил трансформації які застосовуються для розробки підходів трансформації моделей. Також наведено обґрунтування вибору аналітичних інструментів, що відповідають цим вимогам.У роботі представлено підхід проведення операції трансформації моделі в модель, який базується на графовому перетворенні. Опреації трансформації розглядаються на мета рівні та на рівні детального опису моделей. Вихідною інформацією для трансформації слугує множина під-графів. Правила трансформації задаються за допомогою логік першого і другого порядку. На рівні преставлення елементів моделей програмного забезпечення для задання правил трансформації використовується логіка першого порядку, на рівні опису типів елементів використовується логіка другого порядку.Представлений підхід є розширюваним та може використовуватися при модифікації існуючих середовищ перетворення моделей. Наприклад у MEDINI QVT відсутня можливість сформувати правила трансформації моделей, що включають елементи, які не зв’язані безпосередньо на UML діаграмі.Problems in programming 2018; 2-3: 124-13
Гібридна модель автотьюнінгу з використанням статистичного моделювання
Get PDFThe paper presents well known autotuning model modified with statistic modelling in order to narrow a space of search for optimal variation of the program. Proposed method was applied to optimization of hybrid parallel sorting algorithm. Experiment results on multicore system are provided.Problems in programming 2016; 4: 27-32Разработана модификация известного метода автоматической оптимизации (автотьюнинга) программ с использованием статистического моделирования для сужения области поиска оптимального варианта программы. Предложенный метод опробован на оптимизации параллельного гибридного алгоритма сортировки. Приведены результаты практического эксперимента на мультипроцессорной системе.Problems in programming 2016; 4: 27-32Розроблена модифікація відомого методу самоналаштування (автотьюнінгу) програм з використанням статистичного моделювання з метою звуження простору пошуку оптимального варіанта програми. Запропонований метод застосовано до оптимізації паралельного гібридного алгоритму сортування. Наведено результати практичного експерименту на мультипроцесорній системі.Problems in programming 2016; 4: 27-3
Практичне дослідження ефективності інформаційної технології автоматизованого визначення семантичних термінів у контенті навчальних матеріалів
Get PDFThe information technology on base of the disperse evaluation, which with enough high efficiency allows automated define the semantic terms in content of educational materials article is given. The factors that hinder effective analysis of educational materials have been considered. High efficiency offered technologies gives possible of its using in row of the problems, such as estimation of the correspondence of educational materials to requirements, estimation of the correspondence of set test tasks to educational materials, semantic help of making tests, automated keyword list and abstract generation.Problems in programming 2016; 2-3: 237-245Предложена информационная технология, основанная на дисперсионной оценке важности слов, которая позволяет с достаточно высокой эффективностью определять семантические термины в контенте учебных материалов. Рассмотрены факторы, затрудняющие эффективное определение семантических терминов в учебных материалах. Установленная эффективность предложенной технологии способствует ее использованию для решения ряда актуальных задач, таких как оценка соответствия учебных материалов содержательным требованиям, оценка соответствия наборов тестовых заданий учебным материалам, семантическая помощь при создании тестов, автоматизированная генерация множеств ключевых слов и создания аннотаций.Problems in programming 2016; 2-3: 237-245Запропоновано інформаційну технологію, що ґрунтується на дисперсійній оцінці важливості слів, яка дозволяє з достатньо високою ефективністю визначати семантичні терміни в контенті навчальних матеріалів. Розглянуто фактори, що ускладнюють ефективне визначення семантичних термінів у навчальних матеріалах. Встановлена ефективність запропонованої технології сприяє її використанню для вирішення ряду актуальних задач, таких як оцінка відповідності навчальних матеріалів змістовим вимогам, оцінка відповідності наборів тестових завдань навчальним матеріалам, семантична допомога при створенні тестів, автоматизована генерація множин ключових слів та створення анотацій.Problems in programming 2016; 2-3: 237-24
Онтологоподібні системи аналізу природномовних текстів
Get PDFIn this paper an approach to building of Ontological similar systems for analysis of texts in natural language (on this time only Ukrainian languages) is considered. Such systems are built on the base of formal definitions of ontology O = (X, R, F, A (D, Rc)) and syntactical and semantic analysis by using elements of Descriptive logics. When constructing an ontology, a subject domain is indicated and includes concepts from X and relations from R. Such indicates are necessary because of semantic sense of concepts and relations can be depend of the domain. Specification of domain is necessary to define more precision of the interpretation F. Additional adjustments of F are described by the axioms A of this domain and the restrictions Rc, which have the form of additional definitions (clarifications, constraints on possible values, etc.) of the properties of the domain of interpretation D. An input text T considered as domain of interpretation D.From Descriptive logics we use definition of syntax of concepts and relations. Using this syntax ef concepts and definitions we obtain first order logic and can do reasoning and obtain conclusions from information derived from input text. The input text T considered as the domain D of interpretation F for concepts X and relations R which are derived from it.Syntactical and semantic result of analysis is used as input data for building of ontology. As a result of such analysis is the partition of objects on the groups which are correspond of the parts of speech. By using this information and additional adjustments we build data knowledge of the input domain.In terms of user the domain D looks like an object of the relational database, which includes only unary and binary relations. The difference lies in the fact that classical database relationships are closed within this domain, while D as a database is open because the normalized representation of knowledge is executed in a situation where there is no assumption about the completeness of these knowledge. In addition, D relates the semantic relations of the concepts and the relation, which is not analogous to the relational database semantics.Problems in programming 2018; 2-3: 132-139Рассматривается подход к построению онтологоподобных систем для исследования естественноязыковых текстов (на данное время только украинского языка) на основе синтактико-семантического анализа с использованием дескриптивных логик. Такие системы строятся на основе формального определения онтологии O = (X, R, F, A(D, Rc)) и синтаксического и семантического анализа с помощью элементов дескриптивной логики. При построении онтологии фиксируется предметная область, к которой относятся концепты из X и отношения из R. Фиксация области необходима, поскольку смысл концептов и отношений может быть разным в разных предметных областях. Спецификация области необходима ещё и для более точного определения интерпретации F. Дополнительные ограничения описываются аксиомами А этой области и ограничениями Rc, которые имеют вид дополнительных определений (уточнения, ограничения на возможные значения и т. д.) свойств области интерпретации D. Входной текст T рассматривается как область интерпретации D(Т). Из дескриптивной логики используются определения синтаксиса концептов и отношений. Используя этот синтаксис, определяется тип логического языка, который в данном случае является логикой предикатов первого порядка и появляется возможность проводить логический вывод и получать следствия из информации, полученной из входного текста. Входной текст T рассматривается как область интерпретации F для концептов из X и отношений R, которые из него получены. Результаты синтактико-семантического анализа используются как входные данные для построения онтологии. В результате такого анализа происходит разбиение объектов на группы, которые соответствуют частям языка. Используя эту информацию и дополнительные ограничения, строится онтология данной предметной области. С точки зрения пользователя D(T) выглядит как объект реляционной базы данных, который состоит только лишь из унарных и бинарных отношений. Разница состоит в том, что в классических БД отношения замкнуты в рамках данной базы данных, в то время как D(T), как база данных, является открытой для данной ПО, потому что нормализованное представление знаний используется в ситуации, когда нет предположения о полноте этих знаний. Кроме того, D(T) связывает семантическими отношениями концепты C и отношения R из R, чего не имеет аналога в семантике реляционных БД.Problems in programming 2018; 2-3: 132-139Розглянуто підхід до побудови онтологоподібних систем для аналізу текстів на природній мові (на разі тільки українською мовою). Такі системи будуються на основі формальних визначень онтології O = (X, R, F, A(D, Rc)) та синтаксичного і семантичного аналізу за допомогою елементів дескриптивної логіки. При побудові онтології вказується предметна область, до якої відносяться поняття з X і відношення із R. Фіксація області необхідна, оскільки сенс понять та відношень може бути різним в різних предметних областях. Специфікація області необхідна також для точнішого визначення інтерпретації F. Додаткові обмеження F описуються аксіоми А цієї області та обмеженнями Rc, які мають форму додаткових визначень (уточнення, обмеження на можливі значення і т. д.) властивостей області інтерпретації D. Вхідний текст T розглядається як область інтерпретації D(Т). З дескриптивної логіки використовуються визначення синтаксису понять та відношень. Використовуючи цей синтаксис, визначається тип логічної мови, яка в даному випадку є логікою предикатів першого порядку і стає можливим проводити логічне виведення та отримувати висновки з інформації, отриманої з вхідного тексту. Вхідний текст T розглядається як область інтерпретації F для понять X та відношень R, які з нього отримані. Результати синтактико-семантичного аналізу використовуються як вхідні дані для побудови онтології. В результаті такого аналізу відбувається розбиття об'єктів на групи, які відповідають частинам мови. Використовуючи цю інформацію та додаткові обмеження, будується онтологія даної предметної області. З точки зору користувача D(T) виглядає як об’єкт реляційної бази даних, який складається лише з унарних та бінарних відношень. Різниця полягає в тому, що в класичних БД відношення замкнуті в рамках даної бази даних, в той час як D(T), як база даних, є відкритою для даної ПО, тому що нормалізоване представлення знань виконується в ситуації, коли немає припущення про повноту цих знань. Крім того, D(T) зв'язує семантичними відношеннями концепти C i відношення R із R, що немає аналогу в семантиці реляційних БД.Problems in programming 2018; 2-3: 132-13
Відношення логічного наслідку в логіках квазіарних предикатів
Get PDFLogical consequence is one of the most fundamental concepts in logic. A wide use of partial (sometimes many-valued as well) mappings in programming makes important the investigation of logics of partial and many-valued predicates and logical consequence relations for them. Such relations are a semantic base for a corresponding sequent calculi construction. In this paper we consider logical consequence relations for composition nominative logics of total single-valued, partial single-valued, total many-valued and partial many-valued quasiary predicates. Properties of the relations can be different for different classes of predicates; they coincide in the case of classical logic. Relations of the types T, F, TF, IR and DI were in-vestigated in the earlier works. Here we propose relations of the types TvF and С for logics of quasiary predicates. The difference between these two relations manifests already on the propositional level. Properties of logical consequence relations are specified for formulas and sets of formulas. We consider partial cases when one of the sets of formulas is empty. It is shown that relations P|=TvF and R|=С are non-transitive, some properties of decomposition of formulas are not true for R|=С, but at the same time the latter can be modelled through R|=TF. A number of examples demonstrates particularities and distinctions of the defined relations. We also establish a relationship among various logical consequence relations.Prombles in programming 2016; 1: 29-43Изучаются отношения логического следствия в логиках тотальных одно-значных, частичных однозначных, то-тальных неоднозначных и частичных неоднозначны предикатов. Наряду из ранее рассмотренными отношениями типов T, F, TF, IR, DI, для логик ква-зиарных предикатов предлжены и исследованы отношения типов TvF и С. Описаны свойства отношений логиче-ского следствия. Приведены примеры, свидетельствующие о различии рас-смотренных отношений. Показана нетранзитивность отношений типов TvF и С, возможность моделирования отношений типа С с помощью отноше-ний типа TF. Установлены соотношения между различными отношениями логического следствия.Prombles in programming 2016; 1: 29-43Вивчаються відношення логічного наслідку в логіках тотальних однозначних, часткових однозначних, тотальних неоднозначних та часткових неоднозначних предикатів. Поряд із розглянутими раніше відношеннями типів T, F, TF, IR, DI, для логік квазіарних предикатів запропоновано і досліджено відношення типів TvF та С. Описано властивості відношень логічного наслідку. Наведено приклади, які засвідчують відмінності розглянутих відношень. Показана нетранзитивність відношень типів TvF та С, можливість моделювання відношень типу С за допомогою відношень типу TF. Встановлено співвідношення між різними відношеннями логічного наслідку.Prombles in programming 2016; 1: 29-4
Керування ресурсами хмарних центрів обробки даних на основі евристичного пошуку
Get PDFThe features of the cloud data center are analyzed from the point of view of resource management. The two-stage method for consolidating virtual machines based on the use of local beam search algorithm is proposed and investigated with aim to solve the problem of managing the resources of a cloud data center. In this paper, the work of heuristics of the first and second stages of the proposed method is analyzed. The beam search algorithm was developed for solving the data center resource management problem. The data about tasks and physical machines from the Google cluster-usage traces are used to evaluate the proposed method. The proposed method allows to switch to a low-power mode on average 56 percent of physical servers potentially identified for switching to sleep mode based on an upper estimate of the required capacity of resources. Virtual machine consolidation is performed taking into account the limitation of the permissible number of migrations per physical server.Problems in programming 2017; 4: 016-027Проанализированы особенности облачного центра обработки данных с точки зрения управления ресурсами. Для решения задачи управления ресурсами облачного центра обработки данных предложено и исследовано двухэтапный метод консолидации виртуальных машин на основе использования локального лучевого поиска. В статье проанализирована работа эвристики первой и второй стадий предложенного метода, разработан алгоритм лучевого поиска для решения задачи управления ресурсами. Для анализа работы метода использованы данные о поступлении задач в кластер Google. Предложенный метод позволяет переключить в режим пониженного энергопотребления в среднем 56 процентов физических серверов, потенциально определенных для переключения в режим сна на основе верхней оценки необходимой емкости ресурсов. Перераспределение виртуальных машин выполняется с учетом ограничения допустимого количества миграций на один физический сервер.Problems in programming 2017; 4: 016-027Проаналізовано особливості хмарного центру обробки даних (ЦОД) з точки зору керування ресурсами. Для вирішення задачі керування ресурсами хмарного центру обробки даних запропоновано і досліджено двостадійний метод консолідації віртуальних машин на базі використання локального променевого пошуку. В статті проаналізовано роботу евристики першої та другої стадій запропонованого методу, розроблений алгоритм променевого пошуку для вирішення задачі керування ресурсами. Для аналізу роботи методу використані дані про надходження завдань в кластер Google. Запропонований метод дозволяє переключити в режим зниженого енергоспоживання в середньому 56 відсотків фізичних серверів, що потенційно визначені для переключення в режим сну за допомогою верхньої оцінки необхідної ємності ресурсів. Перерозподіл віртуальних машин виконується з урахуванням обмеження допустимої кількості міграцій на один фізичний сервер.Problems in programming 2017; 4: 016-027