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ę "Stasiak, A" wg kryterium: Autor

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 25
Tytuł:
Wieś jako obszar turystyki społecznej
Countryside as an area of social tourism
Autorzy:
Stasiak, A.
Powiązania:
https://bibliotekanauki.pl/articles/78866.pdf
Data publikacji:
2011
Wydawca:
Zachodniopomorski Uniwersytet Technologiczny w Szczecinie. Wydawnictwo Uczelniane ZUT w Szczecinie
Źródło:
Folia Pomeranae Universitatis Technologiae Stetinensis. Oeconomica; 2011, 64
2081-0644
Pojawia się w:
Folia Pomeranae Universitatis Technologiae Stetinensis. Oeconomica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Optymalizacja realizacji układowej hierarchicznych sieci Petriego
The implementation optimization of the hierarchical Petri nets
Autorzy:
Stasiak, A.
Powiązania:
https://bibliotekanauki.pl/articles/152872.pdf
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
projektowanie zintegrowane
sieci Petriego
model formalny
systemy osadzone
systemy cyfrowe
mikrosystemy cyfrowe
FPGA
hardware-software codesign
Petri nets
formal model
embedded systems
digital systems
digital microsystems
PLD
Opis:
Projektowanie wysokiego poziomu systemów cyfrowych dotyczy szeregu aspektów związanych bezpośrednio z wybraną metodologią projektowania, modelem formalnym, algorytmami syntezy sprzętowej i programowej opisu behawioralnego. Rozważając sieci Petriego jako model formalny projektowanego systemu, szczególnie interpretowane hierarchiczne sieci Petriego, projektant ma do dyspozycji bogaty zbiór algorytmów analizy formalnej, metod syntezy programowej i sprzętowej. Jednak znane rozwiązania dotyczą przede wszystkim opisu zachowania funkcjonalnego sterowników logicznych, gdzie miejsce sieci reprezentuje logiczną operację przypisania poziomu '0' lub '1' do wyjścia układu (jeden bit lub wektor). Zauważalny jest jednak brak propozycji naukowych wspierających projektowanie systemu opisanego sieciami Petriego, gdzie w miejscu sieci realizowane są złożone instrukcje arytmetyczne lub logiczne. Przykładem sieci Petriego wspierającej w pełni projektowanie systemu sprzętowo-programowego jest siec PNHSDM (ang. Petri Net for Hardware So-ftware Digital Microsystem). Artykuł w sposób ogólny przedstawia model formalny sprzętowo-programowych sieci Petriego PNSHDM, skupiając się szczególnie na metodzie optymalizacji algorytmu syntezy sprzętowej sieci PNHSDM do reprogramowalnych układów FPGA. W pracy podjęto tematykę szeregowania zadań (ASAP, ALAP). Rozwiązano problem systemu przełączania sprzętowych modułów wykonawczych w kontekście planowanych do wykonania zadań. Wyznaczono wzór pozwalający na oszacowanie kosztów realizacji sprzętowej systemu przełączania, który zależny jest od liczby instancjacji i złożoności harmonogramowanej instrukcji.
The high level designing concerns several aspects that are directly related to the designing methodology as well as formal model definition, hardware/software synthesis algorithms, etc. When a Petri nets are considered as a formal model of developing system, especially hierarchical interpreted Petri nets, then a designer has a lot of ready to use and very well documented algorithms dedicated for formal verification, hardware and software synthesis, transformations, etc. However, most of the know solutions for Petri nets concerns designing logic controllers, where a one net place implements simple assigning operation of logical state to the output. There is lack of solutions that use a Petri nets to formalize and describe really system, where a place implements complex algebraic or logic functions. A formal model based on Petri nets for hardware-software digital microsystems (PNHSDM) has been elaborated to eliminate this gap. This paper shortly describes PNHSDM model, but author have concentrate on optimization of hardware Petri nets synthesis algorithm that is responsible to translate functional description into VHDL-RTL language. This approach takes into consideration task scheduling (ASAP, ALAP), presents elaborated solution of switching system for PNHSDM Petri nets as well as provides static hardware cost estimations of the switching system.
Źródło:
Pomiary Automatyka Kontrola; 2007, R. 53, nr 5, 5; 108-110
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The function of the sculpture in public space and its reception occupants of the city
Funkcja rzeźby w przestrzeni publicznej i jej odbiór przez obecnych użytkowników miasta
Autorzy:
Stasiak, A.
Powiązania:
https://bibliotekanauki.pl/articles/370272.pdf
Data publikacji:
2017
Wydawca:
Zachodniopomorski Uniwersytet Technologiczny w Szczecinie. Wydawnictwo Uczelniane ZUT w Szczecinie
Tematy:
art
public art
public space
sculpture
przestrzeń publiczna
rzeźba
sztuka
sztuka publiczna
Opis:
Sculpture has been with people for thousands of years. Its destiny, subject and scale have changed over the centuries. Public art, along with sculpture, began to appear in a new form (not only to commemorate important figures and events) only in the 1960s. This paper aims to answer what functions are currently performed by the sculptures located in a public space and how they are perceived by the inhabitants of the city.
Rzeźba towarzyszy ludyiom od tysięcy lat. Jej przeznaczenie, tematyka, skala zmieniały się na przestrzeni wieków. Sztuka publiczna – również rzeźba zaczyna pojawiać się w nowej formie (już nie tylko upamiętniającej ważne postaci i wydarzenia) dopiero w latach 60. ubiegłego wieku. Artykuł ma na celu odpowiedzieć jakie obecnie funkcje spełnia rzeźba ulokowana w przestrzeni publicznej oraz jak jest odbierana przez mieszkańców miasta.
Źródło:
Przestrzeń i Forma; 2017, 31; 175-188
1895-3247
2391-7725
Pojawia się w:
Przestrzeń i Forma
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wytwarzanie serwisów informacyjnych z wykorzystaniem koncepcji modelowania dziedzin : budowa języka dziedzinowego (KsiML)
Production of information services using the concept of domain modeling : a systematic approach for building domain specific language (KsiML)
Autorzy:
Kosior, A.
Stasiak, A.
Powiązania:
https://bibliotekanauki.pl/articles/273393.pdf
Data publikacji:
2012
Wydawca:
Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:
język dziedzinowy
DSL
modelowanie dziedzin
DSM
języki modelowania dziedzin
DSML
metody wytwarzania SI
UML
domain specific language
domain specific modeling
domain specific modeling languages
Opis:
W artykule przedstawiono opis procesu budowy języka dziedzinowego KsiML z wykorzystaniem MDE, bazując na modelowaniu dziedzin (DSM) i autorskiej metodzie KMS. Proces ten wykorzystano do budowy serwisu informacyjnego o projektach studenckich. W założeniach, zastosowanie zaproponowanego procesu powinno prowadzić do wzrostu jakości i reużycia tworzonego kodu, powodując obniżenie kosztów budowanych systemów.
The paper describes a process of building the domain language KsiML using the MDE approach, based on modeling domains (DSM) and the authors' KMS method . The process was used to build an information service of students' projects. In assumptions, the application of the proposed process should lead to height of quality and re-use of the source code, as well as decrease of construction systems costs.
Źródło:
Biuletyn Instytutu Automatyki i Robotyki; 2012, R. 18, nr 32, 32; 23-52
1427-3578
Pojawia się w:
Biuletyn Instytutu Automatyki i Robotyki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
New features in UML syntax and semantics
Autorzy:
Wolski, M.
Stasiak, A.
Powiązania:
https://bibliotekanauki.pl/articles/92885.pdf
Data publikacji:
2006
Wydawca:
Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach
Tematy:
unified modeling language
UML 2.0
model of IT system
new modeling techniques
Opis:
This paper is an overview of the most important new features introduced to version 2.0 of Unified Modeling Language. We denote the changes to existing diagram and present four new modeling techniques. We present the changes in definitions of syntax, semantics and pragmatics of behavioral and static models of systems designed with UML 2.0. Particular emphasis is put on the changes to sequence and activity diagrams and to component diagrams. The newly introduced diagrams, unknown in previous UML versions - interaction overview diagrams, timing diagrams, composite structure diagrams and package diagrams - are described with the most detail.
Źródło:
Studia Informatica : systems and information technology; 2006, 1(7); 265-276
1731-2264
Pojawia się w:
Studia Informatica : systems and information technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Ocena skuteczności pracy hodowlanej w zakresie cech użytkowości loch rasy pbz w grupach genetycznych stada zarodowego w Pukarzowie
Breeding works efficiency evaluation in the range of reproduction performance traits of PL breed sows in genetic groups of pedigree herd in Pukarzow
Autorzy:
Kasprzyk, A.
Stasiak, A.
Powiązania:
https://bibliotekanauki.pl/articles/2197669.pdf
Data publikacji:
2006
Wydawca:
Uniwersytet Przyrodniczy w Lublinie. Wydawnictwo Uniwersytetu Przyrodniczego w Lublinie
Tematy:
selekcja
praca hodowlana
cechy uzytkowosci rozplodowej
zmiennosc cech
trzoda chlewna
stada zarodowe
skutecznosc
swinia polska biala zwisloucha
lochy
Źródło:
Annales Universitatis Mariae Curie-Skłodowska. Sectio EE: Zootechnica; 2006, 24; 119-126
0239-4243
2083-7399
Pojawia się w:
Annales Universitatis Mariae Curie-Skłodowska. Sectio EE: Zootechnica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wpływ zawartości tłuszczu surowego w mieszance na skład chemiczny i profil kwasów tłuszczowych w mleku loch ras pbz i puławskiej
Influence of raw fat impact in diet on the chemical composition and a profile of fatty acids of sows milk PL and pulawska breeds
Autorzy:
Mazur, A.
Stasiak, A.
Powiązania:
https://bibliotekanauki.pl/articles/2197730.pdf
Data publikacji:
2006
Wydawca:
Uniwersytet Przyrodniczy w Lublinie. Wydawnictwo Uniwersytetu Przyrodniczego w Lublinie
Tematy:
zawartosc tluszczu
mieszanki paszowe
sklad chemiczny
sklad kwasow tluszczowych
trzoda chlewna
czynniki zywieniowe
mleko lochy
swinia pulawska
swinia polska biala zwisloucha
lochy
Źródło:
Annales Universitatis Mariae Curie-Skłodowska. Sectio EE: Zootechnica; 2006, 24; 147-154
0239-4243
2083-7399
Pojawia się w:
Annales Universitatis Mariae Curie-Skłodowska. Sectio EE: Zootechnica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analiza wyników użytkowości rozpłodowej oraz zmian masy ciała loch w pierwszym cyklu rozrodczym żywionych mieszankami z udziałem owsa nagoziarnistego
Analysis of the results of the reproductive performance and body weight changes of sows during the first reproductive cycle fed with mixture containing hulled oat grain
Autorzy:
Mazur, A.
Stasiak, A.
Powiązania:
https://bibliotekanauki.pl/articles/2197743.pdf
Data publikacji:
2006
Wydawca:
Uniwersytet Przyrodniczy w Lublinie. Wydawnictwo Uniwersytetu Przyrodniczego w Lublinie
Tematy:
zmiany masy ciala
mieszanki paszowe
uzytkowosc rozplodowa
zywienie zwierzat
trzoda chlewna
czynniki zywieniowe
owies nagoziarnisty
lochy
pierszy cykl rozplodowy
Źródło:
Annales Universitatis Mariae Curie-Skłodowska. Sectio EE: Zootechnica; 2006, 24; 133-139
0239-4243
2083-7399
Pojawia się w:
Annales Universitatis Mariae Curie-Skłodowska. Sectio EE: Zootechnica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
XDE.NET jako skuteczne środowisko wytwarzania aplikacji webowych dla systemów mobilnych
Autorzy:
Stasiak, A.
Wolski, M.
Powiązania:
https://bibliotekanauki.pl/articles/273293.pdf
Data publikacji:
2005
Wydawca:
Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:
aplikacja webowa
systemy mobilne
Opis:
W artykule przedstawiono opis pakietu narzędziowego VS.NET (Microsoft) z Rational XDE (IBM) do wytwarzania aplikacji werbowych, pracujących w środowisku urządzeń mobilnych na platformie .NET (firmy Microsoft) wraz z metodyką jego użycis, bazującą na procesie wytwórczym Rational Unifed Process. Opisano także metodykę tworzenia projeków w XDE . Szczególną uwagę poświęcono nowym funkcjom środowiska XDE, pozwalającym na badanie własności behawioranych aplikacji oraz dającym możliwości wykonywania testów systemu juz na poziomie specyfikacji języka UML. Opis procesu wytwórczego zilustrowano na przykładzie aplikacji z ograniczeniami czasowymi, zaimplementowanej w ASP.NET, a ptrzeznaczonej na platformę PocketPC.
Źródło:
Biuletyn Instytutu Automatyki i Robotyki; 2005, R. 11, nr 22, 22; 105-132
1427-3578
Pojawia się w:
Biuletyn Instytutu Automatyki i Robotyki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analiza i projektowanie systemów w budowanych z wykorzystaniem Rational Unified Process (RUP)
Autorzy:
Stasiak, A.
Zieliński, Z.
Powiązania:
https://bibliotekanauki.pl/articles/273305.pdf
Data publikacji:
2001
Wydawca:
Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:
proces wytwórczy RUP
oprogramowanie systemów wbudowanych
modelowanie systemu
rational suite enterprise
rational unified process
Opis:
W pracy przedstawiono przykład wykorzystania procesu wytwórczego RUP do produkcji oprogramowania systemów wbudowanych. Na bazie projektu pokładowego systemu sterowania uzbrojeniem samolotu szkolno-bojowego zaprezentowano proces analizy i projektowania oprogramowania z wykorzystaniem języka UML oraz narzędzi Rational Suite Enterprise.
Źródło:
Biuletyn Instytutu Automatyki i Robotyki; 2001, R. 7, nr 16, 16; 83-96
1427-3578
Pojawia się w:
Biuletyn Instytutu Automatyki i Robotyki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Planowanie złożonego wdrożenia systemu IT
Planning of IT system complex deployment
Autorzy:
Laszko, Ł.
Stasiak, A.
Powiązania:
https://bibliotekanauki.pl/articles/273351.pdf
Data publikacji:
2011
Wydawca:
Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:
model topologii
model wdrożenia
planowanie wdrożenia
języki dziedzinowe
UML
topology model
deployment model
deployment planning
domain languages
Opis:
W artykule przedstawiono zestaw technik i modeli wspierających procesy planowania wdrożeń systemów IT. Złożoność tych procesów zilustrowano przykładem opisu wdrożenia produktów platformy Jazz wykorzystywanych w badaniach i dydaktyce na Wydziale Cybernetyki WAT. Dodatkowo wskazano kierunek rozwoju tych procesów: od modeli konfiguracji w języku UML, do kompletnych opisów wdrożen w postaci modeli topologii. Modele topologii mogą być uruchamiane, co pozwala na prowadzenie eksperymentów w zakresie architektury oprogramowania.
This paper presents a set of techniques as well as models supporting planning of IT systems deployment. The complexity of such processes was depicted using an example of the Jazz platform deployment which is widely use in research and didactics on Cybernetics Faculty at the MUT. Additionally, development directions for such processes were indicated, starting from UML's deployment models and ending in comprehensive topology models which provide the basement for architectural experiments.
Źródło:
Biuletyn Instytutu Automatyki i Robotyki; 2011, R. 17, nr 31, 31; 55-77
1427-3578
Pojawia się w:
Biuletyn Instytutu Automatyki i Robotyki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Metody walidacji i weryfikacji specyfikacji funkcjonalnej mikrosystemu cyfrowego
Validation and verification methods of the digital microsystem functional specification
Autorzy:
Stasiak, A.
Skowroński, Z.
Powiązania:
https://bibliotekanauki.pl/articles/152874.pdf
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
projektowanie zintegrowane
sieci Petriego
model formalny
systemy osadzone
systemy cyfrowe
mikrosystemy cyfrowe
FPGA
hardware-software codesign
Petri nets
formal model
embedded systems
digital systems
digital microsystems
PLD
Opis:
Proces projektowy systemów cyfrowych, a w szczególności zintegrowanych sprzętowo-programowych mikrosystemów cyfrowych realizowanych z wykorzystaniem platformy SOPC, nie może być zakończony pomyślnie bez przeprowadzenia sprawdzenia i korekcji ewentualnych błędów projektowych. Do tego celu stosuje się metody walidacji zapisu specyfikacji funkcjonalnej zachowania systemu oraz metody weryfikacji funkcjonalnej projektowanego modelu. W artykule scharakteryzowano oraz omówiono opracowane na Uniwersytecie Zielonogórskim metody i oprogramowanie do walidacji i weryfikacji funkcjonalnej specyfikacji funkcjonalnej modelu opisanej sieciami Petriego.
The design process of the today digital systems, especially integrated hardware-software digital microsystems for SOPC platform, can not be finalized successfully without the verification and debug process. To meet the product requirements, like: system functionality, system stability, time-to-market, project costs, etc; there has to be performed several validation and/or verification tasks to confirm the finale model behaviour with initial/input functional specification. This paper describes validation and verification methods as well as software/tools elaborated and developed at University of Zielona Góra, by the Computing and Engineering Department.
Źródło:
Pomiary Automatyka Kontrola; 2007, R. 53, nr 5, 5; 111-113
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Środowisko projektowania systemów sterowania ruchem
Design environment for traffic control systems
Autorzy:
Dąbrowski, W.
Stasiak, A.
Powiązania:
https://bibliotekanauki.pl/articles/249961.pdf
Data publikacji:
2013
Wydawca:
Instytut Naukowo-Wydawniczy TTS
Tematy:
systemy sterowania ruchem
języki dziedzinowe
DSL
transML
TransCAD
traffic control systems
domain specific languages
Opis:
Poprawne projektowanie systemów sterowania ruchem wymaga, przy obecnej ich złożoności, wsparcia konceptualnego i narzędziowego. Niniejsze praca przedstawia propozycję budowy środowiska projektowania systemów kontroli i sterowania ruchem TransCAD. Środowisko to bazuje na języku TransML, który jest specjalizowanym, dziedzinowym językiem dedykowanym do budowy systemów kontroli i nadzoru ruchu. Proponowane środowisko projektowe może stanowić wsparcie dla ekspertów dziedzinowych przy projektowaniu systemów nadzoru ruchu. Artykuł przedstawia koncepcję języka dziedzinowego TransML, wprowadza definicję reguł dziedzinowych zapisanych w sposób formalny w języku OCL i przedstawia środowisko projektowania TransCAD. Autorzy ilustrują koncepcję zastosowań środowiska na prostym przykładzie. Definiowanie reguł dziedzinowych (w postaci formuł OCL) daje możliwość weryfikacji poprawności budowanego modelu oraz automatyzacji procesów projektowania i budowy tego typu systemów. W artykule autorzy proponują też dalsze kierunki rozwoju i badań języka TransML i środowiska TransCAD.
Proper design of complex control systems needs conceptual tools. This paper presents a proposal for the construction of design environment for control of traffic systems TransCAD . This environment is based on the language TransML, which is a specialized , domain centric language for experts in the field of traffic control systems. This paper presents the concept of TransML language , provides a definition of domain rules written in a formal language OCL and presents design environment TransCAD. The authors illustrate the concept uses a simple example. Defining the rules of domain (in the form of formulas OCL) provides the opportunity to verify the correctness of the model under construction and automation of the design and construction of such systems. In this paper the authors discuss future development of the language TransML and the environment TransCAD.
Źródło:
TTS Technika Transportu Szynowego; 2013, 10; 1423-1435, CD
1232-3829
2543-5728
Pojawia się w:
TTS Technika Transportu Szynowego
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Równoległa realizacja przykładowego algorytmu genetycznego z wykorzystaniem akceleratorów GPU
Autorzy:
Ratuszniak, P.
Stasiak, A.
Łańcucki, R.
Powiązania:
https://bibliotekanauki.pl/articles/118416.pdf
Data publikacji:
2018
Wydawca:
Politechnika Koszalińska. Wydawnictwo Uczelniane
Tematy:
algorytm genetyczny
programowanie równoległe
akceleracja obliczeń
akceleratory GPU
CUDA
problem komiwojażera
genetic algorithm
parallel programming
computing acceleration
GPU
travelling salesman problem
Opis:
W artykule zaprezentowano praktyczną implementację aplikacji rozwiązującej przykładowy algorytm genetyczny z wykorzystaniem akceleratorów GPU. W tym przypadku zdecydowano się na rozwiązanie za pomocą algorytmu genetycznego typowego problemu optymalizacyjnego, jakim jest problem komiwojażera. Dodatkowo w celu wykorzystania mocy karty graficznej w tworzonej aplikacji wykorzystano technologię programowania na karcie graficznej – technologię Nvidia CUDA.
The paper presents a practical implementation of a local desktop application that solves exemplary genetic algorithm with the use of GPU accelerators. In this case decided with the use of genetic algorithm to solve typical optimization problem which is travelling salesman problem. Additionally used Nvidia CUDA programming technology in order to use power of GPU in created application.
Źródło:
Zeszyty Naukowe Wydziału Elektroniki i Informatyki Politechniki Koszalińskiej; 2018, 13; 63-78
1897-7421
Pojawia się w:
Zeszyty Naukowe Wydziału Elektroniki i Informatyki Politechniki Koszalińskiej
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 25

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