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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-5 z 5
    Tytuł:
    SMESDaD – synergetyczna metodyka rozwijania i wdrażania oprogramowania korporacyjnego
    SMESDaD – Synergetic Methodology for Enterprise Software Development and Deployment
    Autorzy:
    Rogus, G.
    Skrzyński, P.
    Szwed, P.
    Turek, M.
    Werewka, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/274564.pdf
    Data publikacji:
    2011
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    architektura korporacyjna
    modelowanie
    SOA
    rozwój oprogramowania
    wdrażanie oprogramowania
    corporate architecture
    modeling
    software development
    software deployment
    Opis:
    W opracowaniu przedstawiono zagadnienie rozwoju, wytwarzania i wdrożenia oprogramowania korporacyjnego. W takim procesie ważne jest, aby współpraca pomiędzy przedsiębiorstwem rozwijającym oprogramowanie a przedsiębiorstwem, w którym to oprogramowanie było wdrażane, była bardzo efektywna. Na podstawie modeli korporacyjnych obu przedsiębiorstw można odwzorowywać model współpracy pomiędzy przedsiębiorstwami. W pracy przedstawiono w skrócie metodykę, która ma za zadanie rozwój oprogramowania korporacyjnego na bazie powiązań synergetycznych pomiędzy przedsiębiorstwami. Metodyka w zamierzeniu ma integrować najlepsze rozwiązania z dziedziny modelowania korporacyjnego, architektur zorientowanych na usługi oraz modeli wdrażania oprogramowania.
    The paper presents the problem of the development, production and deployment of enterprise software. The success of this process relies on effective cooperation between a company developing software and enterprise in which software is to be deployed. A model of cooperation between enterprises can be developed on the basis of corporate models of both companies. The paper outlines the methodology for corporate software development based on the synergetic relationships between the companies. The methodology is intended to integrate the best solutions in the field of corporate modeling, service-oriented architectures and software deployment models.
    Źródło:
    Pomiary Automatyka Robotyka; 2011, 15, 12; 196-209
    1427-9126
    Pojawia się w:
    Pomiary Automatyka Robotyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Mobile Robot Simulation Framework
    Szkielet oprogramowania do symulacji robota mobilnego
    Autorzy:
    Ciurej, Maciej
    Powiązania:
    https://bibliotekanauki.pl/articles/274711.pdf
    Data publikacji:
    2019
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    mobile robotics
    trajectory
    simulation
    agent based
    programming framework
    robotyka mobilna
    symulacja
    szkielet oprogramowania
    Opis:
    This paper presents a programming framework for simulation of the mobile robot. Model of Khepera III robot with IR proximity sensors was considered as a base model for tests of proposed system. Architecture of designed software was presented with the use of UML class diagram.
    W artykule zaprezentowano szkielet oprogramowania do symulacji kołowego robota mobilnego. Jako przykład rzeczywistego robota przedstawiono robot Khepera III z czujnikami IR do wykrywania i omijania przeszkód. Zaprezentowany szkielet jest niezależny od fizycznej reprezentacji robota mobilnego.
    Źródło:
    Pomiary Automatyka Robotyka; 2019, 23, 4; 25-30
    1427-9126
    Pojawia się w:
    Pomiary Automatyka Robotyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Praktyczne modelowanie zagrożeń dla systemów teleinformatycznych z wykorzystaniem modelu STRIDE
    Practical Modelling of Threats to ICT Systems Using the STRIDE Model
    Autorzy:
    Kruk, Tomasz
    Powiązania:
    https://bibliotekanauki.pl/articles/2068668.pdf
    Data publikacji:
    2021
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    cyberbezpieczeństwo
    bezpieczne wytwarzanie oprogramowania
    modelowanie zagrożeń
    model STRIDE
    cyber security
    secure software development
    threat modeling
    STRIDE model
    Opis:
    W niniejszym artykule opisano praktyczne podejście do zagadnienia stanowiącego aktualnie nieodłączną część wytwarzania nowoczesnych zaawansowanych i złożonych systemów informatycznych - do modelowania zagrożeń teleinformatycznych. W artykule przedstawiono praktyczną zasadność i przebieg procesu modelowania zagrożeń, a następnie opisano jedną z najpopularniejszych metod identyfikacji i analizy zagrożeń - tak zwany model STRIDE.
    This article describes a practical approach to the issue which is currently an integral part of the development of modern advanced and complex information systems - ICT threat modelling. The article presents the practical validity and process of threat modelling and then describes one of the most popular methods of threat identification and analysis - the so-called STRIDE model.
    Źródło:
    Pomiary Automatyka Robotyka; 2021, 25, 4; 93--97
    1427-9126
    Pojawia się w:
    Pomiary Automatyka Robotyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Nowoczesne technologie projektowania systemów automatyki
    Modern Technologies of Designing Automation Systems
    Autorzy:
    Pauluk, Mariusz
    Powiązania:
    https://bibliotekanauki.pl/articles/2068660.pdf
    Data publikacji:
    2020
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    systemy wbudowane
    jakość oprogramowania
    kryzys oprogramowania
    cykl życia oprogramowania
    Model V
    weryfikacja
    walidacja
    techniki testowania MIL
    techniki testowania SIL
    techniki testowania PIL
    techniki testowania HIL
    embedded systems
    quality of software
    software crisis
    software life cycle
    V-Model
    verification
    validation
    MIL model-in-the-loop testing
    SIL model-in-the-loop testing
    PIL model-in-the-loop testing
    HIL model-in-the-loop testing
    Opis:
    W pracy omówiono stosowane obecnie techniki wytwarzania systemów automatycznej regulacji. Rozpoczęto od przybliżenia stosowanych w inżynierii oprogramowania pojęć: kryzys oprogramowania, katastrofa oprogramowania oraz cykl życia oprogramowania. To ostatnie zostało w kolejnych rozdziałach poszerzone o najbardziej popularne modele wytwarzania oprogramowania. Następnie przybliżono na bazie modelu V rolę weryfikacji i walidacji w cyklu życia oprogramowania i sterownika oraz przedstawiono techniki testowe stosowane w walidacji sterownika. Są to testy typu: oprogramowanie w pętli, procesor w pętli oraz sterownik w pętli. Ostatni rozdział opisuje technikę projektowania systemów automatyki w oparciu o zaawansowane modele matematyczne Model Based Design.
    The paper presents the currently used techniques for the development of the automation control systems. It begins with the introduction of the concepts used in software engineering: software crisis, software disaster, and software life cycle. The subsequent chapters extend the latter by including the most popular software development models. Then, based on the V model, the role of verification and validation in the software and controller life cycle is presented, and the test techniques used in the controller validation are given. These test types include: software in the loop, processor in the loop, and controller in the loop. The last chapter describes the technique of designing automation systems based on the advanced mathematical models Model-Based Design.
    Źródło:
    Pomiary Automatyka Robotyka; 2020, 24, 4; 85--91
    1427-9126
    Pojawia się w:
    Pomiary Automatyka Robotyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Realizacja programowa algorytmów filtracji, estymacji i sterowania w PLC/PAC
    The software implementation of filtering, estimation and control algorithms in PLC / PAC
    Autorzy:
    Tarnawski, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/276853.pdf
    Data publikacji:
    2013
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    sterowniki programowalne PLC/PAC
    dyskretne algorytmy sterowania
    strojenie i weryfikacja oprogramowania
    estymacja RLS_FF
    programmable logic controller (PLC)
    discrete control algorithms
    tuning and verification of software
    estimation RLS_FF
    Opis:
    Sterowniki programowalne PLC (ang. Programmable Logic Controller) są główną przemysłową platformą implementacji algorytmów sterowania bezpośredniego. Standardowo producenci PLC dostarczają programistom jedynie podstawowe, najprostsze metody sterowania. Wraz z rozwojem sterowników PLC oraz ich następców PAC (ang. Programmable Automation Controller) pojawiły się zwiększone możliwości obliczeniowe i pamięciowe tych urządzeń oraz pełniejsza implementacja języków programowania określonych w normie IEC-61131-3. PLC i PAC mają obecnie moc obliczeniową i dostępną pamięć odpowiadającą komputerom osobistym PC sprzed kilku lat, można je programować również w językach wysokiego poziomu stosując zmienne zdefiniowane w postaci macierzowej. Uwzględniając pewne ograniczenia i specyfikę działania PLC oraz PAC można w tych urządzeniach zaimplementować wiele zdyskretyzowanych algorytmów sterowania, estymacji czy filtracji. Pomimo niewątpliwych potencjalnych korzyści wynikających ze stosowania zaawansowanych metod w warstwie sterowania bezpośredniego, temat ten w literaturze jest skromnie reprezentowany. W artykule prezentowane jest podejście do programowania algorytmów filtracji, estymacji i sterowania, opisanych równaniami różnicowymi. Przedstawiono metodykę budowy oprogramowania dla PLC/PAC. Dla zilustrowania procesu implementacji algorytmu z pogranicza filtracji i estymacji wykorzystano metodę najmniejszych kwadratów ze współczynnikiem zapominania RLS_FF.
    PLCs (Programmable Logic Controllers) are the main industrial platform for the implementation of direct control algorithms. PLC producers provide to programmers only basic, simple control methods. With the development of PLC and their successors (Programmable Automation Controller - PAC) appeared increased CPU and memory capabilities of the equipment and fuller implementation of programming languages defined in the standard IEC-61131-3. PLCs and PACs now have the computing power and memory of the personal computer PC a few years ago, they can also be programmed in high level languages using the variables in the form of a matrix. Taking into account the limitations and specifics of the PLC and PAC in these devices it is possible to implement almost any discrete control, estimation and filtering algorithm. This paper presents an approach to programming filtering, estimation and control algorithms defined by differential equations. The methodology of software development for PLC / PAC is presented. For presentation of implementation process of filtering and estimation algorithm least squares with forgetting factor (RLS_FF) is used.
    Źródło:
    Pomiary Automatyka Robotyka; 2013, 17, 5; 100-107
    1427-9126
    Pojawia się w:
    Pomiary Automatyka Robotyka
    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