Welcome to MSD page!
ПиИТ

Научные публикации  

  1. Морозова И.С. Программы понижения и повышения уровня структурного описания сложной системы / И.С. Морозова, С.Д. Махортов // Математическое обеспечение ЭВМ вузов. – Воронеж : ВГУ, 1980. – С. 115–120.
  2. Калечиц В.Е. Отладчик. Операторы прерываний – структура и функции / В.Е. Калечиц, Н.И. Лободин, С.Д. Махортов // ИЛ №24-81 НТД. – Воронеж : ВЦНТИ, 1981. – 4 с.
  3. Калечиц В.Е. Отладчик. Операторы трассировки и статистики – структура и функции / В.Е. Калечиц, Н.И. Лободин, С.Д. Махортов // ИЛ №25-81 НТД. – Воронеж : ВЦНТИ, 1981. – 4 с.
  4. Калечиц В.Е. Эмулятор. Средства отладки в интерактивном режиме / В.Е. Калечиц, Н.И. Лободин, С.Д. Махортов // ИЛ №23-81 НТД. – Воронеж : ВЦНТИ, 1981. – 4 с.
  5. Калечиц В.Е. Эмуляция машинных команд / В.Е. Калечиц, Н.И. Лободин, С.Д. Махортов, В.П. Чертов, Н.П. Вахтина // ИЛ №26-81 НТД. – Воронеж : ВЦНТИ, 1981. – 4 с.
  6. Глушко В.П. О существовании гладких решений задачи с вырождающейся косой производной / В.П. Глушко, С.Д. Махортов ; Воронеж. гос. ун-т. – Воронеж, 1983. – 28 с. – Деп. в ВИНИТИ 24.03.83, №1502-83 Деп.
  7. Махортов С.Д. Задача о вырождающейся косой производной / С.Д. Махортов // IX школа по теории операторов в функц. пространствах: Тез. докл. – Тернополь, 1984. – С. 87.
  8. Махортов С.Д. Непрерывные операции в весовых пространствах основных и обобщенных функций / С.Д. Махортов // Труды семинара академика С.Л.Соболева. – Новосибирск, 1984. – № 2. – С. 109–121. >>
  9. Махортов С.Д. О некоторых весовых классах основных и обобщенных функций / С.Д. Махортов ; Воронеж. гос. ун-т. – Воронеж, 1984. – 27 с. – Деп. в ВИНИТИ 25.06.84, №4305-84 Деп.
  10. Калечиц В.Е. Система интерактивной и пакетной отладки в режиме эмуляции / В.Е. Калечиц, Н.И. Лободин, С.Д. Махортов // Математическое моделирование и программное обеспечение САПР. – Горький, 1984. – С. 42–47.
  11. Махортов С.Д. Априорные оценки решений одного класса вырождающихся эллиптических дифференциальных уравнений в Rn / С.Д. Махортов ; Воронеж. гос. ун-т. – Воронеж, 1985. – 29 с. – Деп. в ВИНИТИ 7.08.85, №5919-85 Деп.
  12. Махортов С.Д. О некоторых классах вырождающихся псевдодифференциальных уравнений в Rn / С.Д. Махортов ; Воронеж. гос. ун-т. – Воронеж, 1985. – 42 с. – Деп. в ВИНИТИ 7.08.85, №5918-85 Деп.
  13. Махортов С.Д. О некоторых свойствах вырождающихся и весовых псевдодифференциальных операторов / С.Д. Махортов ; Воронеж. гос. ун-т. – Воронеж, 1985. – 49 с. – Деп. в ВИНИТИ 4.12.85, №8317-В.
  14. Махортов С.Д. Весовые псевдодифференциальные операторы в пространствах типа Соболева-Слободецкого-Ароншайна / С.Д. Махортов ; Воронеж. гос. ун-т. – Воронеж, 1986. – 38 с. – Деп. в ВИНИТИ 2.06.86, №3950-В.
  15. Махортов С.Д. Вырождающиеся псевдодифференциальные операторы и граничные задачи переменного типа в областях с гладкой границей : автореферат диссертации канд.физ.-мат.наук; 01.01.02 – диф.уравнения и мат.физика / С.Д. Махортов ; Воронеж. гос. ун-т. – Воронеж, 1986. – 17 с. – На правах рукописи.
  16. Махортов С.Д. Вырождающиеся псевдодифференциальные операторы и граничные задачи переменного типа в областях с гладкой границей : диссертация канд.физ.-мат.наук; 01.01.02 – диф.уравнения и мат.физика / С.Д. Махортов ; науч. рук. В.П.Глушко; Воронеж. гос. ун-т; 21 октября 1986 г. – Воронеж : Б.и., 1986. – 122 с. – На правах рукописи.
  17. Махортов С.Д. Об одном классе псевдодифференциальных операторов неглавного типа / С.Д. Махортов // Операторные уравнения в функциональных пространствах. – Воронеж : ВГУ, 1986. – С. 127–129.
  18. Глушко В.П. Операторы неглавного типа и задача с косой производной / В.П. Глушко, С.Д. Махортов // Успехи мат. наук. – 1986. – Т. 41. – № 4. – С. 202–203. >>
  19. Махортов С.Д. Разрешимость некоторых вырождающихся граничных задач для эллиптических уравнений / С.Д. Махортов // Неклассические уравнения математической физики. – Новосибирск, 1986. – С. 171–175.
  20. Махортов С.Д. Алгебра вырождающихся псевдодифференциальных операторов / С.Д. Махортов // Применение методов функционального анализа к неклассическим уравнениям математической физики. – Новосибирск, 1988. – С. 93–101.
  21. Махортов С.Д. О задаче с косой производной при произвольном множестве вырождения / С.Д. Махортов // Тезисы XIII Всесоюзной школы по теории операторов в функциональных пространствах. – Куйбышев, 1988. – С. 128–129.
  22. Стародубцев В.С. Структурное моделирование природных процессов по экспериментальным данным / В.С. Стародубцев, С.Д. Махортов ; Воронеж. гос. ун-т. – Воронеж, 1988. – 27 с. – Деп. в ВИНИТИ 28.12.88, №9095-В88.
  23. Махортов С.Д. О задаче с косой производной / С.Д. Махортов // Краевые задачи для неклассических уравнений математической физики. – Новосибирск, 1989. – С. 141–143.
  24. Махортов С.Д. О разрешимости одной некоэрцитивной задачи для вырождающегося эллиптического уравнения / С.Д. Махортов // Тезисы XIV Всесоюзной школы по теории операторов в функциональных пространствах. – Новгород, 1989. – С. 71.
  25. Бердышев А.В. Математическая модель работы магнитокумулятивного генератора в случае кратных корней характеристического уравнения / А.В. Бердышев, В.П. Глушко, А.Д. Баев, С.Д. Махортов ; Воронеж. гос. ун-т. – Воронеж, 1990. – 52 с. – Деп. в ВИНИТИ 20.12.90, №6333-В90.
  26. Махортов С.Д. О фредгольмовости одного псевдодифференциального оператора неглавного типа / С.Д. Махортов // Тезисы XV Всесоюзной школы по теории операторов в функциональных пространствах. – Ульяновск, 1990. – С. 11.
  27. Бердышев А.В. Математическая модель работы магнитокумулятивного генератора: неосциллирующие решения / А.В. Бердышев, В.П. Глушко, А.Д. Баев, С.Д. Махортов ; Воронеж. гос. ун-т. – Воронеж, 1991. – 36 с. – Деп. в ВИНИТИ 18.02.91, №799-В91.
  28. Стародубцев В.С. Структурная идентификация систем водозаборов подземных вод с целью их эффективной и рациональной эксплуатации / В.С. Стародубцев, С.Д. Махортов ; Воронеж. гос. ун-т. – Воронеж, 1992. – 172 с. – Деп. в ВИНИТИ 22.05.92, №1710-В92.
  29. Махортов С.Д. О задаче с косой производной / С.Д. Махортов // Материалы международного семинара «Дифференциальные уравнения и их приложения». Самара, 27-30 июня 1995 г. – Самара, 1995. – С. 63.
  30. Стародубцев В.С. Моделирование процессов массопереноса загрязняющих компонентов подземных вод в условиях техногенеза / В.С. Стародубцев, С.Д. Махортов // Материалы международно-практической конференции «Экологические проблемы республики Татарстан». – Казань, 1997. – С. 21–22.
  31. Махортов С.Д. О задаче с косой производной со специальным случаем вырождения / С.Д. Махортов // Материалы межвузовской научно-практической конференции «Актуальные проблемы борьбы с преступностью в современных условиях». – Воронеж : ВИ МВД, 2000. – С. 185.
  32. Махортов С.Д. О технологии многоуровневой разработки программных систем / С.Д. Махортов // Вестник Воронежского государственного университета. Серия: Физика. Математика. – Воронеж, 2002. – № 1. – С. 159–162. >>
  33. Махортов С.Д. Порождающие множества в продукционных системах / С.Д. Махортов // Вестник Воронежского государственного университета. Серия: Физика. Математика. – Воронеж, 2002. – № 2. – С. 69–76. >>
  34. Махортов С.Д. Логические отношения на решетках / С.Д. Махортов // Вестник Воронежского государственного университета. Серия: Физика. Математика. – Воронеж, 2003. – № 2. – С. 203–209. >>
  35. Махортов С.Д. О теоретико-множественном подходе к формализации логического вывода / С.Д. Махортов // Вестник факультета ПММ: Вып. 4. – Воронеж : ВГУ, 2003. – С. 178–185.
  36. Махортов С.Д. Логические уравнения на решетках / С.Д. Махортов // Вестник Воронежского государственного университета. Серия: Физика. Математика. – Воронеж, 2004. – № 2. – С. 170–178. >>
  37. Махортов С.Д. О разрешимости логических уравнений на решетках / С.Д. Махортов // Материалы международной конференции «Образование, наука, производство и управление в XXI веке». – С.Оскол, 2004. – С. 308–311.
  38. Махортов С.Д. О редукции логических отношений на решетках / С.Д. Махортов // Вестник факультета ПММ: Вып. 5. – Воронеж : ВГУ, 2004. – С. 172–179.
  39. Махортов С.Д. Алгебраическая интерпретация продукционной логики / С.Д. Махортов // Вестник факультета ПММ: Вып. 6. – Воронеж : ВГУ, 2006. – С. 86–98.
  40. Махортов С.Д. Алгоритмы построения минимального нетранзитивного графа / С.Д. Махортов, Э.Ф. Мамедов // Черноземный альманах научных исследований. Серия прикладная математика и информатика. – Воронеж : ООО «Альбион», 2006. – № 1. – С. 27–36.
  41. Махортов С.Д. Методы исследования и преобразования иерархий типов на основе логических структур / С.Д. Махортов // Вестник Воронежского государственного университета. Серия: Системный анализ и информационные технологии. – Воронеж, 2006. – № 2. – С. 24–27. >>
  42. Махортов С.Д. Некоммутативные решетки и немонотонные логические отношения / С.Д. Махортов // Вестник Воронежского государственного университета. Серия: Физика. Математика. – Воронеж, 2006. – № 1. – С. 166–173. >>
  43. Махортов С.Д. О сравнении возможностей императивного и логического программирования / С.Д. Махортов // Вестник Воронежского государственного университета. Серия: Системный анализ и информационные технологии. – Воронеж, 2006. – № 1. – С. 78–86. >>
  44. Махортов С.Д. Алгебраический подход к исследованию и оптимизации продукционных баз знаний / С.Д. Махортов // Сб. трудов международной школы-семинара «Современные проблемы механики и прикладной математики». – Воронеж : ВГУ, 2007. – С. 237–241.
  45. Махортов С.Д. Алгебры весовых и вырождающихся псевдодифференциальных операторов / С.Д. Махортов // Вестник Воронежского государственного университета. Серия: Физика. Математика. – Воронеж, 2007. – № 1. – С. 73–80. >>
  46. Махортов С.Д. О приложениях LP-структур в теории программирования / С.Д. Махортов // Вестник Воронежского государственного университета. Серия: Системный анализ и информационные технологии. – Воронеж, 2007. – № 2. – С. 40–49. >>
  47. Махортов С.Д. Об алгебраической интерпретации продукционной логики нулевого порядка / С.Д. Махортов // Вестник Воронежского государственного университета. Серия: Системный анализ и информационные технологии. – Воронеж, 2007. – № 1. – С. 56–63. >>
  48. Махортов С.Д. Продукционная логика первого порядка и ее алгебраическая интерпретация / С.Д. Махортов // Системы управления и информационные технологии. – 2007. – № 3 (29). – С. 21–26.
  49. Махортов С.Д. Теория LP-структур и возможности ее применения в интеллектуальных системах / С.Д. Махортов // Материалы 7-й международной конференции «Информатика: проблемы, методология, технологии». – Воронеж : ВГУ, 2007. – С. 269–272.
  50. Махортов С.Д. LP-структуры и возможности их применения в некоторых задачах рефакторинга / С.Д. Махортов, В.А. Погореленко // Сб. трудов XLIV Всероссийской конференции по проблемам математики, информатики, физики. – М. : РУДН, 2008. – С. 52–53.
  51. Махортов С.Д. LP-структуры и возможности их применения для эквивалентных преобразований условных систем переписывания термов / С.Д. Махортов // Обозрение прикладной и промышленной математики. – 2008. – Т. 15. – № 3. – С. 504–505.
  52. Махортов С.Д. LP-структуры на полных решетках и возможности их применения в системах продукционного типа / С.Д. Махортов // Обозрение прикладной и промышленной математики. – 2008. – Т. 15. – № 4. – С. 671–672.
  53. Махортов С.Д. Алгебраический подход к исследованию и оптимизации баз знаний продукционного типа / С.Д. Махортов, С.Л. Подвальный // Информационные технологии. – 2008. – С. 55–60. >>
  54. Махортов С.Д. Алгебраический подход к решению некоторых задач рефакторинга / С.Д. Махортов, В.А. Погореленко // Вестник Воронежского государственного университета. Серия: Системный анализ и информационные технологии. – Воронеж, 2008. – № 2. – С. 28–36. >>
  55. Махортов С.Д. О логической редукции условных систем переписывания термов / С.Д. Махортов // Сб. трудов XLIV Всероссийской конференции по проблемам математики, информатики, физики. – М. : РУДН, 2008. – С. 50–51.
  56. Махортов С.Д. Продукционно-логические отношения на полных решетках / С.Д. Махортов // Системы управления и информационные технологии. – 2008. – № 3 (33). – С. 44–48.
  57. Махортов С.Д. Решение некоторых задач рефакторинга на основе алгебраических структур / С.Д. Махортов, В.А. Погореленко // Сб. трудов XII международной научно-практической конференции-выставки «Актуальные проблемы информатики и информационных технологий». – ТГУ, 2008. – С. 147–149.
  58. Makhortov S.D. LP Structures on Type Lattices and Some Refactoring Problems / S.D. Makhortov // Programming and Computer Software. – 2009. – V. 35. – P. 183–189. >>
  59. Махортов С.Д. LP-структуры на решетках типов и некоторые задачи рефакторинга / С.Д. Махортов // Программирование. – 2009. – С. 5–14. >>
  60. Махортов С.Д. LP-структуры представления знаний и принципы их реализации / С.Д. Махортов // Вторая Всероссийская конференция с международным участием «Знания – Онтологии – Теории» (ЗОНТ-09). Новосибирск, 22-24 октября 2009г.: Материалы конференции. – Новосибирск : Институт математики им. С.Л. Соболева СО РАН, 2009. – Т. 2. – С. 11–19. >>
  61. Makhortov S.D. Multi-level LP-Structures in Rewriting Systems / S.D. Makhortov // Mathematical Modeling and Computational Physics (MMCP’2009): Book of Abstracts of the International Conference (Dubna, July 7–11, 2009). – Dubna : JINR, 2009. – P. 123. >>
  62. Махортов С.Д. Интегрированная среда логического программирования LPExpert / С.Д. Махортов // Информационные технологии. – 2009. – № 12. – С. 65–66. >>
  63. Махортов С.Д. Кластерно-релевантный обратный вывод на основе решения логических уравнений / С.Д. Махортов // Сб. трудов международной конференции «Актуальные проблемы прикладной математики, информатики и механики». – Воронеж : ВГУ, 2009. – С. 37–41.
  64. Махортов С.Д. Математические основы искусственного интеллекта: теория LP-структур для построения и исследования моделей знаний продукционного типа / С.Д. Махортов ; Под ред. В. А. Васенина. – М. : Издательство МЦНМО, 2009. – 304 с. >>
  65. Махортов С.Д. Модели логических систем продукционного типа, основанные на решетках / С.Д. Махортов // Международная конференция «Мальцевские чтения», посвященная 100-летию со дня рождения академика А.И.Мальцева (Mal’tsev Meeting, August 24–28, 2009): Тезисы докладов. – Новосибирск, 2009. – С. 228. >>
  66. Махортов С.Д. Модель немонотонной продукционной логики для систем компьютерной алгебры / С.Д. Махортов // Вестник факультета ПММ: Вып. 7. – Воронеж : ВГУ, 2009. – С. 127–141.
  67. Махортов С.Д. О редукции продукционно-логических отношений на полных решетках / С.Д. Махортов // Современные проблемы информатизации в анализе и синтезе технологических и программно-телекоммуникационных систем: Сб. трудов, вып.14 / Под ред. О.Я.Кравца. – Воронеж : Научная книга, 2009. – № 14. – С. 322–325.
  68. Махортов С.Д. Основанный на решетках подход к исследованию и оптимизации множества правил условной системы переписывания термов / С.Д. Махортов // Интеллектуальные системы. Теория и приложения. – 2009. – Т. 13. – № 1-4. – С. 51–68. >>
  69. Махортов С.Д. Продукционно-логические уравнения на полных решетках / С.Д. Махортов // Обозрение прикладной и промышленной математики. – 2009. – Т. 16. – № 2. – С. 368–369.
  70. Махортов С.Д. Продукционно-логические уравнения на полных решетках / С.Д. Махортов // Проблемы информатики. – 2009. – № 2. – С. 28–38. >>
  71. Махортов С.Д. Релевантный обратный вывод и верификация логических программ на основе решения уравнений в LP-структурах / С.Д. Махортов // Методы и средства обработки информации: Третья Всероссийская научная конференция. Москва, 6–8 октября 2009г.: Труды конференции / Под ред. Л.Н. Королева. – М. : ВМиК МГУ, 2009. – С. 143–148. >>
  72. Махортов С.Д. Теория LP-структур для построения и исследования моделей знаний продукционного типа : автореферат диссертации докт.физ.-мат.наук; 05.13.17 – теоретические основы информатики / С.Д. Махортов ; Московский гос. ун-т. – М. : МГУ, 2009. – 31 с. – На правах рукописи.
  73. Махортов С.Д. Теория LP-структур для построения и исследования моделей знаний продукционного типа : диссертация докт.физ.-мат.наук; 05.13.17 – теоретические основы информатики / С.Д. Махортов ; науч. конс. В.А.Васенин; Воронеж. гос. ун-т; 16 декабря 2009 г. – Воронеж : Б.и., 2009. – 552 с. – На правах рукописи.
  74. Махортов С.Д. LP-структуры в условных системах переписывания / С.Д. Махортов, Д.В. Баранов // Современные проблемы информатизации в моделировании и социальных технологиях: сб. трудов / Под ред. О. Я. Кравца. – Воронеж : Научная книга, 2010. – № 15. – С. 272–276.
  75. Махортов С.Д. LP-структуры для обоснования и автоматизации рефакторинга в объектно-ориентированном программировании / С.Д. Махортов // Программная инженерия. – 2010. – № 2. – С. 15–21. >>
  76. Makhortov S.D. Multi-level LP Structures in Rewriting Systems / S.D. Makhortov // Bulletin of PFUR. – 2010. – No. 2 (2). – P. 18–22. >>
  77. Махортов С.Д. Интегрированная среда логического программирования LPExpert / С.Д. Махортов // Свидетельство о государственной регистрации программы для ЭВМ. – М. : Роспатент, 2010. – № 2010610648 от 19.01.2010.
  78. Баранов Д.В. Исследование и оптимизация условных систем переписывания на основе продукционно-логической модели / Д.В. Баранов, С.Д. Махортов // XII национальная конференция по искусственному интеллекту с международным участием КИИ-2010 (20–24 сентября 2010г., г. Тверь): Труды конференции. – М. : Физматлит, 2010. – Т. 1. – С. 29–37. >>
  79. Махортов С.Д. Объектно-ориентированная библиотека LPStructure / С.Д. Махортов // Свидетельство о государственной регистрации программы для ЭВМ. – М. : Роспатент, 2010. – № 2010610647 от 19.01.2010.
  80. Болотова С.Ю. Алгоритмы релевантного обратного вывода, основанные на решении продукционно-логических уравнений / С.Ю. Болотова, С.Д. Махортов // Искусственный интеллект и принятие решений. – 2011. – № 2. – С. 40–50. >>
  81. Махортов С.Д. Методы обоснования и автоматизации рефакторинга на основе продукционно-логических структур / С.Д. Махортов, М.Д. Шурлин // Современные проблемы информатизации в моделировании и социальных технологиях: сб. трудов / Под ред. О. Я. Кравца. – Воронеж : Научная книга, 2011. – № 16. – С. 264–269.
  82. Болотова С.Ю. О релевантном обратном выводе в системах знаний продукционного типа / С.Ю. Болотова, С.Д. Махортов // Третья Всероссийская конференция с международным участием «Знания – Онтологии – Теории» (ЗОНТ-2011). Новосибирск, 3–5 октября 2011г.: Материалы конференции. – Новосибирск : Институт математики им. С.Л. Соболева СО РАН, 2011. – Т. 1. – С. 73–77. >>
  83. Махортов С.Д. Теория LP-структур для интеллектуализации информационных систем / С.Д. Махортов // Связь и телекоммуникации – инновационное развитие регионов : тез. науч.-практ. конф., 31 марта – 1апр. 2011г., г. Воронеж. – Воронеж, 2011. – С. 57.
  84. Махортов С.Д. LP-структуры и их приложения в информатике / С.Д. Махортов // Перспективные исследования и разработки в области информационных технологий и связи : тез. науч.-техн. конф., 5–6 апр. 2012 г., г. Воронеж. – Воронеж, 2012. – С. 50.
  85. Makhortov S.D. Production-logic Relations on Complete Lattices / S.D. Makhortov // Automation and Remote Control. – 2012. – V. 73. – P. 1937–1943. >>
  86. Махортов С.Д. Алгебраическая система на решетке типов для верификации и рефакторинга / С.Д. Махортов, М.Д. Шурлин // XIII национальная конференция по искусственному интеллекту с международным участием КИИ-2012 (16–20 октября 2012г., г.Белгород): Труды конференции. – Белгород : Изд-во БГТУ, 2012. – Т. 1. – С. 51–58. >>
  87. Махортов С.Д. Алгебраические модели иерархий типов для проектирования и рефакторинга / С.Д. Махортов, М.Д. Шурлин // Онтология проектирования. – 2012. – № 1 (3). – С. 73–79. >>
  88. Иванов И.Ю. Логические уравнения на булевых решетках / И.Ю. Иванов, С.Д. Махортов // Международная конференция «Мальцевские чтения» (Mal’tsev Meeting, November 12–16, 2012): Тезисы докладов. – Новосибирск, 2012. – С. 28. >>
  89. Махортов С.Д. Теория LP-структур и ее приложения в интеллектуальных системах / С.Д. Махортов // X Всероссийская научная конференция «Нейрокомпьютеры и их применение» (НКП-2012). Тезисы докладов. – М. : МГППУ, 2012. – С. 17. >>
  90. Makhortov S.D. LP-structures analysis: Substantiation of refactoring in object-oriented programming / S.D. Makhortov, M.D. Shurlin // Automation and Remote Control. – 2013. – V. 74. – P. 1211–1217. >>
  91. Махортов С.Д. LP-структуры представления знаний в объектно-ориентированных системах / С.Д. Махортов, М.Д. Шурлин // Материалы Всероссийской конференции с международным участием «Знания – Онтологии – Теории» (ЗОНТ-2013). – Новосибирск : Институт математики им. С.Л. Соболева СО РАН, 2013. – Т. 2. – С. 39–44. >>
  92. Bolotova S.Yu. Multi-threaded relevant LP-inference / S.Yu. Bolotova, S.D. Makhortov // Distributed Intelligent Systems and Technologies (DIST’2013): Proceedings of the International Conference (St. Petersburg, July 1–4, 2013). – St. Petersburg : SPBSTU, 2013. – P. 7–14.
  93. Bolotova S.Yu. Using multi-threading in the relevant LP-inference method / S.Yu. Bolotova, S.D. Makhortov // Mathematical Modeling and Computational Physics (MMCP’2013): Book of Abstracts of the International Conference (Dubna, July 8–12, 2013). – Dubna : JINR, 2013. – P. 58. >>
  94. Махортов С.Д. Нечеткий LP-вывод и его программная реализация / С.Д. Махортов, А.Н. Шмарин // Программная инженерия. – 2013. – № 12. – С. 34–38. >>
  95. Махортов С.Д. О нечетких LP-структурах и их приложениях в интеллектуальных системах / С.Д. Махортов, А.Н. Шмарин // XI Всероссийская научная конференция «Нейрокомпьютеры и их применение» (НКП-2013), Москва, 19 марта 2013 года. Тезисы докладов. – М. : МГППУ, 2013. – С. 25–26. >>
  96. Махортов С.Д. Оптимизация метода LP-вывода / С.Д. Махортов, А.Н. Шмарин // Нейрокомпьютеры. Разработка, применение. – 2013. – № 9. – С. 59–63. >>
  97. Ivanov I.Yu. Computer implementation of an approximate solution finding of a production-logical equation on a boolean lattice / I.Yu. Ivanov, S.D. Makhortov // Сучасні проблеми і досягнення в галузі радіотехніки, телекомунікацій та інформаційних технологій: Тези доповідей VIІ Міжнародної науково-практичної конференції (17–19 вересня 2014 р., м. Запоріжжя). – 2014. – P. 108–109. >>
  98. Bolotova S.Yu. The Algorithms of the Multi-Threaded Relevant LP-inference / S.Yu. Bolotova, S.D. Makhortov // Bulletin of PFUR. – 2014. – No. 2. – P. 216–219. >>
  99. Bolotova S.Yu. The «conveyor» scheme in the relevant backward inference methods / S.Yu. Bolotova, S.D. Makhortov // Сучасні проблеми і досягнення в галузі радіотехніки, телекомунікацій та інформаційних технологій: Тези доповідей VIІ Міжнародної науково-практичної конференції (17–19 вересня 2014 р., м. Запоріжжя). – 2014. – P. 104–105. >>
  100. Bolotova S.Yu. Using Parallel Computing in the Production Systems Models Based on the Multi-Threaded Relevant LP-Inference / S.Yu. Bolotova, S.D. Makhortov // American Journal of Control Systems and Information Technology. – 2014. – V. 4. – No. 2. – P. 5–12. >>
  101. Махортов С.Д. О логических отношениях на булевых решетках / С.Д. Махортов, И.Ю. Иванов // XII Всероссийская научная конференция «Нейрокомпьютеры и их применение» (НКП-2014), Москва, 18 марта 2014 года. Тезисы докладов. – М. : МГППУ, 2014. – С. 27. >>
  102. Махортов С.Д. О приближённых решениях продукционно-логического уравнения в LP-структуре нулевого порядка / С.Д. Махортов, И.Ю. Иванов // Международная конференция «Мальцевские чтения» (Mal’tsev Meeting, November 10–13, 2014): Тезисы докладов. – Новосибирск, 2014. – С. 31. >>
  103. Махортов С.Д. О решениях продукционно-логического уравнения на булевой решетке / С.Д. Махортов, И.Ю. Иванов // XIV национальная конференция по искусственному интеллекту с международным участием КИИ-2014 (24–27 сентября 2014г., г.Казань): Труды конференции. – Казань : Изд-во РИЦ «Школа», 2014. – Т. 1. – С. 59–67. >>
  104. Болотова С.Ю. Параллельные алгоритмы релевантного LP-вывода / С.Ю. Болотова, С.Д. Махортов // Программная инженерия. – 2014. – № 7. – С. 17–24. >>
  105. Махортов С.Д. LP-структуры на булевых решетках и их приложения в задачах управления знаниями / С.Д. Махортов, И.Ю. Иванов // Материалы Всероссийской конференции с международным участием «Знания – Онтологии – Теории» (ЗОНТ-2015) 6-8 октября 2015 г.. – Новосибирск : Институт математики им. С.Л. Соболева СО РАН, 2015. – Т. 2. – С. 44–51. >>
  106. Bolotova S.Yu. Multi-threaded relevant LP-inference / S.Yu. Bolotova, S.D. Makhortov // Modern Informatization Problems in the Technological and Telecommunication Systems Analysis and Synthesis: Proceedings of the XX-th International Open Science Conference (Yelm, WA, USA, January 1-10, 2015). Editor in Chief Dr. Sci., Prof. O.Ja. Kravets. – Yelm : Science Book Publishing House LLC, 2015. – P. 339–347. >>
  107. Махортов С.Д. Алгебраическая модель распределенной логической системы продукционного типа / С.Д. Махортов // Программная инженерия. – 2015. – № 12. – С. 32–38. >>
  108. Шмарин А.Н. Приближение оценки числа слоев без циклов в задаче нечеткого LP-вывода / А.Н. Шмарин, С.Д. Махортов // Нейрокомпьютеры. Разработка, применение. – 2015. – № 12. – С. 44–51. >>
  109. Махортов С.Д. Статистические результаты параллельного релевантного обратного вывода / С.Д. Махортов, С.Ю. Болотова // XIII Всероссийская научная конференция «Нейрокомпьютеры и их применение» (НКП-2015), Москва, 17 марта 2015 года. Тезисы докладов. – 2015. – С. 23–24. >>
  110. Махортов С.Д. Теория LP-структур для интеллектуальных систем: основные приложения и перспективы / С.Д. Махортов // Нейрокомпьютеры. Разработка, применение. – 2015. – № 12. – С. 34–43. >>
  111. Quispe-Tintaya W. Quantitative detection of low-abundance somatic structural variants in normal cells by high-throughput sequencing / W. Quispe-Tintaya, T. Gorbacheva, M. Lee, S.D. Makhortov, V.N. Popov, J. Vijg, A.Y. Maslov // Nature Methods. – 2016. – No. 13. – P. 584–586. – DOI: 10.1038/nmeth.3893. >>
  112. Махортов С.Д. Библиотека DLPStructure / С.Д. Махортов // Свидетельство о государственной регистрации программы для ЭВМ. – М. : Роспатент, 2016. – № 2016663149 от 29.11.2016.
  113. Махортов С.Д. Интеллектуальный Мультиязыковый Библиографический Менеджер 0.1 / С.Д. Махортов, Д.В. Борисенков, Н.А. Каплиева, М.К. Чернышов // Свидетельство о государственной регистрации программы для ЭВМ. – М. : Роспатент, 2016. – № 2016663084 от 28.11.2016.
  114. Махортов С.Д. Исследование алгебраической модели распределенной интеллектуальной системы продукционного типа / С.Д. Махортов // XIV Всероссийская научная конференция «Нейрокомпьютеры и их применение» (НКП-2016), Москва, 15 марта 2016 года. Тезисы докладов. – 2016. – 36 с. >>
  115. Махортов С.Д. Об алгебраической модели распределенной продукционной системы / С.Д. Махортов // XV национальная конференция по искусственному интеллекту с международным участием КИИ-2016 (3–7 октября 2016г., г.Смоленск): Труды конференции. – Смоленск : Универсум, 2016. – Т. 1. – С. 64–72. >>
  116. Махортов С.Д. Продукционно-логические уравнения в распределенной LP-структуре / С.Д. Махортов // Программная инженерия. – 2016. – № 7. – С. 324–329. >>
  117. Makhortov S.D. Relevant backward inference and knowledge verification on the basis of equation solving in LP-structures / S.D. Makhortov, I.Yu. Kuznetsova // Modern Informatization Problems in Simulation and Social Technologies: Proceedings of the XXII-th International Open Science Conference (Yelm, WA, USA, January 2017). Editor in Chief Dr. Sci., Prof. O.Ja. Kravets. – Yelm : Science Book Publishing House LLC, 2017. – P. 164–178. >>
  118. Махортов С.Д. Распределенные LP-структуры и связанные с ними продукционно-логические уравнения / С.Д. Махортов // XV Всероссийская научная конференция «Нейрокомпьютеры и их применение» (НКП-2017), Москва, 14 марта 2017 года. Тезисы докладов. – М. : МГППУ, 2017. – С. 34–35. >>
  119. Quispe-Tintaya W. Genome-wide quantitative assessment of structural variants in somatic cells by next-generation suquencing / W. Quispe-Tintaya, T. Gorbacheva, M. Lee, S.D. Makhortov, V.N. Popov, J. Vijg, A.Y. Maslov // Труды IX Всероссийской научно-практической конференции с международным участием «Молекулярная диагностика», Москва, 18-20 апреля 2017 года. – М. : Юлис, 2017. – V. 2. – P. 274. >>
  120. Махортов С.Д. Распределенные LP-структуры и возможности их применения в задачах управления знаниями / С.Д. Махортов // Материалы Всероссийской конференции с международным участием «Знания – Онтологии – Теории» (ЗОНТ-2017). – Новосибирск : Институт математики им. С.Л. Соболева СО РАН, 2017. – Т. 2. – С. 69–78. >>
  121. Махортов С.Д. Алгебраический подход к исследованию и оптимизации множества правил условной системы переписывания / С.Д. Махортов // Сб. трудов международной научно-технической конференции «Актуальные проблемы прикладной математики, информатики и механики». – Воронеж : ВГУ, 2017. – С. 424–431. >>
  122. Болотова С.Ю. Стратегии подсчета релевантности в методе релевантного обратного вывода / С.Ю. Болотова, С.Д. Махортов // Экономика и менеджмент систем управления. – Воронеж : Научная книга, 2017. – № 4.2(26). – С. 210–220. >>
  123. Махортов С.Д. Мобильное приложение для определения спектра частот и выделения нот в акустическом сигнале / С.Д. Махортов, И.В. Клейменов // Программная инженерия. – 2018. – № 3. – С. 132–139. >>
  124. Махортов С.Д. Унифицированная алгебраическая модель логического вывода на основе решетки Линденбаума-Тарского / С.Д. Махортов, И.Ю. Иванов // XVI Всероссийская научная конференция «Нейрокомпьютеры и их применение» (НКП-2018), Москва, 13 марта 2018 года. Тезисы докладов. – М. : МГППУ, 2018. – С. 63–64. >>
  125. Махортов С.Д. О выразительных возможностях схем описания структуры строк / С.Д. Махортов // Программная инженерия. – 2018. – № 5. – С. 235–240. >>
  126. Makhortov S.D. An Algebraic Approach to the Study and Optimization of the Set of Rules of a Conditional Rewrite System / S.D. Makhortov // Journal of Physics: Conference Series. – 2018. – V. 973. – No. 1. – P. 65535. – DOI: 10.1088/1742-6596/973/1/012066. >>
  127. Болотова С.Ю. Применение релевантного LP-вывода в продукционных системах и стратегии подсчета релевантности / С.Ю. Болотова, С.Д. Махортов // Информационные технологии моделирования и управления. – 2018. – № 5. – С. 369–380. >>
  128. Makhortov S.D. About an Algebraic Model of the Production Type Distributed Intelligent System / S.D. Makhortov, S.Yu. Bolotova // Proceedings of the International Conference "Applied Mathematics, Computational Science and Mechanics: Current Problems". – Voronezh : VSU, 2018. – P. 345–352. >>
  129. Махортов С.Д. О новых алгоритмах взаимного преобразования строковых схем / С.Д. Махортов // Вестник Воронежского государственного университета. Серия: Физика. Математика. – Воронеж, 2018. – № 4. – С. 134–140. >>
  130. Лещинская М.В. Об алгоритмах распределенного LP-вывода / М.В. Лещинская, С.Д. Махортов // Материалы XIX Международной научно-методической конференции «Информатика: проблемы, методология, технологии». – Воронеж : «Научно-исследовательские публикации», 2019. – С. 1351–1359.
  131. Махортов С.Д. Об одном подходе к построению и обоснованию алгоритмов взаимных преобразований строковых схем / С.Д. Махортов // Материалы XIX Международной научно-методической конференции «Информатика: проблемы, методология, технологии». – Воронеж : «Научно-исследовательские публикации», 2019. – С. 1360–1366.
  132. Ногих А.А. Рефакторинг в объектно-ориентированном программировании на основе использования LP-структур / А.А. Ногих, С.Д. Махортов // Материалы XIX Международной научно-методической конференции «Информатика: проблемы, методология, технологии». – Воронеж : «Научно-исследовательские публикации», 2019. – С. 1372–1380. >>
  133. Ногих А.А. Интеллектуализация рефакторинга на основе LP-структур / А.А. Ногих, С.Д. Махортов // XVII Всероссийская научная конференция «Нейрокомпьютеры и их применение» (НКП-2019), Москва, 19 марта 2019 года. Тезисы докладов. – М. : МГППУ, 2019. – С. 64–65. >>
  134. Лещинская М.В. Исследование и реализация алгоритмов обратного вывода в распределенных интеллектуальных системах / М.В. Лещинская, С.Д. Махортов // Вестник Воронежского государственного университета. Серия: Системный анализ и информационные технологии. – Воронеж, 2019. – № 1. – С. 59–66. >>
  135. Makhortov S.D. An algebraic model of the production type distributed intelligent system / S.D. Makhortov, S.Yu. Bolotova // Journal of Physics: Conference Series. – 2019. – V. 1203. – No. 1. – P. 12045. – DOI: 10.1088/1742-6596/1203/1/012045. >>
  136. Махортов С.Д. Применение LP-структур для автоматизации рефакторинга объектно-ориентированных программ / С.Д. Махортов, А.А. Ногих // Программная инженерия. – 2019. – № 5. – С. 195–203. >>
  137. Денисенко А.И. Применение анализа формальных понятий для рефакторинга иерархий классов / А.И. Денисенко, С.Д. Махортов // Сборник студенческих научных работ факультета компьютерных наук ВГУ. В 2-х частях. Под ред. Д.Н. Борисова. – Воронеж, 2019. – № 13. – С. 82–88. >>
  138. Махортов С.Д. Рефакторинг объектно-ориентированных программ на основе теории LP-структур / С.Д. Махортов, А.А. Ногих // Вестник Воронежского государственного университета. Серия: Системный анализ и информационные технологии. – Воронеж, 2019. – № 2. – С. 75–83. >>
  139. Махортов С.Д. Алгебраическая модель распределенной продукционной системы с нечеткими правилами / С.Д. Махортов, М.В. Лещинская // Вестник Воронежского государственного университета. Серия: Системный анализ и информационные технологии. – Воронеж, 2019. – № 3. – С. 149–157. >>
  140. Махортов С.Д. О логической редукции алгебраической модели интеллектуальной системы с нечеткими правилами / С.Д. Махортов, И.В. Клейменов // Вестник Воронежского государственного университета. Серия: Физика. Математика. – Воронеж, 2019. – № 3. – С. 67–78. >>
  141. Махортов С.Д. Автоматизация рефакторинга на основе алгебраического представления знаний / С.Д. Махортов, А.А. Ногих // Материалы VII Международной конференции «Знания – Онтологии – Теории» (ЗОНТ-2019). – Новосибирск : Институт математики им. С.Л. Соболева СО РАН, 2019. – С. 257–263. >>
  142. Махортов С.Д. Алгебраическая модель интеллектуальной системы с нечеткими правилами / С.Д. Махортов // Программная инженерия. – 2019. – № 11-12. – С. 457–463. >>
  143. Иванов И.Ю. Апробация модели рассуждений на основе LP-структуры на дистрибутивной решетке / И.Ю. Иванов, С.Д. Махортов // XVIII Всероссийская научная конференция «Нейрокомпьютеры и их применение» (НКП-2020), Москва, 17 марта 2020 года. Тезисы докладов. – М. : МГППУ, 2020. – С. 74–75. >>
  144. Махортов С.Д. Обобщение алгебраических моделей нечетких интеллектуальных систем / С.Д. Махортов, И.В. Клейменов // Материалы XX Международной научно-методической конференции «Информатика: проблемы, методы, технологии». Воронеж, 13-14 февраля 2020г. – Воронеж : «Научно-исследовательские публикации», 2020. – С. 136–142. >>
  145. Ногих А.А. Применение LP-структур на решетках типов для осуществления рефакторинга методом совмещения атрибутов / А.А. Ногих, С.Д. Махортов // Материалы XX Международной научно-методической конференции «Информатика: проблемы, методы, технологии». Воронеж, 13-14 февраля 2020г. – Воронеж : «Научно-исследовательские публикации», 2020. – С. 159–166. >>
  146. Лещинская М.В. Экспериментальное исследование распределенного LP-вывода методами математической статистики / М.В. Лещинская, С.Д. Махортов // Материалы XX Международной научно-методической конференции «Информатика: проблемы, методы, технологии». Воронеж, 13-14 февраля 2020г. – Воронеж : «Научно-исследовательские публикации», 2020. – С. 120–135. >>
  147. Махортов С.Д. Основанная на дистрибутивной решетке модель рассуждений в продукционной логике нулевого порядка / С.Д. Махортов, И.Ю. Иванов // Информационные технологии и нанотехнологии (ИТНТ-2020). Сборник трудов по материалам VI Международной конференции и молодежной школы. В 4-х томах. Под редакцией В.А. Соболева, Самара, 26-29 мая 2020 года. – Самара : СНИУ, 2020. – С. 398–401. >>
  148. Makhortov S.D. LP Structures Theory Application to Building Intelligent Refactoring Systems / S.D. Makhortov, A.A. Nogikh // Proceedings of the Fourth International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’19). Advances in Intelligent Systems and Computing. – Cham : Springer, 2020. – V. 1156. – P. 403–411. – DOI: 10.1007/978-3-030-50097-9_41. >>
  149. Makhortov S.D. Application of LP Structures Theory to Intelligent Attribute Merger Refactoring / S.D. Makhortov, A.A. Nogikh // Proceedings of the 18th Russian Conference on Artificial Intelligence (RCAI 2020). Lecture Notes in Artificial Intelligence. – Cham : Springer, 2020. – V. 12412. – P. 437–447. – DOI: 10.1007/978-3-030-59535-7_32. >>
  150. Makhortov S.D. Algebraic Models for Big Data and Knowledge Management (Extended Abstract) / S.D. Makhortov // Extended Abstracts of the Data Analytics and Management in Data Intensive Domains: ХХII International Conference DAМDID/RCDL-2020 (October 13-16, 2020, Voronezh, Russia). – Voronezh : VSU, 2020. – P. 34–37. >>
  151. Makhortov S.D. Equivalent transformation of the reasoning model in production zeroth-order logic / S.D. Makhortov, I.Yu. Ivanov // 2020 International Conference on Information Technology and Nanotechnology (ITNT-2020). – IEEE Samara, 2020. – P. 1–4. – DOI: 10.1109/ITNT49337.2020.9253309. >>
  152. Махортов С.Д. UDepartments / С.Д. Махортов // Свидетельство о государственной регистрации программы для ЭВМ. – М. : Роспатент, 2020. – № 2020665108 от 23.11.2020.
  153. Иванов И.Ю. Редукция модели рассуждений в продукционной системе с расширенным набором операций / И.Ю. Иванов, С.Д. Махортов // XVIII национальная конференция по искусственному интеллекту с международным участием КИИ-2020 (10–16 октября 2020г., г. Москва): Труды конференции // Под ред. В.В. Борисова, О.П. Кузнецова. – М. : МФТИ, 2020. – С. 249–257. >>
  154. Махортов С.Д. Уравнения в нечеткой распределенной LP-структуре и возможности их применения в интеллектуальных системах / С.Д. Махортов // Вестник Воронежского государственного университета. Серия: Системный анализ и информационные технологии. – Воронеж, 2020. – № 3. – С. 87–96. – DOI: 10.17308/sait.2020.3/3043. >>
  155. Thalheim B. Preface (Editorial) / B. Thalheim, S.D. Makhortov, A. Sychev // 22nd International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2020). CEUR Workshop Proceedings. – 2020. – V. 2790. – P. 1–2. >>
  156. Махортов С.Д. Методы решения продукционно-логических уравнений в нечеткой LP-структуре / С.Д. Махортов // Программная инженерия. – 2020. – № 6. – С. 342–348. – DOI: 10.17587/prin.11.342-348. >>
  157. Махортов С.Д. О разрешимости и числе решений продукционно-логических уравнений в нечеткой LP-структуре / С.Д. Махортов // Программная инженерия. – 2021. – № 1. – С. 40–47. – DOI: 10.17587/prin.12.40-47. >>
  158. Thalheim B. Preface (Editorial) / B. Thalheim, S.D. Makhortov, A. Sychev // 22nd International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2020), Selected Proceedings. Communications in Computer and Information Science. – Cham : Springer, 2021. – V. 1427. – P. 5–6. – DOI: 10.1007/978-3-030-81200-3. >>
  159. Makhortov S.D. Algebraic Models for Big Data and Knowledge Management / S.D. Makhortov // 22nd International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2020), Selected Proceedings. Communications in Computer and Information Science. – Cham : Springer, 2021. – V. 1427. – P. 19–26. – DOI: 10.1007/978-3-030-81200-3_2. >>
  160. Махортов С.Д. Основанные на решетках алгебраические системы и их приложения в задачах управления знаниями / С.Д. Махортов // Всероссийская научная конференция «Математические основы информатики и информационно-коммуникационных систем» (3–8 декабря 2021г., г. Тверь): Сборник трудов // Под ред. С.М. Дудакова, Б.Н. Карлова. – Тверь : ТвГУ, 2021. – С. 50–56. – DOI 10.26456/mfcsics-21-6. >>
  161. Makhortov S.D. Properties of an Algebraic Model of a Distributed Intelligent System with Fuzzy Rules / S.D. Makhortov // Proceedings of the Fifth International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’21). IITI 2021. Lecture Notes in Networks and Systems. – Cham : Springer, 2022. – V. 330. – P. 188–198. – DOI: 10.1007/978-3-030-87178-9_19. >>
  162. Клейменов И.В. Алгебраические модели нечетких интеллектуальных систем с использованием (max-prod)-композиции / И.В. Клейменов, С.Д. Махортов // Материалы XXII Международной научно-методической конференции им. Э.К. Алгазинова «Информатика: проблемы, методы, технологии». Воронеж, 10-12 февраля 2022г. – Воронеж : ООО «ВЭЛБОРН», 2022. – С. 68–75. >>
  163. Maslov A.Y. Single-molecule, quantitative detection of low-abundance somatic mutations by high-throughput sequencing / A.Y. Maslov, S.D. Makhortov, S. Sun, J. Heid, X. Dong, M. Lee, J. Vijg // Science Advances. – 2022. – V. 8. – No. 14. – P. 1–6. – DOI: 10.1126/sciadv.abm3259. >>
  164. Борисов А.Д. Нежесткая регистрация человеческого лица по изображениям со стереокамеры / А.Д. Борисов, С.Д. Махортов // Программная инженерия. – 2023. – № 2. – С. 82–92. – DOI: 10.17587/prin.14.82-92. >>