Вопросы от теста, для просмотра ответов, перейдите по ссылке ниже вопроса
В модели Холта дуга, ведущая от ресурса к процессу указывает на то, что ресурс:
Выберите один ответ:
a. выделен процессу
b. освобождается процессом
c. захватывается процессом
d. запрашивается процессом
e. потребляется процессом
СМОТРЕТЬ ОТВЕТ
В случае, если задача координации работы устройств не решается, устройства соединяются через:
Выберите один ответ:
a. интерфейс
b. репитер
c. коннектор
d. трансивер
e. адаптер
СМОТРЕТЬ ОТВЕТ
Для эффективного асинхронного процесса любой класс эквивалентности ситуаций, не принадлежащих к результантам, состоит из:
Выберите один ответ:
a. множества ситуаций, кроме инициаторов и результантов
b. одной ситуации
c. не менее двух ситуаций
d. двух ситуаций
e. инициаторов
СМОТРЕТЬ ОТВЕТ
Для замыкания процесса Р3, построенного по приведенному процессу РП и его репозиции Р', при выделенных входных Х и выходных Y компонентах, верно:
Выберите один ответ:
a. x3=у
b. у3=хп
c. у3=x
d. y3=х3
e. х3=уп
СМОТРЕТЬ ОТВЕТ
Состояние Si, у которого для всех Sk, таких что Si* Sk , Sk не является тупиковым состоянием, называется:
Выберите один ответ:
a. безопасным
b. фиксированным
c. устойчивым
d. опасным
e. тупиковым
СМОТРЕТЬ ОТВЕТ
Для сети Петри, представленной на рисунке, тупиковой будет разметка:
Выберите один ответ:
a. 211
b. 201
c. 101
d. 200
e. 010
СМОТРЕТЬ ОТВЕТ
Логический уровень интерфейса определяет требования к:
Выберите один ответ:
a. линиям связи;
b. допускам на параметры электрических сигналов.
c. токовой нагрузке на источник питания;
d. способу представления сигналов, символов и сообщений;
e. разъемным соединителям;
СМОТРЕТЬ ОТВЕТ
Полной автоматизации подлежит следующий этап верификатора:
Выберите один ответ:
a. генерация условий верификации
b. принятие решения
c. аннотирование программы
d. доказательство условий верификации
e. анализ доказательства
СМОТРЕТЬ ОТВЕТ
В модели Холта дуга, ведущая от процесса к ресурсу указывает на то, что процесс:
Выберите один ответ:
a. захватывает ресурс
b. запрашивает ресурс
c. потребляет ресурс
d. освобождает ресурс
e. владеет ресурсом
СМОТРЕТЬ ОТВЕТ
Семантика, сводящаяся к описанию смысла программы посредством выполнения ее операторов на реальной или виртуальной машине, называется:
Выберите один ответ:
a. декларативной
b. операционной
c. императивной
d. денатационной
e. аксиоматической
СМОТРЕТЬ ОТВЕТ
Решение задачи взаимного исключения процессов, предложенное Деккером, в качестве средства синхронизации использует:
Выберите один ответ:
a. семафор
b. монитор
c. конвейер
d. блокировку памяти
e. очередь
СМОТРЕТЬ ОТВЕТ
При работе с почтовым ящиком Получатель, Сообщение и Буфер указываются в качестве параметров операции:
Выберите один или несколько ответов:
a. Получатель
b. SEND_ANSWER
c. Отправитель
d. WAIT_ANSWER
e. CREATE_MESSAGE
f. Буфер
g. Сообщение
h. При работе с почтовым ящиком в операции WAIT_ANSWER указываются параметры Результат, Ответ и:
i. Время
j. SEND_MESSAGE
k. WAIT_MESSAGE
СМОТРЕТЬ ОТВЕТ
Последовательные вычислительные процессы, которые одновременно находятся в каком-либо активном состоянии, называются:
Выберите один ответ:
a. параллельными
b. согласованными
c. асинхронными
d. конкурирующими
e. сотрудничающими
СМОТРЕТЬ ОТВЕТ