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

Базы данных


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

Вид поиска

Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=телекоммуникационные протоколы<.>)
Общее количество найденных документов : 4
Показаны документы с 1 по 4
1.


    Пакулин, Н. В.
    Разработка формальных модулей и тестирование соответствия для систем с асинхронными интерфейсами и телекоммуникационных протоколов [Текст] / Н. В. Пакулин, А. В. Хорошилов // Программирование. - 2007. - N 6. - С. 26-55. - Библиогр.: с. 55 (45 назв. )
УДК
ББК 32.973-018
Рубрики: Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника

Кл.слова (ненормированные):
тестирование систем -- телекоммуникационные протоколы -- системы с асинхронными интерфейсами -- разработка модели систем -- тестирование программ
Аннотация: Предлагается подход к преодолению разрыва между методами формального моделирования и методами тестирования, основанный на формализации поведения систем с асинхронными интерфейсами посредством контрактных спецификаций и использовании таких спецификаций для построения адаптивных тестов.


Доп.точки доступа:
Хорошилов, А. В.

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

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

2.


    Баранов, А. П.
    Асимптотические оценки вероятностей ошибок CRC в некоторых телекоммуникационных протоколах [Текст] = Probability asymptotic CRC error assessments in certain telecommunication protocols / А. П. Баранов, П. А. Баранов // Проблемы информационной безопасности. Компьютерные системы. - 2016. - № 1. - С. 70-75. - Библиогр.: с. 75 (5 назв.) . - ISSN 2071-8217
УДК
ББК 32.973
Рубрики: Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника

Кл.слова (ненормированные):
CRC -- асимптотические оценки -- вероятность ошибок (вычислительная техника) -- информационная безопасность -- телекоммуникационные протоколы -- теория характеров (вычислительная техника) -- циклические коды
Аннотация: Исследуются распределения значений контрольного проверочного циклического кода длины k, построенного на отрезке данных объема n. Рассматривается поведение распределения CRC при больших n и фиксированных значениях k. С применением теории характеров находятся условия асимптотической равномерности распределения CRC.


Доп.точки доступа:
Баранов, П. А.

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

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

3.


    Баранов, А. П.
    Оценка вероятности ошибки CRC при малом искажении передаваемой информации [Текст] = Probability CRC error assessments with low distortion levels of transferred information / А. П. Баранов, П. А. Баранов // Проблемы информационной безопасности. Компьютерные системы. - 2016. - № 2. - С. 75-83. - Библиогр.: с. 82-83 (10 назв.) . - ISSN 2071-8217
УДК
ББК 32.973-018.2
Рубрики: Вычислительная техника
   Распознавание и преобразование образов

Кл.слова (ненормированные):
CRC -- бинарные шумы -- вероятности ошибок CRC -- информационная безопасность -- искажения информации -- малые искажения информации -- передача информации -- проверочные циклические коды -- телекоммуникационные протоколы
Аннотация: Рассмотрено предельное поведение вероятностей ошибок CRC при малых значениях p - вероятности искажения бита передаваемой информации. Оценены значения вероятностей ошибки признать переданный пакет информации неискаженным в условиях наличия хотя бы одного искажения.


Доп.точки доступа:
Баранов, П. А.

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

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

4.


    Баранов, А. П.
    Модели образования значений CRC и контрольных сумм в условиях множественных искажений [Текст] = Models of CRC and checksum values forming in multiple distortions conditions / А. П. Баранов, П. А. Баранов // Проблемы информационной безопасности. Компьютерные системы. - 2017. - № 2. - С. 39-45. - Библиогр.: с. 45 (12 назв.) . - ISSN 2071-8217
УДК
ББК 32.973-018
Рубрики: Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника

Кл.слова (ненормированные):
CRC -- Маркова цепь -- информационная безопасность -- искажения информации -- телекоммуникационные протоколы -- цепь Маркова
Аннотация: Рассмотрены некоторые теоретико-вероятностные модели искажения передаваемой в пакетном режиме информации. Основное внимание уделено искажениям, включая возможные помехи, затрагивающие несколько тактов передачи. Искажения моделируются последовательностью воздействий, определяемых зависимыми случайными величинами. Соответственно и k-мерные значения CRC допускают представление в виде суммы k-мерных разнораспределенных зависимых случайных слагаемых. Для воздействий протяженностью m тактов обсуждены перспективы получения условий сходимости распределения CRC как сумм m-зависимых слагаемых или связанных в неоднородную цепь Маркова.
The paper considers certain probability-theoretic models of packet mode-transferred information distortions. Attention is drawn mainly to distortions, including possible interferences influencing multiple transfer cycles. Distortions are modeled by a consequential impacts that are defined by dependent random variables. K-dimensioned values of CRC, respectively allow representation as a sum of k-dimensioned independent random variables. The paper discusses prospects for impacts stretching to m cycles of acquiring convergence conditions for CRC distribution as a sum of m-dependent terms or ones not interconnected to a non-homogeneous Markov chain.


Доп.точки доступа:
Баранов, П. А.

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

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

 
Статистика
за 12.09.2024
Число запросов 27434
Число посетителей 1
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)