Национальная академия наук Украины
Институт прикладной математики и механики
 
 
 
 

Отделы

Отдел теории управляющих систем
  • методы разомкнутого управления и управления с обратной связью;
  • методы параметрической идентификации, в том числе систем с распределенными параметрами ;
  • стохастическое моделирование и анализ качества систем управления;
  • проектирование систем управления на основе метода прогностического управления;
  • математическое и компьютерное моделирование технологических процессов на основе законов тепло- и массопереноса (энергетика, металлургия, коксохимия,).
  • техническая диагностика;
  • генетические алгоритмы;
  • генетическое программирование;
  • применение генетических алгоритмов в технической диагностике.
  • теории автоматов, алгоритмов;
  • формальных языков;
  • математическая логика;
  • математические методы защиты информации;
  • криптография;
  • кусочно-непрерывные динамические системы
  • математическое моделирование;
  • обратные задачи;
  • теория управления;
  • индустриальная математика;
  • моделирование непрерывной разливки металла
  • дискретная математика;
  • теория графов;
  • методы распознавания образов;
  • нечеткая математика;
  • нейросетевые технологии.
Валерий Николаевич Tкаченко
Валерий Николаевич Tкаченко
д.т.н., профессор, заведующий отделом теории управляющих систем,
Подробнее
 
Иванов Дмитрий Евгениевич
Иванов Дмитрий Евгениевич
к.т.н., доцент, старший научный сотрудник, отдел Теории управляющих систем
Подробнее
 
Скобцов Вадим Юрьевич
Скобцов Вадим Юрьевич
Заведующий лабораторией дискретной математики и прикладной алгебры
Подробнее
 
Курганский Алексей Николаевич
 
Иванова Анна Александровна
Иванова Анна Александровна
Младший научный сотрудник отдела теории управляющих систем
Подробнее
 
Максимова Александра Юрьевна
Максимова Александра Юрьевна
инженер I категории, аспирант
Подробнее
 
Сапунов Сергей Валерьевич
Сапунов Сергей Валерьевич
к.ф.-м.н., научный сотрудник, отдел Теории управляющих систем
Подробнее
 


  1. Д.Е. Иванов
     
    Генетический подход проверки эквивалентности последовательностных схем
     
    При проектировании современных цифровых схем перед разработчиком часто возникает задача верификации эквивалентности двух схем, что связано с применением различных оптимизационных процедур. В данной статье предлагается алгоритм решения данной задачи, основанный на генетическом программировании. Приведены результаты экспериментов на схемах ISCAS-89, показывающие эффективность предложенного подхода.
     
    Скачать в формате PDF
  2. Д.Е. Иванов
     
    Параллельный генетический алгоритм верификации эквивалентности цифровых схем для двухядерных систем
     
    Верификация эквивалентности цифровых схем – одна из центральных задач технической диагностики. В статье предлагается модификация предложенного авторами ранее алгоритма верификации для двухядерных систем. Параллельная версия алгоритма позволяет существенно увеличить загрузку ядер процессора и, следовательно, повысить скорость работы. Проведенные эксперименты показывают ускорение работы в среднем в 1.87 раза для контрольных схем из каталога ISCAS-89.
     
    Скачать в формате PDF
  3. Skobtsov Y.A., El-Khatib A.I., Ivanov D.E.
     
    Distributed Fault Simulation and Genetic Test Generation of Digital Circuits
     
    Fault simulation is on of the most highly compute-intensive task in the technical diagnostics. One of the ways to speed-up this process is a parallelization on the calculation cluster. In this paper a distributed algorithm for fault simulation of digital circuits is presented. It is based on the well-known «master-slave» approach in which one processor is nominating as a master and rules all calculation on the all slave’s processors. To reach the maximal utilization of the processors in the cluster it is used schema with static fault list partitioning.
     
    Скачать в формате PDF
  4. D.E. Ivanov
     
    Parallele Fault Simulation on multi-core Processors
     
    В статье предлагается алгоритм моделирования цифровых схем с неисправностями, который рассчитан на использование на рабочих станциях с многоядерными процессорами. Данный алгоритм является адаптацией для многоядерных систем ранее предложенного авторами распределённого алгоритма моделирования цифровых схем с неисправностями. Предлагаемый алгоритм использует многопоточное исполнение. Алгоритм основан на ранее описанном подходе «хозяин-рабочий», при котором один исполнительный поток назначается в качестве основного и контролирует распределение вычислений по ядрам процессора. Для повышения загрузки вычислительных ядер процессора мы используем схему моделирования с разбиением списка неисправностей. Проведенные машинные эксперименты показывают коэффициент ускорения времени процесса моделирования до 3,44 раз для систем с четырёхядерным процессором.
    Ключевые слова: цифровая схема, последовательностная схема, моделирование с неисправностями, параллельное моделирование, многоядерный процессор, вычислительный поток.



     
    Скачать в формате PDF
  5. В.Н. Ткаченко, А.А. Иванова
     
    Моделирование и анализ теплового поля непрерывного слитка криволинейной машины непрерывного литья заготовок // Электронное моделирование. – 2008. – Т.30, – №3. – С.87-103
     
    Скачать в формате PDF
Интеллектуальный анализ информации
XI Международная научная конференция им. Т.А.Таран
                   ИАИ-2011
          Киев, 17 - 20 мая 2011 г.
  • до 07 марта 2011 года - приём заявок на участие с докладом и текстов докладов для рецензирования; 
  • до 28 марта 2011 года - извещение авторов о решении Программного комитета, получение заявок на участие без доклада;
  • до 11 апреля 2011 года - оплата оргвзноса;

  • Международная научно-технической конференции "Системный анализ и информационные технологии" SAIT 2011. sait.kpi.ua.
    с 1 февраля по 4 марта 2011 года проходит прием тезисов докладов.

     23-28 мая 2011, г. Киев, Украина

    Тематика конференции

    1. Системный анализ сложных систем разной природы.
    2. Интеллектуальные системы принятия решений.
    3. Грид-технологии в науке и образовании.
    4. Прогрессивные информационные технологии.
    5. Академические программы: партнерство науки и бизнеса.


    ECMS 2011 : 25th EUROPEAN CONFERENCE ON MODELLING AND SIMULATION
    Jun 7, 2011 - Jun 10, 2011
    Krakow, Poland
    Submission Deadline     Feb 11, 2011
    http://www.scs-europe.net/conf/ecms2011/



    Международная конференция "MicroCAD-2011", секция "Информатика и моделирование"
    19 мая 2011 г.   21 мая 2011 г.,  Украина, Харьков (срок заявок: 15 февраля 2011 г.)
    http://www.pim.net.ua


    IX Международная конференция "Идентификация систем и задачи управления" SICPRO '12
    30 января - 2 февраля 2012 г.  Россия, Москва
    http://www.sicpro.org/sicpro12/


    2011 3rd International Conference on Computer Engineering and
    Technology (ICCET 2011)

    17-19 June 2011, Kuala Lumpur, Malaysia
    http://www.iccet.org/cfp.htm



    2011 4th IEEE International Conference on Computer Science and
    Information Technology (ICCSIT 2011)

    June 10 - 12, 2011, Chengdu, China
    http://www.iccsit.org/cfp.htm



    ***************************************************************************
     OR 2011 - International Conference on Operations Research
     Zurich, Switzerland, August 30 to September 2, 2011

     OR 2011 ABSTRACT SUBMISSION NOW OPEN
    ***************************************************************************

    TOPICS

    1. Continuous optimization and control
    2. Discrete optimization, graphs and networks
    3. Decision analysis, decision support
    4. Energy, environment and climate
    5. Financial modeling, risk management, banking
    6. Game theory, computational and experimental economics
    7. Health, life sciences, bioinformatics
    8. Location, logistics, transportation and traffic
    9. Metaheuristics and biologically inspired approaches
    10. Network industries and regulation
    11. OR in industry, software applications, modeling languages
    12. Production management, supply chain management
    13. Scheduling, time tabling and project management
    14. Stochastic programming, stochastic modeling and simulation
    15. Accounting and revenue management
    16. Forecasting, neural nets and fuzzy systems

    IMPORTANT DATES

    - Deadline abstract submission: April 30, 2011
    - Notification of acceptance: May 30, 2011
    - Opening submission of paper for proceedings: May 30, 2011
    - Deadline submission of paper for proceedings: June 30, 2011
     
    WEBSITE

    For further information, please visit the website:
    http://www.or2011.ch/


    ICCCI 2011

    3rd International Conference on Computational Collective Intelligence -
    Technologies and Applications


    21-23 September 2011, Gdynia, Poland

    http://iccci2011.am.gdynia.pl/


    The 11th International Conference on Pattern Recognition and Information Processing (PRIP'11)  that will be held in Minsk (Belarus) on May 18-20, 2011.

     Deadlines
    Submission Deadline                   February  1, 2011
    Notification of Acceptance            March  1, 2011
    Delivery of camera ready papers:      April 2, 2011

    The topics of the Conference include, but are not limited to:

    • - Pattern Recognition
    • - Image Analysis
    • - Signal Processing
    • - Systems and Parallel Architectures for Signal and Image
    • - Processing
    • - Knowledge - Based Expert and Decision Support System
    • - Application of Pattern Recognition and Image Analysis
    • - 3D Image Processing and Modeling

    Working language of the Conference: English.


    МЕЖДУНАРОДНАЯ НАУЧНАЯ КОНФЕРЕНЦИЯ
    "Современные проблемы математики и её приложения в естественных науках и информационных технологиях"
    ХАРЬКОВ, 17-22 апреля 2011 г.

    Основные даты:
    31 декабря 2010 - Регистрация участников (онлайн или по электронной почте)
    15 февраля 2011 - Прием тезисов докладов

    E-Mail:                 tarapov-conf@univer.kharkov.ua              
    Web-address:   http://tarapov-conf.univer.kharkov.ua