Параллельное программирование - ONLINE Компьютерная контрольная работа

Среда программирования: ККР

Название работы: Параллельное программирование - ONLINE Компьютерная контрольная работа

Вид работы: Контрольная работа

Описание: Параллельное программирование.
ККР - Компьютерная контрольная работа.

Контрольная работа по дисциплине 'Параллельные вычислительные процессы'

Семантическая теория программ

Question 1
В операторе выбора
if B1; S1 П B2 S2 П ... П Bn -> Sn fi
элементы B1, B2, ..., Bn – это:
• логические (охранные) выражения
• операторные скобки
• охраняемые команды
• операторы
• разделители
Выберите все верные ответы (может быть несколько или один).

Схемы программ

Question 2
Конечный путь по вершинам ССП, ведущий от начальной вершины к заключительной, называют ....
Введите слово, словосочетание или символьно-цифровое выражение.

Моделирование взаимодействия процессов. Сети Петри

Question 3
Сеть Петри является k-ограниченной, если:
• количество элементов мультимножества I(t) не может быть больше k
• все ее переходы являются k-ограниченными
• количество элементов мультимножества O(t) не может быть больше k
• все ее позиции являются k-ограниченными
• в любой ее позиции не может быть больше k фишек
• количество элементов мультимножеств I(t) и O(t) не может быть больше k
Выберите все верные ответы (может быть несколько или один).

Теоретические модели вычислительных процессов

Question 4
Конечная последовательность символов, фиксирующая события, в которых процесс участвовал до некоторого момента времени, называется....
Введите слово, словосочетание или символьно-цифровое выражение.

Схемы программ

Question 5
Множество M принадлежит V* разрешимо тогда и только тогда, когда:
• множество M и его дополнение перечислимы
• множества M и M* перечислимы
• множество M перечислимо
• множества M и MxM перечислимы
Выберите все верные ответы (может быть несколько или один).

Схемы программ

Question 6
Множество M называется разрешимым, если его характеристическая функция HM:V*:
• разрешима
• вычислима
• перечислима
Выберите все верные ответы (может быть несколько или один).

Семантическая теория программ

Question 7
Программа вместе с утверждениями между каждой парой соседних операторов – это:
• исчисление
• утверждение
• набросок доказательства
• аннотированная программа
Выберите все верные ответы (может быть несколько или один).
Моделирование взаимодействия процессов.
Сети Петри

Question 8
Входная и выходная функция сети Петри сопоставляют:
• P -> T*
• T* -> P*
• T* -> P
• P* -> T
• P* -> T*
• T -> P*
Выберите все верные ответы (может быть несколько или один).

Моделирование взаимодействия процессов. Сети Петри.

Question 9
Активностью какого уровня обладает переход сети Петри, если существует такая маркировка, что переход в этой маркировке разрешен?
Пояснение:
В ответ введите номер уровня.
Пример ввода ответа: 7
Введите слово, словосочетание или символьно-цифровое выражение.

Семантическая теория программ

Question 10
Сформулируйте закон дистрибутивности конъюнкции:
• для любого оператора S и предикатов P и R справедливо wp(S,P) ANDwp(S,R); wp(S,PANDR)
• для любого оператора S и предикатов P и R таких, что P; R для всех состояний, справедливо для всех состояний wp(S,P); wp(S,R)
• wp(S,F)=F для любого оператора S
• для любого оператора S и предикатов P и R справедливо wp(S,P) ORwp(S,R); wp(S,PORR)
Выберите все верные ответы (может быть несколько или один).

Теоретические модели вычислительных процессов

Question 11
Подпрограмма, имеющая несколько параллельно работающих экземпляров, называется:
• кратной
• последовательно переиспользуемой
• повторно входимой
• повторно вводимой
Выберите все верные ответы (может быть несколько или один).

Семантическая теория программ

Question 12
Предикат, помещенный в программу, называется....
Введите слово, словосочетание или символьно-цифровое выражение.

Теоретические модели вычислительных процессов

Question 13
Характеристика параллельного алгоритма, отражающая степень разложения сложных объектов на более простые компоненты, – это....
Введите слово, словосочетание или символьно-цифровое выражение.

Моделирование взаимодействия процессов. Сети Петри

Question 14
Множество, допускающее вхождение нескольких экземпляров одного и того же элемента, называется....
Введите слово, словосочетание или символьно-цифровое выражение.

Теоретические модели вычислительных процессов

Question 15
Если процесс P служит по отношению к Q подчиненным процессом, это обозначается как:
• P || Q
• a(P || Q)
• P принадлежит Q
• aP принадлежит aQ
• P || Q
• P -> Q
Выберите все верные ответы (может быть несколько или один).

Теоретические модели вычислительных процессов

Question 16
Характеристика параллельного алгоритма, отражающая необходимость того, чтобы доступ к локальным данным был более частым, чем доступ к удаленным данным, – это....
Введите слово, словосочетание или символьно-цифровое выражение.

Семантическая теория программ

Question 17
Предикат, помещенный в программу – это:
• набросок доказательства
• утверждение
• исчисление
• аннотированная программа
Выберите все верные ответы (может быть несколько или один).

Схемы программ

Question 18
Если для любой интерпретации I базиса B программа (S,I) зацикливается, то говорят, что ССП S ....
Введите слово, словосочетание или символьно-цифровое выражение.

Моделирование взаимодействия процессов. Сети Петри

Question 19
Отношение m'>= m является истинным для двух маркировок сети Петри:
Если
• сумма p принадлежит P
• m'(p) >= сумма p принадлежит P
• m(p) >= сумма p принадлежит P
Выберите все верные ответы (может быть несколько или один).

Схемы программ

Question 20
• Классы обогащенных схем:
• класс счетчиковых схем
• класс схем с массивами
• класс рекурсивных схем
• класс схем с процедурами
• класс магазинных схем
Выберите все верные ответы (может быть несколько или один).

Год: 2023

Данный заказ (контрольная работа) выполнялся нашим сайтом в 2023-м году, в рамках этого заказа была разработана программа в среде программирования ККР. Если у Вас похожее задание на программу, которую нужно написать на ККР, либо на другом языке программирования, пожалуйста заполните форму, приведённую ниже, после чего Ваше задание в первую очередь рассмотрит наш программист, выполнявший в 2023-м году этот заказ, если он откажется, то Ваше задание оценят другие наши программисты в течение 48-и часов, если оценка нужна срочно, просим Вас оставить пометку об этом - напишите в тексте задания фразу "СРОЧНЫЙ ЗАКАЗ".

MAX:	max.ru/u/f9...k6B1ek
Telegram:	kursovikcom
ВКонтакте:	kursovikcom
WhatsApp:	+79374242235
Viber:	+79374242235
imo:	+79374242235
bip:	+79374242235
E-mail:	info@kursovik.com