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

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

Заведующий кафедрой Информатики и прикладной математики с 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.

Публикации

Осовецкий Л.Г., Немолочнов О.Ф.

Прогноз развития интернета humanity sapiens // Защита информации. Инсайд -2015. - № 5(65). - С. 13-15 Подробнее

Гатчина Ю.Ю., Немолочнов О.Ф.

Имитационная модель информационно-измерительной и управляющей системы // Известия высших учебных заведений. Приборостроение -2015. - Т. 58. - № 11. - С. 895-900 Подробнее

Бурлов Д.И., Меженин А.В., Немолочнов О.Ф., Поляков В.И.

Автоматизация выбора метода сжатия цифрового видео в интеллектуальных системах железнодорожного транспорта // Вестник Ростовского государственного университета путей сообщения -2014. - № 1(53). - С. 35-40 Подробнее

Немолочнов О.Ф., Осовецкий Л.Г.

Кризис промышленной технологии программирования, недекларированные возможности и DON'T CARE // Известия высших учебных заведений. Приборостроение -2014. - Т. 57. - № 1. - С. 39-46 Подробнее

Немолочнов О.Ф., Гатчин Ю.А., Зыков А.Г., Поляков В.И., Македонский А.А.

Структурирование вычислительного процесса по графо-аналитическим моделям // Информационные технологии в профессиональной деятельности и научной работе: сборник материалов Всероссийской научно-практической конференции с международным участием -2013. - Т. 1. - С. 193-204

Парамонов П.П., Колесников Ю.Л., Гатчин Ю.А., Алиев Т.И., Немолочнов О.Ф., Жаринов И.О., Сабо Ю.И.

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

Зыков А.Г., Меженин А.В., Немолочнов О.Ф., Поляков В.И.

Неравенства-отношения и выбор альтернативных решений управления вычислительными процессами // ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ -2012. - № 5. - С. 16 – 19

Меженин А.В., Зыков А.Г., Немолочнов О.Ф., Поляков В.И.

Алгебро-топологические методы верификации вычислительных процессов на основе знаний // Гибридные и синергетические интеллектуальные системы: теория и практика: материалы 1-го международного симпозиума (Калининград, 29июня-2июля 2012г.) -2012. - Т. 2. - С. 224-233

Меженин А.В., Поляков В.И., Немолочнов О.Ф., Зыков А.Г.

ВЕРИФИКАЦИЯ ПРОГРАММНО-АППАРАТНЫХ СРЕДСТВ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ -2012. - С. 91-94

Зыков А.Г., Поляков В.И., Немолочнов О.Ф.

Конечный автомат как модель синхронизации вычислительных процессов // Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT"12. Научное издание в 4-х томах -2012. - Т. 2. - С. 139-143

Жаринов И.О., Немолочнов О.Ф., Парамонов П.П., Суслов В.Д., Шукалов А.В.

Основы проектирования программного обеспечения бортовых информационно-управляющих систем: Учебное пособие - 2012

Жаринов И.О., Немолочнов О.Ф., Немолочнов О.Ф., Парамонов П.П., Суслов В.Д., Шукалов А.В.

Основы проектирования программного обеспечения бортовых информационно-управляющих систем - 2012

Жаринов И.О., Немолочнов О.Ф., Немолочнов О.Ф., Парамонов П.П., Суслов В.Д., Шукалов А.В.

Основы проектирования программного обеспечения бортовых информационно-управляющих систем - 2012

Гатчин Ю.А., Зыков А.Г., Немолочнов О.Ф., Поляков В.И., Поляков И.В.

Устранение критических состязаний сигналов в логических схемах при реализации вычислительных процессов // Вестник Марийского государственного технического университета -2012. - Т. 2. - С. 28-34

Зыков А.Г., Поляков В.И., Македонский А.А., Немолочнов О.Ф.

Параллельные структуры управления вычислительными процессами в САПР // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики -2011. - № 4(74). - С. 121-124

Зыков А.Г., Немолочнов О.Ф., Поляков В.И.

Условия-предикаты и отношения между переменными управления вычислительными процессами // Труды Конгресса по интеллектальным системам и информационным технологиям IS&IT'11. Научное издание в 4-х тома -2011. - Т. 1. - С. 173-179

Андронов А.В., Безруков А.В., Зыков А.Г., Немолочнов О.Ф., Поляков В.И.

Графо-аналитические модели вычислительных процессов в САПР // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики -2011. - С. 116-120

Зыков А.Г., Немолочнов О.Ф., Поляков В.И.

Импликация и эквивалентность как основа верификации // Университет ИТМО -2010. - С. 122

Зыков А.Г., Поляков В.И., Безруков А.В., Немолочнов О.Ф.

Графо-аналитические модели как средство верификации вычислительных процессов // Труды Конгресса по интеллектуальным системам и информационным технологиям AIS-IT'10. Научное издание в 4-х томах -2010. - Т. 2

Зыков А.Г., Немолочнов О.Ф., Осовецкий Л.Г., Поляков В.И., Суханов А.В.

Метод обнаружения недекларированных возможностей и значений don’t care вычислительного процесса // Известия вузов. "Приборостроение" -2009. - Т. 52. - № 12. - С. 32-40

Поляков В.И., Немолочнов О.Ф., Зыков А.Г.

Вычислительные процессы в логических схемах и программах // Труды Конгресса по Интеллектуальным системам и информационным технологиям AIS-IT'09. Научное издание в 4-х томах. М.: Физматлит, -2009. - Т. 2. - С. 124-129

Немолочнов О.Ф.

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

Немолочнов О.Ф.

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

Зыков А.Г., Поляков В.И., Немолочнов О.Ф., Лаздин А.В.

Верификация в исследовательских, учебных и промышленных системах // Научно-технический вестник СПбГУ ИТМО -2003. - № Выпуск 11. Актуальные проблемы анализа и синтеза сложных технических систем

Немолочнов О.Ф., Блохин В.Н.

Система управления банком данных с динамической базой данных -1979. - Т. Машинные методы проектирования электронно-вычислительной аппаратуры. - С. 15-19

Немолочнов О.Ф., Блохин В.Н.

Автоматизированная система контроля и поиска неисправностей АСКОПОН -1978. - № 2. - С. 67-71

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

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

Проекты

Методы верификации вычислительных процессов, основанные на знаниях
07/01/2012 - 12/31/2014