Эксперт по сдаче вступительных испытаний в ВУЗах
Вопрос 1
Двоичный семафор называется:
Выберите один ответ:
a.мьютексом
b.монитором
c.флагом
d.тестором
e.биномом
Вопрос 2
Цикл в графе повторно используемых ресурсов системы является:
Выберите один ответ:
a.достаточным условием отсутствия тупика
b.необходимым и достаточным условием тупика
c.достаточным условием тупика
d.необходимым условием отсутствия тупика
e.необходимым условием тупика
Вопрос 3
Правила интерпретации смыслового значения программы называются:
Выберите один ответ:
a.прагматикой
b.формализацией
c.синтаксисом
d.семантикой
e.спецификацией
Вопрос 4
В вычислительной схеме, представленной на рисунке, третий оператор соперничает за регистр с операторами:
Выберите один ответ:
a.2 и 6
b.2 и 5
c.2
d.5 и 6
e.2, 5 и 6
Вопрос 5
Предикат, описывающий предусловие программы Pg в аксиоматической семантике на множестве состояний памяти State:
Выберите один ответ:
a.pre-Pg: Boolean ×Boolean → State
b.pre-Pg: State → Boolean
c.pre-Pg: State →Boolean × Boolean
d.pre-Pg: State → State
е.pre-Pg: Boolean → State
Вопрос 6
В графе потока данных вычислительной схемы кружки представляют:
Выберите один ответ:
a.переходы
b.управляющие счетчики
c.условия
d.операторы
e.регистры данных
Вопрос 7
Для замыкания процесса Р3, построенного по приведенному процессу РП и его репозиции Р’, при выделенных входных Х и выходных Y компонентах, верно:
Выберите один ответ:
a.x3=у
b.у3=x
c.y3=х3
d.х3=уп
e.у3=хп
Вопрос 8
При реализации операции закрытия семафора P(S) перед командой if S<0 then WAIT(S) будет команда:
Выберите один ответ:
a.S:=S+1
b.P(V) {закрыть семафор}
c.S:=S-1
d.CS {критическая секция}
e.PR {процесс вне критического интервала}
Вопрос 9
Позиция р сети Петри будет неограниченной, если выполнится условие:
Выберите один ответ:
a.b.c.(M01M1)⋀(M12M2)∧(M1≤M2)⋀(M1(p)
d.e.
Вопрос 10
Тождественно истинная тройка Хоара:
Выберите один ответ:
a.{P}A{f}
b.{P}A{P}
c.{t}A{Q}
d.{Q}A{Q}
e.{P}A{t}
Ссылка на первоисточник:
http://viro33.ru
