Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "topological models" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-4 z 4
    Tytuł:
    All the mathematics in the world: logical validity and classical set theory
    Autorzy:
    McCarty, David Charles
    Powiązania:
    https://bibliotekanauki.pl/articles/691100.pdf
    Data publikacji:
    2017
    Wydawca:
    Copernicus Center Press
    Tematy:
    ustification of deduction
    set validity
    class validity
    general validity
    intuitionism
    topological models
    Opis:
    A recognizable topological model construction shows that any consistent principles of classical set theory, including the validity of the law of the excluded third, together with a standard class theory, do not suffice to demonstrate the general validity of the law of the excluded third. This result calls into question the classical mathematician's ability to offer solid justifications for the logical principles he or she favors.
    Źródło:
    Zagadnienia Filozoficzne w Nauce; 2017, 63; 5-29
    0867-8286
    2451-0602
    Pojawia się w:
    Zagadnienia Filozoficzne w Nauce
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Topological Model of Selected Cadastral Structures Visualized in Form of Graphs
    Topologiczny model wybranych struktur katastralnych wraz z wizualizacją w postaci grafów
    Autorzy:
    Lisowski, P.
    Lewandowicz, E.
    Powiązania:
    https://bibliotekanauki.pl/articles/385636.pdf
    Data publikacji:
    2017
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    grafowe modele topologiczne
    struktury katastralne
    graf
    graph topological models
    cadastral structures
    graph
    Opis:
    Zbiór danych katastralnych stanowi bazowe dane przestrzenne, na których opierają się procesy związane z zarządzaniem gruntami. Jest on także istotnym rejestrem, na podstawie którego prowadzi się analizy przestrzenne w procesach decyzyjnych. W tych działaniach ważny jest zapis struktur katastralnych w modelu matematyczno-topologicznym. Podjęto się takich prac na podstawie istniejących zbiorów danych, głównie geometrycznych i wybranych zbiorów atrybutów. Przy realizacji tego zadania wykreował się cel niniejszej publikacji związany z oceną topologiczną struktur katastralnych wybranego obiektu badawczego. Badania wiązały się z zapisem relacji sąsiedztwa wybranych obiektów katastralnych w modelu grafowym. Grafowy model struktur katastralnych pozwala na ocenę wizualną rozdrobnienia działek. Model topologiczny tych struktur jest niejednorodny i utrudnia jednoznaczną ocenę analityczną zbiorów. Wyniki wykazały różnorodność w strukturze działek ewidencyjnych pasów drogowych. Model stworzono w grafowej bazie danych. Wyniki pozwalają na znalezienie miejsc o szczególnym rozdrobnieniu działek pasa drogowego. Są to miejsca, które powstały w procesach tworzenia pasów drogowych lub ich modernizacji – poszerzania. Wnioski z wykonanych badań wskazują na konieczność scaleń działek, których właścicielami są gminy, powiaty, województwa czy Skarb Państwa (Dyrekcja Dróg Krajowych i Autostrad). Analiza zbiorów katastralnych w innych regionach kraju, w oparciu o dane wizualizowane w Geopotralu, potwierdza istnienie nieuzasadnionego rozdrobienia działek na terenach nowo wybudowanych ciągów komunikacyjnych. Istniejąca sytuacja zmusza do poszukiwań przyczyn zaistnienia takiego rozdrobienia i szukania rozwiązań w celu ich uporządkowania. Wnioski końcowe wskazują na konieczność przeprowadzania scaleń w tych obszarach. Po uporządkowaniu tych struktur prostsza będzie interpretacja wyników analiz przestrzennych, opartych o bazowe zbiory katastralne, a także obraz mapy katastralnej będzie czytelniejszy.
    The collection of cadastral data is basic spatial data on the basis of which processes associated with land management are conducted. In these activities, it is important that the cadastral structures are in the mathematical-topological model. Such works were being done on the basis of existing geometric data sets and selected sets of attributes. The aim of the present publication was created during these works, concerning the assessment of topological structures of the selected object. The research was associated with the records of neighborhood relationships of selected cadastral objects in the graph model. The graph model of cadastral structures enables the visual assessment of parcel fragmentation. The topological model of these structures is heterogeneous; therefore, it is difficult to clearly and analytically evaluate the sets. The results showed diversity in the structure of the cadastral road parcels. The model was created in the graph database. The results enabled us to find places with a particularly high fragmentation of road parcels. These are places that have arisen in the process of creating roads or their modernization – widening. The conclusions from the research indicate the need of merging parcels owned by municipalities, counties, provinces, or the Treasury (Directorate for National Roads and Motorways). An analysis of cadastral data sets in other Polish regions based on the data visualized in Geopotrals confirms the existence of unjustified parcel fragmentation in areas of newly built roads. The existing situation forces us to search for the causes for the occurrence of such fragmentation and seek solutions to organize them. Our final conclusions indicate the need to perform mergers in these parcels. After arranging these structures, it is easier to interpret the results of a spatial analysis based on the underlying cadastral data; also, a cadastral map would be clearer.
    Źródło:
    Geomatics and Environmental Engineering; 2017, 11, 4; 51-63
    1898-1135
    Pojawia się w:
    Geomatics and Environmental Engineering
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Topology and models of ZFC at early Universe
    Autorzy:
    Król, Jerzy
    Asselmeyer-Maluga, Torsten
    Powiązania:
    https://bibliotekanauki.pl/articles/690832.pdf
    Data publikacji:
    2019
    Wydawca:
    Copernicus Center Press
    Tematy:
    Cosmological model
    exotic R4 and S3 × R in cosmology
    4-exotic smoothness
    models of ZFC
    topological model for inflation
    topological model for neutrino masses
    forcing
    QM lattice of projections
    Opis:
    Recently the cosmological evolution of the universe has been considered where 3-dimensional spatial topology undergone drastic changes. The process can explain, among others, the observed smallness of the neutrino masses and the speed of inflation. However, the entire evolution is perfectly smooth from 4-dimensional point of view. Thus the raison d’être for such topology changes is the existence of certain non-standard 4-smoothness on R4 already at very early stages of the universe. We show that the existence of such smoothness can be understood as a byproduct of the quantumness of the origins of the universe. Our analysis is based on certain formal aspects of the quantum mechanical lattice of projections of infinite dimensional Hilbert spaces where formalization reaches the level of models of axiomatic set theory.
    Źródło:
    Zagadnienia Filozoficzne w Nauce; 2019, 66; 15-33
    0867-8286
    2451-0602
    Pojawia się w:
    Zagadnienia Filozoficzne w Nauce
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Applying generative modelling tools to explore architectural forms
    Kształtowanie geometrii form architektonicznych za pomocą narzędzi modelowania generatywnego
    Autorzy:
    Helenowska-Peschke, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/119243.pdf
    Data publikacji:
    2012
    Wydawca:
    Polskie Towarzystwo Geometrii i Grafiki Inżynierskiej
    Tematy:
    geometric competence
    topological surfaces
    parametric models of geometry
    associative models of geometry
    kompetencje geometryczne
    powierzchnie topologiczne
    asocjacyjne modele geometrii
    parametryczne modele geometrii
    Opis:
    The paper relates to contemporary architectural explorations of complex, curvilinear surfaces in the context of generative modeling. Traditional ways of representing geometry, based on descriptive methods, favor formal language of "flat elements" easy to map in a rectangular coordinate system and built using traditional technology. In advanced generative modeling techniques used in the architectural digital design objects are not "drawn”" but they are calculated, which means that the designer does not model directly the external form, but its internal generative logic. This allows automatic generation of variations of solutions, and digital production of "difficult" components of architectural forms using CNC technology. The digital generative methods open up new areas for exploration of formal and tectonic features, accentuate form's ability to emerge and adapt. "Architecture is recasting itself, becoming in part an experimental investigation of topological geometries, partly a computational orchestration of robotic material production and partly a generative, kinematic sculpting of space” [9]. Topological transformations have primary impact on mutual relations and the geometry of the resulting form. Innovative architectural designs around the world have shown that the use of generative modeling has great design potential and requires the ability to go beyond the traditional architectural and designing workshop. This ability for future generations of architects may be a subject to competitiveness in the global market.
    Opracowanie dotyczy kształtowania architektonicznych powierzchni wielokrzywiznowych w kontekście narzędzi modelowania generatywnego. Tradycyjne sposoby zapisu geometrii, bazujące na metodach wykreślnych, sprzyjają językowi formalnemu „elementów płaskich”, łatwych do odwzorowania w prostokątnym układzie współrzędnych i wybudowania za pomocą technologii tradycyjnych. Zaawansowane techniki modelowania generatywnego wykorzystywane współcześnie w architektonicznym projektowaniu cyfrowym nie ”rysują modelu”, ale go obliczają. W konsekwencji projektant nie kształtuje bezpośrednio zewnętrznej formy, ale określa generatywną logikę wewnętrzną. Umożliwia to uzyskanie wariantów rozwiązań w sposób automatyczny, a także cyfrową produkcję „trudnych” komponentów form architektonicznych za pomocą technologii CNC. Dzięki cyfrowym metodom generatywnym otwierają się nowe obszary poszukiwań formalnych i strukturalnych, akcentujące zdolność geometrii formy do „kształtowania się” i adaptacji. „Architektura przekształca się, stając się w części eksperymentalnym badaniem geometrii topologicznej, częściowo obliczeniowym sterowaniem zrobotyzowaną produkcją materialną i częściowo generatywnym, kinematycznym rzeźbieniem przestrzeni.” [9]. Transformacje topologiczne mają przede wszystkim wpływ na wzajemne relacje i geometrię formy wynikowej. Awangardowe realizacje architektoniczne na świecie dowodzą, że wykorzystywanie technik modelowania generatywnego ma ogromny potencjał projektowy i wymaga umiejętności wychodzących poza tradycyjny warsztat architektoniczny i konstruktorski. Dla przyszłych generacji architektów umiejętności te mogą być warunkiem konkurencyjności na globalnym rynku.
    Źródło:
    Journal Biuletyn of Polish Society for Geometry and Engineering Graphics; 2012, 23; 43-49
    1644-9363
    Pojawia się w:
    Journal Biuletyn of Polish Society for Geometry and Engineering Graphics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-4 z 4

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies