Software Product Lines Modeling
Труды Института системного программирования РАН, 2018 Complex software systems always exist for a long time, sometimes changing, and this leads to a variety of versions of such a system. In additional complex software systems usually have different (sometimes a lot) configurations due to different hardware ...
K. M. Lavrischeva, A. K. Petrenko
doaj +1 more source
Comparison algorithms of dose calculation for planning system XIO for using in clinical practice [PDF]
, 2017 External photon beam radiotherapy (EBRT)is widely used for effective treatment of malignant tumors. Since March 2015 EBRT (3D conformal radiotherapy (3DCRT)) has been started in Tomsk Regional Oncology Center using a linear accelerator Elekta Synergy and
Синягина, М. А. +1 more
core
Вероятностные мультиагентные системы: семантика и верификация [PDF]
, 2008 Рассматриваются системы взаимодействующих вероятностных интеллектуальных агентов. У них имеются два источника неопределенности: неопределенность времени передачи сообщений в каналах связи и неопределенность в результатах выполняемых действий.
Валиев, М.К. +1 more
core
Распределенные алгоритмы и их верификация с помощью Byzantine model checker
Вестник КазНУ. Серия математика, механика, информатика, 2016 Каждый алгоритм системы является главным узлом для построения надежных распределенных систем. Для того, чтобы быть уверенным в том, что эти алгоритмы делают систему более надежной, мы должны гарантировать, что предлагаемые алгоритмы работают правильно ...
A. T. Bektemessov +2 more
doaj
On the model checking of finite state transducers over semigroups
Труды Института системного программирования РАН, 2018 Sequential reactive systems represent programs that interact with the environment by receiving signals or requests and react to these requests by performing operations with data.
A. R. Gnatenko, V. A. Zakharov
doaj +1 more source
MODEL CHECKING ВЕРИФИКАЦИЯ ПАРАЛЛЕЛЬНЫХ И РАСПРЕДЕЛЕННЫХ ПРОГРАММНЫХ СИСТЕМ [PDF]
В книге рассказывается о новых результатах в области верификация с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные логики, алгоритмы model checking для
Карпов Ю. Г.
core
Разработка и верификация геомеханической модели деформирования подрабатываемой слоистой породной толщи в горно-геологических условиях ГП "Угольная компания "Краснолиманская" [PDF]
, 2018 Предложена геомеханическая модель слоистого породного массива, подрабатываемого лавой. Рассмотрены горно-геологические условия Государственного предприятия «Угольная компания «Краснолиманская».
Хозяйкина, Н. В. +5 more
core
Верификация аппаратно-программного комплекса для обеспечения целостности сигналов при проектировании вычислительных систем [PDF]
, 2014 В рамках интеграции высокоуровневых ресурсов в распределенной вычислительной среде для решения научных и инженерных задач предлагаются научные решения по проектированию вычислительных систем с использованием верификации аппаратно-программного комплекса с
Зуев, И. В. +2 more
core +1 more source
Linux kernel configuration build for application systems
Труды Института системного программирования РАН, 2019 The Linux operating system is a modern open operating system containing more than 10,000 configuration variables and a large variety of functional system elements that handle the processing of various kinds of tasks. The task is to create some version of
S. V. Kozin
doaj +1 more source
О возможности идентификации правильного положения инъекционной иглы при блокаде седалищного нерва [PDF]
, 2013 СЕДАЛИЩНЫЙ НЕРВАНЕСТЕЗИЯ ...
Брухнов, А. В. +3 more
core