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

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 23
Tytuł:
„PIĄTA DROGA” ŚW. TOMASZA Z AKWINU W FORMALIZACJACH J.M. BOCHEŃSKIEGO I P. WEINGARTNERA
ST. THOMAS AQUINAS’ “FIFTH WAY” IN J.M. BOCHENSKI’S AND P. WEINGARTNER’S FORMALIZATIONS
Autorzy:
Porwolik, Marek
Powiązania:
https://bibliotekanauki.pl/articles/1373519.pdf
Data publikacji:
2013
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
formalizacja
quinque viae
Bocheński
formalization
Opis:
The present state of research reveals that basically Fr. J.M. Bochenski (1902-1995) left three versions of the formalizations of St. Thomas Aquinas’ fifth way. The first version comes from the article Die fünf Wege, published in 1989, and the third one, which is unauthorized, from the book Gottes Dasein und Wesen. Logische Studien zur Summa Theologiae I, qq. 2-11, published in Munich in 2003. These works are completed by the second version from two manuscripts of the book: one German (1989) and one Polish (1993). The above mentioned texts have shown the contribution made by Fr. J.M. Bochenski into the realization of the intended application of the tools of contemporary logic in the field of philosophy of God as well as theology. One of the main followers of these ideas in Austria has been Paul Weingartner (born 1931). In 2010 he published God’s Existence? A Logical Commentary on the Five Ways of Thomas Aquinas, a book which makes direct references to J.M. Bochenski’s works, and like Bochenski’s work it is a logical commentary to certain fragments of St. Thomas Aquinas’ Summa Theologiae.
Obecny stan badań wskazuje, że formalizacje piątej drogi św. Tomasza z Akwinu pozostawił o. J. M. Bocheński (1902-1995) zasadniczo w trzech wersjach. Pierwsza z nich pochodzi z artykułu zatytułowanego Die fünf Wege z 1989 r., trzecia (nieautoryzowana) z książki Gottes Dasein und Wesen. Logische Studien zur Summa Theolgiae I, qq. 2-11 wydanej w Monachium w 2003 r. Uzupełnieniem tych opracowań stanowi wersja druga, pochodząca z manuskryptów książki: jeden w języku niemieckim (1989 r.), drugi w polskim (1993 r.). Publikacje te ukazują wkład jaki poczynił o. J. M. Bocheński w realizację zamierzenia stosowania narzędzi współczesnej logiki na terenie filozofii Boga i teologii. Jednym z głównych, współczesnych kontynuatorów tych idei w Austrii jest Paul Weingartner (ur. 1931 r.). W roku 2010 opublikował on książkę: God’s Existence? A Logical Commentary on the Five Ways of Thomas Aquinas, która w wielu miejscach nawiązuje wprost do prac J. M. Bocheńskiego i tak jak praca tego ostatniego jest komentarzem logicznym do pewnych fragmentów Sumy Teologicznej św. Tomasza z Akwinu.
Źródło:
Roczniki Filozoficzne; 2013, 61, 3; 77-99
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Formalization and Institutionalization of Research Institutes in the Police
Autorzy:
Tomaszycki, Krzysztof
Powiązania:
https://bibliotekanauki.pl/articles/1861585.pdf
Data publikacji:
2016
Wydawca:
Wyższa Szkoła Bezpieczeństwa Publicznego i Indywidualnego Apeiron w Krakowie
Tematy:
research institution
Police
formalization
institutionalization
norms
organizational culture
Opis:
Formalization and institutionalization of research institutions in the Police are processes and influence its functioning. Changing environment wield influence on the operations of institution and its cooperation with objects participating in solving decent crime problems. The article contains the literature analysis in the range of factors impacting these processes and the empirical analysis of researches in the range of factors shaping both processes in decent research environment.
Źródło:
Security Dimensions; 2016, 17(17); 116-139
2353-7000
Pojawia się w:
Security Dimensions
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Formalization of operational management and its impact on the innovativeness of IT companies from Lubuskie Voivodeship
Autorzy:
Inków, Monika
Powiązania:
https://bibliotekanauki.pl/articles/2064457.pdf
Data publikacji:
2021
Wydawca:
Uniwersytet Zielonogórski. Wydział Ekonomii i Zarządzania
Tematy:
IT industry
formalization
innovation
branża IT
formalizacja
innowacyjność
Opis:
In the changing environment, innovation gives organizations a chance to survive and develop. Researchers indicate that successfully implemented innovations are a source of competitive advantage for an organization. In source literature we can find examples of various tools recommended by the authors that increase the probability of innovation success. As some researchers note, the role of these tools has been questioned, which is related to the impact of formalization on innovation. In recent years, researchers have focused their efforts on determining whether formalization improves or deteriorates innovation; however, when analyzing the literature, it can be noticed that the number of studies on innovation and its determinants is significant, while the number of publications on the impact of formalization on organizational innovation is low. In addition, it can be noted that so far, researchers have not come to a consensus regarding the impact of formalization on either organizational results or innovation; therefore, the assumption of the presented work is to fill this gap to some extent. The aim of this article is to present the preliminary results of a broader research project on the relationship between the formalization of operational management and the innovation of IT organizations in Lubuskie Voivodeship.
W obecnym zmiennym otoczeniu szansą na przetrwanie organizacji oraz jej rozwój jest innowacyjność. wielu badaczy wskazuje na to, że z sukcesem wdrażane innowacje są źródłem przewagi konkurencyjnej organizacji. W literaturze znaleźć można przykłady różnych narzędzi rekomendowanych przez różnych autorów zwiększających prawdopodobieństwo odniesienia sukcesu przez innowacje. Jak zauważa jednak część badaczy, rola tych narzędzi w sukcesie innowacji została postawiona pod znakiem zapytania. Związane jest to z wpływem jaki wywiera formalizacja na wyniki organizacyjne, w tym innowacyjność. Nadmienić warto, że w ostatnich latach badacze skupiali swoje wysiłki na ustaleniu, czy formalizacja poprawia, czy pogarsza wydajność organizacyjną, w tym również innowacyjność, jednakże analizując literaturę można zauważyć, że liczba opracowań dotyczących innowacyjności, i jej determinant jest znaczna, natomiast liczba publikacji dotyczących wpływu formalizacji na innowacyjność organizacji jest nieduża. Dodatkowo analizując literaturę dotycząca formalizacji zauważyć można, że jak do tej pory badacze nie doszli do konsensusu odnośnie jej wpływu zarówno na wyniki organizacji, jak i ich innowacyjność, w związku z tym założeniem prezentowanej pracy jest w pewnym stopniu wypełnienie tej luki. Celem zaś niniejszego artykułu jest przedstawienie wstępnych wyników szerszych badań, które dotyczą związku pomiędzy formalizacją zarządzania operacyjnego a innowacyjnością organizacji z branży IT w województwie lubuskim.
Źródło:
Management; 2021, 25, 2; 59--72
1429-9321
2299-193X
Pojawia się w:
Management
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Ocena okresowa nauczyciela akademickiego na kierunkach pedagogicznych w polskich uniwersytetach. Analiza dokumentów regulacyjnych
Academic Teachers Periodic Evaluation in Teacher Education Faculties at Polish Universities. The Analysis of Regulatory Documents
Autorzy:
Babicka-Wirkus, Anna
Pasikowski, Sławomir
Szplit, Agnieszka
Powiązania:
https://bibliotekanauki.pl/articles/16538921.pdf
Data publikacji:
2015
Wydawca:
Polska Akademia Nauk. Komitet Nauk Pedagogicznych PAN
Tematy:
university
interim evaluation
academic teacher
formalization
regulatory documentary
Opis:
The text analyses the documentation of the periodic evaluation of academic teachers at 22 Polish universities with the faculties of Pedagogy, shows the conditions of this evaluation and characterises its procedure. The content analysis reveals what issues in the internal regulatory documents establish the periodic evaluation of academic teachers and its procedure, as well as the extent to which they are represented in these documents. In order to fully describe the regulations and to explore the differences among the universities in the area of teacher evaluation, the authors used a statistical analysis. The results show a wide variation of the elements that are included in the internal documents regulating the periodic evaluation of academic teachers. The authors refer to the contemporary press and media discussion on the condition of universities and the directions of their development. They interpret the findings referring also to the contemporary perception of a university as an enterprise as well as to strong bureaucracy at the universities and its adverse impact on their evaluation system.
Źródło:
Rocznik Pedagogiczny; 2015, 38; 37-63
0137-9585
Pojawia się w:
Rocznik Pedagogiczny
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Barriers to Implementing the Concept of Learning Organization in Public Administration - the Example of PIORiN
Autorzy:
Pasieczny, Jacek
Rosiak, Tomasz
Powiązania:
https://bibliotekanauki.pl/articles/2446828.pdf
Data publikacji:
2022
Wydawca:
Uniwersytet Marii Curie-Skłodowskiej. Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej
Tematy:
learning organization
public administration
barriers
excessive formalization
limited cooperation
Opis:
Theoretical background: An efficient public administration is a prerequisite for a harmonious development of business, and for the security and prosperity of society. Its rapidity and quality are particularly important in the situation of dynamic economic, political and social changes. However, the model upon which administration is built and functions fails to meet the requirements of the present day. The subject of dysfunctional bureaucracy has been thoroughly analyzed and described in detail. Blind adherence to regulations, reluctance to introduce changes and lack of motivation to help clients are well-known vices of bureaucratic organizations throughout the world. Although countless attempts have been made to change the way these organizations function, the design and implementation of such improvements is hindered by a variety of obstacles. In this article, we shall describe barriers to the process of implementing the concept of a learning organization in a large bureaucratic organization. Purpose of the article: The purpose of the article is to discuss a number of barriers to the process of implementing the concept of a learning organization within a specific bureaucratic organization, namely the State Plant Health and Seed Inspection Service (Państwowa Inspekcja Ochrony Roślin i Nasiennictwa, PIORiN). The barriers discussed were identified in the course of research. Thus, the article adds to the existing body of knowledge about the functioning of bureaucratic organizations, their specificity and processes that take place within them. By identifying potential and actual barriers to the process of change, we can better understand organizational behavior. It also provides practical knowledge about the critical elements of the process of change. Research methods: Research was conducted within a large public institution in charge of phytosanitary controls. Three types of triangulation were used in the study: methodological, theoretical and investigator triangulation. Conclusions were drawn on the basis of a total of 51 interviews, of which 31 were conducted within the organization and 20 with external partners (clients). The basic tool used for collecting data was an open interview, always conducted by two researchers at a time. Interviews were transcribed and read on an ongoing basis with a view to carrying out a preliminary selection and category coding. Four team members participated in the coding process. Codes were subsequently analyzed and grouped into categories that served for drawing conclusions. Main findings: A number of barriers of great consequence for the process of implementing the concept of learning organization in administration have been identified; the most important are: excessive formalization, limited use of clients’ knowledge, insufficient financing, inadequate IT support, and limited cooperation with other public institutions.
Źródło:
Annales Universitatis Mariae Curie-Skłodowska, sectio H – Oeconomia; 2022, 56, 5; 171-184
0459-9586
2449-8513
Pojawia się w:
Annales Universitatis Mariae Curie-Skłodowska, sectio H – Oeconomia
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Kilka uwag o formalizacji wnioskowań w trybie analogia legis i a contrario
A few comments on the formalization of legal reasonings under analogy legis and a contrario
Autorzy:
Malinowski, Andrzej
Powiązania:
https://bibliotekanauki.pl/articles/531650.pdf
Data publikacji:
2017-06-01
Wydawca:
Stowarzyszenie Filozofii Prawa i Filozofii Społecznej – Sekcja Polska IVR
Tematy:
formalizacja
wnioskowanie prawnicze
analogia legis
a contrario
formalization
legal reasoning
Opis:
Artykuł ukazuje niektóre problemy związane z formalizacją wnioskowań prawniczych w trybie analogia legis oraz w trybie a contrario, a także omawia wybrane, charakterystyczne propozycje w tym zakresie. Budowane sformalizowane modele są oparte na pojęciach logiki monotonicznej oraz logik niemonotonicznych. Modele te mają głównie charakter poglądowy i posiadają ograniczoną moc wyjaśniającą. Ich niezawodność może być uzyskana tylko przy spełnieniu pewnych dodatkowych warunków.
The paper shows some of the problems related to the formalization of legal reasonings under analogia legis and a contrario, and discusses some of the specific proposals in this regard. Built formal models are based on the concept of monotonic logic and nonmonotonic logic. These models are mainly illustrative and have limited explanatory power. Their reliability can only be achieved under certain additional conditions.
Źródło:
Archiwum Filozofii Prawa i Filozofii Społecznej; 2017, 2(15); 26-37
2082-3304
Pojawia się w:
Archiwum Filozofii Prawa i Filozofii Społecznej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
In searching for science understanding. Applying the sociology of a science based approach
Autorzy:
Jedlikowska, Dorota
Powiązania:
https://bibliotekanauki.pl/articles/957848.pdf
Data publikacji:
2016
Wydawca:
Fundacja Pro Scientia Publica
Tematy:
science understanding
sociology of science
science policy
formalization
situatedness
rationality
Opis:
The paper discusses the chosen ongoing perspectives related to science understanding based problems. Science is viewed, following Robert Merton, as a functioning institution. Social context plays a significant role in defining the possibilities of developing science. The question arises how a functioning institution can be effectively analyzed and which perspectives can be implemented. Hence this paper’s goal is to reveal some ways of exploring science understanding. Consequently the paper touches the scientific discourses upon science discussing its academic functional ethos and on the other hand tension between bureaucratization and openness in science. More broadly how far science is democratized in an academic interaction. The proposition of examining the problem of the quality of science as an institution is to grasp two perspectives: first, the formal perspective, related to the legal field and its rationality and second, followed by Adele Clarke known as “situatedness”. The idea of joining formalization with situatedness can be regarded as an embodiment within John Meyer and Brian Rowan’s concept of an institutionalized organization. Hence science understanding is defined as a complex functioning institution escaping from a modern version of science into many postmodern ad-hoc made sciences. The paper’s intention is to provide problems and proposition of solving them through applying an integrating perspective
Źródło:
Journal of Education Culture and Society; 2016, 7, 2; 11-19
2081-1640
Pojawia się w:
Journal of Education Culture and Society
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Specifics personalized approach in the analysis of medical information
Autorzy:
Melnykova, N.
Marikutsa, O.
Powiązania:
https://bibliotekanauki.pl/articles/411025.pdf
Data publikacji:
2016
Wydawca:
Polska Akademia Nauk. Oddział w Lublinie PAN
Tematy:
decision support system
data formalization
therapeutic treatment schemes
personalized of data
Opis:
In this article suggest some new approaches to solving the problems of medical data analysis and their personalization. To accomplish this was proposed to create a decision support system to the execution of sequence stages of analysis of patient's data. The main stages of development and design of decision support systems that enable to make decomposition of control process and describe the relationship between input and output control flows. Applying the theory of decision trees during construction of decision trees of decision support system is due to the formation of a sequence of questions asked by the doctor when searching an individual approach when choosing a treatment. Decision tree creates a hierarchical structure of rules. This approach allows you to present the logic of sequence issues by doctor in solving the medical problem history and it makes possible to simulate decision making process by physician when selecting treatment scheme. Search the target value of output of decision medical support system makes it possible to select top of graph system that is located with more probability on the best way to the target. Important step in addressing the process of personalizing treatment schemes is estimated function that is based on Bayes theorem. Weight of occurrence next event corresponds to the highest value of the posterior probability of occurrence of the next state, given the time-dependent input parameters. Proposed improved method of decision-making for personalization standard schemes by modifying the method of decision-making based on decision trees considering relationship between the input parameters and evaluation function and result of its works is a personalized therapeutic scheme of treatment. It analyzed the quantitative results of applying the proposed method and existing for determining personalized schemes.
Źródło:
ECONTECHMOD : An International Quarterly Journal on Economics of Technology and Modelling Processes; 2016, 5, 2; 113-120
2084-5715
Pojawia się w:
ECONTECHMOD : An International Quarterly Journal on Economics of Technology and Modelling Processes
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The study of EFL teachers’ instruction formalization in LMS
Autorzy:
Kostareva, Elena V.
Permyakova, Tatyana M.
Powiązania:
https://bibliotekanauki.pl/articles/2005018.pdf
Data publikacji:
2016-03-31
Wydawca:
Wydawnictwo Adam Marszałek
Tematy:
teachers’ instruction
EFL
formalization
educational environment
information- and learner-centered approaches
Opis:
The paper focuses on the formalization of English as foreign language teachers’ instruction in LMS eFront. Instruction is considered as a minimum teaching method unit with (in)variable parameters in relation to the knowledge object, students’ activity, and control. The two approaches, i.e., information-centered and student-centered, are studied in its formalization. The paper provides the results of a two-stage analysis: 1) semi-structured interviews with EFL teachers at the tertiary level, and 2) teachers’ and students’ survey evaluating EFL instruction. Important findings include advantages of instruction formalization in technological simplification and quality control in course development, and also serve to enhance further research agenda.
Źródło:
The New Educational Review; 2016, 43; 212-221
1732-6729
Pojawia się w:
The New Educational Review
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Formalization of Technological Knowledge in the Field of Metallurgy Using Document Classification Tools Supported with Semantic Techniques
Autorzy:
Regulski, K.
Powiązania:
https://bibliotekanauki.pl/articles/353849.pdf
Data publikacji:
2017
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
application of information technology to the foundry industry
document classification
semantic techniques
knowledge formalization
text mining
Opis:
The process of knowledge formalization is an essential part of decision support systems development. Creating a technological knowledge base in the field of metallurgy encountered problems in acquisition and codifying reusable computer artifacts based on text documents. The aim of the work was to adapt the algorithms for classification of documents and to develop a method of semantic integration of a created repository. Author used artificial intelligence tools: latent semantic indexing, rough sets, association rules learning and ontologies as a tool for integration. The developed methodology allowed for the creation of semantic knowledge base on the basis of documents in natural language in the field of metallurgy.
Źródło:
Archives of Metallurgy and Materials; 2017, 62, 2A; 715-720
1733-3490
Pojawia się w:
Archives of Metallurgy and Materials
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Causal and Functional Determination vs. Foreknowledge about the Future
DETERMINACJA KAUZALNA I FUNKCJONALNA VS. PRZEDWIEDZA O PRZYSZŁOŚCI
Autorzy:
JADACKI, Jacek J.
Powiązania:
https://bibliotekanauki.pl/articles/488539.pdf
Data publikacji:
2018-11-04
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
antinomy
future contigents
formalization
classical predicate calculus
formal semantics
ontology
antynomia
futura contingentia
formalizacja
semantyka formalna
ontologia
Opis:
The author of the paper critically analyzes a quasi-theory of future contingents (PFC) given by Marcin Tkaczyk and proposes his own explication of its theses and terms. The author makes it by introducing operational definitions of temporal and modal concepts, distinguishing between the causal and functional determination, discussing the status of the principle of bivalence, and re¬placing Tkaczyk’s theses by their new formulations. As a result, the author states, among other things, that (contrary to Tkaczyk) there is no contradiction between the thesis about the opened fu¬ture and the thesis about divine omniscience, because it requires the causal (but not functional as it is a case) determination between a true proposition and its determined fact. The author also shows that Tkaczyk’s examples of the retroactive causes are not an accurate solution of the anti-nomy because they are, at most, the examples of the factors which change the picture of the past but not the past itself.
Autor artykułu krytycznie analizuje sformułowaną przez Marcina Tkaczyka pseudoteorię przy¬szłych zdarzeń przygodnych (PFC) oraz proponuje własną eksplikację jej tez i terminów. Czyni to poprzez wprowadzenie operacyjnych definicji pojęć temporalnych i modalnych, roz-różnienie między determinacją kauzalną a determinacją funkcjonalną, rozważenie statusu zasady dwuwartościowości oraz zastąpienie tez Tkaczyka ich nowymi sformułowaniami. W rezultacie au¬tor (przeciwnie niż jego Adwersarz) stwierdza, między innymi, że nie zachodzi sprzeczność między tezą o otwartości przyszłości a tezą o wszechmocy Boga, ponieważ sprzeczność ta zacho¬dziłaby wyłącznie w przypadku kauzalnej, a nie (jak faktycznie jest) funkcjonalnej determinacji między prawdziwym zdaniem a faktem, którego ono dotyczy. Autor pokazuje również, że poda¬wane przez Tkaczyka przykłady retroaktywnej przyczynowości nie stanowią właściwego rozwią¬zania tytułowej antynomii, ponieważ są one przykładami czynników, które co najwyżej zmieniają obraz przeszłości, a nie przeszłość samą.
Źródło:
Roczniki Filozoficzne; 2018, 66, 4; 81-98
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On the Representation if States of Affairs in the Antinomy of Future Contingents
O REPREZENTACJI STANÓW RZECZY W ANTYNOMII FUTURA CONTINGENTIA
Autorzy:
GARBACZ, Paweł
Powiązania:
https://bibliotekanauki.pl/articles/488377.pdf
Data publikacji:
2018-11-04
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
antinomy
future contigents
formalization
classical predicate calculus
formal semantics
ontology
antynomia
futura contingentia
formalizacja
semantyka formalna
ontologia
Opis:
The paper is a comment on the formalization of the antinomy of futura contigentia in the form of a (inconsistent) theory formulated by Marcin Tkaczyk in the language of classical pre-dicate calculus. I argue that some features of the formalization in question are contro¬versial from the viewpoint of formal semantics and ontology, and suggest two ways of removing some of those controversies.
Artykuł jest komentarzem do formalizacji antynomii futura contigentia w postaci (sprzecz-nej) teorii sformułowanej przez Marcina Tkaczyka w języku klasycznej logiki predykatów. Argu¬men¬tuję w nim, że formalizacja ta posiada pewne kontrowersyjne, z punktu widzenia ontologii i semantyki formalnej, własności oraz sugeruję dwa sposoby melioracji niektórych z tych kontrowersji.
Źródło:
Roczniki Filozoficzne; 2018, 66, 4; 55-80
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Próby formalizacji zdań opartych na predykatach rzeczownikowych języka polskiego
Autorzy:
Vetulani, Grażyna
Powiązania:
https://bibliotekanauki.pl/articles/567894.pdf
Data publikacji:
2017
Wydawca:
Uniwersytet Mikołaja Kopernika w Toruniu. Wydawnictwo UMK
Tematy:
Polish language
predicative nouns
formalization
information encoding
electronic dictionaries
język polski
predykacja rzeczownikowa
formalizacja
kodowanie informacji
słowniki elektroniczne
Opis:
In view of the needs related to automatic language processing, we emphasize the necessity of applying formal methods in linguistics in general, and particularly in creation of dictionary entries. We present some of our research achievements pertaining to the creation of a dictionary of Polish predicative nouns. As the dictionary is intended to be computer consulted, its entries take into account polysemy and contain information about the syntactic relations between elements of an elementary sentence. The dictionary is a kind of the lexicon grammar.
Z uwagi na potrzeby związane z automatycznym przetwarzaniem języka w niniejszym artykule zwracamy uwagę na konieczność stosowania metod formalnych w językoznawstwie, a w szczególności na wymóg kodowania opisów w słownikach. W szczególności przedstawiamy rezultaty prac własnych, które są związane z budowanym od pewnego już czasu słownikiem predykatów rzeczownikowych języka polskiego. Ponieważ słownik przeznaczony jest do zastosowań komputerowych, hasła słownikowe otrzymały formę sformalizowaną uwzględniającą polisemię formy oraz łączliwość elementów w zdaniu elementarnym. Słownik ma charakter leksykonu gramatycznego.
Źródło:
Linguistica Copernicana; 2017, 14
2080-1068
2391-7768
Pojawia się w:
Linguistica Copernicana
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Intermittent fault’s parameter framework and stochastic petri net based formalization model
Model parametryczny niezdatności przejściowej oraz model formalny oparty na stochastycznej sieci Petriego
Autorzy:
Shen, Q.
Qiu, J.
Liu, G.
Lv, K.
Powiązania:
https://bibliotekanauki.pl/articles/301928.pdf
Data publikacji:
2016
Wydawca:
Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
Tematy:
intermittent fault
parameter framework
stochastic Petri nets
formalization model
niezdatność przejściowa
model parametryczny
stochastyczna sieć Petriego
model formalny
Opis:
The intermittent fault widely exists in many products and brings high safety risk and maintenance cost. At present there are some different opinions on the notion of intermittent fault and there is no comprehensive parameter framework for fully describing intermittent fault. Also the formalization model which can mathematically describe intermittent fault hasn’t been constructed. In this paper, the conception of intermittent fault is discussed. A new definition of intermittent fault is put forward. Then the intermittent fault’s parameter framework is presented. After that, the Stochastic Petri Net (SPN) based formalization model for intermittent fault is constructed. Finally an application of the SPN formalization model is shown. The parameters for intermittent fault are computed based on the proposed model and a case study is presented. The result shows the validity of the model. The model could assist the further research such as intermittent fault diagnosis and prognostic of remaining life.
Niezdatność przejściowa charakteryzuje wiele produktów i pociąga za sobą wysokie zagrożenie bezpieczeństwa oraz wysokie koszty eksploatacji. Obecnie istnieje wiele poglądów na temat pojęcia niezdatności przejściowej; nie stworzono jednak kompleksowego modelu parametrycznego pozwalającego w pełni opisać zjawisko niezdatności przejściowej. Nie skonstuowano także modelu formalnego, za pomocą którego można by opisać niezdatność przejściową w kategoriach matematycznych. W pracy omówiono koncepcję niezdatności przejściowej. Zaproponowano nową definicję tego pojęcia a następnie przedstawiono model parametryczny niezdatności przejściowej. Skonstruowano także model formalny niezdatności przejściowej oparty na stochastycznej sieci Petriego (SPN). Wreszcie, pokazano zastosowanie formalizacji SPN. Na podstawie zaproponowanego modelu obliczono parametry dla niezdatności przejściowej. Przedstawiono także studium przypadku. Otrzymane wyniki potwierdzają wiarygodność modelu. Opracowany model może być pomocny w dalszych badaniach dotyczących problemów, takich jak diagnozowanie niezdatności przejściowej czy prognozowanie pozostałego okresu użytkowania produktu.
Źródło:
Eksploatacja i Niezawodność; 2016, 18, 2; 210-217
1507-2711
Pojawia się w:
Eksploatacja i Niezawodność
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Piony scalone a struktury organizacyjne wybranych przedsiębiorstw hutniczych
Consolidated divisions and organizational structures of selected metallurgical enterprises
Autorzy:
Miśkiewicz, R.
Powiązania:
https://bibliotekanauki.pl/articles/324881.pdf
Data publikacji:
2017
Wydawca:
Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
Tematy:
zarządzanie
struktura organizacyjna
system wytwórczy
formalizacja
departamentyzacja
konsolidacja
przejęcia
fuzje
piony scalone
management
organizational structure
manufacturing system
formalization
departmentalization
consolidation
acquisitions
mergers
Opis:
We współczesnej gospodarce organizacje nie mogą pozwolić sobie na zatrzymanie się w miejscu w celu kontemplacji własnych sukcesów, bo sytuacja taka grozi wyprzedzeniem przez konkurencję. Muszą stale reagować na zmiany w otoczeniu i przyjmować „ kształty” sprzyjające uelastycznieniu zasad funkcjonowania. Zwracali na to uwagę między innymi: A. Schaff, Ricky W. Griffin, M. Hammer i James A. Champy, formułując koncepcję Reengineeringu zakładającą radykalną przebudowę procesu organizacji. Na strategię, jako czynnik konstytuujący strukturę organizacyjną przedsiębiorstwa zwracał też uwagę A. D. Chandler. Poszukiwanie nowych modeli organizacyjnych przedsiębiorstw jest wyzwaniem współczesności. Gospodarka światowa i jej globalizacja wymusza wdrażanie nowych odmian struktur organizacyjnych, odpowiednio do rozbudowanych systemów organizacyjnych, bowiem takimi są współczesne przedsiębiorstwa. Artykuł jest analizą kształtowania się struktur organizacyjnych w wybranych przedsiębiorstwach hutniczych. Autor dokonał oceny funkcjonowania istniejących pionów organizacyjnych i dostosowania ich po przeprowadzonych fuzjach i przejęciach do działalności w turbulentnym otoczeniu.
In today's economy, organizations can not afford to stay in place to contemplate their own successes because such a situation is likely to be ahead of the competition. They have to constantly react to changes in the environment and adopt "shapes" that are conducive to making the rules of operation more flexible. This was highlighted by A. Schaff, Ricky W. Griffin, M. Hammer and James A. Champy formulating the concept of Reengineering, which assumed a radical redevelopment of the organization process. The strategy as a factor constituting the organizational structure of the company was also addressed by A. D. Chandler. Searching for new organizational models of enterprises is a challenge of the present day. The global economy, its globalization, forces the implementation of new organizational structures to suit the complex organizational systems, as modern enterprises are. The article is an analysis of organizational structures in selected metallurgical enterprises. The author analyzed the functioning of the existing organizational divisions and adjusted them after mergers and acquisitions carried out to operate in a turbulent environment.
Źródło:
Zeszyty Naukowe. Organizacja i Zarządzanie / Politechnika Śląska; 2017, 108; 285-296
1641-3466
Pojawia się w:
Zeszyty Naukowe. Organizacja i Zarządzanie / Politechnika Śląska
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 23

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