Ученые записки Казанского университета. Серия Физико-математические науки
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Учен. зап. Казан. ун-та. Сер. Физ.-матем. науки:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Ученые записки Казанского университета. Серия Физико-математические науки, 2021, том 163, книга 3-4, страницы 276–290
DOI: https://doi.org/10.26907/2541-7746.2021.3-4.276-290
(Mi uzku1596)
 

Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Синтез бинарных программ с преобладанием команд переадресующего типа

В. В. Жуков

Московский государственный университет имени М.В. Ломоносова, г. Москва, 119991, Россия
Список литературы:
Аннотация: В работе рассмотрена модель бинарных программ, реализующих функции алгебры логики (булевы функции), состоящих из одного или нескольких модулей, которые содержат команды трех типов: вычислительные, переадресующие и команды вызова процедур. В данной модели также допускается рекурсивный вызов процедур, то есть в процессе выполнения бинарной программы процедуры могут непосредственно или через другие процедуры вызывать сами себя. Введено понятие произвольного базиса для команд переадресующего типа в качестве обобщения известных моделей. Представлены методы получения нижних и верхних оценок функции Шеннона для сложности реализации булевых функций в классе бинарных программ. Предложенные методы позволили установить асимптотику функции Шеннона в случае, когда удельный вес переадресующих команд меньше удельного веса команд вычислительного типа.
Ключевые слова: бинарные программы, функция Шеннона, асимптотические оценки.
Финансовая поддержка Номер гранта
Министерство науки и высшего образования Российской Федерации 075-15-2019-1621
Работа выполнена при финансовой поддержке Минобрнауки РФ в рамках реализации программы Московского центра фундаментальной и прикладной математики по соглашению № 075-15-2019-1621.
Поступила в редакцию: 23.08.2021
Реферативные базы данных:
Тип публикации: Статья
УДК: 519.714.1
Образец цитирования: В. В. Жуков, “Синтез бинарных программ с преобладанием команд переадресующего типа”, Учен. зап. Казан. ун-та. Сер. Физ.-матем. науки, 163, № 3-4, Изд-во Казанского ун-та, Казань, 2021, 276–290
Цитирование в формате AMSBIB
\RBibitem{Zhu21}
\by В.~В.~Жуков
\paper Синтез бинарных программ с~преобладанием команд переадресующего типа
\serial Учен. зап. Казан. ун-та. Сер. Физ.-матем. науки
\yr 2021
\vol 163
\issue 3-4
\pages 276--290
\publ Изд-во Казанского ун-та
\publaddr Казань
\mathnet{http://mi.mathnet.ru/uzku1596}
\crossref{https://doi.org/10.26907/2541-7746.2021.3-4.276-290}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/uzku1596
  • https://www.mathnet.ru/rus/uzku/v163/i3/p276
  • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Ученые записки Казанского университета. Серия Физико-математические науки
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024