Відділи
- методи розімкненого управління і управління із зворотним зв'язком;
- методи параметричної ідентифікації, у тому числі систем з розподіленими параметрами ;
- стохастичне моделювання і аналіз якості систем управління;
- проектування систем управління на основі методу прогностичного управління;
- математичне і комп'ютерне моделювання технологічних процесів на основі законів тепло- і масопереносу (енергетика, металургія, коксохімія).
- технічна діагностик;
- генетичні алгоритми;
- генетичне програмування;
- застосування генетичних алгоритмів у технічній діагностиці.
- теории автоматов;
- теории алгоритмов;
- логіка;
- алгебра;
- формальных языков;
- математическая логика;
- математические методы защиты информации;
- криптография;
- кусочно-непрерывные динамические системы
- математичне моделювання;
- обернені задачі;
- теорія керування;
- індустріальна математика;
- моделювання безперервного розливання металу
- дискретна математика;
- теория графів;
- методи розпізнавання образів;
- нейромережеві технологіі.
-
Д.Е. Иванов Генетический подход проверки эквивалентности последовательностных схемПід час проектування сучасних цифрових пристроїв перед розробником часто постає проблема верифікації еквівалентності двох схем Це пов’язано, перед усім, із використанням різноманітних оптимізуючих процедур. В даній статі запропоновано алгоритм рішення такої задачі, заснований на генетичному програмуванні. Наведено результати машинних експериментів на схемах ISCAS-89, що доводять ефективність запропонованого підходу.
Скачати у форматі PDF -
Д.Е. Иванов Параллельный генетический алгоритм верификации эквивалентности цифровых схем для двухядерных системВерификация эквивалентности цифровых схем – одна из центральных задач технической диагностики. В статье предлагается модификация предложенного авторами ранее алгоритма верификации для двухядерных систем. Параллельная версия алгоритма позволяет существенно увеличить загрузку ядер процессора и, следовательно, повысить скорость работы. Проведенные эксперименты показывают ускорение работы в среднем в 1.87 раза для контрольных схем из каталога ISCAS-89.
Скачати у форматі PDF -
Skobtsov Y.A., El-Khatib A.I., Ivanov D.E. Distributed Fault Simulation and Genetic Test Generation of Digital CircuitsFault 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 -
D.E. Ivanov Parallele Fault Simulation on multi-core ProcessorsВ статті пропонується алгоритм моделювання цифрових схем з пошкодженнями, який розраховано на використання в обчислювальних системах з багатоядерними процесорами. Даний алгоритм є адаптацією для багатоядерних систем розподіленого алгоритму моделювання цифрових схем з пошкодженнями, який було запропоновано авторами раніше. Даний алгоритм використовує багатопотокове виконання. Алгоритм базується на вже відомому підході “хазяїн-працівник”, при якому один виконавчий потік призначається головним та слідкує за розподіленням обчислень по ядрах процесору. Для підвищення коефіцієнтів завантаження ядер процесору ми використовуємо схему з розбиванням списку пошкоджень. Обчислювальні експерименти, що були проведені, показують збільшення коефіцієнту прискорення процесу моделювання до 3,44 разів на системах з чотириядерним процесором.
Ключові слова: цифрова схема, послідовністна схема, моделювання з пошкодженнями, паралельне моделювання, багатоядерний процесор, виконавчий потік.
Скачати у форматі PDF -
В.Н. Ткаченко, А.А. Иванова Моделирование и анализ теплового поля непрерывного слитка криволинейной машины непрерывного литья заготовок // Электронное моделирование. – 2008. – Т.30, – №3. – С.87-103Скачати у форматі PDF
XI Международная научная конференция им. Т.А.Таран
ИАИ-2011
Киев, 17 - 20 мая 2011 г.
Международная научно-технической конференции "Системный анализ и информационные технологии" SAIT 2011. sait.kpi.ua.
с 1 февраля по 4 марта 2011 года проходит прием тезисов докладов.
23-28 мая 2011, г. Киев, Украина
Тематика конференции
- Системный анализ сложных систем разной природы.
- Интеллектуальные системы принятия решений.
- Грид-технологии в науке и образовании.
- Прогрессивные информационные технологии.
- Академические программы: партнерство науки и бизнеса.
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








