Új hozzászólás Aktív témák
-
norbiphu
senior tag
köszi, hogy leírtad, így jobban belegondolva tényleg igazad van
sajnos osztást nem tudom megírni, a többit még megírtam saját fejből (igaz volt rá algoritmosom de nem használtam), ehhez viszont se algoritmusom, se ötletem"Hmm," sed teh lolrus. "Maybe we shud go ask Ceiling Cat?"
-
norbiphu
senior tag
értem...
egyébként a vetítős órákkal kapcsolatban, tényleg sokkal jobb az, hogyha a tanár a táblára ír, nem pedig diákról magyaráz (neadjisten azt olvassa szinte), márpedig prog2-n nálunk szebinél ez megy... benn voltam az összes prog előadáson, de erre nem lehet figyelni huzamosabb ideig . viszont a gyakorlat (nem a labor) elég jó (lengyel lászlónál vagyok)
[Szerkesztve]"Hmm," sed teh lolrus. "Maybe we shud go ask Ceiling Cat?"
-
norbiphu
senior tag
válasz norbiphu #941 üzenetére
na leadtam a házimat úgyhogy szoftlabból 4-es lettem
viszont ezt a házi kiosztást nem tartom túlságosan egyenlőnek, van akinek a kódja kifért egy a4-es lap két felére (és még nem is az a napokig töröm a fejem és nem tudom progi), van akinek egy string osztályt kellett írnia (ezt csináltuk második szoftlabon) szal vicces, de ez van"Hmm," sed teh lolrus. "Maybe we shud go ask Ceiling Cat?"
-
norbiphu
senior tag
''Az első helyet a Garbage Collectors csapat (Lengyelország) szerezte meg 820 ponttal, a második helyezett a qwertY csapat lett szintén Lengyelországból 745 ponttal, míg a Trial Version nevű magyar csapat végzett a harmadik helyen 736 ponttal. A legjobb tizenkettőbe összesen öt magyar csapat jutott be.''
"Hmm," sed teh lolrus. "Maybe we shud go ask Ceiling Cat?"
-
Drizzt
nagyúr
Nah, úgy döntöttem, hogy ma eldöntöm melyik szakirányokat jelöljem meg. Elsődleges célom, hogy ne szivassam meg magam valami szivatósba való belenyúlással, elég volt már arra ez a 3 év.
I am having fun staying poor.
-
Drizzt
nagyúr
''A sz¨ovegesen megadott rendszereknek k´esz´ıtse el
1. egy grafikus, magasszint ˝u le´ır´as´at (aj´anlott eszk¨oz: ´allapott´erk´epek, de m´as,
magasszint˝u szabv´anyos grafikus le´ır´as is alkalmazhat´o),
2. fogalmazzon meg a rendszerrel szemben t´amasztott glob´alis
krit´eriumokat ´es feladatf ¨ugg˝o tulajdons´agokat line´aris tempor´alis
logikai kifejez´esek seg´ıts´eg´evel,''
Ezt el tudná valaki, hogy ez most mi, vagy hogy? Nem teljesen értem, hogy mit kíván az első két pont a formháziban, én rögötn nekiestem volna a Pteri-hálónak. Mi az az állapottérkép? Gondolom nem az állapottrajektória, mert az a PN után készíthető el, nemde?I am having fun staying poor.
-
bdav
őstag
-
Drizzt
nagyúr
Eddig a következő a sorrend, hogy alaposan átfutottam a füzetet: 2.4: médiainformatika 2.3: internet és infokommunikációs alkalmazásai, 2.1 Újgenerációs hálózatok, 3.1 autonóm rendszerek it-je.
bdav: úgy látom, a mintaháziban is valamilyen state-chart van, na holnap alaposabban megnézem.I am having fun staying poor.
-
bdav
őstag
válasz FehérHolló #961 üzenetére
hétfő 10 r4o
10 féle ember van a világon. Aki ismeri a kettes számrendszert és aki nem. ''A név nincs hosszabb páncélszekrény''
-
bdav
őstag
mondtam már hogy utálom az irfet?
10 féle ember van a világon. Aki ismeri a kettes számrendszert és aki nem. ''A név nincs hosszabb páncélszekrény''
-
concret_hp
addikt
bevezetés az informatikába: vegyétek fel, nagyon kemény tárgy 2 kredit
a hétre van egy formhf, meg egy szabtek hf, és ha ezeken túlleszek, akkor már készülök is a fantasztikus vizsgaidőszakra ...
th remélem meglesz és akkor lesz remélhetőleg 5 vizsgám, meg egy szabtek gyakiv.vagy fullba vagy sehogy :D
-
norbiphu
senior tag
válasz concret_hp #964 üzenetére
követelmény? zh vagy mi?
hasznos dolgokat tanítanak gondolom
aki szeretne ingyen két kreditet, vegyen fel kommunikációt... úgy puskázol (akár kirakhatod a jegyzetet az asztalra is) ahogy akarsz elég ha csak bemész a két zhra.."Hmm," sed teh lolrus. "Maybe we shud go ask Ceiling Cat?"
-
bdav
őstag
válasz concret_hp #964 üzenetére
nem akkreditálják az eddigi tárgyaidat hozzá? az lenne csak a vicces dolog
10 féle ember van a világon. Aki ismeri a kettes számrendszert és aki nem. ''A név nincs hosszabb páncélszekrény''
-
KMan
őstag
Most vagy elneztem valamit, vagy meglett a prog zh-m. GTK odabasz
Csak a balekok alszanak [SAS]
-
Drizzt
nagyúr
válasz concret_hp #964 üzenetére
Nekem formhf+kódelm készülés lenne. Közben ha az utóbbira valakinek lenne valami ultimate trükkje, az sikítson fülön. Formhfből már elolvastam a feladatot, meg majdnem az egész éves fóliasort.
I am having fun staying poor.
-
concret_hp
addikt
válasz concret_hp #964 üzenetére
zh van.
elolvasol 7 előadásanyagot. najó. ha infós vagy egy alapból kilőve. ha hallgattál infelmet, és az anyag 5%át tudod, akkor akkor mégegy
ennyi. zh: 20kérdés 20perc.
ilyen szint, hogy: miért jobb a pdf, mint a doc? mondj példát tanuló algoritmusra? vezeték nélküli háűlózatra? hány biten lehet kódolni 1024-et? szóval ''mérhetetlenül bonyolult''vagy fullba vagy sehogy :D
-
Drizzt
nagyúr
A híradástechnikai tanszék tartott már nekünk valamit? Milyenek vajon szakirányon? Nyugodtan jelöljem be a 2.1-et elsőnek? Most azon gondolkodom, hogy talán ez lenne a legjobb.
I am having fun staying poor.
-
Drizzt
nagyúr
Na mind1, felvettem 2.3, 2.1, 2.4 sorrendben.
I am having fun staying poor.
-
bdav
őstag
válasz FehérHolló #973 üzenetére
a C ennyivel egyszerűbb sok szempontból. C++ is teljesen megtanulható, nekem sikerült, de itt vannak meredekebb dolgok. Viszont mostmár oda jutottam hogy ha nem használhatok objektumokat egy programban akkor kész.
Vitézről pedig te vagy az első ember aki pozitívan nyilatkozik...10 féle ember van a világon. Aki ismeri a kettes számrendszert és aki nem. ''A név nincs hosszabb páncélszekrény''
-
Drizzt
nagyúr
16-os formházija nincsen itt senkinek, ha jól emlékszem, igaz? Nem teljesen egyértelmű a feladat. Sőt.
I am having fun staying poor.
-
bdav
őstag
válasz concret_hp #975 üzenetére
nem emléxem rá. kicsit ideg voltam akkor amikor 4 óra várakozás után kiderült h. hiába...
10 féle ember van a világon. Aki ismeri a kettes számrendszert és aki nem. ''A név nincs hosszabb páncélszekrény''
-
KMan
őstag
Udv! Ehez a feladathoz lenne szuksegem segitsegre, aki tud kerem nezze meg, ha van ra ideje. A fajlkezelessel nincs gond, de arra jottem ra hogy onhivatkozo strukturakat kell hasznalni es dinamikusan kell memoriat foglalni. Na ez nekem nem megy.
Koszi elore is! Minden hint jol jon
[link]
[link]Csak a balekok alszanak [SAS]
-
concret_hp
addikt
-
Drizzt
nagyúr
válasz concret_hp #980 üzenetére
Hát én egyszerűen nem tudom pontosan megérteni a formházimat, már egy ideje vajúdok vele. Mondjuk meg tudnék szerintem csinálni egy hálót, ami működik a bizonyítandó feltételek betartásával, de van sok nyitott kérdés. Na mind1, egyelőre ott fogom, s értelmezem szabadon.
I am having fun staying poor.
-
Drizzt
nagyúr
Na most elvileg nagyjából készen áll a házi Petri-hálós része, de van olyan, amikor egy tranzíció összes bemenetén van megfelelő számú token, s a dnanet szerint mégsem tüzelhető...
I am having fun staying poor.
-
Drizzt
nagyúr
Egyébként én minek szenvedjek az Inával, ha a DNAnet nálam egy másodperc alatt megadott minden szükséges eredményt?
Meg mit akar jelenteni ez, hogy: teh deadlock-trap-property is not valid. Szó szerint tudom mit jelent, de ez most azt mondja, hogy nincsen deadlock?I am having fun staying poor.
-
Drizzt
nagyúr
Picit kiegészítettem a modellemet, rájöttem, hogy azért nem ment az a tüzelés, mert valami perverz módon dupla él került egy egyszeres helyére(persze nem látszott. ), s most végre olyan Petri-hálóm van, ami viszonylag nagy, de minden hely fedhető P-invariánsokkal, s minden tranzíció is benne van T-invariánsokban. Na most jön az INA-s ''buli''. Aztán LTL, SAL.
I am having fun staying poor.
-
Drizzt
nagyúr
Fura, hogy mind az Ina, mind a Dna jónak tűnő eredményekkel megáll pár milisec alatt. Azt egy adott hálóról hogy lehet ellenőrizni, hogy a megadott indoklások igazak-e rá? Pl.: az hogy nincsen benne deadlock, az triviálisan adódik a szimulációkból, meg élőségből, de: mi a helyzet akkor, ha háló alapján kéne belátni, hogy egy motort bármennyiszer újra lehet indítani? Megfogalmazni szavakkal nagyjából meg tudom,hogy miért van így a hálóm alapján, de automatikusan bebizonyítani lehet valahogy valamilyen modellszimulátorral?
I am having fun staying poor.
-
Drizzt
nagyúr
válasz concret_hp #988 üzenetére
Nálam 16 hely és 41 tranzíció van asszem. Az elérhetőségi gráfban meg csak 192 állapot van. Majd beszélek másokkal, hogy nekik mennyivel több/nem több. Aztán holnap nekiülök a Salnak, jólesz. Kódelmet mikor lesz időm elkezdeni végre? Így már megintcsak nem sok esély lesz rá hétfőn.
I am having fun staying poor.
-
concret_hp
addikt
én láttam olyat is amiben 41 állapot volt szóval csak az azonos feladat lehet mérvadó
Sal modellemen lefut a deadlock checker ó je napközbe letolok az állításokból amennyit tudok azt' jóvan. kódelm alapból szkip. bár ha ugyanolyan lesz mint a zh, akkor talán lenne esélyem, de sztem nem sok.vagy fullba vagy sehogy :D
-
Drizzt
nagyúr
válasz concret_hp #990 üzenetére
Azt mondta, hogy a feladatok kb. ugyanazok lesznek, de némiképp módosítva, ami nála annyit tesz, hogy a feladatok fordítottjaira kell számítani kb, legalábbis erre utalt. Amúgy tudom, hogy a hálómba még be tudnék rakni vagy 10 tranzíciót, hogy még pontosabb legyen, de őszintén szólva nem érdekel már, az állításokat lehet igazolni(legalábbis a józan eszes módszerrel, formálisan a háló alapján nem nagyon tudom hogy lehetne...), így aztán késznek tekintem.
I am having fun staying poor.
-
Drizzt
nagyúr
Na, de a SAL-hoz, meg ltl-hez: hogy kell egyáltalán hozzákezdeni a dologhoz? Mit olvassak el, vagy micsoda? :S A honlapon lévő előadásfóliák megvoltak, de akkor most egyesével minden mondatot írja át LTL formára a feladat szövege alapján, vagy azért nem ilyen hosszú munka a dolog? Mit kellene még elolvasni?
[Szerkesztve]I am having fun staying poor.
-
bdav
őstag
SAL language tutorialokat, mert nem az LTLek megírása a gáz hanem a SAL modellé. Nekem az elég gány lett, de éjjel nagyjából kész lettem a cuccal. A 3. kérdésemre meg írtam egy progit ami a coverability gráfot beolvassa és számol az alapján
10 féle ember van a világon. Aki ismeri a kettes számrendszert és aki nem. ''A név nincs hosszabb páncélszekrény''
-
concret_hp
addikt
nah feltöltöttem a formot.
az ltl-ekkel nem igazán boldogultam, de a sal legalább deadlock mentes.
ill. az egyik állításra írtam ltl-t ami közvetve bizonyítja.
remélem elfogadják majd azért a házimat
valahogy nagyon nem röhögnék, ha ennyi szívás után közölnék, hogy ez sajnos kevés de sztem nem fog megtörténnivagy fullba vagy sehogy :D
-
Drizzt
nagyúr
válasz concret_hp #994 üzenetére
Hááát, én is most akarom feltölteni, egyik bizonyítandó dolgot nem tudom formalizálni egyszerűen ltl-lel.
I am having fun staying poor.
-
concret_hp
addikt
naelfogadták a szbtekemet ó je
vagy fullba vagy sehogy :D
-
KMan
őstag
válasz concret_hp #997 üzenetére
nabuktam a matekA2t o je
asszem kereszten ideje lesz matek kulontanarhoz menni, mert ez igy nem ok.Csak a balekok alszanak [SAS]
-
FehérHolló
veterán
Jelentem, a prog2 nagyházit utolsó nap késő délután kezdtem el csinálni. Szokás szerint. Tavaly sikerült a prog1-es, de nagyon hosszú éjszakám lesz ma érzésem szerint.
Közben ha esetleg jár errefelé egy hozzáértő, akkor elmesélhetné nekem, hogy egy kölcsönzési díj kiszámításához (ami persze a kölcsönzési időtől függ) elegek lesznek-e nekem a time() és ctime(...) függvények?
Nem tartok még ott, és nem szeretném megszívni velük, ha mégsem jók. Mire eljutok odáig, akkor már senki nem lesz itt, akitől kérdezni lehetne.
[Szerkesztve]Skynet is real. It's called Google.
-
Drizzt
nagyúr
Hát ez a kódelm zh elég fura volt... A feladatoknál végig úgy éreztem, hogy a könnyűek sok pontot érnek, a nehezek meg max. 10-et. Bár valamit variáltak a feladatok pontozásával, de szerintem még mindig fognak...
Más: konvolúciós kódolónál az, ha az ''outputvonalon)két pont van, de négy összeadó, csak kettő belemegy másik kettőbe, akkor az n az 4, vagy 2? Én 2-t írtam, de gondolkoztam, hogy itt valami becsapósság lehet...I am having fun staying poor.
Új hozzászólás Aktív témák
- Otthoni hálózat és internet megosztás
- Ukrajnai háború
- Stellar Blade
- AMD off topik: VGA, CPU, APU és minden, ami AMD
- AMD K6-III, és minden ami RETRO - Oldschool tuning
- Így építsd a billentyűzeted!
- Linux felhasználók OFF topikja
- Bemutatkozott a Moto G32 4G
- Luck Dragon: MárkaLánc
- Luck Dragon: Asszociációs játék. :)
- További aktív témák...
Állásajánlatok
Cég: Promenade Publishing House Kft.
Város: Budapest
Cég: Ozeki Kft.
Város: Debrecen