eGospodarka.pl
eGospodarka.pl poleca

eGospodarka.plGrupypl.comp.programmingDostepnosc systemu - metody formalne › Re: Dostepnosc systemu - metody formalne
  • Path: news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed2.atman.pl!newsfeed.atman.pl!go
    blin1!goblin.stu.neva.ru!postnews.google.com!t9g2000vbs.googlegroups.com!not-fo
    r-mail
    From: Seweryn Habdank-Wojewódzki <h...@g...com>
    Newsgroups: pl.comp.lang.c,pl.comp.programming
    Subject: Re: Dostepnosc systemu - metody formalne
    Date: Mon, 1 Aug 2011 02:48:46 -0700 (PDT)
    Organization: http://groups.google.com
    Lines: 49
    Message-ID: <6...@t...googlegroups.com>
    References: <c...@u...googlegroups.com>
    <1...@k...googlegroups.com>
    <4...@e...googlegroups.com>
    <8...@e...googlegroups.com>
    <7...@e...googlegroups.com>
    <4...@t...googlegroups.com>
    <2...@1...googlegroups.com>
    <m...@4...com>
    NNTP-Posting-Host: 148.198.43.3
    Mime-Version: 1.0
    Content-Type: text/plain; charset=ISO-8859-1
    Content-Transfer-Encoding: quoted-printable
    X-Trace: posting.google.com 1312192244 14129 127.0.0.1 (1 Aug 2011 09:50:44 GMT)
    X-Complaints-To: g...@g...com
    NNTP-Posting-Date: Mon, 1 Aug 2011 09:50:44 +0000 (UTC)
    Complaints-To: g...@g...com
    Injection-Info: t9g2000vbs.googlegroups.com; posting-host=148.198.43.3;
    posting-account=vi_T3AoAAAAiIW96Kt9iUyMlWyAzBlCE
    User-Agent: G2/1.0
    X-Google-Web-Client: true
    X-Google-Header-Order: ASELCHRU
    X-HTTP-UserAgent: Mozilla/5.0 (Windows NT 6.1; WOW64) AppleWebKit/534.30 (KHTML, like
    Gecko) Chrome/12.0.742.122 Safari/534.30,gzip(gfe)
    Xref: news-archive.icm.edu.pl pl.comp.lang.c:295736 pl.comp.programming:191676
    [ ukryj 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.

Podziel się

Poleć ten post znajomemu poleć

Wydrukuj ten post drukuj


Następne wpisy z tego wątku

Najnowsze wątki z tej grupy


Najnowsze wątki

Szukaj w grupach

Eksperci egospodarka.pl

1 1 1

Wpisz nazwę miasta, dla którego chcesz znaleźć jednostkę ZUS.

Wzory dokumentów

Bezpłatne wzory dokumentów i formularzy.
Wyszukaj i pobierz za darmo: