1.\u00a0<\/strong> Zar\u00f3wno ze wzgl\u0119d\u00f3w teoretycznych, jak i praktycznych, techniki informatyczne \u2013 kt\u00f3re s\u0142u\u017c\u0105 do przekazywania, zapisywania i\/lub przetwarzania danych \u2013 dzieli si\u0119 standardowo na: 2.<\/strong>\u00a0 Cyfrowe techniki przetwarzania danych maj\u0105 dobrze okre\u015blony model teoretyczny, kt\u00f3ry okre\u015bla \u015bci\u015ble poj\u0119cie cyfrowo\u015bci.\u00a0 Jest to model oblicze\u0144 turingowskich<\/strong>, opisywany za pomoc\u0105 formalizmu uniwersalnej maszyny Turinga (a tak\u017ce innych, r\u00f3wnowa\u017cnych mu, konstrukcji matematycznych). 3.\u00a0<\/strong> Na najwy\u017cszym bodaj poziomie og\u00f3lno\u015bci rozr\u00f3\u017cnia si\u0119 (w spos\u00f3b nieroz\u0142\u0105czny) dwa typy oblicze\u0144 analogowych: Obliczenia typu a) definiuje si\u0119 w ramach r\u00f3\u017cnych (istotnie r\u00f3\u017cnych) modeli \u201euniwersalnych\u201d komputer\u00f3w analogowych (np. GPAC czy BSS), kt\u00f3re postuluj\u0105 okre\u015blon\u0105 architektur\u0119 urz\u0105dze\u0144 przetwarzaj\u0105cych i specyficzny spos\u00f3b programowania. We wszelkich modelach tego rodzaju dopuszcza si\u0119 operacje na danych ci\u0105g\u0142ych<\/strong> (ich praktycznym odpowiednikiem s\u0105 ci\u0105g\u0142e wielko\u015bci fizyczne), kt\u00f3re mog\u0105 prowadzi\u0107 do ci\u0105g\u0142ych warto\u015bci wynikowych (przy czym, uzyskanie wyniku rozumie si\u0119 jako pomiar odpowiedniej ci\u0105g\u0142ej wielko\u015bci fizycznej). 4.<\/strong>\u00a0 Obliczenia analogowe w znaczeniu 3a, a wi\u0119c ci\u0105g\u0142e<\/strong>, stanowi\u0105 jedn\u0105 z odmian hiperoblicze\u0144<\/strong> \u2013 czyli tego typu technik, kt\u00f3re pozwalaj\u0105 rozwi\u0105zywa\u0107 problemy nieobliczalne dla maszyn Turinga (chodzi o problemy nieobliczalne zasadniczo, takie jak pr. r\u00f3wna\u0144 diofantycznych). 5.\u00a0<\/strong> Obliczenia analogowe w znaczeniu 3b s\u0105 obliczeniami naturalnymi<\/strong>, w zwi\u0105zku z czym ich matematyczna niezawodno\u015b\u0107 (to, \u017ce mo\u017cna ich u\u017cywa\u0107 niezawodnie do wykonywania pewnych operacji matematycznych) zale\u017cy od stopnia adekwatno\u015bci teorii<\/strong> wi\u0105\u017c\u0105cej wzory i wyniki oblicze\u0144 z fizykaln\u0105 rzeczywisto\u015bci\u0105 (tu: procesami realizuj\u0105cymi obliczenia). 6.<\/strong> W odniesieniu do r\u00f3\u017cnych typ\u00f3w oblicze\u0144 analogowych wy\u0142ania si\u0119 wa\u017cne zagadnienie ich potencjalnej uniwersalno\u015bci<\/strong> (inaczej: istnienia uniwersalnej maszyny analogowej). MATERIA\u0141Y DO DYSKUSJI<\/strong><\/p>\n 1) Prezentacja<\/a><\/p>\n 2) Wpis w blogu Cafe Aleph (poprzedzaj\u0105cy Konferencj\u0119)<\/a>? 1.\u00a0 Zar\u00f3wno ze wzgl\u0119d\u00f3w teoretycznych, jak i praktycznych, techniki informatyczne \u2013 kt\u00f3re s\u0142u\u017c\u0105 do przekazywania, zapisywania i\/lub przetwarzania danych \u2013 dzieli si\u0119 standardowo na: a) cyfrowe (pozwalaj\u0105ce operowa\u0107 na wielko\u015bciach dyskretnych), oraz b) analogowe (pozwalaj\u0105ce operowa\u0107 nie tylko na wielko\u015bciach … Czytaj dalej
\na<\/strong>) cyfrowe<\/strong> (pozwalaj\u0105ce operowa\u0107 na wielko\u015bciach dyskretnych), oraz
\nb<\/strong>) analogowe<\/strong> (pozwalaj\u0105ce operowa\u0107 nie tylko na wielko\u015bciach dyskretnych).
\nIstoty analogowo\u015bci upatruje si\u0119 zwykle (cho\u0107 nie zawsze, zob. pkt 3) w mo\u017cliwo\u015bci przetwarzania wielko\u015bci ci\u0105g\u0142ych<\/strong>, kt\u00f3rym w matematycznej teorii odpowiadaj\u0105, na najni\u017cszym poziomie opisu, ci\u0105g\u0142e liczby rzeczywiste<\/strong> (w\u0142asno\u015b\u0107 ci\u0105g\u0142o\u015bci odr\u00f3\u017cnia liczby rzeczywiste od przeliczalnych dziedzin liczbowych, po\u015br\u00f3d kt\u00f3rych najprostsze s\u0105 liczby naturalne).<\/p>\n
\nPo stronie analogowo\u015bci nie istnieje tak uniwersalna i jednoznaczna konstrukcja formalna; co wi\u0119cej, o analogowych technikach obliczeniowych m\u00f3wi si\u0119 w kilku r\u00f3\u017cnych znaczeniach.<\/p>\n
\na<\/strong>) obliczenia ci\u0105g\u0142e<\/strong> (przeciwstawiane dyskretnym), oraz
\nb<\/strong>) obliczenia naturalne <\/strong>(w odr\u00f3\u017cnieniu od sztucznie zaprogramowanych).<\/p>\n
\nW przypadku b) nie m\u00f3wi si\u0119 o jakim\u015b jednolitym modelu oblicze\u0144. Mamy tu do czynienia z fizyczn\u0105 realizacj\u0105 oblicze\u0144 za pomoc\u0105 naturalnych proces\u00f3w fizycznych<\/strong>, kt\u00f3re s\u0105 odpowiednikami<\/strong> (analogonami; okre\u015blenie to usprawiedliwia nazw\u0119 \u201eobliczenia analogowe\u201d) okre\u015blonych operacji matematycznych. Na przyk\u0142ad: je\u015bli obliczenie polega na rozwi\u0105zywaniu uk\u0142adu r\u00f3wna\u0144 liniowych, to z uk\u0142adem r\u00f3wna\u0144 mo\u017cna zwi\u0105za\u0107 wst\u0119pnie pewien uk\u0142ad cia\u0142 i wi\u0105\u017c\u0105cych je si\u0142, a procedur\u0119 rozwi\u0105zywania uk\u0142adu zaimplementowa\u0107 jako proces ustalania si\u0119 r\u00f3wnowagi mi\u0119dzy cia\u0142ami po wcze\u015bniejszej zmianie ich konfiguracji. Obliczenia tego typu realizuje si\u0119 zwykle za pomoc\u0105 wyspecjalizowanych urz\u0105dze\u0144 i maszyn analogowych (a nie komputer\u00f3w rozumianych jako uniwersalne maszyny analogowe).<\/p>\n
\nDyskutuje si\u0119 jednak, czy owa w\u0142asno\u015b\u0107 ma charakter czysto teoretyczny<\/strong> (rozwi\u0105zania istniej\u0105 w teorii), czy r\u00f3wnie\u017c praktyczny (da si\u0119 je uzyska\u0107 fizycznie).<\/p>\n
\nDok\u0142adno\u015b\u0107 oblicze\u0144 tego typu stanowi pochodn\u0105 adekwatno\u015bci danej\u00a0 teorii. M\u00f3wi\u0105c inaczej:\u00a0 na gruncie r\u00f3\u017cnych teorii obliczenia s\u0105 to\u017csame z r\u00f3\u017cnymi procesami fizycznymi, a ich dok\u0142adno\u015b\u0107 zale\u017cy od stopnia dopasowania<\/strong> teorii do rzeczywisto\u015bci (jak r\u00f3wnie\u017c od dok\u0142adno\u015bci pomiar\u00f3w).<\/p>\n
\nW szczeg\u00f3lno\u015bci jest to pytanie o istnienie analogowego odpowiednika uniwersalnej maszyny Turinga, czyli takiej maszyny kt\u00f3rej program\/projekt pozwala\u0142by symulowa\u0107 dzia\u0142anie dowolnej (dostarczonej na wej\u015bciu jako odpowiedni sygna\u0142) maszyny analogowej.<\/p>\n
\n[dyskusj\u0119 nad referatem prosimy prowadzi\u0107 tutaj, a nie w blogu CA]<\/p>\n","protected":false},"excerpt":{"rendered":"