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-15 z 32
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ł:
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ł
Tytuł:
Algorytmy równoległe w języku programowania C#
Parallel algorithms in the C# programming language
Autorzy:
Schubring, T.
Powiązania:
https://bibliotekanauki.pl/articles/251336.pdf
Data publikacji:
2016
Wydawca:
Instytut Naukowo-Wydawniczy TTS
Tematy:
język programowania C#
metoda For klasy Parallel
metoda iteracyjna
programming language C#
For class Parallel method
iterative method
Opis:
W artykule opisano możliwość łatwego implementowania równoległych algorytmów w języku programowania C# . Zwrócono szczególną uwagę na zastosowanie metody For klasy Parallel dostępnej na platformie Microsoft.NET.
The article describes the ability to easily implement parallel algorithms in the C# programming language. Special attention was paid to the application of the method For class Parallel available on the Microsoft .NET platform.
Źródło:
TTS Technika Transportu Szynowego; 2016, 12; 196-199
1232-3829
2543-5728
Pojawia się w:
TTS Technika Transportu Szynowego
Dostawca treści:
Biblioteka Nauki
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ł:
Automatyczny system dialogowy oparty na klasyfikatorze rozmytym i automacie skończonym w bezpieczeństwie pracy
Automatic dialog system based on a fuzzy classifier and a finite state machine in work safety
Autorzy:
Głowacz, W.
Powiązania:
https://bibliotekanauki.pl/articles/185934.pdf
Data publikacji:
2010
Wydawca:
Sieć Badawcza Łukasiewicz - Instytut Technik Innowacyjnych EMAG
Tematy:
automatyczny system dialogowy
bezpieczeństwo pracy
język programowania Python
automatic dialog system
Python language
work safety
Opis:
Celem referatu jest przedstawienie możliwości zastosowania automatycznego systemu dialogowego w bezpieczeństwie pracy [6], [7]. Automatyczny system dialogowy pozwala nawiązać kontakt pomiędzy użytkownikiem i komputerem. System dialogowy analizuje zdania użytkownika i generuje swoje zdania w języku naturalnym. Język naturalny jest zdefiniowany za pomocą metod formalnych, w tym automatów. Przedstawiono implementację systemu dialogowego w języku Python.
The paper aims at presenting the potential of use of an automatic dialog system in work safety [6], [7]. The automatic dialog system allows establishment of a contact between a user and a computer. The dialog system analyses sentences of a user and generates its own sentences in a natural language. The natural language is defined by structural methods including automatic machines. There has been presented in the paper the implementation of the dialog system in Python language.
Źródło:
Mechanizacja i Automatyzacja Górnictwa; 2010, R. 48, nr 1, 1; 42-45
0208-7448
Pojawia się w:
Mechanizacja i Automatyzacja Górnictwa
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Automatyzacja pomiarów współrzędnościowych organów roboczych maszyn urabiających z wykorzystaniem skanowania 3D
Automation of Coordinate Measurements of Mining Machines Working Units with 3D Scanning
Autorzy:
Cheluszka, P.
Powiązania:
https://bibliotekanauki.pl/articles/274737.pdf
Data publikacji:
2016
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
maszyna urabiająca
organ roboczy
stereometria
skanowanie 3D
pomiary
automatyzacja
język programowania Python
mining machine
working unit
stereometry
3D scanning
measurements
automation
Python programming language
Opis:
Maszyny urabiające należą do podstawowej grupy maszyn roboczych stosowanych w górnictwie podziemnym i powierzchniowym. W przypadku maszyn urabiających na zasadzie skrawania proces urabiania realizowany jest za pomocą organów roboczych wyposażonych w wymienne narzędzia, np. noże osadzone w uchwytach nożowych. Noże te rozmieszczone i ustawione są w przestrzeni w ustalony na etapie projektowania sposób, dostosowany do właściwości urabianego ośrodka skalnego. Pomiary współrzędnościowe sprowadzają się do wyznaczenia sześciu parametrów dla każdego z noży. Ze względu na sposób rozmieszczenia, pomiar bezpośredni tych parametrów nie jest możliwy. Metody pośrednie polegają na pomiarze wielkości wchodzących do definicji funkcji modelujących pomiar. W takim przypadku wygodnym rozwiązaniem zadania metrologicznego, szczególnie pod kątem automatyzacji procesu, jest wykorzystanie metod optycznych, na przykład skanera światła strukturalnego. Metoda ta wymaga zbudowania, dla każdego uchwytu nożowego oraz związanego z nim noża, modelu pomiaru. W przypadku dużej liczby noży jest to proces czaso- i pracochłonnych. Możliwość automatyzacji procesu pomiarowego przedstawiono na przykładzie głowicy urabiającej wysięgnikowych kombajnów chodnikowych, stosowanych do drążenia wyrobisk korytarzowych i tuneli. Omówiono przetwarzanie uzyskanych w trakcie pomiaru danych w celu wyznaczenia zestawu wartości parametrów stereometrycznych opisujących rozmieszczenie i ustawienie w przestrzeni poszczególnych noży oraz związanych z nimi uchwytów nożowych. Wykorzystano do tego funkcjonalność oprogramowania GOM Inspect Professional umożliwiającą budowanie strategii pomiaru za pomocą skryptów w języku Python.
Mining machines belong to the key group of working machines used in underground and surface mining. In case of machines mining by way of cutting, the process is carried out with working units fitted with a specific number of replaceable tools in the form of picks mounted in pickboxes. The picks are arranged and positioned in space in a way defined at the stage of design, adapted to the properties of the rock being excavated. The stereometry of such working units is measured by determining the values of six parameters for each of the picks. Such parameters cannot be measured directly due to the way they are arranged. Measurements are carried out with indirect methods where values are measured which form part of a definition of measurement modelling functions. The use of optical methods, for example a structured light scanner, is a convenient solution to carry out the considered metrological task, especially in view of the automation of this process. For this, however, a measurement model enabling to determine the values of the magnitudes searched for has to be built for each pickbox and for the related pick. This is a time- and work-intensive process in case of a large number of picks, though. The options of the measurement process automation are presented with the example of a cutting head of boom–type roadheaders employed for drilling dog headings and tunnels. The focus was put on the stage of processing the measuring data obtained in the measurement process to establish a set of stereometry parameters values describing the arrangement and position of individual picks and related pickboxes in space. For this purpose, a feature of GOM Inspect Professional software was used enabling to build a measurement strategy based on scripts created in Python language.
Źródło:
Pomiary Automatyka Robotyka; 2016, 20, 3; 33-42
1427-9126
Pojawia się w:
Pomiary Automatyka Robotyka
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ł:
Cyfrowe sterowanie z zastosowaniem układów programowalnych
Digital controlling using programmable devices
Autorzy:
Noga, K. M.
Powiązania:
https://bibliotekanauki.pl/articles/268760.pdf
Data publikacji:
2014
Wydawca:
Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
Tematy:
układy programowalne
cyfrowe sterowanie
język programowania sprzętu VHDL
programmable logic devices
digital controlling
VHDL
Opis:
W artykule zostaną przedstawione nowe stanowiska laboratoryjne, które zostały wykonane w Katedrze Automatyki Okrętowej AM Gdynia. Są one wykorzystywane do nauki cyfrowego sterowania z wykorzystaniem układów programowalnych i języka VHDL. Zostanie przedstawiony model windy 3-biegowej, wciągarki, sygnalizacji świetlnej na skrzyżowaniu ulicznym oraz systemu kontroli dostępu z czytnikiem kart zbliżeniowych RFID.
This paper presents new laboratory models which were build in Department of Ship Automation at Gdynia Maritime University, like the model of 3-running lift, hoisting winch, light signaling on street and the system of the control of access with the reader of cards RFID. There models controlled by programmable logic devices prepared with hardware description languages VHDL.
Źródło:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej; 2014, 40; 73-76
1425-5766
2353-1290
Pojawia się w:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
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ł:
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ł:
Hybrydowy system rekomendacji planów treningowych
Training plans hybrid recommender system
Autorzy:
Kaczanowski, Maciej
Powiązania:
https://bibliotekanauki.pl/articles/91455.pdf
Data publikacji:
2019
Wydawca:
Warszawska Wyższa Szkoła Informatyki
Tematy:
uczenie maszynowe
sztuczna inteligencja
nauka o danych
hybrydowe systemy rekomendacji
Microsoft Azure Machine Learning
język programowania Python
machine learning
artificial intelligence
data science
hybrid recommender
Python programming language
Opis:
Hybrydowe systemy rekomendacji łączą zalety metod stosowanych powszechnie w rekomendacji. Głównym celem tego artykułu jest przedstawienie zastosowania uczenia maszynowego do budowy hybrydowego silnika rekomendacji. Uczenie maszynowe jest poddziedziną sztucznej inteligencji, która wykazuję obiecujące rezultaty w klasyfikacji, predykcji, wykrywaniu anomalii i rekomendacji. W tym artykule zaproponowano koncepcję spersonalizowanego modelu systemu rekomendacji opartego na parametrach i planach treningowych sportowców. Badania przeprowadzono w środowisku chmurowym Microsoft Azure Machine Learning Studio na zbiorze danych wygenerowanym na podstawie danych referencyjnych.
Hybrid recommendation systems combine the advantages of commonly used methods in recommendations. This main objective of this article is to present application of machine learning to build a hybrid recommendation engine. Machine learning is subdomain of artificial intelligence that show promising results in classification, prediction, anomaly detection and recommendations. This paper proposed a personalized recommendation system model based on athletes parameters and training plans. The researches were carried out in the cloud environment Microsoft Azure Machine Learning Studio on football data set.
Źródło:
Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki; 2019, 13, 20; 29-40
1896-396X
2082-8349
Pojawia się w:
Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Języki programowania a programowanie robotów
Autorzy:
Kaczmarek, Wojciech
Panasiuk, Jarosław
Powiązania:
https://bibliotekanauki.pl/articles/304636.pdf
Data publikacji:
2019
Wydawca:
Wydawnictwo Druk-Art
Tematy:
język programowania
robot przemysłowy
metody programowania robotów
programming language
industrial robot
robot programming methods
Opis:
Istnieje wiele definicji języka programowania. Przykładem może być definicja zaproponowana przez profesora Mordechaja Ben-Ariego. "Język programowania to zbiór zasad określających, kiedy ciąg symboli tworzy program komputerowy oraz jakie obliczenia opisuje [I.2]."
Źródło:
Napędy i Sterowanie; 2019, 21, 3; 72-79
1507-7764
Pojawia się w:
Napędy i Sterowanie
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Metody realizacji wybranych algorytmów numerycznych do modelowania układów elektromechanicznych za pomocą aplikacji internetowej
Methods of implementation of selected numerical algorithms for modeling of electromechanical systems using web applications
Autorzy:
Macek-Kamińska, K.
Kamiński, M.
Powiązania:
https://bibliotekanauki.pl/articles/1812160.pdf
Data publikacji:
2012
Wydawca:
Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej
Tematy:
modelowanie układów elektromechanicznych
algorytmy numeryczne
aplikacja internetowa
system bazy danych
język programowania Python
rama programowa Django
Opis:
Article presents the authors expierences in creating a web-based application which is able to perform selected numerical calculations useful in electromechanical systems modeling. This application will enable to carry out the simulation calculations in real time and present their results on dinamic created web pages. All data required for calculations will be derived from the corresponding database tables. The proposed solution will give two new possibilities not available in traditional methods of calculation: it will allow to carry out calculations using any computer with Internet access and tools for easy data storage in a properly designed database.
Źródło:
Prace Naukowe Instytutu Maszyn, Napędów i Pomiarów Elektrycznych Politechniki Wrocławskiej. Studia i Materiały; 2012, 66, 32; 354-359
1733-0718
Pojawia się w:
Prace Naukowe Instytutu Maszyn, Napędów i Pomiarów Elektrycznych Politechniki Wrocławskiej. Studia i Materiały
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ł:
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ł
Wyświetlanie 1-15 z 32

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