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

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

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

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

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

  • Application of predicate logic for failure detection in SCADA systems 
    Alekseyev, M.; Udovyk, I.; Syrotkina, O. (Штучний інтелект, 2017)
    We consider the task of failure detection and localization. It is based on the analysis of the information flow state change in the system. We suggest a structural and logical model to describe SCADA of any topology. It ...
  • Application of Semantic Modeling to Formalized Knowledge Assessment Based on Open Encyclopedic Resources 
    Gladun, A.Ya.; Rogushina, Yu.V.; Khala, K.O. (Control systems & computers, 2020)
    It is suggested to use semantically markup open encyclopedic resources as a source of knowledge for validation of distance learning outcomes. Evaluation of the results of distance learning is based on the creation of a ...
  • Application of the volume learning algorithm artificial neural networks for recognition of the type of interaction between neurons from their cross-correlation histograms 
    Kovalishyn, V.V.; Tetko, I.V. (2005)
    An algorithm based on two types artificial neural networks (ANNs) is proposed. The first network is an associative ANN while the second network is a Self-Organizing Map of Kohonen. The results for a test set are similar ...
  • A process for consistent and informed assessment of software reliability over its life cycle 
    Slabospitсkaya, О.O. (Математичні машини і системи, 2010)
    The software process is improved with a new process of unified, informed and consistent software reliability predicting/assessing over software life cycle. It is represented with both the ratio of faults and Function Points ...
  • APS C++ User's Library 
    Letichevsky, A.; Letichevsky, A.Jr.; Peschanenko, V. (2008)
    The general information about the APS algebraic programming system (terms rewriting system) is briefly described in the present article. It is justified practical necessity of creation of APS C++ User’s Library, its ...
  • Architectural design of E1 distributed operating system 
    Ryzhyk, L.B.; Burtsev, A.Y. (2005)
    Запропоновано архітектуру розподіленої операційної системи, засновану на концепції реплікації розподілених об’єктів. В кожному вузлі, де використовується розподілений об’єкт, розміщується повна або часткова копія його ...
  • A realization of the uncertainty uniformity principle in a grouting model 
    Demchuk, M.; Saiyouri, N. (Математичне та комп'ютерне моделювання. Серія: Фізико-математичні науки, 2012)
    A method of a realization of the uncertainty uniformity principle in grouting model calculations is described.
  • A removing uncertainty framework for approximating the probabilistic distribution over abrasive-adhesive-diffusive wear evaluation models off most-precautious distribution pattern 
    Romanuke, V.V.; Kovalchuk, S.S. (Математичне та комп'ютерне моделювання. Серія: Технічні науки, 2012)
    There are considered single-parameter output models of tool wear evaluation, grounded on abrasion, adhesion, and diffusion phe-nomena. A mathematical framework of removing such three-model uncertainty, using the ...
  • A resource limited parallel program model 
    Rahozin, D.V. (Проблеми програмування, 2019)
    Modern parallel programs run in a complex, resource-limited environment, and this raises the new requirements for resource consumption and execution stability of long running processes. In order to help with checking ...
  • Artificial intelligence methods in diagnostics of coal-biomass blends co-combustion in pulverised coal burners 
    Smolarz, A.; Lytvynenko, V.I.; Wójcik, W.; Gromaszek, K. (Штучний інтелект, 2017)
    The paper presents technologies being developed in the Institute of Electronics and Information Technologies at Lublin University of Technology. They use optical sensors and artificial intelligence methods for process ...
  • A signal regularity-based automated seizure prediction algorithm using long-term scalp EEG recordings 
    Jui-Hong, Ch.; Deng-Shan, Sh.; Halford, J.J.; Kelly, K.M.; Kern, R.T.; Yang, M.C.K.; Jicong, Zh.; Sackellares, J.Ch.; Pardalos, P.M. (Кибернетика и системный анализ, 2011)
    The purpose of this study was to evaluate a signal regularity-based automated seizure prediction algorithm for scalp EEG. Signal regularity was quantified using the Pattern Match Regularity Statistic (PMRS), a statistical ...
  • A Simple Minimization Method of the Variables Number in Complete and Incomplete Logic Functions. Part 2 
    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 ...
  • A Simple Numeric Set-Theoretical Method of the Logic Differential Calculus 
    Rytsar, B.Ye. (Управляющие системы и машины, 2016)
    Предложен новый метод логического дифференциального исчисления на основании числового теоретико-множественного подхода к определению разных типов логических производных произвольного порядка от булевой функции. Алгоритм ...
  • Associative memory approach to modeling stock market trading patterns 
    Makarenko, A.; Levkov, S.; Solia, V. (2007)
    The proposed research intends to use the ideas of stochastic Theory of Social Imitation (W. Weidlich, E. Calen and D. Shapiro, T. Vaga ), and of the associative memory approach to modeling the dynamical structure of ...
  • A stochastic smoothing method for nonsmooth global optimization 
    Norkin, V.I. (Кібернетика та комп’ютерні технології, 2020)
    The paper presents the results of testing the stochastic smoothing method for global optimization of a multiextremal function in a convex feasible subset of the Euclidean space. Preliminarily, the objective function is ...
  • Asymptotic Dissipativity of Lorenz model with Markov Switching for the City Development 
    Kinash, A.V.; Khimka, U.T. (Математичне та комп'ютерне моделювання. Серія: Фізико-математичні науки, 2016)
    In the work activity of the city system, described by generalized Lorentz model, is considered. It is assumed the existence of external influence on the land rate change in the city that is described by diffusive term and ...
  • Automatic feedback control for one class of contact piezoelectric problems 
    Zgurovsky, M.Z.; Kasyanov, P.O.; Paliichuk, L.S. (Системні дослідження та інформаційні технології, 2014)
    In this paper we investigate the dynamics of solutions of the second order evolution inclusion with discontinuous interaction function which can be represented as the difference of subdifferentials. This case is actual for ...
  • Automatic generation of semantic knowledge networks from an unstructured text 
    Savchenko, M.N.; Kriachok, A.S. (Управляющие системы и машины, 2018)
    A method and an algorithm for the semantic knowledge network automated construction created from the most informative concepts in the electronic texts are proposed. Аn analysis and comparison of existing methods with their ...
  • Automatic Speech Recognition For Ukrainian Broadcast Media Transcribing 
    Sazhok, M.M.; Seliukh, R.A.; Fedoryn, D.Ya.; Yukhymenko, O.A.; Robeiko, V.V. (Control systems & computers, 2019)
    A set of speech recognition techniques that allow for Ukrainian broadcast monitoring are covered: speech-to-text conversion; speaker diarization and recognition; text perception enhancement; multilingual aspects. The ...
  • Bilinear approximation of kernels of Volterra equation of the second kind 
    Verlan, D.A. (Математичне та комп'ютерне моделювання. Серія: Технічні науки, 2012)
    Розглядається алгоритм апроксимації функцій двох змінний у вигляді білінійної ряду, а також їх застосування для розв'язання інтегральних рівнянь Вольтерри II-го роду методом вироджених ядер.

Пошук


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

Перегляд

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