W niniejszej pracy pokazujemy, w jaki sposób formalne pojęcia informatyczne – takie, jak kodowanie, algorytm czy obliczalność – mogą być interpretowane filozoficznie, w tym ontologicznie i epistemologicznie. Interpretacje takie prowadzą do pytań i problemów, których robocze rozwiązania składają się na jakąś formę prefilozoficznego światopoglądu. W pracy kładziemy nacisk na pytania inspirowane informatycznym rozróżnieniem cyfrowości i analogowości, które ma swój matematyczny pierwowzór w matematycznym rozróżnieniu dyskretności i ciągłości. Między innymi są to następujące pytania: 1) czy głęboka struktura fizykalnej rzeczywistości ma charakter cyfrowy, czy analogowy, 2) czy ludzki umysł przypomina bardziej informatyczny system cyfrowy czy analogowy, 3) czy odpowiedź na pytanie drugie daje nam owocny poznawczo wgląd w ograniczenia poznawcze umysłu? Za szczególnie istotną podstawę powyższych pytań uznajemy fakt, że moc obliczeniowa (tj. zakres rozwiązywalnych problemów) niektórych typów obliczeń analogowych jest większa od mocy obliczeń cyfrowych.
Green spaces are an integral element of urban structures. They are not only a place of rest for their users, but also positively affect their well-being and health. The eff ect of these spaces, is the better, the smoother they create larger urban layout – stings of greenery. The introduction of urban greenery can and should be one of the basic elements of revitalization. Often, however, greenery is designed without multi-aspect analysis, enabling understanding of conditions and the use of existing potential in a given place. The use of computational design in conjunction with the use of generally available databases, such as numerical SRTM terrain models, publicly available OSM map database and EPW meteorological data, allows for the design of space in a more comprehensive way. These design methods allow better matching of the greenery design in a given area to specific architectural, urban and environmental conditions.
Modelowanie komputerowe odgrywa istotną rolę we współczesnej nauce. Epistemologiczna rola, jaką odgrywają takie modele oraz prowadzone na ich bazie symulacje skłaniają do postawienia pytań o możliwe użycie podobnych metod w filozofii. Pomysły wykorzystania narzędzi matematycznych do sformułowania koncepcji filozoficznych sięgają czasów Barucha Spinozy i Isaaca Newtona. Newtonowska filozofia przyrody stała się przykładem udanego zastosowania matematycznych rozważań do opisu przyrody na poziomie fundamentalnym. Oczywiście podejście Newtona otworzyło zarówno nowe obszary badań w fizyce, jak i stało się źródłem dla nowych rozważań o rzeczywistości fizycznej. Według Michała Hellera niektóre teorie fizyczne można traktować jako specyficzne formalizacje koncepcji filozoficznych. Modelowanie komputerowe w filozofii może być traktowane jako rozszerzenie tej idei, co będę starał się ukazać w niniejszym artykule. Będę również rozważał rolę modelowania komputerowego jako źródła nowych metafor filozoficznych zgodnie z koncepcją technologii definiującej D. J. Boltera. Rozważania te wiodą do konkluzji mówiącej, że w metodologii filozofii zachodzą istotne zmiany. Nowe podejście nie sugeruje odrzucenia bądź zanegowania dotychczasowych metod, a wskazuje raczej nowe narzędzie analityczne filozofii i źródło inspirujących metafor.
Disk motors are characterized by the axial direction of main magnetic flux and the variable length of the magnetic flux path along varying stator/rotor radii. This is why it is generally accepted that reliable electromagnetic calculations for such machines should be carried out using the FEM for 3D models. The 3D approach makes it possible to take into account an entire spectrum of different effects. Such computational analysis is very time-consuming, this is in particular true for machines with one magnetic axis only. An alternate computational method based on a 2D FEM model of a cylindrical motor is proposed in the paper. The obtained calculation results have been verified by means of lab test results for a physical model. The proposed method leads to a significant decrease of computational time, i.e. the decrease of iterative search for the most advantageous design.