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

Перегляд Проблеми програмування за назвою

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

Перегляд Проблеми програмування за назвою

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

  • 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 ...
  • 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 ...
  • 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 ...
  • A Support tool for the reachability and other petri nets- related problems and formal design and analysis of discrete systems 
    Hudak, S.; Korecko, S.; Simonak, S. (2008)
    Annotation. In this paper we deal with the PNtool - a tool for a design, analysis and development of concurrent and time-critical systems specified using the Petri nets (PN) formalism. The PNtool supports four Petri nets ...
  • Table interpretation of the temporal description logic LTLALC 
    Reznichenko, V.A.; Chystiakova, I.S. (Проблеми програмування, 2022)
    Description logics are widely used to describe and represent knowledge in the Semantic Web. This is a modern and powerful mechanism that provides the possibility of extracting knowledge from already existing ones. Thanks ...
  • Technological trends & software engineering education: a systematic review study 
    Nesterenko, O.V. (Проблеми програмування, 2022)
    The quality of software engineering education is influenced by the consideration of modern industrial trends, IT trends and software development methodologies. The transition to a new level of industry - “Industry 4.0”, ...
  • TermWare-3 – система переписування термів, заснована на контекстному численні 
    Шевченко, Р.С.; Дорошенко, А.Ю. (Проблеми програмування, 2019)
    У статті описується конструкція системи переписування термів TermWare-3, що побудована на основі рефлексивного числення контекстних термів, коли структура терму включає до себе, окрім дерева, ще й внутрішній контекст та ...
  • Tete-A-Tete Project: software engineering tools supporting understanding 
    Hrytsay, V.P.; Zakhariya, L.M. (Проблеми програмування, 2012)
    Software Understanding is necessary and the most important condition of essential reducing of software development cost. In this paper Tete-A-Tete Project is described which offers a radical rethinking of Software Development ...
  • The concept and evaluating of big data quality in the semantic environment 
    Novitsky, A.V. (Проблеми програмування, 2022)
    Big data refers to large volumes, complex data sets with various autonomous sources, characterized by continuous growth. Data storage and data collection capabilities are now rapidly expanding in all fields of science and ...
  • The practical aspect of using the artificial intellectual technology for building a multidimentional function CFAR for smart-handled LPI radar 
    Kosovets, M.; Tovstenko, L. (Проблеми програмування, 2020)
    The problem of the development of modern mobile smart-handled LPI radars using artificial intelligence technologies, the main difference of which is the construction of the CFAR function, which takes into account the ...
  • The problem of developing the architecture of modern cognitive radar system 
    Коsovets, M.; Tovstenko, L. (Проблеми програмування, 2022)
    The problem of developing the architecture of modern cognitive radar systems using artificial intelligence technologies is considered. The main difference from traditional systems is the use of a trained neural network. The ...
  • Toward software artifacts ecosystem 
    Sydorov, N.A. (Проблеми програмування, 2020)
    In the process of developing and maintaining a software product, many things are created and used that are called software artefacts. Software artifacts are created, changed, reused, and change relationships in the development ...
  • Toward software engineering ecosystems definition 
    Sydorov, M.O. (Проблеми програмування, 2022)
    Nowadays, the fundamental science of software engineering is being formed. It should represent knowledge that meets the requirements of the concept of sustainable development. This fundamental science could be named as the ...
  • Traversal of arbitrary sequences of UCM symbolic transitions for test generation 
    Guba, A.A. (Проблеми програмування, 2014)
    The paper proposes a method of traversal of high-level multi-threaded models formalized in UCM language. The pros and cons of this approach comparing to the existing ones are considered. The method that allows state space ...
  • Two-level algorithms for Rannacher-Turek FEM 
    Georgiev, I.; Kraus, J.; Margenov, S. (2006)
    In this paper a multiplicative two-level preconditioning algorithm for second order elliptic boundary value problems is considered, where the discretization is done using Rannacher-Turek non-conforming rotated bilinear ...
  • «UFO-toolkit» – BI-инструментарий нового поколения 
    Маторин, С.И.; Попов, А.С. (2005)
    Рассмотрены системно-объективная методология УФО-моделирования, функциональные возможности BI-инструментария новой генерации – UFO-tookit, проведено сравнение с Bpwin, анализируются направления развития.
  • Use of metods of algebraic programming for the formal verification of legal acts 
    Peschanenko, V.; Poltorackiy, M. (Проблеми програмування, 2018)
    This article briefly describes the programmable tool for the analysis of a normative legal document. A mechanism for checking legal requirements is presented. The model of the legal document is proposed in the form of a ...
  • UWN: Універсальна онтологічна база знань укранської мови 
    Анісімов, А.В.; Марченко, О.О.; Никоненко, А.О. (Проблеми програмування, 2012)
    Дана стаття описує мету та основні задачі, які ставилися розробниками при створенні онтології UWN. Детально розглянуто архітектуру створеної системи, структуру збереження знань, механізми доступу до знань, внутрішню логіку ...
  • Voice quality assessment during voice transmission 
    Kleinová, K.; Bača, J.; Jakab, F.; Feciľak, P. (2008)
    Описано систему оценки качества голоса включая определение порога шума в течении передачи голоса различными сетевыми технологиями. Развитие передачи голоса интернет протоколом (VoIP) предпочитает решение проблем относящихся ...

Пошук


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

Перегляд

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