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

  Lista filtrów

Dostawca treści

Wyrównaj
    Wyświetlanie 1-9 z 9
    Tytuł:
    Telemaco: a language oriented tool for graph-based models layout optimization
    Autorzy:
    Iacono, M.
    Marrone, S.
    Powiązania:
    https://bibliotekanauki.pl/articles/309420.pdf
    Data publikacji:
    2013
    Wydawca:
    Instytut Łączności - Państwowy Instytut Badawczy
    Tematy:
    graph optimization
    modelling language
    wireless sensor networks
    WSN deployment
    Opis:
    Progress of ICT is shifting the paradigm of systems organization towards a distributed approach, in which physical deployment of components influences the evaluation of systems properties. This contribution can be considered as a problem of graph layout optimization, well-known in literature where several approaches have been exploited in different application fields with different solving techniques. Then again, complex systems can be only studied by means of different formalisms which codification is the aim of language engineering. Telemaco is a tool that supports a novel approach for the application of graph layout optimizations to heterogeneous models, based on the OsMoSys framework and on the language engineering principles. It can cope with different graph-based formalisms by exploiting either their core graph nature or their different specialized features by means of language hierarchies. In this paper Telemaco is introduced together with its foundations and an example of application to Wireless Sensor Networks (WSN) deployment.
    Źródło:
    Journal of Telecommunications and Information Technology; 2013, 4; 41-50
    1509-4553
    1899-8852
    Pojawia się w:
    Journal of Telecommunications and Information Technology
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Communication with Environment in Alvis Models
    Autorzy:
    Szpyrka, M.
    Matyasik, P.
    Mrówka, R.
    Kotulski, L.
    Powiązania:
    https://bibliotekanauki.pl/articles/227138.pdf
    Data publikacji:
    2012
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    Alvis modelling language
    embedded systems
    formal verification
    communication with environment
    Opis:
    Alvis is a modelling language defined for the design and a formal verification of embedded systems. An Alvis model is a system of agents that usually run concurrently, communicate one with another, compete for shared resources etc. Due to the fact that an embedded system usually collects inputs that come from its environment and provides outputs that go to the environment it is necessary to provide a mechanism to describe such a communication. In contrast to another formal languages used to model embedded systems it is not necessary, using Alvis, to design such an environment as a part of a model. The paper deals with the problem of modelling a communication with an embedded system environment with Alvis.
    Źródło:
    International Journal of Electronics and Telecommunications; 2012, 58, 3; 247-254
    2300-1933
    Pojawia się w:
    International Journal of Electronics and Telecommunications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On the modelling of Kerberos protocol in the Quality of Protection Modelling Language (QoP-ML)
    Autorzy:
    Księżopolski, B.
    Rusinek, D.
    Wierzbicki, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/106194.pdf
    Data publikacji:
    2012
    Wydawca:
    Uniwersytet Marii Curie-Skłodowskiej. Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej
    Tematy:
    Kerberos cryptographic protocol
    Quality of Protection
    QoP
    Quality of Protection Modelling Language
    QoP-ML
    cryptographic protocol
    Opis:
    The security modelling of IT systems is a very complicated task. One of the issues which must be analysed is the performance of IT systems. In many cases the guaranteed security level is too high in relation to the real threats. The overestimation of security measures can decrease system performance. The paper presents the analysis of Kerberos cryptographic protocol in terms of quality of protection performed by Quality of Protection Modelling Language (QoP-ML). The analysis concerns the availability attribute. In the article the Kerberos protocol was modelled and the QoP analysis of two selected versions was performed.
    Źródło:
    Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica; 2012, 12, 4; 69-81
    1732-1360
    2083-3628
    Pojawia się w:
    Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Word-based largest chunks for Agreement Groups processing: Cross-linguistic observations
    Autorzy:
    Drienkó, László
    Powiązania:
    https://bibliotekanauki.pl/articles/1040292.pdf
    Data publikacji:
    2020-12-30
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II
    Tematy:
    cognitive computer modelling
    segmentation
    syntactic processing
    language acquisition
    Opis:
    The present study reports results from a series of computer experiments seeking to combine word-based Largest Chunk (LCh) segmentation and Agreement Groups (AG) sequence processing. The AG model is based on groups of similar utterances that enable combinatorial mapping of novel utterances. LCh segmentation is concerned with cognitive text segmentation, i.e. with detecting word boundaries in a sequence of linguistic symbols. Our observations are based on the text of Le petit prince (The little prince) by Antoine de Saint-Exupéry in three languages: French, English, and Hungarian. The data suggest that word-based LCh segmentation is not very efficient with respect to utterance boundaries, however, it can provide useful word combinations for AG processing. Typological differences between the languages are also reflected in the results.
    Źródło:
    Linguistics Beyond and Within; 2020, 6; 60-73
    2450-5188
    Pojawia się w:
    Linguistics Beyond and Within
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Risk Assessment for an Unmanned Merchant Ship
    Autorzy:
    Rødseth, Ø.J.
    Burmeister, H.-C.
    Powiązania:
    https://bibliotekanauki.pl/articles/117079.pdf
    Data publikacji:
    2015
    Wydawca:
    Uniwersytet Morski w Gdyni. Wydział Nawigacyjny
    Tematy:
    risk assessment
    Unmanned Merchant Ship
    Formal Safety Analysis
    Formal Safety Assessment (FSA)
    Autonomous Underwater Vehicle (AUV)
    Autonomous Ship Controller (ASC)
    Risk Control
    Unified Modelling Language (UML)
    Opis:
    The MUNIN project is doing a feasibility study on an unmanned bulk carrier on an intercontinental voyage. To develop the technical and operational concepts, MUNIN has used a risk-based design method, based on the Formal Safety Analysis method which is also recommended by the International Mari-time Organization. Scenario analysis has been used to identify risks and to simplify operational scope. Systematic hazard identification has been used to find critical safety and security risks and how to address these. Technology and operational concept testing is using a hypothesis-based test method, where the hypotheses have been created as a result of the risk assessment. Finally, the cost-benefit assessment will also use results from the risk assessment. This paper describes the risk assessment method, some of the most important results and also describes how the results have been or will be used in the different parts of the project.
    Źródło:
    TransNav : International Journal on Marine Navigation and Safety of Sea Transportation; 2015, 9, 3; 357-364
    2083-6473
    2083-6481
    Pojawia się w:
    TransNav : International Journal on Marine Navigation and Safety of Sea Transportation
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Modelling air quality according to INSPIRE data specifications, ISO standards and national regulations
    Modelowanie zagadnienia jakości powietrza według specyfikacji danych INSPIRE, norm ISO i rozporządzeń krajowych
    Autorzy:
    Pachelski, W.
    Zwirowicz-Rutkowska, A.
    Michalik, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/293088.pdf
    Data publikacji:
    2017
    Wydawca:
    Instytut Technologiczno-Przyrodniczy
    Tematy:
    air pollution
    application schema
    INSPIRE directive
    ISO standards of 19100 series
    Unified Modelling Language (UML)
    urban planning
    dyrektywa INSPIRE
    normy ISO 19100
    schemat aplikacyjny
    urbanistyka
    zanieczyszczenie powietrza
    zunifikowany język modelowania
    Opis:
    Protection of the environment is an activity of many institutions, organizations and communities from global to regional and local scales. Any activity in this area needs structured database records, using advanced methodology, given, among others, in INSPIRE documents, ISO standards of 19100 series, and national regulations. The goal of this paper is to analyse both the legal provisions related to the air quality and also data sources associated with the prevention of air pollution. Furthermore, the UML application schema of the spatial data related to the air protection is proposed, for the use by urban planners. Also, the overview of the methodology of geographic information is given, including the Unified Modelling Language (UML), as well as the basic concepts of conceptual models within the INSPIRE project. The study is based on the relevant literature and documents, as well as on the expert knowledge gained through urban planning practice, as well as on the analysis of the spatial planning regulations. The UML application schema for different aspects related to the air protection, as presented in this paper, is an example of how to use the methodology also in other fields of the environment protection. Spatial planners know how to improve the air quality, but in the present state of law they often suffer from the lack of planning tools for real actions. In the spatial planners work an important issue are data that allow a thorough analysis of the area.
    Ochrona środowiska jest przedmiotem działalności wielu instytucji, organizacji i środowisk w skalach od ogólnoświatowej do regionalnej i lokalnej. Wszelka aktywność w tym zakresie musi być z konieczności oparta na usystematyzowanych formach rejestrów bazodanowych, wykorzystujących zaawansowane koncepcje metodologiczne, zawarte m.in. w dokumentach INSPIRE, normach ISO serii 19100 oraz krajowych regulacjach prawnych. Celem publikacji jest analiza przepisów prawnych, w odniesieniu do zagadnienia jakości powietrza, a także źródeł danych wykorzystywanych w pracach planistów, związanych z zapobieganiem zanieczyszczeniom powietrza. Ponadto zaproponowano schemat aplikacyjny zunifikowanego języka modelowania (UML) odnoszący się do danych przestrzennych wykorzystywanych w zadaniach urbanistów w zakresie ochrony powietrza. Oprócz tego zaprezentowano przegląd koncepcji z zakresu metodologii informacji geograficznej, w tym języka formalnego UML, a także podstawowych koncepcji przedmiotowych w postaci modeli pojęciowych używanych w ramach projektu INSPIRE. Badania bazowały na przeglądzie literatury oraz dokumentów, a także wiedzy eksperckiej autorów oraz analizie przepisów prawnych dotyczących planowania przestrzennego. Zaprezentowany schemat aplikacyjny UML dotyczący aspektów środowiskowych związanych z ochroną powietrza jest przykładem wykorzystania norm ISO serii 19100. Urbaniści posiadają wiedzę, w jaki sposób mogą poprawiać jakość powietrza, ale w obecnym stanie prawnym czasami brakuje narzędzi planistycznych do konkretnych działań. W pracy urbanisty ważnym elementem są dane, które umożliwiają dokładną analizę obszaru.
    Źródło:
    Journal of Water and Land Development; 2017, 35; 167-172
    1429-7426
    2083-4535
    Pojawia się w:
    Journal of Water and Land Development
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Evolutionary algorithm inspired by the methods of quantum computer sciences for the improvement of a neural model of the electric power exchange
    Autorzy:
    Tchórzewski, J.
    Ruciński, D.
    Powiązania:
    https://bibliotekanauki.pl/articles/94729.pdf
    Data publikacji:
    2017
    Wydawca:
    Szkoła Główna Gospodarstwa Wiejskiego w Warszawie. Wydawnictwo Szkoły Głównej Gospodarstwa Wiejskiego w Warszawie
    Tematy:
    Artificial Neural Network
    Matlab language
    modelling
    quantum computation
    Polish Power Exchange
    day ahead market
    Opis:
    The work contains results of research on the possibility to improve the neural model of the Electric Power Exchange (polish: Towarowa Giełda Energii Elektrycznej – TGEE) in MATLAB and Simulink environment using evolutionary algorithm inspired by quantum computer science. The developed artificial neural network was trained using data for the Day Ahead Market, assuming the joint volume of supplied and sold electrical energy [MWh] as the input quantities in each hour of the 24-hour day, and average prices [PLN/MWh] as output quantities. The obtained model of the exchange system was improved using the evolutionary algorithm, and further improvement in the accuracy of the model by supplementing the evolutionary algorithm using quantum solutions, related to the initial population, crossover and mutation operators, selection, etc. were proposed.
    Źródło:
    Information Systems in Management; 2017, 6, 4; 343-355
    2084-5537
    2544-1728
    Pojawia się w:
    Information Systems in Management
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Parametric Design of Aircraft Wing with Curved Leading Edge
    Autorzy:
    Benaouali, A.
    Kachel, S.
    Powiązania:
    https://bibliotekanauki.pl/articles/403302.pdf
    Data publikacji:
    2018
    Wydawca:
    Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
    Tematy:
    mechanics
    modelling of air-structures
    Siemens NX systems
    GRIP language for Siemens NX system
    Opis:
    In order to ease modelling procedures, eliminate repetitive effort and save time, modern CAD tools offer the ability to automate tasks via a programming language. Moreover, when the design is an iterative process, the automation permits updating the design variables to generate a new model at each iteration. Based on UG/OPEN GRIP functionalities, this paper aims at developing a parametric model of a curved leading edge aircraft wing. The model is built by executing a GRIP program in which wing parameter values can be assigned via a dialog box.
    Źródło:
    Problemy Mechatroniki : uzbrojenie, lotnictwo, inżynieria bezpieczeństwa; 2018, 9, 1 (31); 93-104
    2081-5891
    Pojawia się w:
    Problemy Mechatroniki : uzbrojenie, lotnictwo, inżynieria bezpieczeństwa
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Program for Modelling Queuing Systems in Transport
    Autorzy:
    Dimitrov, Stavri
    Powiązania:
    https://bibliotekanauki.pl/articles/504405.pdf
    Data publikacji:
    2012
    Wydawca:
    Międzynarodowa Wyższa Szkoła Logistyki i Transportu
    Tematy:
    transport
    process
    service
    queuing theory
    queuing system
    modelling
    software program
    programming language
    VBA
    Microsoft® Office Excel
    Opis:
    This paper presents an example application of a software program developed using the programming language VBA and designed for modelling queuing systems in the field of transport. The program enables users to quantitatively determine the indicators of the queuing systems. In order to show the program’s capabilities and how it can be used, two scenarios have been considered - modelling single-server and multi-server queuing systems of type M/M/1 and M/M/S, respectively, having a Poisson incoming flow of requests and exponentially distributed service times.
    Źródło:
    Logistics and Transport; 2012, 15, 2; 85-90
    1734-2015
    Pojawia się w:
    Logistics and Transport
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-9 z 9

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies