Professional Documents
Culture Documents
1. Wstp
E b Ad + E s As E b S xb + E s S xs E b S yb + E s S ys N
0
E b S xb + E s S xs s
E b J xb + E s J xs b
E b Dxy + E s Dxy x = M x (4)
E b S yb + E s S ys
E b Dxy
b
+ E s Dxy
s
E b J by + E s J ys y M y
3. Caki brzegowe
Cn , m = C
A
n , m ( x, y ) dA =
A
x n y m dA (5)
Zamiast oblicza takie caki jako caki powierzchniowe mona wprost wyrazi je jako
caki liniowe, korzystajc z zasad mechaniki, co moe by interesujce dla inynierw.
Wykorzystane zostan jedynie wzory na charakterystyki geometryczne dla prostokta oraz
twierdzenie Steinera.
Dla momentu statycznego wzgldem osi x rozumowanie jest analogiczne. Moment sta-
tyczny elementarnego prostokta dSx wzgldem x jest polem powierzchni pomnoonym
przez odlego od rodka cikoci, ktra wynosi f (x)/2, wic dSx = f (x)dx f (x)/2. Cakujc,
dostaje si:
b 1 1 b
Sx = dS =
A
x
a 2
f ( x) f ( x)dx =
2 a
f 2 ( x ) dx (7)
Analogicznie mona obliczy moment statyczny wzgldem osi y, mnoc pole po-
wierzchni f (x) dx przez odlego od osi, ktra jest dana wprost jako rzdna x.
b b
Sy =
a
x f ( x)dx = a
xf ( x)dx (8)
Moment dewiacji Dxy mona obliczy korzystajc z faktu, e jego warto w rodku ci-
koci prostokta, w ukadzie osi gwnych centralnych x, h jest zero, a z tw. Steinera wynika
Dxy = Dxh + ADxDy.
b 1 1 b
Dxy =
a
0 + f ( x ) dx x f ( x ) =
2 2 a
xf 2 ( x)dx (10)
si:
b
Jy =
a
x 2 f ( x)dx (11)
95
i staja si na tyle wygodne, e nawet brzeg krzywoliniowy (np. odcinek uku koowego)
przybliany jest aman. Charalampakis [4] pokazuje na do skrajnym przykadzie
e mao dokadne przyblienie aman moe generowa istotny bd rozwizania. Obecno
zakrzywionych szczeglnie krtkich fragmentw brzegu utrudnia zadanie.
W przypadku brzegu opisanego aman podzia na fragmenty bdzie odpowiada podzia-
owi przekroju na trapezy.
Dla trapezu funkcja f (x) jest funkcj liniow. Dla uproszczenia, wartoci funkcji na kra-
cach przedziau bd oznaczane jako f (a) = fa na pocztku oraz f (b) = fb na kocu (rys. 2).
Wtedy rwnanie krzywej mona zapisa:
fb f a
f ( x) = f a + ( x a) (12)
ba
Podstawiajc rwnanie brzegu (12) do kolejnych wyrae (6)(11), mona otrzyma od-
powiednie wzory, jednak prowadzi to do bardzo mudnych rachunkw.
Aby tego unikn, wystarczy najpierw zauway, e wszystkie funkcje podcakowe
w rwnaniach (6)(11) s wielomianami stopnia co najwyej trzeciego, a nastpnie skorzy-
sta ze wzoru Simpsona.
Wzr Simpsona na cak z funkcji g(x) wyraa si jako:
b 1
a
g ( x)dx =
6
( g a + 4 g p + gb )(b a ) (13)
gdzie:
ga, gb wartoci funkcji na kocach przedziau,
gp warto funkcji w rodku przedziau cakowania.
Jest to wzr dokadny dla wielomianu stopnia nie wyszego ni trzeci.
Wzr (13) po wstawieniu g(x) = f (x) wyraa pole powierzchni, ale dla funkcji liniowej
1 1
(12) zachodzi: f p = ( f a + fb ) oraz x p = ( xa + xb ), wic wzr upraszcza si do znanego
2 2
wzoru na pole powierzchni trapezu.
Dla momentu statycznego, traktujc, e dana jest funkcja g(x) = f 2(x), wzr Simpsona
daje:
1 b 1 2
Sx =
2 a
f 2 ( x ) dx =
12
( f a + 4 f p2 + fb2 )(b a ) (14)
1 2
Sx = ( f a + f a fb + fb2 )(b a ) (15)
6
96
4. Twierdzenie Greena
Q
Qdy =
A x
dx dy (26)
Chcc obliczy warto caki powierzchniowej Cn,m, wg rwnania (5), z wielomianu xnym,
mona dobra funkcj Q np. jako Q = xn+1ym, dla ktrej zachodzi:
1 ( x n +1 y m ) 1
A
x n y m dxdy =
n +1 A x
dxdy =
n +1
x n +1 y m dy (27)
kroju, gdy funkcja podcakowa wielomian cn,m definiowany przez (5) jest klasy C. Jeli
oblicza si charakterystyki jedynie obszaru ciskanego, to funkcj podcakow w caym ob-
szarze przekroju naleaoby przedefiniowa jako:
x n y m ciskanie
cn, m ( x, y ) = (29)
0 rozciganie
Funkcja doznaje skoku na osi obrotu, przy przejciu ze ciskania do rozcigania. Wtedy
w caym obszarze cakowania funkcja moe nie by nawet klasy C0 i nie mona wprost zasto-
sowa twierdzenia Greena. Obszar przekroju musi by podzielony na podobszary, w ktrych
zwizki konstytutywne s klasy C1.
W przypadku NL istnieje jeden punkt niecigoci krzywej konstytutywnej, midzy ci-
skaniem i rozciganiem, wic naley podzieli przekrj na cz ciskan i rozciagan. W
przypadku innych zwizkw konstytutywnych moe by wicej punktw niecigoci i wte-
dy obszar przekroju trzeba podzieli na podobszary, w ktrych funkcja s(e) jest dostatecznie
gadka. Oglnie podzia na podobszary odbywa si przez znalezienie prostych dla ktrych
( x, y ) = ih , dla kadej charakterystycznej wartoci eih , gdzie wykres s(e) ma niecigo
funkcji lub pierwszej pochodnej.
Problem cigoci moe by jeszcze istotniejszy w przypadku obliczania (cakowania)
macierzy stycznej. Wtedy w funkcji podcakowej wystpuje nie s(e) ale s'(e). Wymaga to
podziau obszaru na fragmenty o cigoci napre C2.
Podzia przekroju na strefy jest zaleny od punktw niecigoci zwizkw konstytutyw-
nych. Z tego wynika te istotna wada wykorzystywania geometrii, gdy trudno jest rozdzieli
zwizki konstytutywne od sposobu cakowania ich w przekroju.
4.1.2. Brzeg i jego opis
Poprzednie wzory (6)(11) dotyczyy caki z funkcji, ktra jest tylko fragmentem brzegu,
pozostaa cz brzegu bya uwzgldniana niejawnie przez boki bd podstaw trapezu, gdy
daway one zerowe caki. Wymagao to z kolei odpowiedniego podziau brzegu.
Twierdzenie Greena wymaga obliczenia caki po krzywej zamknitej, czyli po wszystkich
fragmentach brzegu. W konsekwencji cak po konturze zamknitym naleaoby rozumie
jako sum caek =
i i
po fragmentach brzegu DGi. W zamian nie ma potrzeby
dokonywania jakiegokolwiek podziau. Uatwia to algorytmizacj, gdy podzia brzegu jest
bardziej skomplikowany ni jednolite potraktowanie wszystkich fragmentw.
99
1 2
S x = ( ya + ya yb + yb2 )( xa xb ) (31)
6
1 2
S y = ( xa + 4 x 2p + xb2 )( yb ya ) (32)
12
1 3
J x = ( ya + 4 y 3p + yb3 )( xa xb ) (33)
18
1 3
J y = ( xa + 4 x3p + xb3 )( yb ya ) (34)
18
1
Dxy = ( xa ya2 + 4 x p y 2p + xb yb2 )( xa xb ) (35)
12
5. Reprezentacja brzegu
Jeli obszar przekroju jest prost geometrycznie figur, nie wida wyranie zalet wy-
korzystania twierdzenia Greena w porwnaniu do elementarnych wzorw. Wystpujce
w praktyce ksztaty przekroju bywaj znacznie bardziej skomplikowane. Dla obszaru nie-
100
Moliwy jest rwnie przekrj skadajcy si z rozcznych czci, gdzie kada ma osob-
ny brzeg zewntrzny. Jest to o tyle istotny przypadek, e jeli przekrj nie jest wypuky,
wtedy cz ciskana takiego przekroju moe skada si z rozcznych czci.
Zalety twierdzenia Greena ujawniaj si wanie wtedy, kiedy przez odpowiedni opis
brzegu mona jednolicie opisa wszystkie te skomplikowane przypadki.
Moliwe s dwa podejcia. Jeden opisany przez [14] (a take stosowany przez Palucha),
gdzie przechowuje si osobne listy brzegw, kada zawierajca liczb punktw. Jeden ze-
wntrzny bd wicej, jeli obszar skada si z kilku rozcznych podobszarw i kolejne
brzegi wewntrzne (o przeciwnym obiegu), o ile wystpuj. Taka reprezentacja jest pokazana
na rys. 3 (z lewej). W praktyce bywa to niedogodne, gdy wymaga uycia bardziej zoonych
struktur danych. Dlatego tutaj preferowany jest inny sposb.
Druga moliwo to wprowadzenie sztucznego brzegu midzy brzegami zewntrznym
a wewntrznym, w postaci pary odcinkw, od A do B i od B do A, przez co formalnie istnieje
jeden cigy brzeg rys. 3 (z prawej). Brzeg fikcyjny nie zmienia wartoci caki, gdy wzdu
pary krawdzi brzegu fikcyjnego funkcja podcakowa jest ta sama, ale przeciwne s zwro-
ty przyrostw dx lub dy. W analogiczny sposb mona wprowadzi brzeg fikcyjny midzy
rozcznymi czciami obszaru. Stosujc brzeg fikcyjny, mona uzyska jedn cig lini
brzegu we wszystkich moliwych przypadkach. Dla algorytmw operujcych na przekroju
najbardziej nawet zoony obszar topologicznie nie rni si od wypukego wieloboku. Do-
tyczy to zarwno operacji sumowania (obliczania caek), jak i operacji znajdowania czci
ciskanej. Bardzo uatwia to operacje znalezienia czci ciskanej, gdy wszystkie operacje
przeprowadza si tak, jak na jednym wieloboku wypukym.
101
Wyzeruj charakterystyki
for i = 1 to rozmiar tablicy brzeg do
a=brzeg(i)
b=brzeg(i+1) (cyklicznie)
xa = xy (a, 1) ya = xy (a, 2)
xb = xy (b, 1) yb = xy (b, 2)
oblicz xp, yp
oblicz przyrosty wg. wzorw (30)(35)
dodaj przyrosty do wielkoci cakowitych
end for
{Tylko w przypadku strefy ciskanej}
if A < 0 then
Wyzeruj charakterystyki por. pkt. 6.3
end if
Rys. 5. Algorytm obliczania charakterystyk geometrycznych
dla wieloboku zadanego przez cig punktw
Fig. 5. Polygon moment of area computing algorithm
Obliczanie charakterystyk strefy ciskanej formalnie nie rni si niczym, jeli zamiast
wieloboku, opisujcego cay przekrj przekazany zostanie do oblicze wielobok opisujcy
stref ciskan przekroju. W rzeczywistoci dane musz by odpowiednio zorganizowane.
Specyfik opisu zbrojenia ju poruszono. Inne zalenoci wynikajce z uycia oglnego
algorytmu obliczania charakterystyk do czci ciskanej przekroju zostan podane pniej
w punkcie 6.3.
Zadanie wyznaczenia strefy ciskanej jest zadaniem czysto geometrycznym. Obszar (tu-
taj wielobok) przekroju jest w czci ciskany, a w czci rozcigany. Wielobok opisujcy
obszar rozcigany jest w tym przypadku nieistotny, wic zadanie sprowadza si do znalezie-
nia jedynie jednego wieloboku opisujcego cz ciskan.
Granic midzy czci ciskan a rozcigan jest o obrotu, gdzie odksztacenia s zero-
we. Rwnanie osi obrotu mona uzyska z (1) i opisuje ono prost.
Rwnowanie mona wic sformuowa to zadanie: wyznaczy nowy wielobok lecy
po zadanej stronie prostej.
Poszukiwany wielobok bdzie skada si z (czci) punktw wieloboku przekroju
i punktw przecicia brzegu z osi obrotu. Znalezienie punktw wieloboku w przypadku
oblicze analitycznych nie sprawia adnych kopotw, widoczne s relacje geometryczne
i topologiczne. Z punktu widzenia algorytmu realizowanego przez komputer zadanie jest
o wiele trudniejsze.
Analogiczny problem wystpuje w geometrii obliczeniowej, gdzie do badania po ktrej
stronie prostej ley dany punkt uywa si iloczynu wektorowego. Jeli prosta jest zadana
przez dwa (uporzdkowane) punkty A i B i naley sprawdzi po ktrej stronie znajduje si
punkt C, to zwrot wektora AB AC okrela pooenie. Jest to prosty test ale niestety za-
wodny.
Jeli punkt B ley dostatecznie blisko prostej, to z powodu skoczonej dokadnoci aryt-
metyki procesora, warto jest zerowa. Wtedy nie mona stwierdzi, po ktrej stronie prostej
ley zadany punkt. Prowadzi to do bardzo skomplikowanych rozwiza, typu arytmetyka
adaptacyjna zaproponowana przez Shewchuka [13].
W przypadku wyznaczania strefy ciskanej mona czciowo unikn problemu, korzy-
stajc z wartoci odksztace. Paszczyzna odksztace (1) przecina paszczyzn przekroju
na osi obrotu. Odksztacenia s ujemne w czci ciskanej, a dodatnie w czci rozciganej.
Zamiast bada pooenie punktu, wygodniej sprawdzi znak odksztace.
Nie jest to recepta na arytmetyk procesora. Raczej skutki bdw zaokrgle s inne.
W geometrii obliczeniowej jeli punkt (pixel), ktry jest zakryty paszczyzna (ley we-
wntrz zakrytego obszaru) pojawi si na rysunku, to jest to widoczna wada. Jeli punkt ob-
szaru ciskanego znajdzie si, w wyniku bdw zaokrgle, w obszarze rozciganym, to
wpyw tego niewielkiego przesunicia na charakterystyki geometryczne jest niezauwaal-
ny. Nie oznacza to, e problem przestaje istnie. Dalej, przy poszczeglnych krokach algo-
rytmu, podano komentarz dotyczcy tego, jakie skutki moe mie to zjawisko.
Algorytm wyznaczania strefy ciskanej nie musi by wydajny obliczeniowo. Jego zo-
ono wynosi i tak O(n), a liczba punktw jest niewielka typowy przekrj ma kilka, kil-
kanacie punktw. Nawet bardzo dokadnie zdyskretyzowany brzeg krzywoliniowy bdzie
mia rzdu tysica punktw. Dopiero przy wielokrotnym poszukiwaniu strefy ciskanej,
np. przy wyznaczaniu obwiedni nonoci przekroju wydajno algorytmu moe mie zna-
czenie.
Opisujc algorytm, bdzie jednoczenie pokazywane jego dziaanie na przykadzie
podanym na rys. 4. Aby zilustrowa dziaanie, potrzeba wczeniej ustali reprezentacj da-
nych.
105
=
Znajc t , mona obliczy wsprzdne punktu poredniego, x x=
( t ), y y ( t ),
korzystajc z dwu pierwszych rwna (36).
Rys. 6. Wielobok przekroju oraz przekrj z osi obrotu i wyznaczonymi punktami porednimi
Fig. 6. Cross-section polygon and polygon with axis of rotatation and with midpoint
{Krok 1}
for i = 1 to ilo wierszy tablicy xy do
oblicz e z rwnania (1)
eps(i)= e
end for
{Krok 2}
for i = 1 to rozmiar tablicy brzeg do
a=brzeg(i)
b=brzeg(i+1)(cyklicznie)
wpisz a na koniec tablicy tmp
if ea eb < 0 then
oblicz x , y
wpisz punkt poredni x , y na koniec tablicy xy, pozycja p
wpisz p na koniec tablicy tmp
wpisz eps(p)=0.0
end if
end for
{Krok 3}
c=1;
for a = 1 to rozmiar tablicy tmp do
if eps(a) 0 then
nowy_brzeg(c)=tmp(a)
c=c+1
end if
end for
Rys. 7. Algorytm wyznaczania strefy ciskanej
Fig. 7. Algorithm for finding the cross-section compressed region
108
Przebieg 3. W trzecim przebiegu przepisana zostaje lista punktw brzegu tmp do trze-
ciego wektora nowy_brzeg, z pominiciem punktw, gdzie e > 0 (rozciganie, zero to
punkty graniczne), czyli przepisywane s punkty dla ktrych e 0.
Po wykonaniu trzeciego kroku algorytmu, co pokazano na rys. 8, tablica xy zawiera
nastpujce punkty:
x={0.0115021503100410050.061507104.54810090.010}
y={0.010.0210031004150515068071008102914610}
Tablica nowy_brzeg zawiera nastpujce punkty:
nowy_brzeg={71328344955667108}
Warto zwrci uwag, e krawd od P10 do P7 nie skada si z osobnych czci P10P9,
P9P8 i P8P7. Jest jednym odcinkiem.
6.4. Uoglnienie
Algorytm wyznaczania strefy ciskanej daje si w sposb naturalny uoglni na dowolne
zwizki konstytutywne dane przedziaami. Wymagany jest wtedy podzia przekroju na strefy,
gdzie obowizuje jeden z przedziaw zwizkw konstytutywnych. Modyfikacji wymaga
jedynie warunek na punkty porednie do postaci ( a ih )(b ih ) < 0, gdzie wielkoci eih
okrelaj punkty charakterystyczne zwizkw konstytutywnych.
W przypadku zwizkw odcinkowo-liniowych poprzez charakterystyki mona wyrazi
wszystkie potrzebne wielkoci przekrojowe. Jeli zwizki nie s liniowe w danym przedzia-
le, obliczanie charakterystyk na og nie wystarcza do rozwizania zadania, jednak podzia
na strefy jest dalej uyteczny.
W przypadku podziau na strefy pojawia si dodatkowy problem; dla jednorodnego stanu
h
odksztacenia bdcego ktr z wartoci ei otrzymuje si podwjne wyniki. Mona tego
unikna, znajdujc w pierwszym przebiegu emin i emax. Jeli si nie rni, to jest to stan jed-
norodny.
110
7. Wnioski
Literatura