Results 31 to 40 of about 8,773 (135)
Approach to test program development for multilevel verification
Труды Института системного программирования РАН, 2019 Development of system-on-chips or network-on-chips requires verification of standalone units (peripherals and commutators) and a system as a whole. An approach to test development for verification of programmable standalone units is presented.
Pavel Viktorovich Frolov
doaj +1 more source
Verification of numerical simulation of laboratory stirrer for liquid aluminium [PDF]
, 2017 The article is devoted to the experimental verification of the computer model of the laboratory bottom stirrer of liquid aluminum. Verification was carried out on the basis of a comparison of the change in the temperature field in the volume of the ...
Bolotin, K. E. +9 more
core
Численная модель сжимаемого вязкого турбулентного течения во впускных каналах и цилиндрах поршневых двигателей. Часть II. Верификация [PDF]
, 2009 Представлена верификация численной модели для расчета сжимаемых вязких турбулентных течений газа в элементах впускных систем, цилиндрах и камерах сгорания поршневых двигателей на основе авторского программного комплекса MTFS.
Солодов, Валерий Григорьевич +1 more
core
Investigation of the flow pattern in the inlet part of turbine using method of mathematic modelling [PDF]
, 2017 В статье приводятся результаты численного исследования структуры потока в тракте, включающего регулирующий клапан, входной патрубок, сопловой сегмент. Определено, что суммарные потери располагаемой энергии при совместной работе данных элементов превышают
Бабаев, Артем Иванович +1 more
core +1 more source
Верификация компиляторов – систематический подход.
Труды Института системного программирования РАН, 2007 Компиляторы преобразуют исходный текст программы на языке высокого уровня в вид, пригодный для исполнения. Ошибки в компиляторе чреваты отказами или ошибками при выполнении исполняемых файлов, построенных компилятором, поэтому обеспечение корректности ...
С.В. Зеленов +1 more
doaj
Метаморфозы региональной политической журналистики: верификация проблемы [PDF]
, 2015 Редакционные договоры на информационное обслуживание органов власти и ведомств вынуждают журналистов подменять политическую журналистику политическим пиаром, ограничиваться тиражированием информации протокольного характера.
Третьякова, О. В.
core +1 more source
Информатика и автоматизацияПредставлен подход к верификации функционально-структурных спецификаций, реализованных в заказных интегральных схемах, основанный на инвазивных методах исследования. Актуальность проведённого исследования обусловлена необходимостью проведения верификации
Dmitry Nagibin +4 more
doaj +1 more source
Труды Института системного программирования РАН, 2018 The paper presents a model-based approach to conformance testing of TLS implementations. It discusses the formal model of TLS protocol, the structure of the test suite. JavaTesK tool, based on UniTESK technology, was used to develop the test suite. A set
A. V. Nikeshin +2 more
doaj +1 more source
Numerical simulation of methane combustion process in combustion chamber of gas turbine engine DG-90 [PDF]
, 2017 The paper considers the main stages of numerical modeling of the combustion process in the combustion chamber of the marine gas turbine engine DG-90. DG-90 is a part of gas turbine plant GPA-C1-16S.
Funikov, V. N. +3 more
core
CPN Tools-Assisted Simulation and Verification of Nested Petri Nets
Моделирование и анализ информационных систем, 2012 Nested Petri nets (NP-nets) are an extension of Petri net formalism within the “netswithin-nets” approach, when tokens in a marking are Petri nets, which have an autonomous behavior and are synchronized with the system net.
L. W. Dworza´nski, I. A. Lomazova
doaj