Наукова електронна бібліотека
періодичних видань НАН України

Перегляд Управляющие системы и машины за назвою

Репозиторій DSpace/Manakin

Перегляд Управляющие системы и машины за назвою

Сортувати за: Порядок: Результатів:

  • Obtaining the Local Extremum in the Problem of Covering the Fields by the Circles of Variable Radius 
    Komyak, V.V.; Komyak, V.M.; Pankratov, A.V.; Prikhodko, A.Yu. (Управляющие системы и машины, 2016)
    The problem of covering the area of the variable radius circle is considered. The mathematical model of the coating is built. A new coverage criterion is offered, based on which the range of permissible solutions of the ...
  • On Method Concept for Safety Culture Assessment with Application of Inductive Learning Algorithms 
    Begun, V.V.; Lytvynov, V.V.; Begun, S.V. (Управляющие системы и машины, 2014)
    Предложен новый универсальный алгоритм расчета уровня культуры безопасности, применяемый для анализа состояния безопасности потенциально опасного объекта. Использован метод группового учета аргументов. Описана процедура ...
  • On New Properties of Graphs with Magic Type Labeling 
    Semeniuta, M.F.; Sherman, Z.O. (Управляющие системы и машины, 2019)
    We have shown the connection between vertex labelings of magic graph and its overgraph. Also, we have introduced binary relation on the set of all -distance magic graphs, where , i=1, 2, … and proved, that it is equivalence ...
  • On Partial Optimality by Auxiliary Submodular Problems 
    Shekhovtsov, A.; Hlaváč, V. (Управляющие системы и машины, 2011)
    Доказаны определенные соотношения между тремя различными методами минимизации энергии. Предложено новое достаточное условие частичной оптимальности, основанное на LP-релаксации и названное LP-автаркией.
  • Ontology Application to Construct Inductive Modeling Tools with Intelligent Interface 
    Pidnebesna, H.A.; Pavlov, A.V.; Stepashko, V.S. (Control systems & computers, 2020)
    This paper is devoted to the analysis of sources in the field of development and building intelligent user interfaces. Particular attention is paid to presenting an ontology-based approach to constructing the architecture ...
  • Optimal Labelling Problems, their Relaxation and Equivalent Transformations 
    Schlesinger, M.I.; Antoniuk, K.V.; Vodolazskii, E.V. (Управляющие системы и машины, 2011)
    Рассмотрена оптимизационная задача разметок, которая есть обобщением известной задачи о совместимости ограничений, и ее размытая модификация. Описаны два подхода к поиску оптимальной размытой разметки, их достоинства и ...
  • Performance Evaluation of Computer Campus Network Segments 
    Antonyuk, Ya.M. (Управляющие системы и машины, 2018)
    The task of evaluating the performance of computer networks and their segments is considered - one of the main issues of the formation and functioning of modern campuses, educational spaces and corporate cloud solutions. ...
  • Preface 
    Schlesinger, M.I. (Управляющие системы и машины, 2011)
  • Reactive Programming Paradigm for Development User Intrfaces 
    Bulgakova, O.S.; Zosimov, V.V. (Control systems & computers, 2019)
    The article discusses the relevance of using the paradigm for user interfaces development. The essence of the reactive programming paradigm, its features and disadvantages are described. The technology of reactive programming ...
  • Recognition algorithms of multilevel images of multicharacter identification objects based on nonlinear equivalent metrices and analysis of experimental data 
    Krasilenko, V.G.; Nikolsky, A.I.; Bozniak, Yu.A. (Управляющие системы и машины, 2013)
    Предложены эквивалентностные пространственно-инвариантные алгоритмы распознавания полутоновых изображений идентификационных объектов, представленные набором символов, и результаты экспериментальных исследований. Показаны ...
  • Recurrent-and-Parallel GMDH Algorithms for High-Performance Computing 
    Stepashko, V.S.; Yefimenko, S.M.; Pavlov, A.V. (Управляющие системы и машины, 2019)
    The paper presents the conception, theoretical grounds and mathematical tools for designing high-performance searching and iterative GMDH algorithms on the basis of recurrent-and-parallel computing for modelling and ...
  • Regularizers for Vector-Valued Data and Labeling Problems in Image Processing 
    Lellmann, J.; Schnörr, C. (Управляющие системы и машины, 2011)
    Дан обзор последних результатов в области регуляризаторов, основанных на полных вариациях, применительно к векторным данным. Результаты оказались полезными для хранения или улучшения мультимодальных данных и задач разметки ...
  • Satisfiability For Symbolic Verification in VRS 
    Letichevsky, A.; Letichevskyi, A.; Weigert, T.; Peschanenko, V. (Управляющие системы и машины, 2013)
    Рассмотрены использование логики первого порядка в символьной верификации спецификаций требований программного обеспечения, символьные модели систем, которые есть транзиционными системами с символьными состояниями ...
  • Segmentation of the Experimental Curves as the Implementation of Unknown Piecewise Smooth Function 
    Kalmykov, V.G.; Sharypanov, A.V. (Управляющие системы и машины, 2018)
    While processing (e.g. spline approximation) of experimental curves that supposed to be implementations of piecewise smooth functions distorted by noise, the task of determining the boundary points of the pieces arises. A ...
  • Simple Minimization Method of the Variables Number in Complete and Incomplete Logic Functions. Part 1 
    Rytsar, B.Ye. (Управляющие системы и машины, 2017)
    A new minimization method of the variables number in complete and incomplete logic functions, based on the procedure of conjuncterms splitting is proposed. The advantages of the proposed method are illustrated by examples ...
  • Simulation Model of Infinite Perishable Queueing Inventory System with Feedback 
    Shahmaliyev, Mammad (Управляющие системы и машины, 2018)
    Perishable Queuing Inventory system with positive service time and customer feedback is considered. The system applies Variable Size Order policy for the inventory replenishment. Stochastic simulation method is used to ...
  • Smart Enterprise as a Modern Form of Existence of Traditional Enterprise in the Digital Economy 
    Meytus, V.Yu.; Morozova, G.I.; Kozlova, V.P.; Taran, L.Yu. (Control systems & computers, 2020)
    In this article, the existing range of publications about the smart enterprise as a basis for the digital economy is analyzed. The principles of creating a smart enterprise as a way of adapting traditional enterprise to ...
  • Software-Defined Storages as a Tool of Lowering IT Infrastructure Costs 
    Lysetskyi, Yu.M.; Seredovich, Ye.P. (Управляющие системы и машины, 2019)
    The paper considers software-defined storages, their essential requirements, features, as well as advantages and disadvantages of solutions by the different vendors. The most widely spread OpenSource products used to build ...
  • Solution Counting for CSP and SAT with Large Tree-Width 
    Favier, A.; de Givry, S.; Jégou, P. (Управляющие системы и машины, 2011)
    Рассмотрена проблема подсчета количества решений задачи совместимости ограничений (Constraint Satisfaction Problem). Для ее решения был адаптирован метод обратного прослеживания с ацикличным представлением графа ограничений ...
  • Storing JWT Token in Local Variables 
    Bulgakova, O.S.; Zosimov, V.V.; Popravkin, P.D. (Control systems & computers, 2020)
    The article discusses the problem of storing structured information over the Internet (JSON format) in local storage and pieces of information transmitted to the browser from the site visited by the user (cookies), and a ...

Пошук


Розширений пошук

Перегляд

Мій обліковий запис