Лекция №5

Альтернативные структуры программ развивающегося ТО

ТО = < V , P , L , T , T’ , T’’ >

Каждый компонент на 3-х уровнях.

Целевое назначение – множество функций V = {f}_nj – конечно, количество альтернатив 2^nj – каждый может быть предметом разработки.

Сети с детерминированной структурой.

w

X

Y

все дуги реализованы один и только один раз

n дуги и вершины – выполн.

Альтернативные сети – оба требования снимаются

V

Сети с альтернативной структурой.

U

X

_j^- U_j⁺

е сли (Л U_j^-), то истина (А U_j⁺)

конъюнкции

С оединительное «ИЛИ»

И сключающее «ИЛИ»

Событие X наступит, если выполняется хотя бы одна из входящих дуг.

U_j

--//--//--, если выполняется одна и только одна дуга (не более одной).

U_j⁺

--//--//--, если выполняется хотя бы одна выходная дуга.

U_j⁺

--//--//--, если выполняется одна и только одна дуга (не фиксирована некая другая).

Число степени свободы – если соединить или использовать

16.03.2012

Семинар №5-6

Структура логического представления разбиения на части

• Построить СЛТ программного продукта

• Построить СЛТ проекта

• Эволюция продукта

• Персональный вклад

19.03.2012

Лекция №6

u⁺

конъюктивный вид

n⁺

ч исло степеней свободы

а rcc = n⁺

b - соединительное «или»

- разделительное «или»

Надо указать конкретное свойство для развития процесса.

Все работы должны быть выполнены

P_a, P_b

⁺ = 1  КЦМ (конечная цепь Маркова)

Конечные цепи Маркова

(Finite Markov Chains)

P_i - стационарная вероятность нахождения цепи в i^min состоянии.

Pl_i (k) – вероятность попадания

A = ||a_ij||_min

= 1

1>=a_ij>=0

P_k = (P₀, A*)

^k = 0

Тип вершины КЦМ

Примеры:

• P_a a P_b b a>b

• 

a

y C

b

26.03.2012

Лекция №7