ИСТИНА

Владимирова Юлия Сергеевна пользователь

МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики, Лаборатория дискретных управляющих систем и их приложений, старший научный сотрудник, с 1 ноября 1998

кандидат физико-математических наук с 2004 года

Соавторы: Брусенцов Н.П., Рамиль Альварес Х., Маслов С.П., Сидоров С.А.

34 статьи, 1 книга, 12 докладов на конференциях, 11 тезисов докладов, 3 НИР, 1 диссертация, 1 дипломная работа, 1 учебный курс

Количество цитирований статей в журналах по данным Web of Science: 0, Scopus: 5

IstinaResearcherID (IRID): 1429430

Деятельность стиль:  обычный | ГОСТ | plain | abbrv | acm | alpha | amsalpha | amsplain | apalike | ieeetr | siam

• Статьи в журналах

  • • 2015 Об извлечении квадратного корня в троичной симметричной системе
    • Рамиль Альварес Х., Владимирова Ю.С.
    • в журнале Современные информационные технологии и ИТ-образование, издательство Фонд содействия развитию интернет-медиа, ИТ-образования, человеческого потенциала Лига интернет-медиа (Москва), том 11, № 2, с. 233-238
  • • 2005 Компьютеры и обучение
    • Брусенцов Н.П., Владимирова Ю.С., Рамиль Альварес Х.
    • в журнале Вестник Московского университета. Серия 20: Педагогическое образование, издательство Изд-во Моск. ун-та (М.), № 1
  • • 2004 Компьютеризация булевой алгебры
    • Брусенцов Н.П., Владимирова Ю.С.
    • в журнале Доклады Академии наук, издательство Наука (М.), том 395, № 2, с. 7-10
  • 
    • 1998 Solution of Boolean Equations
    • Brusentsov N.P., Vladimirova Yu S.
    • в журнале Computational Mathematics and Modeling, издательство Consultants Bureau (United States), том 9, № 4, с. 287-295

• Статьи в сборниках

  • • 2019 К 60-летию троичной ЭВМ "Сетунь"
    • Владмирова Ю.С., Рамиль Альварес Х.
    • в сборнике IX Международная научно-практическая конференция имени А.И. Китова "Информационные технологии и математические методы в экономике и управлении" (ИТиММ-2019), место издания ФГБОУ ВО "РЭУ им. Г.В.Плеханова" Москва, с. 144-150
  • 
    • 2017 On Logical Researches of N.P. Brusentsov
    • Vladimirova Yulia
    • в сборнике Selected Papers 2017 Fourth International Conference on Computer Technology in Russia and in the Former Soviet Union (SORUCOM), 3-5 October 2017 Zelenograd, Russia, место издания CPS, с. 224-226 DOI
  • • 2014 Software for a Small Computer "Setun"
    • Ramil Alvarez J., Vladimirova J.S.
    • в сборнике SORUCOM '14 Proceedings of the 2014 Third International Conference on Computer Technology in Russia and in the Former Soviet Union, с. 110-113
  • • 2014 Программное обеспечение малой ЭВМ “Сетунь”
    • Рамиль Альварес Х., Владимирова Ю.С.
    • в сборнике Труды SORUCOM-2014. Третья Международная конференция «Развитие вычислительной техники и ее программного обеспечения в России и странах бывшего СССР», место издания Казань, том 1, с. 315-318
  • • 2014 Троичные компьютеры в МГУ
    • Брусенцов Н.П., Маслов С.П., Рамиль Альварес Х., Владимирова Ю.С.
    • в сборнике История отечественной электронной вычислительной техники, место издания ИД "Столичная энциклопедия" М, с. 251-255
  • • 2013 Алгоритм деления по модулю в симметричных системах счисления
    • Владимирова Ю.С., Рамиль Альварес Х.
    • в сборнике Программные системы и инструменты. Тематический сборник, серия Программные системы и инструменты, место издания МАКС Пресс, Москва, том 14, с. 209-217
    • редакторы Королев Л.Н., Корухова Людмила Сергеевна, Терехин Андрей Николаевич
  • • 2011 Ternary Dialectical Informatics
    • Brusentsov N.P., Vladimirova J.S.
    • в сборнике Proceedings from the IFIP Conference “Perspectives on Soviet and Russian Computing”. John Impagliazzo and Eduard Proydakov, Editors, место издания Springer Science, с. 81-88
  • • 2011 Архитектура процессора троичной виртуальной машины
    • Сидоров С.А., Владимирова Ю.С.
    • в сборнике Программные системы и инструменты. Тематический сборник, серия Программные системы и инструменты, место издания Издательский отдел факультета ВМК МГУ имени М.В. Ломоносова; МАКС Пресс Москва, том 12, с. 46-55
    • редакторы Королев Л.Н., Корухова Людмила Сергеевна, Костенко Валерий Алексеевич, Мальковский Михаил Георгиевич
  • • 2011 Компьютеризация рассуждений на основе метода индексов Льюиса Кэрролла
    • Владимирова Ю.С.
    • в сборнике Изучение, анализ новейших зарубежных разработок в обл-ти выч-х систем стратегического назначения (ВССН) и перспективы их применения в науч-х и инж-х разработках в ведущих национальных исследованиях университетах России, место издания Изд-во Политехн. ун-та СПб, с. 226-218
  • • 2011 Метод индексов Льюиса Кэрролла как основа компьютеризации рассуждения
    • Владимирова Ю.С.
    • в сборнике Программные системы и инструменты. Тематический сборник, серия Программные системы и инструменты, место издания Издательский отдел факультета ВМК МГУ имени М.В. Ломоносова; МАКС Пресс Москва, том 12, с. 23-26
    • редакторы Королев Л.Н., Корухова Людмила Сергеевна, Костенко Валерий Алексеевич, Мальковский Михаил Георгиевич
  • • 2011 Отношение следования в универсуме силлогистических суждений
    • Владимирова Ю.С.
    • в сборнике Н.П. Брусенцов, Ю.С. Владимирова. Аристотелева силлогистика в символической логике Льюиса Кэрролла, место издания Фонд «Новое тысячелетие» Москва, с. 9-11
  • • 2011 Трехзначная логика Льюиса Кэрролла как основа компьютеризации содержательного рассуждения
    • Владимирова Ю.С.
    • в сборнике Н.П. Брусенцов, Ю.С. Владимирова. Аристотелева силлогистика в символической логике Льюиса Кэрролла, место издания Фонд «Новое тысячелетие» Москва, с. 6-9
  • • 2010 Компьютеризация содержательного рассуждения на основе силлогистического вывода
    • Владимирова Ю.С.
    • в сборнике Программные системы и инструменты. Тематический сборник, серия Программные системы и инструменты, место издания Изд. отделения ф-та ВМК МГУ Москва, том 11, с. 92-97
    • редакторы Королев Л.Н., Корухова Людмила Сергеевна, Костенко Валерий Алексеевич
  • • 2009 Программная реализация аристотелевой силлогистики
    • Владимирова Ю.С.
    • в сборнике Программные системы и инструменты. Тематический сборник, серия Программные системы и инструменты, место издания Издательский отдел факультета ВМК МГУ имени М.В. Ломоносова; МАКС Пресс Москва, том 10, с. 8-11
    • редакторы Королев Л.Н., Корухова Людмила Сергеевна, Костенко Валерий Алексеевич
  • • 2008 Двухзначная логика и адекватность информатики
    • Брусенцов Н.П., Владимирова Ю.С.
    • в сборнике Инфокоммуникационные технологии в науке, производстве и образовании: Третья международная научно-техническая конференция, г. Ставрополь, 1-5 мая 2008, место издания Изд-во СевКавГТУ Ставрополь, том 1, с. 1-5
  • • 2008 Силлогистика Аристотеля и гераклитов принцип сосуществования противоположностей
    • Владимирова Ю.С.
    • в сборнике Программные системы и инструменты. Тематический сборник, серия Программные системы и инструменты, место издания МАКС Пресс Москва, том 9, с. 129-132
    • редакторы Королев Л.Н., Корухова Людмила Сергеевна, Костенко Валерий Алексеевич
  • • 2007 Конструктная компьютеризация аристотелевой силлогистики
    • Брусенцов Н.П., Владимирова Ю.С.
    • в сборнике Программные системы и инструменты. Тематический сборник, серия Программные системы и инструменты, место издания Изд-во факультета ВМиК МГУ Москва, том 8, с. 24-28
  • • 2007 Конструктная компьютеризация силлогистики
    • Брусенцов Н.П., Владимирова Ю.С.
    • в сборнике Математические методы распознавания образов. ММРО-13, место издания МАКС-Пресс Москва, с. 10-13
  • • 2006 Троичная диалектическая информатика
    • Брусенцов Н.П., Владимирова Ю.С.
    • в сборнике SORUCON.2006: Развитие вычислительной техники в России и странах бывшего СССР: история и перспективы: материалы междунар. конф. (3-7 июля 2006 года): В 2 ч, место издания Петрозаводск, том 1, с. 153-159
  • • 2005 Троичная компьютеризация логики
    • Брусенцов Н.П., Владимирова Ю.С.
    • в сборнике Математические методы распознавания образов (ММРО-12). Доклады 12-й Всероссийской конференции, место издания МАКС Пресс, с. 40-42
  • • 2005 Троичный логико-алгебраический и арифметический процессор
    • Брусенцов Н.П., Владимирова Ю.С., Рамиль Альварес Х.
    • в сборнике Программные системы и инструменты. Тематический сборник, серия Программные системы и инструменты, место издания Издательский отдел ВМК МГУ М, том 6, с. 184-187
  • • 2003 Булевы уравнения и логический вывод
    • Брусенцов Н.П., Владимирова Ю.С.
    • в сборнике Программные системы и инструменты. Тематический сборник, серия Программные системы и инструменты, место издания Ф-т ВМиК МГУ Москва, том 4, с. 10-12
    • редактор Корухова Людмила Сергеевна
  • • 2003 Конструктная компьютеризация булевой алгебры
    • Брусенцов Н.П., Владимирова Ю.С.
    • в сборнике Доклады 11-й Всероссийской конференции “Математические методы распознавания образов", место издания ВЦ РАН Москва, с. 33-34
  • • 2003 Логико-алгебраический процессор
    • Брусенцов Н.П., Владимирова Ю.С.
    • в сборнике Программные системы и инструменты. Тематический сборник, серия Программные системы и инструменты, место издания Ф-т ВМиК МГУ Москва, том 4, с. 163-165
    • редактор Корухова Людмила Сергеевна
  • • 2003 Логико-алгебраический процессор
    • Брусенцов Н.П., Владимирова Ю.С.
    • в сборнике Программные системы и инструменты. Тематический сборник, серия Программные системы и инструменты, место издания Ф-т ВМиК МГУ Москва, том 4, с. 163-165
    • редактор Корухова Людмила Сергеевна
  • • 2002 Троичное конструктное кодирование булевых выражений
    • Брусенцов Н.П., Владимирова Ю.С.
    • в сборнике Программные системы и инструменты. Тематический сборник, серия Программные системы и инструменты, место издания Ф-т ВМиК МГУ Мсква, том 3, с. 6-10
  • • 2001 Троичный минимизатор булевых выражений
    • Брусенцов Н.П., Владимирова Ю.С.
    • в сборнике Программные системы и инструменты. Тематический сборник, серия Программные системы и инструменты, место издания МАКС Пресс Москва, том 2, с. 205-208
  • • 1998 Решение булевых уравнений
    • Брусенцов Н.П., Владимирова Ю.С.
    • в сборнике Методы математического моделирования, место издания Диалог-МГУ Москва, с. 59-68
  • • 1996 Компьютерная система решения булевых уравнений
    • Брусенцов Н.П., Владимирова Ю.С.
    • в сборнике Компьютерные аспекты в научных исследованиях и учебном процессе, место издания Изд-Во Моск. Унив, с. 99-100
  • • 1996 Конструктная реализация булевой алгебры
    • Владимирова Ю.С.
    • в сборнике Интегрированная система обучения, конструирования программ и разработки дидактических материалов (учебно-методическое пособие), место издания Изд-во ф-та ВМиК МГУ М

• Книги

  • • 2015 Введение в троичную информатику
    • Владимирова Ю.С.
    • место издания АРГАМАК-МЕДИА Москва, ISBN 978-5-00024-044-1, 160 с.

• Доклады на конференциях

  • • 2019 К 60-летию троичной ЭВМ «Сетунь»: аппаратура и программное обеспечение (Устный)
    • Авторы: Рамиль Альварес Х., Владимирова Ю.С.
    • «Ломоносовские чтения - 2019». Секция «ВМК», Москва, МГУ, Россия, 15-25 апреля 2019
  • • 2019 К 60-летию троичной ЭВМ «Сетунь» (Устный)
    • Авторы: Владимирова Ю.С., Рамиль Альварес Х.
    • VIII Международная научно-практическая конференция им. А.И. Китова, Москва, Россия, 21-22 марта 2019
  • • 2018 Сжатие по Хаффману и самокорректирующиеся коды Хемминга на троичных машинах (Устный)
    • Авторы: Рамиль Альварес Х., Владимирова Ю.С.
    • Ломоносовские чтения-2018, секция "Вычислительная математика и кибернетика", МГУ имени М.В. Ломоносова, Россия, 16-27 апреля 2018
  • • 2017 О логических исследованиях Н.П. Брусенцова. (Устный)
    • Автор: Владимирова Ю.С.
    • IV международная конференция «РАЗВИТИЕ ВЫЧИСЛИТЕЛЬНОЙ ТЕХНИКИ В РОССИИ И СТРАНАХ БЫВШЕГО СССР: ИСТОРИЯ И ПЕРСПЕКТИВЫ» , Зеленоград, Россия, 3-5 октября 2017
  • • 2016 Программная реализация метода индексов Кэрролла на троичной виртуальной машине (Устный)
    • Автор: Владимирова Ю.С.
    • Ломоносовские чтения - 2016, МГУ им. М.В. Ломоносова, Россия, 18-27 апреля 2016
  • • 2015 Об извлечении квадратного корня в троичной симметричной системе (Устный)
    • Авторы: Владимирова Ю.С., Рамиль Альварес Х.
    • X Юбилейная Международная научно-практическая конференция «Современные информационные технологии и ИТ-образование», Москва, МГУ имени М.В. Ломоносова, Россия, 20-22 ноября 2015
  • • 2014 Программное обеспечение малой ЭВМ “Сетунь” (Устный)
    • Авторы: Владимирова Ю.С., Рамиль Альварес Х.
    • SORUCOM-2014. Третья Международная конференция «Развитие вычислительной техники и ее программного обеспечения в России и странах бывшего СССР», 2014
  • • 2014 Троичные цифровые машины в МГУ (Устный)
    • Авторы: Маслов С.П., Владимирова Ю.С., Рамиль Альварес Х., Брусенцов Н.П.
    • Первая всероссийская научно-практическая конференция «Посткремниевые вычисления», Переславль-Залесский, 2014
  • • 2014 Алгоритм деления по модулю в симметричных системах счисления (Устный)
    • Авторы: Владимирова Ю.С., Рамиль Альварес Х.
    • Ломоносовские чтения - 2014. Секция вычислительной математики и кибернетики, факультет ВМК МГУ имени М.В. Ломоносова, Россия, 14-23 апреля 2014
  • • 2013 Решение задачи определения оптимального набора способов выборочного изотопного мечения аминокислот в протеинах в целях отнесения пиков на двумерных спектрах ЯМР при помощи троичной содержательной логики
    • Авторы: Дубинный М.А., Владимирова Ю.С.
    • Ломоносовские чтения - 2013, Москва, МГУ, Россия, 2013
  • • 2012 Базисный набор процедур компьютерной системы рассуждения, реализованной в Диалоговой системе структурированного программирования ДССП
    • Автор: Владимирова Ю.С.
    • ЛОМОНОСОВCКИЕ ЧТЕНИЯ 2012, 2012
  • • 2011 Метод индексов Льюиса Кэрролла как основа компьютеризации рассуждения
    • Автор: Владимирова Ю.С.
    • Ломоносовские чтения - 2011, МГУ, 2011

• Тезисы докладов

  • • 2019 К 60-летию троичной ЭВМ «Сетунь»: аппаратура и программное обеспечение
    • Владимирова Ю.С., Рамиль Альварес Х.
    • в сборнике Научная конференция ЛОМОНОСОВСКИЕ ЧТЕНИЯ. Тезисы докладов. 15-25 апреля 2019 г., серия СЕКЦИЯ ВЫЧИСЛИТЕЛЬНОЙ МАТЕМАТИКИ И КИБЕРНЕТИКИ, Факультет вычислительной математики и кибернетики, издательство ООО "МАКС Пресс" (Москва), тезисы, с. 33-34
  • • 2018 Сжатие по Хаффману и самокорректирующиеся коды Хемминга на троичных машинах
    • Владимирова Ю.С., Рамиль Альварес Х.
    • в сборнике Ломоносовские чтения 2018 ф-т ВМК МГУ, место издания Макс-Пресс, тезисы, с. 37-38
  • • 2017 О логических исследованиях Н.П. Брусенцова
    • Владимирова Ю.С.
    • в сборнике Сборник трудов SoRuCom-2017. Четвертая международная конференция «Развитие вычислительной техники в России и странах бывшего СССР: история и перспективы». Зеленоград. 3-5 октября 2017 г, место издания ФГБОУ ВО «РЭУ им. Г.В.Плеханова» Москва, тезисы, с. 26-29
  • • 2016 Программная реализация метода индексов Кэрролла на троичной виртуальной машинеП
    • Владимирова Ю.С.
    • в сборнике Научная конференция "ЛОМОНОСОВСКИЕ ЧТЕНИЯ 2016". Тезисы докладов 18-27 апреля 2016 г, серия факультет вычислительной математики и кибернетики, место издания МАКС Пресс Москва, тезисы
  • • 2014 Алгоритм деления по модулю в симметричных системах счисления
    • Владимирова Ю.С., Рамиль Альварес Х.
    • в сборнике Ломоносовские чтения: Научная конференция: Тезисы докладов, место издания Издательский отдел факультета ВМК МГУ Москва, тезисы, с. 65-66
  • • 2014 Алгоритм деления по модулю в симметричных системах счисления
    • Владимирова Ю.С., Рамиль Альварес Х.
    • в сборнике Тезисы конференции "Ломоносовские чтения - 2014". Секция вычислительной математики и кибернетики. МГУ имени М.В. Ломоносова, тезисы
  • • 2014 Троичные цифровые машины в МГУ
    • Брусенцов Н.П., Маслов С П., Рамиль Альварес Х., Владимирова Ю.С.
    • в сборнике Сборник тезисов докладов Национального суперкомпьютерного форума (НСКФ-2014, Переславль-Залесский), место издания Институт программных систем им. А.К. Айламазяна РАН Переславль-Залесский, тезисы, с. 108-117
  • • 2012 Выразимость противоположности как необходимое условие представления отношения следования
    • Владимирова Ю.С.
    • в сборнике Проблеми викладання логiки та дисциплiн логiчного циклу: V мiжнародна науково-практична конференцiя (3-4 травня 2012 року): Матерiали доповiдей та виступiв, место издания Видавничо-полiграфiчний центр “Киïвський унiверситет” Киев, тезисы, с. 21-22
  • • 2010 Еще раз о силлогистике Аристотеля
    • Брусенцов Н.П., Владимирова Ю.С.
    • в сборнике Проблеми викладання лгiки та дисциплiн логчного циклу. IV мiдународна науково-практична конференцiя (13-14 травня 2010 року), место издания ВПЦ "Киiвськийнiверситет" Киев, тезисы, с. 5-7
  • • 2008 Аристотелева силлогистика – первооснова адекватного интеллекта
    • Владимирова Ю.С.
    • в сборнике Проблеми викладання логiки та дисциплiн логiчного циклу: Мiжнародна науково-практична конференцiя (15-16 травня 2008 року): Матерiали доповiдей та виступiв, место издания Видавничо-полiграфiчний центр “Киïвський унiверситет” Киев, тезисы, с. 153-153
  • • 2002 Троичная компьютеризация булевой алгебры
    • Брусенцов Н.П., Владимирова Ю.С.
    • в сборнике Третья международная конференция “Цифровая обработка информации и управление в чрезвычайных ситуациях. 28-30 мая 2002 года. Минск. Доклады", место издания Институт технической кибернетики Национальной академии наук Беларуси Минск, том 1, тезисы, с. 195-199

• НИРы

  • • 1 января 2019 - 31 декабря 2023 Математические модели дискретных управляющих систем и их приложения
    • Лаборатория дискретных управляющих систем и их приложений
    • Руководители: Захаров В.А., Ложкин С.А. Ответственный исполнитель: Романов Д.С. Участники НИР: Владимирова Ю.С., Данилов Б.Р., Довгалюк Е.Л., Жуков В.В., Павлова А.Ф., Подымов В.В., Рамиль Альварес Х., Шуплецов М.С.
  • • 1 января 2014 - 31 декабря 2018 Теория дискретных управляющих систем, ее приложения в проектировании СБИС и программировании
    • Кафедра математической кибернетики
    • Руководители: Захаров В.А., Ложкин С.А. Ответственные исполнители: Романов Д.С., Шуплецов М.С. Участники НИР: Антюфеев Г.В., Владимирова Ю.С., Высоцкий Л.И., Данилов Б.Р., Добровецкий Д.И., Довгалюк Е.Л., Жуков В.В., Зиновьев В.С., Коноводов В.А., Кулешов О.В., Кухтинов А.С., Любич И.Г., Марченко А.М., Маслов С.П., Морозов Е.В., Павлова А.Ф., Подловченко Р.И., Подымов В.В., Рамиль Альварес Х., Романов Д.С., Сальников В.А., Шуплецов М.С.
  • • 1 января 2011 - 31 декабря 2012 Разработка компьютерной системы анализа умозаключений посредством трехзначного обобщения булевой алгебры
    • Лаборатория дискретных управляющих систем и их приложений
    • Руководители: Брусенцов Н.П., Королев Л.Н. Участники НИР: Владимирова Ю.С., Маслов С.П., Рамиль Альварес Х.

• Диссертация

  • • 2004 Компьютеризация булевой алгебры в диалоговой системе структурированного программирования
    • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)
    • Автор: Владимирова Ю.С., к.ф.-м.н., МГУ имени М.В. Ломоносова
    • Научный руководитель: Брусенцов Н.П., к.т.н., доц.
    • Защищена в совете Д 501.001.44 при МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики

• Руководство дипломными работами

  • • 2013 Архивирование троичных данных (программная реализация в Диалоговой системе структурированного программирования для Троичной виртуальной машины)
    • Научные руководители: Рамиль Альварес Х., Владимирова Ю.С.
    • Автор: Челнокова П.Р. (Специалист)

• Авторство учебных курсов

  • • 2009 Введение в троичную информатику
    • Автор: Владимирова Ю.С.

• Преподавание учебных курсов

  • • с 1 сентября 2009 Введение в троичную информатику
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики, Лаборатория дискретных управляющих систем и их приложений
    • обязательная, базовой части, лекции, 72 часов