Національна академія наук України
Інститут прикладної математики і механіки
 
 
 
 

Відділи

Відділ теорії керуючих систем та лабораторія дискретної математики та прикладної алгебри
  • методи розімкненого управління і управління із зворотним зв'язком;
  • методи параметричної ідентифікації, у тому числі систем з розподіленими параметрами ;
  • стохастичне моделювання і аналіз якості систем управління;
  • проектування систем управління на основі методу прогностичного управління;
  • математичне і комп'ютерне моделювання технологічних процесів на основі законів тепло- і масопереносу (енергетика, металургія, коксохімія).
  • технічна діагностик;
  • генетичні алгоритми;
  • генетичне програмування;
  • застосування генетичних алгоритмів у технічній діагностиці.
  • теории автоматов;
  • теории алгоритмов;
  • логіка;
  • алгебра;
  • формальных языков;
  • математическая логика;
  • математические методы защиты информации;
  • криптография;
  • кусочно-непрерывные динамические системы
  • математичне моделювання;
  • обернені задачі;
  • теорія керування;
  • індустріальна математика;
  • моделювання безперервного розливання металу
  • дискретна математика;
  • теория графів;
  • методи розпізнавання образів;
  • нейромережеві технологіі.
Валерій Миколайович Tкаченко
Валерій Миколайович Tкаченко
д.т.н., професор, завідувач відділом теорії управляючих систем
Детальніше
 
Іванов Дмитро Євгенійович
Іванов Дмитро Євгенійович
к.т.н., доцент, старший науковий співробітник відділу теорії керуючих систем
Детальніше
 
Скобцов Вадим Юрійович
Скобцов Вадим Юрійович
Завідувач лабораторії дискретної математики і прикладної алгебри, кандидат технічних наук, доцент
Детальніше
 
Курганский Алексей Николаевич
 
Іванова Ганна Олександрівна
Іванова Ганна Олександрівна
Молодший науковий співробітник відділу теорії керуючих систем
Детальніше
 
Максимова Олександра Юрiївна
Максимова Олександра Юрiївна
інженер I категорії, асп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