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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-9 z 9
    Tytuł:
    Automatic proxy generation and load-balancing-based dynamic choice of services
    Autorzy:
    Dąbrowski, J.
    Feduniak, S.
    Baliś, B.
    Bartyński, T.
    Funika, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/305465.pdf
    Data publikacji:
    2012
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    proxy
    load-balancer
    load balancing
    automatic generation
    Opis:
    The paper addresses the issues of invoking services from within workflows which are becoming an increasingly popular paradigm of distributed programming.The main idea of our research is to develop a facility which enables load balancing between the available services and their instances. The system consists of three main modules: a proxy generator for a specific service according to its interface type, a proxy that redirects requests to a concrete instance of the service and load-balancer (LB) to choose the least loaded virtual machine (VM) which hosts a single service instance. The proxy generator was implemented as a bean (in compliance to EJB standard) which generates proxy according to the WSDL service interface description using XSLT engine and then deploys it on a GlassFish application server using GlassFish API, the proxy is a BPEL module and load-balancer is a stateful Web Service.
    Źródło:
    Computer Science; 2012, 13 (3); 45-59
    1508-2806
    2300-7036
    Pojawia się w:
    Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Automatic wrapper generation and generalization for social media websites
    Autorzy:
    Baziński, B.
    Brzezicki, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/206411.pdf
    Data publikacji:
    2012
    Wydawca:
    Polska Akademia Nauk. Instytut Badań Systemowych PAN
    Tematy:
    automatic wrapper generation
    information extraction
    Opis:
    The data contained within user generated kontent websites prove to be valuable in many applications, for example in social media monitoring or in acquisition of training sets for machine learning algorithms. Mining such data is especially difficult in case of web forums, because of hundreds of various forum engines used. We propose an algorithm capable of unsupervised extraction of posts from social websites, without the need to analyse more than one page in advance. Our method localizes potential data regions by repetition analysis within document structure and filtering potential results. Subsequently, the fields of data records are fund using key characteristics and series-wide dependencies. We manager to achieve 85% precision of extraction and 79% recall after experiments on single pages taken from 258 websites. Our solution is characterized by high computing efficiency, thus enabling wide applications.
    Źródło:
    Control and Cybernetics; 2012, 41, 4; 817-834
    0324-8569
    Pojawia się w:
    Control and Cybernetics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Analysis of multiple-area renewable integrated hydro-thermal system considering artificial rabbit optimized PI (FOPD) cascade controller and redox flow battery
    Autorzy:
    Saha, Arindita
    Chiranjeevi, Tirumalasetty
    Devarapalli, Ramesh
    Babu, Naladi Ram
    Dash, Puja
    Garcìa Màrquez, Fausto Pedro
    Powiązania:
    https://bibliotekanauki.pl/articles/27324511.pdf
    Data publikacji:
    2023
    Wydawca:
    Polska Akademia Nauk. Czasopisma i Monografie PAN
    Tematy:
    solar thermal
    automatic generation control
    geothermal
    artificial rabbit optimization
    redox flow battery
    PI(FOPD) controller
    Opis:
    The current task explores automatic generation control knowledge under old-style circumstances for a triple-arena scheme. Sources in area-1 are thermal-solar thermal (ST); thermalgeothermal power plant (GPP) in area-2 and thermal-hydro in area-3. An original endeavour has been set out to execute a new performance index named hybrid peak area integral squared error (HPA-ISE) and two-stage controller with amalgamation of proportional-integral and fractional order proportional-derivative, hence named as PI(FOPD). The performance of PI(FOPD) has been compared with varied controllers like proportional-integral (PI), proportional-integralderivative (PID). Various investigation express excellency of PI(FOPD) controller over other controller from outlook regarding lessened level of peak anomalies and time duration for settling. Thus, PI(FOPD) controller’s excellent performance is stated when comparison is undergone for a three-area basic thermal system. The above said controller’s gains and related parameters are developed by the aid of Artificial Rabbit Optimization (ARO). Also, studies with HPA-ISE enhances system dynamics over ISE. Moreover, a study on various area capacity ratios (ACR) suggests that high ACR shows better dynamics. The basic thermal system is united with renewable sources ST in area-1 also GPP in area-2. Also, hydro unit is installed in area-3. The performance of this new combination of system is compared with the basic thermal system using PI(FOPD) controller. It is detected that dynamic presentation of new system is improved. Action in existence of redox flow battery is also examined which provides with noteworthy outcome. PI(FOPD) parameters values at nominal condition are appropriate for higher value of disturbance without need for optimization.
    Źródło:
    Archives of Control Sciences; 2023, 33, 4; 861--884
    1230-2384
    Pojawia się w:
    Archives of Control Sciences
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Model-Based Availability Evaluation of Composed Web Services
    Autorzy:
    Iacono, M.
    Marrone, S.
    Powiązania:
    https://bibliotekanauki.pl/articles/309381.pdf
    Data publikacji:
    2014
    Wydawca:
    Instytut Łączności - Państwowy Instytut Badawczy
    Tematy:
    automatic model generation
    Composed Web Services
    fault tree
    model composition
    service availability
    Opis:
    Web services composition is an emerging software development paradigm for the implementation of distributed computing systems, the impact of which is very relevant both in research and industry. When a complex functionality has to be delivered on the Internet, a service integrator can produce added value by delivering more abstract and complex services obtained by composition of existing ones. But while isolated services availability can be improved by tuning and reconguring their hosting servers, with Composed Web Services (CWS) basic services must be taken as they are. In this case, it is necessary to evaluate the composition eects. The authors propose a high-level analysis methodology, supported by a tool, based on the transformation of BPEL descriptions of CWS into models based on the fault tree availability evaluation formalism that enables a modeler, unfamiliar with the underlying combinatorial probabilistic mathematics, to evaluate the availability of CWS, given components availability and expected execution behavior.
    Źródło:
    Journal of Telecommunications and Information Technology; 2014, 4; 5-13
    1509-4553
    1899-8852
    Pojawia się w:
    Journal of Telecommunications and Information Technology
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Enhancements of Fuzzy Q-Learning algorithm
    Rozszerzenia algorytmu Fuzzy Q-Learning
    Autorzy:
    Głowaty, G.
    Powiązania:
    https://bibliotekanauki.pl/articles/305545.pdf
    Data publikacji:
    2005
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    modele rozmyte
    uczenie ze wzmocnieniem
    Q-Learning
    automatyczne tworzenie modeli rozmytych
    fuzzy models
    reinforcement learning
    Q-learning
    automatic generation of fuzzy models
    Opis:
    Fuzzy Q-Learning algorithm combines reinforcement learning techniques with fuzzy modelling. It provides a flexible solution for automatic discovery of rules for fuzzy systems in the process of reinforcement learning. In this paper we propose several enhancements to the original algorithm to make it more performant and more suitable for problems with continuous-input continuous-output space. Presented improvements involve generalization of the set of possible rule conclusions. The aim is not only to automatically discover an appropriate rule-conclusions assignment, but also to automatically define the actual conclusions set given the all possible rules conclusions. To improve algorithm performance when dealing with environments with inertness, a special rule selection policy is proposed.
    Algorytm Fuzzy Q-Learning pozwala na automatyczny dobór reguł systemu rozmytego z użyciem technik uczenia ze wzmocnieniem. W niniejszym artykule zaproponowana została zmodyfikowana wersja oryginalnego algorytmu. Charakteryzuje się ona lepszą wydajnością działania w systemach z ciągłymi przestrzeniami wejść i wyjść. Algorytm rozszerzono o możliwość automatycznego tworzenia zbioru potencjalnych konkluzji reguł z podanego zbioru wszystkich możliwych konkluzji. Zaproponowano także nową procedurę wyboru reguł dla polepszenia prędkości działania w systemach z bezwładnością.
    Źródło:
    Computer Science; 2005, 7; 77-87
    1508-2806
    2300-7036
    Pojawia się w:
    Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Automated code generation for safety-related applications: a case study
    Automatyczna generacja programów dla komputerowych systemów bezpieczeństwa: przykład studialny
    Autorzy:
    Gluch, D. P.
    Kornecki, A. J.
    Powiązania:
    https://bibliotekanauki.pl/articles/305421.pdf
    Data publikacji:
    2007
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    inżynieria oprogramowania
    narzędzia oprogramowania
    automatyczna generacja kodu
    software engineering process
    software tools
    automatic code generation
    Opis:
    Artykuł opisuje możliwości zastosowań technologii automatycznej generacji programów (AGP) dla komputerowych systemów bezpieczeństwa. Przeprowadzone badania koncentrowały się na charakterystykach systemów oprogramowania bazujących na modelowaniu i automatycznych narzędziach oprogramowania. W szczególności studium pozwoliło na kolekcję danych dotyczących wymagań inżynieryjnych, wiedzy i wysiłku koniecznego do pomyślnej realizacji projektu wykorzystującego praktykę i technologię AGP. Takie charakterystyki, jak organizacja generowanego programu, rozmiar, łatwość czytania, relacja między programem a modelem, konstrukcje programu ułatwiające operacje w czasie rzeczywistym i generacja przerwań, były przedmiotem identyfikacji. Dodatkowo, projekt używał metodologii inżynierii oprogramowania, gdzie analiza i konstrukcja były zintegrowane w procesie realizacji programu na bazie modelu. Analiza dotyczyła statycznych i dynamicznych charakterystyk wybranych technik i narzędzi oprogramowania wpływających na bezpieczeństwo systemu.
    Źródło:
    Computer Science; 2007, 8, Spec. Ed; 37-48
    1508-2806
    2300-7036
    Pojawia się w:
    Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Meta-Modeling and Automatic Code Generation for Computer Aided Development of Logic Control Systems
    Meta-modelowanie oraz automatyczne generowanie kodu w projektowaniu komputerowym logicznych systemów sterowania
    Autorzy:
    Scopchanov, M.
    Pietrusewicz, K.
    Hristoskov, H.
    Powiązania:
    https://bibliotekanauki.pl/articles/277489.pdf
    Data publikacji:
    2015
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    automatic code generation
    domain specific modeling
    logic control systems
    meta-modeling
    automatyczne generowanie kodu
    modelowanie specyficzne dla dziedziny zastosowań
    systemy sterowania logicznego
    meta-modelowanie
    Opis:
    This article discusses some aspects of the computer aided development of logic control systems, namely the creation of a meta-model, a domain specific language serving as a base for the system modeling, as well as the formal rules for automatic transformation of the models designed by the experts using this meta-model into simulation models, a source PLC code and the relevant documentation. The problem is defined and proved as important from the point of view of the contemporary industrial software development in order to achieve more readable designs, which are later easier to be modified, to shorten the system development time, to obtain a fast proof-of-concept and to lessen the possibility of having errors in the design. Furthermore, some directions are pointed out regarding the possible future extension of the used techniques towards automatic testing and validation of the developed logic control systems.
    W artykule omówiono wybrane aspekty rozwoju komputerowego wspomagania systemów sterowania logicznego, a mianowicie: utworzenie meta-modelu oraz języka konkretnego obszaru zastosowań, będącego podstawą do modelowania systemu, jak i formalnych zasad automatycznego przekształcenia modeli zaprojektowanych przez ekspertów za pomocą meta-modelu do modeli symulacyjnych, kodu źródłowego dla sterowników PLC oraz odpowiedniej do potrzeb dokumentacji. W artykule zaprezentowana jego istotność z punktu widzenia tworzenia współczesnego oprogramowania przemysłowego, w celu osiągnięcia bardziej czytelnych wzorów, które następnie mogą być prosto modyfikowane, co przyczynia się do skrócenia czasu opracowania systemu, uzyskania tak zwanego proof-of-concept w krótkim czasie tak, aby zminimalizować występowanie błędów w projekcie. Ponadto, niektóre kierunki są wskazane w odniesieniu do ewentualnego przyszłego rozszerzenia zakresu stosowanych technik do celów automatycznego testowania i walidacji opracowanych systemów sterowania logicznego.
    Źródło:
    Pomiary Automatyka Robotyka; 2015, 19, 4; 27-32
    1427-9126
    Pojawia się w:
    Pomiary Automatyka Robotyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Automated software-based in-field self-test program synthesis
    Autorzy:
    Jasnetski, A.
    Ubar, R.
    Tsertov, A
    Powiązania:
    https://bibliotekanauki.pl/articles/397877.pdf
    Data publikacji:
    2017
    Wydawca:
    Politechnika Łódzka. Wydział Mikroelektroniki i Informatyki
    Tematy:
    microprocessor
    software based self-test
    SBST
    automatic test program generation
    high-level decision diagrams
    HLDD synthesis
    mikroprocesor
    programy ATPG
    HLDD
    synteza HLDD
    Opis:
    This paper presents a methodology to automate functional Software-Based Self-Test program development. We rely on the previously published research on modeling processors using subclass of acyclic directed graphs called High-Level Decision Diagrams (HLDD). The HLDD model of the processor gets generated from its Instruction Set Architecture. The HLDD model is then used together with beforehand prepared assembly program templates in the generation of the complete self-test program. The research presented in this paper includes examples of test generation for the 32-bit SPARCv8 microprocessor Leon 3. The experimental results demonstrate that automatically generated SBST program obtains comparable to the state-of the art fault coverage data.
    Źródło:
    International Journal of Microelectronics and Computer Science; 2017, 8, 2; 57-64
    2080-8755
    2353-9607
    Pojawia się w:
    International Journal of Microelectronics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The position of the debtor and the creditor under the Brussels I bis Regulation
    Pozycja dłużnika i wierzyciela na gruncie rozporządzenia Bruksela I bis
    Autorzy:
    Staszczyk, Piotr
    Powiązania:
    https://bibliotekanauki.pl/articles/951426.pdf
    Data publikacji:
    2015
    Wydawca:
    Łódzkie Towarzystwo Naukowe
    Tematy:
    automatic enforcement
    civil procedure
    foreign court judgments
    EU law
    “second generation” regulations
    automatyczna wykonalność
    postępowanie cywilne
    orzeczenia sądów zagranicznych
    prawo unijne
    rozporządzenia „drugiej generacji”
    Opis:
    The intensification of trans-border legal turnover between the EU-member states and the stable growth of legal regulations result in the development of European Procedural Law. The question of recognition and enforcement of foreign judgments, beside the domestic jurisdiction, form the principal foundations of the so called European Law of Civil Procedure. To a great extent, the European law in this issue has dislodged or is dislodging the domestic regulations of EU-member states. This article presents the conditions of enforcement of foreign judgments on the basis of Regulation (EU) No 1215/2012 of the European Parliament and of the Council of 12 December 2012 on jurisdiction and the recognition and enforcement of judgments in civil and commercial matters and an attempt of their valuation.
    Intensyfikacja transgranicznego obrotu prawnego między państwami członkowskimi Unii Europejskiej oraz ciągły wzrost liczby unijnych regulacji prawnych powodują rozwój europejskiego prawa procesowego. Zagadnienie dotyczące uznawania i wykonywania zagranicznych orzeczeń oraz jurysdykcja krajowa tworzą zasadnicze zręby tzw. europejskiego prawa procesowego cywilnego. W znacznej mierze prawo europejskie w tym obszarze wypiera lub już wyparło przepisy prawa krajowego poszczególnych państw członkowskich. W niniejszym opracowaniu przedstawiono warunki wykonalności orzeczeń sądów zagranicznych na gruncie rozporządzenia PE i Rady (UE) nr 1215/2012 z 20 grudnia 2012 r. w sprawie jurysdykcji i uznawania orzeczeń sądowych oraz ich wykonywania w sprawach cywilnych i handlowych oraz próbę ich oceny.
    Źródło:
    Studia Prawno-Ekonomiczne; 2015, XCIV (94); 109-121
    0081-6841
    Pojawia się w:
    Studia Prawno-Ekonomiczne
    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