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ł:
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ł:
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ł:
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ł:
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ł:
Strategia odwrócenia sterowania zależnościami w języku programowania Go
Inversion of control of dependencies strategy in Go programming language
Autorzy:
Jóźwiak, I.
Sasnal, P.
Powiązania:
https://bibliotekanauki.pl/articles/326292.pdf
Data publikacji:
2012
Wydawca:
Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
Tematy:
język programowania
GO
odwrócenie sterowania
implementacja
programming language
Go programming language
inversion of control
implementation
Opis:
W artykule przedstawiono analizę sposobów odwrócenia sterowania zależnościami w języku programowania Go. Rozpatrzono dostępne sposoby implementacji rozwiązania oraz konfiguracji używanego kontenera odwrócenia sterowania. Opisano korzyści wynikające z odwrócenia sterowania zależnościami w projekcie informatycznym.
The paper presents ways of inversion of dependencies control in Go programming language. Available ways of implementing solution and configuration of IoC container has been considered. Authors describe also advantages of using inversion of dependencies of control in IT project.
Źródło:
Zeszyty Naukowe. Organizacja i Zarządzanie / Politechnika Śląska; 2012, 61; 171-179
1641-3466
Pojawia się w:
Zeszyty Naukowe. Organizacja i Zarządzanie / Politechnika Śląska
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ł:
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ł:
Programowanie sterowników PLC metodą nauczania
Teaching-in programmable logic controllers
Autorzy:
Więcławek, R.
Powiązania:
https://bibliotekanauki.pl/articles/381628.pdf
Data publikacji:
2013
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
mechanizacja procesu odlewniczego
automatyzacja procesu odlewniczego
komputerowe wspomaganie
produkcja odlewnicza
sterownik PLC
język programowania
mechanization of foundry proces
automation of foundry proces
computer aiding
casting production
programmable logic controller
programmable language
Opis:
Do automatyzacji procesów odlewniczych powszechnie stosowane są programowalne sterowniki logiczne PLC. Języki oraz znane metody programowania sterowników PLC sprawiają duże trudności przy implementacji rozwiązań dotyczących sterowania procedurami sekwencyjnymi. Dlatego podjęto prace nad opracowaniem metody, która umożliwiłaby łatwe programowanie procedur sekwencyjnych przez użytkowników nie będących automatykami. Efektem tych prac jest aplikacja opracowana dla sterowników Simatic S7-300, która umożliwia ich programowanie metodą stosowaną w robotyce – programowaniem poprzez nauczanie. Przeprowadzone badania wykazały możliwość stosowania tej metody do programowania dowolnych procedur sekwencyjnych o dowolnej liczbie kroków. Jedynym ograniczeniem jest rozmiar pamięci operacyjnej sterownika. Aplikację można też implementować w dowolnym sterowniku PLC, którego języki programowania są zgodne z normą IEC61131. Dalsze badania będą dotyczyły opracowania aplikacji umożliwiającej programowanie procedur sekwencyjnych, w których przejście do następnego kroku jest uzależnione od upływu zadanego czasu.
In automation of foundry processes, commonly used are programmable logic controllers (PLC). Languages and known methods of programming the PLC controllers cause big difficulties at implementing solutions concerning control of sequential procedures. This is why undertaken were the works on developing a method that would facilitate programming sequential procedures by the users not being automatic specialists. These works resulted in an application developed for the controllers Simatic S7-300 written in the STL language that makes possible their programming with the method commonly used in robotics, i.e. by teaching-in. The carried-out examinations showed a possibility to use this method for programming any sequential procedures with any number of steps. The only restriction is size of operational memory of the controller. The application can be also implemented in any PLC controller whose programming language is compliant with the standard IEC 61131. Further research will be aimed at developing an application that would permit programming sequential procedures where transition to the following step is dependent on expiry of the preset time.
Źródło:
Archives of Foundry Engineering; 2013, 13, 1 spec.; 189-192
1897-3310
2299-2944
Pojawia się w:
Archives of Foundry Engineering
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ł:
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ł:
Modele sterowane cyfrowo
Models digitally controlled
Autorzy:
Noga, K. M.
Powiązania:
https://bibliotekanauki.pl/articles/269043.pdf
Data publikacji:
2015
Wydawca:
Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
Tematy:
cyfrowe sterowanie
układy programowalne
mikroprocesory
język programowania sprzętu VHDL
digitally controlled
microprocessor
programmable logic devices
language VHDL
Opis:
W artykule zostaną przedstawione fizyczne modele przygotowane i oprogramowane, w ramach prac dyplomowych, w Katedrze Automatyki Okrętowej Akademii Morskiej w Gdyni, umożliwiające studentom poznanie zasad projektowania, testowania i implementacji algorytmów cyfrowego sterowania.
This paper presents examples of application for several models of physical objects controlled by systems based on microprocessors or programmable logic devices (PLD), this is the device to following the sun, the three-wheeled robot (line follower) and the robot under-water ROV (Remotely Operated Vehicle). During laboratory sessions students create control systems and realize particular assignments with application of PLDs or microprocessors.
Źródło:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej; 2015, 46; 81-84
1425-5766
2353-1290
Pojawia się w:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
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