|
Létající amorfní počítač
Petrů, L. ; Wiedermann, Jiří
V příspěvku navrhneme formální model létajícího amorfního počítače a ukážeme, že k libovolnému počítači RAM s libovolně velkým vstupem existuje amorfní počítač, jehož velikost záleží pouze na velikosti vstupu a jenž konkrétně realizuje počítač RAM pro daný vstup s libovolně malou pravděpodobností chyby.
|
| |
| |
| |
|
SBRA method and the development of its application
Půstka, D. ; Marek, Pavel
Tento příspěvek obrací pozornost na potenci l metody SBRA, zvláště u ocelových konstrucí. Plně pravděpodobnostní řešení daného problému je tu ukázáno na dvou příkladech. Na ocelovém nosníku ovlivněném korozí a na akumulaci poškození únavou na ocelových podpěrách namáhaných větrem. 295 This paper turns attention to the potential of the simulation based reliability assessment method SBRA, considering especially the durability assessment of steel structures. A fully probabilistic approach is demonstrated using two examples. A steel component is exposed to time dependent effects of corrosion and assessment of the accumulation fatigue damage.
|
| |
| |
| |
| |
| |