[01] Miloyn oi ypochfioi

O k. F.Koybelhs tonise oti "O Synaspismos ws komma ths sygxronhs aristeras, prepei na einai h Aristera ths rhjhs alla kai ths metarryqmishs. Den arkei o kataggeltikos logos, alla xreiazetai kai h diamorfwsh mias enallaktikhs protashs kai lyshs".

Ejhgwntas thn protash toy gia mia nea koinwnikh kai politikh pleiochfia o k. F.Koybelhs, anefere oti ayth "mporei na diamorfwqei sth bash enos metarryqmistikoy programmatos kai mias enallaktikhs protashs ejoysias. Ayto proypoqetei th symporeysh koinwnikwn dynamewn kai th diamorfwsh twn katallhlwn synqhkwn apo ta katw".

Apo thn pleyra toy o k.Alejhs Tsipras, anefere oti "prepei na anixneysoyme tis dynatothtes mias enallaktikhs diejodoy, mesa apo ena koinwniko symbolaio poy qa mporesei na entassei aytoys poy einai ektos plaisioy. Oi basikoi ajones mias tetoias enallaktikhs diejodoy den mporei para na dinoyn apanthsh se basika koinwnika problhmata, opws h ergasiakh anasfaleia twn newn, h oikologikh katastrofh, ta zhthmata adiafaneias kai ths diafqoras".

"Xreiazetai", katelhje o k.Tsipras, "ena allo politiko systhma diakybernhshs".

[02] Brabeio se 'Ellhna ereynhth

To dieqnes brabeio Turing ferei to onoma toy Aggloy maqhmatikoy Alan Turing, o opoios qewreitai qemeliwths ths Plhroforikhs kai aponemetai kaqe xrono apo thn ACM. Einai h anwtath diakrish se episthmones ths Plhroforikhs, me kyros isajio enos brabeioy Nobel (brabeio Nobel sthn Plhroforikh den exei qespistei) kai epibrabeyei ycisths shmasias ereynes ston tomea ths Plhroforikhs.

To Model Checking exei terastia shmasia gia thn Episthmh kai th Biomhxania. Prokeitai gia mia maqhmatikh-algoriqmikh diadikasia, poy epitrepei ton elegxo ths swsths leitoyrgias twn ylikwn merwn (hardware) h toy synqetoy logismikoy (software) enos systhmatos. H diadikasia ayth, dhladh, elegxei me maqhmatikes meqodoys an ena ejairetika polyploko systhma plhroi tis prodiagrafes twn kataskeyastwn toy. Epipleon, sthn periptwsh mh epalhqeyshs, h diadikasia paragei paradeigmata, ta opoia bohqoyn ston entopismo ths phghs toy problhmatos.

Oi qewrhtikes baseis toy Model Checking teqhkan to 1981 apo toys Edmund Clarke kai Allen Emerson, oi opoioi ergazontan stis HPA, kai to Shfh Shfakh, o opoios ergazotan anejarthta sth Gallia. Gia na mporesei to Model Checking na xrhsimopoihqei epityxws sthn epalhqeysh polysynqetwn systhmatwn, xreiasthke na paraxqoyn ekplhktika qewrhtika apotelesmata, meqodoi kai ergaleia prokeimenoy na antimetwpistei h polyplokothta toy problhmatos ths ``ekrhjhs katastasewn'' (state explosion). Gia thn epilysh toy problhmatos ajioshmeiwtn proodos epiteyxqhke ta teleytaia 27 xronia apo mia megalh dieqnh episthmonikh koinothta. Ta epiteygmata ayta briskoyn polles biomhxanikes efarmoges sthn epalhqeysh epejergastwn hlektronikwn ypologistwn, krisimwn systhmatwn aytomatoy elegxoy, poy xrhsimopoioyntai sta aeroplana, thn aytokinhtobiomhxania, to Diasthma kai tis thlepikoinwnies, kaqws kai sthn epalhqeysh prwtokollwn epikoinwniwn kai kryptografikwn algoriqmwn.

Oi ergasies twn Clarke, Emerson kai Shfakh ejakoloyqoyn na einai kaqoristikes gia thn epityxia aytoy toy tomea ths ereynas. Odhghsan sth dhmioyrgia newn logikwn (me th ennoia ths Maqhmatikhs Logikhs) gia thn ekfrash prodiagrafwn kai newn algoriqmwn epalhqeyshs. Ergaleia poy sthrizontai sto Model Checking aneptygmena toso apo panepisthmiakes oso kai apo biomhxanikes omades, apoteloyn thn kyria texnologia gia thn epalhqeysh kai thn pistopoihsh synqetwn systhmatwn. Paradeigmatos xarin, h texnologia ayth epitrepei syxna stoys mhxanikoys twn enswmatwmenwn kyklwmatwn na anaptyjoyn polyploka systhmata me ayjhmenh ajiopistia ws pros tis arxikes apaithseis. Anamenetai oti h symbolh toy Model Checking sth biomhxania qa einai akoma pio shmantikh sto mellon.

O Shfhs Shfakhs einai dieyqynths ereynas sto CNRS kai idryths toy ergasthrioy Verimag sthn Grenoble. Einai gnwstos gia tis prwtoporiakes ergasies toy, toso se praktiko oso kai se qewrhtiko epipedo, sth montelopoihsh twn systhmatwn kai thn epalhqeyshtoys. Oi trexoyses ereynhtikes toy drasthriothtes aforoyn ta systhmata pragmatikoy xronoy ychlhs pistothtas me efarmoges sta aeroplana, to Diasthma, ta aytokinhta kai tis thlepikoinwnies. Exei energo drash sth metafora twn apotelesmatwn ths ereynas sth biomhxania, kyriws se synergasia me etaireies opws oi Airbus, Schneider Electric, STMicroelectronics kai France Telecom.

Athens News Agency: News in ASCII Greek Directory - Previous Article - Next Article