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ę "Wisniewski, R." wg kryterium: Autor

  Lista filtrów
Wyrównaj
Wyświetlanie 1-25 z 87
Tytuł:
Kanony budowy systemów motywacyjnych pracowników
Autorzy:
Wisniewski, R.
Powiązania:
https://bibliotekanauki.pl/articles/12088.pdf
Data publikacji:
2014
Wydawca:
Naukowe Wydawnictwo IVG
Tematy:
pracownicy
przedsiebiorstwa
motywacje pracy
system motywacyjny
strategie przedsiebiorstw
Źródło:
Ekonomia i Zarządzanie: Wiedza. Raporty. Diagnozy. Analizy. Przykłady; 2014, 2
2084-963X
Pojawia się w:
Ekonomia i Zarządzanie: Wiedza. Raporty. Diagnozy. Analizy. Przykłady
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Istota i znaczenie systemu motywacyjnego w przedsiębiorstwie
Autorzy:
Wisniewski, R.
Powiązania:
https://bibliotekanauki.pl/articles/12170.pdf
Data publikacji:
2014
Wydawca:
Naukowe Wydawnictwo IVG
Tematy:
przedsiebiorstwa
praca
pracownicy
motywacje pracy
system motywacyjny
srodowisko pracy
zaangazowanie
satysfakcja
wyniki ekonomiczne
Źródło:
Ekonomia i Zarządzanie: Wiedza. Raporty. Diagnozy. Analizy. Przykłady; 2014, 2
2084-963X
Pojawia się w:
Ekonomia i Zarządzanie: Wiedza. Raporty. Diagnozy. Analizy. Przykłady
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zastosowanie hipergrafów w procesie selekcji implikantów prostych
Application of hypergraphs to the prime implicant selection process
Autorzy:
Wiśniewski, R.
Stefanowicz, Ł.
Powiązania:
https://bibliotekanauki.pl/articles/155992.pdf
Data publikacji:
2013
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
minimalizacja funkcji logicznych
selekcja implikantów prostych
hipergraf
transwersala dokładna
minimization of Boolean functions
selection of prime implicants
hypergraph
exact transversal
Opis:
W referacie przedstawiona została nowa koncepcja selekcji implikantów prostych w procesie dwupoziomowej minimalizacji funkcji logicznych. Aktualnie znane metody selekcji bazują na połączeniu metod dokładnych z przybliżonymi. W artykule zaproponowana została nowatorska metoda selekcji, która w całości opiera się na algorytmach dokładnych, poprzez zastosowanie teorii hipergrafów. Najbardziej istotną zaletą proponowanego rozwiązania jest wielomianowa złożoność obliczeniowa całej operacji selekcji, która w przypadku ogólnym ma złożoność wykładniczą.
: In the paper a new idea for the selection of prime implicants is proposed. The method is based on the two-level minimization process of the Boolean functions, according to the Quine-McCluskey approach. Initially, the set of prime implicants for the logic function ought to be calculated. Next, the selection process is applied to achieve the minimal formula. Such an operation is a typical covering problem and in general case it has exponential computational complexity. In the paper we propose a new prime implicants selection method. An idea is based on the hypergraph theory. The prime implicants table is formed as a selection hypergraph. If the selection hypergraph belongs to the Exact Transversal Hypergraph class (xt-class), the solution may be obtained in a polynomial time, which is not possible in a general case. The proposed method is illustrated by an example. All necessary steps are shown in order to apply the proposed selection algorithm to minimize an exemplary Boolean function.
Źródło:
Pomiary Automatyka Kontrola; 2013, R. 59, nr 11, 11; 1195-1197
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Local analysis of hybrid systems on polyhedral sets with state-dependent switching
Autorzy:
Leth, J.
Wisniewski, R.
Powiązania:
https://bibliotekanauki.pl/articles/330556.pdf
Data publikacji:
2014
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
inkluzja różniczkowa
badanie stabilności
układ hybrydowy
stability analysis
switched system
hybrid system
differential inclusion
Opis:
This paper deals with stability analysis of hybrid systems. Various stability concepts related to hybrid systems are introduced. The paper advocates a local analysis. It involves the equivalence relation generated by reset maps of a hybrid system. To establish a tangible method for stability analysis, we introduce the notion of a chart, which locally reduces the complexity of the hybrid system. In a chart, a hybrid system is particularly simple and can be analyzed with the use of methods borrowed from the theory of differential inclusions. Thus, the main contribution of this paper is to show how stability of a hybrid system can be reduced to a specialization of the well established stability theory of differential inclusions. A number of examples illustrate the concepts introduced in the paper.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2014, 24, 2; 341-355
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Optimization of the quintic equation of the state based model for the calculations of different thermodynamic properties
Autorzy:
Kozioł, A.
Wiśniewski, R.
Powiązania:
https://bibliotekanauki.pl/articles/778661.pdf
Data publikacji:
2008
Wydawca:
Zachodniopomorski Uniwersytet Technologiczny w Szczecinie. Wydawnictwo Uczelniane ZUT w Szczecinie
Tematy:
równanie stanu
równowaga para-ciecz
wielomiany Hermita
NBP equation of state
vapour-liquid equilibrium
cubic Hermite polynomials
Opis:
Different thermodynamic properties (the vapour density, the liquid density and the saturation pressure) were calculated by the model based on the Nakamura-Breedveld-Prausnitz equation of state (NBP EOS). Since the original form of the NBP EOS often generates inaccurate results for liquids, it was modified to describe this phase better. The calculations were realized in the subcritical region. So far, the temperature-dependent NBP EOS parameters have been obtained by special correlations. Their constants were fitted to a lot of experimental data. In this paper the equation of state temperature-dependent parameters were obtained by a new method which was based at piecewise cubic Hermite interpolating polynomials (PCHIPs). In the proposed method some experimental data (called the key ones) were used, thus reducing the experimental effort. Seven substances were chosen for the test calculations. Each of them is common in industry. The calculation results were compared with the experimental data. The new method has made an accurate description of vapour-liquid equilibrium for the considered pure substances over a wide temperature range possible.
Źródło:
Polish Journal of Chemical Technology; 2008, 10, 1; 6-10
1509-8117
1899-4741
Pojawia się w:
Polish Journal of Chemical Technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Effect of selected chemical and physical factors on the activity of Dreissena polymarpha (Pallas, 1771)
Autorzy:
Nowacki, P.
Wisniewski, R.
Powiązania:
https://bibliotekanauki.pl/articles/83363.pdf
Data publikacji:
2002
Wydawca:
Uniwersytet Mikołaja Kopernika. Wydział Biologii i Ochrony Środowiska. Stowarzyszenie Malakologów Polskich
Źródło:
Folia Malacologica; 2002, 10, 1
1506-7629
Pojawia się w:
Folia Malacologica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Euler-Poincare reduction of externally forced rigid body motion
Autorzy:
Wiśniewski, R.
Kulczycki, P.
Powiązania:
https://bibliotekanauki.pl/articles/970328.pdf
Data publikacji:
2004
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
modelowanie
sterowanie
ruch ciała sztywnego
mechanika Lagrange'a
kształtowanie energetyczne
modelling
control
rigid body motion
Lagrange mechanics
energy shaping
Opis:
If a mechanical system experiences symmetry, the Lagrangian becomes invariant under a certain group action. This property leads to substantial simplification of the description of movement. The standpoint in this article is a mechanical system affected by an external force of a control action. Assuming that the system possesses symmetry and the configuration manifold corresponds to a Lie group, the Euler-Poincare reduction breaks up the motion into separate equations of dynamics and kinematics. This becomes of particular interest for modeling, estimation and control of mechanical systems. A control system generates an external force, which may break the symmetry in the dynamics. This paper shows how to model and to control a mechanical system on the reduced phase space, such that complete state space asymptotic stabilization can be achieved. The paper comprises a specialization of the well-known Euler-Poincare reduction to a rigid body motion with forcing. An example of satellite attitude control illustrates usefulness of the Euler-Poincare reduction in control engineering. This work demonstrates how the energy shaping method applies for Euler-Poincare equations.
Źródło:
Control and Cybernetics; 2004, 33, 2; 297-310
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Anomalous Low Resistivity at Room and Elevated Temperatures of Manganin Alloy Implanted with High Dose Niobium Ions
Autorzy:
Wiśniewski, R.
Wilczyńska, T.
Powiązania:
https://bibliotekanauki.pl/articles/1492783.pdf
Data publikacji:
2011-12
Wydawca:
Polska Akademia Nauk. Instytut Fizyki PAN
Tematy:
72.15.Eb
Opis:
The anomalous low resistivity metallic material at room temperature has been discovered. Known high resistive material called manganin in form of 10 μm thick foil was one side implanted with high dose of niobium ions of 2.5 × $10^{17}$ Nb ions/$cm^2$ and then with 2.5 × $10^{13}$ Kr ions/$cm^2$. Before and after implantation procedure investigated manganin foils were temperature treated in 130°C during 100 h. Basic resistance measurements were performed just after implantation observing large decrease of its resistivity. In repeated measurements after long time later (about twelve months), at temperature of 22°C, practically no resistivity was measured. Four-terminal method for resistance measurements was used.
Źródło:
Acta Physica Polonica A; 2011, 120, 6; 1080-1083
0587-4246
1898-794X
Pojawia się w:
Acta Physica Polonica A
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modelowanie pracy węzła fermentacji metanowej w warunkach zróżnicowanych temperatur. Część 1: Model pracy pojedynczej komory i jego weryfikacja
Modeling of efficiency of an anaerobic digestion process center in different fermentation temperature conditions. Part 1: Model of single chamber and its verification
Autorzy:
Wiechecki, W.
Wiśniewski, R.
Powiązania:
https://bibliotekanauki.pl/articles/2070679.pdf
Data publikacji:
2009
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
wytwarzanie biogazu
fermentacja metanowa
modelowanie
biogas production
anaerobic digestion
modelling
Opis:
Opracowano rozszerzony model matematyczny pracy komory fermentacji metanowej w oczyszczalni ścieków przemysłowych i komunalnych pracującej w warunkach zróżnicowanych temperatur fermentacji i zweryfikowano jego poprawność w oparciu o dostępne dane procesowe. Wyniki badań mogą być wykorzystane w pracach nad zwiększeniem efektywności oczyszczania ścieków i wydajności produkcji biogazu w procesie fermentacji metanowej.
The extended mathematical model of a methane fermentation unit in the sewage treatment plant for industrial and municipal wastes working in different fermentation temperature conditions was elaborated and its accuracy was verified against available process data. Results from this research can be applied to improve the sludge reduction and biogas production efficiency in anaerobic digestion process.
Źródło:
Inżynieria i Aparatura Chemiczna; 2009, 5; 105-106
0368-0827
Pojawia się w:
Inżynieria i Aparatura Chemiczna
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modelowanie pracy węzła fermentacji metanowej w warunkach zróżnicowanych temperatur, Część II: Model pracy układu wielu komór i jego weryfikacja
Modeling of anaerobic digestion node efficiency under variable fermentation temperature conditions. Part II. Multiple-chamber node model and its verification
Autorzy:
Wiechecki, W.
Wiśniewski, R.
Powiązania:
https://bibliotekanauki.pl/articles/2070893.pdf
Data publikacji:
2010
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
wytwarzanie biogazu
fermentacja metanowa
modelowanie fermentacji
biogas production
anaerobic digestion
digestion modeling
Opis:
Opracowano model matematyczny pracy węzła fermentacji metanowej w oczyszczalni ścieków, składającego się z wielu komór o zróżnicowanych temperaturach fermentacji. Zweryfikowano model w oparciu o dane procesowe i modelowano pracę układów wielu komór pracujących w warunkach zróżnicowanych temperatur i czasów przebywania ścieków. Model i wyniki modelowania mogą być wykorzystane w pracach nad zwiększeniem efektywności oczyszczania ścieków i wydajności produkcji biogazu w węźle fermentacji metanowej.
A mathematical model of methane fermentation node in a sewage-treatment plant, comprising multiple fermentation chambers working under variable fermentation time and temperature conditions, was elaborated. The model accuracy was verified against the process data. Modeling of multiple-chamber nodes performance under variable fermentation time and temperature was conducted. The achieved results can be used to improve the sludge reduction and biogas production efficiency in anaerobic digestion process.
Źródło:
Inżynieria i Aparatura Chemiczna; 2010, 2; 123-124
0368-0827
Pojawia się w:
Inżynieria i Aparatura Chemiczna
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Optymalizacja pracy węzła fermentacji metanowej w oczyszczalni ścieków
Optimization of the methane fermentation node efficiency in a sewage plant
Autorzy:
Wiechecki, W.
Wiśniewski, R.
Powiązania:
https://bibliotekanauki.pl/articles/2071556.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
wytwarzanie biogazu
fermentacja metanowa
modelowanie fermentacji
biogas production
anaerobic digestion
digestion modeling
Opis:
Dla opracowanego modelu matematycznego pracy węzła fermentacji metanowej w oczyszczalni ścieków, składającego się z wielu komór o zróżnicowanych temperaturach fermentacji i czasach przebywania ścieków, przeprowadzono badania nad optymalizacją pracy węzła, dotyczące wpływu temperatur fermentacji i czasów przebywania ścieków w poszczególnych komorach. Wyniki badań mogą być wykorzystane w pracach nad zwiększeniem efektywności oczyszczania ścieków i produkcji biogazu w węźle fermentacji metanowej oraz do tworzenia systemu sterowania pracą węzła.
The elaborated mathematical model of anaerobic digestion node in a sewage-treatment plant, comprising of multiple fermentation chambers working under variable fermentation time and temperature conditions was used to conduct optimization study of fermentation time and temperature influence. The achieved results can be used to improve sludge reduction and biogas production efficiency in anaerobic digestion process and for creating the digestion node control system.
Źródło:
Inżynieria i Aparatura Chemiczna; 2011, 5; 108-109
0368-0827
Pojawia się w:
Inżynieria i Aparatura Chemiczna
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Przyczynek do epidemiologii rzęsistkowicy i grzybic dróg moczopłciowych
A contribution to epidemiology of trichomonadosis and cycosis of urogenital tracts
Prilozhenie k ehpidemiologii trikhomonadoza i mikozojj mochepolovykh putejj
Autorzy:
Karp-Damdin
Wiśniewski, R.
Powiązania:
https://bibliotekanauki.pl/articles/2154169.pdf
Data publikacji:
1978
Wydawca:
Polskie Towarzystwo Parazytologiczne
Źródło:
Wiadomości Parazytologiczne; 1978, 24, 4; 425-430
0043-5163
Pojawia się w:
Wiadomości Parazytologiczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wyniki badań nad obecnością pasożytów jelitowych u ludności miasta i powiatu Rzeszów
Results of investigations concerning the occurrence of the intestinal parasites in the area of town and the (rural) district of Rzeszow
Rezultaty issledovanijj prisutstvija parazitov kishechnika u naselenija goroda i poveta Zheshuv
Autorzy:
Głowniak, C.
Wiśniewski, R.
Powiązania:
https://bibliotekanauki.pl/articles/2176413.pdf
Data publikacji:
1974
Wydawca:
Polskie Towarzystwo Parazytologiczne
Źródło:
Wiadomości Parazytologiczne; 1974, 20, 6; 855-864
0043-5163
Pojawia się w:
Wiadomości Parazytologiczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Synteza mikroprogramowanych układów sterujących z identyfikacją wyjść oraz dekoderem funkcji
Synthesis of compositional microprogram control units with outputs identification and function decoder
Autorzy:
Wiśniewski, R.
Barkalov, A. A.
Powiązania:
https://bibliotekanauki.pl/articles/156316.pdf
Data publikacji:
2008
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
mikroprogramowany układ sterujący
dekoder funkcji
programowalny układ FPGA
compositional microprogram control unit (CMCU)
function decoder
field programmable gate array (FPGA)
Opis:
W artykule zaprezentowana zostanie metoda umożliwiająca zmniejszenie liczby wyjść oraz funkcji logicznych modułów wewnętrznych układu sterującego poprzez zastosowanie identyfikacji wyjść łańcuchów bloków operacyjnych. Ponadto wprowadzony zostanie dodatkowy blok dekodera funkcji, który może zostać zrealizowany z wykorzystaniem dedykowanych bloków pamięci, co znacznie pozwala zmniejszyć liczbę elementów logicznych matryc FPGA. Szczegółowe badania przeprowadzone przez autorów potwierdzają skuteczność proponowanej metody. W porównaniu ze standardowym sposobem projektowania układów mikroprogramowanych, rozwiązanie wykorzystujące dekoder funkcji pozwala zmniejszyć liczbę wykorzystanych bloków logicznych średnio o 36%.
A new synthesis method of compositional microprogram control unit (CMCU) is presented in the article. The method is based on the modification in the traditional solutions. Application of an additional block - function decoder - permits to reduce the number of logic blocks used for implementation of the CMCU on FPGA. All steps required in order to synthesize CMCU with function decoder will be shown. Detailed investigations conducted by authors have shown that the proposed method permits to decrease the FPGA area used for implementation of the control unit up to 36% compared with traditional solutions.
Źródło:
Pomiary Automatyka Kontrola; 2008, R. 54, nr 8, 8; 585-587
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Ekstensywność zarażenia rzęsistkiem pochwowym, drożdżakami i dwoinką rzeżączki kobiet w Rzeszowie i okolicy
The extensiveness on infection with Trichomonas vaginalis, yeast-like fungi and Neisseria gonorrhoeae in women in the town Rzeszow and its vicinity
Ehkstensivnost zarazhenija trikhomonadojj, pervichnosumchatymi gribami i tripperom zhenshhin v Zheshuve i okrestnosti
Autorzy:
Karp-Damdin, M.
Wiśniewski, R.
Powiązania:
https://bibliotekanauki.pl/articles/2152685.pdf
Data publikacji:
1987
Wydawca:
Polskie Towarzystwo Parazytologiczne
Źródło:
Wiadomości Parazytologiczne; 1987, 33, 1; 47-51
0043-5163
Pojawia się w:
Wiadomości Parazytologiczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Compressibility of $AgI-Ag_{2}MoO_{4}$ System Measured in Wide Range of Composition
Autorzy:
Wiśniewski, Z.
Wiśniewski, R.
Wilczyńska, T.
Powiązania:
https://bibliotekanauki.pl/articles/1538417.pdf
Data publikacji:
2010-04
Wydawca:
Polska Akademia Nauk. Instytut Fizyki PAN
Tematy:
61.43.Er
61.66.Dk
62.50.-p
Opis:
Results of compressibility measurements of $AgI-Ag_{2}MoO_{4}$ materials for different concentrations of AgI were presented. The obtained results were compared with phase diagram and internal structure of material. It was found that observed values of compressibility coefficient can be related to internal structure of investigated material.
Źródło:
Acta Physica Polonica A; 2010, 117, 4; 601-602
0587-4246
1898-794X
Pojawia się w:
Acta Physica Polonica A
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Dekompozycja sterowników współbieżnych z zastosowaniem transwersal dokładnych hipergrafu
Exact transversals in decomposition of Petri Nets into concurrent subnets
Autorzy:
Wiśniewska, M.
Adamski, M.
Wiśniewski, R.
Powiązania:
https://bibliotekanauki.pl/articles/155099.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
hipergraf
transwersala dokładna
sieć Petriego
dekompozycja sieci Petriego na podsieci współbieżne typu automatowego
hypergraph
exact transversal
Petri net
decomposition of a Petri Net into concurrent subnets automata
Opis:
W artykule zaprezentowany został nowatorski sposób dekompozycji cyfrowych sterowników współbieżnych opisanych z wykorzystaniem sieci Petriego na podsieci typu automatowego. W proponowanym rozwiązaniu relacje pomiędzy miejscami sieci Petriego określone za pomocą hipergrafu współbieżności. W odróżnieniu od dotychczas stosowanych rozwiązań, w artykule zaproponowano autorską koncepcję wyznaczania zbiorów niewspółbieżnych, która bazuje na obliczeniu transwersal dokładnych w hipergrafie współbieżności.
In the paper a new decomposition method of a control system into concurrent automata is presented. The control unit is described as a Petri Net which is further decomposed into concurrent subnets. The main idea of the proposed method is application of exact transversals to the decomposition algorithm. Contrary to the traditional solutions, the authors propose the application of a concurrency hypergraph instead of a standard concurrency graph. The concurrent subnets are found by calculation of exact transversals in the hypergraph. The selection of concurrent automata is also performed with application of exact transversals. Such a solution allows achieving the optimal results (the fewest number of concurrent automata). The proposed concurrency hypergraph has some unique properties. First of all, it is defined to be an exact hypergraph. Therefore, each exact transver-sal in such a hypergraph refers to the concurrent automata. Moreover, all minimal transversals of the hypergraph are also exact transversals. Finally, computation and selection of all exact transversals can be performed in polynomial-time, and this is the most important advantage of the proposed method. The traditional solutions are based on the coloring of a concurrency graph, thus the complexity is NP-complete. All steps that are required in order to perform the decomposition of a controller described by a Petri Net are shown. The proposed method is compared with the traditional solution. Finally, the preliminary results of experiments are presented and discussed.
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 8, 8; 851-853
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Usage of Hypergraph Theory in Decomposition of Concurrent Automata
Równoległa dekompozycja automatów współbieżnych z wykorzystaniem hipergrafów
Autorzy:
Wiśniewska, M.
Wiśniewski, R.
Adamski, M.
Powiązania:
https://bibliotekanauki.pl/articles/155626.pdf
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
transwersala
stany lokalne automatu
sieć Petriego
hypergraph
transversals
local states of automata
Petri nets
Opis:
Hypergraphs are useful mathematical tools for a compact representation of relations among local states in the state space of distributed, concurrent control automata (concurrent state machines). Therefore, application of hypergraphs is more efficient and intuitive than traditional solutions. For this reason we propose their application during the design process of reconfigurable logic controllers. It makes it possible to decompose an SFC or a related control interpreted Petri net into parallel or sequentially
Hipergrafy są dogodnym narzędziem matematycznym, umożliwiającym zwartą reprezentację relacji współbieżności lub relacji następstwa w przestrzeni stanów lokalnych cyfrowego automatu współbieżnego. Z tego względu zaproponowano ich wykorzystanie w projektowaniu rekonfigurowanego sterownika logicznego. Hipergraf pozwala w przejrzysty sposób opisywać nie tylko relację współbieżności miedzy stanami lokalnymi, lecz także poglądowo przedstawia ich przynależność do tego samego stanu globalnego. Ułatwia to dekompozycję diagramu SFC lub równoważnej mu interpretowanej sieci Petriego sterowania, na moduły, na przykład szeregowe lub równoległe. W artykule przedstawiono sposób dekompozycji równoległej cyfrowych układów współbieżnych, opisanych z wykorzystaniem sieci Petriego przeprowadzanej za pośrednictwem dekompozycji hipergrafów. Celem dekompozycji jest podział rekonfigurowanego sterownika logicznego na współbieżne moduły, z których każdy może być optymalizowany i syntezowany wykorzystaniem klasycznej teorii automatów cyfrowych. Sposób dekompozycji sieci Petriego z wykorzystaniem kolorowania grafu współbieżności lub wyszukiwania pokrycia klikami dopełnienia grafu współbieżności (a tym samym grafu niewspółbieżności, czyli grafu następstwa), jest już znany. Opracowując nową metodę, wzięto pod uwagę fakt, że hipergraf współbieżności miejsc sieci Petriego oprócz informacji o relacji między każdą parą miejsc przekazuje dodatkowe dane o istniejących w nim klikach, odpowiadających wcześniej wyznaczonym stanom globalnym. Metoda dekompozycji równoległej automatów współbieżnych zostanie zilustrowana przykładem. Pokazane zostaną niezbędne kroki, jakie są niezbędne do wykonania podziału sterownika logicznego z wykorzystaniem hipergrafów.
Źródło:
Pomiary Automatyka Kontrola; 2007, R. 53, nr 7, 7; 66-68
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wielomianowy algorytm wyznaczania hipergrafu współbieżności w sieciach Petriego swobodnego wyboru
A polynomial algorithm to compute the concurrency hypergraph in Petri nets
Autorzy:
Wiśniewski, R.
Wiśniewska, M.
Adamski, M.
Powiązania:
https://bibliotekanauki.pl/articles/156447.pdf
Data publikacji:
2012
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
sieć Petriego
hipergraf współbieżności
dekompozycja
Petri net
concurrency hypergraph
decomposition
Opis:
W referacie zaproponowano metodę umożliwiającą określenie strukturalnej relacji współbieżności w sieciach Petriego swobodnego wyboru (Free Choice). Algorytm znajduje miejsca wzajemnie współbieżne na podstawie struktury sieci oraz miejsc oznaczonych markerem startowym. W odróżnieniu od istniejących algorytmów, proponowana metoda znajduje wszystkie miejsca wzajemnie współbieżne, wyznaczając hipergraf współbieżności. Przeprowadzone badania eksperymentalne potwierdzają bardzo wysoką skuteczność proponowanej metody.
In the paper a new algorithm of concurrency hypergraph computation is presented. The main aim of the proposed method is computation of a concurrency hypergraph in the polynomial time. The algorithm input is specified by the Petri net that belongs to the Free Choice subclass. Based on the net structure, the method outputs the concurrency relations between all places in the net. Particular relations are stored by the concurrency hypergraph instead of the concurrency graph, which is currently practiced. The hypergraph permits to store information about relations between all places in the net. In case of the concurrency graph it is limited to relations between pairs of places. Therefore, application of the concurrency hypergraph seems to be more intuitive and natural. The algorithm bases on the traditional solutions, however particular concurrency relation may contain more than two places which is not possible in currently known methods. The proposed solution is especially valuable in combination with the method presented in [1, 2] and permits to find the subsequent SM-Components in the polynomial time. The algorithm was experimentally verified. The method was compared with the traditional solution, where all maximal cliques in the concurrency graph were computed. The obtained results proved very high effectiveness of the proposed algorithm, which was always better than methods based on the graph theory. We have also noticed that the effectiveness increases drastically with the number of places and transitions in the Petri net.
Źródło:
Pomiary Automatyka Kontrola; 2012, R. 58, nr 7, 7; 650-652
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Conditions of the Professionalization of the Surveying Graduate Profi le in Poland
Warunki profesjonalizacji kształcenia na wydziałach o profilu geodezyjnym w Polsce
Autorzy:
Wiśniewski, R.
Brzezicka, J.
Źróbek, S.
Powiązania:
https://bibliotekanauki.pl/articles/385891.pdf
Data publikacji:
2016
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
edukacja geodetów
ścieżki kształcenia
educating surveyors
professional path of graduates
Opis:
Artykuł dotyczy kwestii profesjonalizacji kształcenia na kierunkach geodezyjnych w świetle wymagań współczesnej gospodarki. Egzemplifikację zagadnienia stanowią dane dotyczące profilu absolwentów kilku polskich uczelni. Przedstawiono w nim strategię rozwoju wydziału i kierunki zmian programów nauczania w następstwie przemian gospodarczych, rosnących możliwości uczelni wyższych, zmieniających się oczekiwań studentów i barier pojawiających się na rynku pracy. W pracy zastosowano następujące metody badawcze: studiowanie literatury, analiza wyników przeprowadzonego wcześniej badania ankietowego oraz studium przypadku. Na potrzeby pracy wykorzystano także literaturę przedmiotu, strategię rozwoju wydziału, doświadczenia autorów artykułu w tym aspekcie oraz wyniki badania absolwentów dotyczącego profesjonalnej ścieżki kształcenia na czterech wydziałach. Przeprowadzone w pracy badania i analizy pozwalają na stwierdzenie, że kształcenie na kierunkach geodezyjnych podlega procesom profesjonalizacji. Polskie uczelnie wyższe kształcące na kierunkach geodezyjnych dobrze poradziły sobie z procesami transformacji ustrojowej; dzięki zmianom w ofercie kształcenia oraz powiązaniu kształcenia z gospodarką kształcą absolwentów geodezji i kartografi i na najwyższym poziomie europejskim; aktywnie odpowiadają na zmieniające się oczekiwania studentów, dostosowując środki kształcenia do deklarowanych potrzeb; rozwijają kształcenie praktyczne znacznie wychodzące poza klasyczną geodezję i kartografię; intensywnie rozwijają wewnętrzne systemy zapewniania jakości kształcenia.
This paper concerns the issue of professional education in the faculties of the surveying educational profile in view of current economic requirements, using the example of few faculties of geodesy in Poland. It presents a strategy of faculty operation and the direction of changes in teaching curricula as a consequence of economic transformations, the growing possibilities of higher education institutions, changing expectations of students and emerging barriers in the labour market. The following research methods were applied in this paper: studies of writings, surveys and case study. The paper also uses the literature of the subject, strategic documents of the faculty, experience of the authors of the study in this field and results of a survey concerning the professional path of four faculties graduates. The studies and analyses performed in the paper lead to the conclusion that the teaching of geodetic subjects is in the process of professionalization. Polish universities offering geodetic courses, of the following, have coped with political transformations; as a result of changes in educational offerings and integrating education goals with economic ones, educate geodesy and cartography graduates at the highest level in Europe; actively react to the changing expectations of students by adjusting educational measures to their declared needs; develop practical education far beyond classical geodesy and cartography; or, have intensively developed internal educational quality control systems.
Źródło:
Geomatics and Environmental Engineering; 2016, 10, 3; 101-123
1898-1135
Pojawia się w:
Geomatics and Environmental Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wykorzystanie urządzeń DA-BOX 2000 do monitorowania stabilności sieci elektroenergetycznej
Use of DA-BOX 2000 devices for monitoring power system stability
Autorzy:
Małyszko, O.
Wiśniewski, R.
Zeńczak, M.
Powiązania:
https://bibliotekanauki.pl/articles/268884.pdf
Data publikacji:
2017
Wydawca:
Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
Tematy:
system elektroenergetyczny
stabilność systemu
oscylacje niskoczęstotliwościowe
DA-Box 2000
power system
system stability
low frequency oscillation
Opis:
W artykule omówiono zagadnienia związane ze stabilnością sieci elektroenergetycznej, przeznaczenie i zasadę działania urządzenia DA-Box 2000 oraz wykorzystanie go do monitorowania stabilności sieci elektroenergetycznych. Doświadczenia niemieckie wskazują, że badanie stabilności sieci ma coraz większe znaczenie w praktyce z powodu gwałtownego wzrostu udziału nieliniowych źródeł i odbiorów energii w systemie elektroenergetycznym. Przyrząd DA-Box 2000, poprzez zaawanasowaną analizę napięć i częstotliwości, jest w stanie wykryć groźbę utraty stabilności przez system elektroenergetyczny spowodowany na przykład lawiną napięcia lub częstotliwości. Według danych producenta urządzenia te pracują z powodzeniem w kilkunastu krajach na całym świecie.
The power system is a complex system in which, except the usual linear elements, there are more and more nonlinear and restless power generating and loading devices. This causes that even in the normal working conditions, besides the basic harmonic (50 Hz) of current and voltage there are more and more higher harmonics and subharmonic. Higher harmonic content generally refers to the quality of energy, while subharmonic, especially low frequency oscillations of several Hz or even less than 1 Hz, can be used for power system stability testing. Unfortunately, so far they are basically not used either in the power system protection or in the power system control. This paper presents issues related to the stability of the power grid, the purpose and principle of operation of the DABox 2000 and its use to monitor the stability of the power grid. German experience indicates that the study of network stability is becoming increasingly important in practice due to the rapid increase in the share of nonlinear sources and energy load in the power system. The DA-Box 2000 device, using its advanced voltage and frequency analysis, is able to detect the threat of power system failure due to, for example, a collapse of voltage or frequency. According to the manufacturer's data, these devices work successfully in over a dozen countries around the world.
Źródło:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej; 2017, 56; 57-62
1425-5766
2353-1290
Pojawia się w:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Dekompozycja systemów dyskretnych z wykorzystaniem hipergrafów
Usage of hypergraphs in decomposition of discrete system
Autorzy:
Wiśniewska, M.
Wiśniewski, R.
Adamski, M.
Powiązania:
https://bibliotekanauki.pl/articles/152819.pdf
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
system dyskretny
dekompozycja
hipergraf
discrete system
decomposition
hypergraph
Opis:
W referacie zaprezentowana zostanie metoda dekompozycji systemów dyskretnych z wykorzystaniem hipergrafów. Podział uzyskano poprzez zastosowanie hierarchicznej redukcji wierzchołków hipergrafu. W procesie partycjonowania bloki systemu dyskretnego reprezentowane są poprzez wierzchołki hipergrafu, natomiast połączenia pomiędzy blokami - poprzez hiperkrawędzie. Przedstawiona metoda umożliwia sekwencyjną redukcję wierzchołków hipergrafu, w których projektant sam może zadecydować, na którym poziomie hierarchii chce zakończyć partycjonowanie. Dzięki temu dany system może zostać podzielony na dowolną liczbę mniejszych układów.
In the paper a method of discrete-system decomposition is proposed. The method is based on the hypergraph reduction and partition. A discrete-system is represented by a hypergraph; where module corresponds to the vertice and connection (net) corresponds to the hyperedge. The proposed method allows hierarchical reduction of the hypergraph and finally - partition of the discrete-system.
Źródło:
Pomiary Automatyka Kontrola; 2007, R. 53, nr 5, 5; 129-131
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Algorytm selekcji wykorzystujący teorię hipergrafów
A selection algorithm based on the hypergraph theory
Autorzy:
Stefanowicz, Ł.
Wiśniewski, R.
Adamski, M.
Powiązania:
https://bibliotekanauki.pl/articles/152957.pdf
Data publikacji:
2014
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
selekcja
podsieci automatowe
implikanty proste
hipergraf
hipergraf transwersal dokładnych
transwersala
transwersala dokładna
selection
State Machine Components
SMCs
prime implicants
hypergraph
transversal
exact transversal
Opis:
Artykuł porusza kwestię selekcji określonych elementów zbioru z wykorzystaniem teorii hipergrafów. Przedstawiona została idea wspólnego algorytmu selekcji, w przypadku takich problemów, jak selekcja podsieci automatowych w dekompozycji sieci Petriego, a także selekcja implikantów prostych w procesie miminalizacji funkcji logicznych. Jako bazowy algorytm, wykorzystano metodę transwersal dokładnych, jednocześnie usprawniając ją o alternatywną scieżkę w przypadku, kiedy dany hipergraf selekcji nie należy do klasy hipergrafu transwersal dokładnych. Jak pokazują badania, metoda może być dobrą alternatywą obok wykorzystywanych metod tradycyjnych.
The paper deals with the selection problem based on the hypergraph theory. There is presented an idea of a common selection algorithm for selection of State Machine Components and Prime Implicants. The exact transversal method was used as a baseline algorithm. It was improved by supporting it with an optional path when a given selection hypergraph did not belong to the xt-class (class of the exact transversal hypergraph). In this case, the exact transversal was searched. When it was unsuccessful, the regular transversal was searched. The studies prove that the method allows obtaining the exact solution when the selection hypergraph does not belong to the xt-class, but has an exact transversal. The presented results show that a hypergraph which does not belong to the xt-class may have an exact transversal enabling obtaining a solution which would be as good as the one obtained with the backtracking method. The exact solution was also obtained with the use of an ordinary transversal, which de facto indicated that the regular transversals allowed, in certain cases, obtaining the exact solution. It seems to confirm the aptly determined class of solutions of the proposed improvements. In some cases, the solution contained one extra subnet, but in one tested case, the solution turned out to be much worse than the exact one.
Źródło:
Pomiary Automatyka Kontrola; 2014, R. 60, nr 7, 7; 516-518
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zastosowanie układów reprogramowalnych FPGA w projekcie "Inteligentny Dom"
Application of reprogrammable devices FPGA based on Smart Home project
Autorzy:
Stefanowicz, Ł.
Wiśniewski, R.
Węgrzyn, M.
Powiązania:
https://bibliotekanauki.pl/articles/156687.pdf
Data publikacji:
2012
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
FPGA
układy reprogramowalne
inteligentny dom
Android
Windows Mobile
sterowanie zdalne
system sterowania
reprogrammable devices
intelligent house
remote control
control system
Opis:
W artykule zaprezentowano zastosowanie układów reprogramowalnych FPGA do zdalnego sterowania elementami wyposażenia domu. Wykorzystano rozwiązania zdalne w oparciu o najnowsze technologie: Android, Windows Mobile. W referacie przedstawiono architekturę zaproponowanego systemu, możliwości oraz podstawowe funkcjonalności, a także porównano z innymi systemami tego typu. Opisywany system został zaprezentowany podczas masowych imprez popularyzujących najnowsze rozwiązania techniczne (Międzynarodowy Piknik Naukowy, Festiwale Nauki, itp.).
The paper presents application of reprogrammable devices (FPGAs) in a Smart House project. The aim of the proposed system was to create an "intelligent" platform that permitted to control various elements of a Smart Building; like home appliances, temperature control, lightning, window and door operations, etc. The management of the whole system can be performed remotely via the Internet, a local area network or Mobile (GSM). An FPGA device is the most important part of the presented solution. It is the "heart" of a system and its role is to execute proper commands in order to control the devices and elements of the Smart House (Smart Building). The system can be managed via mobile devices (mobile computers, phones, tablets) that are based on various operating systems (Android, Windows Mobile, Symbian). The communication between the FPGA and mobile devices is encrypted. To achieve better encryption performance, the modified digital signature algorithm was implemented. The proposed system was compared with existing solutions. The main concept of the presented system was not to replace other Smart House projects but to co-operate with them. It is one of the further tasks that can be performed to extend the system performance. The preliminary results of experiments are given. The described system was introduced during mass events popularizing the latest technology (International Scientific Picnic in Warsaw in 2011; Festival of Science, Zielona Gora 2010, 2011, etc.).
Źródło:
Pomiary Automatyka Kontrola; 2012, R. 58, nr 7, 7; 614-616
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zastosowanie transwersali hipergrafów w minimalizacji pojemności pamięci systemów dyskretnych
Application of hypergraph transversals to memory size minimisation
Autorzy:
Wiśniewska, M.
Wiśniewski, R.
Adamski, M.
Powiązania:
https://bibliotekanauki.pl/articles/154751.pdf
Data publikacji:
2010
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
hipergraf
transwersala (pokrycie wierzchołkowe hipergrafu)
klasa kompatybilności
mikrooperacja
mikroinstrukcja
minimalizacja pojemności pamięci
hypergraph
hypergraph transversal
compatibility class
microoperation
microinstruction
memory size minimization
Opis:
Algorytm redukcji pojemności pamięci systemów dyskretnych bazuje na wyznaczeniu i selekcji klas kompatybilności poszczególnych mikrooperacji. Proces selekcji klas kompatybilności jest zaliczany do problemów z klasy NP-trudnych. W artykule zaprezentowano metodę selekcji klas kompatybilności opierającą się o wyznaczenie transwersali hipergrafów. Proponowane rozwiązanie zostało gruntownie przeanalizowane oraz porównane z metodami tradycyjnymi, bazującymi na przekształceniach macierzowych.
The problem of memory size minimisation is a very important part of the design process of a discrete system. Very often the volume of the prototyped memory exceeds the size of memory blocks offered by programmable devices (like FPGAs or CPLDs). One of the most popular solution to this problem is memory size minimisation. The reduction of the memory is achieved thanks to selection of the compatibility classes of the microoperations. Such a problem is NP-hard, therefore many various algorithms have been developed. Most of them are based on the graph and matrix theories. In the paper there is proposed a method for memory size reduction in which the hypergraph theory is applied. A hypergraph permits to store and reduce information about the compatibility classes in comparison with the traditional graphs. The memory size minimisation is reached thanks to the computation of its transversal (vertices cover). Any known transversal algorithm can be used in order to calculate the selection of compatibility classes. Four different covering methods of hypergraphs are presented and compared. All steps that are required in order to perform the microinstruction length reduction of discrete systems are shown. The proposed method is compared with the traditional solution. Finally, the detailed results of experiments are presented and discussed.
Źródło:
Pomiary Automatyka Kontrola; 2010, R. 56, nr 7, 7; 777-779
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-25 z 87

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