Электронная библиотека (репозиторий) Томского государственного университета
верификация | статьи в журналах

Add to Quick Collection   All 17 Results

Showing items 1 - 15 of 17.
Sort:
 Add All Items to Quick Collection
Add   Метафизика факта Дональда Маккиннона и проблемы верификационизма
Authors: Оглезнев, Виталий Васильевич
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2023. № 73. С. 44-54
Type: статьи в журналах
Date: 2023
Description: В статье рассматривается оригинальная трактовка верификации как чувственно воспринимаемого события, которое хотя отчасти и связано с наблюдением, но им не обусловливается и не исчерпывается. Этот подх ... More
Add   Сравнение способов моделирования механизмов управления доступом ОС и СУБД на формализованном языке метода Event-B с целью их верификации инструментами Rodin и ProB
Authors: Леонова, Мария Александровна | Девянин, Петр Николаевич
Source: Прикладная дискретная математика. Приложение. 2022. № 15. С. 90-99
Type: статьи в журналах
Date: 2022
Description: В результате перевода описания формальной модели управления доступом промышленной ОССН Astra Linux Special Edition (МРОСЛ ДП-модели) из математической в формализованную нотацию на языке метода Event-B ... More
Add   О приемах по доработке согласованного описания МРОСЛ ДП-модели для ОС и СУБД с целью его верификации инструментами Rodin и ProB
Authors: Девянин, Петр Николаевич | Леонова, Мария Александровна
Source: Прикладная дискретная математика. Приложение. 2021. № 14. С. 126-132
Type: статьи в журналах
Date: 2021
Description: Рассматриваются приемы согласованного описания мандатной сущностно-ролевой
Add   Способ прогнозирования зон обледенения воздушных судов на основе радиометрических измерений параметров атмосферы
Authors: Зуев, Владимир Владимирович | Павлинский, Алексей Валерьевич | Мордус, Дарья Петровна | Нечепуренко, Ольга Евгеньевна | Ильин, Геннадий Николаевич | Быков, Владимир Юрьевич
Source: Известия высших учебных заведений. Северо-Кавказский регион. Серия : Естественные науки. 2021. № 1. С. 59-69
Type: статьи в журналах
Date: 2021
Description: Обледенение является одним из неблагоприятных метеорологических явлений для авиации. Обледенение воздушного судна (ВС), как правило, возникает в результате образования льда на его поверхности при отри ... More
Add   Метод структурно-графического анализа и верификации интеллектуальной имитационной модели
Authors: Исаева, Ольга Сергеевна | Кулясов, Никита Владимирович | Исаев, Сергей Владиславович
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2020. № 50. С. 79-88
Type: статьи в журналах
Date: 2020
Description: Представлен метод анализа интеллектуальной модели имитации функционирования бортовой аппаратуры космического аппарата. Модель состоит из графической структуры, отражающей состав элементов бортовой апп ... More
Add   "Открытая текстура" языка, смутность и принцип контекстности
Authors: Оглезнев, Виталий Васильевич
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2018. № 44. С. 25-32
Type: статьи в журналах
Date: 2018
Description: Подробно рассматриваются идеи «открытой текстуры» языка и смутности понятий в том виде, в котором они были сформулированы в работах Фридриха Вайсмана, а также связанные с этим некоторые проблемы вериф ... More
Add   Анализ достоверности параметров спектральных линий водяного пара при высоких температурах в спектроскопических базах данных
Authors: Войцеховская, Ольга Кузьминична | Егоров, Олег Викторович | Каширский, Данила Евгеньевич
Source: Известия высших учебных заведений. Физика. 2017. Т. 60, № 2. С. 57-67
Type: статьи в журналах
Date: 2017
Description: Обсуждаются параметры спектральных линий высокотемпературного водяного пара, представленные в известных спектроскопических базах данных. В качестве критерия достоверности значений параметров использую ... More
Add   О верификации собственноручной подписи
Authors: Береснева, Анастасия Викторовна | Бабкин, Сергей Сергеевич | Курнев, Алексей Сергеевич | Лермонтов, Владимир Юрьевич | Епишкина, Анна Васильевна
Source: Прикладная дискретная математика. Приложение. 2017. № 10. С. 73-76
Type: статьи в журналах
Date: 2017
Description: Проанализированы способы онлайн-верификации собственноручной подписи на основе KNN-алгоритма, Range Classifier алгоритма, алгоритма на основе скрытой модели Маркова и простейшей перцептронной нейронно ... More
Add   Обработка экспериментальных данных при верификации компонентов физических систем: оценка качества тестовых последовательностей
Authors: Лапутенко, Андрей Владимирович | Лопез Коронадо, Хорхе Елеазар | Евтушенко, Нина Владимировна
Source: Известия высших учебных заведений. Физика. 2017. Т. 60, № 11. С. 146-151
Type: статьи в журналах
Date: 2017
Description: Данная статья является продолжением исследований по построению качественных верификационных тестов для проверки цифровых компонентов, используемых в различных физических системах, таких, как, например ... More
Add   Проверка свойств конечных автоматов с помощью набора инструментов mCRL2
Authors: Громов, Максим Леонидович | Лапутенко, Андрей Владимирович
Source: Известия высших учебных заведений. Физика. 2015. Т. 58, № 11/2. С. 65-69
Type: статьи в журналах
Date: 2015
Add   Проблемы верификации конституционных норм
Authors: Оглезнев, Виталий Васильевич | Суровцев, Валерий Александрович
Source: Журнал российского права. 2014. № 10. С. 48-58
Type: статьи в журналах
Date: 2014
Add   Аналитическая верификация моделей седиментации, основанных на методе дискретных элементов
Authors: Дьяченко, Евгений Николаевич
Source: Вестник Томского государственного университета. Математика и механика. 2013. № 2. С. 17-21
Type: статьи в журналах
Date: 2013
Add   Тестирование безопасности программного обеспечения с использованием верификаторов
Authors: Ермаков, Антон Дмитриевич
Source: Известия высших учебных заведений. Физика. 2013. Т. 56, № 9/2. С. 181-183
Type: статьи в журналах
Date: 2013
Add   Экспериментальное сравнение двух подходов к верификации логических схем на основе проверки выполнимости КНФ
Authors: Кидярова, Галина Владимировна
Source: Известия высших учебных заведений. Физика. 2013. Т. 56, № 9/2. С. 196-197
Type: статьи в журналах
Date: 2013
Add   Еще раз о "новом" синтезе в исторической науке
Authors: Криницкая, Галина Степановна
Source: Вестник Томского государственного университета. История. 2011. № 3. С. 123-128
Type: статьи в журналах
Date: 2011

Creator

Date

Subject

^