From: <dhu...@us...> - 2006-12-30 19:45:31
|
Revision: 84 http://svn.sourceforge.net/qcell/?rev=84&view=rev Author: dhubleizh Date: 2006-12-30 11:45:24 -0800 (Sat, 30 Dec 2006) Log Message: ----------- - introduction - why this thesis - some glossaries - spellchecked - fixed typos Modified Paths: -------------- trunk/qcell/doc/licenciate_thesis/acronyms.gdf trunk/qcell/doc/licenciate_thesis/thesis.tex Modified: trunk/qcell/doc/licenciate_thesis/acronyms.gdf =================================================================== --- trunk/qcell/doc/licenciate_thesis/acronyms.gdf 2006-12-29 20:59:30 UTC (rev 83) +++ trunk/qcell/doc/licenciate_thesis/acronyms.gdf 2006-12-30 19:45:24 UTC (rev 84) @@ -1,7 +1,6 @@ -@entry{GUI, GUI, Graphical User Interface} cz\xEAsto nazywany te\xBF \xB6rodowiskiem graficznym---og\xF3lne okre\xB6lenie sposobu prezentacji informacji przez komputer oraz interakcji z u\xBFytkownikiem, polegaj\xB1cego na rysowaniu i obs\xB3ugiwaniu widget\xF3w.\citep{plwiki} - -@entry{IDE, IDE, Integrated Development Environment} Zintegrowane \xB6rodowisko programistyczne---jest to aplikacja lub zesp\xF3\xB3 aplikacji (\xB6rodowisko) s\xB3u\xBF\xB1cych do tworzenia, modyfikowania, testowania i konserwacji oprogramowania.\citep{plwiki} - -@entry{EPS, EPS, Encapsulated PostScript} format plik\xF3w, b\xEAd\xB1cy podzbiorem j\xEAzyka PostScript, kt\xF3rego g\xB3\xF3wnym przeznaczeniem jest przechowywanie pojedynczych stron zawieraj\xB1cych grafik\xEA komputerow\xB1 w postaci umo\xBFliwiajacej osadzanie ich w innych dokumentach.\citep{plwiki} - +@entry{AK, AK, Automat Kom\xF3rkowy} +@entry{EPS, EPS, Encapsulated PostScript} format plik\xF3w, b\xEAd\xB1cy podzbiorem j\xEAzyka PostScript, kt\xF3rego g\xB3\xF3wnym przeznaczeniem jest przechowywanie pojedynczych stron zawieraj\xB1cych grafik\xEA komputerow\xB1 w postaci umo\xBFliwiaj\xB1cej osadzanie ich w innych dokumentach.\citep{plwiki} +@entry{GUI, GUI, Graphical User Interface} cz\xEAsto nazywany te\xBF \xB6rodowiskiem graficznym --- og\xF3lne okre\xB6lenie sposobu prezentacji informacji przez komputer oraz interakcji z u\xBFytkownikiem, polegaj\xB1cego na rysowaniu i obs\xB3ugiwaniu widget\xF3w.\citep{plwiki} +@entry{IDE, IDE, Integrated Development Environment} zintegrowane \xB6rodowisko programistyczne --- jest to aplikacja lub zesp\xF3\xB3 aplikacji (\xB6rodowisko) s\xB3u\xBF\xB1cych do tworzenia, modyfikowania, testowania i konserwacji oprogramowania.\citep{plwiki} +@entry{NP, NP, Nondeterministic Polynomia} Problem NP (nieokre\xB6lony wielomianowo) to problem decyzyjny, dla kt\xF3rego rozwi\xB1zanie mo\xBFna zweryfikowa\xE6 w czasie wielomianowym. R\xF3wnowa\xBFna definicja m\xF3wi, \xBFe problem jest w klasie NP, je\xB6li mo\xBFe by\xE6 rozwi\xB1zany w wielomianowym czasie na niedeterministycznej maszynie Turinga.\citep{plwiki} @entry{SVG, SVG, Scalable Vector Graphics} uniwersalny format dwuwymiarowej, statycznej i animowanej grafiki wektorowej, nieobwarowany licencjami i patentami, stworzony w 1999 roku przez W3C z my\xB6l\xB1 o zastosowaniu go na stronach WWW. U\xBFywany r\xF3wnie\xBF jako niezale\xBFny od platformy systemowej format grafiki. SVG nale\xBFy do rodziny XML, wi\xEAc mo\xBFe by\xE6 integrowany z innymi j\xEAzykami, jak na przyk\xB3ad XHTML.\citep{plwiki} Modified: trunk/qcell/doc/licenciate_thesis/thesis.tex =================================================================== --- trunk/qcell/doc/licenciate_thesis/thesis.tex 2006-12-29 20:59:30 UTC (rev 83) +++ trunk/qcell/doc/licenciate_thesis/thesis.tex 2006-12-30 19:45:24 UTC (rev 84) @@ -28,6 +28,7 @@ % Na razie wy\xB3\xB1czam, dop\xF3ki nie wymy\xB6l\xEA, jak poradzi\xE6 sobie ze stron\xB1 tytu\xB3ow\xB1 \usepackage[colorlinks,hyperindex,plainpages=false]{hyperref} + % Skr\xF3ty i terminy u\xBFywane \usepackage[footnote,refpage]{glosstex} @@ -38,15 +39,33 @@ Leszek Smentek} \date{\today} %\maketitle -% \xA3adne numerownaie stron wraz z nag\xB3\xF3wkami +% \xA3adne numerowanie stron wraz z nag\xB3\xF3wkami \pagestyle{headings} -% Spis tre\xB6ci augomagicznie generowany z tytu\xB3\xF3w rozdzia\xB3\xF3w i sekcji +% Spis tre\xB6ci automagicznie generowany z tytu\xB3\xF3w rozdzia\xB3\xF3w i sekcji \tableofcontents %Jedziemy z koksem \chapter{Wprowadzenie} \section{Uzasadnienie tematu} +Dowiedzenie akuratno\xB6ci obranego tematu sprowadza si\xEA w~tym przypadku do zastanowienia si\xEA nad natur\xB1 samych automat\xF3w kom\xF3rkowych, ich przydatno\xB6ci w~realnych, in\xBFynierskich zastosowaniach, oraz do przedstawienia sensu wizualizowania eksperyment\xF3w przeprowadzonych na tych\xBFe automatach. + +%ukonkretni\xE6 m\xF3wi si\xEA +M\xF3wi si\xEA, \xBFe wszystkie \xB3atwe wynalazki zosta\xB3y ju\xBF dawno odnalezione i~opatentowane. Osza\xB3amiaj\xB1ca wi\xEAkszo\xB6\xE6 problem\xF3w i~pyta\xF1, jakie zadaje sobie ludzko\xB6\xE6 w~ostatnich latach, zawiera si\xEA w~klasie problem\xF3w \ac{NP}, co czyni je tym samym niezwykle wymagaj\xB1cymi obliczeniowo. Mimo i\xBF prawo Moore'a +% TODO: tutaj mo\xBFna by doda\xE6 odpowiedni cytat! +ca\xB3y czas pozostaje w~mocy, mo\xBFliwo\xB6ci technologiczne prowadzenia oblicze\xF1 nie pozwalaj\xB1 na efektywne rozwi\xB1zywanie problem\xF3w silnie nieliniowych, czy te\xBF mocno wyk\xB3adniczych. W~tej sytuacji zasadnym wydaje si\xEA poszukiwanie alternatywnych metod rozwi\xB1zywania problem\xF3w, kt\xF3re pozwol\xB1 przekroczy\xE6 granic\xEA metod wyczerpuj\xB1cego przeszukiwania zbioru rozwi\xB1za\xF1. Oczywistym krokiem jest ograniczanie przestrzeni poszukiwa\xF1, ale niesie to za sob\xB1 znaczne ograniczenia. Opr\xF3cz potencjalnej mo\xBFliwo\xB6ci b\xB3\xEAdu przy zaw\xEA\xBFaniu przestrzeni warto\xB6ci pomijamy pewn\xB1, skrajnie ma\xB3\xB1, aczkolwiek realn\xB1, grup\xEA rozwi\xB1za\xF1 znajduj\xB1cych si\xEA poza estymowanymi granicami. + +Inn\xB1 sposobem prze\xB3amania technicznych mo\xBFliwo\xB6ci obliczeniowych jest korzystanie z~metod niedeterministycznych, kt\xF3re z~pewnym prawdopodobie\xF1stwem pozwalaj\xB1 na odnalezienie rozwi\xB1zania problemu. Jest to jednak swoisty rodzaj loterii, kt\xF3ra mimo znanej i~opisanej metodologii, pozwalaj\xB1cej estymowa\xE6 ryzyko i~przewidywa\xE6 wyniki, ca\xB3y czas zawiera pierwiastek losowo\xB6ci. + +Automaty kom\xF3rkowe pozwalaj\xB1 w~inny spos\xF3b podej\xB6\xE6 do rozwi\xB1zywania problem\xF3w obliczeniowych. Przyjmuj\xB1c pewien poziom generalizacji, odrzucamy dog\xB3\xEAbn\xB1 dociekliwo\xB6\xE6 przyczyn wyst\xEApowania zjawiska, na korzy\xB6\xE6 poprawnego i~niezmiernie szybkiego wykrywania i~reagowania na zaistnia\xB3e czynniki. Jak ka\xBFde rozwi\xB1zanie in\xBFynierskie, metody kom\xF3rkowego przetwarzania informacji cechuj\xB1 si\xEA pewnymi zaletami kosztem pewnych wad. Jednak\xBFe to ich zalety ponad wadami sprawiaj\xB1, i\xBF nadaj\xB1 si\xEA one idealnie do system\xF3w czasu rzeczywistego +%tu te\xBF warto si\xEA powo\xB3a\xE6 na co\xB6 +gdzie ograniczenia nie pozwalaj\xB1 na dog\xB3\xEAbne analizy sytuacyjne, a~jedynie natychmiastowe kroki maj\xB1ce na celu zapobieganie eskalacji zjawiska. + +Z~drugiej strony dyskretno\xB6\xE6 \ac{AK} zdaje si\xEA by\xE6 idealn\xB1 cech\xB1 do bada\xF1 zjawisk z~natury \xB6ci\xB6le dyskretnych, jak oddzia\xB3ywa\xF1 mi\xEAdzyatomowych, wzajemnego wp\xB3ywu niepodzielnych element\xF3w dowolnej konstrukcji~--- niezale\xBFnie, czy to b\xEAd\xB1 ceg\xB3y budynku, czy w\xB3\xF3kna tkaniny. Badanie tych cech otaczaj\xB1cego nas wszech\xB6wiata wydaje si\xEA by\xE6 w~obecnych czasach szczeg\xF3lnie znacz\xB1ce, gdy z~jednej strony teorie skali makro, z~drugiej fizyka skali mikro(fizyka kwantowa) szukaj\xB1 wsp\xF3lnego mianownika w~postaci Teorii Wielkiej Unifikacji. +%\xBCr\xF3d\xB3a + +Pozostaje do om\xF3wienia jedynie kwestia wizualizacji oblicze\xF1, kt\xF3ra zdaje si\xEA by\xE6 oczywista~--- aby wynie\xB6\xE6 teoretyczne obliczenia i~osi\xB1gni\xEAcia naukowe zza kulis naukowych laboratori\xF3w i~uczelnianych sal do \xB6wiata zastosowa\xF1 praktycznych, \xB6wiata in\xBFynierskiego, \xB6wiata biznesu, potrzeba aplikacji\ac{AK}--- wizualizacji~--- szczeg\xF3lnie tr\xF3jwymiarowych, pozwalaj\xB1cych przedstawi\xE6 realne konstrukcje i~byty w~spos\xF3b w\xB3a\xB6ciwy dla u\xBFytkownika ko\xF1cowego. Moc obliczeniowa dzisiejszych jednostek graficznych pozwala realizowa\xE6 najbardziej wymy\xB6lne metody prezentacji eksperyment\xF3w, b\xEAd\xB1ce z~pewno\xB6ci\xB1 daleko poza zasi\xEAgiem pierwotnych tw\xF3rc\xF3w teorii AK. + \section{Cel i zakres pracy} \subsection{Zadania szczeg\xF3\xB3owe} \begin{itemize} @@ -65,10 +84,11 @@ \subsection{Przy pisaniu projektu} \begin{description} + \item [autotools] GNU Build System --- Zestaw narz\xEAdzi stworzonych przez projekt GNU\footnote{\url{http://www.gnu.org/}} , kt\xF3re pomagaj\xB1 w budowaniu pakiet\xF3w w wielu systemach UNIXopodobnych. Jest cz\xEA\xB6ci\xB1 GNU Toolchain.\citep{plwiki}\\\url{http://sources.redhat.com/autobook/} \item[gcc] Wieloplatformowy zestaw kompilator\xF3w. W szczeg\xF3lno\xB6ci u\xBFywany by\xB3 kompilator j\xEAzyka C++~--- gcc-c++ w wersji 4.2.\\\url{http://gcc.gnu.org/} \item[gdb] Wieloplatformowy \gls{debugger} w wersji 6.6.\\\url{http://www.gnu.org/software/gdb/} - \item[Qt] Zestaw bibliotek firmy Trolltech\textsuperscript{\textregistered} do wieloplatformowego tworzenia oprogramowania, w szczeg\xF3lno\xB6ci do tworzenia \ac{GUI} o natywnym, dla danej platoformy, wygl\xB1dzie. Biblioteki te zawieraj\xB1 szerok\xB1 gam\xEA klas og\xF3lnego zastosowania, oraz w\xB3asny system kompilacji. U\xBFyto wersji 4.2.\\\url{http://www.trolltech.com/products/qt/} - \item[Vim] Niezwykle rozszerzalny, wieloplatformowy edytor tekstu (i nie tylko) z szerok\xB1 gam\xB1 wtyczek do pracy z niemal\xBFe dowolnym typem plik\xF3w. Stanowi\xB3 na zmian\xEA \ac{IDE}, \gls{debugger} oraz program do sk\xB3adu tekstu. Pisz\xB1cy te s\xB3owa pozwoli sobie w tym miejscu na drobn\xB1 reklam\xEA, gdy\xBF przekonany jeset, i\xBF interfejs vim-a, b\xEAd\xB1cy powodem wielu nieprzespanych nocy pocz\xB1tkuj\xB1cych u\xBFytkownik\xF3w, przy odrobinie wprawy i nauki pozwoli\xB3 zaoszcz\xEAdzi\xE6 godziny pracy. U\xBFyto wersji 7.0.\\\url{http://www.vim.org/} + \item[Qt] Zestaw bibliotek firmy Trolltech\textsuperscript{\textregistered} do wieloplatformowego tworzenia oprogramowania, w szczeg\xF3lno\xB6ci do tworzenia \ac{GUI} o natywnym, dla danej platformy, wygl\xB1dzie. Biblioteki te zawieraj\xB1 szerok\xB1 gam\xEA klas og\xF3lnego zastosowania, oraz w\xB3asny system kompilacji. U\xBFyto wersji 4.2.\\\url{http://www.trolltech.com/products/qt/} + \item[Vim] Niezwykle rozszerzalny, wieloplatformowy edytor tekstu (i nie tylko) z szerok\xB1 gam\xB1 wtyczek do pracy z niemal\xBFe dowolnym typem plik\xF3w. Stanowi\xB3 na zmian\xEA \ac{IDE}, \gls{debugger} oraz program do sk\xB3adu tekstu. Pisz\xB1cy te s\xB3owa pozwoli sobie w tym miejscu na drobn\xB1 reklam\xEA, gdy\xBF przekonany jest, i\xBF interfejs vim-a, b\xEAd\xB1cy powodem wielu nieprzespanych nocy pocz\xB1tkuj\xB1cych u\xBFytkownik\xF3w, przy odrobinie wprawy i nauki pozwoli\xB3 zaoszcz\xEAdzi\xE6 godziny pracy. U\xBFyto wersji 7.0.\\\url{http://www.vim.org/} \end{description} \subsection{Przy pisaniu pracy} @@ -78,7 +98,7 @@ \item [Evince] Interpreter plik\xF3w pdf w \xB6rodowisku \gls{GNOME} na platformie Linux.\\\url{http://www.gnome.org/projects/evince/} \item [GIMP] Program do tworzenia grafiki rastrowej i przekszta\xB3cania obraz\xF3w do formatu \ac{EPS} wykorzystywanego w \TeX{}ie.\\\url{http://www.gimp.org/} \item [Inkspace] Program do tworzenia grafiki wektorowej, g\xB3\xF3wnie w formacie \ac{SVG}.\\\url{http://www.inkscape.org/} - \item [\TeX{}] \xA6rodowisko wieloplatformowego sk\xB3adania tekstu, wraz z zainstalowanym systemem mark \LaTeXe{}.\\\url{http://www.tug.org/} + \item [\TeX{}] \xA6rodowisko wieloplatformowego sk\xB3adania tekstu, wraz z zainstalowanym systemem makr \LaTeXe{}.\\\url{http://www.tug.org/} \end{description} \section{Projekt} This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |