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ę "domknięcie" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-9 z 9
    Tytuł:
    Sur l'opération Ā de l'Analysis Situs
    Autorzy:
    Kuratowski, Kazimierz
    Powiązania:
    https://bibliotekanauki.pl/articles/1385860.pdf
    Data publikacji:
    1922
    Wydawca:
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Tematy:
    zbiór domknięty
    analiza położenia
    topologia
    przestrzeń Euklidesowa
    domknięcie zbioru
    Opis:
    1 désigne l'espace euclidien à n dimensions. A étant un ensemble quelconque de points de cet espace, 1-A désignent l'ensemble complémentaire de A. Ā se compose des points de A et de leurs points limites. On montre aisément que les énoncés suivantes subsistent: I bar(A+B) = Ā + bar(B) II A ⊂ Ā III bar(0) = 0 IV bar(Ā) = Ā Cette note est consacrée à l'analyse de ces propositions et de leurs conséquences.
    Źródło:
    Fundamenta Mathematicae; 1922, 3, 1; 182-199
    0016-2736
    Pojawia się w:
    Fundamenta Mathematicae
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Regional closure of knowledge transfer in cluster organisations in Western Poland
    Regionalne domknięcie transferu wiedzy w organizacjach klastrowych w Polsce zachodniej
    Autorzy:
    Dyba, Wojciech
    Powiązania:
    https://bibliotekanauki.pl/articles/656719.pdf
    Data publikacji:
    2017
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    klastry
    organizacje klastrowe
    transfer wiedzy
    regionalne domknięcie
    clusters
    cluster organisations
    knowledge transfer
    regional closure
    Opis:
    W wielu pracach dotyczących klastrów – aktualnego tematu badawczego wielu analiz regionalnych – autorzy wskazują, że przestrzenna bliskość podmiotów ekonomicznych pozytywnie wpływa na możliwości współpracy i przepływu wiedzy (zarówno spontanicznego, jak i celowego). Bliskość geograficzna może być jednak rozumiana różnie: zależy od uwarunkowań regionalnych i krajowych. W niniejszym artykule badam w jakim stopniu powiązania w zakresie transferu wiedzy podmiotów organizacji klastrowych mają miejsce wewnątrz, a w jakim stopniu wykraczają poza, regiony administracyjne Polski zachodniej. W tym celu formułuję operacyjną definicję „regionalnego domknięcia” powiązań, jak również wzór pozwalający na pomiar tego domknięcia. Rezultaty badania dowodzą, że jakkolwiek większość powiązań rzeczywiście zachodzi wewnątrz regionów (rozumianych jako jednostki NUTS‑2 i NUTS‑3), ich zasięg przestrzenny zależy od rodzaju działalności podmiotów współpracujących w klastrach i typów realizowanych przez nie projektów (m.in. im bardziej zaawansowane technologicznie projekty, tym mniejsze regionalne domknięcie przepływu wiedzy).
    In many studies of clusters – currently a topical subject matter of many regional analyses – authors indicate that the spatial proximity of economic agents positively influences the possibility of cooperation and knowledge exchange (both spontaneous and purposeful). However, geographical proximity can be understood differently: it depends on conditions characteristic of countries and regions. In this paper I investigate to what extent knowledge transfer links, created by agents of clusters during formal cooperation, appear within, or reach outside, the administrative regions of Western Poland. To that end, I create an operational definition of “regional closure” with an equation for measuring it. The results prove that although most links in cluster organisations are created within regions (on NUTS-2 and NUTS-3 level), their spatial range depends on the line of business and type of projects implemented by a cluster.
    Źródło:
    Acta Universitatis Lodziensis. Folia Oeconomica; 2017, 1, 327
    0208-6018
    2353-7663
    Pojawia się w:
    Acta Universitatis Lodziensis. Folia Oeconomica
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Czy procesy naturalne mogą realizować cele nadnaturalne?
    Can Natural Processes Realize Supernatural Goals?
    Autorzy:
    Bugajak, Grzegorz
    Powiązania:
    https://bibliotekanauki.pl/articles/1791010.pdf
    Data publikacji:
    2021-01-04
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    celowość
    działanie Boga w świecie
    cud
    domknięcie przyczynowe
    panenteizm
    teleology
    divine action
    miracle
    causal closure
    panentheism
    Opis:
    Celem artykułu jest poszukiwanie takiej interpretacji obecności i działania Boga w świecie, jaka pozwoliłaby zharmonizować istotne prawdy wiary z naukowym obrazem świata, którego ewolucja jest rządzona przypadkiem i pozbawiona kierunku. Poszukiwanie to jest realizowane w kilku krokach. Odwołując się do różnych koncepcji celowości wskazuje się najpierw, że jeśli można mówić o tym, że świat ma taką cechę, to nie w sensie zmierzania w określonym kierunku (nauki przyrodnicze takiego kierunku nie wykrywają, więc najrozsądniej jest przyjąć, że go nie ma), lecz w sensie celowości wewnętrznej: świat ze swej natury jest skierowany na Boga. Współcześnie o Bożej celowości w świecie mówi się często w kategoriach ogólnego lub szczególnego działania Boga (general lub special divine action). Artykuł, podejmując tę kwestię zmierza do wniosku, że odróżnienie aspektu naturalnego od nadnaturalnego w danym zdarzeniu jest przypuszczalnie niemożliwe. Na jeden z powodów tej niemożliwości wskazuje tzw. zasada domknięcia przyczynowego, dlatego jest ona analizowana w kolejnym punkcie artykułu. Wskazuje się tutaj między innymi na konieczność zrewidowania niektórych klasycznych koncepcji cudu. W odniesieniu zaś do takich przełomowych zdarzeń z dziejów świata, jak powstanie życia czy pojawienie się człowieka, proponuje się hipotezę niedookreśloności celu stworzenia: Bóg może realizować swoje cele w świecie rządzonym przez autentyczny przypadek, jeśli cele te są rozumiane odpowiednio subtelnie. Na przykład, jeśli celem Boga jest pojawienie się w świecie istoty zdolnej do nawiązania z nim świadomego kontaktu (zwanej w teologii Człowiekiem), to istota taka niekoniecznie musiała przyjąć postać przedstawiciela gatunku Homo sapiens. Na koniec wskazuje się na panenteizm jako na właściwą, prawdziwie chrześcijańską wizję świata, który jest „losem i przeznaczeniem” samego Boga (Karl Rahner). W tej perspektywie, detale ewolucyjnego rozwoju świata przestają być religijnie istotne, a sama religia uwalnia się ostatecznie—po części pod wpływem współczesnej nauki—„od błędu i przesądu” (Jan Paweł II).
    The aim of the paper is to seek such an interpretation of the presence and activity of God in nature that could harmonize important truths of faith with scientific understanding of the world, governed in its evolution by chance and devoid of any direction. The search is taken in a few steps. Firstly, classic accounts of teleology are indicated, with the conclusion that the only way of the understanding an idea that the world is purposeful is that in terms of inner teleology: the world is directed not so much by God but towards God. Contemporary discussions about the possibility of God’s aims being realized in nature often concentrate on the notion of general or special divine action. Drawing on some accounts of GDA and SDA the paper supports the view that strict delimitation of what is natural and what divine in a given case is probably impossible. One of the reasons of this impossibility is captured by the principle of the causal closure of the world. With relation to this principle, a need to revise some classic accounts of the miraculous is pointed to. Particularly, “the miracle of the human” does not need any special divine interventions, any special guidance of the evolutionary processes (which are, in any case, truly random), if one accepts a hypothesis of the underdetermination of the goal of creation: If God’s aim is that a special being emerges in nature, able to maintain a conscious relation with its Creator, then such a being (called Human in theology) does not need to be a representative of the species Homo sapiens. Finally, panentheism is pointed to as a truly Christian view of the world; the world which is “fate and destiny” of God himself (Karl Rahner). In such a perspective, the details of the evolutionary development of the world cease to be relevant for religion, and religion frees itself finally from “error and superstition” (John Paul II).
    Źródło:
    Roczniki Filozoficzne; 2020, 68, 4; 89-109
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Using transitive closure and transitive reduction to extract coarse-grained parallelism in program loops
    Redukcja nadmiarowej synchronizacji w ekstrakcji równoległości gruboziarnistej
    Autorzy:
    Bielecki, W.
    Pałkowski, M.
    Siedlecki, K.
    Powiązania:
    https://bibliotekanauki.pl/articles/152522.pdf
    Data publikacji:
    2010
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    fragmenty kodu
    synchronizacja
    równoległość
    tranzytywne domknięcie i redukcja
    synchronization
    slices
    parallelism
    transitive closure and reduction
    Opis:
    A technique for extracting coarse-grained parallelism available in loops is presented. It is based on splitting a set of dependence relations into two sets. The first one is to be used for generating code scanning slices while the second one permits us to insert send and receive functions to synchronize the slices execution. The paper presents a way demonstrating how to remove redundant synchronization in generated code by means of the transitive reduction operation. Results of experiments - how many synchronization points can be removed, speed-up and efficiency of examined parallel loops are discussed.
    W artykule zaprezentowano technikę ekstrakcji równoległości grubo-ziarnistej w pętlach programowych. Bazuje ona na podziale relacji zależności na dwa zbiory: na podstawie pierwszego generowany jest kod skanujący niezależne fragmenty, natomiast drugi służy do wstawienia funkcji send i receive (wyślij i odbierz) służących do synchronizacji tych fragmentów. Operacje te zrealizowano za pomocą semaforów, możliwe jest jednak wykorzystanie innej konstrukcji, bardziej wydajnej dla danego środowiska. Algorytm generuje kod z zaznaczonymi punktami synchronizacji, nie narzuca jednak ich implementacji. W artykule przeanalizowano technikę wyszukiwania i eliminacji zbędnych punktów synchronizacji. Ekstrakcja równoległości za pomocą fragmentów kodu bazuje na operacji tranzytywnego domknięcia, znanej także z teorii grafów. Operacja ta jest również wykorzystana do obliczenia tranzytywnej redukcji, za pomocą której eliminowana jest nadmiarowa synchronizacja. Usuwanie zbędnej komunikacji pomiędzy wątkami obliczeń jest istotne, ponieważ ich obsługa zwłaszcza dla komputerów z pamięcią dzieloną, w których ich koszt obsługi jest istotny. Docelowe jest zatem uzyskanie gruboziarnistego kodu równoległego. Zbadano także wyniki przeprowa-dzonych eksperymentów pod kątem przyspieszenia i efektywności obliczeń.
    Źródło:
    Pomiary Automatyka Kontrola; 2010, R. 56, nr 8, 8; 976-979
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Tiling arbitrarily nested loops by means of the transitive closure of dependence graphs
    Autorzy:
    Bielecki, W.
    Pałkowski, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/331155.pdf
    Data publikacji:
    2016
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    tiling
    transitive closure
    source-to-source compiler
    polyhedral model
    iteration space slicing
    domknięcie przechodnie
    kompilator
    model wielościenny
    Opis:
    A novel approach to generation of tiled code for arbitrarily nested loops is presented. It is derived via a combination of the polyhedral and iteration space slicing frameworks. Instead of program transformations represented by a set of affine functions, one for each statement, it uses the transitive closure of a loop nest dependence graph to carry out corrections of original rectangular tiles so that all dependences of the original loop nest are preserved under the lexicographic order of target tiles. Parallel tiled code can be generated on the basis of valid serial tiled code by means of applying affine transformations or transitive closure using on input an inter-tile dependence graph whose vertices are represented by target tiles while edges connect dependent target tiles. We demonstrate how a relation describing such a graph can be formed. The main merit of the presented approach in comparison with the well-known ones is that it does not require full permutability of loops to generate both serial and parallel tiled codes; this increases the scope of loop nests to be tiled.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2016, 26, 4; 919-939
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Wpływ redukcji zależności na możliwość obliczenia tranzytywnego domknięcia grafu zależności
    Impact of reducing dependence on possibility of calculating transitive closure of dependency graph
    Autorzy:
    Siedlecki, K.
    Pałkowski, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/157508.pdf
    Data publikacji:
    2012
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    pętle programowe
    ekstrakcja równoległości
    tranzytywne domknięcie
    redukcja zależności
    program loops
    extracting parallelism
    transitive closure
    reducing dependences
    Opis:
    W artykule zaprezentowano wpływ redukcji zależności na możliwość obliczenia tranzytywnego domknięcia grafu zależności. Redukcje zależności wykonano przy pomocy znanych technik (redukcja zmiennych skalarnych i indukcyjnych, przekoszenie pętli, podział i łączenie pętli, rozszerzenie zmiennych skalarnych). Przedstawiono problemy związane z obliczeniem tranzytywnego domknięcia grafu zależności. Dla zbioru pętli testowych z benchmarku NAS przedstawiono wyniki statystyczne z przeprowadzonych badań. Dla wybranej pętli zaprezentowano wykorzystanie metod redukcji zależności, ich wpływ na liczbę relacji zależności oraz na możliwość obliczenia tranzytywnego domknięcia grafu zależności.
    The paper presents the impact of reducing dependence on possibility of calculating the transitive closure. The reductions were made according to the well known techniques (scalar reduction, induction variable elimination, loop skewing, loop splitting, loop fissioning, scalar expansion). The publication presents the background associated with data dependencies. In addition, reduction techniques (with simple examples) used in the experiments are presented. The problems associated with the transitive closure calculation are discussed. There are given the statistic results of experimental studies on a set of benchmark loop. For a chosen loop from NAS Parallel Benchmark the effectiveness of each reduction technique is shown. The impact of reduction on the transitive closure calculation is described for a selected example, where the impact of each reduction technique on the number or dependency relations is presented in detail. In the last section the experimental observations are summarized and the importance of reducing dependence is explained.
    Źródło:
    Pomiary Automatyka Kontrola; 2012, R. 58, nr 2, 2; 188-192
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Naturalizm metodologiczny w nauce — dylemat teisty
    Methodological Naturalism in Science — the Theist’s Dilemma
    Autorzy:
    Zabołotny, Andrzej
    Powiązania:
    https://bibliotekanauki.pl/articles/553276.pdf
    Data publikacji:
    2016
    Wydawca:
    Uniwersytet Zielonogórski. Instytut Filozofii
    Tematy:
    naturalizm metodologiczny
    naturalizm ontologiczny
    teizm
    nauka
    religia
    przyczynowe domknięcie Wszechświata
    methodological naturalism
    ontological naturalism
    theism
    science
    religion
    causal closure of the universe
    Opis:
    Nauka postrzegana jest przez wielu jako szczególne przedsięwzięcie ludzkości mające na celu poznanie Wszechświata bez wprowadzania odwołań do bytów nadnaturalnych. Dla naukowców-chrześcijan rodzi to pytanie o możliwość pogodzenia ich teistycznych przekonań z panującym w nauce naturalizmem. Najczęstszym sposobem uspokojenia tych obaw jest twierdzenie, że naturalizm ten jest jedynie metodologiczną zasadą funkcjonowania nauki. W artykule zostają poddane analizie różne sposoby rozumienia naturalizmu i ich światopoglądowe konsekwencje. Okazuje się, że zasady pozornie jedynie metodologiczne mają komponent ontologiczny, negujący możliwość bezpośredniego oddziaływania Boga na rzeczywistość fizykalną. W końcowej części artykułu zarysowane zostają propozycje słabszych wersji naturalizmu, zachowujące dążenia nauki do poznania prawdy o świecie naturalnym bez zanegowania podstawowych prawd teologii chrześcijańskiej.
    Science is considered by many to be a specific human project, the purpose of which is to gain knowledge about the universe without any reference to supernatural realities. This approach may cause a dilemma for Christian scientists: how should one integrate theistic convictions with the prevailing naturalism of scientific practice? The usual way to solve this problem is to claim that naturalism is only a purely methodological principle of science. In this article a few different ways of understanding naturalism are considered, together with their philosophical consequences. It is suggested that the supposedly merely methodological principle has significant ontological components, which do not allow any direct actions of God in physical reality. In the last section, two different weaker versions of naturalism are suggested, which allow theists to affirm science’s aim to investigate the natural world, without contradicting the basic tenets of Christian theology.
    Źródło:
    Filozoficzne Aspekty Genezy; 2016, 13; 25-48
    2299-0356
    Pojawia się w:
    Filozoficzne Aspekty Genezy
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Wpływ wybranych cech osobowości na przebieg i wyniki porównywania śladów daktyloskopijnych
    Influence of selected personality traits on the course and results of fingerprint comparison
    Autorzy:
    Ignaszak, Mateusz
    Powiązania:
    https://bibliotekanauki.pl/articles/2057467.pdf
    Data publikacji:
    2020
    Wydawca:
    Centralne Laboratorium Kryminalistyczne Policji
    Tematy:
    ekspertyza daktyloskopijna
    badania porównawcze
    cechy osobowości biegłego
    poznawcze domknięcie
    sterowność
    błędy poznawcze
    fingerprint expertise
    comparative testing
    expert personality traits
    cognitive closure
    controllability
    cognitive bias
    Opis:
    Eksperci kryminalistyki z zakresu daktyloskopii są podatni na błędy poznawcze, które mogą wpływać na proces wydawania opinii. Przeprowadzono badanie, aby sprawdzić, czy studenci z pewnym natężeniem dwóch cech osobowości: potrzeby poznawczego domknięcia oraz sterowności, mają predyspozycje pozwalające im być lepszymi daktyloskopami w porównaniu z innymi osobami. Badanie złożone było z trzech etapów: wypełnienia kwestionariuszy osobowości, szkolenia z zakresu badań śladów daktyloskopijnych, a na koniec z zadania związanego z tą tematyką. W zadaniu odpowiednio manipulowano jego treścią, aby wprowadzić złudzenia poznawcze, przez które osoby badane miały częściej udzielać błędnych odpowiedzi. Nie stwierdzono istotnej korelacji między badanymi cechami a poprawnością, błędami, ostrożnością oraz stanowczością w wykonanym zadaniu. Probanci znacznie częściej udzielali błędnych odpowiedzi. Wykazano pozytywną korelację dodatnią czasu z liczbą poprawnych odpowiedzi w zadaniu. Zauważono także istotną korelację dodatnią między preferowaniem porządku a ostrożnością w wykonywaniu zadania. Otrzymane wyniki mogą posłużyć w typowaniu osób, które lepiej będą porównywać ślady daktyloskopijne.
    Forensic experts in the field of fingerprint examination are prone to cognitive errors that can affect the opinion issuing process. A study was conducted to determine if students exhibiting certain intensities of two personality traits: the need for cognitive closure and controllability, have a predisposition to be better fingerprint examination experts compared to others. The study consisted of three stages: completion of personality questionnaires, training in fingerprint examination, and finally a fingerprint examination – related task. The task was appropriately staged to introduce cognitive illusions, led by which, the subjects were more likely to give incorrect answers. No significant correlation was found between the studied characteristics and correctness, biases, caution, and decisiveness in the task performed. The subjects were significantly more likely to give incorrect answers. There was a positive correlation of time with the number of correct answers. A significant positive correlation was also observed between the preference of order and caution in task performance. The results obtained can be used in typing individuals who will perform better at comparing fingerprints.
    Źródło:
    Problemy Kryminalistyki; 2020, 310; 5-16
    0552-2153
    Pojawia się w:
    Problemy Kryminalistyki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Zastosowanie metod morfologii matematycznej do detekcji i dekompozycji obrazów
    The use of mathematical morphology methods for image detection and decomposition
    Autorzy:
    Szczurek, G.
    Powiązania:
    https://bibliotekanauki.pl/articles/317428.pdf
    Data publikacji:
    2003
    Wydawca:
    Instytut Łączności - Państwowy Instytut Badawczy
    Tematy:
    morfologia matematyczna
    przetwarzanie obrazów
    element strukturalny
    dylacja
    erozja
    otwarcie
    domknięcie
    operacja "trafi nie trafi"
    mathematical morphology
    image processing
    structural component
    dilation
    erosion
    opening
    closing
    hit-or-miss operation
    Opis:
    Dokonano przeglądu operacji morfologii matematycznej najczęściej stosowanej w przetwarzaniu obrazów. Zademonstrowano również aplikację programową, wykorzystującą algorytm dekompozycji i detekcji obiektów obrazu oparty na jednej z operacji morfologicznych, zwanej "trafi nie trafi". Przedstawiono wyniki działania algorytmu, wskazując jednocześnie możliwości jego modyfikacji i potencjalne zastosowania. Ponadto poruszono ważną z punktu widzenia operacji morfologicznych, tematykę doboru odpowiedniego, dla określonej klasy obrazów, elementu strukturalnego.
    An overview of the most frequently used mathematical morphology operations in image processing, such as has been described in the paper. Software application including algorithm of object recognition and decomposition based on "hit or miss" operation has also been demonstrated. The results of this algorithm and methods of its improvement and potential use have also been presented. Furthermore, an important issue from the point of view of morphological operations, the problem of choosing the optimal structural element for a defined class of images has been discussed.
    Źródło:
    Telekomunikacja i Techniki Informacyjne; 2003, 1-2; 67-90
    1640-1549
    1899-8933
    Pojawia się w:
    Telekomunikacja i Techniki Informacyjne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-9 z 9

      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