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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-6 z 6
    Tytuł:
    Logic programming tools for formal software specification
    Zastosowanie narzędzi programowania logicznego do formalnej specyfikacji oprogramowania
    Autorzy:
    Przymusińska, H.
    Powiązania:
    https://bibliotekanauki.pl/articles/91501.pdf
    Data publikacji:
    2011
    Wydawca:
    Warszawska Wyższa Szkoła Informatyki
    Tematy:
    software engineering
    logic programming
    programming tools
    inżynieria oprogramowania
    programowanie logiczne
    narzędzia programowania
    Opis:
    Two of the most important problems in software engineering are the problem of elaborating and refining software requirements into accurate specifications, and the problem of transforming specifications of complicated problems into executable code. Proving that software products produced agree with the specifications (verifiability) is the main reason for pursuing the study of formal specifications.
    Jednym z najistotniejszych problemów w inżynierii oprogramowania jest opracowanie i zawężenie wymagań dotyczących oprogramowania w celu określenia dokładnych specyfikacji, a także kwestia przekształcenia specyfikacji dotyczących złożonych problemów w wykonywalne kody. Głównym powodem podjęcia się badania formalnych specyfikacji jest udowodnienie, że oprogramowanie produkowane jest z nimi zgodne (chodzi o weryfikowalność). Artykuł ukazuje, iż programowanie logiczne połączone z rachunkiem sytuacyjnym można z powodzeniem stosować jako formalną specyfikację oprogramowania.
    Źródło:
    Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki; 2011, 5, 6; 67-73
    1896-396X
    2082-8349
    Pojawia się w:
    Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Squirrel-cage motor drive dynamics modeling including chosen damages - programming tools
    Autorzy:
    Sołbut, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/141398.pdf
    Data publikacji:
    2010
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    modelowanie numeryczne
    silnik asynchroniczny
    diagnostyka
    programowanie obiektowe
    numerical modelling
    asynchronous motors
    diagnostics
    object oriented programming tools
    Opis:
    Description of program tools simplifying simulation applications building for physical phenomenons described by differential equations in state equations form modeling is presented in the paper. A method for using prepared libraries for squirrel-cage motors including any motor damages modeling had been described. For that purpose, squirrel-cage motor mathematical model in natural coordinates system had been presented. Presented solutions provide also supply sources (inverters) modeling, including their microprocessor implementation and other phenomenons, that assume state equation structure step changes, depending on variable limitations and time value.
    Źródło:
    Archives of Electrical Engineering; 2010, 59, 3-4; 113-120
    1427-4221
    2300-2506
    Pojawia się w:
    Archives of Electrical Engineering
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Dobór narzędzi wiercących stosowanych w sterowanych przewiertach horyzontalnych w oparciu o program komputerowy "HORIZON"
    Selection of drilling tools used for HDD wells drilling on the basis of a computer program "HORIZON"
    Autorzy:
    Ziaja, J.
    Wiśniowski, R.
    Gościński, Ł.
    Powiązania:
    https://bibliotekanauki.pl/articles/299902.pdf
    Data publikacji:
    2007
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    horizontal directional drilling
    programming
    selection of drilling tools
    Opis:
    W ciągu ostatnich lat coraz bardziej popularne stają się przewierty sterowane jako bezwykopowa metoda układania instalacji podziemnych. Liczba prac zaadaptowanych lub zaprojektowanych pod technologię HDD rośnie w bardzo szybkim tempie. Jednym z najważniejszych elementów gwarantujących sukces wykonywanych prac jest racjonalny dobór narzędzi wiercących. Przy ich typowaniu należy wziąć pod uwagę szereg czynników takich, jak: cena narzędzia, dostępność, kompatybilność z innymi podzespołami przewodu i urządzenia wiertniczego. Źle dobrane narzędzie prowadzi zwykle do komplikacji wiertniczych, a nawet do niewykonania podjętych prac. Dotychczas nie opracowano kodyfikacji narzędzi wiercących stosowanych w przewiertach horyzontalnych, jak to ma miejsce w przypadku świdrów gryzowych czy diamentowych - kodyfikacja IADC. Dlatego też w pracy autorzy skupili się na opracowaniu wytycznych dla racjonalnego doboru narzędzi wiertniczych dla technologii HDD. Na podstawie analiz i badań studialnych został opracowany przez autorów program komputerowy o nazwie "HORIZON", wspomagający proces decyzyjny doboru narzędzia wiercącego.
    Over the last years HDD wells are more and more popular as a trenchless method of disposing underground utilities. The number of works adapted or designed for HDD technology is growing very fast. One of the most important elements safeguarding the success of the performed operations is the rational selection of drilling tools. When choosing them one should account for a number of factors, e.g. price of the tool, availability, compatibility with other subassemblies and the rig itself. Erroneously selected tools may result in drilling complications, even failure to perform the undertaken tasks. No codification of drilling tools used for HDD wells was made as this is a case for cogged or diamond bits, i.e. IADC code. Therefore, the authors concentrated on working out guidelines for a rational selection of drilling tools for the HDD technology. Basing on the analyses and studies, the authors elaborated a computer program Horizon aiding the selection of the drilling tool.
    Źródło:
    Wiertnictwo, Nafta, Gaz; 2007, 24, 1; 653-660
    1507-0042
    Pojawia się w:
    Wiertnictwo, Nafta, Gaz
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Praca grupowa z wykorzystaniem repozytorium projektu
    Collaboration with the project repository
    Autorzy:
    Supernak, S.
    Powiązania:
    https://bibliotekanauki.pl/articles/91327.pdf
    Data publikacji:
    2012
    Wydawca:
    Warszawska Wyższa Szkoła Informatyki
    Tematy:
    repozytorium projektu
    narzędzia CASE
    platformy programistyczne
    project repository
    tools CASE
    programming platforms
    Opis:
    Celem artykułu jest przedstawienie aspektów pracy grupowej w projekcie informatycznym z wykorzystaniem repozytorium w procesie tworzenia oprogramowania. Omówiono narzędzia umożliwiające swobodny przepływ informacji o projekcie i dzielenie się nią. W narzędziach typu CASE artefakty projektowe gromadzi się w repozytoriach pracy grupowej, które wspomagają organizację pracy zespołu, umożliwiają śledzenie przebiegu pracy oraz kontrolę wersji artefaktów. Zaprezentowano zintegrowane platformy programistyczne systematyzujące pracę grupową zespołu projektowego z wykorzystaniem dedykowanych metodologii projektowych.
    The goal of the following study is to show the features of group work in a computer science project incorporating a repository in the process of software development. The tools of information sharing and unrestricted information flow were put up for discussion. In case of tools such as CASE, project artifacts are gathered in group work repositories which enhance organization of the team work, enable the progress monitoring and control of the artifact versions. The integrated programming platforms regularizing group work of project team with the use of dedicated project methodologies were presented.
    Źródło:
    Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki; 2012, 6, 7; 163-178
    1896-396X
    2082-8349
    Pojawia się w:
    Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Wybrane aspekty tworzenia oprogramowania interaktywnej aplikacji do szkolenia operatorów tokarek
    Selected aspects of programming an interactive application for training of lathes operators
    Autorzy:
    Filipek, D.
    Kalwasiński, D.
    Powiązania:
    https://bibliotekanauki.pl/articles/269524.pdf
    Data publikacji:
    2013
    Wydawca:
    Wrocławska Rada Federacji Stowarzyszeń Naukowo-Technicznych
    Tematy:
    obrabiarka
    wirtualna rzeczywistość
    narzędzia komputerowe
    programowanie
    lathe
    virtual reality
    computer tools
    programming
    Opis:
    W artykule przedstawiono wybrane istotne problemy, jakie wystąpiły podczas prac związanych z programowaniem aplikacji interaktywnej obsługi tokarki, którą to aplikację wykonano w Centralnym Instytucie Ochrony Pracy - Państwowym Instytucie Badawczym. Jest ona częścią stanowiska do interaktywnej symulacji obsługi tokarki, jako narzędzie wzbogacające i uzupełniające proces szkolenia przyszłych operatorów tokarek konwencjonalnych, zwłaszcza w aspekcie bezpieczeństwa ich użytkowania. Jako narzędzie oparte na technice wirtualnej rzeczywistości umożliwia, w sposób bez urazowy, zapoznanie uczestników z podstawowymi zasadami użytkowania tego typu maszyn.
    The paper presents selected essential problems which appeared in the course of the works related with the programming of the interactive lathe operation application. The application was developed in Central Institute for Labour Protection – National Research Institute (CIOP- PIB). This application is a part of a workstation for the interactive simulation of lathe operation as a tool which enriches and supplements the training process for the future lathe operators. Especially, in the area of safe use because as a tool based on virtual reality technique it enables to acquaint the learners with the basic principles of its use without the risk of injury.
    Źródło:
    Inżynieria Maszyn; 2013, R. 18, z. 2; 65-75
    1426-708X
    Pojawia się w:
    Inżynieria Maszyn
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The Concept of “Apps” as a Tool to Improve Innovation in e-Navigation
    Autorzy:
    Bergmann, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/117310.pdf
    Data publikacji:
    2015
    Wydawca:
    Uniwersytet Morski w Gdyni. Wydział Nawigacyjny
    Tematy:
    e-Navigation
    Modern System Architecture
    e-Navigation Development
    Apps Concept
    Integrated Navigation System (INS)
    ECDIS
    Application Programming Interfaces (API)
    Electronic Tools
    Opis:
    The current systems supporting navigation on board of ships are built on the classic concept for equipment: The system is developed, tested, type approved, installed and from that time on used with no or little modifications. Looking at other industries a regime of software and system maintenance has been established which allows more rapid updates. The development in the IT arena moves more towards modular approached, encapsulating individual components for easier implementation and delivery with limited system wide impact. This key concept is lately often referred to as the “app concept”. The e-Navigation development asks for exactly that: a way to improve innovation while ensuring system stability for the navigational components used by the navigator on the bridge. A key aspect of the success of new systems will be the ability to convert data into as information as needed in any given situation, creating knowledge for intelligent decisions increasing the competence of a navigator. The paper will focus on the following topics: – The classic “monolithic” Equipment paradigm – Modern System Architecture using components and “apps”-concept – Advantages of an approach using situational driven tool enhancements – The “app”-concept supporting the situational centric information presentation.
    Źródło:
    TransNav : International Journal on Marine Navigation and Safety of Sea Transportation; 2015, 9, 3; 437-441
    2083-6473
    2083-6481
    Pojawia się w:
    TransNav : International Journal on Marine Navigation and Safety of Sea Transportation
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-6 z 6

      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