-
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.
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
- 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
- Press Release - AEiC 2023, Ada-Europe Reliable Softw. Technol.
- Ada-Europe - AEiC 2023 early registration deadline approaching
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2023
- Ile cykli zajmuje mnożenie liczb 64-bitowych?
Najnowsze wątki
- 2024-06-27 SAMOCHODY ELEKTRYCZNE: EKOLOGICZNA HIPOKRYZJA CZY EKONOMICZNA GŁUPOTA? | GOSPODARCZE ZERO #21
- 2024-06-27 Głośnik piezoelektryczny
- 2024-06-23 Mala autonomiczna kamera monitoringu
- 2024-06-26 czas na emeryturę i EB
- 2024-06-26 Wyjścia video kart graficznych (NVIDIA)
- 2024-06-27 Warszawa => Key Account Manager <=
- 2024-06-27 Bażanowice => Expert Migration Architect (Azure) <=
- 2024-06-27 Ulm => IT Netzwerktechniker (m/w/d) <=
- 2024-06-27 Warszawa => Kierownik Działu Spedycji Międzynarodowej <=
- 2024-06-27 Warszawa => Head of International Freight Forwarding Department <=
- 2024-06-26 Kraków => International freight forwarder <=
- 2024-06-26 Częstochowa => Marketing Specialist (E-Commerce) <=
- 2024-06-26 Warszawa => Fullstack Java Developer <=
- 2024-06-26 Warszawa => React Native Developer <=
- 2024-06-26 Rzeszów => Frontend Developer (React) <=