modeling of uncertainty in computational mechanics
DESCRIPTION
Modeling of Uncertainty in Computational Mechanics. Andrzej Pownuk, The University of Texas at El Paso http://andrzej.pownuk.com . FEM Models. Errors in numerical computations. Modeling errors Approximation errors Rounding errors Uncertainty Human errors. Truss structure. - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/1.jpg)
Modeling of Uncertainty in Computational Mechanics
Andrzej Pownuk, The University of Texas at El Paso
http://andrzej.pownuk.com
![Page 3: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/3.jpg)
Modeling errors
Approximation errors
Rounding errors
Uncertainty
Human errors
Errors in numerical computations
3
2 2
'' ''1 ( ')
y M MyEJ EJy
( )b
ii i
a
f x dx w f
![Page 4: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/4.jpg)
Truss structure
1
23
4
5
67
8
91 0
111 2
1 3
1P 2P 3P
1 4
1 5
LLLL
L
![Page 5: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/5.jpg)
Perturbated forces
No 1 2 3 4 5 6 7 8ERROR % 10 9,998586 10,00184 10,00126 60,18381 11,67825 9,998955 31,8762
No 9 10 11 12 13 14 15ERROR % 10,00126 11,67825 60,18381 9,998955 10,00184 10 9,998586
0P P P
5% uncertainty
1
23
4
5
67
8
91 0
111 2
1 3
1P 2P 3P
1 4
1 5
LLLL
L
![Page 6: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/6.jpg)
Interval equations
ax bExample
[1, 2] [1,4]x
?x
bxa
![Page 7: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/7.jpg)
http://en.wikipedia.org/wiki/Interval_finite_element
Interval FEM
![Page 8: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/8.jpg)
Differences between intervals and uniformly distributed random variables
p p p
p
Interval
Random variable 1p p
1
![Page 9: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/9.jpg)
Differences between intervals and uniformly distributed random variables
1 ... , ,m i ii i
p p n p p p p
width n n p p n width p p
Intervals
Random variables
2 2n i
i
n n p
width n n width p p
![Page 10: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/10.jpg)
Differences between intervals and uniformly distributed random variables
int int( ) ( )( ) ( )rand rand
width n n widthn
width n n width
p pp p
Example n=100
int int( ) ( )100 10
( ) ( )rand rand
width n n widthwidth n n width
p pp p
![Page 11: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/11.jpg)
Partial safety factors for materials
- design value - characteristic value
ud
m
SS
dS
cS
![Page 12: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/12.jpg)
Partial safety factor for materials, account for (i) the possibility of unfavourable deviation of
material strength from the characteristic value. (ii) the possibility of unfavourable variation of
member sizes. (iii) the possibility of unfavourable reduction in
member strength due to fabrication and tolerances. (iv) uncertainty in the calculation of strength of
the members.
![Page 13: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/13.jpg)
Partial safety factors for loads
d f cF F
- design value - characteristic value
dF
cF
![Page 14: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/14.jpg)
Limit state is a function of safety factors
L Q TR D L Q T
, 0iL
0L Q TR D L Q T
![Page 15: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/15.jpg)
Calibration of safety factors
0iL
0f fP P
fP - probability of failure
![Page 16: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/16.jpg)
Probability of failure = = (number of safe cases)/(number of all
cases)
Probability of failure
structure fail often=
structure is not safe
( ) 0
f Xg x
P f x dx
![Page 17: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/17.jpg)
Probabilistic methods
How often the stucture fail?
Non-probabilistic methods (worst case design)
How big force the structure is able to survive?
Probabilistic vs nonprobabilistic methods
![Page 18: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/18.jpg)
Probabilistic design
( , ) 0
( , ) 0 ,fg x
P P g x f x dx
0f fP P
![Page 19: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/19.jpg)
Elishakoff I., 2000, Possible limitations of probabilistic methods in engineering. Applied Mechanics Reviews, Vol.53, No.2,pp.19-25
Does God play dice?
![Page 20: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/20.jpg)
1:09
20/
153
More complicated safety conditions
lim it s ta te
uncerta in lim it s tate
1
2
crisp sta te
uncerta in sta te
![Page 21: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/21.jpg)
21/
53
Uncertain parametersSet valued random variable
Upper and lower probability
nRhh :
AhPAPl :
AhPABel :
![Page 22: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/22.jpg)
Design under uncertainty
0( )Pl P
![Page 23: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/23.jpg)
1:09 23/153
Uncertain parameters
Nested family of random sets Nhhh ...21
}:{ hxPxF x
xF
1h
2h
3h
1F
2F
3F
0x
0xF
![Page 24: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/24.jpg)
Uncertain parameters Fuzzy sets
0F
0F1F
1F
1
0
xF
F
F x
xy Fxfyx
Ff
:sup
Extension principle
![Page 25: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/25.jpg)
Design with fuzzy parameters
( , ) 0Fg x
: ( , ) 0,g x x x
max :
![Page 26: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/26.jpg)
http://andrzej.pownuk.com/fuzzy.htm
Fuzzy approach (the use of grades)is similar to the concept of safety factor.
Because of that fuzzy approach is very important.
Fuzzy sets and probability
![Page 27: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/27.jpg)
Alpha cut method
max : , F x x F F
, max : ( , ) R c p p c R
![Page 28: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/28.jpg)
Interval risk curve for different uncertainty
![Page 29: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/29.jpg)
Interval risk curve for different uncertainty
![Page 30: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/30.jpg)
Interval risk curve for different uncertainty
![Page 31: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/31.jpg)
Bayesian inference (subjective probability)
||
P E H P HP H E
P E P H - is called the prior probability of H that was inferred
before new evidence, E, became available
|P E H - is called the conditional probability of seeing the evidence E if the hypothesis H happens to be true. It is also called a likelihood function when it is considered as a function of H for fixed E.
P E - marginal probability
|P H E - is called the posterior probability of H given E.
![Page 32: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/32.jpg)
Cox's theorem
Cox's theorem, named after the physicist Richard Threlkeld Cox, is a derivation of the laws of probability theory from a certain set of postulates. This derivation justifies the so-called "logical" interpretation of probability. As the laws of probability derived by Cox's theorem are applicable to any proposition, logical probability is a type of Bayesian probability. Other forms of Bayesianism, such as the subjective interpretation, are given other justifications.
![Page 33: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/33.jpg)
Rough sets, soft sets(sets with features)
First described by Zdzisław I. Pawlak, is a formal approximation of a crisp set (i.e., conventional set) in terms of a pair of sets which give the lower and the upper approximation of the original set. In the standard version of rough set theory (Pawlak 1991), the lower- and upper-approximation sets are crisp sets, but in other variations, the approximating sets may be fuzzy sets.
![Page 34: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/34.jpg)
Interval and set valued parameters
![Page 35: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/35.jpg)
Interval parameters,p p p
( , ) 0g p
: ( , ) 0,g p p θ p
Design with the interval parameters
![Page 36: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/36.jpg)
R. E. Moore. Interval Analysis. Prentice-Hall, Englewood Cliffs N. J., 1966
Neumaier A., 1990, Interval methods for systems of equations, Cambridge University Press, New York
Ben-Haim Y., Elishakoff I., 1990, Convex Models of Uncertainty in Applied Mechanics. Elsevier Science Publishers, New York
Buckley J.J., Qy Y., 1990, On using a-cuts to evaluate fuzzy equations. Fuzzy Sets and Systems, Vol.38,pp.309-312
Important papers
![Page 37: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/37.jpg)
Köylüoglu H.U., A.S. Çakmak, and S. R. K. Nielsen (1995). “Interval Algebra to Deal with Pattern Loading of Structural Uncertainties,” ASCE Journal of Engineering Mechanics, 11, 1149–1157
Important papers
![Page 38: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/38.jpg)
Rump S.M., 1994, Verification methods for dense and sparse systems of equations. J. Herzberger, ed., Topics in Validated Computations. Elsevier Science B.V.,pp.63-135
Important papers
![Page 39: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/39.jpg)
Muhanna in the paper Muhanna R.L., Mullen R.L., Uncertainty in Mechanics Problems - Interval - Based Approach. Journal of Engineering Mechanics, Vol.127, No.6, 2001, 557-556
E.Popova, On the Solution of Parametrised Linear Systems. W. Kraemer, J. Wolff von Gudenberg (Eds.): Scientific Computing,Validated Numerics, Interval Methods. Kluwer Acad. Publishers, 2001, pp. 127-138.
Important papers
![Page 40: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/40.jpg)
I. Skalna, A Method for Outer Interval Solution of Systems of Linear Equations Depending Linearly on Interval Parameters, Reliable Computing, Volume 12, Number 2, April, 2006, Pages 107-120
Important papers
![Page 41: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/41.jpg)
Akpan U.O., Koko T.S., Orisamolu I.R., Gallant B.K., Practical fuzzy finite element analysis of structures, Finite Elements in Analysis and Design, 38 (2000) 93-111
McWilliam, Stewart, 2001 Anti-optimisation of uncertain structures using interval analysis Computers and Structures Volume: 79, Issue: 4, February, 2001, pp. 421-430
Important papers
![Page 42: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/42.jpg)
Pownuk A., Numerical solutions of fuzzy partial differential equation and its application in computational mechanics, FuzzyPartial Differential Equations and Relational Equations: Reservoir Characterization and Modeling (M. Nikravesh, L. Zadeh and V. Korotkikh, eds.), Studies in Fuzziness and Soft Computing, Physica-Verlag, 2004, pp.308-347
Important papers
![Page 43: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/43.jpg)
Neumaier A., Clouds, fuzzy sets and probability intervals, Reliable Computing 10: 249–272, 2004
http://andrzej.pownuk.com/IntervalEquations.htm
Important papers
![Page 44: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/44.jpg)
http://webapp.math.utep.edu:8080/~andrzej/php/ansys2interval/
http://webapp.math.utep.edu/Pages/IntervalFEMExamples.htm
http://calculus.math.utep.edu/IntervalODE-1.0/default.aspx
http://calculus.math.utep.edu/AdaptiveTaylorSeries-1.1/default.aspx
http://andrzej.pownuk.com/silverlight/VibrationsWithIntervalParameters/VibrationsWithIntervalParameters.html
Examples
![Page 45: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/45.jpg)
Interval equations
ax bExample
[1, 2] [1,4]x
?x
bxa
![Page 46: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/46.jpg)
Algebraic solution
[1, 2] [1,4]x
[1, 2]x because
[1, 2][1,2] [1,4]
![Page 47: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/47.jpg)
Algebraic solution
[1, 4] [1,4]x
[1,1] 1x because
[1, 4] 1 [1,4]
![Page 48: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/48.jpg)
Algebraic solution
[1,8] [1,4]x
?x
![Page 49: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/49.jpg)
United solution set
[1, 2] [1,4]x
1 ,42
xbecause
{ : , [1,2], [1,4]}x ax b a b x
![Page 50: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/50.jpg)
United solution set
[1,2][-1,1]
[1,2][2,4][2,4][1,2]
2
1
xx
1
2
3
3
3
3
)( BA ,hu ll
)( BA ,
![Page 51: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/51.jpg)
Different solution sets
, : , ,x A b Ax b
A b A b
United solution set
, : , ,x A b Ax b
A b A b
, : , ,x A b Ax b
A b A b
Tolerable solution set
Controllable solution set
![Page 52: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/52.jpg)
Other solution sets
![Page 53: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/53.jpg)
Parametric solution sets
http://www.ippt.gov.pl/~kros/pccmm99/10PSS.html
![Page 54: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/54.jpg)
![Page 55: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/55.jpg)
![Page 56: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/56.jpg)
Derivative
( ) ( ), ( )f x f x f x
'( ) min '( ), '( ) ,max '( ), '( )f x f x f x f x f x
What is the definition of the solution of differential equation?
![Page 57: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/57.jpg)
Differentiation of the interval function
( )f x
( )f x
v ,x f x f x
v' min ' , ' ,max ' , 'x f x f x f x f x
![Page 58: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/58.jpg)
What is the definition of the solution of differential equation?
Dubois D., Prade H., 1987, On Several Definition of the Differentiation of Fuzzy Mapping, Fuzzy Sets and Systems, Vol.24, pp.117-120
How about integral equations?
![Page 59: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/59.jpg)
Other problems Modal interval arithmetic Affine arithmetic Constrain interval arithmetic Ellipsoidal arithmetic Convex models (equations with the ellipsoidal parameters) General set valued arithmetic Fuzzy relational equations …. Etc.
![Page 60: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/60.jpg)
Methods of solutions
![Page 61: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/61.jpg)
What does everyone have in mind?
![Page 62: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/62.jpg)
Taylor expansion
1 10 0 1 10 01
,..., ,..., ...m m m mm
y yy p p y p p p p p pp p
0 10 0,..., my y p p
11
... mm
y yy p pp p
0 0, ,y y y y y y y
![Page 63: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/63.jpg)
General optimization methods Gradient descent Interior point method Sequential quadratic programming Genetic algorithms …
![Page 64: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/64.jpg)
Interval methodsand reliable computing
![Page 65: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/65.jpg)
System of linear interval equations Endpoint combination method Interval Gauss elimination Interval Gauss-Seidel method Linear programming method Rohn method
Jiri Rohn, "A Handbook of Results on Interval Linear Problems“,2006http://www.cs.cas.cz/~rohn/publist/handbook.zip
![Page 66: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/66.jpg)
Oettli and Prager (1964)
W. Oettli, W. Prager. Compatibility of approximate solution of linear equations with given error bounds for coefficients and right-hand sides. Numer. Math. 6: 405-409, 1964.
( )x mid x rad rad x rad
A,b A b A b
,A b A b
![Page 67: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/67.jpg)
Linear programming method
H.U. Koyluoglu, A. Çakmak, S.R.K. Nielsen. Interval mapping in structural mechanics. In: Spanos, ed. Computational Stochastic Mechanics. 125-133. Balkema, Rotterdam 1995.
min
( )
( )
0
i
s
s
x
mid D rad x b
mid D rad x b
x
A A
A A
max
( )
( )
0
i
s
s
x
mid D rad x b
mid D rad x b
x
A A
A A
![Page 68: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/68.jpg)
Rohn’s method
rc r c
r r
A mid D rad D
b mid D rad
A A
b b
1, 1,1,...,1 Tr J
rc rcconv conv
A,b A ,b
: , ,rc rc rc rconv conv x A x b r c J
A ,b
22 2 2n n n 2
2n nRohn’s method Combinatoric solution
![Page 69: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/69.jpg)
Rohn sign-accord method (RSA) For every Select recommended
Solve If then register x and go to
next r Otherwise find Set and go to step 1.
c J 1rc sign mid b A
rc rA x b
r J
sign x c
min : j jk j sign x c
k kc c
![Page 70: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/70.jpg)
SoftwareVERSOFT: Verification software in MATLAB / INTLAB
http://uivtx.cs.cas.cz/~rohn/matlab/index.html
-Real data only: Linear systems (rectangular) -Verified description of all solutions of a system of linear equations -Verified description of all linear squares solutions of a system of linear equations -Verified nonnegative solution of a system of linear inequalities-VERLINPROG for verified nonnegative solution of a system of linear equations -Real data only: Matrix equations (rectangular)-See VERMATREQN for verified solution of the matrix equation A*X*B+C*X*D=F (in particular, of the Sylvester or Lyapunov equation)
Etc.
![Page 71: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/71.jpg)
Muhanna and Mullen
![Page 72: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/72.jpg)
Fixed point theory Find the solution of Ax = b
◦ Transform into fixed point equation g(x) = xg (x) = x – R (Ax – b) = Rb+ (I – RA) x (R nonsingular)
◦ Brouwer’s fixed point theorem If Rb + (I – RA) X int (X) then x X, Ax = b
![Page 73: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/73.jpg)
Fixed point theory Solve AX=b
◦ Brouwer’s fixed point theorem w/ Krawczyk’s operatorIf R b + (I – RA) X int (X) then (A, b) X
◦ Iteration Xn+1= R b + (I – RA) εXn (for n = 0, 1, 2,…) Stopping criteria: Xn+1 int( Xn ) Enclosure: (A, b) Xn+1
![Page 74: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/74.jpg)
Dependency problem
pu
ukkkkk 0
2
1
22
221
![Page 75: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/75.jpg)
Dependency problem k1 = [0.9, 1.1], k2 = [1.8, 2.2], p = 1.0
]11.1,91.0[]1.1,9.0[
11
11
ku
)tionoverestima(
]04.2 ,12.1[]2.2 ,8.1[]1.1 ,9.0[]2.2 ,8.1[]1.1 ,9.0[
2
21
21
kkkku
solution)exact (
]67.136.1[]2.2 ,8.1[
1]1.1 ,9.0[
111'21
2 , kk
u
![Page 76: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/76.jpg)
Dependency problem
Two k1: the same physical quantity Interval arithmetic: treat two k1 as two
independent interval quantities having same bounds
21
21
kkkku
2
![Page 77: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/77.jpg)
Naïve interval finite element Replace floating point arithmetic by interval
arithmetic Over-pessimistic result due to dependency
10
]2.2,8.1[]8.1,2.2[]8.1,2.2[]3.3,7.2[
2
1
uu
]5.137 ,5.134[
]112 ,110[
2
1
uu
Naïve solution Exact solution
]67.1 ,36.1[]11.1 ,91.0[
2
1
uu
![Page 78: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/78.jpg)
Dependency problem How to reduce overestimation?
◦ Manipulate the expression to reduce multiple occurrence
◦ Trace the sources of dependency
pu
ukkkkk 0
2
1
22
221
![Page 79: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/79.jpg)
Present formulation Element-by-Element
◦ K: diagonal matrix, singular
p
L2, E2, A2L1, E1, A1
p
![Page 80: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/80.jpg)
Present formulation Element-by-element method
◦ Element stiffness:
◦ System stiffness:
)( iii IK dK
1
1
1
11
1
11
1
11
1
11
1
1
1
1
1
1
1
1
1 00
1001
αα
EE
EE
K11
11
LAE
LAE
LAE
LAE
LA
LA
LA
LA
)( dK IK
![Page 81: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/81.jpg)
Present formulation Lagrange Multiplier method
◦ With the constraints: CU – t = 0◦ Lagrange multipliers: λ
000p
λuK
CC
tpu
CCK TT
![Page 82: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/82.jpg)
Present formulation System equation: Ax = b
rewrite as:
00p
λuK
CCT
000
0000
0p
λudk
CCk T
bxD )( SA
![Page 83: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/83.jpg)
Present formulation x = [u, λ]T, u is the displacement vector Calculate element forces
◦ Conventional FEM: F=k u ( overestimation)◦ Present formulation: Ku = P – CT λ
λ= Lx, p = NbP – CT λ = p – CT L(x*n+1 + x0)P – CT λ = Nb – CT L(Rb – RS Mn δ)P – CT λ = (N – CT LR)b + CTLRS Mn δ
![Page 86: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/86.jpg)
Click here
![Page 87: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/87.jpg)
Web applicationhttp://andrzej.pownuk.com/
Click here
![Page 88: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/88.jpg)
Truss structure with interval parameters
![Page 89: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/89.jpg)
Monotonicity of the solution Monotone solution
Non-monotone solution
1 1 2
2 2
1 11 1
pu pu p
1 11 2 2, 2 2
p ppu u
42 0u p
2 21 2,u p u p
![Page 90: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/90.jpg)
Interval solution for monotone functions(gradient descent method)
0up
If then ,min maxp pp p
0up
If then ,min maxp pp p
max( ), ( )minu u p u u p
![Page 91: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/91.jpg)
Monotonicity of the solution
![Page 92: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/92.jpg)
Plane stress
![Page 93: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/93.jpg)
Interval solutionVerification of the results by using search method with 3 intermediate points
![Page 94: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/94.jpg)
Interval solution
![Page 95: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/95.jpg)
Interval solution
![Page 96: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/96.jpg)
Interval solution
![Page 97: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/97.jpg)
Interval solution
![Page 98: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/98.jpg)
2D problem with the interal parameters and interval functions parameters
![Page 99: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/99.jpg)
![Page 100: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/100.jpg)
Scripting languageanalysis_type linear_static_functional_derivative
parameter 1 [210E9,212E9] # Eparameter 2 [0.2,0.4] # Poisson numberparameter 3 0.1 # thicknessparameter 4 [-3,-1] sensitivity # fy
point 1 x 0 y 0point 2 x 1 y 0 point 3 x 1 y 1 point 4 x 0 y 1 point 5 x -1 y 0point 6 x -1 y 1 rectangle 1 points 1 2 3 4 parameters 1 2 3rectangle 2 points 5 1 4 6 parameters 1 2 3
load constant_distributed_in_y_local_direction geometrical_object 1 fy 4load constant_distributed_in_y_local_direction geometrical_object 2 fy 4
boundary_condition fixed point 1 uxboundary_condition fixed point 1 uyboundary_condition fixed point 2 uxboundary_condition fixed point 2 uyboundary_condition fixed point 5 uxboundary_condition fixed point 5 uy
#Mesh
![Page 101: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/101.jpg)
Shape optimization
min
0
,
u u
C
min
,
u u
or
![Page 102: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/102.jpg)
Interval setA B A B
, : Ω
![Page 103: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/103.jpg)
Set dependent functions
C
xdx
d
Center of gravity
2I y d
Moment of inertia
Solution of PDE
*
for int
for
uu q xt
u u x
![Page 104: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/104.jpg)
Topological derivative
00lim lim
T
duu u d D xdff
d
![Page 105: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/105.jpg)
Topological derivativeExamples
( ) ( )
f L x d ( )df L xd
C
xdx
d
2C
x xddx
dd
![Page 106: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/106.jpg)
Extreme values of montone functions
2( ) , 1, 2f x x x
( ) 2 [2,4]df x xdx
21 1f f x
22 4f f x
( ) , 1, 4f x f f
![Page 107: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/107.jpg)
Topological derivative and monotonicity
, 0f f df
f f
![Page 108: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/108.jpg)
Parametric representation
00
lim lim
duu u d
dffd
![Page 109: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/109.jpg)
Results which are independent of parameterization
2
f L x d
2 | |f f L x d L x
![Page 110: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/110.jpg)
Results which are dependent on parameterization
0 1,x x R
0
1 0
( ) x xfx x
1
1 1 1 0120
1 1 1 1 0
1
( )lim
( ) ( )x
dff x x f x x xdxdf
dd x x x x xdx
1 0x x
![Page 111: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/111.jpg)
Results which are dependent on parameterization
0
1 0
( ) x xfx x
0
0 0 0 0 120
0 0 0 1 0
0
( )lim
( ) ( )x
dff x x f x dx x xdf
dd x x x x xdx
1 0x x
01
1 0
dfdfdxdx
d ddx dx
![Page 112: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/112.jpg)
Computational method
( )K p u Q p
( )f p p
( )
Q p K puK p up p p
( )pf pp p
Formulation of the problem
Calculation of the derivative
![Page 113: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/113.jpg)
Computational methodu
u p
p
1i i If , 0du then
If , 0du then 1i i
for x
![Page 114: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/114.jpg)
Coordinates of the nodes are the interval numbers.
Loads, material parameters (E, ) can be also the interval numbers.
Data for Calculations
[ , ]i i ix x x
[ , ], [ , ], [ , ]P P E E EP
![Page 115: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/115.jpg)
Interval solution
( ) ( , ), ( ) ( , )min maxu x u x u x u x
( ) { ( , ) : [ , ]}x u x u
![Page 116: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/116.jpg)
Interval von Mises stress
![Page 117: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/117.jpg)
Truss structure with the uncertain geometry
![Page 118: Modeling of Uncertainty in Computational Mechanics](https://reader035.vdocuments.site/reader035/viewer/2022062812/5681637c550346895dd45a77/html5/thumbnails/118.jpg)
Conclusions Currend civil engineering codes are based
on worst case design concept, because of that it is possible to use presented approach in the framework of existing law.
Using presented method it is possible to solve engineering problems with interval parameters (interval parameters, functions, sets).