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

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 27
Tytuł:
Formal model of time point-based sequential data for OLAP-like analysis
Autorzy:
Bębel, B.
Morzy, T.
Królikowski, Z.
Wrembel, R.
Powiązania:
https://bibliotekanauki.pl/articles/200403.pdf
Data publikacji:
2014
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
OLAP
sequential data
formal model
Opis:
Numerous nowadays applications generate huge sets of data, whose natural feature is order, e.g,. sensor installations, RFID devices, workflow systems, Website monitors, health care applications. By analyzing the data and their order dependencies one can acquire new knowledge. However, nowadays commercial BI technologies and research prototypes allow to analyze mostly set oriented data, neglecting their order (sequential) dependencies. Few approaches to analyzing data of sequential nature have been proposed so far and all of them lack a comprehensive data model being able to represent and analyze sequential dependencies. In this paper, we propose a formal model for time point-based sequential data. The main elements of this model include an event and a sequence of events. Measures are associated with events and sequences. Measures are analyzed in the context set up by dimensions in an OLAP-like manner by means of the set of operations. The operations in our model are categorized as: operations on sequences, on dimensions, general operations, and analytical functions.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2014, 62, 2; 331-340
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A new mathematical model for analytical risk assessment and prediction in IT systems
Autorzy:
Fray, I. E.
Kurkowski, M.
Pejaś, J.
Maćków, W.
Powiązania:
https://bibliotekanauki.pl/articles/206238.pdf
Data publikacji:
2012
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
risk analysis
risk analysis methods
formal model for risk analysis
Opis:
In this paper, we propose a new formal model to describe risk analysis and measurement process for IT systems. Our model complies with international standards and recommendations for non-profit organisations. The model accounts for solutions used in widely known and recommended risk analysis methods and provides for evaluation of efficacy of these solutions. A simple example illustrates the application of the proposed model for effective risk analysis of any IT system.
Źródło:
Control and Cybernetics; 2012, 41, 1; 241-268
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Interpretowane sieci Petriego - model formalny w zintegrowanym projektowaniu mikroprpcesorowych systemów sprzętowo-programowych
Interpreted Petri nets as a formal model in hardware/software codesign
Autorzy:
Adamski, M.
Skowroński, Z.
Powiązania:
https://bibliotekanauki.pl/articles/157576.pdf
Data publikacji:
2003
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
sieci Petriego
programowanie zintegrowane
mikroprocesorowe systemy sprzętowo-programowe
Petri nets
formal model in hardware/sofrware codesign
Opis:
Podejście systemowe do projektowania urządzeń o niejednorodnym charakterze wymaga stosowania formalnych metod specyfikacji, syntezy i analizy. Metody i narzędzia projektowe z kolei bazują na formalnym modelu obliczeniowym. Z tego względu dobór właściwego modelu ma fundamentalne znaczenie dla efektywności całego procesu projektowania. W pracy zaproponowano środowisko projektowe dla potrzeb zintegrowanego projektowania, w którym części sprzętowe systemu specyfikowane sa w języku VHDL, część programowa w języku C, a modelem formalnym są interpretowane sieci Petriego. Prezentowane wyniki prac znajdują również zastosowanie w projektowaniu mikrosystemów cyfrowych, zawierających układy FPGA.
In order to model heterogeneous systems some common representation vehicle is needed. The model should have several features, the most important of wchich are : to be well suited both for software and hardware representation, allow for different manipulations (including partitioning) and be able to cope explicitly with parallelism. Interpreted Petri nets can meet all three requirements. The paper analyses the suitability of the petri nets for a representation of heterogeneous systems and outlines some practical aspects of the application of petri nets in modelling such systems.
Źródło:
Pomiary Automatyka Kontrola; 2003, R. 49, nr 2/3, 2/3; 17-20
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Formal analysis of use case diagrams
Formalna analiza diagramów przypadków użycia
Autorzy:
Klimek, R.
Szwed, P.
Powiązania:
https://bibliotekanauki.pl/articles/305621.pdf
Data publikacji:
2010
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
UML
przypadek użycia
model formalny
weryfikacja
weryfikacja modelowa
logika temporalna
metoda tablic semantycznych
use case
formal model
verification
model checking
temporal logic
semantic tableau
Opis:
Use case diagrams play an important role in modeling with UML. Careful modeling is crucial in obtaining a correct and efficient system architecture. The paper refers to the formal analysis of the use case diagrams. A formal model of use cases is proposed and its construction for typical relationships between use cases is described. Two methods of formal analysis and verification are presented. The first one based on a states' exploration represents a model checking approach. The second one refers to the symbolic reasoning using formal methods of temporal logic. Simple but representative example of the use case scenario verification is discussed.
Diagramy przypadków użycia odgrywają znaczącą rolę w modelowaniu systemów z wykorzystaniem UML. Staranne i dokładne modelowanie ma zasadnicze znaczenie w postępowaniu umożliwiającym uzyskanie poprawnej i efektywnej architektury systemu. Artykuł odnosi się do formalnej analizy diagramów przypadków użycia. Został zaproponowany model formalny przypadku użycia, a także opisano odpowiednie konstrukcje dla relacji występujących pomiędzy przypadkami użycia. Zostały przedstawione dwie formalne metody ich analizy i weryfikacji. Pierwsza oparta jest na eksploracji stanów i reprezentuje podejście nazwane weryfikacją modelową. Druga odwołuje się do wnioskowania symbolicznego z wykorzystaniem logiki temporalnej. Został pokazany prosty i reprezentatywny przykład weryfikacji pewnego scenariusza przypadku użycia.
Źródło:
Computer Science; 2010, 11; 115-131
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Namysł – rozmowa – działanie. Teoretyczny model publicznej deliberacji
Reflection – communication – action. Theoretical model of public deliberation
Autorzy:
Zgiep, Marcin
Powiązania:
https://bibliotekanauki.pl/articles/412844.pdf
Data publikacji:
2013
Wydawca:
Łódzkie Towarzystwo Naukowe
Tematy:
demokracja deliberatywna
deliberacja publiczna
komunikacja
zasada wzajemności
argumentacja recyprokalna
model formalny
kontekst empiryczny
deliberative democracy
public deliberation
communication
reciprocity principle
reciprocal argumentation
formal model
empirical context
Opis:
Artykuł ten stanowi propozycję nowego ujęcia deliberacji łączącego teorię z wymiarem praktycznym. Z jednej strony, ujęcie to zainspirowane zostało wpływowym modelem komunikacji językowej wypracowanym przez Karla Bülera i Romana Jakobsona. Z drugiej strony, nawiązuje ono do badań empirycznych nad deliberacją (J. Fishkin i inni, J. Reykowski i inni, A. Bächtiger i inni itd.) oraz obserwacji i analiz konsultacji społecznych i współczesnych debat publicznych. Prezentowane ujęcie zawiera dwa uzupełniające się aspekty: a) formalny model procesu deliberowania, na który składają się namysł („głębokość deliberacji”), rozmowa („szerokość deliberacji”) i działanie („efektywność deliberacji”); oraz b) rozmaite odniesienia do rzeczywistości zewnętrznej, a więc „kontekst empiryczny” deliberacji pozwalający odsłonić konkretne, realne przejawy tego procesu, zidentyfikować jego granice, uchwycić podobieństwa i różnice w relacji do poszczególnych elementów modelu formalnego (przestrzeń, czas, podmioty i przedmiot dyskusji itd.). Tym samym proponowana w artykule konceptualizacja o charakterze strukturalno- funkcjonalnym stanowi próbę przekroczenia podziału na normatywną teorię, badania naukowe i praktyki społeczno-polityczne, utrzymującą zarazem odmienność funkcji wszystkich powyższych sfer działania w ramach ogólnej dziedziny ludzkiej aktywności
This article advances a novel theoretical account of deliberation with an embedded practical dimension. On the one hand, it has been inspired by the influential linguistic model elaborated by Karl Büler and Roman Jakobson. On the other hand, it draws upon the empirical studies of deliberation (J. Fishkin et al., J. Reykowski et al., A. Bächtiger et al. etc.) as well as on observations and analyses of public consultations and contemporary debates. The account laid out in the article encompasses two concomitant and complementary aspects: 1) formal approach to the process of deliberation consisting of reflection („depth of deliberation”), communication („width of deliberation”) and action („effectiveness of deliberation”), and 2) diverse references to external reality, or the „empirical context” of deliberation which enables to disclose the concrete real-world manifestations of the process, identify its limitations and capture the similarities and differences in relation to specific components of the formal model (space, time, actors, discussed issues or themes etc.). Therefore this structuro-functional conceptualization accounts for an attempt to cross the division between normatively-oriented theory, scientific research, and socio-political praxis while maintaining the distinctive role of all these sub-fields within the general domain of human activity.
Źródło:
Przegląd Socjologiczny; 2013, 62, 4; 43 - 65
0033-2356
Pojawia się w:
Przegląd Socjologiczny
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Optymalizacja realizacji układowej hierarchicznych sieci Petriego
The implementation optimization of the hierarchical Petri nets
Autorzy:
Stasiak, A.
Powiązania:
https://bibliotekanauki.pl/articles/152872.pdf
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
projektowanie zintegrowane
sieci Petriego
model formalny
systemy osadzone
systemy cyfrowe
mikrosystemy cyfrowe
FPGA
hardware-software codesign
Petri nets
formal model
embedded systems
digital systems
digital microsystems
PLD
Opis:
Projektowanie wysokiego poziomu systemów cyfrowych dotyczy szeregu aspektów związanych bezpośrednio z wybraną metodologią projektowania, modelem formalnym, algorytmami syntezy sprzętowej i programowej opisu behawioralnego. Rozważając sieci Petriego jako model formalny projektowanego systemu, szczególnie interpretowane hierarchiczne sieci Petriego, projektant ma do dyspozycji bogaty zbiór algorytmów analizy formalnej, metod syntezy programowej i sprzętowej. Jednak znane rozwiązania dotyczą przede wszystkim opisu zachowania funkcjonalnego sterowników logicznych, gdzie miejsce sieci reprezentuje logiczną operację przypisania poziomu '0' lub '1' do wyjścia układu (jeden bit lub wektor). Zauważalny jest jednak brak propozycji naukowych wspierających projektowanie systemu opisanego sieciami Petriego, gdzie w miejscu sieci realizowane są złożone instrukcje arytmetyczne lub logiczne. Przykładem sieci Petriego wspierającej w pełni projektowanie systemu sprzętowo-programowego jest siec PNHSDM (ang. Petri Net for Hardware So-ftware Digital Microsystem). Artykuł w sposób ogólny przedstawia model formalny sprzętowo-programowych sieci Petriego PNSHDM, skupiając się szczególnie na metodzie optymalizacji algorytmu syntezy sprzętowej sieci PNHSDM do reprogramowalnych układów FPGA. W pracy podjęto tematykę szeregowania zadań (ASAP, ALAP). Rozwiązano problem systemu przełączania sprzętowych modułów wykonawczych w kontekście planowanych do wykonania zadań. Wyznaczono wzór pozwalający na oszacowanie kosztów realizacji sprzętowej systemu przełączania, który zależny jest od liczby instancjacji i złożoności harmonogramowanej instrukcji.
The high level designing concerns several aspects that are directly related to the designing methodology as well as formal model definition, hardware/software synthesis algorithms, etc. When a Petri nets are considered as a formal model of developing system, especially hierarchical interpreted Petri nets, then a designer has a lot of ready to use and very well documented algorithms dedicated for formal verification, hardware and software synthesis, transformations, etc. However, most of the know solutions for Petri nets concerns designing logic controllers, where a one net place implements simple assigning operation of logical state to the output. There is lack of solutions that use a Petri nets to formalize and describe really system, where a place implements complex algebraic or logic functions. A formal model based on Petri nets for hardware-software digital microsystems (PNHSDM) has been elaborated to eliminate this gap. This paper shortly describes PNHSDM model, but author have concentrate on optimization of hardware Petri nets synthesis algorithm that is responsible to translate functional description into VHDL-RTL language. This approach takes into consideration task scheduling (ASAP, ALAP), presents elaborated solution of switching system for PNHSDM Petri nets as well as provides static hardware cost estimations of the switching system.
Źródło:
Pomiary Automatyka Kontrola; 2007, R. 53, nr 5, 5; 108-110
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Metody walidacji i weryfikacji specyfikacji funkcjonalnej mikrosystemu cyfrowego
Validation and verification methods of the digital microsystem functional specification
Autorzy:
Stasiak, A.
Skowroński, Z.
Powiązania:
https://bibliotekanauki.pl/articles/152874.pdf
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
projektowanie zintegrowane
sieci Petriego
model formalny
systemy osadzone
systemy cyfrowe
mikrosystemy cyfrowe
FPGA
hardware-software codesign
Petri nets
formal model
embedded systems
digital systems
digital microsystems
PLD
Opis:
Proces projektowy systemów cyfrowych, a w szczególności zintegrowanych sprzętowo-programowych mikrosystemów cyfrowych realizowanych z wykorzystaniem platformy SOPC, nie może być zakończony pomyślnie bez przeprowadzenia sprawdzenia i korekcji ewentualnych błędów projektowych. Do tego celu stosuje się metody walidacji zapisu specyfikacji funkcjonalnej zachowania systemu oraz metody weryfikacji funkcjonalnej projektowanego modelu. W artykule scharakteryzowano oraz omówiono opracowane na Uniwersytecie Zielonogórskim metody i oprogramowanie do walidacji i weryfikacji funkcjonalnej specyfikacji funkcjonalnej modelu opisanej sieciami Petriego.
The design process of the today digital systems, especially integrated hardware-software digital microsystems for SOPC platform, can not be finalized successfully without the verification and debug process. To meet the product requirements, like: system functionality, system stability, time-to-market, project costs, etc; there has to be performed several validation and/or verification tasks to confirm the finale model behaviour with initial/input functional specification. This paper describes validation and verification methods as well as software/tools elaborated and developed at University of Zielona Góra, by the Computing and Engineering Department.
Źródło:
Pomiary Automatyka Kontrola; 2007, R. 53, nr 5, 5; 111-113
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
О некоторых особенностях формальной структуры терминов-словосочетаний из области экологии и охраны окружающей среды в современном болгарском и русском языках
On Some Peculiarities in the Formal Structure of Word Combinations in the Field of Ecology and Environmental Protection in the Modern Bulgarian and Russian Languages
Autorzy:
Симеонова, Кристияна
Powiązania:
https://bibliotekanauki.pl/articles/2134515.pdf
Data publikacji:
2021-06-30
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
экология
терминология
словосочетание
формально-структурная модель
сравнительное терминоведение
ecology
terminology
word combination
formal-structural model
comparative terminology
Opis:
Целью данной статьи является рассмотрение формальной структуры терминов-словосочетаний в области экологии в современном болгарском и русском языках. Этот вопрос очень важен для создания точной лингвистической формы терминов. Рассмотрены их формальная структура и синтаксическая связь между компонентами, представлены некоторые базовые формально-структурные модели, в соответствии с которыми можно сделать ряд выводов о лингвистической форме словосочетаний-терминов в двух языках. Основных выводов в основном три. 1. В обоих языках количество терминов-словосочетаний очень велико. Поэтому вопросы об их лингвистических особенностях, их формировании и функционировании в языке все чаще привлекают внимание терминологов и в Болгарии, и в России. 2. Количественно в русском языке беспредложных словосочетаний больше, чем в болгарском. Это связано с тем, что русский – синтетический язык с хорошо развитой падежной системой, а болгарский – аналитический язык, в котором нет падежной системы. На подобные падежные конструкции в болгарском языке указывают предлоги. 3. Многокомпонентные словосочетания с предлогом или без него в болгарском и в русском языках отличаются относительно большой длиной формы. Слишком длинная форма значительно усложняет общение и делает предложения, в которых используются эти термины, слишком расплывчатыми. Однако к сокращению нужно подходить очень осторожно, учитывая полноту и точность информации. Цель данного исследования объективно подразумевает применение синхронного подхода, который изучает и описывает определенные языковые явления только в конкретный период их существования (в данном случае – современный период). Основной используемый метод – сопоставительный анализ. Рассмотрение терминов из области экологии имеет актуальность, ведь экологические проблемы являются одной из глобальных проблем человечества, и они привлекают внимание обществ Болгарии и России.
The purpose of this article is to consider the formal structure of terms from the field of ecology in the modern Bulgarian and Russian languages. This question is very important for creating an accurate linguistic form of terms. Their formal structure and syntactic relationship between their components are considered, and some basic formal structural models are presented, according to which it is possible to draw a number of conclusions about the linguistic form of combinations of terms in the two languages. There are basically three main conclusions: 1. In both languages, the number of ecological terms is very large. Therefore, questions about their linguistic features, their formation and functioning in the language are increasingly attracting the attention of terminologists both in Bulgaria and in Russia. 2. Quantitatively, there are more non-prepositional phrases in Russian than in Bulgarian. This is due to the fact that Russian is a synthetic language with a well-developed case system, while Bulgarian is an analytical language that does not have a case system. Case constructions in Russian are usually replaced by prepositions in Bulgarian. 3. Multi-component phrases with or without a preposition in Bulgarian and Russian differ in a relatively long form. Too long a form makes communication much more difficult and makes sentences using these terms too long and vague. However, any reductions should be approached very carefully, given the completeness and accuracy of the information. The purpose of this study objectively implies the use of a synchronous approach that studies and describes certain linguistic phenomena only in a certain specific period of their existence (in this case, the modern period). The main method used is the method of comparative analysis. The consideration of terms in the field of ecology is very important because environmental problems are one of the global concerns of mankind, and they are increasingly attracting public attention in Bulgaria and Russia.
Źródło:
Acta Universitatis Lodziensis. Folia Linguistica Rossica; 2021, 20; 97-106
1731-8025
2353-9623
Pojawia się w:
Acta Universitatis Lodziensis. Folia Linguistica Rossica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analysis of decision-making methods in patients’ treatment
Analiza metod wspomagania procesu podejmowania decyzji przy leczeniu pacjentów
Autorzy:
Melnikova, Natalia
Shakhovska, Natalya
Powiązania:
https://bibliotekanauki.pl/articles/548968.pdf
Data publikacji:
2013
Wydawca:
Uniwersytet Rzeszowski. Wydawnictwo Uniwersytetu Rzeszowskiego
Tematy:
podejmowanie decyzji
modele formalne
analiza danych medycznych
medyczne systemów eksperckie
problemy leczenia
decision-making
formal model
 analysis of medical data
expert medical systems
the problems of treatment.
Opis:
The article undertakes an analysis of decision-making methods used in solving difficult-formalized problems of medical diagnostics and treatment. A formal model of a medical expert system is proposed, with the purpose of selecting medical pharmaceutical treatment systems. The important task at any stage of the medical evaluation is to determine the general condition of the patient, the depth of the pathological process and the operational control of the effec-tiveness of treatment for timely correction. These problems can be attributed to a large class of practical problems in the weakly formalized decision-making process in the treatment of patients.
W artykule przedstawiono analizę metod wspomagania podejmowania decyzji, które są prze-znaczone do rozwiązywania słabo sformalizowanych problemów diagnostyki medycznej i lecze-nia. Zaprezentowano formalny model systemu eksperckiego, którego celem jest usprawnienie sposobu farmaceutycznego leczenia pacjentów. Najważniejsze zadania na każdym etapie oceny medycznej to określenie ogólnego stanu pa-cjenta i głębokości procesu patologicznego oraz prowadzenie kontroli skuteczności leczenia i jego odpowiednia korekta. Zadania te są powiązane z szeroką klasą praktycznych problemów występujących w słabo sformalizowanym procesie podejmowania decyzji dotyczących leczenia pacjentów.
Źródło:
Nierówności Społeczne a Wzrost Gospodarczy; 2013, 36; 333-340
1898-5084
2658-0780
Pojawia się w:
Nierówności Społeczne a Wzrost Gospodarczy
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Non-Formal Education Event Governance Strategies
Autorzy:
Pańkowska, Malgorzata
Powiązania:
https://bibliotekanauki.pl/articles/633783.pdf
Data publikacji:
2017
Wydawca:
Uniwersytet Marii Curie-Skłodowskiej. Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej
Tematy:
event governance, strategy, non-formal education, facilitators, Business Canvas Model, BPMN, RACI
Opis:
Purpose – The present paper aims to characterize the main differences and similarities among different strategies of event governance. Beyond that, there is a study analysis on non-formal education event governance. Design/Methodology/Approach – The author’s approach is based on the literature review and research works survey, concerning the governance strategies. The last part of the paper covers the Business Process Modeling Notation (BPMN) diagram and the Responsible-Accountable-Consulted-Informed (RACI) model for visualization of the basic processes, decisions and stakeholders’ roles in a non-formal education event.Findings – Based on the analysis, it was found that the most appropriate strategy for the non-formal education event is the strategy, which strongly emphasizes the role of event facilitator. That role is confronted with the roles of other event stakeholders. In the paper, the characteristics of a project are confronted with the features of event.Practical implications – The outcomes of the study can teach event managers how to share leadership and organize event activities.Original value – The original value of the paper is that governance strategies are discussed as well as an event organizing approach is presented.<p.Article type – Research and literature general review.
Źródło:
International Journal of Synergy and Research; 2017, 6
2083-0025
Pojawia się w:
International Journal of Synergy and Research
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Bring your own device or organisation provided device classroom: problematising the issue of the digital divide in teaching and learning contexts in Poland
Autorzy:
Lucyna, Kopciewicz,
Hussein, Bougsiaa,
Powiązania:
https://bibliotekanauki.pl/articles/890527.pdf
Data publikacji:
2019-12-30
Wydawca:
Akademia Pedagogiki Specjalnej im. Marii Grzegorzewskiej. Wydawnictwo APS
Tematy:
digital divide
OPD model
BYOD model
formal and informal learning
Opis:
This comparative study contributes to new knowledge on how digital inclusion can be supported in two differently designed school settings through the meaningful use of technology to enhance the students’ learning and their overall skills development. This study is a comparative, empirically grounded case research conducted over a one year period in two primary schools in Poland. Our research involved a number of methods, including video-ethnography and interviews, which were used to gather qualitative data from headteachers, teachers, students and parents. The results problematise the issues of the digital divide in teaching and learning practices in both formal and informal contexts. We have checked in what way both OPD and BYOD influence the existing divides in the area of learning processes.
Źródło:
International Journal of Pedagogy, Innovation and New Technologies; 2019, 6(2); 51-64
2392-0092
Pojawia się w:
International Journal of Pedagogy, Innovation and New Technologies
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Frigram : a French Interaction Grammar
Autorzy:
Perrier, G.
Guillaume, B.
Powiązania:
https://bibliotekanauki.pl/articles/103885.pdf
Data publikacji:
2015
Wydawca:
Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:
formal grammar
model theoretic syntax
polarity
Interaction Grammar
Opis:
We present Frigram, a French grammar with a large coverage, written in the formalism of Interaction Grammars. The originality of the formalism lies in its system of polarities which expresses the resource sensitivity of natural languages and which is used to guide syntactic composition. We present the principles underlying grammar design, highlight its modular architecture and show that the lexicon used is independent of the grammar formalism. We also introduce the “companion property”, and show that it helps to enforce grammar consistency.
Źródło:
Journal of Language Modelling; 2015, 3, 1; 265-316
2299-856X
2299-8470
Pojawia się w:
Journal of Language Modelling
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Improving Dependability of Automation for Free Electron Laser FLASH
Autorzy:
Kosęda, B.
Szmuc, T.
Cichalewski, W.
Powiązania:
https://bibliotekanauki.pl/articles/384861.pdf
Data publikacji:
2009
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
automation
formal methods
model checking
expert system
Prolog
flash
Opis:
Free-electron laser FLASH (260-meter-long machine) is a pilot facility for the forthcoming XFEL (3 km). Along with growth of the experiment, service and maintenance are becoming so complex that certain degree of automation seems to be inevitable. The main purpose of the automation software is to facilitate operators with computer-aided supervision of several hardware/software subsystems. The efforts presented in this contribution concern elaboration of general framework for designing and development of automation software for the FLASH. The toolkit facilitates specification, implementation, testing and formal verification. The ultimate goal of the framework is to systematize the way of automation software development and to improve its dependability. At present usefulness of the tools is being evaluated by testing the automation software for single RF-power station of the FLASH.
Źródło:
Journal of Automation Mobile Robotics and Intelligent Systems; 2009, 3, 1; 33-39
1897-8649
2080-2145
Pojawia się w:
Journal of Automation Mobile Robotics and Intelligent Systems
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Model checking processes specified in join-calculus algebra
Autorzy:
Maludziński, S.
Dobrowolski, G.
Powiązania:
https://bibliotekanauki.pl/articles/305715.pdf
Data publikacji:
2014
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
join-calculus
model checking
formal methods
automatic software verification
Opis:
This article presents a model checking tool used to verify concurrent systems specified in join-calculus algebra. The temporal properties of systems under verification are expressed in CTL logic. Join-calculus algebra, with its operational semantics defined by a chemical abstract machine, serves as the basic method for the specification of concurrent systems and their synchronization mechanisms, allowing for the examination of more complex systems. The described model checker is a proof of concept for the utilization of new methodologies of formal system specification and verification in software engineering practice.
Źródło:
Computer Science; 2014, 15 (1); 61-74
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Pojęcie wartości I celu nauki w świetle teorii aktów mowy Jurgena Habermasa
THE CONCEPT OF THE AIM AND THE VALUE OF SCIENCE IN THE LIGHT OF JURGEN HABERMAS’S THEORY OF SPEECH ACTS
Autorzy:
Michalska, Anna
Powiązania:
https://bibliotekanauki.pl/articles/577733.pdf
Data publikacji:
2011
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
AIM OF SCIENCE
FORMAL PRAGMATICS
PRINCIPLES
RETICULATED MODEL
SPEECH ACTS
Opis:
In the paper it is argued that, in order to explicate the concept of the aim and value of science from the standpoint of Habermas’s theory of speech acts (the theory of communicative action or universal pragmatics), one is required to take up the position of moderate realism. The theory implies that even though science serves many different purposes and might be harnessed to realise diverse values, it must be seen as subordinated to the highest-level principle, which, in certain contexts, should be comprehended as the chief cognitive value. And since, as I demonstrate later on, universal pragmatics formally corresponds to the reticulated model of scientific justification as put forth by Laudan in his Science and Values but, at the same time, is much more deeply rooted philosophically, the result obtained is important on the part of philosophy of science and purports to offer a new paradigm of analysis.
Źródło:
Zagadnienia Naukoznawstwa; 2011, 47, 3(189); 373-391
0044-1619
Pojawia się w:
Zagadnienia Naukoznawstwa
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 27

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