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ę "formálne" wg kryterium: Temat

  Lista filtrów

Dostawca treści

Wyrównaj
Wyświetlanie 1-10 z 83
Tytuł:
Specyfikacja formalna protokołów prostych magistral polowych
Formal specyfication of small fieldbus protocols
Autorzy:
Pelc, L.
Trybus, L.
Powiązania:
https://bibliotekanauki.pl/articles/156290.pdf
Data publikacji:
2005
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
protokoły polowe
metody formalne
język LOTOS
Opis:
Scharakteryzowano problem formalnego specyfikowania protokołów komunikacyjnych dla magistral polowych. Wskazano dwa sposoby uwzględniania upływu czasu oraz omówiono zagadnienie jawnego specyfikowania ograniczeń czasowych komunikacji. Weryfikację poprawności systemu ze specyfikowanym protokołem ograniczono do testów. Zastosowano język specyfikacji LOTOS oraz jego czasowe rozszerzenie RT-LOTOS. Rozważania zilustrowano prostym przykładem protokołu Master-Slave, powszechnie stosowanym w małych systemach rozproszonych.
The problem of fieldbus protocol formal specification is characterized. Two techniques of time elapsing are indicated. Explicit specification of time constraints is described. Verification of a system that uses specified protocol is carried out by means of tests, LOTOS specification language and its RT-LOTOS real time extension is used. Considerations are illustrated by simple example of Master-Slave protocol employed for vertical communication in small distributed system.
Źródło:
Pomiary Automatyka Kontrola; 2005, R. 51, nr 1, 1; 14-15
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Ontologia formalna. Przykład: ontologia w Polsce
Autorzy:
Kaczmarek, Janusz
Powiązania:
https://bibliotekanauki.pl/articles/705906.pdf
Data publikacji:
2012-09-01
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
ontologia
ontologia formalna
twierdzenia formalne
twierdzeniainterpretacyjne
parafraza
hermeneutyka logiczna
Opis:
Na przykładzie ontologii uprawianej w Polsce podjęta zostaje próba określenia, czym jest ontologia formalna. Wskazane zostają typy twierdzeń wypracowanych w ramach ontologii oraz podane są przykłady twierdzeń, które tu nazywamy twierdzeniami formalnymi i twierdzeniami interpretacyjnymi. Dzięki temu można zrozumieć, czym jest ontologia formalna, oraz jaki jest jej stosunek do ontologii jako takiej. Temat tu podjęty jest fragmentem szerszego programu, którego celem jest prezentacja podstawowych koncepcji i problemów opracowanych bądź analizowanych w dziedzinie formalnej ontologii w Polsce.
Źródło:
Przegląd Filozoficzny. Nowa Seria; 2012, 3; 165-175
1230-1493
Pojawia się w:
Przegląd Filozoficzny. Nowa Seria
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Przemiany instytucjonalne na rynku finansowym w Polsce – wybrane aspekty
Autorzy:
Jakubowska, Agata
Powiązania:
https://bibliotekanauki.pl/articles/584031.pdf
Data publikacji:
2017
Wydawca:
Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
Tematy:
przemiany instytucjonalne
instytucje formalne
instytucje nieformalne
rynek usług finansowych
Opis:
Rozpoczęta w roku 1989 transformacja systemowa w Polsce doprowadziła do przemian zarówno instytucji formalnych, jak i nieformalnych we wszystkich obszarach gospodarki. Jednym z obszarów przemian w tym okresie był rynek usług finansowych i związane z nim instytucje. Banki i cały system bankowy z uwagi na swoją rolę w gospodarce zostały poddane przemianom w pierwszej kolejności. Rozpoczęte reformy instytucji formalnych doprowadzić miały do powstania nowego konkurencyjnego sektora bankowego. Przemiany nastąpiły zarówno w obszarze instytucji formalnych, jakimi były ustawowe normy i zasady regulujące reguły gry na rynku finansowym, jak i w obszarze instytucji nieformalnych, czyli np. zaufania do instytucji bankowych i całego systemu bankowego. Celem artykułu jest próba pokazania, w jaki sposób zmieniały się instytucje formalne i nieformalne rynku finansowego w Polsce po roku 1989.
Źródło:
Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu; 2017, 488; 59-67
1899-3192
Pojawia się w:
Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A safety related perspective for the power supply systems in railway industry
Bezpieczeństwo systemów zasilania w przemyśle kolejowym
Autorzy:
Oz, M. A.
Kaymakci, O. T.
Koyun, A.
Powiązania:
https://bibliotekanauki.pl/articles/301911.pdf
Data publikacji:
2017
Wydawca:
Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
Tematy:
Markov models
reliability
formal modeling
modele Markowa
niezawodność
modelowanie formalne
Opis:
Within its structure railway transportation systems contain very critical subsystems that can seriously harm the system itself, people or the environment if not properly controlled. Therefore, these critical subsystems are analysed according to the related standards and necessary safety functions are implemented, verified and operated. On the other hand, railway power supply system, which is a critical subsystems, is generally properly analysed from a reliability perspective whereas the corresponding safety related functions are roughly examined. This paper proposes that the railway power supply systems should be considered as safety critical systems and justifies this proposal using risk analysis as presented in the standard IEC 61508. The safety related functions of the system are examined and each function is modelled in detail using Markov modelling method. These models are implemented over a power supply system of Istanbul Transportation Co. and SIL values of the safety functions are calculated using these modular and easily adaptable Markov models. Furthermore the obtained results are compared with simplistic Fault Tree analysis (FTA) and the significance of accurate calculation is demonstrated.
W skład struktury kolejowych systemów transportowych wchodzą krytyczne podsystemy, które, nieodpowiednio monitorowane, mogą narażać sam system, a także ludzi oraz środowisko na poważne szkody. Dlatego też, podsystemy krytyczne analizuje się zgodnie z odpowiednimi normami oraz wdraża w nich, weryfikuje i realizuje niezbędne funkcje bezpieczeństwa. W przypadku systemów zasilania kolei, które należą do grupy podsystemów krytycznych, system na ogół analizuje się dokładnie z punktu widzenia niezawodności, natomiast funkcje bezpieczeństwa bada się jedynie pobieżnie. W prezentowanej pracy postuluje się że systemy zasilania kolei powinny być traktowane jako krytyczne dla bezpieczeństwa, co autorzy uzasadniają z wykorzystaniem analizy ryzyka przedstawionej w normie IEC 61508. W proponowanym rozwiązaniu, bada się funkcje bezpieczeństwa systemu, przy czym każda funkcja zostaje szczegółowo zamodelowana za pomocą metody modelowania Markowa. Modele tego typu wdrożono w systemie zasilania firmy Istanbul Transportation Co. Wartości poziomu nienaruszalności bezpieczeństwa (SIL) badanych funkcji bezpieczeństwa obliczano za pomocą wspomnianych modularnych modeli Markowa charakteryzujących się łatwością adaptacji. Ponadto, uzyskane wyniki porównano z symplistyczną analizą drzewa błędów (FTA), a także wykazano znaczenie prowadzenia dokładnych obliczeń.
Źródło:
Eksploatacja i Niezawodność; 2017, 19, 1; 114-120
1507-2711
Pojawia się w:
Eksploatacja i Niezawodność
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Instytucje formalne i nieformalne. Skutki antynomii
Autorzy:
Gruszewska, Ewa
Powiązania:
https://bibliotekanauki.pl/articles/581311.pdf
Data publikacji:
2017
Wydawca:
Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
Tematy:
system instytucjonalny
instytucje formalne
instytucje nieformalne
antynomia instytucji
ewolucja instytucji
Opis:
W artykule zaprezentowano badania autorki nad systemem instytucjonalnym gospodarki, w tym nad relacjami między instytucjami. Celem badań było wskazanie przejawów antynomii instytucji formalnych i nieformalnych. Analizę przeprowadzono na przykładzie polskiej gospodarki na tle wybranych krajów. Fundamentalna kwestia sprawności systemu instytucjonalnego dotyczy zależności zachodzących na linii: instytucje formalne a nieformalne. Antynomia między nimi stanowi „tarcie” w kreowaniu spójnych bodźców przez ten system. Powstanie i narastanie konfliktu między instytucjami formalnymi i nieformalnymi staje się barierą rozwoju gospodarczego, ogranicza inwestycje i przedsiębiorczość poprzez spadek zaufania do innych instytucji i do państwa. Głównym przejawem dysonansu między instytucjami w Polsce jest niski stopień zaufania społecznego i akceptacji prawa. Zasadniczymi tego powodami są nieprzejrzystość i wysoki stopień skomplikowania prawa oraz erozja instytucji nieformalnych.
Źródło:
Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu; 2017, 493; 36-50
1899-3192
Pojawia się w:
Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Most łączący nauki biologiczne z techniką - biocybernetyka
Autorzy:
Tadeusiewicz, R.
Powiązania:
https://bibliotekanauki.pl/articles/846701.pdf
Data publikacji:
2015
Wydawca:
Polskie Towarzystwo Przyrodników im. Kopernika
Tematy:
biologia
medycyna
technika
biocybernetyka
modele formalne
schematy blokowe
modele biocybernetyczne
Źródło:
Wszechświat; 2015, 116, 04-06
0043-9592
Pojawia się w:
Wszechświat
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modyfikacje zwrotu podbijać komuś bębenka we współczesnej polszczyźnie
A modification of the expression podbijać komuś bębenka in the contemporary polish language
Autorzy:
Ignatowicz-Skowrońska, Jolanta
Powiązania:
https://bibliotekanauki.pl/articles/1591947.pdf
Data publikacji:
2016
Wydawca:
Uniwersytet Szczeciński. Wydawnictwo Naukowe Uniwersytetu Szczecińskiego
Tematy:
phraseology
formal innovations
semantic innovations
frazeologia
innowacje formalne
innowacje semantyczne
Opis:
Analizowany w artykule stary, pochodzący z XVI wieku zwrot podbijać komuś bębenka jest współcześnie często używany, ale w postaciach innowacyjnych zarówno na poziomie formalnym, jak i semantycznym. Takim aktualizacjom sprzyja mało dziś znana geneza związku i – jak z analizy wynika – jego słabe utrwalenie formalno-znaczeniowe w pamięci mówiących. Ponieważ z jakichś powodów zwrot dla użytkowników języka jest wciąż atrakcyjny, jest używany w formach zmodyfikowanych. Pod względem formalnym pojawiają się wszelkie możliwe transformacje jego struktury: leksykalne, gramatyczne i łączliwościowe. Pod względem semantycznym najbardziej czytelne okazują się aktualizacje tradycyjnej treści ‘pochlebiać komuś’. Pozostałe użycia są mniej wyraziste. Można wskazać konteksty, zdecydowanie mniej liczne, w których realizowane jest znaczenie ‘zachęcać do czegoś’, przy czym – jak przekonują badania – aktualizowany jest zarówno pozytywny odcień zachęcania: ‘zachęcać do czegoś dobrego’, jak i negatywny ‘judzić, podburzać, zachęcać do złego’. Obok nich występują liczne cytaty, w których innowacyjnie pod względem formalnym użyty zwrot staje się nośnikiem nowych treści: podbijać stawkę, potęgować coś’, ‘grać na jakichś nastrojach, emocjach, wykorzystywać je dla osiągnięcia jakichś interesów’ i ‘podgrzewać atmosferę, podsycać emocje’. Obecność takich treści jest efektem nawiązywania przez stary zwrot o genezie nieprzejrzystej dla współczesnych użytkowników języka wtórych relacji znaczeniowych z innymi wyrazami i związkami oraz wiązania go ze zjawiskami pozajęzykowymi, którym towarzyszy bicie, walenie w bębny.
An old expression, coming from the 16th century, podbijać komuś bębenka, ‘to flatter somebody’, which is analysed in the article, is now frequently used, but in some innovative forms both at the formal and semantic levels. Such updates are favoured by the fact that the genesis of the expression is not widely known, and – as suggested by the analysis – its formal and semantic consolidation in the memory of the speakers is rather weak. The expression is still used, although in modified forms, because it is somehow attractive for the speakers. From the formal point of view there appear all possible transformations of its structure: lexical, grammatical and collocative. From a semantic point of view the most clear are the updates with the original meaning: ‘to flatter somebody’. The other options are less clear. It is possible to find contexts, definitely less numerous, with the meaning: ‘to encourage somebody’, and – accord ing to the results of the research – both the positive and the negative connotations might appear: ‘to encourage somebody to do something positive’, ‘to stimulate’ or ‘to encourage somebody to do something negative’, ‘to egg on’. In addition, there are numerous quotations in which the expression – formally innovative – becomes a carrier of new meanings: ‘to bid up’, ‘to heighten’, ‘to play on somebody’s emotions’, and ‘to add fuel to something’. The occurrence of such meanings results from the fact that the old expression of unclear genesis for the present-day speakers has developed new semantic relations with other words and expressions, and because it associates with non-linguistic phenomena: drumming, beating the drum.
Źródło:
Studia Językoznawcze; 2016, 15; 145-165
1730-4180
2353-3161
Pojawia się w:
Studia Językoznawcze
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
El texto de El ser sobrenatural como contexto próximo para entender la noología, la metafísica y la visión de Dios sobre Zubiri
The text El ser sobrenatural as an indispensable context for understanding epistemology, metaphysics and the vision of God in the philosophy by Xavier Zubiri
Autorzy:
Niziński, Rafał S.
Powiązania:
https://bibliotekanauki.pl/articles/1402416.pdf
Data publikacji:
2021-07-30
Wydawca:
Uniwersytet im. Adama Mickiewicza w Poznaniu
Tematy:
przyczynowanie formalne
napięcie
formatywność rzeczywistości
aprehensja pierwotna
logos
rozum
szkic
Opis:
The philosophy of Xavier Zubiri is recognized as one of the most diffi cult to understand because there is something unclear in it. Therefore one may guess that there is a hidden presumption done by Zubiri. Zubiri in the self-presentation of his philosophical backgrounds acknowledges that his philosophy owes most to the phenomenology of Husserl and metaphysics of Heidegger. He also admits of being infl uenced by Aristotle to a certain degree. Zubiri starts his analyses from perception of things, with which he fulfi lls phenomenological requirement of beginning philosophy with the description of reality. As the fi nal step he ads metaphysics, which explains the description of reality. Following this code of interpretation of Zubiri’s philosophy it is difficult to grasp its core meaning. What is this hidden supposition? In The Supernatural Being: God and Deifi cation in Saint Paul’s Theology, which he wrote in the 30s’ and 40s’ of the 20th century, Zubiri presents early Christian Neoplatonic theology. In the same work Zubiri also states that it is possible to discover the same ideas following the way up, i.e. departing from the creatures and ascending to God. And this will be the hidden supposition of his philosophy. This paper tries to show the philosophy of Zubiri can be understood as a kind of proof that the Neoplatonic vision of the reality presented in The Supernatural Being: God and Deifi cation in Saint Paul’s Theology is true and can be discovered by reason alone, i.e. departing only from description of facts.
Filozofia Xavier Zubiriego jest jedną z trudniejszych do zrozumienia, ponieważ zawiera pewne niezrozumiałe elementy. Dlatego zasadnym jest przypuszczenie, że może zawierać ona pewne ukryte założenie, które nie jest ujawnione ani przez Zubiriego, ani przez kontynuatorów jego myśli. Zubiri, omawiając wpływy różnych nurtów na jego myśl, przywołuje jedynie fenomenologię Husserla i metafizykę Heideggera. Przyznaje się także do sięgania do myśli Arystotelesa. Zubiri zaczyna swoje analizy od percepcji rzeczy, przez co czyni zadość fenomenologicznemu wymogowi rozpoczynania refleksji filozoficznej od opisu rzeczywistości. Końcowym etapem tej refleksji jest metafizyka, która wyjaśnia opisywaną rzeczywistość. Jednakże podążając tym tropem, jest trudną rzeczą do końca zrozumieć istotę jego filozoficznej refleksji. Co jest tym ukrytym założeniem? W dziele El ser sobrenatural: Dios y la deifi cación en la teología paulina, które Zubiri napisał w latach 30. i 40. XX wieku Zubiri interpretuje wczesno chrześcijańską neoplatońską teologię. W tym samym dziele Zubiri stwierdza, że jest możliwe dojście do podobnego rozumienia rzeczywistości poczynając od analizy rzeczy wznosząc się ku Bogu. I właśnie to będzie ukrytym założeniem jego filozofii. Tezą tego artykułu jest to, że filozofia Zubiriego może być rozumiana jako pewna próba wykazania, że neoplatońska wizja rzeczywistościu kazana w El ser sobrenatural: Dios y la deifi cación en la teología paulina jest prawdziwa i można do niej dojść na drodze dociekań rozumowych, to znaczy zaczynając od odpisu faktów.
Źródło:
Filozofia Chrześcijańska; 2020, 17; 137-165
1734-4530
2450-0399
Pojawia się w:
Filozofia Chrześcijańska
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Socjologia a praktyka rozwiązywania problemów społecznych – między naukowymi a nieformalnymi teoriami problemów społecznych
Autorzy:
Kudlińska, Iwona
Powiązania:
https://bibliotekanauki.pl/articles/652356.pdf
Data publikacji:
2014
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
teorie formalne
teorie nieformalne
praktyczna mądrość
socjologia problemów społecznych
społeczny konstrukcjonizm
Opis:
W artykule została poruszona problematyka relacji między naukami społecznymi (szczególnie socjologicznymi teoriami problemów społecznych) a praktyką rozwiązywania problemów społecznych. Związki między akademickimi teoriami a ich rozumieniem i zastosowaniem w praktyce często nie są oczywiste, a czasem w ogóle nie istnieją. Dzieje się tak, ponieważ socjologowie obawiają się, że angażowanie się w rozwiązywanie problemów społecznych może być postrzegane jako mało profesjonalne i obniży wartość ich pracy jako nauki. Praktycy z kolei są krytyczni i niechętni wobec aplikowania teorii akademickich, skłonni są raczej do tworzenia i posługiwania się własnymi teoriami (nieformalnymi będącymi konstrukcjami) opartymi na praktycznej mądrości. W artykule przedstawiono również wyniki badań nad społecznym konstruowaniem problemu bezradności opiekuńczo-wychowawczej jako przykładu nieformalnych teorii problemów społecznych, którymi posługują się praktycy w codziennej pracy socjalnej. Teorie formalne i nieformalne są do siebie podobne i pełnią podobne funkcje, przenikają się, a ich celem jest stworzenie znaczących opowieści o problemie społecznym i przekonanie społeczeństwa do proponowanych sposobów rozwiązywania problemu. Celem artykułu, odwołującego się do literatury przedmiotu oraz badań własnych, jest ułatwienie poszukiwania odpowiedzi na pytanie, w jaki sposób prywatne, oparte na osobistych doświadczeniach teorie pracowników socjalnych stają się konstruktami społecznymi porządkującymi ich pracę w sposób podobny, jak czynią to teorie akademickie, mimo że nimi nie są. Takie teorie nieformalne mogą stanowić z jednej strony przejaw podejścia eklektycznego, z drugiej zaś ‒ mogą zmienić pracę socjalną w rytuał, który potwierdza i utrwala problemy społeczne.
Źródło:
Acta Universitatis Lodziensis. Folia Sociologica; 2014, 50
0208-600X
2353-4850
Pojawia się w:
Acta Universitatis Lodziensis. Folia Sociologica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Prognozy wskaźnika zatrudnienia i ich weryfikacja w krajach Unii Europejskiej w świetle strategii „Europa 2020”
Employment rate forecasts and their verification in the European Union member states in the light of the Europe 2020 strategy
Autorzy:
Krupowicz, Joanna
Powiązania:
https://bibliotekanauki.pl/articles/424982.pdf
Data publikacji:
2017
Wydawca:
Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
Tematy:
strategia „Europa 2020”
prognozy wskaźnika zatrudnienia
weryfikacja prognoz
subiektywne modele formalne
Opis:
Jednym z celów strategii „Europa 2020” jest osiągnięcie wskaźnika zatrudnienia osób w wieku 20-64 lata na poziomie co najmniej 75%. Celem badania było ustalenie, jakiego tempa zmian w czasie należy spodziewać się, aby kraje wspólnoty osiągnęły założone wartości wskaźnika w 2020 roku. Zbudowano subiektywne modele formalne o różnych postaciach funkcji trendu dla krajów członkowskich Unii. Wyznaczono prognozy wskaźnika do 2020 roku. Zweryfikowano prognozy wyznaczone na lata 2010-2015. Posłużono się średnimi błędami ex post (ME, MAE, MAPE), współczynnikami: Theila i rozbieżności dla różnic. Prognozy były generalnie obarczone małymi błędami, ale systematycznie zawyżane, a przyczynami złej jakości prognoz było nieodgadnięcie średniej wartości zmiennej. Stosując kryterium minimalizacji błędu średniego ex post, ustalono, że w 18 krajach oraz całej wspólnocie charakterystyczny był przyspieszony wzrost, w 4 krajach – stały wzrost, w 3 – spowolniony wzrost, a w 2 – spowolniony spadek wskaźnika zatrudnienia.
Źródło:
Econometrics. Ekonometria. Advances in Applied Data Analytics; 2017, 1 (55); 25-42
1507-3866
Pojawia się w:
Econometrics. Ekonometria. Advances in Applied Data Analytics
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-10 z 83

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