Участники конкурса: Беларусь,Россия, Украина
Обозначения:
*\ -- участник получил диплом
\** -- участник вышел во второй тур
\*** -- участники победители
|
№ |
Название проекта |
Город |
Организация |
Автор |
|
1*\**\*** |
Интегрированная среда сквозной совместной разработки программного и аппаратного обеспечения мультипроцессорных систем на кристалле |
Гомель |
Гомельский государственный университет им.Ф.Скорины |
Долинский Михаил Семенович |
|
2 |
Среда высокоуровневой разработки аппаратного обеспечения (HLCCAD - High Level Chip Computer-Aided Design) |
Гомель |
Гомельский государственный университет им.Ф.Скорины |
Долинский Михаил Семенович |
|
3 |
Комплекс для проектирования аппаратных решений, эффективно реализующих сложные алгоритмы обработки данных. |
Гомель |
Гомельский государственный университет им.Ф.Скорины |
Долинский Михаил Семенович |
|
4 |
Универсальный аппаратно-программный комплекс для проектирования и отладки цифровых микропроцессорных систем |
Гомель |
Гомельский государственный университет им.Ф.Скорины |
Долинский Михаил Семенович |
|
5 |
Программный комплекс UNISAN для автоматизации разработки анализаторов текстов, компиляторов, интерпретаторов |
Гомель |
Гомельский государственный университет им.Ф.Скорины |
Долинский Михаил Семенович |
|
6 |
Цели, методы и средства обучения специалистов по разработке встроенных цифровых систем |
Гомель |
Гомельский государственный университет им.Ф.Скорины |
Долинский Михаил Семенович |
|
7 |
Внедрение новых информационных технологий в образовательный процесс |
Гомель |
Гомельский государственный университет им.Ф.Скорины |
Долинский Михаил Семенович |
|
8 |
Система синтеза микропрограммных автоматов |
Гомель |
Гомельский государственный университет им.Ф.Скорины |
Долинский Михаил Семенович |
|
9 |
Интегрированная среда разработки программного обеспечения встроенных мультипроцессорных систем (WInter) |
Гомель |
Гомельский государственный университет им.Ф.Скорины |
Долинский Михаил Семенович |
|
10 |
Комплекс средств автоматической генерации моделей процессоров по описанию ядра и внутренней периферии (GenMod). |
Гомель |
Гомельский государственный университет им.Ф.Скорины |
Долинский Михаил Семенович |
|
11 |
Технология описания моделей микропроцессоров и микроконтроллеров на языках программирования высокого уровня |
Гомель |
Гомельский государственный университет им.Ф.Скорины |
Долинский Михаил Семенович |
|
12 |
Технология распределенного моделирования программного и аппаратного обеспечения мультипроцессорных систем на кристалле |
Гомель |
Гомельский государственный университет им.Ф.Скорины |
Долинский Михаил Семенович |
|
13 |
Среда отладки VHDL-описаний аппаратного обеспечения |
Гомель |
Гомельский государственный университет им.Ф.Скорины |
Долинский Михаил Семенович |
|
14 |
Конфигурируемая синтезируемая модель процессора и ее использование для проектирования мультипроцессорных сиcтем и сетей на кристалле |
Гомель |
Гомельский государственный университет им.Ф.Скорины |
Долинский Михаил Семенович |
|
15 |
Автоматическая генерация схем, настраиваемая на высокоуровневые описания устройств |
Гомель |
Гомельский государственный университет им.Ф.Скорины |
Долинский Михаил Семенович |
|
16*\ |
Изучение в высших учебных заведениях высокоуровневых языков проектирования микроэлектронных систем |
Минск |
Объединенный институт проблем информатики НАН Беларуси |
Бибило Петр Николаевич |
|
17*\**\*** |
Логическое проектирование дискретных управляющих устройств на основе решения логико-комбинаторных задач |
Минск |
Объединенный институт проблем информатики НАН Беларуси |
Закревский Аркадий Дмитриевич |
|
18*\**\*** |
Разработка интрументов решения задачи "выполнимость" для формальной верификации процессов проектирования логических схем |
Минск |
Новиков Яков Андреевич |
|
|
19*\ |
Технологическое отображение для полузаказных СБИС |
Минск |
Объединенный институт проблем информатики НАН Беларуси |
Томашев Валерий Фомич |
|
20 |
Разработка и исследование методов декомпозиции систем булевых функций на основе покрытий троичных матриц |
Минск |
Объединенный институт проблем информатики НАН Беларуси |
Поттосин Юрий Васильевич |
|
21*\ |
Функционально-логическое проектирование БИС/СБИС и устройств цифровой электроники |
Минск |
Белорусский государственный университет |
Золоторевич Людмила Андреевна |
|
22 |
Разработать автоматизированную систему послойного восстановления топологии из цветного цифрового фотоизображения кристалла интегральной схемы |
Минск |
Объединенный институт проблем информатики НАН Беларуси |
Александр А. Дудкин |
|
23 |
Процессор для булевых матриц |
Минск |
Объединенный институт проблем информатики НАН Беларуси |
Анатолий Александрович Уткин |
|
24 |
Разработка теоретических основ, методов и алгоритмов синтеза запоминающих устройств с встроенными средствами тестирования, диагностики и реконфигурации |
Минск |
БГУИР |
В.Н. Ярмолик |
|
25*\ |
Программный комплекс ZUBR проектирования цифровых систем на основе СБИС |
Минск |
Соловьев Валерий Васильевич |
|
№ |
Название проекта |
Город |
Организация |
Автор |
|
26*\ |
Новые методы логического синтеза макроблоков БИС |
Москва |
МГУ |
Гуров Сергей Исаевич |
|
27*\ |
Разработка нового бесконтактного метода оптической диагностики микросхем для временного анализа и верификации с пикосекундным разрешением на основе однофотонного сверхпроводящего детектора ИК-излучения |
Москва |
Московский педагогический государственный университет |
Гольцман Григорий Наумович |
|
28*\ |
Разработка комплекса нейросетевых модулей перспек-тивных САПР СБИС |
Москва |
Центральный научно-исследовательский радиотехнический институт |
Галушкин Александр Иванович |
|
29 |
Физическая модель полевого нанотранзистора со структурой "кремний на изоляторе" для схемотехнических приложений |
Москва |
Институт микропроцессорных вычислительных систем РАН |
Захаров Сергей Михайлович |
|
30*\** |
Физические параметры переходных процессов в линиях связи интегральных схем |
Москва |
Институт микропроцессорных вычислительных систем РАН |
Захаров Сергей Михайлович |
|
31*\ |
Алгоритмы компонентного разбиения |
Москва |
Московский энергетический институт (МЭИ) |
Топорков Виктор Васильевич |
|
32*\ |
Структурная теория алгоритмов - аппарат оптимизационного анализа при проектировании ВУ на СБИС или ПЛИС |
Москва |
ФГУП НИИ "КВАНТ" |
Шаповалов Евгений Петрович |
|
33 |
Система анализа и формального синтеза цифровых схем, проектируемых на языке VERILOG HDL |
Москва |
Московский Государственный Институт Электроники и Математики |
Ерохин Владимир Васильевич |
|
34*\** |
"СОКРАТ" - система сквозного проектирования топологии полузаказных БИС |
Москва |
МИЭТ |
Бутов Александр Стефанович |
|
35*\ |
Методы логического синтеза, декомпозиции булевых функций и вложения графов для оптимизации сквозного проектирования СБИС |
Москва |
Московский Государственный Университет им. М.В. Ломоносова |
Ложкин Сергей Андреевич |
|
36*\ |
Вычислительный алгоритм экстракции резистивных импедансов нерегулярных планарных структур и его реализация |
Москва |
Московский Государственный Университет им. М.В. Ломоносова |
Хапаев Михаил Михайлович |
|
37 |
Метод синтеза архитектур программно-технических комплексов (ПТК) и программная реализация алгоритма трассировки соединений между элементами на основе топологической модели схем. |
Москва |
Институт проблем управления РАН |
Артамонов Евгений Иванович |
|
38*\**\*** |
PATHFINDER ("Следопыт") |
Москва |
ФРТК МФТИ, м.н.с. НИИ "Вычислительные технологии" (отделение САПР) |
Рыженко Николай Владимирович |
|
39 |
Методика структурного проектирования интегральных нейросетей |
Москва |
Московский инженерно-физический институт |
Алюшин Александр Васильевич |
|
40 |
Декомпозиция задачи минимизации системы булевых функций |
Санкт-Пeтербург |
Санкт-Петербургский государственный университет аэрокосмического приборостроения |
Лузин Сергей Юрьевич |
|
41 |
Совместное решение задач размещения и трассировки |
Санкт-Пeтербург |
Санкт-Петербургский государственный университет аэрокосмического приборостроения |
Лузин Сергей Юрьевич |
|
42 |
Метод выделения в графе максимума клик |
Санкт-Пeтербург |
Санкт-Петербургский государственный университет аэрокосмического приборостроения |
Лузин Сергей Юрьевич |
|
43 |
Выбор конфигурации соединения компонентов электронных схем |
Санкт-Пeтербург |
Санкт-Петербургский государственный университет аэрокосмического приборостроения |
Лузин Сергей Юрьевич |
|
44 |
Глобальная минимизация числа межслойных переходов |
Санкт-Пeтербург |
Санкт-Петербургский государственный университет аэрокосмического приборостроения |
Лузин Сергей Юрьевич |
|
45 |
Алгоритм разбиения графа |
Санкт-Пeтербург |
Санкт-Петербургский государственный университет аэрокосмического приборостроения |
Лузин Сергей Юрьевич |
|
46 |
Гибкая топологическая трассировка |
Санкт-Пeтербург |
Санкт-Петербургский государственный университет аэрокосмического приборостроения |
Лузин Сергей Юрьевич |
|
47*\**\*** |
Разработка системы проектирования печатных плат и СБИС "FreeStyle EDA" |
Санкт-Пeтербург |
Санкт-Петербургский государственный университет аэрокосмического приборостроения |
Лузин Сергей Юрьевич |
|
48*\**\*** |
Декомпозиция и логический синтез булевых функций в базисе произвольных логических элементов |
Санкт-Пeтербург |
Санкт-Петербургский институт точной механики и оптики (технического университета) |
Шалыто Анатолий Абрамович |
|
49*\**\*** |
Технологически инвариантное проектирование топологии параметризованных фрагментов МОП БИС |
Санкт-Пeтербург |
Санкт-Петербургский государственный электротехнический университет |
Зуев Игорь Станиславович |
|
50 |
Структурное и топологическое проектирование регулярных слабосвязанных сетей |
Санкт-Пeтербург |
Санкт-Петербургский государственный электротехнический университет |
Дорогов Александр Юрьевич |
|
51*\**\*** |
UnitWalk, вероятностный алгоритм для задачи булевой выполнимости, в применении к формальной верификации моделей |
Санкт-Пeтербург |
Санкт-Петербургский государственный университета |
Кожевников Арист Александрович |
|
52*\ |
Верификация взаимодействующих временных автоматов |
Санкт-Пeтербург |
Санкт-Петербургский Политехнический Университет |
Карпов Юрий Глебович |
|
53*\ |
Алгоритмы на графах |
Санкт-Пeтербург |
СПБУ |
Горьковой Валерий Федорович |
|
54*\ |
Экспериментальное и теоретическое моделирование тепловых режимов работы слоев металлизации интегральных микросхем (многослойных тонкопленочных структур на кремнии). |
Ульяновск |
Ульяновский государственный университет |
Скворцов Аркадий Алексеевич |
|
55 |
Нетрадиционные алгоритмы принятия решений в задачах дискретной оптимизации |
Ульяновск |
Ульяновский государственный университет (УлГУ) |
Борис Феликсович Мельников |
|
56*\ |
Логический синтез, анализ и оптимизация. Алгоритмы декомпозиции. |
Уфа |
Уфимский Авиационный Технический Университет (УГАТУ) |
Чикуров Николай Георгиевич |
|
57*\ |
Проектирование БИС с учетом надежности |
Воронеж |
Воронежский государственный технический университет |
Строгонов Андрей Владимирович |
|
58*\** |
Экстремальные задачи оптимальной правильной вершинной раскраски графа |
Нижний Новгород |
Нижегородский государственный университет им. Н. И. Лобачевского (ННГУ) |
Старостин Николай Владимирович |
|
59 |
Разработка генетических алгоритмов и программных средств размещения и трассировки разногабаритных блоков заказных СБИС |
Таганрог |
Таганрогский государственный радиотехнический университет |
Коноплев Борис Георгиевич |
|
60*\**\*** |
Разработка методов и программных средств автоматического синтеза субмикронных статических ОЗУ для систем на кристалле |
Таганрог |
Таганрогский государственный радиотехнический университет |
Коноплев Борис Георгиевич |
|
61 |
Разработка физико-статистического метода |
Таганрог |
Таганрогский государственный радиотехнический университет |
Самойленко Анатолий Петрович |
|
62*\ |
Проектирование интегральных схем на основе эволюционных вероятностных моделей |
Таганрог |
Таганрогский государственный радиотехнический университет |
Зинченко Л. А. |
|
63*\** |
Исследование и разработка методов эволюционной адаптации для решения задачи компоновки СБИС |
Таганрог |
Таганрогский государственный радиотехнический университет |
Курейчик Виктор Михайлович |
|
64*\ |
Исследование и разработка методов эволюционной адаптации для решения задачи глобальной трассировки |
Таганрог |
Таганрогский государственный радиотехнический университет |
Лебедев Борис Константинович |
|
65 |
Алгоритмы выделения ядер в нечетких графах на основе моделирования эволюции |
Таганрог |
Таганрогский государственный радиотехнический университет |
Гладков Леонид Анатольевич |
|
66*\**\*** |
Оптимизация цифровых схем на основе решения автоматных уравнений |
Томск |
Томский государственный университет |
Нина В. Евтушенко |
|
67*\** |
Синтез отказоустойчивых дискретных систем |
Томск |
Томский государственный университет |
Матросова Анжела Юрьевна |
|
68\** |
Эффективные алгоритмы нахождения всех кратчайших покрытий булевой матрицы большой размерности - основа автоматизации проектирования и перепроектирования интегральных схем |
Томск |
лаборатория интеллектуальных систем |
Янковская Анна Ефимовна |
|
69 |
Алгоритмы спуска - основа оптимизационных алгоритмов в области автоматизации проектирования и перепроектирования устройств логического управления |
Томск |
лаборатория интеллектуальных систем |
Янковская Анна Ефимовна |
|
70*\ |
Субоптимальный сквозной логический синтез устройств логического управления |
Томск |
лаборатория интеллектуальных систем |
Янковская Анна Ефимовна |
|
71*\ |
Разработка системы имитационного моделирования цифровых интегральных схем D-расширением сетей Петри |
Тверь |
Тверской государственный технический университет |
Веселов Алексей Аркадьевич |
|
72*\ |
Декомпозиция булевых функций в предэлементарных базисных множествах |
Иркутск |
Иркутский государственный педагогический университет |
Перязев Николай Алексеевич |
|
73*\** |
Алгоритм совместного решения задач размещения ячеек и глобальной трассировки топологии СБИС методом иерархической декомпозиции в среде распределенных вычислений. |
Пенза |
Пензенский Государственный Университет |
Бершадский Александр Моисеевич |
|
74*\ |
Логический анализ динамических процессов в |
Пенза |
Левин Виталий Ильич |
|
|
75 |
Волгоград |
Волгоградский государственный технический университет |
Костерин В.В. |
|
|
76 |
Создание интегрированной сапр печатных узлов на базе интегральных схем с использованием комплексного моделирования физических процессов |
Ковров Владимир-ской области |
Ковровская государственная технологическая академия |
Шалумов Александр Славович |
|
77 |
Программный комплекс для моделирования и отладки информационно - управляющих систем |
Чувашский государственный университет имени И.Н. Ульянова |
Гильденберг Борис Моисеевич |
|
№ |
Название проекта |
Город |
Организация |
Автор |
|
78*\**\*** |
Разработка эффективных численных методов моделирования и оптимизации схемотехнических решений для СБИС |
Киев |
Национальный Технический Университет Украины "Киевский политехнический институт" |
Петренко Анатолий Иванович |
|
79 |
Разработка методов и средств доказательного проектирования алгоритмов функционирования реактивных систем |
Киев |
Институт кибернетики НАН Украины |
Чеботарев Анатолий Николаевич |
|
80*\**\*** |
SIGETEST - моделирование и синтез тестов для сложных цифровых систем |
Харьков |
Харьковский национальный университет проектирования радиоэлектроники |
Хаханов Владимир Иванович |
|
81\**\*** |
Методологическое, алгоритмическое и программное обеспечение для декомпозиции систем большой и сверхбольшой размерности (с миллионами составных блоков и элементов) |
Львов |
Национальный университет "Львовская политехника" |
Базилевич Роман Петрович |
|
82*\ |
Методологическое, алгоритмическое и программное обеспечение для совместного решения задач трассировки-размещения при автоматизированном проектирования |
Львов |
Национальный университет "Львовская политехника" |
Базилевич Роман Петрович |
|
83 |
Методологическое, алгоритмическое и программное обеспечение для автоматизированного конструкторского проектирования интегральных схем большой и сверхбольшой размерности (с миллионами составных блоков и элементов) |
Львов |
Национальный университет "Львовская политехника" |
Базилевич Роман Петрович |
|
84*\ |
Эволюционные методы построения проверяющих тестов цифровых СБИС высокой степени интеграции |
Донецк |
Институт прикладной математики и механики Национальной академии наук Украины |
Скобцов Юрий Александрович |