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

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

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

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

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

  • Javachecker: статический анализ программных комплексов с помощью переписывающих правил 
    Шевченко, Р. (2004)
    У роботі описано один із підходів до аналізу програмних комплексів, що грунтується на методех символьної обробки інформації. Особливістю підходу є застосування формального аналізу не до обчислювальної семантики програмних ...
  • KAIRYO-KAIZEN- И PCM-DM-системы: сравнительный анализ. Часть 2 
    Севастьянов, А.К. (Системні дослідження та інформаційні технології, 2013)
    Рассматривается системный подход к анализу PCM-DM- систем на примере импульсно-кодовой модуляции, дельта- модуляции, полномерно-разностного кодирования. Проведён анализ PCM-DM-систем на примере системного подхода в сфере ...
  • KAIRYO-KAIZEN- и PCM-DM–системы: сравнительный анализ. Часть I 
    Севастьянов, А.К. (Системні дослідження та інформаційні технології, 2013)
    В этой части статьи рассмотрен системный подход к анализу KAIRYOKAIZEN-систем. KAIRYO-система — это система улучшений, которую японцы используют как более близкую к западной культуре систему улучшений KAIRYO или KAIKAKU. ...
  • Knowledge based approach to traceability and maintenance of requirements for information systems 
    Tkachuk, M.; Sokol, V.; Godlevsky, M.; Mayr, H.C. (2004)
    Стаття презентує оріентований на обробку знань підхід до аналізу та управління вимогами щодо інформаційних систем , який інтегрує в собі концепції, розроблені в різних предметних областях, а саме: в системах підтримки ...
  • Knowledge based design of convergent systems of situational management 
    Kovalenko, O.E. (Математичні машини і системи, 2019)
    The process of situational management can be considered as a chain of increasing the value of information, and the situational decision is essentially an information product. The paper discussed an approach based on knowledge ...
  • Learning Maximal Margin Markov Networks via Tractable Convex Optimization 
    Franc, V.; Laskov, P. (Управляющие системы и машины, 2011)
    Показано, что обучение марковской сети общего вида может быть представлено в виде задачи выпуклой оптимизации. Основная идея метода заключается в использовании LP-релаксации (max,+)-задачи непосредственно при формулировании ...
  • Learning Task Models in the Context of Education for Sustainable Development 
    Grytsenko, V.I.; Kudriavtseva, S.P.; Synytsya, K.M. (Control systems & computers, 2020)
    Purpose. To study how the ideas of sustainable development can be incorporated into the learning content and the instructional process by integrating digital didactics methods, knowledge structuring, and digital technologies. ...
  • Linguistic Approach for Estimation of Electrocardiograms’s Subtle Changes Based on the Levenstein Distance 
    Fainzilberg, L.S.; Dykach, Ju.R. (Кибернетика и вычислительная техника, 2019)
    The purpose of the article is to develop algorithmic and software components to solve this problem and conduct experimental studies on model and real data. Methods. ECG of certain groups was automatically encoded, Levenshtein ...
  • l₁-Optimization Approach to Design of Digital Autopilots for Lateral Motion Control of an Aircraft 
    Zhiteckii, L.S.; Pilchevsky, A.Yu.; Solovchuk, K.Yu. (Кибернетика и вычислительная техника, 2016)
    В рамках современной теории управления поставлена и решена задача так называемой l₁-оптимизации цифровых П- и ПИ-автопилотов для управления боковым движением некоторого летательного аппарата при наличии неконтролируемых ...
  • Low-power architecture for CIL-code hardware processor 
    Chapyzhenka, A.; Ragozin, D.; Umnov, A. (2005)
    In the article the authors present the architecture of a hardware CIL processor, which is capable to execute CIL instructions as native code. The CIL hardware engine is implemented on the top of the low-power DSP architecture, ...
  • LSF-вокодер на основі векторного квантування 
    Ткаченко, О.М.; Біліченко, Н.О.; Феферман, О.Д.; Хрущак, С.В. (Реєстрація, зберігання і обробка даних, 2007)
    Досліджено модель LSF-вокодера з векторним квантуванням параметрів. Порівняно різні способи розбиття вектора LSF на підвектори, для чого використано міри спектрального спотворення кодованого сигналу.
  • Machine Learning approach for malware detection using executable files features extraction 
    Voranau, A.A.; Harakhavik, Y.V. (Штучний інтелект, 2018)
    A malicious software is generally an executable program which usually settles itself in the system, replicates by copying itself, and has a malicious effect. Modern antivirus systems detect malware by knowing its pattern ...
  • A machine learning approach to server-side anti-spam e-mail filtering 
    Mashechkin, I.; Petrovskiy, M.; Rozinkin, A.; Gerasimov, S. (2006)
    Spam-detection systems based on traditional methods have several obvious disadvantages like low detection rate, necessity of regular knowledge bases’ updates, impersonal filtering rules. New intelligent methods for spam ...
  • Management of the coordination process in socio-technical system 
    Girchenko, L.A.; Doroshenko, А.Yu.; Ziubrytska, Y.V. (Проблеми програмування, 2020)
    The article considers the theoretical principles of management of the coordination process in the socio-technical system; the base of corporate knowledge of the IT company is investigated; the problems of using the company's ...
  • Mapping business processes models from Petri nets into event-driven process chains 
    Zlatkin, S.; Kaschek, R. (2006)
    Business Process Reuse is an important phase in the Business Process life-cycle that for some reason has not attracted enough attention. To support the reuse phase we are building a software infrastructure called the ...
  • Mapping of the descriptive logic into RDF using binary relational data model 
    Chystiakova, I.S. (Проблеми програмування, 2021)
    This paper is dedicated to the data integration problem. To establish relationships between data models is one of the key tasks in this solution. The descriptive logic and the relational data model are at the heart of a ...
  • Matching Based Multistyle License Plate Recognition 
    Kyyko, V.M. (Cybernetics and computer engineering, 2020)
    New algorithms for multinational license plate learning and recognition from images are proposed. Localization of LP in images is based on LP frame detection using a randomized Hough transform to detect horizontal contour ...
  • Mathematical and Computer Modeling of Soil Contamination in Halych District Based on the Theory of Neural Networks 
    Horbiychuk, M.I.; Khrabatyn, R.І.; Bandura, V.V.; Pasyeka, N.C.; Samaniv, L.V. (Управляющие системы и машины, 2015)
    The mathematical modeling method of the soil contamination based on the neural networks theory is developed. The method was tested based on the facts received during the geochemical research of the Halych district ...
  • Mathematical foundations for designing and development of intelligent systems of information analysis 
    Terletskyi, D.O.; Provotar, O.I. (Проблеми програмування, 2014)
    This article is an attempt to combine different ways of working with sets of objects and their classes for designing and development of artificial intelligent systems (AIS) of analysis information, using object-oriented ...
  • Mathematical Modeling of DNA Damages in Irradiated Cells at Different Oxygenation Degrees 
    Bondarenko, M.A.; Knigavko, V.G.; Zaytseva, O.V.; Rukin, A.S. (Кибернетика и вычислительная техника, 2019)
    The purpose of the paper is to develop a mathematical model of DNA damage in irradiated cells at different degrees of their oxygenation; to study the dependence of the number of radiation damages of DNA per unit volume of ...

Пошук


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

Перегляд

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