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

Відділи

Відділ теорії керуючих систем та лабораторія дискретної математики та прикладної алгебри
  • методи розімкненого управління і управління із зворотним зв'язком;
  • методи параметричної ідентифікації, у тому числі систем з розподіленими параметрами ;
  • стохастичне моделювання і аналіз якості систем управління;
  • проектування систем управління на основі методу прогностичного управління;
  • математичне і комп'ютерне моделювання технологічних процесів на основі законів тепло- і масопереносу (енергетика, металургія, коксохімія).
  • діагностика дискретних апаратних та програмних систем;
  • еволюційні обчислення і алгоритми та їх застосування в задачах діагностики дискретних систем і задачах обробки та розпізнавання зображень, зокрема, медичних зображень;
  • розробка та дослідження гемодинамічних моделей судинної системи людини та їх візуалізація;
  • теорія автоматів;
  • теорія алгоритмів і формальних мов;
  • дослідження автоматоподібних систем та їх застосування;
  • математична логіка;
  • алгебра;
  • формальных языков;
  • математическая логика;
  • математические методы защиты информации;
  • криптография;
  • кусочно-непрерывные динамические системы
  • математичне моделювання;
  • обернені задачі;
  • теорія керування;
  • індустріальна математика;
  • моделювання безперервного розливання металу
  • дискретна математика;
  • теория графів;
  • методи розпізнавання образів;
  • нейромережеві технологіі.
Валерій Миколайович 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

2012

XX международная научно-техническая конференция
«ПРИКЛАДНЫЕ ЗАДАЧИ МАТЕМАТИКИ И МЕХАНИКИ, «ПЗММ – 2012»
10-14 сентября 2012 г. г.Севастополь
  • 10 июня - последний день приема докладов;
  • Информационное письмо: Загрузить


МОДС '2012
СЕДЬМАЯ МЕЖДУНАРОДНАЯ НАУЧНО-ПРАКТИЧЕСКАЯ КОНФЕРЕНЦИЯ
"Математическое и имитационное моделирование систем."
Украина, г. Чернигов – Жукин 25-28 июня 2012 г.
  • 01 июня - последний день приема тезисов докладов и заявок на участие в конференции;
  • 10 июня - перечисление оплаты за участие в конференции;
  • 25 июня - прибытие участников, регистрация и пленарное заседание;
  • 26 июня - работа в секциях, прогулка по р. Десна;
  • 27 июня - пленарное заседание, экскурсии по историческим местам Черниговщины;
  • 28 июня - переезд участников в с. Жукин для проведения заседаний спец. секции «Управление технологическими процессами на основе встроенных моделей»
  • Информационное письмо: Загрузить


КИИ-2012
Россия, г. Белгород 16-20 октября 2012 г.
  • Предоставление материалов: 30.05.2012 г.
  • Первое информационное письмо: Загрузить


АВТОМАТИЧЕСКИЙ КОНТРОЛЬ И АВТОМАТИЗАЦИЯ ПРОИЗВОДСТВЕНЫХ ПРОЦЕССОВ -2012
Республика Беларусь, г. Минск 17-18 мая 2012 г.
  • Предоставление материалов: 15.04.2012 г.
  • Информационное писмьо: Загрузить


CAIM 2012
THE 20th CONFERENCE ON APPLIED AND INDUSTRIAL MATHEMATICS,
Dedicated to Academician Mitrofan M. Cioban 
          Chisinau, Republic of Moldova, August 22-25, 2012 
  • Registration deadline: July 01, 2012


Информационно-управляющие системы и компьютерный мониторинг – 2012
Международная научно-техническая конференция студентов, аспирантов и молодых учёных ИУСКМ -2012
          Донецк, 16 - 18 апреля 2012 г.
  • до 23 марта 2012 года - приём заявок на участие с докладом и текстов докладов для рецензирования;


Архив 2011

Интеллектуальный анализ информации
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