Перейти к содержимому страницы.

Немолочнов Олег Фомич

Заведующий кафедрой Информатики и прикладной математики с 1997 по 2013 год (заведующий кафедрой Прикладной математики с 1976 по 1997 год).

Окончил ЛИТМО (1963) по специальности Математические и счетно-решающие приборы.

Работает в ЛИТМО с 1963 года: декан факультета Точной механики и вычислительной техники (1975—77, 1991—94), проректор по научной работе (1977—89), декан факультета Компьютерных технологий и управления (1994—2008).

Кандидат технических наук (1967), доцент (1970), доктор технических наук (1976), профессор по кафедре Прикладной математики (1978).

Один из руководителей научно-педагогической школы университета «Компьютерные и информационные технологии».

Председатель диссертационного совета Д 212.227.05 по специальностям:

05.13.12 — Системы автоматизации проектирования (приборостроение) (технические науки)
05.13.19 — Методы и системы защиты информации, информационная безопасность (технические науки)

Награжден медалью «В память 300-летия Санкт-Петербурга» (2004).

Автор более 70 научных работ, подготовлено более 30 кандидатов наук.

Научные труды:
Имеет более 100 научных трудов, среди которых:

  • Проектирование цифровых вычислительных машин./под ред. С.А. Майорова. Учебное пособие для студентов вузов. М.: ВШ, 1972
  • Microprocessor model for test generation. Proceeding of the 3 rd Symposium of the IMEKO Techical Commitle to TECHNICAL DIAGNOSTICS (TC 10), M.: October 3-5, 1983
  • Методы технической диагностики. Л.,1978.

Публикации





Парамонов П.П., Колесников Ю.Л., Гатчин Ю.А., Алиев Т.И., Немолочнов О.Ф., Жаринов И.О., Сабо Ю.И.Вехи истории базовой кафедры Машинного проектирования бортовой электронно-вычислительной аппаратуры НИУ ИТМО при ОКБ «Электроавтоматика» -2013. - Вып. 7

Немолочнов О.Ф., Гатчин Ю.А., Зыков А.Г., Поляков В.И., Македонский А.А. Структурирование вычислительного процесса по графо-аналитическим моделям // Информационные технологии в профессиональной деятельности и научной работе: сборник материалов Всероссийской научно-практической конференции с международным участием: в 2 ч - 2013. - Т. 1. - С. 193-204

Немолочнов О.Ф. Методы тестирования вычислительных процессов // Научно-технический вестник СПбГУ ИТМО - 2007. - № 45. - С. 121-126

Немолочнов О.Ф. Модель и примитивы покрытий вершин циклических вычислительных процессов // Известия вузов. Приборостроение - 2007. - Т. 50. - № 8. - С. 18-23

Публикации в репозитории Университета ИТМО

Гатчина Ю. Ю., Немолочнов О. Ф.
ИМИТАЦИОННАЯ МОДЕЛЬ ИНФОРМАЦИОННО-ИЗМЕРИТЕЛЬНОЙ И УПРАВЛЯЮЩЕЙ СИСТЕМЫ
Статья опубликована ИЗВЕСТИЯ ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЙ «ПРИБОРОСТРОЕНИЕ» в выпуске 11(58) за 2015 г.

Немолочнов О. Ф., Осовецкий Л. Г.
КРИЗИС ПРОМЫШЛЕННОЙ ТЕХНОЛОГИИ ПРОГРАММИРОВАНИЯ, НЕДЕКЛАРИРОВАННЫЕ ВОЗМОЖНОСТИ И DON’T CARE
Статья опубликована ИЗВЕСТИЯ ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЙ «ПРИБОРОСТРОЕНИЕ» в выпуске 1(57) за 2014 г.

Зыков А. Г., Безруков А. В., Немолочнов О. Ф., Поляков В. И., Андронов А. В.
ГРАФО-АНАЛИТИЧЕСКИЕ МОДЕЛИ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ В САПР
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 4(74) за 2011 г.

Немолочнов О. Ф., Зыков А. Г., Поляков В. И., Македонский А. А.
ПАРАЛЛЕЛЬНЫЕ СТРУКТУРЫ УПРАВЛЕНИЯ ВЫЧИСЛИТЕЛЬНЫМИ ПРОЦЕССАМИ В САПР
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 4(74) за 2011 г.

Немолочнов О. Ф., Зыков А. Г., Поляков В. И.
ИМПЛИКАЦИЯ И ЭКВИВАЛЕНТНОСТЬ КАК ОСНОВА ВЕРИФИКАЦИИ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 4(68) за 2010 г.

Немолочнов О. Ф., Зыков А. Г., Кулагин В. С., Осовецкий Л. Г., Поляков В. И., Суханов А. В.
МЕТОД ОБНАРУЖЕНИЯ НЕДЕКЛАРИРОВАННЫХ ВОЗМОЖНОСТЕЙ И ЗНАЧЕНИЙ DON’T CARE ВЫЧИСЛИТЕЛЬНОГО ПРОЦЕССА
Статья опубликована ИЗВЕСТИЯ ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЙ «ПРИБОРОСТРОЕНИЕ» в выпуске 12(52) за 2009 г.

Немолочнов О. Ф., Игнатов М. С.
ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ ПОДДЕРЖКИ ПРИНЯТИЯ РЕШЕНИЯ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 1(46) за 2008 г.

Немолочнов О. Ф., Зыков А. Г., Осовецкий Л. Г., Поляков В. И.
МЕТОДЫ ТЕСТИРОВАНИЯ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 11(45) за 2007 г.

Немолочнов О. Ф., Зыков А. Г., Поляков В. И., Петров К. В.
Учебно-исследовательская САПР верификации и тестирования вычислительных процессов программ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 9(32) за 2006 г.

Немолочнов О. Ф., Зыков А. Г., Поляков В. И., Петров К. В.
Моделирование простых логических неисправностей вычислительных процессов программ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 9(32) за 2006 г.

Немолочнов О. Ф., Петров К. В.
МОДЕЛИРОВАНИЕ ЛОГИЧЕСКИХ НЕИСПРАВНОСТЕЙ В ЦИКЛАХ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ ПРОГРАММ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 2(25) за 2006 г.

Немолочнов О. Ф., Зыков А. Г., Поляков В. И., Сидоров А. В.
Структурирование программ и вычислительных процессов на множество линейных и условных вершин
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 3(19) за 2005 г.

Немолочнов О. Ф., Зыков А. Г., Поляков В. И.
Кубические покрытия логических условий вычислительных процессов и программ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 3(14) за 2004 г.

Немолочнов О. Ф., Зыков А. Г., Лаздин А. В., Поляков В. И.
Верификация в исследовательских, учебных и промышленных системах
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 5(11) за 2003 г.

Зыков А. Г., Немолочнов О. Ф., Поляков В. И.
Построение комплексного покрытия последовательностных схем методом пересечения покрытий систем булевых функций
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 2(6) за 2002 г.

Лаздин А. В., Немолочнов О. Ф.
Метод построения графа функциональной программы для решения задач верификации и тестирования
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 2(6) за 2002 г.

Зыков А. Г., Немолочнов О. Ф., Поляков В. И.
Универсальная модель последовательностных схем в САПР
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 2(6) за 2002 г.

Лаздин А. В., Немолочнов О. Ф.
Оценка сложности графа функциональной программы
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 2(6) за 2002 г.