Отдел Математического моделирования

систем проек­тирования ВЦ РАН

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

 

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

 

 

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

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

 

 

 

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

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

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

Труды В.П. Козырева на MathNet.Ru.

Труды в РИНЦ (Elibrary.Ru).

 

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

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

 

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

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

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

 

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

п/п

Соавторы

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

Объём

Изд-во,

год

1

 

Теория графов // Итоги науки и техн. Сер. Теор. вероятн. Мат. стат. Теор. кибернет., 10 (1972). С. 25–74.

50 с.

М., 1972

2

 

Нахождение всех гамильтоновых цепей графа и изучение гамиль­то­но­во-связанных графов // Ж. вычисл. матем. и матем. физ., 16:3 (1976). С. 767–775

9 с.

М., 1976

3

Юшманов С. В.

Теория графов (алгоритмические, алгебраические и метрические проб­лемы) // Итоги науки и техн. Сер. Теор. вероятн. Мат. стат. Теор. кибернет., 23 (1985),  68–117

49 с.

М., 1985

4

Юшманов С. В.

Представления графов и сетей (кодирование, укладки и вложения) // Итоги науки и техн. Сер. Теор. вероятн. Мат. стат. Теор. кибернет., 27 (1990),  129–196

68 с.

М., 1990

5

 

Описание и порождение всех мини­мальных раскрасок интервального графа и решение смежных задач // Журнал вычислит. матем. и мат. физики 1996,- т. 36, № 5, С. 146-152.

7 с.

М., 1996

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

1

 

Алгоритмы построения и коррекции авиарасписаний. В сб.: Теория и реализация вычислительных систем реального времени. М.: ВЦ РАН, 1999, С. 11-23.

13 с.

М.: ВЦ РАН, 1999

2

Сергеев А.В.

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

27 c.

М.: ВЦ РАН, 2008

3

 

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

14 с.

М.: ВЦ РАН, 2010

4

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

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

14 с.

М.: ВЦ РАН, 2011

5

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

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

12 с.

М.: ВЦ РАН, 2011

6

 

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

4 с.

М.: ВЦ РАН, 2012

7

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

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

6 с.

М.: ВЦ РАН, 2012

8

 

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

11 с.

М.: ВЦ РАН, 2013

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

1

 

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

5 с.

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

2

 

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

1 стр.

М.: ВЦ РАН, 1998

3

 

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

4 с

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

4

 

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

1 с.

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

5

 

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

3 стр.

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

6

 

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

1 стр.

М., 2001

7

 

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

1 стр.

М., 2002

8

 

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

2 стр.

Мехмат. КГУ, 2002 г.

9

 

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

   2 c.

М., МГУ, 2004.

10

 

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

   1 с.

М.:МГУ,

2004.

11

 

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

   3 с.

М., МГУ,

2007.

12

 

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

7 с.

М.: МГУ, 2009.

13

 

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

5 с.

М.: МГУ, 2009.

14

 

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

   6 c.

М.: МГУ, 2009.

15

 

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

2 с.

М.: МГУ, ВЦ РАН, РНОИО, 2010.

16

 

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

1 с

М.: МГУ, ВЦ РАН, РНОИО, 2010.