• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Владение языками
английский
Контакты
Телефон:
+7 (495) 772-9590 доб. 15114
Электронная почта:
Адрес: Таллинская ул., д. 34, каб. 522
Время консультаций: Таллинская,34, ауд. 522. Понедельник, четверг 15:00 до 17:00. Другие дни и время по предварительной договоренности. Все консультации в ауд. 522 ТОЛЬКО по предварительной договоренности.
Расписание
SPIN РИНЦ: 4804-0748
ORCID: 0000-0002-5250-5129
ResearcherID: K-7925-2013
Scopus AuthorID: 6507444021
Google Scholar
Руководитель
Старых В. А.
Версия для печати

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.

Топоркова Анна Станиславовна

  • Начала работать в НИУ ВШЭ в 2012 году.
  • Научно-педагогический стаж: 26 лет.

Образование, учёные степени и учёные звания

  • 2004
    Ученое звание: Доцент
  • 2002
    Кандидат технических наук: МИЭМ, специальность 05.13.11 «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», тема диссертации: Исследование динамических характеристик программ на масштабируемых ресурсах
  • 1988

    Специалитет: Московский институт электронного машиностроения, факультет: ФПМ, специальность «Прикладная математика»

Дополнительное образование / Повышение квалификации / Стажировки

2017 декабрь. НИУ ВШЭ. Программа повышения квалификации "Актуальные проблемы методической работы в вузе» Модуль 1 «Технологии преподавания» в объеме 38 часов. Сертификат   регистрационный номер 3609/3.13.

2017 июнь. НИУ ВШЭ. Программа повышения квалификации "Актуальные проблемы методической работы в вузе (Методические среды НИУ ВШЭ)" в объеме 38 часов. Удостоверение  о повышении квалификации № 091254. Регистрационный номер 3.13.03 - 100/5371.

2017 июнь. НИУ ВШЭ. Образовательная программа "Основы анализа данных и искусственного интеллекта. Модуль 1(лекционный)", объем 8 часов. Сертификат Рег. номер 3120 / 3.13

2016 декабрь. Программа повышения квалификации "Актуальные проблемы методической работы в вузе (Методические среды НИУ ВШЭ)". Удостоверение  о повышении квалификации № 080628

2016 октябрь Региональный образовательный центр ZyXEL в России. Курс  "Wireless LAN Level 1".

2016 октябрь Федеральное государственное автономное образовательное учреждение высшего образования "Национальный исследовательский технологический университет "МИСиС".  Дополнительная профессиональная программа "Управление деятельностью вузов. Подготовка кадров высшей квалификации" в объеме 16 часов. Удостоверение  о повышении квалификации № 772400000325. Регистрационный номер ЦИОП-417-2016.

2013 май. Краткосрочное повышение квалификации в Федеральном государственном бюджетном образовательном учреждении дополнительного профессионального образования «Государственный институт новых форм обучения» по программе «Управление знаниями» в объеме 72 часов. Рег.номер 2654-У.

2010 октябрь. Краткосрочное повышение квалификации в ГОУ ВПО «Московский государственный институт электроники и математики (технический университет)» по программе дополнительного профессионального образования по направлению «Проектирование основных образовательных программ ВУЗов при переходе на уровневую систему обучения» в объеме 72 часов. Рег. номер  345/ФПК.

Достижения и поощрения

Выпускные квалификационные работы студентов

Полный список ВКР

КОНСУЛЬТАЦИИ для студентов, выполняющих МКР и ВКР

Консультации проводятся в 522 ауд.

Предварительная договоренность о дате и времени по смс или почте обязательна!

Научный руководитель диссертационных исследований

на соискание учёной степени кандидата наук
1
Солопченко С. А. Применение методов анализа данных для повышения эффективности рекомендаций товаров и услуг на основе анализа истории покупок пользователей и товарной сетки предприятия (aспирантура: 1-й год обучения)

Курсовые работы 1 курс бакалавриат Алгоритмизация и Программирование

Вниманию студентов 1 курса бакалавриата!

Здесь  указаны выбранные темы 

Курсовых работ по дисциплине "Алгоритмизация и программирование"

в виде: 

Тема, дата и время получения письма от студента на корпоративную почту преподавателя Топорковой А.С.

Прошу сообщать по почте о выборе темы из предложенного списка или с  формулировкой инициативной темы. Указание всех исполнителей обязательно.

Тема закрепляется за тем студентом, кто сообщил о своем выборе раньше.

 В 2018 / 2019 учебном году   у   Топорковой А.С. 17 курсовых работ.

Программа для сжатия данных используя разные алгоритмы сжатия.

15 ноября 2018 г. 23:58

Программа деления многочлена на многочлен

15 ноября 2018 г. 12:26

игра Баше

15 ноября 2018 г. 16:42

Ханойские Башни

14 ноября 2018 г. 20:32

 Изучение взаимодействия объектов в 2D 

моделировании на примере игры “Crow’s adventures”

 

2 исполнителя

Тема пока не утверждена

14 ноября 2018 г. 18:51

 

Игра «иксики и нолики»(Крестики-нолики)

12 ноября в 16:24

2 исполнителя

Программа, обучающая переводу чисел из десятичной системы в другие…

12 ноября В 15 час

Программа вычисления второй производной многочлена

12 ноября в 13 час

Разработка анализатора запыленности воздуха на платформе Arduino Nano V3

12 ноября в 13 час

2 исполнителя

Программа проверки равенства двух многочленов.

10 ноября 2018 г. 18:16

Генератор данжей (карт для подземелий) на C#

9 ноября 2018 г. 14:16

2 исполнителя

Программа вычисления производной мноночлена

8 ноября 2018, 14:07

2 исполнителя

 

Вниманию Студентов старших курсов

Выпускники МИЭМ ищут новых коллег

Приглашаются к сотрудничеству студенты старших курсов бакалавриата и магистры.

Направление деятельности - Quality Assurance (обеспечение качества ПО),

более узкая специализация  - Performance testing (тестирование производительности ПО).

Подробная информация:

Духан Игорь Васильевич       i.Dukhan@Eratechno.ru

Васин Сергей Сергеевич      S.Vasin@eratechno.ru

 

Учебные курсы (2018/2019 уч. год)

Учебные курсы (2017/2018 уч. год)

Учебные курсы (2015/2016 уч. год)

Учебные курсы (2014/2015 уч. год)

Учебные курсы (2013/2014 уч. год)

Учебные курсы (2012/2013 уч. год)

  • Интеллектуальные подсистемы САПР (Специалитет; где читается: Факультет информационных технологий и вычислительной техники; 5-й курс, 1 семестр)Рус
  • Итоговый государственный экзамен (Специалитет; где читается: Факультет информационных технологий и вычислительной техники; "Интеллектуальные системы обработки информации и управления", "Интегрированные системы автоматизированного управления"; 5-й курс, 2 семестр)Рус

  • Курсовая работа по дисциплине "Интеллектуальные подсистемы САПР" (Специалитет; где читается: Факультет информационных технологий и вычислительной техники; 5-й курс, 1 семестр)Рус

  • Курсовая работа по дисциплине "Языки программирования задач искусственного интеллекта" (Специалитет; где читается: Факультет информационных технологий и вычислительной техники; спец-я "Интеллектуальные системы обработки информации и управления"; 5-й курс, 1 семестр)Рус

  • Системы искусственного интеллекта (Специалитет; где читается: Факультет информационных технологий и вычислительной техники; "Интеллектуальные системы обработки информации и управления", "Интегрированные системы автоматизированного управления"; 4-й курс, 1 семестр)Рус

  • Языки программирования задач искусственного интеллекта (Специалитет; где читается: Факультет информационных технологий и вычислительной техники; спец-я "Интеллектуальные системы обработки информации и управления"; 4-й курс, 2 семестр)Рус
  • Языки программирования задач искусственного интеллекта (Специалитет; где читается: Факультет информационных технологий и вычислительной техники; спец-я "Интеллектуальные системы обработки информации и управления"; 5-й курс, 1 семестр)Рус

Организация систем и сетей

Дисциплина по выбору «Организация систем и сетей»

1      ФИО преподавателя: Топоркова Анна Станиславовна

 

2      Должность - доцент,  ученая степень - к.техн.н.

 

3     Контакты  :  atoporkova@hse.ru,

 

      Телефон рабочий: 8-495-772-95-90*15163

 

АУК Строгино, комн. 714

 

 

 

Цели освоения дисциплины

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

 

Компетенции обучающегося, формируемые в результате освоения дисциплины

В результате освоения дисциплины студент должен:

 

  • знать теоретические основы архитектурной и системотехнической организации вычислительных сетей, построение сетевых протоколов;

  • знать основы Интернет-технологий;

  • уметь выбирать, организовывать и эксплуатировать программно-аппаратные средства в создаваемых вычислительных и информационных и сетевых структурах;

  • знать области применения, архитектуру и основные характеристики современных суперкомпьютерных систем;

  • знать стандартные средства параллельных вычислений;

  • уметь решать задачи, требующие больших вычислительных мощностей, раскладывать сложные задачи на независимые подзадачи;

  • производить и синхронизировать вычисления сразу на большом количестве вычислительных единиц;

  • использовать кластерные и многопроцессорные системы;

  • иметь представление о решении проблем, о знаниях и рассуждениях, о неопределенных знаниях и рассуждениях в условиях неопределенности, процессе обучения в интеллектуальных системах, об общении, восприятии и осуществлении действий для систем искусственного интеллекта;

  • знать назначение, формальные основы и архитектуру экспертных систем, методологию решения классических и прикладных недетерминированных и слабо формализованных задач поиска допустимого решения.

     

    В результате выполнения заданий по курсу студенты приобретают навыки:

  • конфигурирования локальных сетей, реализации сетевых протоколов с помощью программных средств;

  • создавать собственные способы реализации параллельной обработки;

  • формализации задач в терминах искусственного интеллекта, в реализации этих алгоритмов средствами программирования;

  • программной реализации компонентов архитектуры экспертных систем.

Методические указания к лабораторным работам на SWI PROLOG

ПРАВИТЕЛЬСТВО РОССИЙСКОЙ ФЕДЕРАЦИИ

 

Федеральное государственное автономное образовательное учреждение
высшего профессионального образования

Национальный исследовательский университет
 «Высшая школа экономики»

 

Московский институт электроники и математики

Национального исследовательского университета

«Высшая школа экономики»

 

 

 

 

 

Департамент компьютерной инженерии

                                                

 

 

РАЗРАБОТКА И ОТЛАДКА ПРОГРАММ

НА ЯЗЫКЕ ПРОЛОГ

 

 

 

 

Учебно-методическое пособие

 

 

 

 

 

 

 

 

 

 

 

 

Москва  2015

Содержание

 

 

Общие сведения о языке Prolog                                                             3

Элементы синтаксиса в языке Prolog                                                     4

Типы данных в языке Prolog                                                                           5

Работа с SWI Prolog                                                                               6

Пример выполнения домашней работы                                                9

Задания к домашней работе                                                                   11

Библиографический список                                                                    15

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1. Общие сведения о языке Prolog

Язык логиче­ского программирования Пролог основан на модели пред­ставления знаний – исчислении предикатов первого порядка. Само назва­ние Пролог (PROgramming in LOGic) есть сокращение, означающее програм­миро­вание на языке логики.

Начало истории языка относится к 1970-м годам. Будучи декларативным язы­ком программирования, Пролог воспринимает в качестве программы некоторое описание задачи или баз знаний и сам производит логический вывод, а также поиск решения задач, пользуясь механизмом поиска с возвратом и унификацией.

Основными понятиями в языке Пролог являются факты, правила логического вывода и запросы, позволяющие описывать базы знаний, процедуры логиче­ского вывода и принятия решений.

Факты в языке Пролог описываются логическими предикатами с конкрет­ными значениями. Правила в Прологе записываются в форме правил логиче­ского вывода с логическими заключениями и списком логических условий.

Особую роль в интерпретаторе Пролога играют конкретные запросы к базам знаний, на которые система логического программирования генерирует ответы «истина» и «ложь». Для обобщённых запросов с переменными в качестве аргу­ментов Пролог выводит конкретные данные в подтверждение истинности обобщённых сведений и правил вывода.

Факты в базах знаний на языке Пролог представляют конкретные сведения (знания). Обобщённые сведения и знания в языке Пролог задаются правилами логического вывода (определениями) и наборами таких правил вывода (опреде­лений) над конкретными фактами и обобщёнными сведениями.

Структура программы на Прологе отличается от структуры программы, написанной на процедурном языке. Пролог-программа (как уже было сказано выше) является собранием правил и фактов. Решение задачи достигается интерпретацией этих правил и фактов. При этом пользователю не требуется обеспечивать детальную последовательность инструкций, чтобы указать, каким образом осуществляется управление ходом вычислений на пути к результату. Вместо этого он только определяет возможные решения задачи и обеспечивает программу фактами и правилами, которые позволяют ей отыскать требуемое решение.

Во всех других отношениях Пролог не отличается от традиционных языков программирования. Как и в случае программы написанной на любом другом языке, Пролог-программа предназначена для решения отдельной задачи.

 

2. Элементы синтаксиса в языке Prolog

 

 

3. Типы данных в языке Prolog

         Числа:

         Атомы:

         Строки:

         Списки:

         Стоит заметить, что списки могут быть разнородными (содержать любые комбинации выше- (и ниже-) перечисленных типов), а также могут быть вложенными.

         Структуры:

         Структура в прологе представляется функтором (имя структуры, то что до скобок) и параметрами (то что в скобках). Число параметров называется арностью функтора.

 

4. Работа с SWI Prolog

Для создания программы в среде SWI Prolog необходимо создать текстовый файл с расширением <filename>.pl.

В текстовом файле необходимо создать текст программы на языке Prolog, сохранить его с расширением .pl.

Например, для программы, позволяющей переводить знаки сравнения (<, >, =) в буквенный вид, необходимо ввести следующий текст:

 

Для компиляции файла необходимо его открыть в SWI Prolog.  Для этого используется пункт меню File -> Edit.

 

 

Пользователь указывает путь к ранее созданному текстовому файлу в появившемся окне, далее используется кнопка «Открыть».

 После этого SWI Prolog открывает окно редактора, в котором можно выполнить компиляцию файла, используя раздел меню Compile -> Make. После успешной компиляции внизу окна появится надпись «Make done».

 

 

Затем следует перейти в окно SWI Prolog, подгрузить созданный и откомпилированный файл, используя пункт меню  File-> Consult.

 

 

После успешного выполнения данной операции можно приступать к работе с программой, задавая запросы, включающие предикаты, описанные в программе. В конце запроса ставится точка.

Для нашего примера запросы могут быть такими:

 

 

         Стоит учесть, что ответ false после символа « ; » означает, что больше вариантов нет (говоря проще, этот символ позволяет вывести все ответы при их наличии).

 

 

 

5. Пример выполнения домашней работы

         Задание: Некто желает обзавестись домашним животным. Имеются данные о суточном рационе, необходимом разного рода животным, и соответственно о ценах за единицу продукта. Необходимо, исходя из месячного заработка пользователя и той минимальной суммы, которая требуется на жизнь ему самому, определить, каким животным он мог бы обзавестись, или сообщить о том, что на содержание питомца недостаточно средств.

         Выполнение: Первым шагом для выполнения задания является объявление всех структур, необходимых для расчета «животного».

         Как можно заметить, структурами в данной задаче являются животные (animal), количество еды (в весовом эквиваленте), которую каждое из животных потребляет (food), тип еды и ее денежный эквивалент (typefood) и тип еды, потребляемый каждым животным (eat).

         После этого необходимо рассчитать количество еды, потребляемое каждым животным ежедневно и ежемесячно.

         На указанном выше примере видно, из чего состоит каждая структура, что позволяет ориентироваться уже в буквенных и количественных параметрах.

         Следующим шагом является написание проверки возможности обладания животным.

         И последним штрихом является написание диалоговой части, позволяющей пользователю ввести информацию для получения результата.

                  Работа программы продемонстрирована ниже.

 

6. Задания к домашней работе

1

Имеется список из нескольких дисциплин, изучаемых студентами за время обучения. Для каждой дисциплины известен семестр, во время которого она изучается. Необходимо для произвольно заданной пользователем дисциплины определить, согласно его выбору: какие дисциплины изучаются ранее заданной, позже заданной, одновременно с заданной. При отсутствии запрашиваемой дисциплины в списке вывести ответ «Дисциплина не изучается».

2

Имеются данные о книгах библиотеки в виде: автор книги, название книги, тематика. Кроме того, имеются данные о читателях в виде: фамилия читателя, название взятой им книги. Программа должна осуществлять следующие действия: Запросить у пользователя (читателя) фамилию и если у него уже имеются книги на руках, отказать в выдаче книг. В противном случае – выдать ему имеющийся набор книг либо запрашиваемого автора, либо по запрашиваемой тематике. Нельзя предлагать книги, находящиеся на руках.

При отсутствии запрашиваемых сведений предусмотреть соответствующий ответ.

3

Некто желает обзавестись домашним животным. Имеются данные о суточном рационе, необходимом разного рода животным, и соответственно о ценах за единицу продукта. Необходимо, исходя из месячного заработка пользователя и той минимальной суммы, которая требуется на жизнь ему самому, определить, каким животным он мог бы обзавестись, или сообщить о том, что на содержание питомца недостаточно средств. Этот вариант описан в примере.

4

Служба знакомств имеет набор сведений о желающих завести знакомство в виде: фамилия, имя, пол, возраст, внешность, жилплощадь, зарплата, дети. Кроме того, для этих же клиентов отдельно хранятся их пожелания относительно будущего партнера. Необходимо клиенту подобрать кандидатуры для знакомства или сообщить об отсутствии подходящих кандидатур.

5

Имеется информация о зарплате и семейном положении мужчин в виде: ФИО, зарплата, женат ли на настоящий момент и если да, то на ком. Кроме того, имеется информация о существовавших когда-либо парах (возможно, уже распавшихся) и их детях в виде: отец, мать, количество детей.  Необходимо по запросу пользователя рассчитать сумму алиментов, приходящуюся заданной женщине, сумму алиментов, которую должен выплачивать заданный мужчина, составить список алиментоплательщиков. При отсутствии запрашиваемых сведений предусмотреть соответствующие ответы.

6

Имеется описание авиарейсов, в котором отмечаются пункты отправления и назначения, дата, время вылета и прибытия. Необходимо выбрать авиарейсы, подходящие для того, чтобы прибыть из одного пункта в заданный пункт   к определенному времени, но не ранее, чем за N часов до назначенного времени. При отсутствии запрашиваемых сведений предусмотреть соответствующий ответ.

7

Имеется описание движения автобусов, в котором содержатся пункты отправления и пункты назначения. Необходимо определить для двух произвольно взятых пунктов, существует ли возможность добраться из первого пункта во второй на автобусе, или если прямого сообщения нет – на двух автобусах. Предусмотреть вариант, когда автобусного сообщения нет.

8

Имеется ряд фирм, продающих компьютеры по различной цене без стоимости доставки. Известна стоимость доставки, устанавливаемая каждой фирмой отдельно в расчете за один километр пути  и известно расстояние до каждой из фирм в километрах. Кроме того, имеется список названий ненадежных фирм, с которыми мы не хотим иметь дела. Необходимо определить подходящие фирмы, исходя из имеющегося у нас количества денег для покупки. При отсутствии запрашиваемых сведений предусмотреть соответствующий ответ.

9

В деканате хранится информация о составе студенческих групп потока и о результатах сдачи экзаменов студентами различных групп в виде:

поток(группа1,…,группа5); группа_i(студент); оценки(студент, оценка1,..., оценка5).

Необходимо написать программу, позволяющую пользователю получить информацию:

а) список студентов заданной группы;

б) список отчисленных за неуспеваемость студентов потока;

в) список отчисленных за неуспеваемость студентов заданной группы.

При отсутствии запрашиваемых сведений предусмотреть соответствующий ответ.

10

В деканате хранится информация о составе студенческих групп потока и о результатах сдачи экзаменов студентами различных групп в виде:

поток(группа1,…,группа5); группа_i(студент); оценки(студент, оценка1,..., оценка5).

Необходимо написать программу, позволяющую пользователю получить информацию:

а) список студентов потока, получающих стипендию;

б) список студентов заданной группы,  получающих стипендию;

в) определить, к какой группе принадлежит заданный студент.

При отсутствии запрашиваемых сведений предусмотреть соответствующий ответ.

11

Информационная база ресторана содержит список блюд, которые могут быть в нем приготовлены, в виде: блюдо(название_блюда).

Для каждого блюда известен список ингредиентов, необходимый для его приготовления: ингредиенты(название блюда, ингридиент1,…, ингридиент5).  Кроме того, известны продукты, имеющиеся в наличии на сегодняшний день в виде: имеется(ингредиент). Необходимо составить программу, позволяющую: а) составить список блюд, которые можно приготовить сегодня, б) составить список продуктов, которые необходимо приобрести.

При отсутствии запрашиваемых сведений предусмотреть соответствующий ответ.

12

Информационная база ресторана содержит список блюд, которые могут быть в нем приготовлены, в виде: блюдо(название_блюда).

Для каждого блюда известен список ингредиентов, необходимый для его приготовления: ингредиенты(название блюда, ингредиент1,…, ингредиент5).  Кроме того, известны продукты, имеющиеся в наличии на сегодняшний день в виде: имеется(ингредиент). Необходимо составить программу, позволяющую составить вегетарианское меню, исходя из имеющихся продуктов.

При отсутствии запрашиваемых сведений предусмотреть соответствующий ответ.

13

Башня из кубиков может быть описана совокупностью фактов вида: НА(Кубик1, Кубик2), которые истинны, если Кубик1 поставлен на Кубик2.

Определить предикат ВЫШЕ(Кубик1, Кубик2), который истинен, если Кубик1 расположен в башне выше, чем Кубик2 и составить программу, позволяющую определить: список кубиков, расположенных выше заданного пользователем кубика; список кубиков, расположенных ниже заданного пользователем кубика; расположенных на том же уровне, что и кубик, заданный пользователем.

При отсутствии запрашиваемых сведений предусмотреть соответствующий ответ.

14

Покупателю необходимо приобрести три вида товара. Он может сделать это как в одном магазине (если они там есть), так и в нескольких. Для каждого магазина известны имеющиеся в нем товары (не более трех) и их стоимость в данном магазине: магазин(название, товар1, стоимость 1, товар2, стоимость2, товар3, стоимость3).

Дорога от дома до магазина или от магазина до магазина обходится покупателю в определённую сумму (стоимость проезда). Необходимо выбрать возможные маршруты движения покупателя, если известно, что ему надо уложиться в определенную сумму денег. Товары, которые необходимо приобрести и сумма денег покупателя определяются пользователем. При отсутствии запрашиваемых сведений предусмотреть соответствующий ответ.

15

Имеются данные о фирмах, осуществляющих прием персонала на работу в виде: фирма(название_фирмы, вид_работы, зарплата_min, зарплата_max, требование1, требование2, требование3, место_работы, набор_требований_ к_физ_данным), где требованиеi – умение, которым должен обладать кандидат на работу. Кроме того, известны адреса фирм: адрес(название_фирмы, адрес_фирмы).  Требуется: а) предложить предикаты, позволяющие определить сомнительные виды работ;

б) предложить набор фирм для устройства на работу, исходя из желаемой зарплаты и удовлетворения требованиям, включая все фирмы; в) предложить набор фирм для устройства на работу согласно желаемой зарплате и возможностям, исключая сомнительные виды работ.

При отсутствии запрашиваемых сведений предусмотреть соответствующий ответ.

16

Имеется список владельцев квартир, включающий ФИО владельца и место расположения квартиры – город и адрес. Найти людей, имеющих более одной квартиры в пределах одного города, и выдать их ФИО и адреса.

При отсутствии запрашиваемых сведений предусмотреть соответствующий ответ.

17

Имеется база данных по лекарственным препаратам, включающая информацию: название лекарства, две болезни, при которых оно показано, стоимость. Написать программу, позволяющую предложить подходящий набор лекарств больному, исходя из его диагноза, аллергии на лекарства (не более одного) и покупательной способности.

При отсутствии запрашиваемых сведений предусмотреть соответствующий ответ.

18

В налоговой инспекции имеются данные с предприятий округа о доходах работников в форме: название предприятия, фамилия работающего, оклад. Необходимо осуществить выбор людей, работающих более, чем на одном предприятии и получающих хотя бы на одном из этих предприятий оклад более заданного.

При отсутствии запрашиваемых сведений предусмотреть соответствующий ответ.

 

7. Библиографический список

  1. Иван Братко «Алгоритмы искусственного интеллекта на языке PROLOG» Третье издание.: Пер. с анг. – М.: Издательский дом «Вильямс», 2004. -640с.
  2.  «Основы программирования на языке Пролог: информация»  Автор: П.А. Шрайнер –источник: www.intuit.ru/department/pl/plprolog/.
  3. А.С.Топоркова. Разработка и отладка программ на языке Турбо-Пролог Учебно-метод. пособие по проведению лабораторного практикума по дисциплине «Языки программирования задач искусственного интеллекта»/ Моск. институт электроники и математики Национального исследовательского университета «Высшая школа экономики»; М., 2012. 50с.
  4. Н.И.Цуканова, Т.А.Дмитриева. Логическое программирование на языке Visual Prolog. Учебное пособие для вузов. – М.: Горячая линия – Телеком, 2008. – 144 с.

 

 

 

  •  

 

Бондаренко Денис Игоревич

Коротченко Дмитрий Олегович

Ковалев Дмитрий Константинович

Публикации42

  • Глава книги Toporkov V., Yemelyanov D., Toporkova A. S. Fair Scheduling in Grid VOs with Anticipation Heuristic, in: Parallel Processing and Applied Mathematics. 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II, Vol. 10778: 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II. Cham, Switzerland : Springer, 2018. doi P. 145-155. doi
  • Глава книги Toporkov V., Anna Toporkova, Yemelyanov D. Heuristic of Anticipation for Fair Scheduling and Resource Allocation in Grid VOs, in: Intelligent Distributed Computing XI Vol. 737: Studies in Computational Intelligence. Cham, Switzerland : Springer, 2018. doi P. 27-37. doi
  • Глава книги Toporkov V., Anna Toporkova, Yemelyanov D. Slot Co-allocation Optimization in Distributed Computing with Heterogeneous Resources, in: Intelligent Distributed Computing XII Vol. 798: Intelligent Distributed Computing XII. Cham, Switzerland : Springer, 2018. doi P. 40-49. doi
  • Статья Топорков В. В., Емельянов Д. М., Топоркова А. С. Анализ состояния исследований в области методов и алгоритмов планирования в грид и облачных вычислениях // Информационные технологии в науке, образовании и управлении. 2018. № 2. С. 26-31.
  • Глава книги Toporkov V., Yemelyanov D., Anna Toporkova. Anticipation Preference-Based Heuristic Scheduling in Grid Virtual Organizations, in: PROCEEDINGS 46th International Conference on Parallel Processing Workshops ICPPW 2017. Piscataway : IEEE Computer Society, 2017. P. 271-280. doi
  • Глава книги Toporkov V., Yemelyanov D., Anna Toporkova. Anticipation Scheduling in Grid with Stakeholders Preferences, in: Supercomputing. RuSCDays 2017. Communications in Computer and Information Science. Revised Selected Papers. Vol. 793. Springer, 2017. doi P. 482-493. doi
  • Глава книги Toporkov V., Yemelyanov D., Anna Toporkova, Potekhin P. Cyclic Anticipation Scheduling in Grid VOs with Stakeholders Preferences, in: Parallel Computing Technologies. 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings Vol. 10421: Lecture Notes in Computer Science . Cham, Switzerland : Springer, 2017. doi P. 372-383. doi
  • Глава книги Toporkov V., Anna Toporkova, Yemelyanov D., Bobchenkov A., Tselishchev A. Scheduling Optimization in Grid with VO Stakeholders’ Preferences, in: Intelligent Distributed Computing X. Proceedings of the 10th International Symposium on Intelligent Distributed Computing – IDC 2016, Paris, France, October 10-12 2016 Vol. 678: Studies in Computational Intelligence. Cham, Switzerland : Springer, 2017. doi P. 185-194. doi
  • Статья Топорков В. В., Емельянов Д. М., Топоркова А. С. Метапланирование и управление ресурсами в грид // Информационные технологии в науке, образовании и управлении. 2017. № 3. С. 72-80.
  • Глава книги Toporkov V., Anna Toporkova, Tselishchev A., Yemelyanov D., Potekhin P. Heuristic-Based Job Flow Allocation in Distributed Computing, in: Intelligent Distributed Computing IX. Proceedings of the 9th International Symposium on Intelligent Distributed Computing – IDC'2015, Guimarães, Portugal, October 2015 Vol. 616: Studies in Computational Intelligence. L., NY, Dordrecht, Heidelberg, Cham : Springer, 2016. doi P. 189-198. doi
  • Глава книги Топорков В. В., Емельянов Д. М., Топоркова А. С. Метапланирование вычислений в распределенных средах с неотчуждаемыми ресурсами // В кн.: Информационные технологии в науке, образовании и управлении: Труды международной конференции IT + S&E`16 (Гурзуф, 22.05. – 01.06.2016) / Под общ. ред.: Е. Глориозов. М. : ИНИТ, 2016. С. 22-31.
  • Глава книги Toporkov V., Anna Toporkova, Tselishchev A., Yemelyanov D., Potekhin P. Core Heuristics for Preference-Based Scheduling in Virtual Organizations of Utility Grids, in: Intelligent Distributed Computing VIII Vol. 570: Studies in Computational Intelligence (SCI). L., NY, Dordrecht, Heidelberg, Cham : Springer, 2015. doi P. 321-330. doi
  • Статья Toporkov V., Anna Toporkova, Tselishchev A., Yemelyanov D., Potekhin P. Heuristic strategies for preference-based scheduling in virtual organizations of utility grids // Journal of Ambient Intelligence and Humanized Computing. 2015. Vol. 6. No. 6. P. 733-740. doi
  • Глава книги Toporkov V., Anna Toporkova, Tselishchev A., Yemelyanov D., Potekhin P. Job Flow Distribution and Ranked Jobs Scheduling in Grid Virtual Organizations, in: Parallel Processing Workshops (ICPPW), 2015 44th International Conference on Parallel Processing. Los Alamitos, Washington, Tokyo : IEEE Computer Society, 2015. P. 257-266. doi
  • Глава книги Toporkov V., Anna Toporkova, Tselishchev A., Yemelyanov D., Potekhin P. Job Ranking and Scheduling in Utility Grids VOs, in: Parallel Computing Technologies. 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings Vol. 9251: Lecture Notes in Computer Science. L., NY, Dordrecht, Heidelberg, Cham : Springer, 2015. doi P. 285-297. doi
  • Статья Toporkov V., Yemelyanov D., Potekhin P., Anna Toporkova, Tselishchev A. Metascheduling and Heuristic Co-Allocation Strategies in Distributed Computing // Computing and Informatics. 2015. Vol. 34. No. 1. P. 45-76.
  • Статья Toporkov V. V., Anna Toporkova, Tselishchev A., Yemelyanov D., Potekhin P. Multi-Level Job Flow Cyclic Scheduling in Grid Virtual Organizations // Procedia Computer Science. 2015. Vol. 51. No. 1. P. 845-854. doi
  • Глава книги Toporkov V., Toporkova Anna, Tselishchev A., Yemelyanov D., Potekhin P. Ranking and Cyclic Job Scheduling in QoS-Guaranteed Grids, in: Theory and Engineering of Complex Systems and Dependability Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 – July 3 2015, Brunów, Poland Vol. 365: Advances in Intelligent Systems and Computing . L., NY, Dordrecht, Heidelberg, Cham : Springer, 2015. doi P. 505-514. doi
  • Глава книги Топоркова А. С., Емельянов Д. М., Топорков В. В. КОАЛЛОКАЦИЯ НЕОТЧУЖДАЕМЫХ РЕСУРСОВ В РАСПРЕДЕЛЕННЫХ ВЫЧИСЛЕНИЯХ // В кн.: Труды международной конференции IT+S&E’15 (Гурзуф, 22 мая-01 июня 2015 г.). Весенняя сессия. М. : Институт новых информационных технологий, 2015. С. 17-29.
  • Глава книги Toporkov V., Toporkova A. S., Tselishchev A., Yemelyanov D. Heuristic Co-allocation Strategies in Distributed Computing with Non-dedicated Resources, in: Intelligent Distributed Computing VII. Proceedings of the 7th International Symposium on Intelligent Distributed Computing - IDC 2013, Prague, Czech Republic, September 2013 Vol. 511: Studies in Computational Intelligence. L., NY, Dordrecht, Heidelberg, Cham : Springer, 2014. P. 109-118.
  • Глава книги Toporkov V., Anna Toporkova, Tselishchev A., Yemelyanov D., Potekhin P. Heuristic Cycle-Based Scheduling with Backfilling for Large-Scale Distributed Environments, in: Proceedings of the Ninth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 30 – July 4, 2014, Brunów, Poland Vol. 286: Advances in Intelligent Systems and Computing. L., NY, Dordrecht, Heidelberg, Cham : Springer, 2014. P. 455-465.
  • Статья Toporkov V., Toporkova A. S., Tselishchev A., Yemelyanov D., Potekhin P. Preference-based Fair Resource Sharing and Scheduling Optimization in Grid VOs // Procedia Computer Science. 2014. Vol. 29. P. 831-843. doi
  • Статья Toporkov V., Toporkova A. S., Tselishchev A., Yemelyanov D. Slot selection algorithms in distributed computing // The Journal of Supercomputing. 2014. Vol. 69. No. 1. P. 53-60.
  • Глава книги Toporkov V., Anna Toporkova, Tselishev A., Yemelyanov D. Slot Selection Algorithms for Economic Scheduling in Distributed Computing with High QoS Rates., in: New Results in Dependability and Computer Systems.Proceedings of the 8th International Conference on Dependability and Complex Systems DepCos-RELCOMEX, September 9-13, 2013, Brunow, Poland Vol. 224: Advances in Intelligent Systems and Computing. L., NY, Dordrecht, Heidelberg, Cham : Springer, 2013. P. 459-468.
  • Глава книги Toporkov V., Toporkova A. S., Tselishev A., Yemelyanov D. Slot Selection Algorithms in Distributed Computing with Non-dedicated and Heterogeneous Resources, in: Parallel Computing Technologies. 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30-October 4, 2013, Proceedings / Ed. by V. Malyshkin. Vol. 7979: Lecture Notes in Computer Science. Berlin, Heidelberg : Springer, 2013. P. 120-134.
  • Глава книги Toporkov V., Yemelyanov D., Anna Toporkova, Tselishev A. Slot Selection And Co-Allocation Algorithms For Economic Scheduling In Distributed Computing, in: ICIT 2013.The 6th International Conference on Information Technology. Cloud Computing. May 8th-10th, 2013, Amman, Jordan, IEEE Jordan Chapter, ICIT 2013. Jordan : IEEE Computer Society, 2013. Ch. 697. P. 1-11.
  • Статья Toporkov V., Bobchenkov A., Yemelyanov D., Anna Toporkova. Resource Co-Allocation Algorithms In Distributed Job Batch Scheduling // Ubiquitous Computing and Communication Journal. 2012. Vol. 7. No. 2. P. 1232-1241.
  • Книга Топоркова А. С. РАЗРАБОТКА И ОТЛАДКА ПРОГРАММ НА ЯЗЫКЕ ТУРБО-ПРОЛОГ / Науч. ред.: Е. Резникова. М. : МИЭМ НИУ ВШЭ, 2012.
  • Глава книги Toporkov V. V., Toporkova A. S., Yemelyanov D. M., Bobchenkov A. V. Resource Co-allocation Algorithms for Job Batch Scheduling in Dependable Distributed Computing, in: Dependable Computer Systems / Ed. by W. Zamojski, J. Kacprzyk, J. Mazurkiewicz, J. Sugier, T. Walkowiak. Vol. 97. Berlin, Heidelberg : Springer, 2011. P. 243-256.
  • Статья Toporkov V. V., Toporkova A. S., Bobchenkov A. V., Yemelyanov D. M. Resource Selection Algorithms for Economic Scheduling in Distributed Systems // Procedia Computer Science. 2011. No. 4. P. 2267-2276. doi
  • Глава книги Toporkov V. V., Toporkova A. S., Bobchenkov A. V., Yemelyanov D. M. Resource co-allocation algorithms in distributed job batch scheduling, in: Advances in Information Technology from AI to Virtual Reality / Ed. by A. Al-Dahoud. Amman : UbiCC Publisher, 2011. P. 2-20.
  • Глава книги Toporkov V. V., Toporkova A. S., Tselishev A., Yemelyanov D. M., Bobchenkov A. V. Slot Selection and Co-allocation for Economic Scheduling in Distributed Computing, in: Proceedings of the 11th International Conference on Parallel Computing Technologies / Ed. by V. Malyshkin. Vol. 6873. Berlin, Heidelberg : Springer, 2011. P. 368-383.
  • Глава книги Топорков В. В., Топоркова А. С., Бобченков А. В., Емельянов Д. М., Целищев А. С. Алгоритмы отбора слотов в задаче планирования пакета заданий в распределенных средах // В кн.: Труды Конгресса по интеллектуальным системам и информационным технологиям "IS&IT'11" / Отв. ред.: В. Литвиненко. Т. 1. М. : Физматлит, 2011. С. 346-352.
  • Глава книги Топорков В. В., Топоркова А. С., Бобченков А. В., Емельянов Д. М., Целищев А. С. Алгоритмы поиска альтернативных наборов слотов в задаче планирования пакета заданий // В кн.: Научный сервис в сети Интернет: экзафлопсное будущее: Труды Международной суперкомпьютерной конференции (19-24 сентября 2011 г., г. Новороссийск). М. : Издательство МГУ, 2011. С. 15-22.
  • Статья Топорков В. В., Емельянов Д. М., Бобченков А. В., Топоркова А. С. Стратегии организации и поддержки масштабных вычислений в распределенных средах // Открытое образование. 2011. Т. 86. № 2. С. 15-18.
  • Глава книги Toporkov V. V., Toporkova A. S., Tselishev A., Yemelyanov D. M., Bobchenkov A. V. Economic Models of Scheduling in Distributed Systems, in: Monographs of System Dependability. Dependability of Networks / Ed. by T. Walkowiak, J. Mazurkiewicz, J. Sugier, W. Zamojski. Vol. 2. Wrocław : Oficyna Wydawnicza Politechnki Wroclawskiej, 2010. Ch. 10. P. 143-154.
  • Глава книги Toporkov V. V., Toporkova A. S., Tselishev A., Yemelyanov D. M. Scalable Co-Scheduling Strategies in Distributed Computing, in: Proceedings of the 2010 ACS/IEEE International Conference on Computer Systems and Applications, Hammamet, Tunisia, May 16-19th, 2010. Los Alamitos : IEEE CS Pre, 2010. P. 18-25.
  • Глава книги Топорков В. В., Топоркова А. С., Бобченков А. В., Емельянов Д. М., Целищев А. С. Организация распределенных вычислений на основе экономических принципов // В кн.: Труды Конгресса по интеллектуальным системам и информационным технологиям «AIS-IT'10» / Отв. ред.: В. Литвиненко. Т. 1. М. : Физматлит, 2010. С. 563-570.
  • Глава книги Топорков В. В., Топоркова А. С., Бобченков А. В., Емельянов Д. М., Целищев А. С. Планирование вычислений в распределенных средах на основе экономических принципов // В кн.: Научный сервис в сети Интернет: суперкомпьютерные центры и задачи: Труды Международной суперкомпьютерной конференции (20-25 сентября 2010 г., г. Новороссийск). М. : Издательство МГУ, 2010. С. 258-263.
  • Глава книги Топорков В. В., Топоркова А. С., Бобченков А. В., Емельянов Д. М., Целищев А. С. Экономические модели организации распределенных вычислений // В кн.: Материалы ХХХVII международной конференции и дискуссионного научного клуба «Информационные технологии в науке, образовании, телекоммуникации и бизнесе IT+SE’10». М. : МЭСИ, 2010. С. 18-21.
  • Глава книги Топорков В. В., Топоркова А. С., Бобченков А. В., Емельянов Д. М., Целищев А. С. Экономические принципы организации распределенных вычислений // В кн.: Суперкомпьютерные технологии: разработка, программирование, применение (СКТ-2010). Материалы международной научно-технической конференции Т. 2. Таганрог : ТТИ ЮФУ, 2010. С. 92-96.

Опыт работы

02.02.2015 - по н. вр.  доцент департамента компьютерной инженерии МИЭМ НИУ ВШЭ

28.08.2012  - 01.02.2015 доцент кафедры Информационных технологий и вычислительной техники Московского института электроники и математики НИУ ВШЭ

01.02.2003 - 27.08.2012 доцент кафедры  «Автоматизация и интеллектуализация процессов управления» в ГОУ ВПО «Московский государственный институт электроники и математики (технический университет)»

01.01.1995 -  31.01.2003 старший преподаватель кафедры «Автоматизация и интеллектуализация процессов управления» в ГОУ ВПО «Московский государственный институт электроники и математики (технический университет)»

14.09.1992 -  31.12.1994 ассистент «Автоматизация и интеллектуализация процессов управления» в ГОУ ВПО «Московский государственный институт электроники и математики (технический университет)»

15.04.1991 - 13.09.1992 Инженер 2 категории кафедры  «Автоматизация и интеллектуализация процессов управления» в ГОУ ВПО «Московский государственный институт электроники и математики (технический университет)»

01.01.1989 - 14.04.1991 Инженер-математик III категории НИЛ-11 «Автоматизация и интеллектуализация процессов управления» Московского института электронного машиностроения

28.03.1988  - 31.12.1888  Инженер НИЧа ОНИЛ АИПУ Московского института электронного машиностроения

22.09.2014  - 31.05.2015 Преподаватель информатики,  Факультет довузовской подготовки НИУ ВШЭ

Расписание занятий на сегодня

Полное расписание

Развивая международное сотрудничество

C 10 по 12 октября в г. Париж (Франция) проходил 10-й Международный симпозиум Интеллектуальные Распределенные вычисления - IDC'2016. Доцент департамента компьютерной инженерии Топоркова А.С. представила доклад на тему "Оптимизация планирования в грид с учетом предпочтений пользователей виртуальной организации (ВО)"