• No se han encontrado resultados

Programación en lógica temporal basada en los operadores Since y Until

N/A
N/A
Protected

Academic year: 2017

Share "Programación en lógica temporal basada en los operadores Since y Until"

Copied!
15
0
0

Texto completo

(1)

3URJUDPDFL˜

RQ HQ /˜

RJLFD 7HPSRUDO %DVDGD

HQ ORV RSHUDGRUHV 6LQFH \ 8QWLO

0DU˜•D /DXUD &RER -XDQ &DUORV $XJXVWR *,5,7 ,&,&

'HSDUWDPHQWR GH &LHQFLDV GH OD &RPSXWDFL˜RQ

8QLYHUVLGDG 1DFLRQDO GHO 6XU %DK˜•D %ODQFD $UJHQWLQD >POFRER FFDXJXVW@ #FULEDHGXDU

3DODEUDV &ODYH /˜RJLFD 7HPSRUDO 3URJUDPDFL˜RQ HQ /˜RJLFD 3URJUDPDFL˜RQ HQ /˜RJLFD 7HPSRUDO

#08:203

'HELGR DO FUHFLHQWH LQWHU˜HV HQ GLYHUVDV ˜DUHDV GH ODV &LHQFLDV GH OD &RPSXWDFL˜RQ HQ HO HVWXGLR \ PDQHMR GH QRFLRQHV WHPSRUDOHV HQ ORV ˜XOWLPRV DaQRV VH KDQ SURSXHVWR OHQJXDMHV GH SURJUDPDFL˜RQ HQ O˜RJLFD WHPSRUDO $ SHVDU GH HVWD GLYHUVLGDG GH SURSXHVWDV QR KD\ LPSOHPHQWDFLRQHV GH ODV PLVPDV DFFHVLEOHV S˜XEOLFDPHQWH (O REMHWLYR GHO SUHVHQWH WUDEDMR HV H[SOLFDU ORV DVSHFWRV VDOLHQWHV GH XQ QXHYR OHQJXDMH GH SURJUDPDFL˜RQ HQ O˜RJLFD WHPSRUDO TXH XWLOL]D ORV RSHUDGRUHV 6LQFH \ 8QWLO WDQWR HQ VXV IXQGDPHQWRV FRPR HQ OR FRQFHUQLHQWH D VX LPSOHPHQWDFL˜RQ (VWH QXHYR OHQJXDMH GH SURJUDPDFL˜RQ GHQRPLQDGR 6873 VH EDVD HQ HO DVSHFWR O˜RJLFR HQ XQD O˜RJLFD WHPSRUDO SUHVHQWDGD HQ >%)*@ \ HQ HO DVSHFWR

DOJRU˜•WPLFR HQ XQD SURSXHVWD UHDOL]DGD SRU 'RY*DEED\ HQ >*DE@ SDUD REWHQHU XQD H[WHQVL˜RQ D 3URORJ >66@ GHQRPLQDGD ?7HPSRUDO 3URORJ

/D QRYHGDG GH HVWH WUDEDMR FRQ UHVSHFWR D OD SUHVHQWDFL˜RQ GH *DEED\ HVW˜D HQ TXH VH XWLOL]DQ FRPR RSHUDGRUHV WHPSRUDOHV E˜DVLFRV XQ FRQMXQWR GH RSHUDGRUHV P˜DV H[SUHVLYRV VREUH HVWUXFWXUDV OLQHDOHV TXH ORV TXH VH WRPDURQ FRPR E˜DVLFRV HQ OD PHQFLRQDGD SUR SXHVWD $GHP˜DV VH KD GHPRVWUDGR TXH HVWH FRQMXQWR GH RSHUDGRUHV HV FRPSOHWR VREUH OD FODVH GH ’XMRV OLQHDOHV LVRPRUIRV D ORV HQWHURV R D ORV UHDOHV YHU >.DP@ \ >*+5@ 6L ELHQ SRU OLPLWDFLRQHV GH HVSDFLR QR VH LQFOXLU˜D DTX˜• HO F˜RGLJR HO PLVPR SXHGH REWHQHUVH GH >&RE@ 1R REVWDQWH H[SOLFDUHPRV GHWDOODGDPHQWH ORV IXQGDPHQWRV O˜RJLFRV GH OD SUR SXHVWD HO DOJRULWPR XWLO]DGR FRPR EDVH HQ OD LPSOHPHQWDFL˜RQ \ VH EULQGDU˜DQ HMHPSORV GH VX XVR )LQDOPHQWH VH UHDOL]DU˜DQ FRPHQWDULRV UHODWLYRV D OD LPSOHPHQWDFL˜RQ WDQWR HO OR TXH UHVSHFWD D SUREOHPDV VROXFLRQDGRV FRPR D DTXHOORV DVSHFWRV TXH SRGU˜•DQ FRQVWL WXLU IXWXUDV PHMRUDV 7DPEL˜HQ VH GHPRVWUDU˜D TXH HO DOJRULWPR FRPSXWD XQD IXQFL˜RQ WRWDO VLHPSUH VH GHWLHQH 2WUR SXQWR TXH HV LPSRUWDQWH UHVDOWDU HV TXH VL ELHQ QR VH FRQRFHQ LPSOHPHQWDFLRQHV GH HVWH WLSR GH OHQJXDMHV FRPR VH PHQFLRQ˜R SUHYLDPHQWH HVWH XWLOL]D ORV RSHUDGRUHV 6LQFH \ 8QWLO XVXDOPHQWH FLWDGRV HQ GHWHUPLQDGDV FODVHV GH SUREOHPDV $O JXQDV ˜DUHDV HQ ODV TXH VH KDQ SURSXHVWR O˜RJLFDV WHPSRUDOHV EDVDGDV HQ HVWRV RSHUDGRUHV LQFOX\HQ DQ˜DOLVLV GH FRUUHFWLWXG GH SURJUDPDV EDVHV GH GDWRV GHGXFWLYDV WHPSRUDOHV \ JHQHUDFL˜RQ GH GRFXPHQWRV PXOWLPHGLDOHV >*DO@

*UXSR GH ,QYHVWLJDFL˜RQ HQ 5HSUHVHQWDFL˜RQ GH ,QIRUPDFL˜RQ 7HPSRUDO ,QVWLWXWR GH &LHQFLDV H ,QJHQLHU˜•D GH OD &RPSXWDFL˜RQ

(2)

3URJUDPDFL˜

RQ HQ /˜

RJLFD 7HPSRUDO %DVDGD

HQ ORV RSHUDGRUHV 6LQFH \ 8QWLO

,QWURGXFFL˜

RQ

. & ) $ - 6 7 9? /= 1@3<

\ STXH FRUUHVSRQGHQ D ORV

RSHUDGRUHV \ ! GH 3ULRU UHVSHFWLYDPHQWH GHELGR D TXH VH KDQ WRPDGR FRPR E˜DVLFRV SDUD PXFKRV GH ORV GHVDUUROORV TXH VH KDQ KHFKR XQR GH HOORV IXH HO DOJRULWPR SUHVHQWDGR HQ >*DE@ 3RU RWUR ODGR IXH GHPRVWUDGR HQ >.DP@ TXH ORV RSHUDGRUHV 6LQFH \ 8QWLO VRQ P˜DV H[SUHVLYRV TXH ORV RSHUDGRUHV \ S VREUH HVWUXFWXUDV OLQHDOHV OR FXDO MXVWL‘FD

OD YDULDQWH TXH ORV XWLOL]D FRPR RSHUDGRUHV E˜DVLFRV &RQVLGHUDUHPRV HQWRQFHV XQ OHQJXDMH GH SURJUDPDFL˜RQ HQ O˜RJLFD WHPSRUDO EDVDGR HQ 6LQFH \ 8QWLO PHQFLRQDQGR DVSHFWRV GH VX LPSOHPHQWDFL˜RQ (VWH OHQJXDMH WRPD ODV EDVHV HQ OD ID] DOJRU˜•WPLFD GHO WUDEDMR UHDOL]DGR SRU *DEED\ SHUR OD EDVH GH VX O˜RJLFD HVWD LQVSLUDGD HQ DTXHOOD XWLOL]DGD HQ >%)*@

(VWH WUDEDMR HVW˜D RUJDQL]DGR FRPR VLJXH 6H SUHVHQWD OD O˜RJLFD WHPSRUDO TXH VLUYL˜R FRPR EDVH GH HVWH OHQJXDMH \ OD GH‘QLFL˜RQ GHO PLVPR HQ OD SULPHU VHFFL˜RQ HQ OD VLJXLHQWH VHFFL˜RQ VH FRPHQWDU˜DQ ORV DVSHFWRV P˜DV GHVWDFDGRV GH VX LPSOHPHQWDFL˜RQ /XHJR VH EULQGDU˜DQ HMHPSORV D ‘Q GH LOXVWUDU VX XVR (Q OD ˜XWLPD VHFFL˜RQ EULQGDUHPRV QXHVWUDV FRQFOXVLRQHV \ VXJHULPRV IXWXUDV OLQHDV GH LQYHVWLJDFL˜RQ 3RU UD]RQHV GH HVSDFLR QR EULQGDPRV DTX˜• XQD H[SRVLFL˜RQ GHO F˜RGLJR

8QD O˜

RJLFD

EDVDGD HQ 6LQFH

8QWLO

6H SXHGH SUREDU TXH ORV RSHUDGRUHV 6LQFH \ 8QWLO SRVHHQ PD\RU H[SUHVLYLGDG TXH ORV RSHUDGRUHV S\ SUHVHQWDGRV SRU 3ULRU \ XWLOL]DGRV FRPR EDVH GH ?7HPSRUDO 3URORJSRU

*DEED\ (VWD GLIHUHQFLD HQ OD H[SUHVLYLGDG IXH GHPRVWUDGD SRU SULPHUD YH] HQ >.DP@XQ WH[WR P˜DV PRGHUQR HV >*+5@

(Q SULPHU W˜HUPLQR EULQGDUHPRV OD O˜RJLFD TXH FRQVWLWXLU˜D OD EDVH GH OD KHUUDPLHQWD D SUHVHQWDU (V LPSRUWDQWH KDFHU QRWDU TXH OD PLVPD HVW˜D LQVSLUDGD HQ OD O˜RJLFD SUHVHQWDGD HQ >%)*@ P˜DV HVSHF˜•‘FDPHQWH HQ OD VHFFL˜RQ GHO PLVPR /XHJR VH SUHVHQWD HO

OHQJXDMH D LPSOHPHQWDU \ HO DOJRULWPR XWLOL]DGR 3RVWHULRUPHQWH VH EULQGDQ FRQVLGHUD FLRQHV GH OD LPSOHPHQWDFL˜RQ \ VX GRFXPHQWDFL˜RQ HQ XQ DS˜HQGLFH )LQDOPHQWH PRVWUDPRV VX FRPSRUWDPLHQWR D WUDY˜HV GH HMHPSORV

/RV RSHUDGRUHV WHPSRUDOHV

$ WUDY˜HV GH HVWH WUDEDMR VH XWLOL]DU˜DQ XQD VHULH GH V˜•PERORV SDUD GHQRWDU ORV GLVWLQWRV RSH UDGRUHV WHPSRUDOHV D FRQVLGHUDU /RV RSHUDGRUHV SXHGHQ VHU FDUDFWHUL]DGRV SRU GLVWLQWDV SURSLHGDGHV DTX˜• VHU˜D QHFHVDULR FRQVLGHUDU GRV WLSRV

(3)

6LQFH 8QWLO UH’H[LYLGDG $ % % 6LQFH1$ %5 $ % ' $ LUUH’H[LYLGDG $ $

2SHUDGRUHV G˜HELOHV R IXHUWHV: " " $ ' G˜HELO " " ' 6LQFH1$ %5 IXHUWH % G˜HELO % ' ( $ %

' # % :

£: ., £0 ;"

S£: ., £0 ;"

£: S£ A £ A £ 1., 05

£: .9 % £0 ;"

S£: .9 % £0 ;"

£: S£ B £ B £ 1.9 % 05

‹ £: .' " £0 Œ £: .' £0

8QWLO1£ ¥5: .2 ¥ £ 0 ;" 6LQFH1£ ¥5: .< ¥ £ 0 ;"

/D O˜

RJLFD WHPSRUDO \ VX DOJRULWPR

9 % " % #

'HILQLFL˜RQ - % " # 6LQFH 8QWLO ‹ Œ = "

6 / > - :

C $ C $ %

C %

C $

C ‹$

C $ C Œ$ C ; 1% B 1$ A ‹;55

C ; 8QWLO1$ %5

C ; 1% B 1$ A Œ;55 C ; 6LQFH1$ %5 ? - ":

‹1$ %5 1‹$ ‹%5

(4)

$ $ $ $

8QWLO1$ %5 1% 1$ 18QWLO1$ %555 6LQFH1$ %5 1% 1$ 16LQFH1$ %555

4 - " :

@: ' ( % .0

8QWLO1% $5 8QWLO1% %5

18QWLO1% $ 8QWLO1% %55 8QWLO1% 8QWLO1% % $55 8QWLO1% $ %55

6LQFH1% $5 6LQFH1% %5

16LQFH1% $ 6LQFH1% %55 6LQFH1% 6LQFH1% % $55 6LQFH1% $ %55 B

$KRUD VH LQWURGXFLU˜D OD GH‘QLFL˜RQ GHO OHQJXDMH GH SURJUDPDFL˜RQ HQ O˜RJLFD WHPSRUDO TXH VH EDVD HQ OD O˜RJLFD UHFLHQ SUHVHQWDGD

'HILQLFL˜RQ &RQVLGHUH XQ OHQJXDMH FRQ ˜DWRPRV SURSRVLFLRQDOHV ORV FRQHFWLYRV ERROHDQRV

A B \ ORV RSHUDGRUHV WHPSRUDOHV S S ‹ Œ 6LQFH 8QWLO 'H‘QLPRV

ODV QRFLRQHV GH SURJUDPD FO˜DXVXOD FDEH]D FXHUSR \ PHWD

8Q SURJUDPD HV XQ FRQMXQWR GH FO˜DXVXODV

8QD FO˜DXVXOD HV XQD FDEH]D R $ + GRQGH $ HV XQ FXHUSR \ + HV XQD FDEH]D 8QD FDEH]D HV R XQD I˜RUPXOD DW˜RPLFD R 6LQFH$ % R 8QWLO$ % R ‹$ R Œ$ GRQGH $ \ % VRQ FRQMXQFLRQHV GH FO˜DXVXODV

8Q FXHUSR HV R XQD I˜RUPXOD DW˜RPLFD R XQD FRQMXQFL˜RQ GH FXHUSRV 6LQFH$ % R 8QWLO$ % R ‹$ R Œ$ R $ GRQGH $ \ % VRQ FXHUSRV

8QD PHWD HV FXDOTXLHU FXHUSR R $ R $ R S$ R $ R S$ R $ GRQGH $ HV

XQ FXHUSR

B

3DUD IDFLOLWDU IXWXUDV UHIHUHQFLDV DO OHQJXDMH UHFL˜HQ GH‘QLGR GH DTX˜• HQ DGHODQWH OR OODPDUHPRV 6873 DEUHYLDWXUD GH ?6LQFH8QWLO 7HPSRUDO 3URORJ 6H SXHGHQ REVHUYDU D FRQWLQXDFL˜RQ ODV LGHDV E˜DVLFDV GH OD IXWXUD LPSOHPHQWDFL˜RQ TXH VH HQFXHQWUDQ HQ OD GH‘QLFL˜RQ GH ˜DUERO GH FRPSXWDFL˜RQ HWLTXHWDGR \ HO DOJRULWPR GHWDOODGR

'HILQLFL˜RQ 6HD ! XQD EDVH GH FRQRFLPLHQWR \ * XQD PHWD 'H‘QLPRV OD QRFL˜RQ GH XQ ˜DUERO GH FRPSXWDFL˜RQ HWLTXHWDGR SDUD HO ˜H[LWR R HO IUDFDVR ‘QLWR GH * D SDUWLU GH ! 8Q ˜DUERO GH FRPSXWDFL˜RQ HWLTXHWDGR HV XQD FX˜DGUXSOD 7 ™ 9 WDO TXH ™ W SDUD WRGR W 7 9 HV XQD ?IXQFL˜RQ GH HWLTXHWDGR TXH DVLJQD D FDGD W 7 XQD WHUQD !W *W ;W GRQGH !W HV XQD EDVH GH GDWRV ! HQ HO PRPHQWR W˜HVLPR *W HV XQD FRQVXOWD HQ HO PRPHQWR W˜HVLPR \ ;W HV XQ SURS˜RVLWR SDUD WDO FRQVXOWD 6L ;W HO SURS˜RVLWR HV TXH OD FRQVXOWD VHD UHVSRQGLGD QHJDWLYDPHQWH VL ;W HO SURS˜RVLWR HV TXH OD FRPSXWDFL˜RQ WHQJD ˜H[LWR

(5)

7 ™ * 9 ! !-* + [

, 9 *! + 3 * [!

. W 7 ; W! + , * W! T T ! W! / W 7 ; W! + *

! * W! T T 0

! * W! ‹$ Œ$! 0 ‹$ Œ$!

1 W ; W! + , * W! T W ) V ! V! + ! W! ; V! + , * V! T ! W!

2 W ; W! + , * W! T W ) V ! V! + ! W! ; V! + , * V! T ! W!

3 W ; W! + * * W! T W V VN VXFHVRUHV LQPHGLDWRV HQ HO ˜DUERO FRQ !VL !W ;VL FRQ

*VL T SDUD ™ L ™ N \ HVDV VRQ H[DFWDPHQWH WRGDV ODV FO˜DXVXODV GH OD IRUPD

PHQFLRQDGD TXH SHUWHQHFHQ D !W

VL W QR HV XQ SXQWR GH WHUPLQDFL˜RQ ;W \ *W $A $ HQWRQFHV W WLHQH

H[DFWDPHQWH GRV VXFHVRUHV LQPHGLDWRV V \ V FRQ !VL !W ;VL \

*VL $L

VL W QR HV XQ SXQWR GH WHUPLQDFL˜RQ ;W \ *W $A $ HQWRQFHV W WLHQH

H[DFWDPHQWH XQ VXFHVRU LQPHGLDWR V \ SDUD DOJ˜XQ L I J !V !W ;VL

\ *VL $L

VL W QR HV XQ SXQWR GH WHUPLQDFL˜RQ \ *W $ HQWRQFHV W WLHQH H[DFWDPHQWH XQ VXFHVRU LQPHGLDWR V \ *V $ !V !W \ ;V ƒ ;W

VL W QR HV XQ SXQWR GH WHUPLQDFL˜RQ ;W \ *W $B $ HQWRQFHV W WLHQH

H[DFWDPHQWH GRV VXFHVRUHV V \ V FRQ !VL !W \ *VL $L \ ;VL

VL W QR HV XQ SXQWR GH WHUPLQDFL˜RQ ;W \ *W $B $ HQWRQFHV W WLHQH

H[DFWDPHQWH XQ VXFHVRU V !V !W *V HV R ELHQ $ R $ \ ;VL

VL W QR HV XQ SXQWR GH WHUPLQDFL˜RQ ;W \ *W ‹$ HQWRQFHV W WLHQH XQ VXFHVRU LQPHGLDWR V \ VH GD OD VLJXLHQWH FRQGLFL˜RQ

!V IWRGDV ODV FO˜DXVXODV DOZD\V GH !WJ >

IŒ&M& HV XQD FO˜DXVXOD GH !WJ > I&M ‹ & HV XQD FO˜DXVXOD GH !WJ ;V \ *V $ R

WLHQH GRV VXFHVRUHV LQPHGLDWRVVV \ VH GD OD VLJXLHQWH FRQGLFL˜RQ !V !W

;V \ SDUD DOJ˜XQ + *V ‹+ !W !V !W ;V \

(6)

"

#

$

%

&

"

%

' ! ! !

! ! !

! ! !

! ! !

! ! !

! ! !

S

! ! !

" S

! ! !

$ ! ! !

S

& ! ! !

S

'

! ! !

(7)

! ! !

S

! ! !

S

S

! ! !

S

" ! ! !

S

" ! ! !

S

'HILQLFL˜RQ !( !( ) !( !( )

B

* (73 >&$@ GHPRVWUDUHPRV TXH HO DOJRULWPR FRQVLGHUDGR HQ OD LP SOHPHQWDFL˜RQ GH 6873 WDPEL˜HQ WHUPLQD VX FRPSXWDFL˜RQ (Q OR TXH UHVWD GH OD VHFFL˜RQ XWLOL]DUHPRV OD FRQYHQFL˜RQ GH GHQRWDU PHGLDQWH 3 W W š HO FRQWHQLGR GH XQ SURJUDPD HVFULWR XWLOL]DQGR HO OHQJXDMH (73 (VWR GHEH HQWHQGHUVH FRPR HO FRQWHQLGR GHO SURJUDPD OXHJR GH KDEHUVHOH DJUHJDGR SLH]DV GH LQIRUPDFL˜RQ 3RU HMHPSOR HO SURJUDPD GDGR LQL FLDOPHQWH VHU˜•D GHQRWDGR PHGLDQWH 3 /XHJR GH XWLOL]DU ODV UHJODV GH LQIHUHQFLD W YHFHV VH OH SXHGH KDEHU DGLFLRQDGR W SLH]DV GH LQIRUPDFL˜RQ \ HVWR VHU˜D LQGLFDGR PHGLDQWH 3 W (Q SULPHU OXJDU UHFRUGDUHPRV HO VLJXLHQWH UHVXOWDGR

/HPD 6HD 3 W W š XQ SURJUDPD HQ 7HPSRUDO 3URORJ 3 W VLHPSUH HV XQ FRQMXQWR

‘QLWR GH FODXVXODV B

'HPRVWUDFL˜RQ 'HPRVWUDGR HQ >&$@

/XHJR UHVSHFWR GH OD FRQVWUXFFL˜RQ GHO ˜DUERO GH FRPSXWDFL˜RQ HWLTXHWDGR WHQHPRV OR VLJXLHQWH

/HPD 7RGR ˜DUERO GH FRPSXWDFL˜RQ HWLTXHWDGR SDUD 7HPSRUDO 3URORJ WLHQH XQ FRQMXQWR

‘QLWR GH QRGRV B

'HPRVWUDFL˜RQ

6DEHPRV TXH FDGD SDVR VH EDVD HQ ORV KHFKRV \ UHJODV TXH FRQIRUPDQ 3 W

*W HV XQ ˜DWRPR ORV FDVRV DQ˜DORJRV GH ORV LWHPV D R HQ >*DE@ HQ FX\R FDVR GHEHQ LQVSHFFLRQDUVH WRGRV ORV KHFKRV R WRGDV ODV UHJODV GH M3 WM

*W HV GH OD IRUPD $ A % SHRU FDVR [W FRQ Q˜XPHUR GH KLMRV *W HV GH OD IRUPD $ B % SHRU FDVR [W FRQ Q˜XPHUR GH KLMRV *W HV GH OD IRUPD $ SHRU FDVR XQ ˜XQLFR VXFHVRU HQ HO ˜DUERO

(8)

7# "# ( 8 " 6#$ "# 5 /

'& ( & +

"#

- $ S$ + S ,

&RURODULR B

'HPRVWUDFL˜RQ , " 0# , '' + "

/#

&RQVLGH

UDFLRQHV GH OD LPSOHPHQWDFL˜

RQ

, ( !& + + . ?6L HO DOJRULWPR QR SXHGH UHVROYHU XQD FRQVXOWD HQ HO LQVWDQWH DFWXDO GH QLQJXQD GH ODV IRUPDV SUHYLVWDV HQWRQFHV GH VHU SRVLEOH XQ UD]RQDPLHQWR GLIHUHQWH HQ HO VLJXLHQWH LQVWDQWH GH WLHPSR R HQ HO DQWHULRU PX˜HYDVH D GLFKR LQVWDQWH GH WLHPSR \ WUDQVIRUPH OD FRQVXOWD GH PDQHUD DFRUGH $ 8 ( Œ$ ' ' $ ( ‹

* ( ! $ ‹ ! ' ( Œ ' '

( & ( , ( + 8$ ! ! ( - + !

% !

! ! )$ & B - $ % + ($ 9:

(

" / A 0#

+ 3+ ! ; .

/ A 0

(9)

WHPSRUDO FRQ OD SULPHUD HV GHFLU WLHQH XQD UHIHUHQFLD WHPSRUDO YDJD 8Q HMHPSOR GRQGH VH GD HVWD VLWXDFL˜RQ HV HO VLJXLHQWH 6L VH WLHQH OD VLJXLHQWH EDVH

8QWLOD E E

6LQFHD E

< OD VLJXLHQWH FRQVXOWD SE A E

6H SXHGH REVHUYDU TXH OD FRQVXOWD VH YHUL‘FD HQ OD EDVH GH FRQRFLPLHQWR GDGD VLQ HPEDUJR VL QR VH DJUHJD OD UHJOD HVSHFLDO TXH VH PHQFLRQ˜R FRQ DQWHULRULGDG HVWD FRQVXOWD VHU˜D UHV SRQGLGD HQ IRUPD QHJDWLYD SRU HO DOJRULWPR /D UD]˜RQ HV TXH HO DOJRULWPR WLHQH SUHYLVWR WUDQVIRUPDU HVWH WLSR GH FRQVXOWD HQ

6LQFHWUXH E A 8QWLOWUXH E

TXH QR SXHGH GHPRVWUDUVH D SDUWLU GH OD EDVH GH GDWRV \D TXH VH GHVFRQRFH HQ TXH PRPHQWR E VH KDFH YHUGDGHUR (Q FDPELR GH DFXHUGR D OD HVWUDWHJLD VXJHULGD H[LVWH XQD GHPRVWUDFL˜RQ SDUD

6LQFHWUXH E \ H[LVWH XQD SDUD

6LQFHWUXH 8QWLOWUXH E \ SRU OR WDQWR H[LVWH XQD SDUD OD FRQVXOWD WRWDO

6H UHDOL]˜R XQ UD]RQDPLHQWR DQ˜DORJR SRU DSOLFDFL˜RQ GH OD UHJOD GHO HVSHMR SDUD UHVSRQGHU FRQVXOWDV GHO WLSR

S&˜DXVXOD A &˜DXVXOD

(M

HPSORV

9HDPRV DOJXQRV HMHPSORV GH LQWHU˜HV D ‘Q GH PRVWUDU HO IXQFLRQDPLHQWR GH OD KHUUDPLHQWD DTX˜• SUHVHQWDGD

(MHPSOR

%DVH E I D ŒD ŒŒE ‹D ‹‹D ‹‹‹F

‹‹D ‹8QWLOG H J

5HVSXHVWD D OD FRQVXOWD 8QWLOG H A SE A ‹8QWLOD F \HV

(MHPSOR

%DVH E I D ŒD ŒŒE ‹D ‹‹D ‹‹‹F

‹‹D ‹8QWLOG H J

(10)

(MHPSOR

, I ‹ Œ ŒŒ J

- S

+ . $ ! & /0.123 ! # ' !

(MHPSOR 4 $ " 5

& "6.

‹ %

7 & ‹

8' $ 8'

(MHPSOR 4 9) 9* 5

& "6.

) A *

‹ % ) A *

(MHPSOR 4 $ $ ! 5

& "6.

A : ‹ :

7

A : :

(11)

&

RQFO

X

VLRQHV \ WUD

E

D

M

R

IX

W

X

UR

% "6. % " ! % ; % &6. /(;1<3 ; #

&6. S ‹ Œ

‹ Œ ' /=><3 '

S

# ?% ! @ /@<A3 & " /@<A3 4 5 $ & . ( . # ' . 8 & %% % " ! " & !

$

JUDGHFLPLHQWRV

(12)

$

'

RF

X

PHQWDFL˜

RQ GH ORV SUHGLFDGRV GH OD LPSOHPHQWDFL˜

RQ

# "

RS[I\A $ %A&"

RS[I\Y $ %B&"

RSI[QR $ %&"

RS\I[ƒ ! $ %&"

# "

RSI[ $ '(%&"

RSI[! $ ' )(%&"

RSI[ $ ' * (%S&"

RSI[! $ '+ (%&"

RSI[!! $ '+ )(%&"

RSI[ $ '+ * (%S&"

RSI[SUHY $ '*!(%Œ&"

RSI[QH[W $ ',-(%‹&"

RS[I\VLQFH$% $ '(%6LQFH&"

RS[I\XQWLO$% $ '.(%8QWLO&"

/ 0 '1( 2 1%, & 'ƒ( 2 ƒ%, &"

3" * UHVROYHU2

” -2 UHVROYHU%11$ !&"

” . 2 / ! DOJRULWPR " 4" * DOJRULWPR2

” -2 DOJRULWPR%11$ !11,!&"

” . 2 / 0 -0 "

5" * DFWXDOL]DU"

” -2 DFWXDOL]DU%161,! +1 + *-,!*- &

” . 2 7 # - ! # 0 0 ! 8" + ! FDPELDU EDVH ! "

9" * FKHTXHDU"

(13)

. 2 / 0 ! - !"

:" * ""

-2 "%11$ !11,!&

. 2 - 8 ! 0 ! "

;" * $" "

-2 $" %11$ !1. &

. 2 $ ! 0 ! ! "

<" * )$"&!"

-2 )$"&!%1&

. 2 0 - 0 !"

=" * )$"

-2 )$%17&

. 2 8 0

!! " >" * "

-2 %1717&"

. 2 " 3?" * )$ "!"

-2 )$ "!%111,!&

. 2 - 0

! " 33" * " $"

-2 " $%1* )11,!&

. 2 8 0 8 8 0 "

34" * " $" &"

-2 " $" &%1* )11,!&

. 2 + 0 * " 35" * !" ")"

(14)

. 2 / ! 0 8 8! "

39" * "##""

-2 "##"%1611,!&

. 2 # "

3:" * """

-2 ""%1731747&

. 2 6 0 "

3;" * $$&"

-2 $$&%1/17&

. 2 # 8 "

3<" * "$&" &""

-2 "$&" &"%1* )161 1,!& . 2 + #

* )" 3=" * "$&""

-2 "$&"%1* )11,!&

. 2 8 ! "

3>" * &""

-2 &"%1* )11,!&

. 2 6 * ) %& 8 ! 8%!!&" 4?" * " &" ) "&"*"

-2 " &" ) "&"*

. 2 6 0 " " 8 0 ! ! 0 "

43" * &" &" ) "&"*" -2 &" &" ) "&"*

(15)

5

H

I

HUHQFLDV

@A)>;B C" A " ) " " $D " "

[HFXWDEOH 7HPSRUDO /RJLF 5HVHDUFK 6WXGLHV 3UHVV /WG

>&$@ 0DU˜•D /DXUD &RER DQG -XDQ &DUORV $XJXVWR )XQGDPHQWRV O˜RJLFRV H LPSOH PHQWDFL˜RQ GH XQD H[WHQVL˜RQ D WHPSRUDOSURORJ (QYLDGR SDUD SXEOLFDFL˜RQ DO &RQJUHVR $UJHQWLQR GH &LHQFLDV GH OD &RPSXWDFL˜RQ &$&L&

>&RE@ 0DU˜•D /DXUD &RER 'RV SURSXHVWDV GH SURJUDPDFL˜RQ HQ O˜RJLFD WHPSRUDO 7HVLV GH /LFHQFLDWXUD 'HSDUWDPHQWR GH &V GH OD &RPSXWDFL˜RQ 8QLYHUVLGDG 1D FLRQDOGHO6XU

>*DE@ ' *DEED\ 0RGDO DQG WHPSRUDO ORJLF SURJUDPPLQJ ,Q $QWRQ\ *DOWRQ HGLWRU 7HPSRUDO /RJLF DQG WKHLU $SSOLFDWLRQV SDJHV ^ $FDGHPLF 3UHVV >*DO@ $QWRQ\ *DOWRQ 7HPSRUDO /RJLFV DQG WKHLU $SSOLFDWLRQV $FDGHPLF 3UHVV 6DQ

'LHJR &DOLIRUQLD

>*+5@ 'RY 0 *DEED\ ,DQ +RGNLQVRQ DQG 0DUN 5H\QROGV 7HPSRUDO /RJLF 0DWK HPDWLFDO )RXQGDWLRQV DQG &RPSXWDWLRQDO $VSHFWV 2[IRUG 8QLYHUVLW\ 3UHVV

>*+5@ 'RY 0 *DEED\ ,DQ +RGNLQVRQ DQG 0DUN 5H\QROGV 7HPSRUDO /RJLF 0DWK HPDWLFDO )RXQGDWLRQV DQG &RPSXWDWLRQDO $VSHFWV 2[IRUG 8QLYHUVLW\ 3UHVV

>.DP@ - $ : .DPS 2Q 7HQVH /RJLF DQG WKH 7KHRU\ RI 2UGHU 3K' WKHVLV 8QL YHUVLW\ RI &DOLIRUQLD /RV $QJHOHV

>03@ = 0DQQD DQG $ 3QXHOOL $ KLHUDUFK\ RI WHPSRUDO SURSHUWLHV ,Q 3URFHHGLQJV RI WKH WK $QQXDO $&0 6\PSRVLXP RQ 3ULQFLSOHV RI 'LVWULEXWHG &RPSXWLQJ SDJHV ^ $&0 3UHVV

>20@ 0 2UJXQ DQG : 0D $Q RYHUYLHZ RI WHPSRUDODQG PRGDOORJLF SURJUDPPLQJ ,Q 3URFHHGLQJV RI WKH ),&7/ ,&7/ SDJHV ^ %RQQ *HUPDQ\ 6SULQJHU 9HUODJ

Referencias

Documento similar

ODV KRMDV GH LQVWUXFFLyQ TXH IXHURQ HQWUHJDGDV D ORV RILFLDOHV

PHWDOHV FDGD YH] TXH VH LQFUHPHQWD OD VXSHUILFLH GHO HOHFWURGR GH 59&amp;. 7DPELpQVHREVHUYDTXHODHILFLHQFLDGHFRUULHQWHφ

DÀUPDU FRQ SOHQD FRQFLHQFLD GH OR TXH GLJR TXH QLQJXQR GH ORV FRQVLGHUD. 

frqvwlwx|ìqgrvh hq xqd slh}d fodyh sdud odv srvwhulruhv wduhdv hq ho ghvduuroor gh vriwzduh1 Orv pìwrgrv irupdohv grwdq gh suhflvlöq | uljru do prghor frqfhswxdo/ shur

Ho fxduwr phfdqlvpr txh shuplwh phglu ho ghvdmxvwh hgxfdwlyr hq ho phu0 fdgr gh wudedmr hv xq surfhglplhqwr vxemhwlyr= hq ìo hv ho surslr wuded0 mdgru ho txh ghwhuplqd vl vh

(Q FRQWUDVWH ORV FOLHQWHV \ VHUYLGRUHV TXH XVDQ 8'3 VH FDUDFWHUL]DQ SRU QR WHQHU JDUDQWtDV VREUH OD ILDELOLGDG GH OD HQWUHJD &amp;XDQGR XQ FOLHQWH HQYtD

/R SULPHUR TXH KDFH GHQWUR GHO FRQVWUXFWRU HV DVLJQDU ORV SDUiPHWURV GH  HQWUDGDDYDULDEOHVGHODFODVH. 

Dvð/ sdud jdudqwl}du od frqvlvwhqfld gh xq frqmxqwr gh dfflrqhv hq ho ex}öq edvwduä frq dvh0 jxudu txh glfkdv dfflrqhv qr hvwäq hq frq lfwr1 Hvwr sxhgh ghwhfwduvh dxwrpäwlfdphqwh/