Отделы
- методы разомкнутого управления и управления с обратной связью;
- методы параметрической идентификации, в том числе систем с распределенными параметрами ;
- стохастическое моделирование и анализ качества систем управления;
- проектирование систем управления на основе метода прогностического управления;
- математическое и компьютерное моделирование технологических процессов на основе законов тепло- и массопереноса (энергетика, металлургия, коксохимия,).
- техническая диагностика;
- генетические алгоритмы;
- генетическое программирование;
- применение генетических алгоритмов в технической диагностике.
- теории автоматов, алгоритмов;
- формальных языков;
- математическая логика;
- математические методы защиты информации;
- криптография;
- кусочно-непрерывные динамические системы
- математическое моделирование;
- обратные задачи;
- теория управления;
- индустриальная математика;
- моделирование непрерывной разливки металла
- дискретная математика;
- теория графов;
- методы распознавания образов;
- нечеткая математика;
- нейросетевые технологии.
-
Д.Е. Иванов Генетический подход проверки эквивалентности последовательностных схемПри проектировании современных цифровых схем перед разработчиком часто возникает задача верификации эквивалентности двух схем, что связано с применением различных оптимизационных процедур. В данной статье предлагается алгоритм решения данной задачи, основанный на генетическом программировании. Приведены результаты экспериментов на схемах 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








