PDS projekt Má prosím někdo z této skupiny aktivní node na merlinu a odpovídá na zprávy?
xkiral01, teda Adrián Király má chat klienta s menom MarvinBot, pripojeného na node: --reg-ipv4 147.229.176.19 --reg-port 42047
Zobrazit všechny odpovědi (4)
díky, zkusím
nahodou by si nevedel aky ma jazyk implementacie?
Maroš Basy Vasilišin Python
Roman Dobiáš Adrián Király použil som ten node do dokumentácie, podla mailu si treba spraviť teamy na obhajoby, potrebujete ma do vašej skupinky či si viete spraviť team bezo mna? (Ja už mám team o 3 ludoch)
Někdo s implementací v jiném jazyce než Python? :D
Zobrazit všechny odpovědi (2)
Skus Michal Vlnas
PM ak tak :)
podelí sa ešte niekto s adresou a jazykom implementácie? chýba mi už len 1 do dokumentácie mne beží node na 147.229.176.19:30000, python
Zobrazit všechny odpovědi (7)
147.229.176.19:25036, python
Maroš Basy Vasilišin prosímtě, jsi na tom chatu ještě aktivní? Potřeboval bych zkusit, jestli mi přijde odpověď od peera :)
Vojta Matějíček už nie ale možem ti to zapnúť EDIT: node znova beží
to bys byl hodný
posílal jsi mi nějaké zprávy na xmatej51?
Vojta Matějíček nene, posielam len ack na message... ale mozem ti nieco poslat ak chces
Vojta Matějíček potrebujes ma do teamu na prezentacie/obhajoby projektu ? (Viz mail) alebo si vies zalozit team aj bezo mna? (My uz sme 3)
SPP Máme příští týden přednášku nebo je dnes poslední den na prezentaci projektu?
1. maja je sviatok, takze vtedy nebude ziadna vyuka.
Zobrazit všechny odpovědi (3)
No právě. Takže je dnes poslední den na prezentaci?
Láďa Bambuch hovoril, ze urobi nejaky dalsi termin na prezentaciu pre tych co nestihnu odprezentovat dnes
Moc děkuju za info! ;-)
Ahoj všem, můžete mi prosím pomoci s diplomkou? Dotazník zabere max. 3 minuty a pomůže mi zjistit, co studenti a absolventi v IT očekávají od zaměstnavatele. Na oplátku vám můžu zaslat výstup z analýzy firem, které vyvíjí SW v ČR, Německu a Rakousku nebo vyplnit nějaký z vašich dotazníků :)
https://forms.gle/CHSdCPFcw77NgZ1V6
PMA Ahoj, je tu niekto, kto mal tento predmet minulý rok a vedel by mi cca povedať, čo sa učil na zápočtový test? Bolo tam aj abcd z domácich úloh, veci z cvík (ktoré?), či učiť sa zo slajdov? Za každú info by som bol vďačný :-)
Minulý rok sme písali test za zvukov koncertov na nádvorí (Rock at FIT) a večšina ludí sa na ten test prirpavovala tým že sa naučila tie garantované príklady z cvík a prípadne nejaké tie otázky čo sme preberali an cvikách
PES opora Mohl by mi někdo vysvětlit jakto, že je síť na obrázku striktně konzervativní? Pokud to dobře chápu, tak počet značek v počáteční konfiguraci by měl u striktně konzevativní sítě být stejný i u všech jejích dostupných konfigurací. Tady ale stačí provést dva přechody (vpravo a dolů) a dostanu konfiguraci se dvěmi značkami. Ba co víc, budou se mi časem dokonce donekonečna hromadit. Chápu to celé špatně, nebo je v opoře chyba?
Hej před chvilkou jsem nad tím nadával :D
Vedeli ste, že všetky tieto služby poskytuje CESNET študentom zadarmo? 🤓
MAR Pisal mi cviciaci Schuller a chce zoznam studentov, ktori robia projekt pre Seznam.cz.. napiste sa do komentarov (ide o zapocet :D)
Matúš Bútora, xbutor01
Zobrazit všechny odpovědi (5)
Matúš Bútora napises loginy aj tvojich kolegov z teamu prosim?
xzsigm00
Matúš Bútora Hodně cool login.
Daniel Dušek dakujem vazim si to
#nohomo, teda, ale, jo?
ja som ti poslal PM..
PES úloha 2 - Model 1. Ako chápete to že robot je vždy v jednom z piatich stavov pritom tam nie je nijaký stav "je pripravený". Je to teda tak že mám pridať jedno miesto kde bude robot "pripravený" a potom si vyberie do ktorého z tých piatich stavov pôjde?. Potom sa to ale nebude zhodovať so zadaním ale aj tak robot potrebuje nejakú synchronizáciu. 2. Stroj vyrába výrobky alebo stroj spracováva výrobky ktoré sú generované nejakým prechodom bez presetu? Z textu mi to nie je úplne jasné.
"Jakmile se robot presune ke stroji nebo k bufferu, zustava na stanovisti dokud neprovede prıslusny ukol (nalozı vyrobek na paletu a preda stroji, nebo vylozı z palety a presune do skladu), a pote se vracı do skladu." Teda tipujem, že východzia pozícia bude v sklade.
DIP Ahoj, je tu niekto, kto si ruší DIP+MSZ a dáva si to na druhý rok? Dá sa to zrušiť samostatne cez wis alebo je treba podať nejakú žiadosť? Prípadne je niekde formulár tejto žiadosti?
Posielal som len mail Eysseltovi
Da sa aj iba vyplnit elektronicka ziadost cez wis a oni ti to schvalia a zrusia :)
Zobrazit všechny odpovědi (1)
Jen to upřesním - na zrušení DIP už je pozdě. Teď už se povoluje jen zrušení MSZ a u DIP se to řeší výsledkem "nezapočteno" (za rok je pak 2. pokus o DIP a 1. pokus o MSZ - tedy 1. pokus o obhajobu a 1. pokus o ústní).
MAR Ahoj, je tu niekto kto má voľné miesto v tíme na projekt?
PES du.2 Ako chapete Algoritmus konstrukce stromu dosažitelných znacení?... konkretne mi nie je jasne formulace: 3.b) kde sa pise: "Existuje-li na ceste z korene do vrcholu x vrchol y takový, že..." to sa mysli ta cesta vratane korenoveho uzlu alebo korenovy a koncovy uzol sa nerataju?
Cau, jeste jsem se k uloze nedostal, ale napada me, ze v TINu jsme to delali taky, tak muzes zkusit omrknout, jestli to tam neni formulovano nejak lepe ;)
Zobrazit všechny odpovědi (6)
toto sme v tinu nepreberali...
Martin Riša aha ok, sorry, s necim jsem si to spletl. Ale nevim s cim...
nie ale to je logicka otazka co som tu polozil ani nie tak otazka k predmetu PES. otazka znie ci na ceste z x do y lezi x ked podla definice toho stromu y (este) nelezi... silna to logika co? :D
Martin Riša hehe, no tezko rict, jak to autor myslel. Pokud to vezmu ciste logicky, tak kdyz je cesta z korene do vrcholu x, tak by mely byt koren i vrchol x zahrnute (cesta Brno>Praha taky obsahuje obe mesta). Otazka je, zda vrchol x, koren nebo y se muzou rovnat. Pokud neni uvedeno, tak nevime. Takze jsem ti nepomohl, ja vim :D
Btw definice stromu dosazitelnych znaceni je v TINu v 13. prednasce (ktera ani neni na webu), ale je to kompletne copy-pasta z PES prednasek. Tak jen poznamenavam, ze nema cenu tam cokoliv dohledavat kvuli jinemu zpusobu vysvetleni, jak jsem si puvodne myslel. :D je to uplne stejne
no nechal som si to trošku přelézat hlavou (aby som sa uistul že sa nepletu)a usudzujem že je toto kandidát na otázku do fora
half-life deathmatch
ZRE hledám tým na projekt.
FLP plg-2-nka Nemá někdo prosím k dispozici testy na tuto variantu projektu? Díky
PMA Ahojte, doc. Kreslikova bude pry kontrolovat dochazku. Nelibi se ji, ze se dost lidi podepisuje za spoluzaky. Taky nikdo neprisel na dopoledni cviceni. Zkuste se treba domluvit s kamarady na stridani, at tam aspon nekdo je (treba v registrovane cviko-skupine protocte po jednom?). At se ta dochazka nezprisni jeste vic. ;)
PRL uměli byste mi někdo vystvětlit, jak očíslovat pro binární strom procesory Etour 1 až 2n - 2 tak, abych uměl pro každého určit následníka a abych věděl, jestli je to dopředná hrana?
NSB Vie mi niekto povedat co je myslene tou prezentaciou vramci cvik, ake su temy a ako sa to zapisuje? :D
Prezentace má být na téma, které tě zajímá a je nějakým způsobem rozšiřující k látce co bereme. Buď si vybereš třeba jiný protokol, než bereme/jinou technoligii, nebo jen rozšíříš o více znalostí to co se bere. Jinak je to myšlené tak, že si zvolíš něco sám, pošleš to cvičícímu, ten se rozhodne zda je to dostatečné a předpokládám, že ti to nějak zapíše na základě té komunikace. Pak se předposlední hodinu cvik prezentuje to, co jsi k tomu nastudovala :)
Zobrazit všechny odpovědi (1)
Dee Klepáčková dakujem :)
DP šablona použili ste niekto šablónu na napísanie odborného článku?
tak počkaj, chceš šablónu na DP alebo článok?
Zobrazit všechny odpovědi (2)
Dominika Klobučníková šablónu dp použiť na článok, či je aj špeciálna šablóna v LateX pre článok?
DP šablóna nie je vhodná pre článok, má veľa vecí navyše, plus má samostatnú titulnú stranu, čo je pri článkoch overkill. šablón je veľa, skúsila by som pozrieť overleaf, ale podľa mňa nich nestratíš s obyčajným dvojstĺpcovým article a \maketitle.
https://koclab.cs.ucsb.edu/teaching/cren/
Zobrazit všechny odpovědi (1)
ďakujem
Lze použít šablonu pro Excel@FIT, případně mám její upravenou verzi pro výzkumnou skupinu KNOT: http://knot.fit.vutbr.cz/sablona/ Nějaká obecná šablona článku na FIT je v plánu/přípravě, ale nestíhám. Nejhůř o prázdninách, až bude trochu volněji...
FLP Zdravím, našiel by sa niekto, kto by bol ochotný hodiť sem minuloročný graf pre zadanie Rubikova kocka? Ďakujem :)
PES Můžete mi někdo uvést na pravou míru, zda se v úloze 1A očekává, že k modelovanému procesu na obrázku pouze přidáme fakta, nebo se očekává i přidání podmínek a událostí na sesynchronizování procesů X a Y?
Asi tě nepotěším, prvně podmínky a pak i fakta.
Zobrazit všechny odpovědi (2)
Takže pokud jsem proces ze zadání rozšířil na 2 procesy doplněné o podmínky a události tak, aby se chovaly jako procesy případu čtenáři/písaři popsaného v zadání, je to dobře? Trochu mi vadí věta "chování jednoho procesu bude modelováno tak, jak je zobrazeno na obrázku 1 - 5 podmínek a 8 událostí....tím že jsem vytvořil proces X a Y a doplnil synchronizační podmínky a události už nejsou procesy tvořené pouze 5 podmínkami a 8 událostmi
Myslím si, že se po nás chce, aby jsme zachovali strukturu těch dvou procesů a přidali k nim tu synchronizaci a fakta
PES Vedel by mi prosím niekto povedať ako správne dokázať: 1. Ekvivalence dvou C/E systémů je relace ekvivalence 2. Dva C/E systémy jsou ekvivalentní právě tehdy, jsou-li jejich případové grafy izomorfní. 3. Každou platnou formuli v C/E systému lze vyjádřit konjunkcí jeho některých faktů.
2(podla mna oba smery sa dokazuju rovnako len treba otocit smer implikacii) -ak su ekvivalentni existuju dve bijekce J a E teda mnoziny prechodov aj stavov su "rovnake" -graf je zlozeny z uzlov ktore reprezentuju stavy teda pocet uzlov v grafoch bude rovnaky -graf ma hrany ktore tvoria prechody a ich pocet je tiez rovnaky. - staci ukazat ze v sieti c1[G> c2 <=> J(c1)[E(G)>J(c2) plati v grafe co plynie z definicie pripadoveho grafu a pripadovej triedy
1. relace ekvivalence je : reflex, symetr., tranzit. - teda ze E1 ~ E2 <=> FORALL E: E ~ E AND FORALL E1,E2: E1 ~ E2 <=> E2 ~ E1 AND tranzitivita. slovom povedane: -dokazat ze system je ekvivalentny sa so sebou(hracke nie?) -dokazat ze je to symtricke to je tiez hadam easy... -dokazat ze je to tranzitivne tiez hadam easy ked sa poznaju tie 2 bijekce z predosleho postu
ale tu 3jku neviem, dalo by sa na nu rozne
Ja tu 2 mam takto: Systemy jsou (g, e) - ekvivalentni kdyz...(viz. definice 4.1 prednaska 2) Pak system Sigma' = (B', E', F', C') je komplementem Sigma = (B, E, F, C)...(viz. Definice 5.2 prednaska 2) Takze z techto 2 definic ukazu ze existuje zobrazeni g:C -> C' a ze existuje e:E -> E' Done.
Zobrazit všechny odpovědi (7)
Asi je to presne to isté, ale z tohto som to pochopil lepšie
fuha v tej knihe je vsetko :)
aka kniha? potvrdzujem ze je to to iste co pisem
Patrik Čigi Čigáš co je to za knihu prosím tě?
ja som to mal z https://books.google.cz/books?id=8dupCAAAQBAJ&pg=PA29#v=onepage&q&f=false ale celú knižku som nikde nenašiel
fyi cela kniha napriklad tu http://www.futuresoft.yolasite.com/resources/Petri%20net-%20W.%20Reisig%20Book.pdf
v tej knihe je fakt vsetko
PES synchronizačná vzdialenosť Nevie mi niekto vysvetliť prečo/ako v slidoch pod definíciou synchronizačnej vzdialenosti vychádza v príklade omega? Nemá niekto k tomu prípadne lepšie materiály?
Omega znamená že vzdialenosť môže rásť až do nekonečna
Zobrazit všechny odpovědi (1)
to mi je jasné, zaujíma ma ako sa k tomu dopracovať
Pri prochazeni jsem z definic samotnych moc moudry nebyl, ale jak je to potom vysvetlene s tim pomyslnym pridanym mistem a hranami do/z nej, je to mnohem pochopitelnejsi. Vzdy se snazis zjistit jak velkou kapacitu to umele pridane misto musi mit, aby to nijak nemenilo chovani dane sit (a ta kapacita je rovna synchronizacni vzdalenosti). U synchronizacni vzdalenosti mezi ({e4,e5},{e3}) (prednaska 4, str. 7) se pri kazdem cyklu prida do mista vzdy 2 znacky a odebere jen 1 (ackoliv tyto 2 akce muzou byt provedeny v kazdem cyklu v libovolnem poradi), a tedy vzdy existuje nejaky proces teto site, ktery tam nacpe postupne libovolne velky pocet znacek. V definici sycnhronizacni vzdalenosti σ(E1, E2) = sup{ ν(p, E1, E2) | p ∈ πΣ } je supremum (fancy slovo pro maximum, kvuli nekonecnu) pres vsechny procesy, a tato sit ma nekonecne mnoho procesu (protoze je tam cyklus a proces muze byt libovolne dlouhy -> vzdy najdes nejaky co do umele pridaneho mista narve kolik chces znacek)
Zobrazit všechny odpovědi (1)
Takze mezi dvema udalostmi (takze ne 2:1 jako v te prednasce) nemuze byt sync. vzdalenost nekonecna?
PES Ahoj, vedel by mi niekto pomôcť s vysvetlením, ako počítať mieru μ pre počítanie udalostí? (PES-04 slajd 5, príklad 1) Konkrétne, ako tu dostaneme 1: µ({t1}, D1, D2) = 1 ? Nie je D1+ prázdna množina a teda |M ∩ D1+ ∩ D2- | = 0?
D1+ je množina prvkov v pravo od tej čiary
Zobrazit všechny odpovědi (1)
prave som si zacal uvedomovat, ze som tu relaciu < bral presne naopak :D dik
PIS polsem Zdravím, nemohol som byt na poslednej prednaske, chcem sa spytat, ci bolo povedane nieco k polsemke, pripadne poznacil si niekto kam sa doslo v slajdoch ?
Kromě toho, že je na ní registrace ve wisu, k půlsemestrálce neříkal nic. Na poslední přednášce bylo Tech03-Webova_vrstva.pdf a p05_Architektury_principy.pdf, přičemž u tý druhý přednášky si nejsem jistej, zda byly mikroslužby, možná ještě ne. Věci před mikroslužbama si pamatuju, že byly.
Zobrazit všechny odpovědi (4)
Ďakujem
Jen pro ujištění se: Přednášky Workflow a Ontologie ještě vůbec neprobral?
Antonín Neužil jj
Petr Rusiňák díky
FYI uz jsou zverejnene zaznamy
Zobrazit všechny odpovědi (3)
Richard Stehlík a na akej rýchlosti to musím pozerať, aby som to stihla? :D
No pokud je zverejnenych 5 zaznamu, kazdy ma 3 hodiny, do zitrejsi zkousky zbyva 28 hodin, takze (5*3)/28, cili bohate staci rychlost 0,5.
Richard Stehlík hmmm then let's get down to business to defeat the huns
PES-du-1 Hojte, mohl by nekdo vysvetlit jak mam chapat to 3 zadani? Tedy jestli mam system S1 = (B, E, F, C), v tomto systemu mam nejaky trivialni fakt t1, pak vzdy dokazu vzit dalsi system S2 = (B, E2, F2, C2) a v tomto systemu fakt t1 bude take platny? Vsak ale to neni pravda, kdyz t1 plati v S1, tak nemusi platit v S2...
jestli to chapu spravne, tak hledas takova fakta, ktera nejsou zavisla na udalostech, prechodech ani pripadech. napriklad ~b1 + b1 je trivialnim faktem, ktery bude platit v kazdem c/e systemu
Dekuji, take jsem to myslel, jenom me uplne vypadlo to ze system muze obsahovat komplementy
FLP - lambda Ahoj, mohl by mi prosím někdo poradit, jak pro LET T = \xy.xy dodefinovat F a AND? Případně i pro LET F = \xy.yx Díky
False si muzes vymyslet libovolne (treba tak, jak bylo ve slajdech). Ten And pak musis udelat tak, aby ti to splnovalo jeho vlastnosti pro ty True a False, ktere pouzivas.
Zobrazit všechny odpovědi (2)
řekněme tedy, že si pro první případ zvolím LET F = \xy.y jak pak definuju AND? Sorry za blbý dotaz, ale nemůžu na to přijít :D
Jestli chces reseni, tak ho urcite najdes na fitusce. Postup ti ted nenapisu, nejsem u pocitace a do mobilu se mi to datlit nechce
Definiciu T a F je lubovolná, ale asi máš najlepšie keď si to zvolíš ako: LET T = \xy . x LET F = \xy . y Teda T vracia prvý z argumentov a F vracia druhý. Teraz chceš z toho definovať AND. Môžeš si urobiť pravdivostnú tabulku tabuľku: a b | and ----------- F F | F F T | F T F | F T T | T Z tabulky vidíš, že keď je a = F, tak AND vždy vracia F. Ak je a = T tak AND vracia b. Odpoveď teda je: LET AND = \ab . a b F Ak a bude F, tak sa vráti jeho druhý argument - F. Ak a bude T tak sa vráti jeho prvý argument b.
Zobrazit všechny odpovědi (7)
tahle definice AND platí jenom pro LET T = \xy.x LET F = \xy.y ne? ..v případě, že bych měl zadané LET T = \xy.xy a F si mám zadefinovat sám (tedy např. \xy.y), tak AND bude vypadat jak?
Ja som si najprv zle prečítal ako chceš definovať T a F, ale príde mi že tak nemôžu byť definované, pretože by T a F by boli funkcie do ktorých vstupujú dva argumenty a aj vracajú dvojicu (?), a to by nám asi k ničomu nebolo... Ale len hádam :D Takže si sa pýtal na niečo iné, ale môj koment tu nechám. Možno pomôže niekomu inému :D
\ab.a(\x.b)F
jojo určitě máš v tom komentu pravdu, jen na fitušce jsem narazil právě na případ, kdy to je definované tak, jak píšu, a nemůžu se dopracovat výsledku
Dominik Tureček díky
pokud bych mel F = \xy.x, Je teda valid reseni AND = \ab.aF(bb) ?
Jan Grossmann podle toho, jak máš zadefinované T