.

: . ,

, 2005


: . ,

20 2005.

............................ ............................ ............................

- . .
.

, 2005
...................................
.
...

Copyright . , 2005
. All rights reserved.

, ,
, . ,
, ,
.
.


.


,
.
2005.

.


, .

, ,
.

2005


, .
()
().

,
.

, ,

ABSTRACT

The scope of this diploma thesis is to propose a methodology for developing software
applications for Large Scale Combinatorial Optimisation (LSCO) Projects, corresponding
to real life industrial / commercial applications.

This methodology is structured around the Logical Framework Approach (LFA) which
constitutes a fundamental, versatile tool for properly identifying, organizing and
managing projects of all kinds. The application of the LFA methodology, over the
structure of a typical LSCO project, results in the elaboration of a robust methodology, a
road map towards the efficient and effective management of LSCO approaches

The proposed methodology is a first step in the development of a mechanism dealing

with combinational problems in real environments.

Key Words

(Project Cycle Management, Logical Framework Approach, Optimization Algorithms.)



1 9

2 SOFTWARE ENGINEERING 12

2.1 13

2.2 14

2.3 15

2.4 15
2.4.1 ( PROTOTYPING MODEL) 16
2.4.2 () (THE LINEAR
SEQUENTIAL MODEL) 17
2.4.3 (RAD) 18
2.4.4 (THE INCREMENTAL MODEL) 18
2.4.5 (THE SPIRAL MODEL) 19
2.4.6 20

2.5 20
2.5.1 22

2.6 23
2.6.1 25

2.7 25

3 27

3.1 28
3.1.1 29
3.1.2 30

3.2 : 31
3.2.1 31
3.2.2 34

3.3 42
3.3.1 42
3.3.2 43
3.3.3 (Travelling Salesman Problem) 43
3.3.4 44
3.3.5 44
3.3.6 Job-Shop 45
3.3.7 (Hoist scheduling) 45

4 PCM LFA 46
4.1 47

4.2 ( PROJECT CYCLE MANAGEMENT-PCM) 49

4.2.1 PCM 50
4.2.2 PCM 51

4.3 (LOGICAL FRAMEWORK

APPROACH LFA ) 52
4.3.1 LFA 52

4.4 LFA PCM 68

5 . 70

5.1 70

5.2 71
5.2.1 71
5.2.2 82
5.2.3 84
5.2.4 86
5.2.5 88

5.3 91
5.3.1 91
5.3.2 91
5.3.3 92
5.3.4 94
5.3.5 95
5.3.6 96
5.3.7 96
5.3.8 97

5.4 . 97
5.4.1 97
5.4.2 101
5.4.3 102
5.4.4 103

6 105

7 107


, .
()
().

(Logical Framework Approach LFA)
(Project Cycle Management PCM).

.
,
, , .
,
, ,
, ,
.

.

.

.
.
.
. ,

, ,

.


. T , ,
, ,
.
, , .

PCM ( Project cycle

Management) ,
, LFA ( Logical Framework Approach).


( , ,
). 1992

. LFA
.
,
. LFA
,
LFM ( Logical Framework Matrix )
.

.
(LFA),
,
.
,
. , LFA
,
.
LFA .

10


,
.

11


2 SOFTWARE ENGINEERING

. ,
.
.
: , ,
, , .

,
- , .
.
.

.

Software engineering .

.

IEEE software engineering :

, ,
, .

Software engineering .

12


2.1

13


/ /

1.1:
:

2.2

14


2.3

, :

.
:

2.4

, ,
.

.

,

15


2.4.1 ( PROTOTYPING MODEL)

/

;

1.2: ( PROTOTYPING MODEL)

.

.

.

16


2.4.2 () (THE LINEAR

SEQUENTIAL MODEL)

, ,

,
, , .

1.3:

17


. .

.

.

2.4.3 (RAD)

.
.

2.4.4 (THE INCREMENTAL MODEL)

.
, .
,

18


, .

2.4.5 (THE SPIRAL MODEL)

,

.

: ,

:
.

:
.

1.4:

19


2.4.6

V.

2.5

PRINCE.
:

1.5:

20


Software engineering.
.

,
.
. -
.

.
Software Engineering Institute
(people
management capability maturity model PM-CCM)

senior managers

project ( technical) managers , ,

(practitioners)

practitioners

21


- Team Leader.
:

,
.

Team Leader

.
.

2.5.1

,
.

. Team Leader

. team leader
managers

.
Team leader.

22


, :

. ,
.
.

.

.

23


2.6

.
. ,
.

. hardware -software

. .

. , .

24


o .

o ,

o ,
.

o ,
.

2.6.1

, .
:

25


2.7

o
.

o
.

o
.

ISO 9000

26


.
.
.
.
,
.
, .
.

,

, ,

.

. (
- )
.

Simplex
.

27


.
.

.
.
, .
, .
.

,

() .
.
, ,
, .

,
,
, .

3.1

T , ,
, ,
. :

, ( , )

, ( , ,
, .)

, , ,
, , ..
.

, .

28


3.1.1

4 /

o :

o : , ,
, ,
.

4.1 /

o : .

o :
.

4.1.1.1 /

o
().

o

.

4.1.1.2 / -

o
.

o -
.

4.1.1.3 /

29


o
,
.

4.1.2

5 /

o -
.
Job-Shop

o
.


.

6 / /

o -
, .. Flow shop .

o -
(, , -, ..)
.

o
.
-
.

.

6.1.1.1 /
o -
.

30


o - ,
, ,
.

6.2 :

()
, ,
.
, ,
.

( ) ()
.
,
,
. ()

.
, . ,
,
.
, , .

6.2.1

6.2.1.1

:
={ 1 ,..., n };
, Di (
);

.

31


, .
, . ,

, .
:

, ,

, , ,

6.2.1.2

.. 1 2 , 2 1 10 2 3
1 2 3 .
, Cijk i , j , k ,...
i , j , k
,... Cijk Di Dj Dk . . .
.

6.2.1.3

.
, ,
.

32


( )

6.2.1.4

, , .

6.2.1.5

, .
,
, ,
,
.

.
( ),
- . , ,
,
,
.

33


6.2.2

,

.

.

.
NP- ( ) NP-
( )

6.2.2.1

.

n m .
j (j = 1,,n) Oj
.
mo
po.

,
.
,
.

.
, Lawrence (1984) 15 10

.

34


. (
, tabu )
. Vaessens et
al (1996)
.

so, so

. , so 0,1,..., C ,

. o O j , pred(o) succ(o)
j
, . so

so o ' pred ( o )

po ' ,..., C po o 'succ ( o ) po ' .

so po so ' , o, o' O j , o' succ(o), j 1,..., n,

s o po C , oO,

s o p o s o ' s o ' po ' s o , o, o' O j , o o' , mo mo ' .

.
. :
,
, .

, Nuijten Aarts (1996)

. ,
esto ,
so. , lsto
, so.
,
lsto esto+po. ,
lsto-po
so, esto+po

35


so. mo=mo,

. so lst o ' po ' :

so est o ' po ' . , lst o ' po 1 est o ' po ' 1 ,

lsto ' po 1,..., est o ' po ' 1 so.

so.

,
. , Thuriot et al. (1994)

, . Ok O

k, o, o' Ok .

o , o Ok ,

t1 , t 2
W (o , t1 , t 2 ) min{ po , t 2 t1 , max{est o po t1 ,0}, max{t 2 lst o ,0}}.

[esto , lst o ' po ' ] ,

esto po po' W o, est , lst p lst p ,

oOk \ o ,o '
o o' o' o' o'

. ,

lst o po ' so,

esto ' po ' s.

Carlier Pinson(1989) .
esto po po ' max lst o ' po '
o 'S
o 'S

S , o S
.

S.

, min o 'S esto ' po '

so.

36


so
S.
.

.
Baptiste Le Pape (1995)

.

, Nuijten Aarts (1996).
.
40
Lawrence (1984) 3 Fischer
Thompson (1963) . ,
C
,
.

, .
, C, C
,
.
,
.
31 43 , ,
23 31 .
1%
35 3% 40
. 1500
SPARC-station ELC ( 5 )
15 10 , 2500 15
15 .

Baptiste LePape (1995)

Nuijten Aarts (1996)

37


ILOG SCHEDULE, ILOG SOLVER. Baptiste

et al. (1995) . ,
Nuijten Aarts
. ,
,

,
. 13
Nuijten Aarts.
1%
11 :
1.54% 5.84 .
500 RS6000 workstation (
) 15 10 750
15 15 . Baptiste et al.
,
.
.

Cheng Smith (1997)

.
.
,
Lawrence (1984) Fischer Thompson
10 SPARK 10.
,

Baptiste et al. (1995).

6.2.2.2

38


, .
.
, ( ,
, ABS, .) .
.

, .

,
,
.
: r s
. ,
,

.

,
.
David Chew (1995).
,
( ,

).


, .
. ,
:

! ,
( )
, .

39


,
.

.
m ,
j rj sj j
(j=1,,m). n
.
i i (i=1,,n),

n
i 1
i N . i j,
ij, ij=1 i
j, ij=0 .

1 k I,

xik

0 .

x
k 1
ik i , i 1,..., n,

n s j 1

i 1 l 0
ij xi ,k 1 r j , j 1,..., m, k 1,..., n, N s j 1,

xik 0,1 , i 1,..., n, k 1,..., N .

,
.

40


Dinctas et al. (1998b)

. ,
n ,
yk

k , yk 1,..., n ,
zjk

k j, z jk 0,1 .

yk=I ij=1 zjk=1,

I=1,,n, j=1,,m, k=1,,N,

k | yk i i , i 1,..., n

s j 1

z
l 0
j , k 1 r j , j 1,..., m

K=1,,N-sj+1.

yk zjk,
i i,
.

,
{1...} :
,
. ,
n
. , Smith (1996),

- -

41


, 6,
.

Dincbas et al. (1988b) ,

5. ,
,

,
. , ,


.

6.3

.
:

6.3.1

42


6.3.2

6.3.3 (Travelling Salesman Problem)

43


6.3.4

6.3.5

44


6.3.6 Job-Shop

6.3.7 (Hoist scheduling)

45


7 PCM LFA

PCM ( Project cycle

Management) ,
, LFA ( Logical Framework Approach) .

46


7.1

3.1:

. ,
.

47


,
.

, .

, .

,
.

48


,

.

.
.

7.2 ( PROJECT CYCLE MANAGEMENT-

PCM)

( ,
, ).

1992

.

49


7.2.1 PCM

PCM :

/ .

,
.

PCM:

-.

(
)

7.2.1.1 PCM

,
.

50


,
.

7.2.2 PCM

.
.

.
.

.
-

. .

.
.

51


7.3 (LOGICAL
FRAMEWORK APPROACH LFA )

USAID
1960 ,
.

. PCM
(LFA).

LFA .
,
.

LFA ,

LFM ( Logical Framework Matrix )
.

7.3.1 LFA

LFA
.

(, , ).

52


7.3.1.1

7.3.1.1.1

(, , , )
.

53


, ,
( ).

o
.

o
.

o
.

.
,
,
.

SWOT ,
,
.

VENN, ,
,
.

,
(institutional
capacity)

54


7.3.1.1.2

, -.

, :

1:
.

2:
.

3: :

4: .

5: .

.
,
.

55


55


,

TA

,

40%

20%

.
/

56


57


7.3.1.1.3 .

. :

1:

2: /
( /
/ ).

3: :

,
.

.

57


58


,




,

,
/

58


59


7.3.1.1.4

, .

.

.

-.

59


, -, , .

,
/

60


61


7.3.1.2

44. .

( ,
).

61


.
(
. , / )

: (
)
; (
, / )

: (
)
( ) ; (
/ )
,

( ( (
/ / )
) )

62


63


1 8 9

2 10 11 7

3 12 13 6

4 ( )
5
( ( ) (
) )

63


7.3.1.2.1

, :

.
.

.
.
.

64


7.3.1.2.2 () (4 )

() (
),

. :

,
.

(.
) :

65


66


7.3.1.2.3
( 1 4
)
( 2 )
( 3 ).

,
, .

/
.

S.M.A.R.T, . :

Specific: , .

Measurable: , .

Availiable: , .

Relevant: / , .

Timebound: ,

7.3.1.2.4 .

(, ,
, , ..) .
/
,
.

67


(, , ,
...)

(, ,
)

7.3.1.3

,
(
Gantt).
().

,
.
,
.

7.4 LFA PCM

LFA

68


,
, ,
.

, , ,
.

,
,
.

69


8 .

(LFA),
,
(
, , , .)

,
. , LFA
,
.
LFA
:

8.1

.
, :

70


o / /

o
.

o ,
.

8.2

8.2.1

( ) :

71


(
).

o .

(
).

.

, :

o ,
.

o ,
.
.

o ,
.

o .

72


8.2.1.1 ( Business Manager )

.
.
,
.

. .

.

.
. , ,
.

.
.
.
, .

, ,
.

.
.
.

/
/
,
.

,
. .

73


8.2.1.2 (Project Manager)

,
. ,
, .
.

, .
.
. .

, .
( ).
. .

.
,
.

.

.
,
. .

.

.
.

74


.
.

,

.

, .

8.2.1.3

. .
.
.
.

.

.

. .

,
.

.

75


.
.
.
.
. .

8.2.1.4

.
.
.

.

, ,
,
.

.
.

76


.
.

.
.
.

8.2.1.5

.

.
.
.

.

. .


.

77


.
, ,
.

, .

,

.

.

.

, .

,
:

8.2.1.6

. ,

.
.

.
.

78


.
. .
.

. .
(
,
, ).
.
.
,
,
.

.

,
,
.
.

,
,
.

, .

79


8.2.1.7

. ,

.

.
.

.
. .
.
.
:
.

.

. .,
.

.

.
. .

. .

80


, ,
(
)
.

. .

.

.
. .

8.2.1.8

.
, ,
.
,
.

,

.

.
.
.
.
.

.
,
. .

81


,
.

,
.

8.2.2

.
.

, ,
,
. :

1. -

2.

3.

4.

5.

6.

82


83


8.2.3

. :

84


85


8.2.4

.
.

,
, .
.

.

.

,
, .

86


87


8.2.5

, 4x4.
.

,
.
,

. ( 41)

.

,
:

88


&

-
.

-

()


()
Benchmarking
( ,
/
, penalties, .)

89


90


8.3

8.3.1

. .

.

,
.

8.3.2

.

.
. .
.
.

.


. (
).

. ,
,
.

91


8.3.3

,

.

. , ,
.

,
, .
,
.

o
- -,

.

o -
,
.

.
.
, .

o ,
.
.

92


o
(Problem Definition Deliverable PDD)
.
/ .

o
,
, .

.

o
.

( )
.

2 8 .

o
,
,
.

o
(Problem
Solution Deliverable PSD). ,
, ,
.

o
.

o
.

o .

93


o
.

, .

8.3.4

. ,
, .
.
.

.
.
, .

.
: .

, .
,
,
.

o
.

o
.

94


o (
) .

o ,
, ,
.

8.3.5

. .

.
,
.

o ,

o .

.
.
.
.
.

95


o .

o .

8.3.6

. .

8.3.7

.

.

96


.
.

8.3.8

.
- .
.

8.4 .

.
,
:

. ,
,
.

8.4.1

.
,

97


.
.

, .

,
, .

.

, .

98


,
:

.
.

.
:

o . -

o -.

o .

99


o (.
)

o
.

o
.

o .

o (

)

o .

o
.

100


o ( )

o .

o .

o .

8.4.2

.
.
.

101


(productivity ratio)

8.4.3

,
,
.

. ,
.
.

/ , .

102


. :

8.4.4

: ,
.

103


, .
.
.

,
, ,
.

104


,
,
.

,
.

,
, ,
, , , ..
()
(),
.
(-)
- .

.

.
,
,
.

, .

105


,
.

106


10

[1] ()
, , , ,
( 2000)

[2] .

( 2000)

[3] Software engineering. A practitioners approach.

Roger S. Pressman. Adapted by Darrel Ince

[4] Principles of optimal design : modeling and computation

Papalambros Panos.
Cambridge University Press,
(1991)

[5] Project Cycle Management Guidelines

(http://europa.eu.int/comm/europeaid/qsm/project_en.htm)

[6] The Chic-2 Methodology for combinational Applications-Engineering for

Optimization Projects
(Esprit Project)
(http://www.icparc.ic.ac.uk/chic2/chic2_methodology/index_ug_c.html)

107


108