WYKRYWANIE BLOKAD W SYSTEMACH PRIORYTETOWYCH
|
|
- Nina Sadowska
- 5 lat temu
- Przeglądów:
Transkrypt
1 II Konferencja Naukowa KNWS'05 "Informatka- stuka c remios o" cerwca 2005, Z otniki Luba skie WYKRYWANIE BLOKAD W SYSTEMACH PRIORYTETOWYCH Andrej Karatkiewic Insttut Informatki i Elektroniki, Uniwerstet Zielonogórski Zielona Góra, ul. Podgórna 50 a.karatkiewic@iie.u.gora.pl STRESZCZENIE W artkule predstawiono metod wkrwania blokad we współbie nch sstemach priortetowch, opisanch modelem sieci Petriego priortetami statcnmi. Metoda ta bauje na modfikowanm algortmie upartch biorów wkrwania blokad w klascnch sieciach Petriego. 1. WPROWADZENIE Więksość współcesnch sstemów cfrowch może bć traktowana jako współbieżne. Dotc to arówno cęści sprętowej, jak i algortmów, wkonwanch pre te sstem. Dlatego wiele jęków opisu sprętu (np. VHDL, Verilog) powala na modelowanie współbieżnch procesów dskretnch. Powstał też sereg matematcnch modeli opisu sstemów współbieżnch, takich jak np. sieci Petriego lub Statecharts. Metod anali sstemów współbieżnch mają duże nacenie praktcne [1]. Analia i werfikacja takich sstemów, w tm wkrwanie blokad, jest problemem skomplikowanm, co spowodowane jest wkładnicą ależnością pomięd ilością osiągalnch stanów globalnch a ilością stanów lokalnch.. Jedną e nanch metod takiej anali jest metoda upartch biorów [2], powalająca popre badanie cęści prestreni stanów, casami dużo mniejsej niż całość, wnacać osiągalne blokad sstemu ora ( pewnmi ograniceniami) analiować niektóre inne własności. Metoda ta ostała opracowana jednak dla klascnego modelu sieci Petriego i nie uwględnia uwarunkowań priortetowch (istotnch np. dla diagramów Statechart [3]). Istnieją prace, opisujące prekstałcenie ograniconej sieci Petriego priortetami (to nac takiej, że na biore trancji adana jest relacja priortetów) na klascną sieć Petriego achowaniem ekwiwalentnm [4]. W proponowanm artkule opisano algortm badania własności współbieżnch, dskretnch sstemów priortetowch, opracowan wkorstaniem metod prekstałceń sieci do postaci klascnej ora algortmu upartch biorów. 67
2 2. INFORMACJE PODSTAWOWE 2.1. Sieci Petriego i priortet Sieci Petriego [5] są popularnm modelem matematcnm i graficnm, służącm do opisu sstemów współbieżnch. Sieć Petriego może bć predstawiona jako dwudieln graf skierowan dwoma rodajami wierchołków, które nawane są miejscami i trancjami. Stan sieci Petriego, nawan nakowaniem, wnacan jest popre nacniki, które mogą najdować się w miejscach sieci. Jeśli nacniki najdują się we wsstkich wejściowch miejscach trancji, to taka trancja jest aktwna i może ostać realiowana. Realiacja trancji usuwa jeden nacnik każdego miejsc wejściowch i dodaje jeden nacnik do każdego miejsc wjściowch trancji. Tak opisana sieć jest siecią wkłą; casem jednakże achodi potreba ropatrenia sieci łukami ważonmi [5]. W takich sieciach do łuków są prpisane wagi całkowite, a warunkiem aktwności trancji jest obecność w jej każdm miejscu wejściowm ilości nacników nie mniejsej, niż waga odpowiedniego łuku. Ilość nacników, usuwanch i dodawanch do miejsc sieci podcas realiacji trancji, wnaca się wagami odpowiednich łuków. Sieć wkłą można traktować jako sieć, której wagi wsstkich łuków są równe 1. Sieć jest bepiecną, jeśli w każdm osiągalnch nakowań żadne miejsce sieci nie awiera więcej niż jeden nacnik. Sieć jest ograniconą, jeśli istnieje granica górna ilości nacników w każdm miejscu sieci dla wsstkich osiągalnch nakowań. Siecią priortetami (statcnmi) [4] nawana jest sieć Petriego taka, że na jej biore trancji T jest definiowana relacja priortetowa ρ; a (t,u) ρ onaca, że trancja t ma niżs priortet od trancji u. Jeśli w nakowaniu M trancja t jest aktwna, to może ostać realiowana tlko wted, gd żadna trancja o wżsm priortecie nie jest aktwna. Nałożenie na sieć priortetów wkluca niektóre jej ewolucje. Na rs. 1 pokaan jest prkład sieci (więt [4]) ora jej graf osiągalności. 1,3 1,5 2,3 2,5 4 Rs. 1. Prkład sieci Petriego i jej grafu osi galno ci. Priortet ρ = {(,)} uniemo liwia mian nakowania, anacon prerwan strałk 68
3 2.2. Metoda upartch biorów Upartm biorem (stubborn set) dla nakowania M nawa się biór trancji T S, któr spełnia tr warunki: (1) każda nieaktwna trancja w T S ma puste miejsce wejściowe p takie, że wsstkie trancje, dla którch p jest miejscem wjściowm, należą do T S ; (2) żadna aktwna trancja w T S nie ma wspólnego miejsca wejściowego trancją poa T S ; (3) T S awiera aktwną trancję. Metoda polega na tm, że w każdm danm nakowaniu smuluje się realiację aktwnch trancji należącch tlko do T S, budując w ten sposób cęściow (redukowan) graf osiągalności, powalając na określenie niektórch własności sieci. W swojej klascnej wersji dla dowolnej sieci Petriego graf redukowan awiera wsstkie blokad sieci [2] Konstruowanie sieci Petriego, odpowiadającej sstemowi priortetowemu W [4] opisana ostała metoda, powalająca prekstałcić sieć Petriego priortetami (ograniconą) na klascną (nie priortetową), ekwiwalentną behawioralnie. Ekwiwalencja ta w asadie nie jest pełna, ale ostaje achowan sereg istotnch właściwości funkcjonalnch, również blokad. Metoda polega na tm, że dla każdej trancji, takiej że : (,) ρ, wprowada się dodatkowe miejsce p, które jest wejściowm i wjściowm dla trancji i jest połącone innmi trancjami sieci w taki sposób, że suma nacników w p i miejscach wejściowch trancji jest stała. Miejsce p jest puste wted i tlko wted, gd trancja jest aktwna, co uniemożliwia realiację trancji. Niestet spełnienie warunków bepieceństwa sieci wkłej priortetami, niekoniecnie pociąga ich spełnienie w sieci be priortetów. Z powodu braku miejsca nie opisano tej metod scegółowo. Na rs. 2 pokaan jest prkład jej astosowania sieć Petriego, odpowiadająca sieci priortetami (rs. 1) [4]. 2 p 2 Rs. 2. Prkład astosowania metod Besta-Koutnego (dla sieci rs. 1). Pogrubione łuki maj prpisane wagi. Miejsce p jest miejscem dodatkowm. 69
4 Łatwo auważć, że graf osiągalności ostał taki sam, jak dla sieci priortetami rs. 1; różnica jednak polega na tm, że trancje i, współbieżne dla sieci na rs. 1, najdują się w konflikcie na rs WYKRYWANIE BLOKAD W SIECIACH PETRIEGO Z PRIORYTETAMI 3.1. Metoda Wsstkie blokad w sieci priortetowej, jak w każdm sstemie dskretnm, mogą bć wkrte pr pomoc konstruowania pełnej prestreni stanów. Jednak pr próbie astosowania do sieci Petriego priortetami metod upartch biorów, skutecnie redukującej ilość badanch stanów, to okaże się, że można nie wkrć wsstkich blokad. Wracając do prkładu rs. 1; dla nakowania pocątkowego biorem upartm minimalnm (nie awartm w innch) jest biór {}. Ogranicając się do smulacji realiacji, traci się możliwość wkrcia blokad {2,5}. Jest to wnikiem faktu, że realiacja w stanie pocątkowm powoduje aktwność trancji, po cm realiacja staje się niemożliwa. Może się darć nawet taka stuacja, że w biore trancji priortetowej sieci Petriego, odpowiadającm definicji upartego bioru, żadna trancja nie będie mogła ostać realiowana, bo realiacji aktwnch trancji należącch do bioru, będie preskadać aktwna trancja o więksm priortecie spoa bioru. Wdaje się intuicjnie ocwistm, że metoda upartch biorów może bć stosowana dla sstemów priortetowch, be recwistego wkonania prekstałcenia sieci do postaci klascnej, ale definicja upartego bioru wmaga w tm prpadku korekt. Definicja. Upartm biorem dla nakowania M sieci priortetowej nawa się biór trancji T S, któr spełnia seść warunków: (1) każda nieaktwna trancja w T S ma puste miejsce wejściowe p takie, że wsstkie trancje, dla którch p jest miejscem wjściowm, należą do T S ; (2) żadna aktwna trancja w T S nie ma wspólnego miejsca wejściowego trancją poa T S ; (3) T S awiera aktwną trancję; (4) jeśli aktwna trancja w T S nie może ostać realiowana dlatego, że są aktwne trancje o więksm priortecie, jedna takich trancji należ do T S ; (5) jeśli aktwna trancja w T S ma miejsce wjściowe, które jest miejscem wejściowm dla trancji takiej, że (,) ρ, to T S ; (6) jeśli dla aktwnej trancji T S (,) ρ, to każda trancja, której miejsce wjściowe jest miejscem wejściowm dla, należ do T S. Twierdenie. Zredukowan graf osiągalności sieci Petriego priortetami, skonstruowan w ten sposób, że dla każdego ropatrwanch nakowań smulowane są realiacje tlko tch aktwnch trancji, które należą do bioru T S dla danego nakowania, spełniającego wmienione powżej seść warunków, awiera wsstkie osiągalne blokad sieci. 70
5 Poprawność twierdenia wnika poprawności metod upartch biorów dla klascnej sieci Petriego (dowód patr w [6]) i metod Besta-Koutnego prekstałcenia sieci priortetowej na sieć be priortetów (dowód patr w [4]). Można jednak auważć, że ostatni warunek (6) jest btecn. Chodi w nim o to, że jeśli realiacja aktwnej trancji (niech to będie ) dodaje nacniki do miejsc wejściowch trancji takiej, że (,) ρ, może to uniemożliwić realiację trancji. Jeśli i nie mają wspólnch miejsc wejściowch, takie uniemożliwienie okaże się tlko tmcasowm (do realiacji ), więc nie będie miało wpłwu na osiągalne blokad. Jeśli i mają wspólne miejsca wejściowe, to najduje się w T S e wględu na warunek (2). Wobec powżsego warunek (6) można definicji usunąć Prkład W prkładie rs. 1 skorgowanej definicji upartego bioru odpowiada tlko biór {,}, wsstkie blokad ostaną więc wkrte. Poniżej podano dwa inne prkład. 1,2,3,4,3,4,9 a b p6 c p7 d p8 2,3,4,5,4,7,9 p9 e f 0 ρ={(c,a), (d,a), (c,b), (d,b), (c,e), (d,e), (a,f), (d,f), (a,g), (b,g)} Rs. 3. Prkład astosowania metod g 11 3,4,5,6 9,11 7,8,9 a b 1,5 4,5 1,6 b a 2,6 3,6 4,6 ρ={(a,),(b,)} p6 Rs. 4. Prkład astosowania metod Na rs. 3 pokaano sieć priortetową, która ma o jedną osiągalną blokadę mniej, niż odpowiednia sieć be priortetów ({5,8,10}) i redukowan graf osiągalności, skonstruowan 71
6 a pomocą aproponowanej metod. Na rs. 4 pokaano sieć priortetową (modfikowan prkład [7]), do której stosowanie klascnej metod upartch biorów nie powoliłob wkrć blokad {2,6} ora {3,6} (nie ostałab smulowana realiacja trancji w nakowaniu pocątkowm strałka prerwana na grafie). Stosowanie proponowanej metod powala wkrć wsstkie blokad. 4. PODSUMOWANIE Predstawiona metoda powala w sposób oscędn wobec casu i pamięci wkrwać blokad we współbieżnch sstemach priortetowch. Metoda jest łatwa do aimplementowania programowego i może bć wkorstana w sstemach komputerowego wspomagania projektowania układów sterowania logicnego, w programowaniu współbieżnm i innch astosowaniach sstemów priortetowch jako cęść formalnej anali i werfikacji. Dalse badania w tm kierunku będą dotcł anali innch behawioralnch właściwości sstemów priortetowch, popre konstruowanie redukowanch prestreni osiągalności ora strukturalnej anali sstemów priortetowch. Praca naukowa finansowana e rodków Komitetu Bada Naukowch jako projekt badawc 4 T LITERATURA [1] M. Heiner: Petri net based sstem analsis without state eplosion, Proc. High Perfomance Computing 98, Boston, April 1998, session Petri net Applications and HPC, pp [2] A. Valmari: State of the art report: Stubborn sets, Petri Nets News., 46, 1994, pp [3] A. Karatkevich: Deadlock Analsis in Statecharts, Proc. Forum on Specification & Design Languages 03, Frankfurt, September 2003, session Propert Specification and Analsis, pp [4] E. Best, M. Koutn: Petri net semantics of priorit sstems, Theoretical Computer Science, 96, 1992, pp [5] J. L. Peterson: Petri net theor and the modeling of sstems, Prentice-Hall, Inc., 1981 [6] A. Valmari: The State Eplosion Problem, Lecture Notes on Computer Science, 1491, 1998, pp [7] E. Best: Petri net semantics of priorities, Etended Abstracts of Concurrenc and Compositabilit, S. Miniato, Februar-March 1990, pp
DYNAMICZNA ANALIZA SYSTEMÓW WSPÓŁBIE NYCH
DYNAMICZNA ANALIZA SYSTEMÓW WSPÓŁBIE NYCH Andrzej Karatkiewicz Instytut Informatyki i Elektroniki, Uniwersytet Zielonogórski 65-246 Zielona Góra, ul. Podgórna 50 e-mail: a.karatkiewicz@iie.uz.zgora.pl
Bardziej szczegółowoPostać Jordana macierzy
Rodiał 8 Postać Jordana macier 8.1. Macier Jordana Niech F = R lub F = C. Macier J r () F r r postaci 1. 1... J r () =..........,.... 1 gdie F, nawam klatką Jordana stopnia r. Ocwiście J 1 () = [. Definicja
Bardziej szczegółowoStrukturalne elementy symetrii. Krystalograficzne grupy przestrzenne.
Uniwerstet Śląski Insttut Chemii Zakład Krstalografii Laboratorium Krstalografii Strukturalne element smetrii. Krstalograficne grup prestrenne. god. Cel ćwicenia: aponanie się diałaniem elementów smetrii
Bardziej szczegółowoBADANIE CYFROWYCH UKŁADÓW ELEKTRONICZNYCH TTL strona 1/7
BADANIE CYFROWYCH UKŁADÓW ELEKTRONICZNYCH TTL strona 1/7 BADANIE CYFROWYCH UKŁADÓW ELEKTRONICZNYCH TTL 1. Wiadomości wstępne Monolitcne układ scalone TTL ( ang. Trasistor Transistor Logic) stanowią obecnie
Bardziej szczegółowoZŁOŻONE RUCHY OSI OBROTOWYCH STEROWANYCH NUMERYCZNIE
KOMISJA BUDOWY MASZYN PAN ODDZIAŁ W POZNANIU Vol. 6 nr Archiwum Technologii Masn i Automatacji 6 ROMAN STANIEK * ZŁOŻONE RUCHY OSI OBROTOWYCH STEROWANYCH NUMERYCZNIE W artkule predstawiono ależności matematcne
Bardziej szczegółowoGRUPY SYMETRII Symetria kryształu
GRUPY SYMETRII Smetria krstału Zamknięte (punktowe) operacje smetrii (minimum jeden punkt prestreni nie porusa się wskutek astosowania amkniętej operacji smetrii): Obrot i obrot inwersjne; Inwersja (smetria
Bardziej szczegółowoPrzestrzeń liniowa R n.
MATEMATYKA IIb - Lcjan Kowalski Prestreń liniowa R n. Element (wektor) prestreni R n będiem onacać [,,, ] Element erow [,, L, ]. Diałania. a) ilocn element pre licbę: b) sma elementów [ c, c, ] c L, c
Bardziej szczegółowoWyznaczanie ruchliwości i koncentracji nośników prądu w półprzewodnikach metodą efektu Halla
Ćwicenie 13 Wnacanie ruchliwości i koncentracji nośników prądu w półprewodnikach metodą efektu alla Cel ćwicenia Celem ćwicenia jest aponanie się e jawiskiem alla, stałoprądową metodą badania efektu alla,
Bardziej szczegółowoWykład 1 Podstawy projektowania układów logicznych i komputerów Synteza i optymalizacja układów cyfrowych Układy logiczne
Element cfrowe i układ logicne Wkład Literatura M. Morris Mano, Charles R. Kime Podstaw projektowania układów logicnch i komputerów, Wdawnictwa Naukowo- Technicne Giovanni De Micheli - Sntea i optmaliacja
Bardziej szczegółowonapór cieczy - wypadkowy ( hydrostatyczny )
5. apór hdrostatcn i równowaga ciał płwającch Płn najdując się w stanie równowagi oddiałwuje na ścian ogranicające ropatrwaną jego objętość i sił te nawane są naporami hdrostatcnmi. Omawiana problematka
Bardziej szczegółowoJ. Szantyr - Wykład 7 Ruch ogólny elementu płynu
J. Santr - Wkład 7 Rch ogóln element płn Rch ogóln ciała stwnego można predstawić jako smę premiescenia liniowego i obrot. Ponieważ płn nie mają stwności postaciowej, w rch płn dochodi dodatkowo do odkstałcenia
Bardziej szczegółowoDryLin T System prowadnic liniowych
DrLin T Sstem prowadnic liniowch Prowadnice liniowe DrLin T ostał opracowane do astosowań wiąanch automatką i transportem materiałów. Chodiło o stworenie wdajnej, beobsługowej prowadnic liniowej do astosowania
Bardziej szczegółowoFunkcje wielu zmiennych
Funkcje wielu miennch wkład MATEMATYKI Automatka i robotka studia niestacjonarne sem II, rok ak 2009/2010 Katedra Matematki Wdiał Informatki Politechnika Białostocka Niech R ndef ={( 1, 2,, n ): 1 R 2
Bardziej szczegółowoANALIZA KONSTRUKCJI POWŁOKOWEJ. CIENKOŚCIENNY ZBIORNIK CIŚNIENIOWY
Cw3_biornik.doc ANALIZA KONTRUKCJI POWŁOKOWEJ. CIENKOŚCIENNY ZBIORNIK CIŚNIENIOWY 1. W P R O W A D Z E N I E Ciało utworone pre dwie akrwione powierchnie nawane jest powłoką, jeśli preciętna odlełość pomięd
Bardziej szczegółowoSYNTHESIS OF MOTION FOR A FOUR-LEGGED ROBOT
Dr inŝ. Maciej T. Trojnacki Premsłow Insttut Automatki i Pomiarów Al. Jeroolimskie 0, 0-486 Warsawa Telefon: +48 8740 341, email: mtrojnacki@piap.pl SYNTEZA UCHU OBOTA CZTEONOśNEO W prac predstawiono nowatorską
Bardziej szczegółowoPOTENCJALNE POLE SIŁ. ,F z 2 V. x = x y, F y. , F x z F z. y F y
POTENCJALNE POLE SIŁ POLE SKALARNE Polem skalarnm V(r) nawam funkcję prpisującą każdemu punktowi w prestreni licbę recwistą (skalar): V (r): r=(,, ) V (r) POLE WEKTOROWE SIŁ Polem wektorowm sił F(r) nawam
Bardziej szczegółowoAutomatyczna kompensacja mocy biernej z systemem monitorowania kopalnianej sieci 6 kv
dr inż MARIAN HYLA Politechnika Śląska w Gliwicach Automatycna kompensacja mocy biernej systemem monitorowania kopalnianej sieci 6 kv W artykule predstawiono koncepcję, realiację ora efekty diałania centralnego
Bardziej szczegółowoGraficzne modelowanie scen 3D. Wykład 4
Wkład 4 Podstawowe pojęcia i definicje . Modelowanie. Definicja Model awiera wsstkie dane i obiekt ora wiąki pomięd nimi, które są niebędne do prawidłowego wświetlenia i realiowania interakcji aplikacją,
Bardziej szczegółowoGlobal Positioning System (GPS) zasada działania
Global Positioning Sstem GPS asada diałania Metoda wnacania pocji GPS apewnia pocję 3D -,, H. Parametr nawigacjn odległość odbiornika od SV. Odległość od SV wlicana na podstawie pomiaru casu podcas prebtej
Bardziej szczegółowoRozdział 9. Baza Jordana
Rodiał 9 Baa Jordana Niech X będie n wmiarową prestrenią wektorową nad ciałem F = R lub F = C Roważm dowoln endomorfim f : X X Wiem, że postać macier endomorfimu ależ od wboru ba w prestreni X Wiem również,
Bardziej szczegółowoRuch kulisty bryły. Kąty Eulera. Precesja regularna
Ruch kulist brł. Kąt Eulera. Precesja regularna Ruchem kulistm nawam ruch, w casie którego jeden punktów brł jest stale nieruchom. Ruch kulist jest obrotem dookoła chwilowej osi obrotu (oś ta mienia swoje
Bardziej szczegółowoAlgebra z geometrią 2012/2013
Algebra geometrią 22/23 Seria XVI Javier de Lucas Zadanie. Wnacć rąd macier: A :, B : 2 4 3 4 3 2 3 3 5 7 3 3 6 3 Rowiąanie: Macier A: Sposób: Rąd macier to wmiar prestreni generowanej pre jej kolumn.
Bardziej szczegółowoPRAWIDŁOWE ODPOWIEDZI I PUNKTACJA
MAŁOPOLSKI KONKURS MATEMATYCZNY Rok skoln 08/09 ETAP REJONOWY 0 grudnia 08 roku PRAWIDŁOWE ODPOWIEDZI I PUNKTACJA adanie odpowiedź punkt B 3 C 3 3 A 3 4 B 3 5 E 3 6 B 3 7 E 3 8 C 3 9 D 3 0 A 3 7 adania
Bardziej szczegółowoPochodna kierunkowa i gradient Równania parametryczne prostej przechodzącej przez punkt i skierowanej wzdłuż jednostkowego wektora mają postać:
ochodna kierunkowa i gradient Równania parametrcne prostej prechodącej pre punkt i skierowanej wdłuż jednostkowego wektora mają postać: Oblicam pochodną kierunkową u ( u, u ) 1 + su + su 1 (, ) d d d ˆ
Bardziej szczegółowo3. Metody rozwiązywania zagadnień polowych
3. Metod rowiąwania agadnień polowch 3.. Dokładne metod anali pola Dokładne metod anali pola powalają na uskanie dokładnego rowiąania równania róŝnickowego lub całkowego w dowolnm punkcie obsaru diałania
Bardziej szczegółowoMatematyka 2. Elementy analizy wektorowej cz I Pole wektorowe
Matematka Element anali wektorowej c I Pole wektorowe Literatura M.Gewert Z.Skoclas; Element anali wektorowej; Oficna Wdawnica GiS Wrocław 000 W.Żakowski W.Kołodiej; Matematka c II; WNT Warsawa 1984 W.Leksiński
Bardziej szczegółowoP K. Położenie punktu na powierzchni kuli określamy w tym układzie poprzez podanie dwóch kątów (, ).
Materiał ddaktcne Geodeja geometrcna Marcin Ligas, Katedra Geomatki, Wdiał Geodeji Górnicej i Inżnierii Środowiska UKŁADY WSPÓŁZĘDNYCH NA KULI Pierwsm prbliżeniem kstałtu Ziemi (ocwiście po latach płaskich
Bardziej szczegółowo,..., u x n. , 2 u x 2 1
. Równania różnickowe cąstkowe Definicja. Równaniem różnickowm cąstkowm (rrc) nawam równanie różnickowe, w którm wstępuje funkcja niewiadoma dwóch lub więcej miennch i jej pochodne cąstkowe. Ogólna postać
Bardziej szczegółowoSystemy przetwarzania sygnałów
Sstem przetwarzania sgnałów x(t) (t)? x(t) Sstem przetwarzania sgnałów (t) Sstem przetwarzania sgnałów sgnał ciągł x(t) (t)=h(x(t)) Sstem czasu ciągłego (t) np. megafon - wzmacniacz analogow sgnał dskretn
Bardziej szczegółowoDodawanie i mnożenie liczb zespolonych są działaniami wewnętrznymi tzn., że ich wynikiem jest liczba zespolona.
Wykład - LICZBY ZESPOLONE Algebra licb espolonych, repreentacja algebraicna i geometrycna, geometria licb espolonych. Moduł, argument, postać trygonometrycna, wór de Moivre a.' Zbiór Licb Zespolonych Niech
Bardziej szczegółowoMechanika Robotów. Wojciech Lisowski. 2 Opis położenia i orientacji efektora Model geometryczny zadanie proste
Katedra Robotki i Mechatroniki Akademia Górnico-Hutnica w Krakowie Mechanika Robotów Wojciech Lisowski Opis położenia i orientacji efektora Model geometrcn adanie proste Mechanika Robotów KRIM, AGH w Krakowie
Bardziej szczegółowoElementy symetrii makroskopowej w ujęciu macierzowym.
Uniwerstet Śląski Insttut Chemii Zakład Krstalografii Laboratorium Krstalografii Element smetrii makroskopowej w ujęciu macierowm. 2 god. Cel ćwicenia: tworenie macier smetrii elementów smetrii makroskopowej
Bardziej szczegółowoIII. LICZBY ZESPOLONE
Pojęcie ciała 0 III LICZBY ZESPOLONE Defiicja 3 Niech K będie dowolm biorem Diałaiem wewętrm (krótko będiem mówić - diałaiem) w biore K awam każdą fukcję o : K K K Wartość fukcji o dla elemetów K oacam
Bardziej szczegółowoModelowanie produkcji obudowy separatora olejowego za pomocą diagramów aktywności UML i -sieci
KNWS 2010 239 Modelowanie produkcji obudowy separatora olejowego za pomocą diagramów aktywności UML i -sieci Agnieszka Lasota Streszczenie: W artykule zostały opisane wytyczne, wskazujące na celowość wspomagania
Bardziej szczegółowoLaboratorium grafiki komputerowej i animacji. Ćwiczenie IV - Biblioteka OpenGL - transformacje przestrzenne obiektów
Laboratorium grafiki komputerowej i animacji Ćwicenie IV - Biblioteka OpenGL - transformacje prestrenne obiektów Prgotowanie do ćwicenia: 1. Zaponać się transformacjami prestrennmi (obrót, presunięcie,
Bardziej szczegółowoFunkcje wielu zmiennych
Funkcje wielu miennch wkład MATEMATYKI Automatka i robotka studia niestacjonarne sem I, rok ak 2009/2010 Katedra Matematki Wdiał Informatki Politechnika Białostocka Niech R ndef ={( 1, 2,, n ): 1 R 2 R
Bardziej szczegółowoRozwiazania zadań. Zadanie 1A. Zadanie 1B. Zadanie 2A
Rowiaania adań Zadanie A = ( i) = 4 8i 4 = 8i Badam licbȩ espolon a 8i Jej moduł 8i jest równ 8 Jej postać espolona jest równa 8(cosα + isinα) α = /π St ad cosα = i sinα = Mam pierwiastki które oblicam
Bardziej szczegółowoGeometria analityczna w przestrzeni. Kierunek. Długość. Zwrot
- podstawowe pojęcia Geometria analitcna w prestreni Wektorem acepionm w prestreni R 3 nawam uporądkowaną parę punktów A ora B i onacam go pre AB. Punkt A nawam jego pocątkiem, a punkt B - jego końcem.
Bardziej szczegółowoRuch kulisty bryły. Kinematyka
Ruch kulist bł. Kinematka Ruchem kulistm nawam uch, w casie któego jeden punktów bł jest stale nieuchom. Ruch kulist jest obotem dookoła chwilowej osi obotu (oś ta mienia swoje położenie w casie). a) b)
Bardziej szczegółowoStrukturalne elementy symetrii. Krystalograficzne grupy przestrzenne.
Uniwerstet Śląski Insttut Chemii Zakład Krstalografii Laboratorium Krstalografii Strukturalne element smetrii. Krstalograficne grup prestrenne. 2 god. Cel ćwicenia: aponanie się diałaniem elementów smetrii
Bardziej szczegółowoKONWENCJA ZNAKOWANIA MOMENTÓW I WZÓR NA NAPRĘŻENIA
ĆWICZENIE 5 KONWENCA ZNAKOWANIA OENTÓW I WZÓR NA NAPRĘŻENIA Wektor momentu pr ginaniu ukośnm można rutować na osie,, będące głównmi centralnmi osiami bewładności prekroju. Prjmujem konwencję nakowania
Bardziej szczegółowoNarzędzia kontroli wersji Subversion
Narędia kontroli wersji Subversion Łukas Krak Akademia Górnico-Hutnica im. Stanisława Stasica w Krakowie, Wdiał Informatki, Elektroniki i Telekomunikacji Katedra Elektroniki www.wsn.agh.edu.pl Problem
Bardziej szczegółowoWOJSKOWA AKADEMIA TECHNICZNA WYDZIAŁ CYBERNETYKI
WOJSKOWA AKADEMIA TECHNICZNA WYDZIAŁ CYBERNETYKI Analiza i modelowanie Systemów Teleinformatycznych Sprawozdanie z ćwiczenia laboratoryjnego nr 6 Temat ćwiczenia: Modelowanie systemów równoległych z zastosowaniem
Bardziej szczegółowo1. REDUKCJA DOWOLNYCH UKŁADÓW SIŁ. Redukcja płaskiego układu sił
. REDUKCJA DOWOLNYCH UKŁADÓW IŁ Redukcja płaskiego układu sił Zadanie. Znaleźć wartość licbową i równanie linii diałania wpadkowej cterech sił predstawionch na rsunku. Wartości licbowe sił są następujące:
Bardziej szczegółowoPodstawy wytrzymałości materiałów
Podstaw wtrmałości materiałów IMiR - MiBM - Wkład Nr 5 Analia stanu odkstałcenia Składowe stanu odkstałcenia, uogólnione prawo Hooke a, prawo Hooke a dla cstego ścinania, wględna miana objętości, klasfikacja
Bardziej szczegółowoProgramowanie nieliniowe optymalizacja funkcji wielu zmiennych
Ekonomia matematczna II Ekonomia matematczna II Prowadząc ćwiczenia Programowanie nieliniowe optmalizacja unkcji wielu zmiennch Modele programowania liniowego często okazują się niewstarczające w modelowaniu
Bardziej szczegółowoWERYFIKACJA STATECZNOŚCI ELEMENTÓW ŚCISKANYCH ZA POMOCĄ ANALIZY ZAAWANSOWANEJ
CZASOPISO IŻYIERII LĄDOWEJ, ŚRODOWISKA I ARCHITEKTURY JOURAL OF CIVIL EGIEERIG, EVIROET AD ARCHITECTURE JCEEA, t. XXXII,. 62 (4/15), paźdiernik-grudień 2015, s. 93-106 Agnieska GŁUSZKO 1 Lucjan ŚLĘCZKA
Bardziej szczegółowoMECHANIKA OGÓLNA. Semestr: II (Mechanika I), III (Mechanika II), rok akad. 2013/2014
MECHANIKA OGÓLNA Semestr: II (Mechanika I), III (Mechanika II), rok akad. 2013/2014 Licba godin: sem. II *) - wkład 30 god., ćwicenia 30 god. sem. III *) - wkład 30 god., ćwicenia 30 god., ale dla kier.
Bardziej szczegółowoOchrona własności intelektualnej projektów w układach FPGA poprzez szyfrowanie danych konfiguracyjnych
Ochrona własności intelektualnej projektów w układach FPGA poprzez szyfrowanie danych konfiguracyjnych (Na przykładzie projektowania układów sterujacych) Grzegorz Łabiak i Marek Węgrzyn Instytut Informatyki
Bardziej szczegółowoMODELOWANIE SIECI PETRIEGO Z WYKORZYSTANIEM RELACYJNEJ BAZY DANYCH
II Konferencja Naukowa KNWS'05 "Informatyka- sztuka czy rzemios o" 15-18 czerwca 2005, Z otniki Luba skie MODELOWANIE SIECI PETRIEGO Z WYKORZYSTANIEM RELACYJNEJ BAZY DANYCH Małgorzata Kołopieńczyk Instytut
Bardziej szczegółowoAdam Bodnar: Wytrzymałość Materiałów. Proste zginanie
dam Bodnar: trmałość ateriałów. Proste ginanie. PROSTE GINNIE.. Naprężenia i odkstałcenia Proste ginanie pręta prmatcnego wstępuje wówcas gd układ sił ewnętrnch po jednej stronie jego prekroju poprecnego
Bardziej szczegółowoPRZESTRZEŃ WEKTOROWA (LINIOWA)
PRZESTRZEŃ WEKTOROWA (LINIOWA) Def. 1 (X, K,, ) X, K - ciało : X X X ( to diałanie wewnętrne w biore X) : K X X ( to diałanie ewnętrne w biore X) Strukturę (X, K,, ) naywamy prestrenią wektorową : 1) Struktura
Bardziej szczegółowo2.1. ZGINANIE POPRZECZNE
.1. ZGINNIE POPRZECZNE.1.1. Wprowadenie Zginanie poprecne (ginanie e ścinaniem) wstępuje wted, gd ociążenie ewnętrne pręta redukuje się do momentu ginającego M i sił poprecnej. W prekroju takim wstępują
Bardziej szczegółowoZestaw zadań 15: Funkcjonały dwuliniowe i formy kwadratowe (1) Sprawdzić, czy następujące odwzorowania ξ : R 3 R 3 R: x y. x y z. f(x)g(x)dx.
Zestaw adań 5: Funkcjonał dwuliniowe i form kwadratowe () Sprawdić, c następujące odworowania ξ : R 3 R 3 R: x x a) ξ( x, c) ξ( x, x ) = xx + + ; b) ξ(, x ) = xx + 2 + ; d) ξ( x, x x ) = x + x + 2; ) =
Bardziej szczegółowoPodstawy wytrzymałości materiałów
Podstaw wtrmałości materiałów IMiR IMT - Wkład Nr 0 Złożon stan naprężeń - wtężenie materiału stan krtcn materiału pojęcie wtężenia cel stosowania hipote wtężeniowch naprężenie redukowane pregląd hipote
Bardziej szczegółowoJakie nowe możliwości daje właścicielom i zarządcom budynków znowelizowana Ustawa termomodrnizacyjna
dr inż. Wiesław Sarosiek mgr inż. Beata Sadowska mgr inż. Adam Święcicki Katedra Podstaw Budownictwa i Fiyki Budowli Politechniki Białostockiej Narodowa Agencja Posanowania Energii S.A. Filia w Białymstoku
Bardziej szczegółowoORGANIZACJA I ZARZĄDZANIE
P O L I T E C H N I K A W A R S Z A W S K A WYDZIAŁ BUDOWNICTWA, MECHANIKI I PETROCHEMII INSTYTUT INŻYNIERII MECHANICZNEJ ORGANIZACJA I ZARZĄDZANIE Optymaliacja transportu wewnętrnego w akładie mechanicnym
Bardziej szczegółowoModelowanie i obliczenia techniczne. Modelowanie matematyczne Metody modelowania
Modelowanie i oblicenia technicne Modelowanie matematycne Metody modelowania Modelowanie matematycne procesów w systemach technicnych Model może ostać tworony dla całego system lb dla poscególnych elementów
Bardziej szczegółowoI. Rachunek wektorowy i jego zastosowanie w fizyce.
Blok 1: Rachunek wektorow i jego astosowanie w fice Podstawowe wielkości ficne w kinematce Opis ruchu w różnch układach odniesienia Ruch wględn I Rachunek wektorow i jego astosowanie w fice Wsstkie wielkości
Bardziej szczegółowoPodstawy wytrzymałości materiałów
Podstaw wtrmałości materiałów IMiR -IA- Wkład Nr 9 Analia stanu odkstałcenia Składowe stanu odkstałcenia, uogólnione prawo Hooke a, prawo Hooke a dla cstego ścinania, wględna miana objętości, klasfikacja
Bardziej szczegółowoFunkcje wielu zmiennych
Funkcje wielu miennch wkład MATEMATYKI Automatka i Robotka sem I, rok ak 2008/2009 Katedra Matematki Wdiał Informatki Politechnika Białostocka Niech R n def = {( 1, 2,, n ): 1 R 2 R n R } Funkcją n miennch
Bardziej szczegółowoDefinicja sieci. Sieć Petriego jest czwórką C = ( P, T, I, O ), gdzie: P = { p 1, p 2,, p n } T = { t 1, t 2,, t m }
Sieci Petriego Źródła wykładu: 1. http://www.ia.pw.edu.pl/~sacha/petri.html 2.M. Szpyrka: Sieci Petriego w modelowaniu i analizie systemów współbieżnych, WNT 2008 Definicja sieci Sieć Petriego jest czwórką
Bardziej szczegółowoA = {dostęp do konta} = {{właściwe hasło,h 2, h 3 }} = 0, 0003. (10 4 )! 2!(10 4 3)! 3!(104 3)!
Wstęp do rachunku prawdopodobieństwa i statystyki matematycnej MAP037 wykład dr hab. A. Jurlewic WPPT Fiyka, Fiyka Technicna, I rok, II semestr Prykłady - Lista nr : Prestreń probabilistycna. Prawdopodobieństwo
Bardziej szczegółowoMetody dokładne w zastosowaniu do rozwiązywania łańcuchów Markowa
Metody dokładne w astosowaniu do rowiąywania łańcuchów Markowa Beata Bylina, Paweł Górny Zakład Informatyki, Instytut Matematyki, Uniwersytet Marii Curie-Skłodowskiej Plac Marii Curie-Skłodowskiej 5, 2-31
Bardziej szczegółowoHAMOWANIE REKUPERACYJNE W MIEJSKIM POJEŹDZIE HYBRYDOWYM Z NAPĘDEM NA KOŁA TYLNE
ELEKTRYKA 213 Zesyt 1 (225) Rok LIX Marcin FICE Politechnika Śląska w Gliwicach HAMOWANIE REKUPERACYJNE W MIEJSKIM POJEŹDZIE HYBRYDOWYM Z NAPĘDEM NA KOŁA TYLNE Strescenie. W artykule predstawiono wyniki
Bardziej szczegółowoUmowa licencyjna na dane rynkowe - poufne
ZAŁĄCZNIK NR 4 do UMOWY LICENCYJNEJ NA DANE RYNKOWE (obowiąujący od dnia 30 cerwca 2017) CENNIK Wsystkie Opłaty predstawione w Cenniku dotycą i będą nalicane godnie e Scegółowymi Zasadami Korystania i
Bardziej szczegółowo2005 Światowy Rok FIZYKI
2005 Światow Rok FIZYKI Einsteinowska Sesja Naukowa 25 26 listopada 2005 Ponań Paradoks EPR disiaj Rsard Tanaś Uniwerstet im. Adama Mickiewica Insttut Fiki Zakład Optki Nieliniowej http://on8.phsd.amu.edu.pl/~tanas
Bardziej szczegółowoW takim modelu prawdopodobieństwo konfiguracji OR wynosi. 0, 21 lub , 79. 6
achunek prawdopodobieństwa MP6 Wydiał Elektroniki, rok akad. 8/9, sem. letni Wykładowca: dr hab.. Jurlewic Prykłady do listy : Prestreń probabilistycna. Prawdopodobieństwo klasycne. Prawdopodobieństwo
Bardziej szczegółowoZ funkcji zdaniowej x + 3 = 7 można otrzymać zdania w dwojaki sposób:
Z funkcji zdaniowej + 3 = 7 można otrzmać zdania w dwojaki sposób: podstawiając w tej funkcji zdaniowej za stałe będące nazwami liczb np. 4 2 itp. poprzedzając tę funkcję zdaniową zwrotami: dla każdego
Bardziej szczegółowoCzęść 1 2. PRACA SIŁ WEWNĘTRZNYCH 1 2. PRACA SIŁ WEWNĘTRZNYCH Wstęp
Cęść 1. PRC SIŁ WEWNĘTRZNYCH 1.. PRC SIŁ WEWNĘTRZNYCH.1. Wstęp Na wstępie prpomnijm, że gd premiescenie danego eementu jest funkcją diałającej nań sił Δ = f(p), to praca sił na tm premiesceniu jest równa:
Bardziej szczegółowoNajkrótsza droga Maksymalny przepływ Najtańszy przepływ Analiza czynności (zdarzeń)
Carl Adam Petri (1926-2010) Najkrótsza droga Maksymalny przepływ Najtańszy przepływ Analiza czynności (zdarzeń) Problemy statyczne Kommunikation mit Automaten praca doktorska (1962) opis procesów współbieżnych
Bardziej szczegółowoWYKORZYSTANIE LOGIKI SEKWENTÓW GENTZENA DO SYMBOLICZNEJ ANALIZY SIECI PETRIEGO
II Konferencja Naukowa KNWS'05 "Informatyka- sztuka czy rzemios o" 15-18 czerwca 2005, Z otniki Luba skie WYKORZYSTANIE LOGIKI SEKWENTÓW GENTZENA DO SYMBOLICZNEJ ANALIZY SIECI PETRIEGO Jacek Tkacz Instytut
Bardziej szczegółowoWielokryteriowa optymalizacja liniowa (WPL)
arek isyński BO UŁ 007 - Wielokryteriowa optymaliaja liniowa (WPL) -. Wielokryteriowa optymaliaja liniowa (WPL) Zadaniem WPL naywamy następująe adanie optymaliaji liniowej: a a m L O L L O L L a a n n
Bardziej szczegółowoMECHANIKA BUDOWLI 2 PRACA SIŁ WEWNĘTRZNYCH W PRĘTACH
Oga Kopac, am Łogowski, Wojciech Pawłowski, ichał Płotkowiak, Krstof mber Konsutacje naukowe: prof. r hab. JERZY RKOWSKI Ponań /3 ECHIK BUDOWI Praca sił normanch Siła normana prpomnienie (): Jest to siła
Bardziej szczegółowoEPR. W -1/2 =-1/2 gµ B B
Hamiltonian spinow Elektronow reonans paramanetcn jest wiąan absorpcją pola wsokiej cęstotliwości, która towars mianie orientacji spin w ewnętrnm polu manetcnm. Niesparowane spinowe moment manetcne µ s
Bardziej szczegółowoScenariusz lekcji matematyki z wykorzystaniem komputera
Scenariusz lekcji matematki z wkorzstaniem komputera Temat: Wpłw współcznników a i b na położenie wkresu funkcji liniowej. (Rsowanie wkresów prz użciu arkusza kalkulacjnego EXCEL.) Czas zajęć: 9 min Cele:
Bardziej szczegółowoURZĄD MIEJSKI W SŁUPSKU Wydział Zdrowia i Spraw Społecznych. SPRAWOZDANIE (CZĘŚCIOWE*/KOŃCOWE*)1) z wykonania zadania publicznego...
SPRAWOZDANIE (CZĘŚCIOWE*/KOŃCOWE*)1) wykonania adania publicnego... (nawa adania) w okresie od... do..., określonego w umowie nr..., awartej w dniu..., pomiędy... a... (nawa organu lecającego) (nawa organiacji
Bardziej szczegółowoKINEMATYKA. Pojęcia podstawowe
KINEMTYK Pojęcia podstawowe Kinematka jest diałem mechaniki ajmującm się badaniem uchu ciał be uwględniania pcn wwołującch ten uch. Jej celem jest opis tego uchu. Ruchem nawam mianę położenia ciała w odniesieniu
Bardziej szczegółowoJ. Szantyr - Wykład 4 Napór hydrostatyczny Napór hydrostatyczny na ściany płaskie
J. antr - Wkład Napór hdrostatcn Napór hdrostatcn na ścian płaskie Napór elementarn: d n( p pa ) d nρgd Napór całkowit: ρg nd ρgn d gdie: C Napór hdrostatcn na ścianę płaską predstawia układ elementarnch
Bardziej szczegółowoTRANSFORMATORY. Transformator jednofazowy. Zasada działania. Dla. mamy. Czyli. U 1 = E 1, a U 2 = E 2. Ponieważ S. , mamy: gdzie: z 1 E 1 E 2 I 1
TRANSFORMATORY Transformator jednofaowy Zasada diałania E E Z od Rys Transformator jednofaowy Dla mamy Cyli e ω ( t) m sinωt cosωt ω π sin ωt + m m π E ω m f m 4, 44 f m E 4, 44 f E m 4, 44 f m E, a E
Bardziej szczegółowoBADANIE CHARAKTERYSTYK SZTYWNOŚCI MANIPULATORA SZEREGOWEGO Z WYKORZYSTANIEM CZUJNIKÓW LINKOWYCH
MARTA GÓRA, RYSZARD TRELA BADANIE CHARAKTERYSTYK SZTYWNOŚCI MANIPULATORA SZEREGOWEGO Z WYKORZYSTANIEM CZUJNIKÓW LINKOWYCH DETERMINATION OF STIFFNESS CHARACTERISTICS OF SERIAL TYPE MANIPULATOR BY USING
Bardziej szczegółowoPOLSKA WYBRANE DANE STATYSTYCZNE 2010 R.
Projekt Zawodowo PLUS wzmocnienie kształcenia zawodowego szansą na samodzielność niepełnosprawnch w dorosłm żciu współfinansowan przez Unię Europejską ze środków Europejskiego Funduszu Społecznego w ramach
Bardziej szczegółowoWektory. P. F. Góra. rok akademicki
Wektor P. F. Góra rok akademicki 009-0 Wektor zwiazan. Wektorem zwiazanm nazwam parę punktów. Jeżeli parę tę stanowią punkt,, wektor przez nie utworzon oznaczm. Graficznie koniec wektora oznaczam strzałką.
Bardziej szczegółowoSystemy zdarzeniowe - opis przedmiotu
Systemy zdarzeniowe - opis przedmiotu Informacje ogólne Nazwa przedmiotu Systemy zdarzeniowe Kod przedmiotu 11.9-WE-AiRD-SD Wydział Kierunek Wydział Informatyki, Elektrotechniki i Automatyki Automatyka
Bardziej szczegółowo1. Podstawy rachunku wektorowego
1 Postaw rachunku wektorowego Wektor Wektor est wielkością efiniowaną pre ługość (mouł) kierunek iałania ora wrot Dwa wektor o tm samm moule kierunku i wrocie są sobie równe Wektor presunięt równolegle
Bardziej szczegółowoRachunek różniczkowy funkcji jednej zmiennej
Rachunek różniczkow funkcji jednej zmiennej wkład z MATEMATYKI Budownictwo, studia niestacjonarne sem. I, rok ak. 2008/2009 Katedra Matematki Wdział Informatki Politechnika Białostocka 1 Iloraz różnicow
Bardziej szczegółowoĆWICZENIE 5 BADANIE ZASILACZY UPS
ĆWICZENIE 5 BADANIE ZASILACZY UPS Cel ćwicenia: aponanie budową i asadą diałania podstawowych typów asilacy UPS ora pomiar wybranych ich parametrów i charakterystyk. 5.1. Podstawy teoretycne 5.1.1. Wstęp
Bardziej szczegółowoANALIZA ROZDZIAŁU SIŁ HAMOWANIA POJAZDU HYBRYDOWEGO Z NAPĘDEM NA KOŁA TYLNE W ASPEKCIE REKUPERACJI ENERGII
Zesyty Problemowe Masyny Elektrycne Nr 9/211 15 Marcin Fice, Rafał Setlak Politechnika Śląska, Gliwice ANALIZA ROZDZIAŁU SIŁ HAMOWANIA POJAZDU HYBRYDOWEGO Z NAPĘDEM NA KOŁA TYLNE W ASPEKCIE REKUPERACJI
Bardziej szczegółowoAdam Bodnar: Wytrzymałość Materiałów. Hipotezy wytężeniowe.
HIPOTEZY WYTĘŻENIOWE Wtężenie i jego miara Wkres rociągania stali miękkiej pokauje że punkt materialn najdując się w jednoosiowm stanie naprężenia prechodi w trakcie więksania naprężenia pre kolejne stan
Bardziej szczegółowoLaboratorium grafiki komputerowej i animacji. Ćwiczenie III - Biblioteka OpenGL - wprowadzenie, obiekty trójwymiarowe: punkty, linie, wielokąty
Laboratorium grafiki komputerowej i animacji Ćwicenie III - Biblioteka OpenGL - wprowadenie, obiekty trójwymiarowe: punkty, linie, wielokąty Prygotowanie do ćwicenia: 1. Zaponać się ogólną charakterystyką
Bardziej szczegółowoEgzamin / zaliczenie na ocenę*
WYDZIAŁ PODSTAWOWYCH PROBLEMÓW TECHNIKI Zał. nr 4 do ZW33/01 KARTA PRZEDMIOTU Nazwa w języku polskim : INŻYNIERIA OPROGRAMOWANIA Nazwa w języku angielskim: SOFTWARE ENGINEERING Kierunek studiów (jeśli
Bardziej szczegółowoAkcesoria do siłowników Focowania tłoczysk, seria CM2 Głowice przegubowe. Broszura katalogowa
Akcesoria do siłowników Focowania tłocysk, seria CM2 Głowice pregubowe Brosura katalogowa 2 Akcesoria do siłowników Focowania tłocysk, seria CM2 Głowice pregubowe Głowica pregubowa kołnierem, Seria AP6
Bardziej szczegółowoZ opisu wynika, że czas realizacji operacji jest nie krótszy lub równy 12 miesięcy: Maksymalna ocena 10 pkt. Wnioskowana kwota pomocy wynosi:
Lokalne kryteria wyboru operacji dla predsięwięcia 2.4 Promocja obsaru i rowój oferty w akresie turystyki (Publikacje akresu historii, kultury i turystyki): Kryteria stosowane w procedure Grantowej: oceny
Bardziej szczegółowoPowierzchnie stopnia drugiego
Algebra WYKŁAD 3 Powierchnie sopnia drugiego Deinicja Powierchnią sopnia drugiego kwadrką nawam biór punków presreni rójwmiarowej, spełniającch równanie A B C D E F G H I K gdie A, B,, K są sałmi i prnajmniej
Bardziej szczegółowo4.2.1. Środek ciężkości bryły jednorodnej
4..1. Środek ciężkości rł jednorodnej Brłą jednorodną nawam ciało materialne, w którm masa jest romiescona równomiernie w całej jego ojętości. Dla takic ciał arówno gęstość, jak i ciężar właściw są wielkościami
Bardziej szczegółowoAnaliza transformatora
ĆWICZENIE 4 Analia transformatora. CEL ĆWICZENIA Celem ćwicenia jest ponanie bodowy, schematu astępcego ora ocena pracy transformatora.. PODSTAWY TEORETYCZNE. Budowa Podstawowym adaniem transformatora
Bardziej szczegółowoLABORATORIUM MECHANIKI EKSPERYMENTALNEJ. Instrukcja do ćwiczenia
LABORATORIUM MECHANIKI EKSPERYMENTALNEJ Instrukcja do ćwicenia 3 Ruch precesjn giroskopu Cel ćwicenia Obserwacja jawiska precesji regularnej. Badanie ależności prędkości kątowej precesji od momentu sił
Bardziej szczegółowoZASTOSOWANIE GRANICZNYCH ZAGADNIEŃ ODWROTNYCH DO OKREŚLANIA DOPUSZCZALNYCH STĘŻEŃ SUBSTANCJI CHEMICZNYCH NA POWIERZCHNI TERENU
Zastosowanie granicnych agadnień INFRASTRUKTURA I EKOLOGIA TERENÓW WIEJSKICH INFRASTRUCTURE AND ECOLOGY OF RURAL AREAS Nr 9/2008, POLSKA AKADEMIA NAUK, Oddiał w Krakowie, s. 217 226 Komisja Technicnej
Bardziej szczegółowoPRZEKSZTAŁCENIA W PRZESTRZENI 3D czyli matematyczny zawrót głowy. Część2 :Rodzaje układów współrzędnych. Obroty i Skalowanie
PRZEKSZTAŁCENIA W PRZESTRZENI 3D cli matematcn awrót głow Cęść :Rodaje układów wpółrędnch. Obrot i Skalowanie Witam wtkich agorałch grafików. Tak jak piałem w popredniej cęści nach matematcnch roważań,
Bardziej szczegółowo