Программа шестая Международная научная конференция «танаевские чтения» 27-28 марта 2014 года, Минск м инск 2014 уважаемый коллега!


Скачать 219.24 Kb.
НазваниеПрограмма шестая Международная научная конференция «танаевские чтения» 27-28 марта 2014 года, Минск м инск 2014 уважаемый коллега!
Дата публикации14.09.2014
Размер219.24 Kb.
ТипПрограмма
referatdb.ru > Право > Программа


Национальная академия наук Беларуси

Объединенный институт проблем информатики

Институт математики
Белорусский государственный университет


ПРОГРАММА




Шестая Международная научная конференция



«ТАНАЕВСКИЕ ЧТЕНИЯ»


27–28 марта 2014 года, Минск

Минск 2014

УВАЖАЕМЫЙ КОЛЛЕГА!
Приглашаем Вас принять участие в работе Шестой Международной научной конференции «Танаевские чтения». Конференция проводится 27–28 марта 2014 г. в Объединенном институте проблем информатики Национальной академии наук Беларуси (ОИПИ НАН Беларуси).
Адрес: ул. Сурганова, 6, 220012, г. Минск, Республика Беларусь.
Проезд: от железнодорожного вокзала – метро до станции «Академия наук», выход – с «головы» поезда, в переходе – направо;

из аэропорта – на автобусе, маршрутном такси или такси до станции метро «Уручье», либо «Борисовский тракт», либо «Восток», далее – на метро до станции «Академия наук», выход – с «хвоста» поезда, в переходе – направо.
Регистрация участников конференции состоится в фойе ОИПИ НАН Беларуси 27 марта с 830 до 930 и с 1315 до 1415.

Регламент конференции:
1. Научные доклады – до 15 минут, включая дискуссию.

2. Пленарные доклады – до 35 минут.

3. Сопровождение докладов обеспечивается через проектор, управляемый компьютером.
По итогам конференции будет издан сборник научных докладов.

Контактная информация: (017) 284 21 25 Шафранский Яков Михайлович

shafr-04@yandex.ru

(017) 284 21 41 Гущинский Николай Николаевич

gyshin@newman.bas-net.by

(017) 284 09 85 Алюшкевич Виктор Бернардович

aliushkevich@newman.bas-net.by
^

ПРОГРАММНЫЙ КОМИТЕТ



Шафранский Я.М. – председатель, ОИПИ НАН Беларуси

Гущинский Н.Н. – зам. председателя, ОИПИ НАН Беларуси

Бибило П.Н. – ОИПИ НАН Беларуси

Dolgui A. – Ecole des Mines de Saint Etienne, France

^ Костюкова О.И. – Институт математики НАН Беларуси

Котов В.M. – Белорусский государственный университет

Ковалев М.Я. – ОИПИ НАН Беларуси

Лепин В.В. – Институт математики НАН Беларуси

^ Левин Г.М. – ОИПИ НАН Беларуси

Орлович Ю.Л. – Белорусский государственный университет

Писарук Н.Н. – Белорусский государственный университет

Розин Б.М. – ОИПИ НАН Беларуси

^ Shakhlevich N.V. – University of Leeds, UK

Сарванов В.И. – Институт математики НАН Беларуси

Сотсков Ю.Н. – ОИПИ НАН Беларуси

Strusevich V.A. – Greenwich University, UK

Тузиков А.В. – ОИПИ НАН Беларуси

^ ОРГАНИЗАЦИОННЫЙ КОМИТЕТ
Алюшкевич В.Б. – председатель, ОИПИ НАН Беларуси

Горох О.В. – зам. председателя, ОИПИ НАН Беларуси

Андреев Г.В. – ОИПИ НАН Беларуси

Артемьева О.Н. – ОИПИ НАН Беларуси

^ Баркетов М.С. – ОИПИ НАН Беларуси

Вербицкая Н.В. – ОИПИ НАН Беларуси

Зданович В.Е. – ОИПИ НАН Беларуси

Кравченко С.А. – ОИПИ НАН Беларуси

Рудая Н.А. – ОИПИ НАН Беларуси

Заседание 1

27 марта 930 – 1120

Актовый зал ОИПИ НАН Беларуси
^

Открытие конференции

Генеральный директор ОИПИ НАН Беларуси


д.ф.-м.н. Тузиков Александр Васильевич
Председатель заседания: д.ф.-м.н. Ковалев Михаил Яковлевич
1. Control theory application to supply chain scheduling problem solving (пленарный доклад)

D. Ivanov – Berlin School of Economics and Law, Germany

^ B. Sokolov – Saint Petersburg Institute for Informatics and Automation of the RAS; University ITMO, St. Petersburg, Russia

S. Potrysaev – Saint Petersburg Institute for Informatics and Automation of the RAS
We present a new model for optimal scheduling of a supply chain (SC) with multiple customers and suppliers. The formulation assumes that suppliers can dynamically allocate jobs and schedule their resources in a coordinated manner so that all the suppliers are equally utilized and jobs are accomplished without interruptions and scheduled subject to maximal customer service level and minimal delays. This problem is represented as a special case of the job shop scheduling problem with dynamically distributed jobs. The approach is based on a natural dynamic decomposition of the problem and its solution with the help of a modified form of continuous maximum principle blended with combinatorial optimization.
^ 2. Statistical models for global multi-objective optimization
(пленарный доклад)

A. Žilinskas – Institute of Mathematics and Informatics, Vilnius University, Lithuania
We focus on the problems where objective functions are "expensive" because of the complexity of the computational model; "expensiveness" here means long lasting computation of a value of the objective function. The complexity of the computational model normally implies not only the "expensiveness" of the objective function but also the uncertainty in its properties. "Black box" optimization of "expensive" functions with many respects is quite opposite to the optimization of objective functions defined by analytical formulae. The limitation in collecting general information about the function, and particulary about its minima, strongly requires the rationality in distribution the points where to compute the objective function values. Therefore the algorithms justified by the principles of rational decision theory here are of especial interest.

^ 3. Памяти член-корреспондента НАН Беларуси Аркадия Дмитриевича Закревского

П. Бибило, Л. Черемисинова – ОИПИ НАН Беларуси, Минск
24 февраля 2014 года ушел из жизни Аркадий Дмитриевич Закревский – член-корреспондент НАН Беларуси, академик Международной академии информации, информационных процессов и технологий, доктор технических наук, профессор, главный научный сотрудник Объединенного института проблем информатики НАН Беларуси.
1120–1150 – перерыв (кофе)
Заседание 2

27 марта 1150 – 1250

Актовый зал ОИПИ НАН Беларуси
Председатель заседания: к.ф.-м.н. Шафранский Яков Михайлович
^ 2. Компьютерное доказательство теорем для задачи оптимизации передачи данных в линейных оптических сетях

А. Кононов, П. Кононова – Институт математики им. С.Л. Соболева Сибирского отделения РАН; Новосибирский государственный университет, Россия
Рассматриваются задачи минимизации длины расписания, в которых работы должны быть выполнены на заданном множестве последовательных машин. Предлагается общая схема, позволяющая установить локализацию оптимума в терминах нижней оценки и построить приближенные алгоритмы с гарантированной оценкой точности.
3. Модель и синтез стратегий обслуживания стационарных объектов перемещающимся в одномерной зоне процессором
^

Н. Дуничкина, Ю. Федосенко Волжская государственная академия водного транспорта, Нижний Новгород, Россия

Д. Коган, А. Пушкин – Московский государственный университет приборостроения и информатики, Россия



Рассматривается система, в которой реализующий обслуживание стационарных объектов процессор выполняет в пределах одномерной рабочей зоны два рейса – прямой и обратный. Часть объектов обслуживается в прямом рейсе, остальные – в обратном. Обслуживание любого объекта нельзя начать ранее предписанного срока. Изучаются возникающие оптимизационные задачи.


^ 4. Об оптимизации работы железнодорожных терминалов

М. Баркетов – ОИПИ НАН Беларуси, Минск

Е. Пеш – Университет Зигена, Германия

Я. Шафранский – ОИПИ НАН Беларуси, Минск
Рассматриваются железнодорожные терминалы нового вида, которые являются интерфейсом между железнодорожным и автомобильным транспортом. Возникающие задачи перемещения множества контейнеров с поездов на грузовики и обратно формулируются в терминах задач теории расписаний с вариативными длительностями обслуживания требований. Для ряда задач устанавливается их NP-трудность или NP-трудность в сильном смысле, предлагаются формулировки в виде задач целочисленного программирования.
^ 5. Наилучший online-алгоритм для задачи Pm||Cmax с известной суммарной длительностью всех работ

В. Котов – Белорусский государственный университет, Минск

Х. Келлерер – Университет Граца, Австрия

М. Габей – Университет Гренобля, Франция
^ Предлагается асимптотически наилучший online-алгоритм для задачи Pm||Cmax с известной суммарной длительностью всех работ, основанный на использовании групповых технологий и вычислении динамической нижней оценки.
1255–1420 – перерыв (обед)
Заседание 3

27 марта 1415 – 1615

Актовый зал ОИПИ НАН Беларуси
Председатель заседания: д.ф.-м.н. Сотсков Юрий Назарович

^

1. Двухкритериальная оптимизация расписания обслуживания требований одним прибором при заданной стоимости временных интервалов


И. Лущакова – Белорусский государственный университет информатики и радиоэлектроники, Минск
Рассматриваются различные варианты задачи двухкритериальной оптимизации расписания обслуживания требований одним прибором. В качестве целевых функций используются сумма моментов завершения обслуживания требований и суммарная стоимость использования временных интервалов. В случае невозрастающей последовательности стоимостей временных интервалов для некоторых вариантов данной задачи предлагаются псевдополиномиальные алгоритмы.
^

2. A literature review of hotel revenue management models


A. Bandalouski, M. Kovalyov – The United Institute of Informatics Problems of the National Academy of Sciences of Belarus, Minsk


We present basic concepts and give a brief description of revenue management models in the hotel business. We also provide an overview of the literature on forecasting methods and optimization models, which are employed in the revenue management of the hotel business.

^

3. Динамическое ценообразование для гостиницы

А. Бондоловский, М. Ковалев, Н. ЕгороваОИПИ НАН Беларуси, Минск



Описывается модель управления доходами гостиницы. Увеличение доходов достигается путем разделения спроса на категории в зависимости от типа номера, времени до заселения, продолжительности проживания и других характеристик заявки на бронирование, применения математического моделирования в рамках каждой категории. Математическое моделирование заключается в прогнозировании спроса в каждом будущем интервале времени в горизонте планирования и решении задачи квадратичного программирования, в которой неизвестными являются цены по категориям, а критерием – максимизация суммарного прогнозируемого дохода от проданных номеров при условиях ограниченных ресурсов и верхних и нижних границ на цены.

^

4. Параллелепипед оптимальности перестановки требований с неопределенными длительностями


Ю. Сотсков, Н. Егорова – ОИПИ НАН Беларуси, Минск
Рассматривается задача минимизации суммы взвешенных моментов завершения обслуживания n требований одним прибором при условии, что длительность обслуживания требования может принимать любое вещественное значение из заданного числового отрезка. Разработан алгоритм сложности O(n) для построения параллелепипеда оптимальности перестановки обслуживания n требований. Для тестовых задач проведено экспериментальное сравнение размерностей и относительных объемов параллелепипеда оптимальности и многогранника устойчивости оптимальной перестановки обслуживания n требований () при случайно сгенерированных сценариях.
5. Минимизация максимального штрафа в условиях неопределенности вспомогательного параметра

^ Я. Шафранский – ОИПИ НАН Беларуси, Минск

П. Зеленко – Белорусский государственный университет, Минск
Рассматривается задача оптимального упорядочения частично упорядоченных элементов с целью минимизации максимального штрафа в условиях неопределенности вспомогательного параметра, влияющего на значения функций штрафа элементов. Для варианта задачи с так называемыми декомпозируемыми функциями штрафа известен алгоритм построения перестановки, доставляющей минимум максимальному отклонению от оптимума. Алгоритм имеет квадратичную временную сложность. В данной работе этот результат обобщается на случай произвольных неубывающих функций штрафа, удовлетворяющих достаточно мягким ограничениям на скорость их роста.

^

6Задача построения расписания движения объектов по заданному множеству маршрутов


И. Рубанов – ОИПИ НАН Беларуси, Минск
Предлагается постановка задачи построения трафика непрерывного движения объектов по сети маршрутов.

^

7. Одностадийная задача теории расписания в пакетной композиции веб-сервисов


Нгуен Хань Куок, Н. Иванов – Белорусский государственный университет информатики и радиоэлектроники, Минск
Ставится задача пакетной композиции веб-сервисов с сетевой оптимизационной моделью. Пакет заданий состоит из нескольких заявок, каждая заявка компонуется на заданной сетевой структуре веб-сервисов. Сети объединяются по общим дугам-сервисам. Моделируется оптимизационная задача выбора полных путей, реализующих заявки, на объединенной сети. Эти пути могут иметь общие сервисы, отсюда возникает задача построения одностадийного расписания на таких дугах сети. Алгоритмы, использующие эвристику Л. Шраге и метод Ж. Карльера решают подзадачу расписания, которая входит в задачу композиции пакета заявок.

1605–1625 – перерыв (кофе)
Заседание 4

27 марта 1625 – 1755

Актовый зал ОИПИ НАН Беларуси
Председатель заседания: к.ф.-м.н. Лепин Виктор Васильевич

^

1Задача об оптимальной ({K1, K2}, ρ)-вершинной упаковке графа


В. Лепин – Институт математики НАН Беларуси, Минск
Рассматривается задача об оптимальной -вершинной упаковке графа, которая обобщает ряд известных задач, например, следующие: о максимальном индуцированном паросочетании; об k-разделенном паросочетании; о связном паросочетании; о независимом множестве; о диссоциирующем множестве; о
k-
упаковке. Пусть Г – класс графов и Г* – класс всех простых (относительно модулярной декомпозиции) порожденных подграфов из Г. Доказано, что если задача об оптимальной -вершинной упаковке графа может быть решена в классе графов Г* за время где константа, то эта задача может быть решена в классе графов Г за время

^

2О локальном признаке существования плоского остовного дерева в геометрическом графе


В. Бенедиктович – Институт математики НАН Беларуси, Минск
В работе установлена справедливость локального признака существования непересекающегося остовного дерева в общем случае для почти всех геометрических графов и подтверждена гипотеза Ривера – Кампо для случая m = 6.
3. K1, p-ограниченные графы и совершенные паросочетания

П. Иржавский, Ю. Орлович – Белорусский государственный университет, Минск
^ Устанавливаются достаточные условия существования совершенного паросочетания в K1,4-ограниченном графе. Из этих условий, в частности, вытекает классический результат Ю. Петерсена о том, что в любом рёберно 2-связном
3-регулярном графе существует совершенное паросочетание.

^

4. О сложности задачи покрытия множества вершин графа наименьшим числом полных двудольных подграфов


О. Дугинов – Институт математики НАН Беларуси, Минск
^ Изучаются вычислительная сложность и сложность аппроксимации задачи о наименьшем бикликовом покрытии вершин графа. Известно, что эта задача NP-полна в классе двудольных графов. Установлено, что задача решается за полиномиальное время в классе двудольных графов, не содержащих порожденных подграфов изоморфных графу S1,2,3, где S1,2,3 – граф с вершинами a, b, c, d, e, f, g и ребрами ab, bc, cd, fe, ed, gd. Показано, что эта задача в классе двудольных графов не аппроксимируется за полиномиальное время с гарантированной оценкой точности k ln(n), где 0 < k < 0,25 – константа, а n – количество вершин в заданном графе (в предположении PNP) и решается за полиномиальное время с гарантированной оценкой точности 2 ln(n) + 2.
5О распознавании графов с ограниченным числом эквивалентного разбиения в классе (, 1)-полярных графов

Т. Лубашева, ^ Ю. Метельский – Белорусский государственный университет, Минск
Пусть eqp(G) обозначает число эквивалентного разбиения графа G, т. е. минимальное число реберно непересекающихся P3-свободных графов, в виде объединения которых можно представить граф G. Известно, что в общем случае задача распознавания “eqp(G) ≤ k” полиномиально разрешима при k  2 и является NP-полной для любой фиксированной константы k  3. В этой работе доказано, что задача распознавания “eqp(G) ≤ k” (k  3) является легко разрешимой относительно фиксированного параметра k в классе (∞, 1)-полярных графов.

^

6Программное обеспечение системы технического зрения
для автоматизации проектирования в микроэлектронной промышленности


А. Воронов, А. Дудкин – ОИПИ НАН Беларуси, Минск
Рассматриваются методы и алгоритмы обработки изображений, реализованные в программном обеспечении, которые являются составной частью современной технологии проектирования и производства интегральных схем, начиная с разработки фотошаблонов и заканчивая контролем изготовления. Выполняются основные этапы обработки изображений, ориентированные как на локализацию и контроль дефектов, так и на восстановление топологии и перепроектирование: предварительная обработка, идентификация объектов топологии и получение их описаний. Разработанные методы и алгоритмы фильтрации и идентификации объектов позволили создать оригинальные технологии обработки, которые значительно повышают быстродействие систем обработки изображений топологии интегральных схем при той же достоверности идентификации.
Заседание 5

28 марта 930 – 1125

Актовый зал ОИПИ НАН Беларуси
Председатель заседания: к.ф.-м.н. Гущинский Николай Николаевич
1Combinatorial design of complex machines and machining lines (пленарный доклад)

O. Battaïa, X. Delorme, A. Dolgui – Ecole des Mines de Saint-Etienne, France

N. Guschinsky, M. Kovalyov, G. Levin – UIIP NAS of Belarus, Minsk
A complex machine or machining line consists of a sequence of work positions through which products move one way in order to be processed. Designing such a production system represents a long-term decision problem involving different crucial decision stages. Combinatorial design is one of them; it mostly deals with assigning the set of indivisible units of work (named tasks or operations) to a sequence of lineally ordered work positions (or stations). In literature, the most attention was paid for combinatorial design of assembly lines (assembly line balancing problems). In our work, we develop approaches and formulations of combinatorial design for machining lines and complex machines.
^ 2. Эвристические алгоритмы синтеза технологических процессов групповой обработки на реконфигурируемых агрегатных станках

О. Баттайа, А. Долгий – Высшая национальная горная школа
г. Сент-Этьена, Франция,

^ Н. Гущинский – ОИПИ НАН Беларуси, Минск
Рассматривается задача синтеза технологических процессов обработки группы деталей на реконфигурируемых агрегатных станках с поворотным столом. Предлагаются эвристические алгоритмы решения этой задачи для различных схем групповой обработки. Эти алгоритмы последовательно назначают технологические переходы на позиции станка и распределяют их по блочным переходам с использованием различных правил приоритета выбора назначаемого перехода.
3. Оптимизация интенсивностей последовательно-параллельного выполнения пересекающихся множеств операций при выпуклых функциях затрат

Г. Левин, Б. Розин – ОИПИ НАН Беларуси, Минск
Предлагаются математическая модель и метод оптимизации интенсивностей последовательно-параллельного выполнения пересекающихся множеств операций в случае, когда интенсивность любой операции остается неизменной в любой работе, а зависимости материальных и временных затрат на выполнение любой операции в составе конкретной работы от ее интенсивности представимы выпуклыми функциями. Метод основан на аппроксимации исходной задачи задачей линейного программирования.
^ 4Построение трехмерных моделей компоновок агрегатных станков в среде T-Flex CAD

В.Е. Зданович – ОИПИ НАН Беларуси, Минск
Рассмотрен алгоритм построения трехмерных моделей компоновок агрегатных металлорежущих станков в среде T-Flex CAD. Особое внимание уделено обоснованию выбора системы геометрического моделирования, а также форме приложения, которое реализует предложенный алгоритм.
^ 5. Оптимизация последовательности изделий в группе
при многопозиционной последовательно-параллельной
групповой обработке


Г. Левин, Б. Розин – ОИПИ НАН Беларуси, Минск
^ Разработаны математическая модель и алгоритмы решения задачи оптимизации последовательности изделий в группе при серийной последовательно-параллельной групповой обработке на однопоточном многопозиционном оборудовании. Алгоритмы решения задачи основаны на схемах методов динамического программирования и «ветвей и границ». Для задач большой размерности предложен приближенный эвристический алгоритм.
1125–1145 – перерыв (кофе)

Заседание 6

28 марта 1145 – 1300

Актовый зал ОИПИ НАН Беларуси
Председатель заседания: к.ф.-м.н. Шафранский Яков Михайлович

^

1Распознавание OC-выпуклости объединения многогранных множеств


В. Найденко – Институт математики НАН Беларуси, Минск
Исследуется OC-выпуклость, образованная пересечениями конических семипространств частичной выпуклости. Разработана полиномиальная по времени процедура распознавания OC-выпуклости объединения нескольких многогранных множеств в трехмерном пространстве.
^

2. Кусочно-гладкая интерполяционная модель поверхности минимальной кривизны


Д. Васильков – Белорусский государственный университет, Минск
Предложен алгоритм построения кусочно-гладкой поверхности, интерполирующей заданное множество точек в пространстве и имеющей интегральную кривизну, близкую к минимальной. В данном методе используется триангуляционная модель, простая и гибкая с точки зрения управления формой, позволяющая создавать поверхности произвольного размера и топологии относительно положения исходных точек.

^

3. Алгоритмы фильтрации бинарных изображений на базе мягкой математической морфологии


А. Инютин – ОИПИ НАН Беларуси, Минск
Рассмотрены операторы мягкой морфологии и алгоритмы удаления шума с бинарных изображений на их основе. Алгоритмы отличаются наличием дополнительных параметров работы, как порог фильтрации и количество итераций, а также возможностью удаления шума вида островки, проколы, выступы и вырывы за один проход. Применение данных алгоритмов позволяет привнести меньше искажений при работе, даже если объекты изображения располагаются на расстоянии одного пиксела друг от друга. Приведены результаты экспериментальной проверки работы на примере изображения фотошаблона печатной платы.

^

4. Статистическое уточнение оценки точности приближенных алгоритмов решения задачи коммивояжера с неравенством треугольника


Е. Тарашкевич – Белорусский государственный университет, Минск
Рассмотрена гипотеза: точность решения задачи коммивояжера с условием треугольника приближенными алгоритмами значительно выше, чем теоретически полученная оценка. Осуществляется исследование двух приближенных алгоритмов решения задачи коммивояжера с неравенством треугольника. Рассмотрены различные классы задач, для них произведено статистическое уточнение оценки действительной погрешности.
^

5. Синтез неопределенных динамических систем третьего порядка на основе корневых портретов


А. Несенчук – ОИПИ НАН Беларуси, Минск
Рассматривается вопрос об устойчивости динамической системы третьего порядка с интервальной неопределенностью. Устанавливаются закономерности поведения функции параметра корневого портрета на границе устойчивости, характер зависимости конфигурации портрета от значений изменяющихся параметров. Формулируется корневое условие устойчивости и разрабатывается метод синтеза системы.
1300 – 1420 перерыв (обед)
Заседание 7

28 марта 1420 – 1535

Актовый зал ОИПИ НАН Беларуси
Председатель заседания: д.т.н. Бибило Петр Николаевич
^ 1. Экспериментальное исследование алгоритмов минимизации диаграмм двоичного выбора

П. Бибило – ОИПИ НАН Беларуси, Минск
Описываются результаты экспериментов по сравнению эффективности применения двух алгоритмов минимизации диаграмм двоичного выбора для уменьшения сложности и увеличения быстродействия логических схем, синтезируемых в библиотеке проектирования заказных цифровых сверхбольших интегральных схем (СБИС) по минимизированным диаграммам двоичного выбора.

^

2. К оценке максимального среднего рассеивания мощности последовательностными схемами


А. Закревский, Л. Черемисинова – ОИПИ НАН Беларуси, Минск
Рассматривается задача нахождения оценки максимально возможного значения средней мощности, рассеваемой КМОП-схемой в течение неопределенно долгого интервала времени. Предлагается метод построения тестовых последовательностей, основанный на поиске циклических последовательностей переходов автоматного описания схемы.
3. Об использовании полного булева графа в алгоритмах решения некоторых задач логического проектирования

Ю. Поттосин – ОИПИ НАН Беларуси, Минск
Рассматривается процесс построения полного булева графа Qn размерности п со взвешенными ребрами. Данный процесс используется в эвристических алгоритмах оптимизации получения последовательной двухблочной декомпозиции систем полностью определенных булевых функций и оптимизации кодирования состояний дискретного автомата.
^

4. Обработка графов в программе перепроектирования FPGA


Д. Черемисинов – ОИПИ НАН Беларуси, Минск
Обсуждается круг вопросов, связанных с автоматизацией проектирования СБИС и касающихся задачи перепроектирования ^ FPGA, в которой исходными данными служит структурное описание дискретного устройства. Предлагается метод построения программы анализа и преобразования структурных описаний FPGA, обеспечивающие платформенную независимость при сохранении эффективности реализации.

^

5. Организация программного комплекса топологического проектирования заказных цифровых СБИС


В. Романов – ОИПИ НАН Беларуси, Минск
Показывается, как в представленном комплексе топологического проектирования организовано взаимодействие его отдельных компонент, программно реализующих как алгоритмы логического синтеза, так и алгоритмы решения топологических задач, учитывающих габариты и площади структурных элементов, расположение на них полюсов для информационных сигналов и для линий питания и «земли». Возможность быстрого возврата на этап логического синтеза позволяет при необходимости многократно изменять структуру проектируемой схемы и типы используемых для ее реализации макроэлементов, что приводит к повышению качества проектов заказных цифровых СБИС.
1535–1600 перерыв (кофе)
Заседание 8

28 марта 1600 – 1700

Актовый зал ОИПИ НАН Беларуси
Председатель заседания: д.т.н. Черемисинова Людмила Дмитриевна
^ 1. A new suboptimal decomposition algorithm based on the tabular method

Taghavi Afshord – United Institute of Informatics Problems of the NAS of Belarus, Minsk; Computer Engineering Department, Shabestar Branch, Islamic Azad University, Shabestar, Iran

Yu. Pottosin – United Institute of Informatics Problems of the NAS of Belarus, Minsk
Decomposition of Boolean functions breaks a function block into smaller blocks. The ternary matrix cover approach is a tabular method for functional decomposition. It encodes a table in its process by using a trivial encoding. In this paper, a heuristic algorithm is presented to encode this table. The suggested algorithm based on covering a graph by spanned bipartite subgraphs.
2. Экспериментальное исследование быстродействия и энергопотребления конвейеризованных логических схем

Н. Кириенко – ОИПИ НАН Беларуси, Минск
Рассматриваются методы исследования конвейеризованных логических схем из библиотечных элементов, выполненных на основе КМОП-технологии. Приводятся результаты исследования быстродействия и энергопотребления для конвейеризованных схем.
^ 3. Stochastic mean payoff games

N. Pisaruk – Belarus State University, Faculty of Economy, Minsk
The stochastic mean payoff games were introduced by Gillette in 1953, but no efficient algorithm is known for solving them. We describe an algorithm that solves such games approximately within a given accuracy.
^ 4. Устойчивость инвестиционной задачи Марковица с критериями крайнего оптимизма

С. Бухтояров, В.А. Емеличев – Белорусский государственный университет, Минск
Получены нижняя и верхняя оценки радиуса устойчивости многокритериальной булевой задачи портфельной оптимизации с критериями крайнего оптимизма в случае, когда в пространстве портфелей задана произвольная метрика Гёльдера lp, 1 ≤ p ≤ ∞, а в критериальном пространстве доходности инвестиционного проекта и пространстве состояний финансового рынка – метрика Чебышева l.


Закрытие конференции



Председатель программного комитета
к.ф.-м.н.
Шафранский Яков Михайлович


Похожие рефераты:

Педагогика, Психология XVII международная научная конференция «Актуальные...
Уке бгту «военмех» им. Д. Ф. Устинова, Институт Международного бизнеса и коммуникации, Липецкое региональное отделение общероссийской...
12-я Международная научная конференция “Сахаровские чтения 2012 года: экологические проблемы XXI
Международная научная конференция “Сахаровские чтения 2012 года: экологические проблемы xxiго века“ посвященная празднованию 20-летия...
Программа и пригласительный билет Минск бгуир 2014 Уважаемый коллега!...
Оргкомитет 50-й научной конференции аспирантов, магистрантов и студентов учреждения образования «Белорусский государственный университет...
Vi международная конференция «Феномен творческой личности в культуре....
Равнительного изучения национальных литератур и культур приглашает вас принять участие в VI международной конференции «Феномен творческой...
Б. Л. Залесский // Цивилизационная идентичность в эпоху глобализации...
Б. Л. Идентичность на стыке цивилизационных общностей в динамике межцивилизационного диалога / Б. Л. Залесский // Цивилизационная...
Программа 14-15 марта 2014 г. Минск 2014 порядок работы чтений 14 марта, пятница
Системная трансформация организации воспроизводственного процесса на пути к хозяйству знания
Научные мероприятия, в которых приняли участие работники
Международная научная конференция «Романовские чтения 9» (Могилев, 29 ноября 2012 г.)
Международная научная конференция “
Оргкомитет приглашает Вас принять участие в работе конференции dima-2013, которая будет проходить с 11 по 14ноября 2013 года в г....
Доклад на пленарном заседании
Международная научная конференция «Сахаровские чтения 2012 года: экологические проблемы XXI века» проводится 17–18 мая 2012 г на...
12-ая международная научная конференция Сахаровские чтения 2012 года:...
Сахаровские чтения 2012 года: экологические проблемы XXI века проводится 17–18 мая 2012 г на базе Международного государственного...

Вы можете разместить ссылку на наш сайт:
Школьные материалы


При копировании материала укажите ссылку © 2013
контакты
referatdb.ru
referatdb.ru
Рефераты ДатаБаза