Отдел Математического моделирования
систем проек­тирования ВЦ ФИЦ ИУ РАН

Сектор проектирования систем
реального времени

 

Козырев Виктор Петрович

 

 

с.н.с., к.ф.-м.н., выпускник МГУ.

Эльпочта: rts@ccas.ru

Тел. сл.: (499) 135-4029.

 

 

Послужной список

Основные научные труды

Труды Козырева В.П. в Интегрированной системе информационных ресурсов РАН

 

Послужной список

В секторе трудится с 1995 г.

Имеет более 20 научных работ..

СПИСОК ОСНОВНЫХ НАУЧНЫХ ТРУДОВ

В.П. Козырева

 

1. Статьи в ведущих российских и международных научных журналах.

2. Препринты Вычислительного центра им. А.А.Дородницына РАН.

3. Тезисы и материалы конференций.

 

1. Статьи в ведущих российских
и международных научных журналах.

п/п

Соавторы

Наименование труда

Объём

Изд-во,

год

1

 

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

8 с.

Журнал вычислит. матем. и мат. физики 1996,- т.36, № 5,

С. 146-153.

2. Препринты ВЦ РАН

1

 

Алгоритмы построения и коррекции авиарасписаний. В сб.: Теория и реализация вычислительных систем реального времени.

13 с.

ВЦ РАН, 1999,

С..11-23

2

 

 Some Algorithms for Multiprocessor Scheduling Problems.Тез. 3-й  Моск. межд. конф. по исследованию операций  (Москва, апр. 2001 г.).

1 стр.

ВЦ РАН, 2001,

С. 62

3

 

 Характеризация графов, не имеющих чередующихся циклов. - Тез. докл. науч. конф. "Математические модели сложных систем и междисцип­линарные исследования". 

1 стр.

ВЦ РАН, 2002,

С.33

4

Сергеев А.В.

Представление N-куба отрезками евклидова пространстве.

27 c.

М.: ВЦ РАН, 2008

5

 

Представление графов прямоуголь­ни­ками // В сб. «Некоторые алгоритмы  планирования вычислений в многоп­ро­цессорных системах реального време­ни». М.: ВЦ РАН, 2010. С.  59–72.

14 с.

М.: ВЦ РАН, 2010

6

Соколова Е.А.

2-интервальность графов с един­ст­венным чередующимся циклом // В сб. «Некоторые алгоритмы  планирования вычислений и организации контроля в системах реального времени». М.: ВЦ РАН, 2011. С.  3–16.

14 с.

М.: ВЦ РАН, 2011

7

Соколова Е.А.

Графы с единственным циклом без триангуляторов // В сб. «Некоторые алгоритмы  планирования вычислений и организации контроля в системах реального времени». М.: ВЦ РАН, 2011. С.  17–28.

12 с.

М.: ВЦ РАН, 2011

8

 

Существование задач составления расписаний с заданным минимальным числом процессоров // В сб. «Некото­рые алгоритмы  планирования вычис­лений в многопроцессорных  систе­мах». М.: ВЦ РАН, 2012. С.  3–6.

4 с.

М.: ВЦ РАН, 2012

9

Соколова Е.А.

Алгоритм нахождения минимального числа процессоров для 3-несовмес­тимой задачи составления расписаний // В сб. «Некоторые алгоритмы  плани­рования вычислений в многопроцес­сорных  системах». М.: ВЦ РАН, 2012. С.  7–12.

6 с.

М.: ВЦ РАН, 2012

10

 

Вложение бинарных сетей в евклидово пространство. // В сб.:  Некоторые алгоритмы планирования вычислений и оптимизации баз данных в многопроцессорных системах. М.: ВЦ РАН, 2013, с. 3 – 13.

11 с.

М.: ВЦ РАН, 2013

3. Тезисы и материалы конференций и научных семинаров

1

 

Кодирование интервальных графов и нахождение всех раскрасок //Сб. тру­дов семинара по дискр. матем. и её приложениям. С. 26-30.

5 с.

М.: Мехмат. МГУ, 1997.

 

2

 

Solutions of  Some Multiprocessor Problems with Minimal Number of Processors .-Тез.2-й Моск. межд. конф. по исследованию операций. (Москва, 17-20 ноября, 1998).

1 стр.

М.: ВЦ РАН, 1998

3

 

Упорядоченное вложение транзитивных графов в плоскость. Тез.  докл.  12-й между.  Межд. конф. "Проб­лемы теоретической кибернетики". Нижн. Новг., 17-20 мая, 1999

4 с

Мехмат. МГУ, 1999.

4

 

Упорядоченное вложение транзитивных графов в плоскость. Тез.  докл.  12-й между.  Межд. конф. "Проб­лемы теоретической кибернетики". Нижн. Новг., 17-20 мая, 1999.

1 с.

Мехмат. МГУ, 1999.

5

 

Нахождение остовных деревьев в графах, имеющих два веса на ребрах. Материалы 7-го межд. семин. “Дискр. матем. и её прилож., ч.3”

3 стр.

Мехмат. МГУ, 2001, с. 226-228

6

 

Составление многопроцессорных расписаний для 2-совместимых и 2-несовместимых работ. Тез. докл. 13-й междун. конф. Проблемы теоретич. киберн., Казань, 2002.

2 стр.

Мехмат. КГУ, 2002 г., с. 89-90

7

 

Существование и единственность однопроцес­сорных расписаний// Труды межд. конф. “Дискретные модели в теории управляющих систем”. М: ВМиК МГУ, 2004. С. 172-173.

   2 c.

М., МГУ, 2004.

8

 

Составление многопроцессорных рас­писаний для 2-совместимых и 2-несов­местимых работ. // Тезисы докладов 8-й межд. конф. Проблемы теорети­ческой кибернетики(Казань, 2002 г.). М.: Мех-мат МГУ, 2004 г. С. 89.

   1 с.

М.:МГУ,

2004.

9

 

Противоречивость в задачах состав­ления расписаний. // Материалы 9-го межд. семинара “Дискретная мате­ма­тика и её приложения”, посвящённого 75-летию со дня рождения акад. О.Б. Лупанова. (Москва, 18–23 июня, 2007 г.). М.: Мехмат МГУ, 2007. С. 278–280.

   3 с.

М., МГУ,

2007.

10

 

Соединение графов задач составления многоп­роцессорных расписаний, содержащих 2–совмес­тимые и 2–несовместимые пары работ // Труды 3-ей Всероссийской научной конф. «Методы и средства обработки информации», М., МГУ, 6-8 октября 2009. С.220-226.

7 с.

М.: МГУ, 2009.

11

 

Нахождение многопроцессорных распи­саний в задачах, содержащих 1-совме­стимые и 2-несовместимые пары работ // Труды 3-ей Всероссийской научной конф. «Методы и средства обработки информации», М., МГУ, 6-8 октября 2009. С.227-231.

5 с.

М.: МГУ, 2009.

12

 

Нахождение многопроцессорных распи­саний для задач, имеющих длинную чередующуюся цепь// Труды межд. конф. “Дискретные модели в теории управляющих систем”. М: ВМиК МГУ, 6-9 апреля 2009. С. 137-142.

   6 c.

М.: МГУ, 2009.

13

 

R-представление графов // Труды VI-й Московской межд. конф. по исследова­нию операций. Москва, 2010. С. 299 – 300.

2 с.

М.: МГУ,

ВЦ РАН, РНОИО, 2010.

14

 

Представление графов прямоуголь­никами // Труды VI-й Московской межд. конф. по исследованию операций. Москва, 2010. С. 300.

1 с

М.: МГУ,

ВЦ РАН, РНОИО, 2010.