From: <dhu...@us...> - 2007-02-11 19:10:45
|
Revision: 303 http://svn.sourceforge.net/qcell/?rev=303&view=rev Author: dhubleizh Date: 2007-02-11 11:10:43 -0800 (Sun, 11 Feb 2007) Log Message: ----------- - finally ended? Modified Paths: -------------- trunk/qcell/doc/licenciate_thesis/acronyms.gdf trunk/qcell/doc/licenciate_thesis/chap1/chap1.tex trunk/qcell/doc/licenciate_thesis/chap2/chap2.tex trunk/qcell/doc/licenciate_thesis/chap7/chap7.tex trunk/qcell/doc/licenciate_thesis/thesis.bib Modified: trunk/qcell/doc/licenciate_thesis/acronyms.gdf =================================================================== --- trunk/qcell/doc/licenciate_thesis/acronyms.gdf 2007-02-11 18:42:06 UTC (rev 302) +++ trunk/qcell/doc/licenciate_thesis/acronyms.gdf 2007-02-11 19:10:43 UTC (rev 303) @@ -15,7 +15,7 @@ @entry{NP, NP, Nondeterministic Polynomia} @entry{OG, OG, Obserwator Globalny} @entry{OL, OL, Obserwator Lokalny} -@entry{RE, RE, Regu\xB3a Elementarne} +@entry{RE, RE, Regu\xB3a Elementarna} @entry{SN, SN, Symbol Nieokre\x9Clony} @entry{SVG, SVG, Scalable Vector Graphics} Uniwersalny format grafiki wektorowej, nieobwarowany licencjami i patentami. SVG nale\xBFy do rodziny \glxref{XML}, wi\xEAc mo\xBFe by\xE6 integrowany z innymi j\xEAzykami, jak na przyk\xB3ad XHTML. @entry{TAK, TAK, Tr\xF3jwymiarowy Automat Kom\xF3rkowy} Modified: trunk/qcell/doc/licenciate_thesis/chap1/chap1.tex =================================================================== --- trunk/qcell/doc/licenciate_thesis/chap1/chap1.tex 2007-02-11 18:42:06 UTC (rev 302) +++ trunk/qcell/doc/licenciate_thesis/chap1/chap1.tex 2007-02-11 19:10:43 UTC (rev 303) @@ -11,14 +11,22 @@ \label{sec:ute} Implementowanie symulator\xF3w jest integraln\xB9 cz\xEA\x9Cci\xB9 procesu formu\xB3owania i~dowodzenia nowych teorii. Gdy zdefiniowanie og\xF3lnego modelu opisuj\xB9cego badane zachowanie jest niemo\xBFliwe, przeprowadzenie i~przeanalizowanie pewnej liczby symulacji mo\xBFe prowadzi\xE6 do wyizolowania czynnik\xF3w wp\xB3ywaj\xB9cych na dany proces. W~konsekwencji tworzona jest robocza teoria, kt\xF3r\xB9 nast\xEApnie mo\xBFna pr\xF3bowa\xE6 udoskonala\xE6 lub potwierdzi\xE6 przy pomocy kolejnych eksperyment\xF3w. -Dziedzin\xB9 w kt\xF3rej mo\xBFna wykorzysta\xE6 komputerowe symulowanie jest \ac{DSZ}. \ac{AK} jest modelem \ac{DSZ}. Zbudowanie odpowiedniego narz\xEAdzia do przeprowadzania eksperyment\xF3w na modelach kom\xF3rkowych jest celowe ze wzgl\xEAdu na wk\xB3ad w badanie samej dziedziny \ac{AK} jak i w szerszej perspektywie \ac{DSZ}. +Dziedzin\xB9 w kt\xF3rej mo\xBFna wykorzysta\xE6 komputerowe symulowanie jest \ac{DSZ}. \ac{AK} jest modelem \ac{DSZ}. Zbudowanie odpowiedniego narz\xEAdzia do przeprowadzania eksperyment\xF3w na modelach kom\xF3rkowych jest celowe ze wzgl\xEAdu na wk\xB3ad w badanie samej dziedziny \ac{AK} jak i w szerszej perspektywie \ac{DSZ}. W \x9Cwietle spekulacji, i\xBF mechanik\xEA rz\xB9dz\xB9c\xB9 wszech\x9Cwiatem mo\xBFna zamodelowa\xE6 w postaci regu\xB3 \ac{AK}, badanie tej dziedziny mo\xBFe prowadzi\xE6 do rozwi\xB9zania niekt\xF3rych z problem\xF3w nowoczesnej nauki, jak mechanika kwantowa, hydro- i termodynamika, czy wreszcie badania interakcji AIDS z systemem immunologicznym cz\xB3owieka\citep{aica}. -Powy\xBFsze rozumowanie doprowadzi\xB3o do stworzenia pewnej liczby symulator\xF3w. Skupi\xB3y si\xEA one jednak g\xB3\xF3wnie na zaprezentowaniu samej idei \ac{AK}, b\xB9d\x9F na przedstawieniu wybranego, zwykle bardzo w\xB9skiego, zakresu ich dzia\xB3ania. W~literaturze oraz w~internecie nie pojawi\xB3a si\xEA dotychczas inicjatywa opracowania i~zaimplementowania systemu pozwalaj\xB9cego bada\xE6 te dziedzin\xEA w~szerokim spektrum. Kluczowym argumentem jest zaprezentowanie nowej idei \ac{OL}\citep{siim}. - +Powy\xBFsze rozumowanie doprowadzi\xB3o do stworzenia pewnej liczby symulator\xF3w. Skupi\xB3y si\xEA one jednak g\xB3\xF3wnie na zaprezentowaniu samej idei \ac{AK}, b\xB9d\x9F na przedstawieniu wybranego, zwykle bardzo w\xB9skiego, zakresu ich dzia\xB3ania. W~literaturze oraz w~internecie nie pojawi\xB3a si\xEA dotychczas inicjatywa opracowania i~zaimplementowania systemu pozwalaj\xB9cego bezpo\x9Crednio por\xF3wnywa\xE6 r\xF3\xBFne typy i modele \ac{AK}. Dzisiejsze systemy komputerowe pozwalaj\xB9 na prowadzenie skomplikowanych oblicze\xF1 w~kr\xF3tkim czasie. Szczeg\xF3lnie na polu tr\xF3jwymiarowej grafiki komputerowej ostatnie lata pe\xB3ne by\xB3y innowacji wielokrotnie zwi\xEAkszaj\xB9cych mo\xBFliwo\x9Cci zwyk\xB3ych komputer\xF3w osobistych. Jest to idealne pod\xB3o\xBFe do pr\xF3by stworzenia symulatora \ac{AK} wykorzystuj\xB9cego mo\xBFliwo\x9Cci sprz\xEAtowe do zaprezentowania nowej jako\x9Cci wizualizacji tr\xF3jwymiarowych proces\xF3w kom\xF3rkowych. Punktem wyj\x9Ccia do podj\xEAcia tematu by\xB3y zaj\xEAcia z przedmiotu ,,Modele system\xF3w dyskretnych'' prowadzone przez dr Paw\xB3a Siwaka\citep{siwy,sicw}. Zasta\xB3y tam wprowadzone i przedstawione kluczowe poj\xEAcia stwarzaj\xB9ce mo\xBFliwo\x9Cci realizacji symulatora modeli kom\xF3rkowych ze znacznymi ulepszeniami funkcjonalnymi, w stosunku do symulator\xF3w znanych z literatury. Do poj\xEA\xE6 tych nale\xBF\xB9: -% uzupe\xB3ni\xE6 +\begin{itemize} +\item chwila zero, nast\xEApna +\item dobieranie modelu, s\xB9siedztw, funkcji +\item funkcja (quasi-)totalistyczna +\item integralno\x9C\xE6 modelu \ac{AK} +\item interpretacja obrazu przetwarzania +\item konfiguracja bie\xBF\xB9ca, nast\xEApna, poczatkowa +\item obserwator lokalny +\item regu\xB3y elementarne +\end{itemize} \section{Podzia\xB3 zada\xF1 szczeg\xF3\xB3owych} \label{sec:pzs} Modified: trunk/qcell/doc/licenciate_thesis/chap2/chap2.tex =================================================================== --- trunk/qcell/doc/licenciate_thesis/chap2/chap2.tex 2007-02-11 18:42:06 UTC (rev 302) +++ trunk/qcell/doc/licenciate_thesis/chap2/chap2.tex 2007-02-11 19:10:43 UTC (rev 303) @@ -36,7 +36,7 @@ \subsection{Sieciowa interpretacja automatu kom\xF3rkowego} \label{subsec:siak} -O {\bf sieciowym \ac{AK}} m\xF3wimy wtedy, gdy kom\xF3rki wchodz\xB9ce w sk\xB3ad konfiguracji s\xB9 automatami Moore'a, a stan kom\xF3rki odzwierciedla stan wewn\xEAtrzny tego\xBF automatu. W przypadku \ac{DAK} s\xB9siedztwo w automacie sieciowym jest von. Neumana($c_{x-1, y}, c_{x, y+1}, c_{x+1, y}, c_{x, y-1}$)\citep{siiwy}. +O {\bf sieciowym \ac{AK}} m\xF3wimy wtedy, gdy kom\xF3rki wchodz\xB9ce w sk\xB3ad konfiguracji s\xB9 automatami Moore'a, a stan kom\xF3rki odzwierciedla stan wewn\xEAtrzny tego\xBF automatu. W przypadku \ac{DAK} s\xB9siedztwo w automacie sieciowym jest von Neumana ($c_{x-1, y}, c_{x, y+1}, c_{x+1, y}, c_{x, y-1}$)\citep{siwy}. Rozszerzeniem powy\xBFszej koncepcji s\xB9 automaty na grafach. Wierzcho\xB3ki grafu reprezentuj\xB9 kom\xF3rki wchodz\xB9ce w sk\xB3ad \ac{AK}, natomiast kraw\xEAdzie grafu definiuj\xB9 s\xB9siedztwo\citep{siwy}. Modified: trunk/qcell/doc/licenciate_thesis/chap7/chap7.tex =================================================================== --- trunk/qcell/doc/licenciate_thesis/chap7/chap7.tex 2007-02-11 18:42:06 UTC (rev 302) +++ trunk/qcell/doc/licenciate_thesis/chap7/chap7.tex 2007-02-11 19:10:43 UTC (rev 303) @@ -1,15 +1,17 @@ \chapterauthor{Cezary Krzy\xBFanowski}{Wnioski} \label{chap:wni} \begin{enumerate} -\item W celu zapoznania si\xEA z symulacj\xB9 \ac{AK} przeanalizowano dzia\xB3anie reprezentatywnej grupy pi\xEAciu aplikacji realizuj\xB9cych to zadanie. -\item W wyniku pisania opracowania tekstowego zestawiono cechy hipotetycznego ,,idealnego symulatora''. Lista funkcji wynika z istniej\xB9cych rozwi\xB9za\xF1 oraz proponuje nowe, wprowadzone niedawno do literatury, jak obserwator lokalny. -\item Zbudowano symulator przetwarzania kom\xF3rkowego, unikalny w por\xF3wnaniu z analizowanymi programami. Pakiet implementuje now\xB9 koncepcj\xEA obserwatora lokalnego. Zrealizowano wizualizacj\xEA jedno-, dwu- oraz tr\xF3jwymiarowych automat\xF3w kom\xF3rkowych w trybach zar\xF3wno tekstowym, jak i graficznym. -\item Opracowano zestaw narz\xEAdzi wspomagaj\xB9cych prac\xEA z symulatorem oraz intensyfikuj\xB9cych prowadzenie eksperyment\xF3w. -\item Wdro\xBFono \x9Crodki dokumentowania eksperyment\xF3w w postaci historii przetwarzania. -\item Przeprowadzono testy maj\xB9ce na celu zweryfikowanie poprawno\x9Cci dzia\xB3ania pakietu programowego oraz testy wydajno\x9Cciowe. Przy pomocy osoby trzeciej oceniono ergonomi\xEA u\xBFytkowania zbudowanego symulatora. -\item Do tekstu pracy do\xB3\xB9czono instrukcj\xEA obs\xB3ugi pakietu. + \item W celu zapoznania si\xEA z symulacj\xB9 \ac{AK} przeanalizowano dzia\xB3anie reprezentatywnej grupy pi\xEAciu aplikacji realizuj\xB9cych to zadanie. Stwierdzono ukierunkowanie istniej\xB9cych rozwi\xB9za\xF1 na w\xB9sk\xB9 grup\xEA modeli \ac{AK} \x9Cci\x9Cle powi\xB9zanych z klasycznym modelem ,,Game Of Life'' Conwaya. + \item Opracowano zestawienie cech hipotetycznego ,,idealnego symulatora''. Lista funkcji wynika z istniej\xB9cych rozwi\xB9za\xF1 oraz proponuje nowe, wprowadzone niedawno do literatury, jak np. obserwator lokalny\citep{siia, siwy}. + \item Zaprojektowano i zrealizowano programowy symulator przetwarzania kom\xF3rkowego, unikalny w por\xF3wnaniu z analizowanymi programami. Pakiet implementuje now\xB9 koncepcj\xEA obserwatora lokalnego, funkcji quasi-totalistycznych jako formatu reprezentacji \ac{FL} o znacznie wi\xEAkszej sile wyrazu ni\xBF w przypadku analizowanych symulator\xF3w. + \item Zrealizowano wizualizacj\xEA jedno-, dwu- oraz tr\xF3jwymiarowych automat\xF3w kom\xF3rkowych w trybach zar\xF3wno tekstowym, jak i graficznym. Do mo\xBFliwo\x9Cci wizualizacyjnych do\xB3\xB9czono interpretacj\xEA obraz\xF3w przetwarzania oraz list\xEA \ac{RE}. +\item Opracowano zestaw narz\xEAdzi wspomagaj\xB9cych prac\xEA z symulatorem oraz intensyfikuj\xB9cych prowadzenie eksperyment\xF3w. Do narz\xEAdzi tych zaliczaj\xB9 si\xEA rytmy przetwarzania (krokowy, ci\xB9g\xB3y), metody maniupolwania przestrzeni\xB9 tr\xF3jwymarow\xB9 (obr\xF3t, przesuni\xEAcie, zbli\xBFenie/oddalenie) oraz wspomaganie definiowania konfiguracji (kopiowanie, wklejanie, modyfikowanie). +\item Wdro\xBFono \x9Crodki dokumentowania eksperyment\xF3w w postaci historii przetwarzania. Z uwagi na szacowan\xB9 pracoch\xB3onno\x9C\xE6 pomini\xEAto implmentacj\xEA form multimedialnych dokuentowania. +\item Przeprowadzono testy maj\xB9ce na celu zweryfikowanie poprawno\x9Cci dzia\xB3ania pakietu programowego oraz testy wydajno\x9Cciowe. Stwierdzono zgodno\x9C\xE6 aplikacji z formatami plik\xF3w wej\x9Cciowych \ac{N}, \ac{FQT} i KI. Zweryfikowano mo\xBFliwo\x9C\xE6 importowania i eksportowania podzbioru eksperyment\xF3w kompatybilnych z programami MCell, XLife i Life32. +\item W wyniku ogranicze\xF1 czasowych nie zaimplementowano trybu por\xF3wnawczego dla dw\xF3ch przetwarza\xF1, nie zapewniono zgodno\x9Cci z wszystkimi zak\xB3adanymi formatami plik\xF3w. Dodatkowo pomi\xEAto interpretacj\xEA obrazu na podstawie listy \ac{RE} oraz automatyczne uzupe\xB3nianie \ac{SN}. \item Przy implementowaniu pakietu programowego utrwalono umiej\xEAtno\x9Cci pracy grupowej i wykorzystywania narz\xEAdzi kolaboracyjnych, takich jak repozytorium \ac{SVN}, czy \gls{bugtracker}. -\item Podczas budowania pakietu programowego ugruntowano umiej\xEAtno\x9Cci prgoramistyczne w zakresie j\xEAzyka C++, grafiki tr\xF3jwymiarowej (biblioteki OpenGL) oraz implementowania aplikacji wieloplatformowych (z u\xBFyciem bibliotek Qt). Napisano niespe\xB3na pi\xEAtna\x9Ccie tysi\xEAcy linijek kodu o szacunkowej pracoch\xB3onno\x9Cci przekraczaj\xB9cej p\xF3\xB3tora tysi\xB9ca roboczogodzin. +\item Podczas budowania pakietu programowego ugruntowano umiej\xEAtno\x9Cci prgoramistyczne w zakresie j\xEAzyka C++, grafiki tr\xF3jwymiarowej (biblioteki OpenGL) oraz implementowania aplikacji wieloplatformowych (z u\xBFyciem bibliotek Qt). +\item Napisano niespe\xB3na pi\xEAtna\x9Ccie tysi\xEAcy linijek kodu o szacunkowej pracoch\xB3onno\x9Cci przekraczaj\xB9cej p\xF3\xB3tora tysi\xB9ca roboczogodzin. \end{enumerate} % vim:fencs=cp1250:fenc=cp1250 Modified: trunk/qcell/doc/licenciate_thesis/thesis.bib =================================================================== --- trunk/qcell/doc/licenciate_thesis/thesis.bib 2007-02-11 18:42:06 UTC (rev 302) +++ trunk/qcell/doc/licenciate_thesis/thesis.bib 2007-02-11 19:10:43 UTC (rev 303) @@ -110,5 +110,12 @@ note = {wersja 4.2} } +@BOOK{aica, + author = {Andrew Ilachinski}, + title = {Cellular Automata: A Discrete Universe}, + publisher = {World Scientific Publishing Company}, + year = {lipiec 2001}, +} + # vim:fenc=cp1250 This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |