Психолого-педагогические основы проектирования информационных систем в образовании

• ДЗ 2: Что-то обучающее по ППС (видеоурок/руководство/CHM) - здесь руководство по танкостроению в 3ds Max 9. :)


• ЛР 3: Оценка качества ППС - здесь оценивается SQL Учебник по SQL Сергея Моисеенко.


• ЛР 4: UML диаграммы использования ИОР (3 варианта) - здесь диаграммы состояний, деятельности и последовательности для СДО.

Всем трезвого утра! =)

+ ответы на обучающий тест

 

 

Дополнительный вопрос: Кратность выходной позиции (p k, О(t i)) показывает

сколько раз встречается pk в множестве выходных позиций перехода ti

 

В данной СП разрешенными переходами являются

t₁, t₄

Переход называется разрешенным, если каждая из его входных позиций имеет число фишек по крайней мере равное числу дуг из позиции в переход. Фишки во входной позиции, которые разрешают переход, называются его разрешающими фишками.

 

Для данной СП построить покрыващее дерево и определить наличие в нем

дублирующих вершин

расширенной маркировки

 

В данной СП с начальной маркировкой μ ₀ последовательно сработали переходы: μ ₀ [t ₁, t ₂, t ₃]. Определить достижимую при этом маркировку.

 

0, 2, 1

 

 

В данной СП с начальной маркировкой μ ₀ последовательно сработали переходы: μ ₀ [t ₄, t ₄, t ₁]. Определить достижимую при этом маркировку.

0, 2, 2

 

Проанализируйте покрывающее дерево сети Петри и определите, является ли сеть

Неограниченной

Несохраняющейся

Живая

Напишите процедуру SET_INCREASE(SL_LIM NUMBER, INC_VAL NUMBER), которая увеличивает надбавку STAFF. INCREASE на заданную во входных параметрах величину INC_VAL при условии, что оклад сотрудника JOBS.SALARY ниже уровня SL_LIM заданного во входных параметрах.
Для реализации поставленной задачи используйте явные курсоры с обновлением. Причем поле STAFF.INCREASE должно быть заблокировано для других сеансов до тех пор, пока не будут обновлены все записи в таблице STAFF. После выполнения всех изменений блокировка с таблицы должна быть снята. Объявление курсора должно быть произведено таким образом, чтобы при попытке обновления ранее заблокированного поля STAFF.INCREASE, процедура обновления ждала до тех пор, пока поле не будет разблокировано. При обновлении поля STAFF. INCREASE нужно учесть, что надбавка может равняться NULL, в этом случае нужно считать ее равной нулю.
В отчет нужно поместить код создания процедуры, пример вызова процедуры с параметрами SET_INCREASE(20000, 1000), выборку из таблицы STAFF для определения корректности работы процедуры.