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

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

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

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

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

  • 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 , для якої випадок помірного ...
  • Some of the special features of the tritium migration 
    Kryazhych, O.O.; Kovalenko, O.V. (Математичне моделювання в економіці, 2017)
    It was found that tritium is different activity as part of the free water of plants can be conditioned by the processes of plant life, taking into account the weather conditions, composition of soil on which the plant is ...
  • Some Tasks of Innovative Designing in Modern Technologies of Industrial Fish Farming 
    Osypenko, V.; Osypenko, V. (Індуктивне моделювання складних систем, 2016)
    In this paper the some tasks and directions of innovative designing in modern technologies of industrial fish farming in open inland water reservoirs are considered. The proposed approach is based on the combination of ...
  • Spatial grasp language for distributed management and control 
    Sapaty, P.S. (Математичні машини і системи, 2016)
    A full description of a high-level language for solving arbitrary problems in heterogeneous, distributed and dynamic worlds, both physical and virtual, will be presented and discussed. The language is based on holistic and ...
  • Spatial strategies of firms under Stackelberg competention 
    Melnikov, S. (Математичне моделювання в економіці, 2018)
    The paper explores a spatial duopoly of firms under Stackelberg competition, when one of the firms is a leader in term of product volume. The equilibrium spatial strategies of firms are found. In the process of the analysis ...
  • Specialized software for simulating the multiple control and modulations of human hemodynamics 
    Grygoryan, R.D.; Yurchak, O.I.; Degoda, A.G.; Lyudovyk, T.V. (Проблеми програмування, 2021)
    Most models of human hemodynamics describe only a small part of physiological mechanisms that directly or indirectly alter activities of the heart pump and vascular tones. Therefore, a very narrow range of tasks related ...
  • Specific features of the use of artificial intelligence in the development of the architecture of intelligent fault-tolerant radar systems 
    Коsovets, M.; Tovstenko, L. (Проблеми програмування, 2021)
    The problem of architecture development of modern radar systems using artificial intelligence technology is considered. The main difference is the use of a neural network in the form of a set of heterogeneous neuromultim ...
  • Spectral Analysis of Airflow Rate During Forced Expiratory Process 
    Lopata, V.A.; Popov, A.A.; Myasnyi, I.S. (Кибернетика и вычислительная техника, 2014)
    Purpose: To study the dynamic characteristics of spirometers, and development of method for analysis of airflow rate spectral density. Results: An explicit mathematical expression of airflow rate spectral density is obtained ...
  • Spike separation based on symmetries analysis in phase space 
    Polyarush, A.I.; Makarenko, A.S.; Tetko, I.V. (Системні дослідження та інформаційні технології, 2003)
    The present study introduces an approach for automatic classification of extracellularly recorded action potentials of neurons based on geometrical approach. Neuronal spikes are considered as geometrical objects, namely ...
  • Spin Magnetism of Finite Length Carbon Nanotubes 
    Klimko, G.T.; Mestechkin, M.M. (Штучний інтелект, 2012)
    We apply the calculation model, which is based on the Hartree-Fock-Racah theory of the averaged quasi-spin multiplet degenerate open shell, to demonstrate that finite zigzag CN hyperbolic levels give rise to a lot of ...
  • Sraffa and Leontief Revisited: Mathematical Methods and Models of a Circular Economy 
    Emmenegger, J.-F.; Chable, D.; Nour Eldin, H.A.; Knolle, H. (Кібернетика та комп’ютерні технології, 2020)
    The new book SRAFFA AND LEONTIEF REVISITED: Mathematical methods and models of a circular economy is dedicated to Wassiliy Leontief’s concepts of Input-Output Analysis and to the algebraic properties of Piero Sraffa's ...
  • Stability of linear systems of differential equations with random jump linear solutions in Hilbert space 
    Nikitin, A.V. (Математичне та комп'ютерне моделювання. Серія: Фізико-математичні науки, 2013)
    The conditions of stability in the middle and in the mean square solutions of stochastic differential equations with random perturbations in Hilbert spaces are obtained.
  • Standardisation of indicators of quality of products cognitive technologies 
    Antsyferov, S.S. (Искусственный интеллект, 2014)
    The standard set of quality indicators, reflecting the principal features of functioning and development of intellectual systems is proposed. Comparative assessment of some of them is given.

Пошук


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

Перегляд

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