-
Data: 2011-08-01 09:48:46
Temat: Re: Dostepnosc systemu - metody formalne
Od: Seweryn Habdank-Wojewódzki <h...@g...com> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]Witam,
> Wie Pan, takei zadania to sie studentom daje... Jak rowneiz symulacja
> "takich rzeczy" to nie czarna magia i studentow sie uczy...
Moze i w Centucky to sie studentom daje. Jednak widze ze na ten temat
to sie pisze powazne dziela nie nalezace do opowiesci o Harrym
Potterze.
> Az zalosc bierze jak sie w tym watku pracowicie odkrywa sie kolo i
> zarowke.
Zal mi sie robi jak slysze Pana skomlenie. Tytul zawiera "metody
formalne"
wiec niech Pan skrobie cos o metodach formalnych. MC to jest
workaround
i metoda numeryczno-stochastyczna, ktora da wynik z pewnym
prawdopodobienstwem.
To jest podejscie inzynierskie - dobre, ale nie ogolne.
> W pocie czola. A moze by tak, Panowie, lacznei z Oryginalnym
> Pytaczem, postudiowac troche lietrature?
Tak sie sklada, ze zdarlem sobie zeby na modelowaniu sieci kolejkowych
w szczegolnosci tematyka awaryjnosci nie jest mi obca. Klopot polega
na tym, ze podejscia formalne biora pod uwage systuacje proste jak
rowniez
proste rozklady i zazwyczaj stacjonarnosc procesow stochastycznych
jak i niezaleznosc zmiennych losowych.
> Googla nei macie?
Panie A.L. przepraszam firme Google, ale informacji naukowej to jest
moze 10% w google.
To co jest profesjonalne jest w ksiazkach, albo w skryptach naukowych
nawet nie dostepnych
na Amazon.
Prosze sobie nie zartowac wspominajac Google. Chyba, ze pana poziom
spadl tak nisko,
ze poza google nie czyta Pan ksiazek.
> Models of Network Reliability: Analysis, Combinatorics, and Monte
> Carlo, Ilya B. Gertsbakh (Author), Yoseph Shpungin
Tego nie czytalem, ale czytalem inne.
Pozdrawiam,
Seweryn Habdank-Wojewodzki.
Następne wpisy z tego wątku
- 01.08.11 12:24 Seweryn Habdank-Wojewódzki
- 01.08.11 12:29 Seweryn Habdank-Wojewódzki
- 01.08.11 16:27 A.L.
- 01.08.11 22:01 R. P.
- 02.08.11 05:34 Seweryn Habdank-Wojewódzki
- 02.08.11 13:14 A.L.
- 03.08.11 22:03 R. P.
- 04.08.11 09:28
- 04.08.11 11:03 R. P.
- 08.08.11 09:40 Sebastian Kaliszewski
- 11.08.11 10:04 Seweryn Habdank-Wojewódzki
- 12.08.11 17:21 R. P.
- 12.08.11 18:18 n...@m...invalid
- 12.08.11 20:55 A.L.
- 12.08.11 21:41 R. P.
Najnowsze wątki z tej grupy
- TCL - problem z escape ostatniego \ w nawiasach {}
- Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- testy-wyd-sort - Podsumowanie
- Tworzenie Programów Nieuprzywilejowanych Opartych Na Wtyczkach
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
- Re: W czym sie teraz pisze programy??
- Re: (PDF) Surgical Pathology of Non-neoplastic Gastrointestinal Diseases by Lizhi Zhang
- CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
- Młodzi programiści i tajna policja
- Ada 2022 Language Reference Manual to be Published by Springer
Najnowsze wątki
- 2024-11-14 Dobra zmiana
- 2024-11-14 Czy prezydent może ułaskawić od zadośćuczynienia? [A. Lepper odszkodowania]
- 2024-11-14 Gliwice => Network Systems Administrator (IT Expert) <=
- 2024-11-14 Gliwice => Administrator Systemów Sieciowych (Ekspert IT) <=
- 2024-11-13 Filtr do pompy ruskiej
- 2024-11-12 Gdzie kosz?
- 2024-11-13 elektrycznie
- 2024-11-12 Jebane kurwa, kurwy.
- 2024-11-13 karta parkingowa
- 2024-11-13 Wl/Wyl (On/Off) bialy/niebieski
- 2024-11-12 I3C
- 2024-11-13 Kraków => DevOps Engineer (Junior or Regular level) <=
- 2024-11-13 Łódź => Senior SAP HANA Developer <=
- 2024-11-13 Zabrze => Senior PHP Symfony Developer <=
- 2024-11-13 Karlino => Konsultant wewnętrzny SAP (FI/CO) <=