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

  Lista filtrów

Dostawca treści

Podbaza

Wyrównaj
Wyświetlanie 1-15 z 16
Tytuł:
Porównanie implementacji programowych automatów sterujących w sterownikach wbudowanych
Comparison of software implementations of controlling automatons in embedded controllers
Autorzy:
Grodzki, L.
Powiązania:
https://bibliotekanauki.pl/articles/153526.pdf
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
sterowniki wbudowane
automaty
języki programowania
embedded microcontrollers
automatons
programming languages
Opis:
Programowanie sterowników wbudowanych polega na wykorzystaniu standardowych języków i narzędzi programowania. Zadanie sterowania sekwencyjnego realizowanego przez sterownik może być w różny sposób zaimplementowane w wybranym środowisku programowania. W zależności od tego uzyskuje się programy różniące się między sobą szybkością pracy i zapotrzebowaniem na pamięć operacyjną. Parametry te stają się istotne przy doborze optymalnej konstrukcji systemu mikroprocesorowego sterownika. Praca zawiera porównanie efektywności różnych wariantów oprogramowania tego samego zadania sterowania.
Programming of embedded microcontrollers is based on usage of the standard programming languages and tools: from machine-level symbolic instructions to high-level languages - mainly C. One of the typical control task, which is usually implemented in microcontroller software, is logic sequential control. Programme implementation of that task depends on: used programming language and its possible syntax. Sometimes we can also use dedicated aiding system, which generates software implementation of the control task from its formal description to insert it into controller software. Usage of different programming languages and techniques causes that control software can work slower or faster and needs less or more operating memory. The time and memory complexity of the control software decide about the controller hardware and are important, when this hardware should be optimal. The article contains the comparison of time and memory efficiency of the exemplary control task according to usage of different programming languages, techniques and even programming tools. Conclusions pointed in the paper can be useful for microcontroller designer and programmer.
Źródło:
Pomiary Automatyka Kontrola; 2007, R. 53, nr 10, 10; 33-36
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
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ł:
Programowanie obiektowe w symulacji układów elektromechanicznych i estymacji parametrów
Object oriented programming in simulation of electromechanical systems and parameter estimation
Autorzy:
Macek-Kamińska, K.
Kamiński, M.
Korbaś, G. P.
Powiązania:
https://bibliotekanauki.pl/articles/157287.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
układy elektromechaniczne
modelowanie
języki programowania
programowanie obiektowe
electromechanical systems
modeling
programming languages
Opis:
W artykule zaprezentowano doświadczenia autorów w modelowaniu układów elektromechanicznych. Do przeprowadzania tych prac zostały opracowane autorskie aplikacje. Dzięki odpowiedniemu projektowi w oparciu o wykorzystanie techniki programowania obiektowego udało się w łatwy sposób przystosowywać ją do różnych wariantów obliczeń. Na jej bazie zbudowano specjalizowane narzędzia do obliczeń symulacyjnych napędów grupowych i do estymacji parametrów modelu matematycznego badanego obiektu. Pokazano też opis dedykowanego systemu do estymacji parametrów wraz z jego sieciowym rozszerzeniem.
The paper presents the authors' experiences in modeling electromechanical systems. To carry out this work the original applications were developed. The project of application, based on object-oriented programming techniques, has allowed in an easy way adapting it to different variants of calculations and building on its basis the extended, specialized tools for numerical simulations of the group of drives and estimation of the object mathematical model parameters. The authors suggest that the choice of simulation software should satisfy the basic criterion - it should comply with standards. Not all tools used currently meet this criterion. With this approach it will be easy to prevent a situation where the new version of the tool will not work with source files developed in the previous versions. The second recommendation is separation of the code responsible for calculating from the code responsible for user's interaction, so that you can modify the application interface (as shown in Fig. 1). The paper presents also description of a dedicated system for parameter estimation and its network extension. The network version of this application can perform calculations in a flexible way by making use of any number of available computers.
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 3, 3; 297-300
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Język C++/CLI – narzędzie do tworzenia aplikacji
C++/CLI language - application development tool
Autorzy:
Jastrzębski, G.
Powiązania:
https://bibliotekanauki.pl/articles/137214.pdf
Data publikacji:
2012
Wydawca:
Uczelnia Jana Wyżykowskiego
Tematy:
C++
CLI
Common Language Infrastructure
języki programowania
programming languages
Opis:
Praca przedstawia podstawowe wiadomości na temat języka C++/CLI (Common Language Infrastructure), w szczególności różnice pomiędzy nim a językiem C++. Pomimo skrótowej formy zawiera informacje wystarczające do zbudowania pełnowartościowych aplikacji w technologii .NET.
This paper presents basic features of a C++/ CLI (Common Language Infrastructure), with a particular focus on differences between this language and a C++ language. Despite the abbreviated form, the paper contains enough information to allow one to create valuable applications using .NET technology.
Źródło:
Zeszyty Naukowe Dolnośląskiej Wyższej Szkoły Przedsiębiorczości i Techniki. Studia z Nauk Technicznych; 2012, 1; 55-71
2299-3355
Pojawia się w:
Zeszyty Naukowe Dolnośląskiej Wyższej Szkoły Przedsiębiorczości i Techniki. Studia z Nauk Technicznych
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Ewolucja systemów operacyjnych, języków programowania a kod virusów
Operation systems and programming languages evolution impact on Virus source code
Autorzy:
Sobczak, Marcin
Apiecionek, Łukasz
Powiązania:
https://bibliotekanauki.pl/articles/41205400.pdf
Data publikacji:
2014
Wydawca:
Uniwersytet Kazimierza Wielkiego w Bydgoszczy
Tematy:
bezpieczeństwo systemów operacyjnych
kod źródłowy virusów
języki programowania
operation system security
viruse source code
programming languages
Opis:
Wirusy komputerowe mają obecnie wpływ na działanie wielu systemów, tak samo jak wirusy biologiczne na organizm człowieka. Można znaleźć podobieństwa w działaniu virusów komputerowych do biologicznym w wielu aspektach ich działania. Rozwój systemów operacyjnych, funkcji jakie dostarczają, spowodował również ewolucję virusów. Zarażają obecnie różne elementy systemu i są przenoszone za pomocą innych mechanizmów. Zastosowane mechanizmy w systemach operacyjnych jak i rozwój języków programowania spowodował, że pisanie virusów, czy uciążliwych programów stało się prostsze, a stosowanie mechanizmów zabezpieczeń w systemie jest obecnie konieczne. W niniejszym artykule autorzy na bazie dwóch przykładowych kodów virusów przedstawiają ich ewolucję oraz analizują wpływ ewolucji systemów operacyjnych na ich sposoby infekcji.
Computer viruses are currently affecting the operation of multiple systems, as well as biological viruses on the human body. There are many similarities in the operation of a biological and computer viruses in many aspects of their operation. The development of operating systems, functions that they provide, has also led to the evolution of computer viruses. They infect currently various elements of the system and are moved by other mechanisms. Mechanisms used in operating systems and the development of programming languages meant that writing computer viruses or trojans programs has become easier, and the use of security mechanisms in the system is now necessary. In this article the authors on the basis of two examples of viruses source codes show their evolution and analyze the impact of the evolution of operating systems on their modes of infection.
Źródło:
Studia i Materiały Informatyki Stosowanej; 2014, 16; 10-15
1689-6300
Pojawia się w:
Studia i Materiały Informatyki Stosowanej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Programowe struktury ramowe do tworzenia sterowników robotów
Programming frameworks for development of robot controllers
Autorzy:
Zieliński, C.
Kornuta, T.
Powiązania:
https://bibliotekanauki.pl/articles/277746.pdf
Data publikacji:
2015
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
metody programowania robotów
języki programowania robotów
programowe struktury ramowe
sterowniki robotów
robot programming methods
robot programming languages
programming frameworks
robot controllers
Opis:
Liczba typów robotów oraz wykorzystywanych przez nie czujników niezmiennie wzrasta, otwierając wciąż nowe pola ich zastosowań. Różnorodność ta wpływa na zapotrzebowanie na narzędzia ułatwiające ich programowanie. W artykule skupiono uwagę na narzędziach programistycznych umożliwiających tworzenie wysokopoziomowych sterowników robotów. Pokrótce omówiono ewolucję metod programowania robotów, od języków specjalizowanych, przez biblioteki, aż po programowe struktury ramowe. W szczególności omówiono szereg popularnych programowych struktur ramowych, umożliwiających tworzenie złożonych sterowników robotów.
The constantly increasing diversity of types of robot and sensors opens new fields of applications. This affects the demand for tools facilitating their programming. This article focuses on the programming tools for development of high-level robotic controllers. It briefly discusses the evolution of methods of robot programming, starting from specialized languages, specialized libraries of functions for general purpose programming languages, ending up on robot programming frameworks. In particular, it presents a number of popular programming frameworks, enabling the creation of complex robot controllers.
Źródło:
Pomiary Automatyka Robotyka; 2015, 19, 1; 5-14
1427-9126
Pojawia się w:
Pomiary Automatyka Robotyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zastosowanie narzędzi informatycznych stosowanych w tworzeniu stron internetowych do obliczeń symulacyjnych
Application of it tools used in the creation of websites to numerical calculations
Autorzy:
Macek-Kamińska, K.
Kamiński, M.
Powiązania:
https://bibliotekanauki.pl/articles/159708.pdf
Data publikacji:
2016
Wydawca:
Sieć Badawcza Łukasiewicz - Instytut Elektrotechniki
Tematy:
języki programowania
metody obliczeniowe
programming languages
numerical methods
Opis:
Celem artykułu jest wskazanie możliwości zastosowania intensywnie ostatnio rozwijanych narzędzi informatycznych, zasadniczo przeznaczonych do tworzenia stron internetowych, do obliczeń numerycznych. Głównym obiektem zainteresowania autorów będzie język JavaScript, który w połączeniu z możliwościami języków HTML5 oraz CSS da programistom zestaw wydajnych narzędzi, które wykorzystać będzie można zarówno na etapie obliczeń numerycznych jak i późniejszej prezentacji wyników w formie gotowej strony internetowej.
The aim of the paper is to indicate the possibility of the application of recently intensively developed tools (generally intended to create websites) to numerical calculations. The main object of the authors' interest is the language JavaScript which combined with the capabilities of HTML5 and CSS languages can give developers a set of powerful tools that may be taken both at the stage of numerical calculations and subsequent presentation of results in the form of ready-made website.
Źródło:
Prace Instytutu Elektrotechniki; 2016, 273; 117-123
0032-6216
Pojawia się w:
Prace Instytutu Elektrotechniki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Model ekstraktora sygnałów dyskretnych = Model of extractor for discrete signals
Model of extractor for discrete signals
Autorzy:
Kuczerski, Tomasz.
Powiązania:
Problemy Techniki Uzbrojenia 2017, nr 4, s. 71-77
Współwytwórcy:
Lewandowski, Zbigniew. Autor
Data publikacji:
2017
Tematy:
Algorytmy
Transmisja danych
Sygnały impulsowe
Sygnały informatyczne
Języki programowania
Postęp techniczny
Artykuł problemowy
Artykuł z czasopisma naukowego
Artykuł z czasopisma wojskowego
Opis:
Fotografie, rysunki.
Bibliografia na stronie 77.
Dostawca treści:
Bibliografia CBW
Artykuł
Tytuł:
Nowe sposoby nauki programowania w edukacji wczesnoszkolnej
The new ways of teaching software in early school education
Autorzy:
Czerski, Wojciech
Powiązania:
https://bibliotekanauki.pl/articles/446178.pdf
Data publikacji:
2018
Wydawca:
Uniwersytet Rzeszowski
Tematy:
programowanie,
edukacja wczesnoszkolna,
kodowanie,
języki programowania
programming,
primary education,
coding,
programming languages
Opis:
Nowa podstawa programowa z dnia 14 lutego 2017 r. wprowadza naukę programowania już od I etapu edukacji. Z tego powodu wielu nauczycieli uczących na tym etapie edukacji poszukuje nowych rozwiązań umożliwiających realizację tej części podstawy programowej. W artykule zaprezentowane zostały nowatorskie platformy, które mogą z powodzeniem być zastosowane do nauki podstaw programowania wśród dzieci z klas I–III szkoły podstawowej.
The new core curriculum from February 14, 2017 introduces learning programming in the first stage of education. For this reason, many teachers who are teaching at this stage of education are looking for new solutions enabling the implementation of this part of the core curriculum. The article presents innovative platforms that can be successfully used to learn the basics of program-ming among children from grades I–III of primary school.
Źródło:
Dydaktyka informatyki; 2018, (13) 2018; 129-134
2083-3156
Pojawia się w:
Dydaktyka informatyki
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 16

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