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ę "język programowania" wg kryterium: Temat

  Lista filtrów

Dostawca treści

Podbaza

Wyrównaj
    Wyświetlanie 1-11 z 11
    Tytuł:
    Grounding and extracting modal responses in cognitive agents: 'AND' query and states of incomplete knowledge
    Autorzy:
    Katarzyniak, R. P.
    Pieczyńska-Kuchtiak, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/907407.pdf
    Data publikacji:
    2004
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    cognitive agent
    semantic communication
    language grounding
    czynnik poznawczy
    komunikacja semantyczna
    język programowania
    Opis:
    In this study an original way of modeling language grounding and generation for a simple set of language responses is presented. It is assumed that the language is used by a cognitive agent and consists of a few modal belief and possibility formulas that are used by this agent to communicate its opinions on the current state of an object. The cognitive agent is asked a simple AND query and the language is tailored to this situation. The agent's knowledge bases are characterized by certain incompleteness of information on the current state of objects. The language of the available responses is originally grounded in the agent's previous empirical experience. According to the assumptions of the cognitive linguistics and the phenomenology of knowledge, this experience is the basic source of meaning represented by the available formulas (responses). In the study the idea of an epistemic satisfaction relation is introduced that describes states of the agent's knowledge in which particular formulas are satisfied in the epistemic sense. Additionally, a formal description of the semantic power of formulas is presented. The concepts of the empirical satisfaction relation and the semantic power of formulas are used to define a model of particular language behavior that preserves the assumption of language grounding. Two examples of possible implementations are given. These implementations are basic ones and refer to statistical characteristics of the stored empirical experience of the cognitive agent.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2004, 14, 2; 249-263
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Creation of third generation e-learning systems using telepresence robot and specialized visual programming language
    Tworzenie systemów e-learningowych trzeciej generacji przy użyciu robota telepresence i specjalistycznego języka programowania wizualnego
    Autorzy:
    Matviychuk, Yaroslav
    Hasko, Roman
    Powiązania:
    https://bibliotekanauki.pl/articles/941762.pdf
    Data publikacji:
    2013
    Wydawca:
    Uniwersytet Rzeszowski. Wydawnictwo Uniwersytetu Rzeszowskiego
    Tematy:
    robot
    teleobecność
    e-learning
    wizualny język programowania
    telepresence robot
    visual programming language
    Opis:
    W artykule przedstawiono typowe wady istniejących systemów e-learningowych opartych na Web 2.0 oraz zaproponowano podstawową strukturę ich nowej generacji. Kluczowym elementem tego rozwiązania jest robot telepresence sterowany za pomocą interfejsu WWW z elementami autonomicznego zachowania. Drugą ważną cechą jest wbudowany wizualny język programowania (VPL) pozwalający na wzmocnienie zarówno procesu uczenia się, jak i autonomii robota telepresence. Wykorzystano system oparty na MINDSTORMS, tablet PC działający pod systemem Android do wideokonferencji i serwer MOODLE do konstrukcji działającego prototypu zaproponowanego systemu e-learningowego z robotem telepresence.
    The article describes the typical drawbacks of existing e-learning systems based on Web 2.0 and proposes the basic structure for a new solution. The key feature is a telepresence robot with elements of autonomous behaviour controlled via a web-interface. The second feature is the use of built-in visual programming language to empower both the learning process and the autonomy of the telepresence robot. A working prototype of the proposed e-learning system with telepresence robot based on MINDSTORMS, Android powered tablet PC for video and MOODLE-based server side was developed.
    Źródło:
    Nierówności Społeczne a Wzrost Gospodarczy; 2013, 36; 327-332
    1898-5084
    2658-0780
    Pojawia się w:
    Nierówności Społeczne a Wzrost Gospodarczy
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Model checking of java programs using networks of fadds
    Autorzy:
    Woźna, B.
    Zbrzezny, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/121764.pdf
    Data publikacji:
    2009
    Wydawca:
    Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
    Tematy:
    język programowania Java
    programowanie komputerowe
    Pathfinder
    języki programowania
    Java programming language
    computer programming
    PathFinder code
    programming languages
    Opis:
    In the paper we present the current theoretical base of the J2FADD tool, which translates a Java program to a network of finite automata with discrite data (FADDs).The reason for building the tool is that to model check a concurrent program writ-ten in Java by means of the tools like Uppaal or VerICS (the module VerICS ), an automata model of the Java program must be build first. This is because these tools verify only systems modeled as networks of automata, in particular, systems modeled as networks of FADDs. We also make an attempt to evaluate the J2FADD tool by comparison of it with the two well known Java verification tools: Bandera and Java PathFinder.
    Źródło:
    Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2009, 14; 151-164
    2450-9302
    Pojawia się w:
    Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Safety of CMS experiment systems operation – integration of a new CO2 fire extinguishing weighing system to the CMS safety panel
    Autorzy:
    Górniak, Patrycja
    Sobczyk, Andrzej
    Pobędza, Janusz
    Powiązania:
    https://bibliotekanauki.pl/articles/88712.pdf
    Data publikacji:
    2019
    Wydawca:
    Stowarzyszenie Menedżerów Jakości i Produkcji
    Tematy:
    safety systems
    Python programming
    sensors
    WinCC OA
    CERN
    systemy bezpieczeństwa
    język programowania Python
    czujniki
    Opis:
    The subject of the article is the integration of a new CO2 fire extinguishing weighing system to the panel displaying the status of Compact Muon Solenoid (CMS) detector safety systems (CMS Safety Panel) at CERN. The CO2 fire extinguishing system is responsible for protection of unique control devices, so safety of its operation and the weighing system was designed to monitor the state of it and make it reliable. CMS Safety Panel displays status of safety systems used in CMS Experiment and it is based on JCOP Framework that guarantee compatibility of all the projects. The integration of the new CO2 fire extinguishing system to the CMS Safety Panel requires that the system meets the assumptions that other projects fulfil and allows for clear monitoring of its situation along with the rest of the security systems.
    Źródło:
    System Safety : Human - Technical Facility - Environment; 2019, 1, 1; 490-497
    2657-5450
    Pojawia się w:
    System Safety : Human - Technical Facility - Environment
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Optimization of fundamental natural frequency of structures using VPL on the example of truss towers
    Autorzy:
    Wirowski, Artur
    Powiązania:
    https://bibliotekanauki.pl/articles/2146564.pdf
    Data publikacji:
    2020
    Wydawca:
    Politechnika Poznańska. Instytut Mechaniki Stosowanej
    Tematy:
    visual programming language
    truss tower
    natural frequency
    optimalization
    wizualny język programowania
    słup kratowy
    częstość własna
    optymalizacja
    Opis:
    The work describes the use of VPL to optimize fundamental natural frequency of structures based on the example of steel lattice towers. For this purpose, a universal programming tool in Python using FEM was created, which allows the optimization of any bar structure in terms of its natural frequency. The capabilities of the tool are illustrated in several examples. It has been shown that by changing the tower geometry it is possible to obtain its higher spatial rigidity with a small increase in mass, it is possible to control the frequencies and forms of natural vibrations. Finally, the possibilities of further development of VPL applications in optimization of fundamental natural frequency of constructions and generative architecture were discussed.
    Źródło:
    Vibrations in Physical Systems; 2020, 31, 2; art. no. 2020229
    0860-6897
    Pojawia się w:
    Vibrations in Physical Systems
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The evaluation of Qα based on experimental masses and other properties of atomic nuclei
    Oszacowanie Qα na podstawie eksperymentalnie wyznaczonych mas i innych własności jąder atomowych
    Autorzy:
    Krajka, A.
    Łojewski, Z.
    Mitura, R.
    Powiązania:
    https://bibliotekanauki.pl/articles/157732.pdf
    Data publikacji:
    2013
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    atomic mass
    data mining
    energy
    nucleons
    R language
    regression
    energia
    język programowania R
    masa atomowa
    nukleony
    regresja
    Opis:
    The specially interesting experimental value, in the nuclear physic, describing the alpha decay is the decay energy Qα. This energy is a key to understanding the series of nuclei disorders. On the basis of decay energy we may compute sequential masses and energy of unstable nuclides. Because alpha is the helium element, thus from a nucleus with N neutrons and Z protons after the alpha decay we obtain a nucleus with N-2 and Z-2 protons and neutrons, respectively. It is natural to compute Qα as a difference between the mass of nuclei with N neutrons and Z protons and masses obtained after decay i.e. the mass of nuclei with N-2 neutrons and Z-2 protons and the mass of helium element. We tested this known “classical“ formula based on a large collection of the newest experimental data, the so called AME2012 and NUBASE2012 data bases. We computed accurate constants in the “classical” formula. Additionally, we showed inadequacy of the “classical” model. The almost three times better model is the one based on a neutral network (named in paper MSN) but we prefer slightly better (in comparison with MSN) the nonlinear regression model (named MQT). MQT is the development of the “classical” method taking additionally into account the terms with separation energy neutrons and protons multiplied by multinomials of numbers of neutrons N and protons Z, respectively. In the paper we show how the mentioned above methods may be used to prediction of unknown values of Qα. All computations were made in language R.
    Szczególnie interesującą wielkością w fizyce jądrowej jest energia rozpadu cząstki alfa. Wielkość ta umożliwia odtworzenie mas i energii jąder szybko zmieniających się w przemianach jądrowych pierwiastków. Ponieważ cząstka alfa jest jądrem atomu helu, więc z jądra o N neutronach i Z protonach otrzymujemy po przemianie jądro o N-2 neutronach i Z-2 protonach oraz jądro atomu helu. Dlatego naturalne jest szacowanie energii Qα jako różnicy mas jądra przed przemianą i jądra po przemianie wraz z masą atomu helu. Jest to tzw. “klasyczny” sposób obliczania energii Qα. Na podstawie dużego zbioru nowo uzyskanych eksperymentalnych wyników (bazy danych AME2012 I NUBASE2012) chcielibyśmy w tej pracy zweryfikować “klasyczny” sposób obliczania Qα. Obliczymy dokładniej stałe występujące w “klasycznym” wzorze a potem pokażemy, że niektóre inne metody dają zdecydowanie mniejszy błąd niż wspomniana “klasyczna” metoda. W szczególności opiszemy sieci neuronowe (MSN) oraz przedstawimy preferowaną przez nas metodę MQT opartą na nieliniowej regresji. MQT może być traktowana jako rozwinięcie “klasycznej” metody poprzez uwzględnieni dodatkowo członów z energiami separacji protonów i neutronów pomnożonych przez odpowiednie wielomiany od liczby protonów i neutronów. Dodatkowo pokażemy jak te wszystkie metody służą do prognozowania nieznanych wartości Qα. Wszystkie obliczenia wykonaliśmy w języku R.
    Źródło:
    Pomiary Automatyka Kontrola; 2013, R. 59, nr 10, 10; 1128-1132
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A qualitative approach in terms of fuzzy logic related to the excellence achieving within managerial process of personnel selection
    Podejście jakościowe w warunkach logiki rozmytej w relacji do osiągnięcia doskonałości w kierowniczym procesie wyboru personelu
    Autorzy:
    Sirb, L
    Dragolea, L.
    Powiązania:
    https://bibliotekanauki.pl/articles/405251.pdf
    Data publikacji:
    2013
    Wydawca:
    Politechnika Częstochowska
    Tematy:
    fuzzy logic
    decisional process
    personnel
    Java programming language
    Java
    logika rozmyta
    proces decyzyjny
    personel
    język programowania Java
    Opis:
    The present article aims to design and develop a qualitative methodology using fuzzy logic in order to be a real tool for the managerial decisional factor in solving the multicriteria decisional problems related to the proper selection of the personnel and to the achievement of excellence in this field within a company. In our days, the economical environment characterized by globalization and by a continuous change, offers many times to the decisional factors some situations which are surrounded by uncertainty and ambiguity, fact that in its turn leads to a subjectivism of their reasoning, which is in fact a feature of the abstract thinking of human being itself. This aspects are manifesting also in the field of personnel selection, where the evaluations related to this process are often subjectives, materialized through qualitative linguistic values. In this context, using the proposed fuzzy methodology, embedded in a fuzzy software tool developed in the Java programming language, can offer significantly opportunities and chances to achieve the excellence in this field of research, because the future and performance of any organization depend by the human resources that are working within it.
    Celem niniejszego artykułu jest zaprojektowanie i opracowanie metodologii, wykorzystującej logikę rozmytą, w celu utworzenia prawdziwego narzędzia czynnika decyzyjnego w rozwiązywaniu wielokryterialnych problemów decyzyjnych związanych z właściwym wyborem personelu. W dzisiejszych czasach, środowisko rynkowe charakteryzuje się globalizacją i ciągłymi zmianami, powodując bardzo często konieczność podejmowania decyzji w sytuacjach niepewnych i wieloznacznych, co z kolei prowadzi do zjawiska subiektywności przy ich podejmowaniu, co w rzeczywistości jest cechą abstrakcyjnego rozumowania u człowieka. Te aspekty bardzo często występują w zakresie doboru personelu, gdzie oceny związane z tym procesem, bardzo często mają charakter subiektywny, uwidacznianie przez jakościowe wartości językowe. W tym kontekście, stosując rozmytą metodologię, istniejące narzędzia, opracowane w języku programowania Java, oferują znaczące korzyści i szanse na osiągnięcie doskonałości w tej dziedzinie badań, ponieważ przyszłość i efektywność każdej organizacji uzależniona jest od zasobów ludzkich które w niej pracują.
    Źródło:
    Polish Journal of Management Studies; 2013, 7; 48-57
    2081-7452
    Pojawia się w:
    Polish Journal of Management Studies
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Mobile wheeled robot to support the task of the alarm sub-unit
    Mobilny robot kołowy do wsparcia pododdziału alarmowego
    Autorzy:
    Powarzyński, Daniel.
    Powiązania:
    Scientific Journal of Polish Naval Academy 2020, nr 4, s. 53-66
    Data publikacji:
    2020
    Tematy:
    Bezzałogowe statki powietrzne
    Rozpoznanie obrazowe
    Pododdziały (wojsk.)
    Python (język programowania)
    Roboty mobilne
    Sterowanie
    Artykuł z czasopisma naukowego
    Artykuł z czasopisma wojskowego
    Artykuł problemowy
    Opis:
    W artykule przedstawiono oprogramowanie i konstrukcję mobilnych robotów kołowych przeznaczonych do eliminowania zagrożeń wynikających z zadań pododdziału alarmowego poprzez wizyjną analizę pola obserwacji, a także obsługi systemów z podglądem w czasie rzeczywistym. Może być wykorzystany m.in. do nadzorowania żołnierzy przebywających w strefach izolacyjnych oraz identyfikacji nierozpoznanych obiektów. Wskazano, że oprogramowanie robota zostało zaimplementowane w oparciu o minikomputer Raspberry Pi 4 B, z wykorzystaniem środowiska programistycznego PYTHON oraz dostępnych bibliotek. Konstrukcja robota bazuje zaś na szkielecie komponentowym zbudowanym na głównym elemencie podwoziowym.
    Bibliografia, netografia na stronach 65-66.
    Dostawca treści:
    Bibliografia CBW
    Artykuł
    Tytuł:
    Application of deep learning techniques in identification of the structure of selected road materials
    Zastosowanie techniki głębokiego uczenia do identyfikacji struktury wybranych materiałów drogowych
    Autorzy:
    Mazurek, Grzegorz
    Durlej, Małgorzata
    Šrámek, Juraj
    Powiązania:
    https://bibliotekanauki.pl/articles/27314909.pdf
    Data publikacji:
    2023
    Wydawca:
    Politechnika Świętokrzyska w Kielcach. Wydawnictwo PŚw
    Tematy:
    deep learning
    tomograph
    R programming language
    classification
    road surfaces
    correlation
    digital image
    głębokie uczenie
    tomograf
    język programowania R
    klasyfikacja
    nawierzchnie drogowe
    korelacja
    obraz cyfrowy
    Opis:
    In research, there is a growing interest in using artificial intelligence to find solutions to difficult scientific problems. In this paper, a deep learning algorithm has been applied using images of samples of materials used for road surfaces. The photographs showed cross-sections of random samples taken with a CT scanner. Historical samples were used for the analysis, located in a database collecting information over many years. The deep learning analysis was performed using some elements of the VGG16 network architecture and implemented using the R language. The learning and training data were augmented and cross-validated. This resulted in the high level of 96.4% quality identification of the sample type and its selected structural features. The photographs in the identification set were correctly identified in terms of structure, mix type and grain size. The trained model identified samples in the domain of the dataset used for training in a very good way. As a result, in the future such a methodology may facilitate the identification of the type of mixture, its basic properties and defects.
    W badaniach naukowych obserwuje się coraz większe zainteresowanie wykorzystaniem sztucznej inteligencji do poszukiwania rozwiązań trudnych problemów naukowych. W niniejszym artykule został zastosowany algorytm głębokiego uczenia z użyciem obrazów próbek materiałów wykorzystywanych do budowy nawierzchni drogowych. Fotografie przedstawiały przekroje losowych próbek wykonane za pomocą tomografu komputerowego. Do analizy wykorzystano próbki historyczne, znajdujące się w bazie danych zbierającej informacje z wielu lat. Analizę głębokiego uczenia wykonano przy użyciu niektórych elementów architektury sieci VGG16 i zaimplementowano, stosując język R. Dane uczące oraz treningowe poddano augmentacji oraz walidacji krzyżowej. W rezultacie uzyskano wysoki poziom 96,4% jakości identyfikacji rodzaju próbki oraz jej wybranych cech strukturalnych. Fotografie w zbiorze identyfikacyjnym zostały poprawnie zidentyfikowane pod względem struktury, typu mieszanki oraz uziarnienia. Wytrenowany model w bardzo dobry sposób zidentyfikował próbki w obszarze dziedziny trenowanego zbioru danych. W rezultacie taka metodyka może w przyszłości ułatwić identyfikację rodzaju mieszanki, jej podstawowych właściwości oraz defektów.
    Źródło:
    Structure and Environment; 2023, 15, 3; 159--167
    2081-1500
    Pojawia się w:
    Structure and Environment
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Digital signal processing in ECG recorder with python-based software
    Autorzy:
    Kosiński, W.
    Owczarek, A.
    Jarocki, B.
    Momot, M.
    Płaczek, M.
    Zegartowski, G.
    Gacek, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/333978.pdf
    Data publikacji:
    2003
    Wydawca:
    Uniwersytet Śląski. Wydział Informatyki i Nauki o Materiałach. Instytut Informatyki. Zakład Systemów Komputerowych
    Tematy:
    elektrokardiografia
    urządzenie rejestrujące EKG
    detekcja QRS
    cyfrowe przetwarzanie sygnału
    język programowania Python
    electrocardiography
    ECG recorder
    QRS detection
    digital signal processing
    Python language
    Linux
    open source
    Opis:
    The aim of the paper is to present the possibilities and the advantages of using open source solution like Python and Linux in medical application development. An implementation of the QRS detection and classification is described as an example of integration of C++ and DSP toolkit in a Python application.
    Źródło:
    Journal of Medical Informatics & Technologies; 2003, 6; IT61-68
    1642-6037
    Pojawia się w:
    Journal of Medical Informatics & Technologies
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A short survey on fully-automated people movement and identity detection algorithms
    Analiza algorytmów skorelowanych z detekcją ruchu osób i ich tożsamości
    Autorzy:
    Szymkowski, Maciej
    Przybyszewski, Karol
    Powiązania:
    https://bibliotekanauki.pl/articles/1818442.pdf
    Data publikacji:
    2021
    Wydawca:
    Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
    Tematy:
    computer Vision
    image processing
    artificial Intelligence
    people movement
    identity detection
    person Re-Identification
    Python programming language
    przetwarzanie obrazów
    sztuczna inteligencja
    detekcja ruchu
    wykrywanie tożsamości
    język programowania Python
    Opis:
    Nowadays, diversified companies use security systems based on cameras to increase safety of their enterprise. However, when the camera observes multiple people, it is hard for humans to directly observe each of them. In the literature, there are multiple computer vision-based approaches that automatically detect person identity and the way he is moving. Moreover, there are approaches that identify people across multiple cameras (reidentification). It is crucial, especially in the crowded places. By these algorithms we can detect people whose behavior is strange. Diversified approaches can be easily found in the literature and online-available repositories. The work, presented in this paper, can be divided into three main parts: literature review, selected algorithms implementation and results comparison. We have to claim that each solution was implemented in Python programming language with sufficient libraries. This technology was selected due to its efficiency and simplicity. Results of the conducted experiments have shown that it is clearly possible to detect people’s movement and observe their identities even in crowded places.
    Współcześnie w wielu miejscach publicznych oraz obszarach zajmowanych przez zróżnicowane firmy możemy zauważy systemy bezpieczeństwa bazujące na kamerach. Jednakże bardzo ciężko jest pojedynczemu operatorowi obserwować każdą osobę która pojawi się na obrazie. W tym celu powstały algorytmy bazujące na metodyce Computer Vision, które mają na celu wykrycie nie tylko trasy poruszania się każdej osoby ale również ocenę jej tożsamości. Co więcej tego typu rozwiązania mogą być bardzo przydatne w zatłoczonych miejscach, gdzie niezwykle ważne jest wykrycie niestandardowego zachowania poszczególnych osób. W literaturze oraz bazach dostępnych online możemy znaleźć zróżnicowane podejścia do rzeczonego problemu. W ramach naszej pracy porównujemy kilka z nich. Każde z wybranych rozwiązań zostało zaimplementowane przy użyciu języka Python i bibliotek dostępnych w ramach rzeczonego języka. To środowisko zostało wybrane ze względu na jego wydajność oraz prostotę pisania kodu. Wyniki, które uzyskaliśmy wskazują na to, że aktualnie istniejące solucje mogą być używane do obserwacji trasy poszczególnych osób nawet w zatłoczonych miejscach.
    Źródło:
    Advances in Computer Science Research; 2021, 15; 1--14
    2300-715X
    Pojawia się w:
    Advances in Computer Science Research
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-11 z 11

      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