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

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

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


Автомат. и телемех.:
Год:
Том:
Выпуск:
Страница:
Найти




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

Автоматика и телемеханика, 2012, выпуск 7, страницы 139–153 (Mi at4044)  
Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Безопасность, живучесть, надежность, техническая диагностика

Формальная верификация логических описаний с функциональной неопределённостью на основе логарифмического кодирования условий

Л. Д. Черемисинова

Объединенный институт проблем информатики НАН Беларуси, Минск
PDF полного текста (239 kB) Список цитирования (1)
Список литературы:
PDF
HTML
Аннотация: Рассматривается задача проверки реализуемости описания с функциональной неопределённостью, представленного системой частично определенных булевых функций (ЧБФ), заданной комбинационной схемой. Проверка реализуемости основана на формальном подходе, предполагающем построение конъюнктивной нормальной формы (КНФ) на основе кодирования многовыходных интервалов из области задания этой системы. Предлагается метод построения КНФ, связанной с системой ЧБФ, который основан на логарифмическом кодировании многовыходных интервалов из области задания этой системы и позволяет сократить число переменных, дополнительно вводимых в формируемую КНФ.
Статья представлена к публикации членом редколлегии: П. П. Пархоменко

Поступила в редакцию: 28.01.2011
Англоязычная версия:
Automation and Remote Control, 2012, Volume 73, Issue 7, Pages 1216–1226
DOI: https://doi.org/10.1134/S0005117912070119
Реферативные базы данных:
Тип публикации: Статья
Образец цитирования: Л. Д. Черемисинова, “Формальная верификация логических описаний с функциональной неопределённостью на основе логарифмического кодирования условий”, Автомат. и телемех., 2012, № 7, 139–153; Autom. Remote Control, 73:7 (2012), 1216–1226
Цитирование в формате AMSBIB
\RBibitem{Che12}
\by Л.~Д.~Черемисинова
\paper Формальная верификация логических описаний с~функциональной неопределённостью на основе логарифмического кодирования условий
\jour Автомат. и телемех.
\yr 2012
\issue 7
\pages 139--153
\mathnet{http://mi.mathnet.ru/at4044}
\transl
\jour Autom. Remote Control
\yr 2012
\vol 73
\issue 7
\pages 1216--1226
\crossref{https://doi.org/10.1134/S0005117912070119}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000306332500011}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84864606708}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/at4044
  • https://www.mathnet.ru/rus/at/y2012/i7/p139
    • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Автоматика и телемеханика
    Статистика просмотров:
    Страница аннотации:207
    PDF полного текста:89
    Список литературы:43
    Первая страница:5
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024