?
Верификация соответствия между разноуровневыми моделями функциональных требований
Труды Института системного программирования РАН. 2020. Т. 32. № 6. С. 19-30.
В статье предлагаются методы доказательства соответствия между разноуровневыми моделями, нацеленные на доказательство свойств безопасности в индивидуальной трассовой семантике. Эти методы более просты и пригодны для применения при решении практических задач верификации сложных видов функциональных требований по сравнению с традиционными подходами, основанными на установлении отношения уточнения между моделями.
И. В. Ефименко, Форсайт 2013
В работе обсуждаются вопросы создания формальной модели предметной области дорожного картирования на основе анализа лучших практик в данной области. Предполагается, что создание такой модели позволит обобщить опыт построения дорожных карт и обеспечит основу для разработки средств автоматизации формирования и использования дорожных карт. ...
Добавлено: 12 августа 2013 г.
Камкин А. С., М. : МАКС Пресс, 2018
Книга является учебным пособием по формальным методам верификации программ и основана на курсах лекций, читаемых автором на факультете ВМК МГУ имени М.В. Ломоносова, ФУПМ МФТИ и ФКН ВШЭ. В ней изложены основы таких подходов, как дедуктивный анализ и проверка моделей. Список тем включает: методы формализации семантики языков программирования (операционная и аксиоматическая семантика), методы формальной спецификации ...
Добавлено: 2 ноября 2018 г.
Меркин Л. А., Резин Р. М., Васильев Н. К., Моделирование и анализ информационных систем 2020 Т. 27 № 4 С. 472-487
В настоящей работе рассматривается архитектура системы распределенного реестра (СРР) InnoChain. Основной целью этой архитектуры является реализуемость 5-ти уровней формальной верификации программного обеспечения (ПО) системы InnoChain, включая операционное окружение. Методы формальной верификации являются основными методами обеспечения качества ПО с критическими требованиями по надежности, но до сих пор они не находили широкого применения в СРР. Архитектура InnoChain ...
Добавлено: 31 мая 2021 г.
Захаров В. А., Коннов И. В., Моделирование и анализ информационных систем 2010 Т. 17 № 4 С. 78-87
Наиболее значительную трудность для всех инструментальных средств верификации моделей программ
создает эффект комбинаторного взрыва. Один из способов сократить размер проверяемой модели $M$ ---
выбрать подходящую группу автоморфизмов $G$ размеченной системы переходов $M$ и построить фактор-модель $M/G$.
Состояниями фактор-модели $M/G$ служат орбиты состояний модели $M$ относительно группы $G$; также известно,
что модели $M/G$ и $M$ находятся ...
Добавлено: 30 сентября 2015 г.
Салибекян С. М., Панфилов П. Б., Информационные технологии и вычислительные системы 2015 № 1 С. 3-9
В статье приводится формализация dataflow вычислительного процесса (т.е. вычислительного процесса с управлением потоком данных). Основой для формальной модели послужи: теория конечных автоматов, процессная сеть Кана и объектно-атрибутная архитектура вычислительной систельной системы. Формальная модель описывает параллельную вычислительную систему как с общей или распределенной памятью. Модель также позволяет описывать процесс синтеза и обработки сложноструктурированных данных. Изначально модель ...
Добавлено: 4 марта 2015 г.
Рассматривается предложенная формальная модель системы мониторинга транспортного потока и алгоритмы работы системы. ...
Добавлено: 21 октября 2015 г.
Smeliansky R. L., Chemeritsky E. V., Захаров В. А., Automatic Control and Computer Sciences 2014 Vol. 48 No. 7 P. 398-406
Добавлено: 30 сентября 2015 г.
Захаров В. А., Смелянский Р. Л., Чемерицкий Е. В., Моделирование и анализ информационных систем 2013 Т. 20 № 6 С. 33-48
Программно-коммутируемые сети (ПКС) --- это класс компьютерных телекоммуникационных сетей, появившийся несколько лет назад в стремлении упростить проектирование и повысить гибкость управления сетями за счет разделения потоков данных (пакетов) и потоков управления (сообщений и команд), циркулирующие в сетях. ПКС представляет собой распределенную систему, в которой один или несколько контроллеров управляют множеством сетевых коммутаторов, обеспечивающих продвижение пакетов ...
Добавлено: 30 сентября 2015 г.
Байбикова Т. Н., Доморацкий Е. П., Вестник Московского финансово-юридического университета 2017 № 1 С. 200-206
В статье рассмотрены вопросы визуализации научной информации, особенности применения когнитивной компьютерной графики, выделен круг задач научной визуализации. Приведены краткий обзор, тенденции развития и основные характеристики современных средств программной визуализации. Разработан модуль визуализации для системы численного анализа геометрических характеристик изображений объектов. ...
Добавлено: 10 июня 2017 г.
В статье рассматриваются вопросы самовосстановления работоспособности распределенных систем контроля и управления техническими объектами. Исследованы варианты проектирования подсистем восстановления работоспособности (ПВР) при выходе датчиков системы из нормального режима работы, при сбоях или других нештатных ситуациях. Предложена разработка интегрированной ПВР на базе системы поддержки принятия решений (СППР) с целью выработки наиболее рациональных управляющих воздействий модулями и ...
Добавлено: 27 января 2018 г.
М. : National Instruments Russia, 2017
Содержание сборника составляют доклады с результатами оригинальных исследований и технических решений, ранее не публиковавшиеся. Мы надеемся, что предлагаемый сборник окажется полезным для специалистов, работающих в различных областях науки и техники, для широкого круга преподавателей, аспирантов и студентов ВУЗов, а также для преподавателей средних школ и технических колледжей. ...
Добавлено: 10 мая 2017 г.
Kalyagin V.A., Koldanov A.P., Koldanov P.A. и др., Physica A: Statistical Mechanics and its Applications 2014 Vol. 413 No. 1 P. 59-70
Добавлено: 19 июля 2014 г.
Kiselyova N. N., Dudarev V.A., Korzhuev M. A., Inorganic Materials: Applied Research 2016 Vol. 7 No. 1 P. 34-39
A database (DB) on the bandgap of inorganic substances available via the Internet (http://bg.imetdb.ru) was developed for the information service of specialists in the sphere of inorganic chemistry and materials science. The DB is integrated with other information systems on the properties of inorganic substances and materials, which provides the search of a wide range ...
Добавлено: 23 февраля 2016 г.
Добавлено: 15 декабря 2015 г.
Фурманов К. К., Nikol'skii I. M., Computational Mathematics and Modeling 2016 Vol. 27 No. 2 P. 247-253
Добавлено: 22 декабря 2016 г.
ООО Фирма "Элист", 2014
В книге представлены тезисы докладов I тура XV Всероссийской научно-технической конференции и школы молодых ученых, аспирантов и студентов. ...
Добавлено: 17 октября 2014 г.
Шуранов Е. В., / Cornell University. Series Computer Science "arxiv.org". 2021.
Добавлено: 14 февраля 2023 г.
Каз. : Издательство «Фэн» Академии наук Республики Татарстан, 2013
Материалы и доклады Шестой Всероссийской научно-практической конференции по имитацонному моделированию и его применению в науке и промышленности. ...
Добавлено: 14 декабря 2013 г.
Осадчий А. Е., Семенков И. В., Журавлева А. А. и др., / Cold Spring Harbor Laboratory. Series http://dx.doi.org/ "BioRxiv". 2024.
Добавлено: 15 марта 2024 г.
Barcelona : International Association of Technology, Education and Development , 2012
Добавлено: 11 сентября 2012 г.
Декруэ Ж. Ж., Hall P., Bernoulli: a journal of mathematical statistics and probability 2013 Vol. 19 No. 4 P. 1268-1293
Motivated by a problem arising when analysing data from quarantine searches, we explore properties of distributions of sums of independent means of independent lattice-valued random variables. The aim is to determine the extent to which approximations to those sums require continuity corrections. We show that, in cases where there are only two different means, the ...
Добавлено: 29 сентября 2014 г.
Котельникова М. В., Аистов А. В., Вестник Нижегородского университета им. Н.И. Лобачевского. Серия: Социальные науки 2019 Т. 55 № 3 С. 183-189
Представлено описание метода, позволяющего совершенствовать содержание дисциплин математического цикла, разделяя их на инвариантную (общую) и вариативную части. Приводятся результаты выделения инвариантов для дисциплин «Линейная алгебра», «Математический анализ», «Теория вероятностей и математическая статистика», преподаваемых экономистам-бакалаврам нескольких вузов. На основе выделенных инвариантов предлагаются темы для организации самостоятельной проектной и исследовательской деятельности студентов, ориентированной на содержание курса «Эконометрика». ...
Добавлено: 28 января 2020 г.
Карпов В. Э., Карпова И. П., Procedia Engineering 2015 Vol. 100 P. 1459-1468
Добавлено: 14 марта 2015 г.