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

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

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

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

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

  • Numerical Complex Analysis Method for Parameters Identification of Anisotropic Media Using Applied Quasipotential Tomographic Data. Part 1: Problem Statement and its Approximation 
    Bomba, A.Ya.; Boichura, M.V. (Математичне та комп'ютерне моделювання. Серія: Фізико-математичні науки, 2018)
    The approach to the solving of gradient problems of parameters identification of quasiideal fields with using applied quasipotential tomographic data based on numerical complex analysis methods is transferred to cases of ...
  • Numerical Complex Analysis Method for Parameters Identification of Anisotropic Media Using Applied Quasipotential Tomographic Data. Part 2: Algorithm and Numerical Experiment 
    Bomba, A.Ya.; Boichura, M.V. (Математичне та комп'ютерне моделювання. Серія: Технічні науки, 2019)
    An algorithm, which lies in the sequential iterative applying of numerical quasiconformal mapping methods for constructing a series of dynamic meshes using different boundary conditions (that determined by experimental ...
  • Numerical simulation of dynamic object based on convolution operations 
    Sterten, Jo (Математичне та комп'ютерне моделювання. Серія: Технічні науки, 2016)
    A recursive digital filter construction method is considered for simulation of inertial element as a typical component of complex dynamic object. New computational formulas are obtained. Their high accuracy as compared to ...
  • N-version programming as an opportunity to exclude errors in software 
    Cespedes Garcia, P.D. (Математичні машини і системи, 2019)
    One of the methods for increasing computer system dependability level is the N-version programming method. Liming Chen and Algirdas Avizienis proposed this concept with the main hypothesis that «independent efforts in ...
  • n- исчисление – реалистичная формализация класса переписывающих систем 
    Шевченко, Р.С.; Дорошенко, А.Е. (2011)
    Предложен новый формализм типизированного η-исчисления в качестве теоретической основы для по-строения специальных классов систем программирования на основе переписывающих правил. Форма-лизм использует упорядоченные ...
  • O(1) delta part computation technique for the quadratic assignment problem 
    Podolsky, S.V.; Zorin, Yu.M. (Системні дослідження та інформаційні технології, 2015)
    The quadratic assignment problem is rightfully considered to be one of the most challenging problems of combinatorial optimization. Since this problem is NP-hard, the use of heuristic algorithms is the only way to find in ...
  • Observability Analysis of Spacecrafts’ Attitude Measurement Systems 
    Gubarev, V.F.; Diadenkо, O.N. (Кибернетика и вычислительная техника, 2016)
    В работе проведен анализ наблюдаемости наиболее распространенных бортовых измерительных приборов космических аппаратов, а именно — магнитометра, построителя местной вертикали, астродатчика и датчиков угловых скоростей. ...
  • Obtaining the Local Extremum in the Problem of Covering the Fields by the Circles of Variable Radius 
    Komyak, V.V.; Komyak, V.M.; Pankratov, A.V.; Prikhodko, A.Yu. (Управляющие системы и машины, 2016)
    The problem of covering the area of the variable radius circle is considered. The mathematical model of the coating is built. A new coverage criterion is offered, based on which the range of permissible solutions of the ...
  • Of some approaches to the personalized user interface organization in automated systems 
    Furtat, Yu.O.; Diachuk, O.A. (Математичне та комп'ютерне моделювання. Серія: Технічні науки, 2014)
    In modern automated systems, users are often facing the problem of information overload due to the ever increasing amounts of information to be processed in a short time. Working in these conditions affects the quality of ...
  • On a quasistability radius for multicriteria integer linear programming problem of finding extremum solutions 
    Emelichev, V.; Nikulin, Yu. (Кибернетика и системный анализ, 2019)
    We consider a multicriteria integer linear programming problem with a targeting set of optimal solutions given by the set of all individual criterion minimizers (extrema). In this study, the lower and upper attainable ...
  • On Biomedical Computations in Cluster and Cloud Environment 
    Bardadym, T.; Gorbachuk, V.; Novoselova, N.; Osypenko, S.; Skobtsov, V.; Tom, I. (Кібернетика та комп’ютерні технології, 2021)
    The experience of the use of applied containerized biomedical software tools in cloud environment is summarized. The reproducibility of scientific computing in relation to modern technologies of scientific calculations is ...
  • On decompilation of VLIW executable files 
    Jakub, K. (Проблеми програмування, 2015)
    Machine-code decompilation (i.e. reverse program compilation) is a process often used in reverse engineering. Its task is to transform a platform-specific executable file into a high-level language representation, which ...
  • One game problem for oscillatory systems 
    Chikrii, G.Ts.; Rastvorova, K.I. (Кібернетика та комп’ютерні технології, 2021)
    The paper concerns the linear differential game of approaching a cylindrical terminal set. We study the case when classic Pontryagin’s condition does not hold. Instead, the modified considerably weaker condition, dealing ...
  • One Numerical Complex Analysis Method for Parameters Identification of Piecewise Homogeneous Conductivity Media with Using Applied Quasipotential Tomographic Data 
    Bomba, A.Ya.; Boichura, M.V. (Математичне та комп'ютерне моделювання. Серія: Технічні науки, 2016)
    We propose one approach for gradient problems solving of parameters identification in piecewise homogeneous fields based on numerical complex analysis method with using applied quasipotential tomographic data.
  • One problem of torsion of piecewise homogeneous elastic bodies 
    Pylypiuk, T.M. (Математичне та комп'ютерне моделювання. Серія: Фізико-математичні науки, 2014)
    By means of method of hybrid integral transform of Legendre-Fourier-Fourier type integral representation of exact analytical solution of the problem of torsion of semi-bounded piecewise homogeneous elastic cylinder is obtained.
  • On evolution equations for marginal correlation operators 
    Gerasimenko, V.I.; Polishchuk, D.O. (Математичне та комп'ютерне моделювання. Серія: Фізико-математичні науки, 2011)
    This paper is devoted to the problem of the description of nonequilibrium correlations of quantum many-particle systems. A non-perturbative solution of the Cauchy problem of the nonlinear quantum BBGKY hierarchy for marginal ...
  • On GARCH(p,q) convergence 
    Carkovs, J.; Gutmanis, N. (2007)
    The paper deals with symmetric GARCH(p,q) model. Assuming that there exists defined by this model stationary time series, we have proposed the necessary and sufficient condition for exponential mean square convergence of ...
  • Online Medical Data Stream Mining Based on Adaptive Neuro-Fuzzy Approaches 
    Perova, I.G.; Bodyanskiy, Ye.V. (Кибернетика и вычислительная техника, 2019)
    The purpose of the paper is to develop approach, based on adaptive neuro-fuzzy systems to solve the tasks of medical data stream mining in online-mode. Results. As a result, approbation of the developed approach in supervised ...
  • On-line контроль параметров судовой энергетической установки 
    Варбанец, Р.А.; Ивановский, В.Г.; Кучеренко, Ю.Н.; Логишев, И.В. (Штучний інтелект, 2011)
    В статье рассматривается проблема определения в эксплуатации и удаленного контроля основных энергетических параметров судовой дизельной энергетической установки (СЭУ). Предложены двухпараметрические зависимости для ...
  • On Method Concept for Safety Culture Assessment with Application of Inductive Learning Algorithms 
    Begun, V.V.; Lytvynov, V.V.; Begun, S.V. (Управляющие системы и машины, 2014)
    Предложен новый универсальный алгоритм расчета уровня культуры безопасности, применяемый для анализа состояния безопасности потенциально опасного объекта. Использован метод группового учета аргументов. Описана процедура ...

Пошук


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

Перегляд

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