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

Перегляд Відділення інформатики за назвою

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

Перегляд Відділення інформатики за назвою

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

  • 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 ...
  • Simple non-deterministic rewriting in verification 
    Letichevsky, A.; Peschanenko, V. (2010)
    Abstract. We discuss the non-deterministic rewriting in application for engine functions of Verification of Formal Specification (VFS) system in this paper. VFS – are tools to prove properties of systems described as formal ...
  • 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 ...
  • Simulations of human hemodynamic responses to blood temperature and volume changes 
    Grygoryan, R.D.; Degoda, A.G.; Lyudovyk, T.V.; Yurchak, O.I. (Проблеми програмування, 2023)
    An advanced version (AV) of special software based on modified quantitative models of mechanisms that provide the overall control of human circulation is proposed. AV essentially expands the range of tasks concerning the ...
  • Situational-event model of the hybrid patterns recognition for heterogeneous data processing in complex systems 
    Zakhozhay, O.I. (Математичне моделювання в економіці, 2019)
    In the article represented the new situational-event model of hybrid patterns recognition. This model based on representation a heterogeneous data of a complex system in the form of patterns set, sets of external conditions ...
  • Small-time limit behavior of the probability that a Lévy process stays positive 
    Knopova, V.P. (Кибернетика и системный анализ, 2016)
    In the paper, we find analytically the upper and lower limits (as the time parameter tends to zero) of the probability that the Lévy process staring at 0 stays positive. We confine ourselves to the situation where the real ...
  • 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 ...
  • Social innovation in traditional Norway:background and features 
    Balanchuk, I.S. (Наука, технології, інновації, 2019)
    Коли ми чуємо, як хтось каже “Норвегія”, то в уяві одразу постають картини ідеального світу: казкові будиночки, яскраво зелена трава, мальовнича природа, неймовірні фіорди і заможні та щасливі люди. Загалом усе вищеперераховане ...
  • Socially Responsible Investment in Human Capital 
    Tutova, О. (Економіко-математичне моделювання соціально-економічних систем, 2017)
    An overview of contemporary economical concepts of sustainable capital, human-resource capitalism, sustainable development, sustainable society, and socially responsible investment is made. The main features of a sustainable ...
  • 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 ...
  • Software engineering and big data software 
    Sydorov, M.O.; Sydorova, N.M. (Проблеми програмування, 2022)
    Software engineering is a mature industry of human activity focused on the creation, deployment, marketing and maintenance of software. The fundamental concepts of engineering are life cycle model; three main components ...
  • Software engineering ontologies categorization 
    Sydorov, N.A.; Sydorova, N.N.; Mendzebrovsky, I.B. (Проблеми програмування, 2018)
    Software engineering is an own scientific and practice aria with an own structure, terminology, products, processes and resources. The software product is a knowledge-based product and it is the result of the knowledge-based ...
  • Software Module for Personal Diagnostics of Motor Functions After Stroke 
    Vovk, М.І.; Kutsyak, О.А. (Кибернетика и вычислительная техника, 2019)
    The purpose of the paper is to develop a specialized module for the personal diagnostics of motor functions in patients after stroke, which software implements the determination of the degree of motor functions disorders ...
  • The software system for modelling gas-dynamic parameters of the opencast atmosphere 
    Zberovsky, A.V.; Goman, O.G.; Zadornova, V.V.; Kharytonov, M.M. (2006)
    The local meteorological elements are connected with technical, economic and social parameters of the opencast atmosphere. The goal of this paper is the realization of methods and the developing of software for the ...
  • Solution Counting for CSP and SAT with Large Tree-Width 
    Favier, A.; de Givry, S.; Jégou, P. (Управляющие системы и машины, 2011)
    Рассмотрена проблема подсчета количества решений задачи совместимости ограничений (Constraint Satisfaction Problem). Для ее решения был адаптирован метод обратного прослеживания с ацикличным представлением графа ограничений ...
  • Solving a Problem of Adaptive Stabilization for Some Static MIMO Systems 
    Zhiteckii, L.S.; Azarskov, V.N.; Solovchuk, K.Yu. (Кибернетика и вычислительная техника, 2019)
    The purpose of the paper is to show that it is possible to stabilize any uncertain multivariable static plant which gain matrix may be either square or nonsquare and may have an arbitrary rank remaining unknown for the ...
  • Solving contest problems via formal program verification 
    Shilov, N.V.; Shilova, S.O. (2010)
    The interface between mathematics and computer science is many-sided. In particular, E.W. Dijkstra promoted a special “computer science” approach to mathematics problem solving. The approach combines a heuristic algorithm ...
  • Solving social problems by distributed Human Terrain operations 
    Sapaty, P.S. (Математичні машини і системи, 2015)
    The Human Terrain (HT) concept was originally introduced in military for a possible reduction of the loss of lives in international conflicts by appropriate work with local population, like taking into account its peculiarities ...
  • Solving the Problem of Finding Hypothetically Connected Objects by Means of Spatial Multi-Valued Structures 
    Chetverikov, G.G.; Vechirska, I.D.; Leshchynskyi, V.A. (Штучний інтелект, 2011)
    In the work the basic aspects of mathematical modeling of AFP-structures as universal functional converters of spatial type on the basis of decomposition of multiple-valued structures are investigated, also there have ...
  • Some light-traffic and heavy-traffic results for the GI/G/n/0 queue using the GM Heuristic 
    Atkinson, J.B.; Kovalenko, I.N. (Кибернетика и системный анализ, 2010)
    Проаналізовано ймовірность втрати вимоги в багатоканальній системі обслуговування з відмовами GI/G/n/0 як у випадку малого навантаження, так і великого. Аналіз оснований на евристиці GM , для якої випадок помірного ...

Пошук


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

Перегляд

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