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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-5 z 5
    Tytuł:
    Weryfikacja procesów biznesowych metodą dedukcyjną z wykorzystaniem logiki temporalnej
    Deduction-based Formal Verification of Business Models using Temporal Logic
    Autorzy:
    Klimek, R.
    Powiązania:
    https://bibliotekanauki.pl/articles/274553.pdf
    Data publikacji:
    2011
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    modele biznesowe
    BPMN
    SOA
    wzorce projektowe
    logika temporalna
    wnioskowanie dedukcyjne
    metoda tablic semantycznych
    generowanie specyfikacji
    business models
    workflow design patterns
    temporal logic
    deductive reasoning
    semantic tableaux method
    generating specifications
    Opis:
    Praca dotyczy formalnej analizy i weryfikacji modeli biznesowych wyrażonych w notacji BPMN. Weryfikacja oparta jest na wnioskowaniu dedukcyjnym. Jako metodę wnioskowania dla modeli biznesowych zaproponowano metodę tablic semantycznych, która cechuje się apagogicznością oraz analitycznością. Została przedstawiona metoda translacji podstawowych wzorców projektowych BPMN do formuł logiki temporalnej, stanowiących logiczną specyfikację analizowanegomodelu. Zarówno logiczna specyfikacja, jak i właściwości badanych procesów są wyrażone formułami tzw. najmniejszej logiki temporalnej. Formuły te są następnie przetwarzane z wykorzystaniem metody tablic semantycznych. Innowacyjność proponowanego podejścia może istotnie wpłynąć na redukcję kosztów wytwarzania oprogramowania, ze względu na możliwość wykrycia błędów oprogramowania już w fazie jego modelowania, wyprzedzając tym samym znacznie fazy implementacji i testowania.
    The paper concerns formal analysis and verification of business models expressed in BPMN. This verification is based on a deductive reasoning. As a method of inference for business models semantic tableaux method is proposed. Automatic trans- formations of the basic BPMN workflow patterns to temporal logic formulas are proposed. These formulas constitute a logical specification of the analyzed model. Both the logical specification and the desired system properties are expressed as formulas of the smallest linear temporal logic. These formulas are later processed using semantic tableaux method. Applying this innovative concept might result in software development costs reduction as some errors might be addressed in the modeling phase not in implementation or testing phase.
    Źródło:
    Pomiary Automatyka Robotyka; 2011, 15, 12; 190-193
    1427-9126
    Pojawia się w:
    Pomiary Automatyka Robotyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Application of deductive reasoning to the verification of archimate behavioral elements
    Autorzy:
    Klimek, Radosław
    Szwed, Piotr
    Jędrusik, Stanisław
    Powiązania:
    https://bibliotekanauki.pl/articles/431909.pdf
    Data publikacji:
    2013
    Wydawca:
    Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
    Tematy:
    Deductive temporal reasoning
    software verification
    ArchiMate
    semantics table¬aux method
    Linear Temporal Logic
    Opis:
    The formal verification of business models has recently become an intensively researched area. It is expected that the application of formal tools may bring such benefits to organizations as the improved quality of products and services and a lower ratio of operational errors. In this paper we discuss the application of a deduction-based method for the verification of the behavioral aspects of ArchiMate models. The first step in our method consists in the translation of the ArchiMate model into Linear Temporal Logic (LTL) formulas. The resulting LTL formulas are then verified to check the expected temporal properties. The verification process is based on the semantics tableaux method and is conducted with an LTL prover. The method is discussed using an example of a business process implemented within a surveillance system.
    Źródło:
    Informatyka Ekonomiczna; 2013, 3(29); 76-97
    1507-3858
    Pojawia się w:
    Informatyka Ekonomiczna
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Nota na temat pojmowania uogólnionej zasady korespondencji
    Note on the understanding of the generalized correspondence principle
    Autorzy:
    KOKOWSKI, Michał
    Powiązania:
    https://bibliotekanauki.pl/articles/520402.pdf
    Data publikacji:
    2015
    Wydawca:
    Polska Akademia Umiejętności
    Tematy:
    uogólniona zasada korespondencji
    kumulatywizm
    skrajny antykumulatywizm
    dialektyczny kumulatywizm
    hipotetyczno‑dedukcyjna metoda myślenia korespondencyjnego
    metodologia Kopernika
    generalized correspondence principle
    cumulativism
    extreme anticumulativism
    dialectical cumulativism
    hypothetico‑deductive method of correspondence‑oriented thinking
    Copernicus’s methodology
    Opis:
    Autor, w nawiązaniu do tekstu Jana Woleńskiego opublikowanego na łamach Prac Komisji Historii Nauki PAU w 2014 roku, podejmuje temat rozumienia uogólnionej zasady korespondencji w kontekście idei: kumulatywizmu (C.G. Hempel, P. Oppenhaim; E. Nagel), skrajnego antykumulatywizmu (P. Feyerabend, T.S. Kuhn), dialektycznego kumulatywizmu (W. Krajewski) oraz hipotetyczno dedukcyjnej metody myślenia korespondencyjnego i metodologii stosowanej przez Kopernika (M. Kokowski).
    The author, referring to the text of Jan Woleński published on the pages of Prace Komisji Historii Nauki PAU in 2014, discusses the understanding of the generalized correspondence principle in the context of the following concepts: cumulativism (C.G. Hempel, P. Oppenhaim, E. Nagel), extreme anticumulativism (P. Feyerabend, T.S. Kuhn), dialectical cumulativism (W. Krajewski) and the hypothetico‑deductive method of correspondence‑oriented thinking as well as Copernicus’s methodology (M. Kokowski).
    Źródło:
    Prace Komisji Historii Nauki PAU; 2015, 14; 327-331
    1731-6715
    Pojawia się w:
    Prace Komisji Historii Nauki PAU
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    O podobieństwie metod testowania teorii w naukach historycznych i "ścisłych"
    The Similarity of Theory Testing in the Historical and “Hard” Sciences
    Autorzy:
    Miller, Keith B.
    Powiązania:
    https://bibliotekanauki.pl/articles/553173.pdf
    Data publikacji:
    2011
    Wydawca:
    Uniwersytet Zielonogórski. Instytut Filozofii
    Tematy:
    nauki historyczne
    nauki ścisłe
    metody testowania
    metoda indukcyjna
    metoda hipotetyczno-dedukcyjna
    historical science
    hard science
    methods of testing
    inductive method
    hypothetico-deductive method
    Opis:
    W chrześcijańskiej literaturze na temat nauki i wiary, a także w opracowaniach popularnonaukowych, często pojawia się twierdzenie, że nauki historyczne (kosmologia, astronomia, geologia, biologia ewolucyjna, antropologia, archeologia) różnią się zasadniczo od nauk „ścisłych”, gdyż wnioski tych pierwszych są mniej precyzyjne i słabiej testowalne. Wysuwany jest argument, że nauki historyczne nie należą do nauk eksperymentalnych, ponieważ przedmiotem ich badań są niepowtarzalne zdarzenia. A skoro przeszłe zdarzenia i procesy nie są bezpośrednio obserwowalne, to należy uznać, że teorie wyjaśniające problemy pochodzenia częściej prowadzą do błędnych wniosków i są mniej wartościowe niż badania nad procesami zachodzącymi obecnie. Pogląd ten zwykle znajduje wyraz w tego typu stwierdzeniach: „Nikogo przy tym nie było, więc nigdy nie dowiemy się, co naprawdę zaszło”. Naukowe twierdzenia na temat historii Ziemi i ziemskiego życia spotykają się z lekceważeniem, uważa się je bowiem za niesprawdzalne spekulacje. Taki obraz nauk historycznych wynika jednak z niezrozumienia zarówno istoty eksperymentu i metod testowania teorii, jak również charakteru naukowego „dowodu”. Mam nadzieję, że w tym krótkim artykule zdołam ukazać powszechne nieporozumienia co do natury nauki oraz udowodnić, że twierdzenia nauk historycznych są sprawdzalne w równym stopniu, co twierdzenia nauk ścisłych.
    Frequent claims appear in the Christian science/faith literature, and in popular discussions of science, that the historical sciences (cosmology, astronomy, geology, evolutionary biology, anthropology, archaeology) are fundamentally different from the “hard” sciences, and that their scientific conclusions are less rigorous and less testable. It is argued that the historical sciences deal with unrepeatable events and are therefore not experimental. Furthermore, because past events and processes are not directly observable, theories of origins are deemed inferior or less certain than studies of present processes. This view commonly finds expression in statements like: “No one was there so we can never know what really happened.” Scientific claims about Earth and biological history are then dismissed as untestable speculation. These various perceptions of historical science represent serious misunderstandings of both the nature of experiment and theory testing, and the character of scientific “proof.” It is my hope that this brief essay will serve both to expose widely held misconceptions about the nature of science and to demonstrate that historical science is rigorously testable.
    Źródło:
    Filozoficzne Aspekty Genezy; 2011, 8; 95-103
    2299-0356
    Pojawia się w:
    Filozoficzne Aspekty Genezy
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Zerwanie z tradycją czy niezbędny rozwój? Dwa sposoby rozumienia posynodalnej adhortacji Amoris laetitia
    Breaking with Tradition or Necessary Development? Two Types of Reading of the Apostolic Letter Amoris laetitia
    Autorzy:
    Schockenhoff, Eberhard
    Powiązania:
    https://bibliotekanauki.pl/articles/1047409.pdf
    Data publikacji:
    2018-09-18
    Wydawca:
    Uniwersytet im. Adama Mickiewicza w Poznaniu
    Tematy:
    Amoris laetitia
    development of the tradition
    conscience
    divorce
    deductive method
    Christian morality
    rozwój tradycji
    sumienie
    rozwód
    metoda dedukcyjna
    moralność chrześcijańska
    Opis:
    W swojej adhortacji papież Franciszek podkreśla wprawdzie powiązanie z wypowiedziami poprzedników, dokonuje jednak w ramach tradycji Kościoła dotyczącym małżeństwa i rodziny istotnej zmiany paradygmatu. Umożliwia to nowe podejście do osób, które zawarły nowy związek po rozpadzie sakramentalnego małżeństwa. Zmiana paradygmatu dotyczy nie tylko kwestii powtórnie zaślubionych po rozwodzie, ale w ogóle etyki małżeńsko-rodzinnej. Papież zachęca do respektowania osądu sumienia małżonków, wyrażając daleko idący sceptycyzm wobec metody dedukcyjnej w kwestiach moralnych, w ramach której w dotychczasowym nauczaniu Kościoła z prawd ogólnych wyprowadzano daleko idące wnioski dla każdej pojedynczej sytuacji. Zdaniem Franciszka logika marginalizacji i potępienia nie może już określać drogi Kościoła. Nie może on rzucać moralnymi prawami jak kamieniami w życie osób, którzy nie we wszystkim są zgodni z ideałem, ale raczej powinien ich zaprosić do czynienia na drodze miłości dalszych kroków, które w swoim sumieniu rozpoznają jako tu i teraz możliwą odpowiedź na wezwanie Boże.
    In his apostolic letter Pope Francis underlines indeed the connection with the statements of his predecessors, but he performs also an important paradigm shift in the tradition of the Church concerning the marriage and the family. This step allows the new approach to remarried people after the breakdown of their sacramental marriage. This paradigm shift concerns not only such situations but the marital and familial ethics as a whole. The pope encourages to respect towards the judgment of the spouses conscience and expresses his extensive skepticism towards the deductive methods in the moral considerations. In the previous Church teaching with the help of these methods,  conclusions concerning every single situation were derived from general truths. According to the Pope Francis the logics of marginalization and exclusion can no longer be the way of the Church. As the Pope says, the Church cannot throw the moral laws like stones at the people who do not follow the ideals. They should be rather invited to make next steps on the way of love, which they recognize in their conscience as an answer to the God’s call, here and now.
    Źródło:
    Teologia i moralność; 2018, 13, 1(23); 11-23
    1898-2964
    2450-4602
    Pojawia się w:
    Teologia i moralność
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-5 z 5

      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