• methods of open-loop control and feedback control;

• methods of parameters identification including distributed parameter systems ;
• stochastic modeling and analysis of quality control systems;
• model based predictive control for control system design;
• mathematical and computer modelling of technological process based thermal and mass tranfer (energy, metallurgy, Coke chemistry).
• technical diagnostics;
• genetic algorithms;
• genetic programming;
• application of the genetic algorithms in technical diagnostics.
• automata theory;
• formal languages theory;
• graph theory;
• algorithm complexity;
• quantum computing;
• logic;
• cryptography.
• mathematical modeling;
• inverse problems;
• control theory;
• industrial mathematics;
• modeling of metal continuous casting
• discrete mathematics;
• graph theory;
• pattern recognition;
• fuzzy mathematics;
• neural networks technologies.

1. Д.Е. Иванов
    
   Генетический подход проверки эквивалентности последовательностных схем
    
   Under the life cycle of the development of the modern digital circuits a problem of verification of two circuits is arise. It is caused, for example, by using several optimization procedures. In this paper a genetic algorithm of solving this problem is proposed. Reported experimental results on the ISCAS-89 benchmarks confirm the efficient of the proposed algorithm.
   
    
   Download in PDF format
2. Д.Е. Иванов
    
   Параллельный генетический алгоритм верификации эквивалентности цифровых схем для двухядерных систем
    
   Верификация эквивалентности цифровых схем – одна из центральных задач технической диагностики. В статье предлагается модификация предложенного авторами ранее алгоритма верификации для двухядерных систем. Параллельная версия алгоритма позволяет существенно увеличить загрузку ядер процессора и, следовательно, повысить скорость работы. Проведенные эксперименты показывают ускорение работы в среднем в 1.87 раза для контрольных схем из каталога ISCAS-89.
   
    
   Download in PDF format
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.
   
    
   Download in PDF format
4. D.E. Ivanov
    
   Parallele Fault Simulation on multi-core Processors
    
   In this paper we propose a fault simulation algorithm that utilizes all cores in multi-core processors. We adapt for multi-core workstation our early proposed distributed fault simulation algorithm. Proposed algorithm uses multi thread execution. The algorithm is based on the well-known «master-slave» approach in which one thread is nominated as a master and controls the calculation on all the other cores of processor. To maximize utilization of the cores a scheme with static fault list partitioning is used. The speed-up coefficient of the simulation time obtained during machine experiments is up to 3.44 times on the quad core system.
   Key words: digital circuit, sequential circuit, fault simulation, parallel simulation, multi-core processor, execution thread.
   
   
   
   
    
   Download in PDF format
5. V.N. Tkachenko, A.A. Ivanova
    
   Modeling and Analysis of Temperature Field of Ingot of Curvilinear Continuous Casting Machine) // Электронное моделирование. – 2008. – Т.30, – №3. – С.87-103 (in russian)
    
   Download in PDF format

Intellectual Analysis Of Information

11th international scientific conference named after prof. T.A.Taran
                        IAI-2011
                Kyiv, May 17 - 20, 2011

March 7, 2011 - paper submission;

March 28, 2011 - notification of acceptance;

April 11, 2011 fee payment;

---

International Conference on System Analysis and Information Technologies SAIT 2011 sait.kpi.ua
From 01 February to 04 March 2011 submission tois open.

May 23 to 28, 2010, Kyiv, Ukraine

Topics of the conference

1. System analysis of complex systems of various nature.
2. Intelligent systems for decision-making.
3. Grid-technologies in science and education.
4. Progressive information technologies.
5. Academic programs: partnership of science and business.

---

 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.

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.