Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


БД "Статьи" - результаты поиска

Вид поиска
БД "Книги"
БД "Статьи"
Труды АМГУ
Выпускные квалификационные работы
Антитеррор
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>A=Махортов, С. Д.$<.>)
Общее количество найденных документов : 8
Показаны документы с 1 по 8
1.


    Махортов, С. Д. (канд. физ.-мат. наук).
    Алгебраический подход к исследованию и оптимизации баз знаний продукционного типа [Текст] / С. Д. Махортов, С. Л. Подвальный // Информационные технологии. - 2008. - N 8. - С. 55-60. - Библиогр.: с. 60 (11 назв. ) . - ISSN 1684-6400
УДК
^a51
^a004.41/.42
ББК 22.1 + 32.973-018
Рубрики: Математика
   Математическая логика
   Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
логические системы -- алгебраизация логики -- интеллектуальные системы -- продукционно-логические системы -- теория булевых решеток -- оптимизация баз знаний
Аннотация: Рассматривается алгебраическая система, содержащая семантику расширенной продукционной логики.


Доп.точки доступа:
Подвальный, С. Л. (д-р техн. наук, проф.)

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие
2.


    Махортов, С. Д.
    LP-структуры на решетках типов и некоторые задачи рефакторинга [Текст] / С. Д. Махортов // Программирование. - 2009. - N 4. - С. 5-14. . - Библиогр.: с. 13-14 (17 назв. )
УДК
^a004.41/.42
ББК 32.973-018
Рубрики: Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
LP-структуры -- Logical-Production Structure -- алгебраическая семантика -- логическое программирование -- оптимизация иерархии типов
Аннотация: Вводятся основанные на решетках алгебраические структуры, содержащие семантику продукционно-логического вывода на иерархии типов в объектно-ориентированной системе с дополнительным отношением.


Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие
3.


    Махортов, С. Д. (канд. физ. -мат. наук).
    Интегрированная среда логического программирования LPEexpert [Текст] / С. Д. Махортов // Информационные технологии. - 2009. - N 12. - С. 65-66. - Библиогр.: с. 66 (5 назв. ) . - ISSN 1684-6400
УДК
^a510.6
^a004.41/.42
ББК 22.12 + 32.973-018
Рубрики: Математика
   Математическая логика
   Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
программные пакеты -- LPEexpert -- логическое программирование -- алгебраические модели -- продукционные системы -- управление знаниями -- БЗ -- базы знаний
Аннотация: В статье кратко представлены функциональные возможности пакета программ LPEexpert, предназначенного для разработки продукционных систем и содержащего компьютерную реализацию LP - структур.


Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие
4.


    Махортов, С. Д. (доктор физико-математических наук; доцент; заведующий кафедрой).
    Продукционно-логические уравнения в распределенной LP-структуре [Текст] / С. Д. Махортов // Программная инженерия. - 2016. - Т. 7, № 7. - С. 324-329. - Библиогр.: с. 328 (11 назв.). - Загл., аннот. и библиогр. парал. рус., англ. . - ISSN 2220-3397
УДК
^a004.41/.42
^a519.6
ББК 32.973-018 + 22.19
Рубрики: Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника
   Математика
   Вычислительная математика
Кл.слова (ненормированные):
LP-структуры -- алгебраические модели -- интеллектуальные системы -- программная инженерия -- продукционно-логические уравнения -- продукционные системы -- распределенные продукционные системы -- распределенные системы -- релевантный обратный вывод
Аннотация: Одно из достижений теории LP-структур - метод релевантного обратного вывода, существенно снижающий число обращений к внешним источникам информации. В его основе лежит аппарат продукционно-логических уравнений. В статье вводится и исследуется расширенный класс таких уравнений для алгебраической модели, выразительные возможности которой охватывают распределенные интеллектуальные системы.


Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие
5.


    Махортов, С. Д. (доктор физико-математических наук; доцент; заведующий кафедрой).
    Мобильное приложение для определения спектра частот и выделения нот в акустическом сигнале [Текст] / С. Д. Махортов, И. В. Клейменов // Программная инженерия. - 2018. - Т. 9, № 3. - С. 132-139 : ил. - Библиогр.: с. 138 (13 назв.). - Загл., аннот. и библиогр. парал. рус., англ. . - ISSN 2220-3397
УДК
^a004.41/.42
^a534.8:681.8
ББК 32.973-018 + 32.87
Рубрики: Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника
   Радиоэлектроника
   Электроакустика в целом
Кл.слова (ненормированные):
YIN -- акустические сигналы -- алгоритмы -- мобильные приложения -- музыкальная акустика -- программная инженерия -- распознавание нот -- спектр частот
Аннотация: Вычисление спектра частот во входящем аудиосигнале представляет довольно распространенную и хорошо изученную задачу. Однако ее решение на мобильном устройстве накладывает определенные ограничения. В настоящей работе рассмотрен один из подходов к решению указанной проблемы, направленный на минимизацию затрат ресурсов, что дает дополнительные возможности обработки входного сигнала в реальном времени без существенных задержек.


Доп.точки доступа:
Клейменов, И. В. (магистрант)

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие
6.


    Махортов, С. Д. (доктор физико-математических наук; доцент; заведующий кафедрой).
    О выразительных возможностях схем описания структуры строк [Текст] / С. Д. Махортов // Программная инженерия. - 2018. - Т. 9, № 5. - С. 235-240. - Библиогр.: с. 239 (7 назв.). - Загл., аннот. и библиогр. парал. рус., англ. . - ISSN 2220-3397
УДК
^a004.41/.42
ББК 32.973-018
Рубрики: Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
Z-блоки -- Z-функция -- анализ сложности -- взаимные преобразования -- грани строк -- линейные алгоритмы -- префикс-функция -- программная инженерия -- схемы описания структуры строк
Аннотация: Алгоритмы вычислений на строках находят все возрастающее применение в различных прикладных областях. Проведен сравнительный анализ двух наиболее известных и эффективных схем - массивы граней и Z-блоков.


Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие
7.


    Махортов, С. Д. (доктор физико-математических наук; доцент; заведующий кафедрой).
    Применение LP-структур для автоматизации рефакторинга объектно-ориентированных программ [Текст] / С. Д. Махортов, A. A. Ногих // Программная инженерия. - 2019. - Т. 10, № 5. - С. 195-203 : рис. - Библиогр.: с. 202 (7 назв.). - Загл., аннот. и библиогр. парал. рус., англ. . - ISSN 2220-3397
УДК
^a004.41/.42
ББК 32.973-018
Рубрики: Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
LP-структуры -- инструментальные средства разработки -- объектно-ориентированное программирование -- рефакторинг
Аннотация: Рассмотрены вопросы автоматизации рефакторинга программ, основанных на парадигме объектно-ориентированного программирования. В качестве математической основы подхода предложен специальный класс алгебраических систем - LP-структуры на решетках типов. Обоснован способ автоматизации рефакторинга, учитывающий свойства отдельных типов и их атрибутов. Описаны условия, достаточные для проведения практической оптимизации иерархии типов программной системы.


Доп.точки доступа:
Ногих, A. A.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие
8.


    Махортов, С. Д. (доктор физико-математических наук; заведующий кафедрой).
    О разрешимости и числе решений продукционно-логических уравнений в нечеткой LP-структуре [Текст] / С. Д. Махортов // Программная инженерия. - 2021. - Т. 12, № 1. - С. 40-47. - Библиогр.: с. 46-47 (16 назв.). - Авт., загл., аннот., кл. сл. и библиогр. парал. рус., англ. . - ISSN 2220-3397
УДК
^a004.41/.42
ББК 32.973-018
Рубрики: Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
алгебраические модели -- интеллектуальные системы -- нечеткая LP-структура -- нечеткая продукционная система -- продукционно-логические уравнения -- релевантный обратный вывод -- управление знаниями
Аннотация: Разработанная автором теория LP-структур предназначена для формализации методов управления знаниями в интеллектуальных системах продукционного типа. Одно из ее направлений — методы релевантного обратного вывода, снижающие число обращений к внешним источникам информации. Они основаны на решении продукционно-логических уравнений. В статье рассматривается расширенный класс таких уравнений для алгебраической модели, выразительные возможности которой охватывают нечеткие интеллектуальные системы. С учетом доказанных ранее свойств уравнений исследованы вопросы о разрешимости и числе решений. Нахождение решения продукционно-логического уравнения соответствует обратному нечеткому логическому выводу. Представленные результаты служат теоретической основой для дальнейших продвижений в области его оптимизации. Обсуждены идеи практического применения уравнений для ускорения нечеткого обратного вывода.


Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика
за 18.08.2024
Число запросов 75587
Число посетителей 1
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)