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

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

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

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

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

  • 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 ...
  • Sufficient Condition for Partial Optimality for (max, +)-Labeling Problems and its Usage 
    Kovtun, I. (Управляющие системы и машины, 2011)
    Для (max,+)-задач разметки сформулированы достаточные условия оптимальности метки в каждом пикселе изображения. Описан алгоритм, позволяющий определить оптимальные метки в некоторых пикселах и тем самым существенно снизить ...
  • Super Fibonacci Graceful Graphs and Fibonacci Cubes 
    Semeniuta, M.F. (Control systems & computers, 2020)
    The popularity of Fibonacci cubes is due to their wide range of uses. In mathematical chemistry, this concept is used in the study of hexagonal graphs. In computer science, Fibonacci cubes are interesting from an algorithmic ...
  • Text analysis: linguistics, Semantics, Pragmatics in the Cognitive Approach 
    Kharlamov, A.A.; Yermolenko, T.V. (Управляющие системы и машины, 2015)
    The cognitive approach to linguistic information analyzed by the human is considered. The processes of information processing are studied at various linguistic levels: morphological, lexical, syntactic and semantic levels ...
  • The DABC and TLBO Algorithms for Solve Job Shop Scheduling Problem 
    Witkowski, T. (Control systems & computers, 2019)
    This paper shows use Discrete Artificial Bee Colony (DABC) and Teaching-Learning-Based Optimization (TLBO) algorithms for solving the job shop scheduling problem (JSSP) in order to minimize makespan (Cmax value). The Job ...
  • The Digital Twin and Optimization of Cast Metal Structures in Additive Manufacturing 
    Doroshenko, V.S.; Tokova, O.V. (Control systems & computers, 2020)
    A review of a number of sources of information shows that among the advanced technologies CD is an integrator of almost all "end-to-end" digital technologies, acts as a driver, provides the prerequisites for development ...
  • The Examples of Digitalization of Foundry Production: Virtual Engineering, Digital Twin, Additive Technologies 
    Doroshenko, V.S.; Tokova, O.V. (Control systems & computers, 2020)
    The construction of a digital twin of a real physical object is described. It can be a virtual counterpart of a part, product, equipment, technological process, production sites, workshops, or even factories. In fact, it ...
  • The Modern State and Perspectives of Clastering Methods Development for High Dimension Data Analysis 
    Babichev, S. (Управляющие системы и машины, 2015)
    The modern state analysis of the clustering methods for high dimension data processing is conducted. The analysis of the existing methods and means of a current operation realization for each experiment phase is carried ...
  • The Non-Deterministic Strategy of Rewriting 
    Letichevsky, A.A.; Letichevskyi, O.A.; Peschanenko, V.S. (Управляющие системы и машины, 2013)
    Описана система алгебраического программирования – первая система переписывания термов, разделившая системы переписывающих правил и стратегии, а также система моделирования – базовая для системы верификации формальных ...
  • The Practical Aspect of Using a Combinatorial Model on Configuration of Combinations 
    Koliechkina, L.M.; Nahirna, A.M. (Control systems & computers, 2019)
    The paper proposes the practical task of choosing a set of programs to protect information at the enterprise. An optimization combinatorial model is built on the configuration of combinations to solve the task. An algorithm ...
  • The Principles of Application of Machine Learning in Classification of Network Traffic 
    Antonyuk, Ya.M.; Oleksyuk, T.N.; Kovalenko, Ya.O.; Shiyak, B.A. (Управляющие системы и машины, 2018)
    Approaches to classification of network computing traffic on the basis of division of DPI and methods of structural analysis are systematized. The illustration of one of methods of structural analysis is developed. The ...
  • The Tools for Intelligent Data Analysis, Modeling and Forecasting Of Social and Economic Processes 
    Savchenko-Synyakova, Ye.A.; Tutova, O.V. (Control systems & computers, 2021)
    The tools of intellectual modeling in MS Excel are developed on the basis of a technique of the analysis, modeling and forecasting of difficult processes on a DB of social and economic processes which contains the information ...
  • The Transfer Learning Task as the Means of Metalearning Tasks Solution 
    Savchenko, Ye.A.; Savchenko, M.Yu. (Control systems & computers, 2020)
    The methods for solving the problems of transfer learning are reviewed from the point of view of solving the metalearning tasks. The concepts of metalearning, transfer learning, multi-task learning, inductive transfer and ...

Пошук


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

Перегляд

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