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

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

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


Информ. и её примен.:
Год:
Том:
Выпуск:
Страница:
Найти




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

Информатика и её применения, 2013, том 7, выпуск 2, страницы 50–54 (Mi ia259)  
Статистическая проверка неисполняемости фрагментов кода последовательной программы

В. Ю. Королевab, Р. Л. Смелянскийa, Т. Р. Смелянскийa, А. В. Шалимовa

a Факультет вычислительной математики и кибернетики Московского государственного университета им. М. В. Ломоносова
b Институт проблем информатики Российской академии наук
PDF полного текста (168 kB)
Список литературы:
PDF
HTML
Аннотация: Рассматривается задача статистической проверки неисполняемости фрагментов кода последовательной программы. Рассматриваются методы, основанные на минимизации как априорных, так и апостериорных вероятностей ошибок.
Ключевые слова: проверка статистических гипотез; геометрическое распределение; вероятность ошибки первого рода; вероятность ошибки второго рода; лемма Неймана–Пирсона; апостериорная вероятность ошибки.
Тип публикации: Статья
Образец цитирования: В. Ю. Королев, Р. Л. Смелянский, Т. Р. Смелянский, А. В. Шалимов, “Статистическая проверка неисполняемости фрагментов кода последовательной программы”, Информ. и её примен., 7:2, «Вероятностно-статистические методы и задачи информатики и информационных технологий» (2013), 50–54
Цитирование в формате AMSBIB
\RBibitem{KorSmeSme13}
\by В.~Ю.~Королев, Р.~Л.~Смелянский, Т.~Р.~Смелянский, А.~В.~Шалимов
\paper Статистическая проверка неисполняемости фрагментов кода последовательной программы
\jour Информ. и её примен.
\yr 2013
\vol 7
\issue 2
\pages 50--54
\issueinfo <<Вероятностно-статистические методы и задачи информатики и информационных технологий>>
\mathnet{http://mi.mathnet.ru/ia259}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/ia259
  • https://www.mathnet.ru/rus/ia/v7/i2/p50
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Информатика и её применения
    Статистика просмотров:
    Страница аннотации:319
    PDF полного текста:95
    Список литературы:64
    Первая страница:1
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024