Махортов, С. Д. (канд. физ.-мат. наук). Алгебраический подход к исследованию и оптимизации баз знаний продукционного типа [Текст] / С. Д. Махортов, С. Л. Подвальный> // Информационные технологии. - 2008. - N 8. - С. 55-60. - Библиогр.: с. 60 (11 назв. ) . - ISSN 1684-6400
Рубрики: Математика Математическая логика Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): логические системы -- алгебраизация логики -- интеллектуальные системы -- продукционно-логические системы -- теория булевых решеток -- оптимизация баз знаний Аннотация: Рассматривается алгебраическая система, содержащая семантику расширенной продукционной логики. Доп.точки доступа: Подвальный, С. Л. (д-р техн. наук, проф.) Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Махортов, С. Д. LP-структуры на решетках типов и некоторые задачи рефакторинга [Текст] / С. Д. Махортов> // Программирование. - 2009. - N 4. - С. 5-14. . - Библиогр.: с. 13-14 (17 назв. )
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): LP-структуры -- Logical-Production Structure -- алгебраическая семантика -- логическое программирование -- оптимизация иерархии типов Аннотация: Вводятся основанные на решетках алгебраические структуры, содержащие семантику продукционно-логического вывода на иерархии типов в объектно-ориентированной системе с дополнительным отношением. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Махортов, С. Д. (канд. физ. -мат. наук). Интегрированная среда логического программирования LPEexpert [Текст] / С. Д. Махортов> // Информационные технологии. - 2009. - N 12. - С. 65-66. - Библиогр.: с. 66 (5 назв. ) . - ISSN 1684-6400
Рубрики: Математика Математическая логика Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): программные пакеты -- LPEexpert -- логическое программирование -- алгебраические модели -- продукционные системы -- управление знаниями -- БЗ -- базы знаний Аннотация: В статье кратко представлены функциональные возможности пакета программ LPEexpert, предназначенного для разработки продукционных систем и содержащего компьютерную реализацию LP - структур. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Махортов, С. Д. (доктор физико-математических наук; доцент; заведующий кафедрой). Продукционно-логические уравнения в распределенной LP-структуре [Текст] / С. Д. Махортов> // Программная инженерия. - 2016. - Т. 7, № 7. - С. 324-329. - Библиогр.: с. 328 (11 назв.). - Загл., аннот. и библиогр. парал. рус., англ. . - ISSN 2220-3397
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Математика Вычислительная математика Кл.слова (ненормированные): LP-структуры -- алгебраические модели -- интеллектуальные системы -- программная инженерия -- продукционно-логические уравнения -- продукционные системы -- распределенные продукционные системы -- распределенные системы -- релевантный обратный вывод Аннотация: Одно из достижений теории LP-структур - метод релевантного обратного вывода, существенно снижающий число обращений к внешним источникам информации. В его основе лежит аппарат продукционно-логических уравнений. В статье вводится и исследуется расширенный класс таких уравнений для алгебраической модели, выразительные возможности которой охватывают распределенные интеллектуальные системы. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Махортов, С. Д. (доктор физико-математических наук; доцент; заведующий кафедрой). Мобильное приложение для определения спектра частот и выделения нот в акустическом сигнале [Текст] / С. Д. Махортов, И. В. Клейменов> // Программная инженерия. - 2018. - Т. 9, № 3. - С. 132-139 : ил. - Библиогр.: с. 138 (13 назв.). - Загл., аннот. и библиогр. парал. рус., англ. . - ISSN 2220-3397
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Радиоэлектроника Электроакустика в целом Кл.слова (ненормированные): YIN -- акустические сигналы -- алгоритмы -- мобильные приложения -- музыкальная акустика -- программная инженерия -- распознавание нот -- спектр частот Аннотация: Вычисление спектра частот во входящем аудиосигнале представляет довольно распространенную и хорошо изученную задачу. Однако ее решение на мобильном устройстве накладывает определенные ограничения. В настоящей работе рассмотрен один из подходов к решению указанной проблемы, направленный на минимизацию затрат ресурсов, что дает дополнительные возможности обработки входного сигнала в реальном времени без существенных задержек. Доп.точки доступа: Клейменов, И. В. (магистрант) Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Махортов, С. Д. (доктор физико-математических наук; доцент; заведующий кафедрой). О выразительных возможностях схем описания структуры строк [Текст] / С. Д. Махортов> // Программная инженерия. - 2018. - Т. 9, № 5. - С. 235-240. - Библиогр.: с. 239 (7 назв.). - Загл., аннот. и библиогр. парал. рус., англ. . - ISSN 2220-3397
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): Z-блоки -- Z-функция -- анализ сложности -- взаимные преобразования -- грани строк -- линейные алгоритмы -- префикс-функция -- программная инженерия -- схемы описания структуры строк Аннотация: Алгоритмы вычислений на строках находят все возрастающее применение в различных прикладных областях. Проведен сравнительный анализ двух наиболее известных и эффективных схем - массивы граней и Z-блоков. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Махортов, С. Д. (доктор физико-математических наук; доцент; заведующий кафедрой). Применение LP-структур для автоматизации рефакторинга объектно-ориентированных программ [Текст] / С. Д. Махортов, A. A. Ногих> // Программная инженерия. - 2019. - Т. 10, № 5. - С. 195-203 : рис. - Библиогр.: с. 202 (7 назв.). - Загл., аннот. и библиогр. парал. рус., англ. . - ISSN 2220-3397
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): LP-структуры -- инструментальные средства разработки -- объектно-ориентированное программирование -- рефакторинг Аннотация: Рассмотрены вопросы автоматизации рефакторинга программ, основанных на парадигме объектно-ориентированного программирования. В качестве математической основы подхода предложен специальный класс алгебраических систем - LP-структуры на решетках типов. Обоснован способ автоматизации рефакторинга, учитывающий свойства отдельных типов и их атрибутов. Описаны условия, достаточные для проведения практической оптимизации иерархии типов программной системы. Доп.точки доступа: Ногих, A. A. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Махортов, С. Д. (доктор физико-математических наук; заведующий кафедрой). О разрешимости и числе решений продукционно-логических уравнений в нечеткой LP-структуре [Текст] / С. Д. Махортов> // Программная инженерия. - 2021. - Т. 12, № 1. - С. 40-47. - Библиогр.: с. 46-47 (16 назв.). - Авт., загл., аннот., кл. сл. и библиогр. парал. рус., англ. . - ISSN 2220-3397
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): алгебраические модели -- интеллектуальные системы -- нечеткая LP-структура -- нечеткая продукционная система -- продукционно-логические уравнения -- релевантный обратный вывод -- управление знаниями Аннотация: Разработанная автором теория LP-структур предназначена для формализации методов управления знаниями в интеллектуальных системах продукционного типа. Одно из ее направлений — методы релевантного обратного вывода, снижающие число обращений к внешним источникам информации. Они основаны на решении продукционно-логических уравнений. В статье рассматривается расширенный класс таких уравнений для алгебраической модели, выразительные возможности которой охватывают нечеткие интеллектуальные системы. С учетом доказанных ранее свойств уравнений исследованы вопросы о разрешимости и числе решений. Нахождение решения продукционно-логического уравнения соответствует обратному нечеткому логическому выводу. Представленные результаты служат теоретической основой для дальнейших продвижений в области его оптимизации. Обсуждены идеи практического применения уравнений для ускорения нечеткого обратного вывода. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |