Add to Quick Collection
All 30 Results
Showing items 1 - 15 of 30.
Add All Items to Quick Collection
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2023. № 73. С. 44-54
Type: статьи в журналах
Date: 2023
Description:
В статье рассматривается оригинальная трактовка верификации как чувственно воспринимаемого события, которое хотя отчасти и связано с наблюдением, но им не обусловливается и не исчерпывается. Этот подх
... More
Source: Материалы IX-й Международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-28 мая 2022 г.. Томск, 2022. С. 92-99
Type: статьи в сборниках
Date: 2022
Source: Прикладная дискретная математика. Приложение. 2022. № 15. С. 90-99
Type: статьи в журналах
Date: 2022
Description:
В результате перевода описания формальной модели управления доступом промышленной ОССН Astra Linux Special Edition (МРОСЛ ДП-модели) из математической в формализованную нотацию на языке метода Event-B
... More
Source: Прикладная дискретная математика. Приложение. 2021. № 14. С. 126-132
Type: статьи в журналах
Date: 2021
Description:
Рассматриваются приемы согласованного описания мандатной сущностно-ролевой
Source: Известия высших учебных заведений. Северо-Кавказский регион. Серия : Естественные науки. 2021. № 1. С. 59-69
Type: статьи в журналах
Date: 2021
Description:
Обледенение является одним из неблагоприятных метеорологических явлений для авиации. Обледенение воздушного судна (ВС), как правило, возникает в результате образования льда на его поверхности при отри
... More
Source: Инноватика - 2020 : сборник материалов XVI Международной школы-конференции студентов, аспирантов и молодых ученых, 23-25 апреля 2020 г., г. Томск, Россия. Томск, 2020. С. 273-276
Type: статьи в сборниках
Date: 2020
Description:
Affordable explanations of similarities and differences in the terms of verification
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2020. № 50. С. 79-88
Type: статьи в журналах
Date: 2020
Description:
Представлен метод анализа интеллектуальной модели имитации функционирования бортовой аппаратуры космического аппарата. Модель состоит из графической структуры, отражающей состав элементов бортовой апп
... More
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2018. № 44. С. 25-32
Type: статьи в журналах
Date: 2018
Description:
Подробно рассматриваются идеи «открытой текстуры» языка и смутности понятий в том виде, в котором они были сформулированы в работах Фридриха Вайсмана, а также связанные с этим некоторые проблемы вериф
... More
Source: Известия высших учебных заведений. Физика. 2017. Т. 60, № 2. С. 57-67
Type: статьи в журналах
Date: 2017
Description:
Обсуждаются параметры спектральных линий высокотемпературного водяного пара, представленные в известных спектроскопических базах данных. В качестве критерия достоверности значений параметров использую
... More
Source: Всероссийская молодежная научная конференция "Все грани математики и механики", 25-28 апреля 2017 : сборник тезисов докладов. Томск, 2017. С. 60
Type: статьи в сборниках
Date: 2017
Source: Актуальные проблемы радиофизики : труды Международной молодежной научной школы, Томск, 25-26 сентября 2017 г.. Томск, 2017. С. 114-117
Type: статьи в сборниках
Date: 2017
Source: Оптика атмосферы и океана. Физика атмосферы : XXIII международный симпозиум, 3-7 июля 2017 года, Иркутск : тезисы докладов. Томск, 2017. С. 157
Type: статьи в сборниках
Date: 2017
Source: Прикладная дискретная математика. Приложение. 2017. № 10. С. 73-76
Type: статьи в журналах
Date: 2017
Description:
Проанализированы способы онлайн-верификации собственноручной подписи на основе KNN-алгоритма, Range Classifier алгоритма, алгоритма на основе скрытой модели Маркова и простейшей перцептронной нейронно
... More
Source: Известия высших учебных заведений. Физика. 2017. Т. 60, № 11. С. 146-151
Type: статьи в журналах
Date: 2017
Description:
Данная статья является продолжением исследований по построению качественных верификационных тестов для проверки цифровых компонентов, используемых в различных физических системах, таких, как, например
... More
Type: диссертации
Date: 2016