Browse through our Interesting Nodes on Secondary Education in Greece Read the Convention Relating to the Regime of the Straits (24 July 1923) Read the Convention Relating to the Regime of the Straits (24 July 1923)
HR-Net - Hellenic Resources Network Compact version
Today's Suggestion
Read The "Macedonian Question" (by Maria Nystazopoulou-Pelekidou)
HomeAbout HR-NetNewsWeb SitesDocumentsOnline HelpUsage InformationContact us
Friday, 29 March 2024
 
News
  Latest News (All)
     From Greece
     From Cyprus
     From Europe
     From Balkans
     From Turkey
     From USA
  Announcements
  World Press
  News Archives
Web Sites
  Hosted
  Mirrored
  Interesting Nodes
Documents
  Special Topics
  Treaties, Conventions
  Constitutions
  U.S. Agencies
  Cyprus Problem
  Other
Services
  Personal NewsPaper
  Greek Fonts
  Tools
  F.A.Q.
 

Athens News Agency: News in Greek, 08-02-06

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

From: The Athens News Agency at <http://www.ana.gr/>

PERIEXOMENA
  • [01] Miloyn oi ypochfioi
  • [02] Brabeio se 'Ellhna ereynhth

    [01] Miloyn oi ypochfioi

    O Fwths Koybelhs kai o Alejhs Tsipras, ypochfioi proedroi toy SYN, enocei toy 5oy Synedrioy toy kommatos poy arxizei ayrio, milhsan sto APE-MPE. (Synenteyjeis ston thleoptiko staqmo stis 18.00).

    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

    Ycisth diakrish gia Ellhna episthmona apo thn ACM (Association for Computing Machinery)), poy anakoinwse epishmws sth Nea Yorkh thn aponomh toy brabeioy Turing 2007 sto gennhmeno kai megalwmeno sto Hrakleio Shfh Em. Shfakh, o opoios edw kai polla xronia zei kai ergazetai sthn Grenoble ths Gallias ws ereynhths toy CNRS. To idio brabeio qa laboyn kai oi Amerikanoi ereynhtes Edmund Clarke, toy Panepisthmioy Carnegie Mellon twn HPA kai Allen Emerson, toy Panepisthmioy toy Tejas (Austin) twn HPA, gia tis ergasies toys panw sto Model Checking, texnologia epalhqeyshs systhmatwn Plhroforikhs.

    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
  • Back to Top
    Copyright © 1995-2023 HR-Net (Hellenic Resources Network). An HRI Project.
    All Rights Reserved.

    HTML by the HR-Net Group / Hellenic Resources Institute, Inc.
    ana2html v2.01 run on Wednesday, 6 February 2008 - 9:30:18 UTC