1
5. ročník / Re: Pracovné a obchodné právo
« on: 14.03.2012, 00:09:04 »
prepis opakovania na test z poslednej prednášky (opravene na 250eur)
Zobraziť príspevky
This section allows you to view all posts made by this member. Note that you can only see posts made in areas you currently have access to.
2
5. ročník / Re: Pracovné a obchodné právo
« on: 13.03.2012, 23:57:03 »prepis opakovania na test z poslednej prednášky
Nemá komandista náhodou vklad vo výške 250€? ... a nie 550€
jj ma .. .v mojom docku to je vypracovane dobre... to vies niektore veci sa daju lahko prepocut ked to narychlo diktujea 250 a 550 som mal aj ja problem v dajakom pripade rozlisit
spravne
3
oh boze, posledna skuska studia a prva, ktoru som nespravil, 49FX. i love it
ok, svet mi zase dava zmysel, len po mne nevedel precitat.
inak pre buduce generacie upozornujem, ze:
- na prednaskach si treba robit poznamky, lebo na skuske chce aj to co nie je v prednaskach, ak nechcete mat D-
- robte radsej extra zadanie, my sme mali teraz Firewall pre linux, celkova priprava na predmet bola u mna 2 tyzdne na zadania + 2 tyzdne skuska, za ten cas by som musel ten firewall aj zozrat a mal by som A
5
Otazky na skusku
16.12.2010, 10:18:53
1. Bezpecnostna politika, bezpecnostna metrika
2. Pojmy> Dovernost, Integrita, Dostupnost
3. Komutativny filter DB
4. Bezpecnost s virtualizaciou
5. MAC , DAC
6. redudancia dat, detekcia chyb
7. Zabezpecenie operacnej pamate
8. SSH, sposoby sifrovania
25.01.2011, 10:55:55
1. porovnat hrozby vs. zranitelnost
2. referencny monitor, umiestnenie RM
3. dvojfazovy update
4. Dos
5. polymorfna pocitacova hrozba
6. viacvrstvovy jadro OS
7. bezpecnost s virtualizaciou
8. SSH, sposoby sifrovania
25.01.2011, 16:49:56
- bezp.modely a bezp.metrika
- SSH
- redudancia dat, detekcia chyb
- ACL, matica pristupu
- doveryhodnost, integrita, dostupnost a bezp.systemu
- pristup k operacnej pamati
- polymorficke hrozby
- skupiny, zabezp. pristupu
- DoS
- integrita OS, prerus.systemu
- ine sposoby identifikacie ako login+heslo
- bezpecnost pouzitia virtualizacie
- konzistencia DB, simultannost
- zranitelnost a hrozba
- modularita a zakryvanie inf v programoch
- viacvrstvovy OS
1. Identifikacia, autentifikacia
2. Doveryhodna vypoctova zakladna
3. Chyba (time of chceck, time of use)
4. Konunikativny filter vo viacurovnovych DB
5. Vlastnosti referenc. monitora
6. Dvojfazovy update DB
7. Java Sandbox
8. Integrita obsahu, kontrola parity
25.01.2011, 23:58:07
tej teorie ku kazdej otazke je kvantum.. a ked si to rozratam ze ma byt 8 otazok a 40 min.. tak to je max 5 min na jednu otazku +
nejake to rozmyslanie
z coho mi vyplyva ze ku kazdej otazke staci zo 4-5 viet resp nejake zakladne rozdelenie
26.01.2011, 00:00:53
vysvetlim to ako som sa ucil ja: zozbieral si otazky z poslednych dvoch rokov - ku kazdej otazke napisal cca 6 viet ->
dostal som cca 6 stran na ucenie. to je menej ako 102. ucil som sa asi hodinu..mam B
26.01.2011, 20:00:09
Tak ja sa podelim, ak este niekomu pomoze. Je to len vytah z tych vypracovanych otazok k danym otazkam, bez naroku na uplnost alebo
presnost Smiley Takze kto tam najde nejake nedostatky tak sem s tym.
http://www.sendspace.com/file/bm5u4r
K par otazkam asi nemam uplne presne, alebo mam len priblizne co som nasiel. Konkretne:
- pristup k operacnej pamati - tu nemam skoro nic
- bezpecnost pouzitia virtualizacie - tu mam len o JVM, Java Sandbox apod.
- viacvrstovy OS - tu mam Architekturu Windows ..
26.01.2011, 21:47:42
ake su tie sposoby sifrovania k otazke: SSH, sposoby sifrovania ??
ja som si nasiel toto info:
Algoritmus šifrovania sa dohodne počas výmeny kľúčov. Šifrované sú polia dĺžka paketu, dĺžka padding-u, údaje, padding každého paketu.
Keďže všetky údaje v jednom smere sú prenášané jedným dátovým tokom, tak koncový stav šifrovania jedného paketu je začiatočným stavom
šifrovania nasledujúceho paketu. Šifrovanie pre oba smery je nezávislé a môže byť pre každý smer zvolená iná metóda.
V súčasnosti sa používajú tieto šifrovacie algoritmy: 3des-cbc, blowfish-cbc, twofish-cbc, arcfour, idea-cbc, cast128-cbc .
27.01.2011, 10:34:08
aktiva
manazment hesiel
nieco so separaciou a izolaciou
zabezpecenie pamate
kontrola pristupu neviem coho
redundancia a detekcia chyb
SandBox
WEP, funkcia, kluce
01.02.2011, 10:09:10
Tak dnes bola mala zmena, bolo 6 otazok.
1. Kerberos
2. Ochrana digitalnych prav
3. Identifikacia/autentifikacie
4. Cookies
5. Separacia/izolacia
6. TCB - doveryhodna vypoctova baza
03.02.2011, 12:27:03
No dnesna skuska sa zdala byt celkom v pohode, ziadne nezname otazky, presnejsie
- Bezpecnostna politika, bezpecnostna metrika
- MAC a DAC
- Dvovernost, dostupnost, integrita
- Redundancia/ integrita
- Ochrana pamate
- sifrovanie pri SSH, alebo take nieco
6
4. ročník / Re: SPJ - Sémantika programovacích jazykov
« on: 18.06.2011, 21:24:34 »
Tých pár otázok čo sem dali dotera:
18.05.2011, 12:42:51
T: VLASTNOSTI NS
P: Spravit graf danych fcii
D: Strukturalna I. pre postupnost prikazov
18.05.2011, 13:13:17
T denotacia cyklu while
P case
D ak if(while) potom while
18.05.2011, 16:37:27
T: základné vlastnosti štrukturálnej operačnej sémantiky, popísať odvodzovacie pravidlá
P: denotácia príkazu if v tvare: if(podmienka)then prikaz else if (podmienka) then skip else prikaz; (prikaz a podmienka boli reálne podmienky a priraďovacie príkazy)
D: postupnosť príkazov v NS a OS
18.05.2011, 17:13:54
T: syntax a semantika deklaracii v naturalnej semantike
D: S1=while b do S,s S2=if...(while),s dokazte semanticku ekvivalenciu
P: rozsirte syntax a semantiku vyrazov o celociselne delenie, pripadne div, mod
03.06.2011, 09:07:49
Ja by som to zhrnul takto:
--------------------------------------------------------------------------------------------------------------------------------------------------
P2: Dokaz strukturalnou indukciou uplnej definovanosti semantickej funkcie pre binarne cisla(+ treba vediet co je to strukturalna indukcia).
P3: Dokaz semantickej ekvivalencie prikazov while(b) do S; a if (b) then (while(b) do S);.
P4: Dokaz ekvivalencie naturalnej a strukturalnej operacnej semantiky.
P6: Dokaz korektnosti abstraktnej implementaci JPJ na abstraktnom stroji pre:
- artimeticke vyrazy JPJ,
- boolovske vyrazy JPJ,
- prikazy JPJ.
P8: Dokaz ekvivalencie denotacnej a operacnej semantiky.
--------------------------------------------------------------------------------------------------------------------------------------------------
12.06.2011, 12:02:54
P: Rozsirte jazyk o prikaz cyklu repeat a napiste k nemu naturalnu, operacnu a denotacnu semantiku
D: dokazte ekvivalenciu cyklu while pre naturalnu a operacnu(Huh denotacnu uz nepamatam) pomocou strukturalnej indukcie
T: Typy udajov v akcnej semantike
12.06.2011, 12:17:34
P: Rozsirte jazyk o prikaz cyklu repeat a napiste k nemu naturalnu, operacnu a denotacnu semantiku
D: dokaz v druhej prednaske pre binarne cisla
T: Paradigmy programovania prva prednaska
13.06.2011, 06:53:36
T: principy nepriamej denotacnej semantiky
D: semanticka ekvivalencia while b do S; a if b then (S; while b do S) else skip;
P: pravidla pre cyklus for pre naturalnu, strukturalnu operacnu a denotacnu semantiku
22.06.2011, 12:37:03
D: dokaz pre while v smere z Operacnej -> Naturalnej semantiky
P: zrobte denotaciu prikazu while ¬(x=3) then x:=x+1
T: definicia funkcie, vlastnosti fcie a graf funkcie pri pouziti v denotacnej semantike prikazu while
29.06.2011
P: n++ - syntax,semantika, b1<>b2 - syntax,semantika
D: dokaz ekvivalencie strukturalnej a naturalnej semantiky pre sekvenciu prikazov
T: prikaz while v akcnej semantike
18.05.2011, 12:42:51
T: VLASTNOSTI NS
P: Spravit graf danych fcii
D: Strukturalna I. pre postupnost prikazov
18.05.2011, 13:13:17
T denotacia cyklu while
P case
D ak if(while) potom while
18.05.2011, 16:37:27
T: základné vlastnosti štrukturálnej operačnej sémantiky, popísať odvodzovacie pravidlá
P: denotácia príkazu if v tvare: if(podmienka)then prikaz else if (podmienka) then skip else prikaz; (prikaz a podmienka boli reálne podmienky a priraďovacie príkazy)
D: postupnosť príkazov v NS a OS
18.05.2011, 17:13:54
T: syntax a semantika deklaracii v naturalnej semantike
D: S1=while b do S,s S2=if...(while),s dokazte semanticku ekvivalenciu
P: rozsirte syntax a semantiku vyrazov o celociselne delenie, pripadne div, mod
03.06.2011, 09:07:49
Ja by som to zhrnul takto:
--------------------------------------------------------------------------------------------------------------------------------------------------
P2: Dokaz strukturalnou indukciou uplnej definovanosti semantickej funkcie pre binarne cisla(+ treba vediet co je to strukturalna indukcia).
P3: Dokaz semantickej ekvivalencie prikazov while(b) do S; a if (b) then (while(b) do S);.
P4: Dokaz ekvivalencie naturalnej a strukturalnej operacnej semantiky.
P6: Dokaz korektnosti abstraktnej implementaci JPJ na abstraktnom stroji pre:
- artimeticke vyrazy JPJ,
- boolovske vyrazy JPJ,
- prikazy JPJ.
P8: Dokaz ekvivalencie denotacnej a operacnej semantiky.
--------------------------------------------------------------------------------------------------------------------------------------------------
12.06.2011, 12:02:54
P: Rozsirte jazyk o prikaz cyklu repeat a napiste k nemu naturalnu, operacnu a denotacnu semantiku
D: dokazte ekvivalenciu cyklu while pre naturalnu a operacnu(Huh denotacnu uz nepamatam) pomocou strukturalnej indukcie
T: Typy udajov v akcnej semantike
12.06.2011, 12:17:34
P: Rozsirte jazyk o prikaz cyklu repeat a napiste k nemu naturalnu, operacnu a denotacnu semantiku
D: dokaz v druhej prednaske pre binarne cisla
T: Paradigmy programovania prva prednaska
13.06.2011, 06:53:36
T: principy nepriamej denotacnej semantiky
D: semanticka ekvivalencia while b do S; a if b then (S; while b do S) else skip;
P: pravidla pre cyklus for pre naturalnu, strukturalnu operacnu a denotacnu semantiku
22.06.2011, 12:37:03
D: dokaz pre while v smere z Operacnej -> Naturalnej semantiky
P: zrobte denotaciu prikazu while ¬(x=3) then x:=x+1
T: definicia funkcie, vlastnosti fcie a graf funkcie pri pouziti v denotacnej semantike prikazu while
29.06.2011
P: n++ - syntax,semantika, b1<>b2 - syntax,semantika
D: dokaz ekvivalencie strukturalnej a naturalnej semantiky pre sekvenciu prikazov
T: prikaz while v akcnej semantike
7
4. ročník / Re: FŠS - Formálne špecifikácie systémov
« on: 16.06.2011, 15:19:33 »
Heslo do moodle: jahodka
Skúška: otázky boli tie čo sú hore
Zadanie: každý mal urobiť referát na nejakú tému (napr. Petriho siete v biochémii)
DU: Urobiť B-MACHINE ten čo je dole
K cvičeniu: na cvičení sa chodí k tabuli, kto chce. Systém je taký, že za aktivitu je napr. 10 bodov, smerodajné je koľko krát bol maximálne niekto pri tabuli, keď to bude napr. 5, tak sa vypočíta cena jedného počítania pri tabuli ako 10/5=2 body. Takže ten čo bol pri tabuli tých 5 krát, dostane full, čiže 10 bodov a keď sa niekomu nechcelo a bol tam len raz, dostane 2 body (1 účasť x 2 body = 2 body).
Príprava na skúšku:
- Základným učebným materiálom je [1], toto treba prečítať celé, kapitoly 2.6.2, 2.6.3, väčšinu kapitoly 2.7 a v kapitole 3.3 "Príkaz DO" som ja osobne preskočil.
- Z literatúry [2] treba hlavne kapitoly 3 (tá je ale preložená v literatúre [1]) a asi 4 a 7.
- Z literatúry [3] treba tiež len niečo, podľa toho čo povie na prednáške.
- Literatúra [4]. Toto si treba pozrieť a použiť na doplnenie informácií, ktoré nie sú v [1][2][3], ale väčšna je v [1], keďže Ing. Korečko písal [1] podľa prednášok Prof. Hudáka a Prof. Hudák tieto materiály [4] používa na prednáškach.
- Čo sa týka príkladov, na cvičení sa počítajú príklady z [5] + treba vedieť urobiť kód B-MACHINE (viď. dole) + nakresliť PS obedujúcich filozofov (odrázok hore).
Archív zo všetkými materiálmi:
http://www.uloz.to/9389262/zhrnutie-rar
Učebné materiály
Zo stránky Ing. Korečka (http://hornad.fei.tuke.sk/~korecko/fss/):
[1] SK_FSpodklady.pdf - http://hornad.fei.tuke.sk/~korecko/fss/SK_FSpodklady.pdf
[2] Materiál k jednej prednáške - An Introduction to the Theoretical Aspects of Coloured Petri Nets - http://hornad.fei.tuke.sk/~korecko/fss/CPNtheory.pdf
Doplňujúce materiály od Prof. Hudáka (v archíve):
[3] Materiál k jednej prednáške - Štefan Hudák - Rozšírenia Petriho Sietí - habilitačná práca.pdf (https://docs.google.com/leaf?id=0B9X-L5lO6y2YOWVmZjhkMDctOWIzZC00Njc2LTkyNmEtZjdhNWU2OTNiMWJm&hl=en_US&authkey=CMyAtZsG)
Z moodlu od Prof. Hudáka (aj v archíve)
[4] - 6 súborov pdf
Na cvičenie (len v archíve):
[5] cvika2007 zosvetlene.pdf
Možno sa tiež zíde (len v archíve):
[6] prednasky2007.pdf
Okruhy otázok:
[7] Tematické okruhy ku skúške z predmetu Formálne špecifikácie systémov; akad. rok 2010/2011 - FSSTemySkOtazok.doc
[8] Teoretické otázky pre študentov ŠpZ - http://hornad.fei.tuke.sk/~korecko/fss/FSS_SpZ_teoretOtazky.pdf
Potrebný softvér:
B-MACHINE
[9] ProB - http://www.stups.uni-duesseldorf.de/ProB/index.php5/Download
[10] Atelier B - http://www.atelierb.eu/index-en.php
Petriho siete
[11] PNtool 2 (školský projekt) - http://hornad.fei.tuke.sk/~korecko/fss/index.html
Farebne Petriho siete
[12] CPN tools - http://cpntools.org/
príklad B-MACHINE z cvičenia:
vysvetlenie zápisu B-MACHINE(abstraktného stroja) a jeho klauzúl (CONSTRAINTS, ...) je v literatúre [1] na stranách 61-64
Skúška: otázky boli tie čo sú hore
Zadanie: každý mal urobiť referát na nejakú tému (napr. Petriho siete v biochémii)
DU: Urobiť B-MACHINE ten čo je dole
K cvičeniu: na cvičení sa chodí k tabuli, kto chce. Systém je taký, že za aktivitu je napr. 10 bodov, smerodajné je koľko krát bol maximálne niekto pri tabuli, keď to bude napr. 5, tak sa vypočíta cena jedného počítania pri tabuli ako 10/5=2 body. Takže ten čo bol pri tabuli tých 5 krát, dostane full, čiže 10 bodov a keď sa niekomu nechcelo a bol tam len raz, dostane 2 body (1 účasť x 2 body = 2 body).
Príprava na skúšku:
- Základným učebným materiálom je [1], toto treba prečítať celé, kapitoly 2.6.2, 2.6.3, väčšinu kapitoly 2.7 a v kapitole 3.3 "Príkaz DO" som ja osobne preskočil.
- Z literatúry [2] treba hlavne kapitoly 3 (tá je ale preložená v literatúre [1]) a asi 4 a 7.
- Z literatúry [3] treba tiež len niečo, podľa toho čo povie na prednáške.
- Literatúra [4]. Toto si treba pozrieť a použiť na doplnenie informácií, ktoré nie sú v [1][2][3], ale väčšna je v [1], keďže Ing. Korečko písal [1] podľa prednášok Prof. Hudáka a Prof. Hudák tieto materiály [4] používa na prednáškach.
- Čo sa týka príkladov, na cvičení sa počítajú príklady z [5] + treba vedieť urobiť kód B-MACHINE (viď. dole) + nakresliť PS obedujúcich filozofov (odrázok hore).
Archív zo všetkými materiálmi:
http://www.uloz.to/9389262/zhrnutie-rar
Učebné materiály
Zo stránky Ing. Korečka (http://hornad.fei.tuke.sk/~korecko/fss/):
[1] SK_FSpodklady.pdf - http://hornad.fei.tuke.sk/~korecko/fss/SK_FSpodklady.pdf
[2] Materiál k jednej prednáške - An Introduction to the Theoretical Aspects of Coloured Petri Nets - http://hornad.fei.tuke.sk/~korecko/fss/CPNtheory.pdf
Doplňujúce materiály od Prof. Hudáka (v archíve):
[3] Materiál k jednej prednáške - Štefan Hudák - Rozšírenia Petriho Sietí - habilitačná práca.pdf (https://docs.google.com/leaf?id=0B9X-L5lO6y2YOWVmZjhkMDctOWIzZC00Njc2LTkyNmEtZjdhNWU2OTNiMWJm&hl=en_US&authkey=CMyAtZsG)
Z moodlu od Prof. Hudáka (aj v archíve)
[4] - 6 súborov pdf
Na cvičenie (len v archíve):
[5] cvika2007 zosvetlene.pdf
Možno sa tiež zíde (len v archíve):
[6] prednasky2007.pdf
Okruhy otázok:
[7] Tematické okruhy ku skúške z predmetu Formálne špecifikácie systémov; akad. rok 2010/2011 - FSSTemySkOtazok.doc
[8] Teoretické otázky pre študentov ŠpZ - http://hornad.fei.tuke.sk/~korecko/fss/FSS_SpZ_teoretOtazky.pdf
Potrebný softvér:
B-MACHINE
[9] ProB - http://www.stups.uni-duesseldorf.de/ProB/index.php5/Download
[10] Atelier B - http://www.atelierb.eu/index-en.php
Petriho siete
[11] PNtool 2 (školský projekt) - http://hornad.fei.tuke.sk/~korecko/fss/index.html
Farebne Petriho siete
[12] CPN tools - http://cpntools.org/
príklad B-MACHINE z cvičenia:
vysvetlenie zápisu B-MACHINE(abstraktného stroja) a jeho klauzúl (CONSTRAINTS, ...) je v literatúre [1] na stranách 61-64
Code: [Select]
MACHINE Scalar( max_val )
CONSTRAINTS max_val:NAT & max_val>=0
ABSTRACT_VARIABLES val
INVARIANT val : 0 .. 10
INITIALISATION val := 0
OPERATIONS
retVal <-- getVal =
BEGIN
retVal := val
END ;
setVal ( amount ) =
PRE amount : NAT THEN
IF amount <= max_val & amount >= 0 THEN val := amount END
END ;
incVal ( amount ) =
PRE amount : NAT THEN
IF val < max_val THEN val := val + 1 END
END ;
decVal ( amount ) =
PRE amount : NAT THEN
IF val > 0 THEN val := val - 1 END
END ;
maximum <-- maxVal ( xx ) =
PRE xx : INT THEN
IF xx > val THEN maximum := xx ELSE maximum := val END
END ;
incORdecVal ( amount ) =
PRE amount : NAT THEN
CHOICE
IF val > 0 THEN val := val - 1 END
OR
IF val < max_val THEN val := val + 1 END
END
END
END
9
4. ročník / Re: MaGSA - Modelovanie a generovanie softvérových architektúr
« on: 09.04.2011, 04:42:16 »
robit 11. cvicenie je vzrusujuce ako prechadzka Jurskym parkom. Taky kratky popis ulohy prinuti kodu skutocne porozumiet, len to zaberie vela casu 
10
4. ročník / Re: MaGSA - Modelovanie a generovanie softvérových architektúr
« on: 31.03.2011, 00:33:13 »
Unique.vm
Code: [Select]
// Unique
if(object.get${generator.toUCIdent($property.name)}() != null) {
try {
Class.forName("org.apache.derby.jdbc.ClientDriver");
Connection con = DriverManager.getConnection("jdbc:derby://localhost:1527/magsa", "magsa", "magsa");
String sql = "SELECT $property.name FROM $item.name WHERE $property.name = ?";
PreparedStatement prest = con.prepareStatement(sql);
prest.$generator.psSetMethod($property.type)(1, object.get${generator.toUCIdent($property.name)}());
ResultSet rs1 = prest.executeQuery();
if (rs1.next()) {
throw new ValidatorException("Property '$property.name' has to be unique!");
}
} catch (SQLException ex) {
Logger.getLogger($item.name .class.getName()).log(Level.SEVERE, null, ex);
} catch (ClassNotFoundException ex) {
Logger.getLogger($item.name .class.getName()).log(Level.SEVERE, null, ex);
}
}
11
4. ročník / Re: MaGSA - Modelovanie a generovanie softvérových architektúr
« on: 28.03.2011, 19:18:44 »Úloha: Použite anotáciu @References v konštruktore triedy Reference pre určenie automatickéhoCo je na tom "
Nie je to take jednoduche ako to vyzera na prve pouzitie
jj, pekne ze si myslis, ze o tom az tak premyslam
, ale ja som fakt myslel len ten preklep
12
4. ročník / Re: MaGSA - Modelovanie a generovanie softvérových architektúr
« on: 26.03.2011, 20:38:29 »
este pre takych ako som ja, co nevedia co cinia ,
anotacie treba pridat podla ukazok v postupe do tychto suborov:
- Entity
- Model
- Property
- Reference
- Type
- Length
- Range
- Required
- Regex
- Unique (u mna)
,anotacie treba pridat podla ukazok v postupe do tychto suborov:
- Entity
- Model
- Property
- Reference
- Type
- Length
- Range
- Required
- Regex
- Unique (u mna)
13
4. ročník / Re: MaGSA - Modelovanie a generovanie softvérových architektúr
« on: 26.03.2011, 20:26:56 »Vyskusaj súbor nbproject/project.properties zmenit takto: build.generated.sources.dir=${basedir}/src-framework ... mne to takto ide
teda az na to ze do vygenerovanych suborov dava
Code: [Select]
package sk.tuke.magsa.tools.parserextale generuje to do packagu
Code: [Select]
ap-source-output.sk.tuke.magsa.tools.parserextAle funguje to aj tak.
14
4. ročník / Re: MaGSA - Modelovanie a generovanie softvérových architektúr
« on: 26.03.2011, 06:15:58 »Vyskusaj súbor nbproject/project.properties zmenit takto: build.generated.sources.dir=${basedir}/src-framework ... mne to takto ide
diki ide
15
4. ročník / Re: MaGSA - Modelovanie a generovanie softvérových architektúr
« on: 25.03.2011, 16:08:18 »
Úloha: Použite anotáciu @References v konštruktore triedy Reference pre určenie automatického vytárania referencií.
vytárania referencií.
16
4. ročník / Re: FŠS - Formálne špecifikácie systémov
« on: 22.03.2011, 23:16:23 »
FSS - Štefan Hudák - Rozšírenia Petriho Sietí - habilitačná práca.pdf
https://docs.google.com/leaf?id=0B9X-L5lO6y2YOWVmZjhkMDctOWIzZC00Njc2LTkyNmEtZjdhNWU2OTNiMWJm&hl=en&authkey=CMyAtZsG
https://docs.google.com/leaf?id=0B9X-L5lO6y2YOWVmZjhkMDctOWIzZC00Njc2LTkyNmEtZjdhNWU2OTNiMWJm&hl=en&authkey=CMyAtZsG
17
4. ročník / Re: MaGSA - Modelovanie a generovanie softvérových architektúr
« on: 17.03.2011, 00:45:16 »Quote
Pokúste sa definovať a implementovať ďalšie typy obmedzení vlastností entít.
ake dalsie obmedzenia by sem mohli ist, nic ma nenapada
18
4. ročník / Re: PZaSP - Periférne zariadenia a styk s prostredím
« on: 15.03.2011, 00:47:13 »
prijmac:
vysielac:
nejde to, preco?, vysielac vysle ale prijmac no interes
Code: [Select]
#include <dos.h>
#include <stdio.h>
#include <conio.h>
#define COMPORT 2 // COM 3
union REGS inr,outr;
int main(void)
{
inr.h.ah=0; /* Inicializacia portu */
inr.x.dx=COMPORT; /* Port COM1 */
inr.h.al=0xE3; /* 9600 Bd, bez parity, 1 stopbit, 8 bitov*/
int86(0x14,&inr,&outr);
inr.h.ah=2; /*Prijem znaku z vybraneho portu*/
inr.x.dx=COMPORT; /*COM1*/
do {
int86(0x14,&inr,&outr);
} while(outr.h.ah!=0); /*Cakaj, kym znak spravne nenacitas*/
printf("Stlac ENTER pre koniec...");
getch();
return 0;
}vysielac:
Code: [Select]
#include <dos.h>
#include <stdio.h>
#include <conio.h>
#define COMPORT 1 // COM 2
union REGS inr,outr;
int main(void)
{
inr.h.ah=0; /* Inicializacia portu */
inr.x.dx=COMPORT; /* Port COM1 */
inr.h.al=0xE3; /* 9600 Bd, bez parity, 1 stopbit, 8 bitov*/
int86(0x14,&inr,&outr);
inr.h.ah=1;
inr.h.al='c';
inr.x.dx=COMPORT; // JANO com3 je 2, bolo tu 0
int86(0x14,&inr,&outr);
printf("Stlac ENTER pre koniec...");
getch();
return 0;
}
nejde to, preco?, vysielac vysle ale prijmac no interes
19
4. ročník / Re: MaGSA - Modelovanie a generovanie softvérových architektúr
« on: 07.03.2011, 23:37:58 »Ako ste riesili UPDATE v dao_impl.java.vm?Code: [Select]String query = "UPDATE Oddelenie SET nazov=?, kod=?, poschodie=? WHERE ident=?";
Konkretne to ident ma zaujima
pozri si od coho dedia vygenerovane entity, tie mas potom ako vstupny parameter "object"
20
4. ročník / Re: PZaSP - Periférne zariadenia a styk s prostredím
« on: 07.03.2011, 23:18:00 »
no ja si potrebujem ujasnit, ze co mame vlastne spravit:
- hovoril, ze v jednom subore ma byt aj primac aj vysielac, tak si urobim jeden exe na prijem a jeden na vysielanie, kazdy bude mat nastavenu inu adresu com portu, jeden com2, druhy com3 napr.
- v komunikacii sa maju striedat?, ze v jednom okne zadam vetu(ulozim ju do bufera), druhe okno caka na prijem
- ked stlacim enter, data sa odoslu z jedneho okna do druheho a okna si vymenia ulohy, takze v druhom teraz mozem pisat a prve caka na prijem
alebo inak?
- hovoril, ze v jednom subore ma byt aj primac aj vysielac, tak si urobim jeden exe na prijem a jeden na vysielanie, kazdy bude mat nastavenu inu adresu com portu, jeden com2, druhy com3 napr.
- v komunikacii sa maju striedat?, ze v jednom okne zadam vetu(ulozim ju do bufera), druhe okno caka na prijem
- ked stlacim enter, data sa odoslu z jedneho okna do druheho a okna si vymenia ulohy, takze v druhom teraz mozem pisat a prve caka na prijem
alebo inak?
21
4. ročník / Re: PZaSP - Periférne zariadenia a styk s prostredím
« on: 07.03.2011, 17:50:17 »neviete niekto kde nastavim v tom turbo c++ aby mi neotvaralo okno na celu obrazovku ale len v malom okne?? v akej zalozke to je myslim.
pravy klik na TC.EXE a v properties najdes
22
4. ročník / Re: PZaSP - Periférne zariadenia a styk s prostredím
« on: 07.03.2011, 17:08:12 »Navod ako som rozbehal priklad z cvika na jednom kompe
Have fun
ide to, you are the best, si mi asi usetril nejaku tu hodinku, diki
edit1: na win7 32bit to ide
24
4. ročník / Re: MaGSA - Modelovanie a generovanie softvérových architektúr
« on: 26.02.2011, 06:45:07 »ja som pouzil dva regularne vyrazy na identifikatory (na mena properties):
[_$a-zA-Z][0-9a-zA-Z_$]+
([_$a-zA-Z][0-9a-zA-Z_$]+)[\\s]:[\\s](INTEGER|REAL|STRING)+ -> ked sa definuje aj typ
opravte ma ak to mam zle
/*
* takto:
* [\\s]*[_$a-zA-Z][0-9a-zA-Z_$]*[\\s]*(:[\\s]*(Integer|Real|String)[\\s]*)?
*
* napr. " vaha : Real " alebo len " vaha "
*
*/
vysvetlenie:
| [\\s]* | - odfiltrovanie whitespaces [ \t\n\x0B\f\r] |
| [_$a-zA-Z] | - 1. znak identifikatora |
| [0-9a-zA-Z_$]* | - ostatne znaky identifikatora |
| [\\s]* | - |
| (:[\\s]*(Integer|Real|String)[\\s]*)? | - volitelna cast, typ moze a nemusi byt |
| : | - podla zadania |
| [\\s]* | - |
| (Integer|Real|String) | - Integer alebo Real alebo String |
| [\\s]* | - |
/*
* zdroje:
* http://download.oracle.com/javase/tutorial/essential/regex/char_classes.html
* http://download.oracle.com/javase/7/docs/api/java/util/regex/Pattern.html#cg
*
* def. ako bolo spomenute:
* http://www.exampledepot.com/egs/java.lang/IsJavaId.html
* valid Java identifier must start with a Unicode letter, underscore, or dollar sign ($).
* The other characters, if any, can be a Unicode letter, underscore, dollar sign, or digit.
*/
Code: [Select]
public Boolean hasProperLineSyntax(String line) {
Pattern pattern = Pattern.compile("[\\s]*[_$a-zA-Z][0-9a-zA-Z_$]*[\\s]*(:[\\s]*(Integer|Real|String)[\\s]*)?");
Matcher matcher = pattern.matcher(line);
return matcher.matches();
}
25
4. ročník / Re: MaGSA - Modelovanie a generovanie softvérových architektúr
« on: 26.02.2011, 04:57:14 »ja to mam cez regular., ale jednoduchsi... myslim, ze kontrolovat ci to nie je jedno z tych 50 klucovych slov je ale trosku prehnane nie?
mna to tiez nenapadlo, ale cert to ber
Code: [Select]
package JavaKeywords;
import java.util.Arrays;
import java.util.List;
public class JavaKeywords {
private static final String keywords[] = {
"abstract", "continue", "for", "new", "switch",
"assert", "default", "goto", "package", "synchronized",
"boolean", "do", "if", "private", "this",
"break", "double", "implements", "protected", "throw",
"byte", "else", "import", "public", "throws",
"case", "enum", "instanceof", "return", "transient",
"catch", "extends", "int", "short", "char",
"final", "try", "interface", "static", "void",
"class", "finally", "long", "strictfp", "volatile",
"const", "float", "native", "super", "while"};
private static final List l = Arrays.asList(keywords);
public Boolean isJavaKeyWord(String keyword) {
return l.contains(keyword);
}
// alebo lepsie
public Boolean isJavaKeyWord2(String keyword) {
for (int i = 0; i < keywords.length; i++) {
if (keyword.equals(keywords[i])) {
return true;
}
}
return false;
}
}
