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.


Topics - jan

Pages: [1]
1
Zhrnutie príspevkov z minulého roka

----------------------------------------------------------------------------------------------------
skuska
----------------------------------------------------------------------------------------------------
07.05.2010, 13:49:59   23 otazok
http://people.tuke.sk/jan.kollar/mgsa/Otazky.pdf
----------------------------------------------------------------------------------------------------
23.05.2010, 16:19:44   Boli iba niektore otazky, ktore sa opakovali, alebo boli vsetky?
23.05.2010, 16:19:44   ak nie vsetky tak vacsina urcie

----------------------------------------------------------------------------------------------------


----------------------------------------------------------------------------------------------------
na stiahnutie
----------------------------------------------------------------------------------------------------
27.03.2010, 10:24:15
Prednasky su na KANE-ftp .... tie pisane v TXT niesu nic moc lebo som nestihal pisat ... tak som sa rozhodol to odteraz fotit ... ak ma niekto kvalitnejsie poznamky z 1. a 3. prednasky sa moze podelit s nimi sa neurazim

27.03.2010, 20:39:08
Tak moje kompletne vydenie druheho zadania z MAGSA spolu z vypracovanymi vsetkymi bonusovymi ulohami najdete na stranke: http://www.megaupload.com/?d=GWOBN7ZF   projekt.zip
Samozrejme vsetko je bez zaruky, ale malo by to byt OK
28.03.2010, 19:31:58   skus robit prechadzanie vsetkych objektov inak napr

Code: [Select]
( for(EntityRef er: entities) )----------------------------------------------------------------------------------------------------


----------------------------------------------------------------------------------------------------
spustenie pojektu
----------------------------------------------------------------------------------------------------
25.02.2010, 21:40:40
cvicenie 2
tak, mozem ti napisat co sme stihli na cviku (v podstate ako zacat):
1. stiahnut a rozbalit si projects.zip z moodlu resp. z hornadu (su to dva projekty)
2. v adresari projektu magsa vytvorit adresar "model" a v nom vytvorit entity Oddelenie.el a Zamestnanec.el (vid moodle)
3. stiahnut parser.zip rozbalit a obsah vlozit do adresara projects/magsa/src asi takto ze:
adresar   projects\magsa\src\sk\tuke\magsa\tools\  ma odsahovat adresare "metamodel" a "parser" (z toho zipka)
4. otvorit projekt magsa v netbeanse a pokracovat ulohami z 2.cvika v moodli:
   t.j... vytvorit v metamodel Type.java (ako je v 2. cv na obrazku)...
...

Code: [Select]
public enum Type {
    INTEGER, REAL, STRING;
}

atd...  
----------------------------------------------------------------------------------------------------
28.02.2010, 15:03:58
1. stiahnes projects.zip
2. rozbalis projects.zip
3. otvoris v Netbeanse projekty
4. pozries sa do lib adresaru projektu magsa a co tam nevidiiis? tri jar-ka (that means: velocity.jar, yajco.jar a javacc.jar)
5. prides do Netbeansu a v projekte magsa pridas do kniznic tie tri jar-ka a voila! Smiley (resp. mozno staci dat Resolve Reference Problems pravym klikom na projekt a tam vyhladas toto co ti treba z tych troch jar)
EDIT: co sa tyka problemov s projektom ParserGenerator , odpoved najdete v dalsom poste od BCAA.
28.02.2010, 17:52:34   cize ak uz nechcete mat s tym problemy tak jednoducho tuto referenciu odstrante (tipujem ze to bude vo vasom projekte  v  Libraries/ParserGenerator  tak tam jednoducho pravy klik a odstranit ) Nic nepokazite (ak neverite si spravte zalohu Wink)
----------------------------------------------------------------------------------------------------


----------------------------------------------------------------------------------------------------
riesenie problemov pri robeni projektu
----------------------------------------------------------------------------------------------------
02.03.2010, 12:07:15   v triede Model.java
rob vkuse s arraylistom
List<Property> properties = new ArrayList<Property>();
a po naplneni to len pretypuj
(Property[]) properties.toArray()
02.03.2010, 12:21:31   treba ho inicializovat na Property[] p = new Property[props.size()] a az tak skopcit z arraylistu props do pola
05.03.2010, 10:25:34   Takto to funguje

Code: [Select]
List<Property> property = new ArrayList<Property>();
.
.
.
Property[] p = (Property[])property.toArray(new Property[property.size()]);
return new Entity(name, p);

05.03.2010, 13:39:14   alebo jednoduchsie:

Code: [Select]
return new Entity(name, properties.toArray(new Property[]{}));----------------------------------------------------------------------------------------------------

vyskocit z volania metody v jave
return null; (ak nemas navratovy typ, tak return;) a nasledne pri volani metody testujes ci tam nie je null.. Resp. mozes hodit na metodu throws TvojException a potom pri volani metody potom testujes, ci vhodila vynimku
----------------------------------------------------------------------------------------------------

04.03.2010, 14:21:04   v tom cviku tri, crud_interface.vm, teraz sa tie sablony volaju dao_impl.java.vm, dao_interface.java.vm, entity_class.java.vm
----------------------------------------------------------------------------------------------------

Identifikatori v jave sa riadia nasledovnimi pravidlami :
1. Mozu obsahovat vsetky velke a male pismena, cisla a znaky _ a $
2. Meno identifikatora nesmie zacinat cislom - a to je cela filozofia

07.03.2010, 09:45:21   v projekte mas pripraveny string pod nazvom IDENT_REGEX, takze staci pouzit:

Code: [Select]
line.matches(IDENT_REGEX)
druha moznost je pouzit metody java.lang.Character.isJavaIdentifierStart a java.lang.Character.isJavaIdentifierPart
----------------------------------------------------------------------------------------------------

povedal nam ako poriesit tie importy v generated, treba len jednoducho vymazat ten mgsa.jar subor v libraries a importnut ho tam znovu, lebo zrejme ked sa pregeneruje nanovo projekt mgsa tak tam aj tak ma natiahnuty len tu staru verziu akoby... potom to uz islo vsetko v pohode
----------------------------------------------------------------------------------------------------

07.03.2010, 20:05:26
vygenerovany subor OddelenieDaoImpl.java

Code: [Select]
package sk.tuke.magsa.personalistika.dao_impl;

import java.sql.Connection;
import java.sql.PreparedStatement;
import java.sql.SQLException;
import java.sql.ResultSet;
import sk.tuke.magsa.framework.CRUDDaoImpl;
import sk.tuke.magsa.framework.ValidatorException;
import sk.tuke.magsa.framework.ConnectionPool;
import sk.tuke.magsa.personalistika.entity.Oddelenie;
import sk.tuke.magsa.personalistika.dao.OddelenieDao;

public class OddelenieDaoImpl extends CRUDDaoImpl<Oddelenie> implements OddelenieDao {
    public OddelenieDaoImpl(ConnectionPool pool) {
        super(pool);
    }    

   protected PreparedStatement prepareInsertStatement(Connection connection, Oddelenie object)

throws SQLException {
        String query = "INSERT INTO Oddelenie (nazov, kod, poschodie) VALUES (?, ?, ?)";
        PreparedStatement pstm = connection.prepareStatement(query);
        pstm.setString(1, object.getNazov());
        pstm.setString(2, object.getKod());
        pstm.setInt(3, object.getPoschodie());
        return pstm;
    }

    protected PreparedStatement prepareUpdateStatement(Connection connection, Oddelenie object)

throws SQLException {
        String query = "UPDATE Oddelenie SET nazov=?, kod=?, poschodie=? where ident=?";
        PreparedStatement pstm = connection.prepareStatement(query);
        pstm.setString(1, object.getNazov());
        pstm.setString(2, object.getKod());
        pstm.setInt(3, object.getPoschodie());
        pstm.setInt(4, object.getIdent());
        return pstm;
    }

    protected PreparedStatement prepareDeleteStatement(Connection connection, Oddelenie object)

throws SQLException {
        String query = "DELETE FROM Oddelenie where ident=?";
        PreparedStatement pstm = connection.prepareStatement(query);
        pstm.setInt(1, object.getIdent());
        return pstm;
    }

    protected PreparedStatement prepareFindStatement(Connection connection, Integer id) throws

SQLException {
        String query = "SELECT * FROM Oddelenie where ident=?";
        PreparedStatement pstm = connection.prepareStatement(query);
        pstm.setInt(1, id);
        return pstm;
    }

    protected PreparedStatement prepareSelectStatement(Connection connection) throws SQLException {
        String query = "SELECT * FROM Oddelenie";
        PreparedStatement pstm = connection.prepareStatement(query);
        return pstm;
    }

    protected Oddelenie createFromResultSet(ResultSet rs) throws SQLException {
        Oddelenie object = new Oddelenie();
        object.setNazov( rs.getString("nazov") );
        object.setKod( rs.getString("kod") );
        object.setPoschodie( rs.getInt("poschodie") );
        return object;
    }

    @Override
    protected void test(Oddelenie object) {
        
    }
}

----------------------------------------------------------------------------------------------------
28.03.2010, 23:31:19   pripojenie k databaze

Code: [Select]
staci pouzit connectionPool.java
ConnectionPool cp = new ConnectionPool();
Connection conn = cp.acquire();
----------------------------------------------------------------------------------------------------

18.04.2010, 13:54:23
spravne vygenerovana ebnf

Code: [Select]
Constraint ::= (Length | DefaultValue | Regex | Range | Required)
DefaultValue ::= (<defaultvalue> <INT_VALUE>)
Entity ::= (<entity> <NAME> (<{> (Property (Property)*) <}>))
Length ::= (<length> <INT_VALUE> <INT_VALUE>)
Model ::= ((Entity)* (Reference)*)
Property ::= (<NAME> (<:> Type) ((Constraint ((<,> Constraint))*))?)
Range ::= (<range> <INT_VALUE> <INT_VALUE>)
Reference ::= (<reference> <NAME> <NAME>)
Regex ::= (<regex> <STRING_VALUE>)
Required ::= <required>
Type ::= (<INTEGER> | <REAL> | <STRING>)
----------------------------------------------------------------------------------------------------

18.04.2010, 21:07:56
Dam vygenerovat pomocou YAJCO parser, a vygeneruje mi parser s milion chybami.
jj stalo sa aj mne take...ale pridal som na novo yajco.jar ...to ,ktore je v osmom cviceni a ide vsetko ako ma
----------------------------------------------------------------------------------------------------

19.04.2010, 20:15:20
trieda Entity

Code: [Select]
public Reference[] getOutgoingReferences() {
        Reference[] refs = new Reference[outgoingReferences.size()];
        int i = 0;
        for(Reference ref : outgoingReferences){
            refs[i++] = ref;
        }
        return refs;
    }

Code: [Select]
public Reference[] getOutgoingReferences() {
        return (Reference[]) outgoingReferences.toArray(new Reference[outgoingReferences.size()]);
    }
----------------------------------------------------------------------------------------------------

28.04.2010, 08:56:29   v tom XML ui.xsd, mne ten schemagen este stale nejde
29.04.2010, 15:41:33   Dajte @XmlTransient na zvysne get metody (napr. Entity getEntity()) a na obe abstraktne triedy. Potom to pojde.
----------------------------------------------------------------------------------------------------

01.05.2010, 23:06:46
12 cviko
ked som dobre pochopil tak metoda menu by mala vypisat ako polozky hlavneho menu nazvy entit napr nieco takeho:
(1) Zamestnanec
(2) Oddelenie
Enter selection:

po konkretnom vybere by sa potom malo pomocou tej triedy TableDialog vypisat podmenu pre pracu s entitou, co je v tej triede, ze:
(1) Display
(2) Create
(3) Edit
(4) Remove
(5) Return
Enter selection:
----------
02.05.2010, 08:32:24
Tam ked si pozries v zadani je pod napisane, ze za vypis podmenu je zodpovedne TableDialog, tato trieda je vsak abstraktna .. no neskor vytvaras pre kazdu entitu triedu, ktora rozsiruje TableDialog ... cize pre kazdu entitu budes mat taku triedu a kazda taka trieda ma aj metodu menu(), ktora vypise to dane submenu ale uz pracuje s tou entitou .. takze v tej sablone "app" musis pre kazdu entitu vytvorit polozku v menu (tak ako si pisal) a v ramci switchu potom podla toho co stlacis zavolat prislusnu triedu

ja to mam nejako takto (funguje, takze dufam ze aj dobre Tongue):

Code: [Select]
#set( $n = 1 )
#foreach($entity in $model.entities)
case $n:
new ${entity.name}Table().menu();
break;
#set( $n  = $n + 1 )
#end
----------------------------------------------------------------------------------------------------

03.05.2010, 18:58:49   overovanie obmedzeni pri zadavani hodnoty pouzivatelom
ja som to nechal overit prave tym testom v dao, ale neviem ci to bola spravna cesta
----------------------------------------------------------------------------------------------------

07.05.2010, 19:58:49
porovnanie componentu na class LookupColumn

Code: [Select]
#if($!{component.entity})
dostat z componentu typ danej property

Code: [Select]
#if($property.type == "INTEGER")
07.05.2010, 22:13:52
Tebe to nefunguje, lebo Entity mas vsade null, tak isto ako Property lebo inak by si property vytiahnut vedel.
Tvoj problem je v tom ze si si UI nenaplnil instanciami z modelu. To nestaci len validovat, ale ak zistis ze Entita alebo Property existuje tak ju tam aj musis setnut.
----------------------------------------------------------------------------------------------------

07.05.2010, 22:59:01
11.cviko, furt ked dam ten schemagen, vyhodi mi "cannot find symbol"
1. vsetky GET metody musia mat anotaciu, metody ktore sa nemaju premietnut do XSD maju byt transientne
2. odporucam oanotovat vsetky triedy, UI ma xmlRoot... a ostatne XmlType
3. pri pouziti schemagen je idealne zadat celu castu ku vsetky adresarom pouzitym v prikaze ako parametre
----------------------------------------------------------------------------------------------------

09.05.2010, 19:27:10
To XSD co sa ti vygenerovalo, na to kasli.
Do root adresara projektu nakopci ui.xsd a ui.xml a potom:

Code: [Select]
UIProcessor parserext = new UIProcessor(new FileReader("ui.xml"));
09.05.2010, 19:46:21   Dik, uz ide mohli napisat do toho "navodu", ze sa na to mam vysrat...
10.05.2010, 09:20:46   to xsd tam je na validaciu toho xml-ka:

Code: [Select]
SchemaFactory schemaFactory=SchemaFactory.newInstance("[url=http://www.w3.org/2001/XMLSchema]http://www.w3.org/2001/XMLSchema[/url]");
Schema schema=schemaFactory.newSchema(new File("model/schema1.xsd"));
unmarshaller.setSchema(schema);

10.05.2010, 12:16:31   Ano ibaze potom treba upravovat aj triedu UIProcessor.
A vzhladom nato ze generovane XSD je absolutne rovnake ako to na stranke tak staci pouzit to XSD a XML zo stranky.
----------------------------------------------------------------------------------------------------

10.05.2010, 16:31:24
porovnanie componentu na class LookupColumn

Code: [Select]
#set( $entity = ${model.findEntity($table.entityName)} )
#set( $name = $column.getPropertyName() )
#if(${entity.findProperty($name)})

componentu typ danej property

Code: [Select]
#set( $property = ${entity.findProperty($name)} )----------------------------------------------------------------------------------------------------

2
4. ročník / SPJ - Sémantika programovacích jazykov
« on: 04.02.2011, 16:56:19 »
Zhrnutie príspevkov z minulého roka

meno/heslo na hornad   spj/Semantika

----------------------------------------------------------------------------------------------------
04.05.2010, 23:13:49   neviem ci viete   ale prednasky boli dost inspirovane touto knizkou  http://www.daimi.au.dk/~bra8130/Wiley_book/wiley.html, (si pamatam ze som bol dost debil z denotacnej semantiky  a tam je to pekne vysvetlene)
----------------------------------------------------------------------------------------------------

----------------------------------------------------------------------------------------------------
09.04.2010, 12:28:05   NEJDE naskenovany priklad zo 7.tyzdna : http://stargate.cnl.tuke.sk/~tanka/SPJ/
11.04.2010, 14:09:11   ako tak pozeram otazky z minulych rokov, pisomka bude pomerne jednoducha
11.04.2010, 15:28:09   na poslednej prednaske to bolo niekolko krat zopakovane ze ani staticka ani dynamicka semantika nebude (cize ziadne bloky, lokalne a globalne premenne...)
----------------------------------------------------------------------------------------------------

----------------------------------------------------------------------------------------------------
co bude na zapocovke
----------------------------------------------------------------------------------------------------
13.04.2010, 09:29:35
slodicak vravel ze bude presne toto:
1.rosirenie semantiky algebraickych vyrazov
2.rozsirenie semantiky boolovskych vyrazov
3.semantika cisel
4.vyhodnotit nejaky vyraz (algebraicky, bolovsky) ("aj" vyhodnotenie vyrazu, aj nejake volne premenne, aj neviem co este)
5.program - naturalna semantika
6.program - operacna semantika
7.program - abstraktny strom
nic viac, nic menej
13.04.2010, 13:44:26   pod algrbraickym/boolovskym vyrazom sa mysli napr: B[[ (x<x+1) /\ (x=x) ]] , my sme to mali na 3. cviku.

13.04.2010, 10:57:26
nam diktoval mihalyi toto:
1 rozsirenie syntaxe aritmetickych vyrazov
2 rozsirenie syntaxe boolovskych vyrazov
3 semantika binarneho cisla
4 semantika vyrazov
5 naturalna semantika
6 strukturalna operacna semantika
7 derivacne stromy abstraktnej syntaxe
vraj to bude tak na 30-45 minut
na A4 bude nejaky ten oficialny tahak pre kazdeho..
13.04.2010, 13:44:26   bodove ohodnotenie: 3, 3, 2, 2, 4, 4, 2

----------------------------------------------------------------------------------------------------
13.04.2010, 13:37:59   pytal som sa ci bude ten strom z prveho cvicenia a ze nebude

13.04.2010, 14:31:01
1.rosirenie semantiky algebraickych vyrazov
Rozsirte jednoduchy programovaci jazyk o exponent e1e2 (riesenie bolo na prednaske)
2.rozsirenie semantiky boolovskych vyrazov
Rozsirte jednoduchy programovaci jazyk o operator implikácie (e1->e2) (taktiez bolo na prednaske)

13.04.2010, 15:53:30
dalsie rozsirenia syntaxe
minuleho roku bola napriklad absolutna hodnota, dalej pri boolovskych vyrazoch mozu byt lubovolne operacie(or,xor,nand,ekvivalencia atd...)
z boolovskych... pre jednu premennu su styri funkcie, pre dve je ich dokopy 16, vsetky sa robia prakticky rovnako
----------------------------------------------------------------------------------------------------


----------------------------------------------------------------------------------------------------
Tu som teraz vypocital tych 7 typov prikladov
----------------------------------------------------------------------------------------------------
15.04.2010, 10:52:13   Tu som teraz vypocital tych 7 typov prikladov , sa moze niekto inspirovat alebo ma zjebat ze co mam zle . http://denature.netkosice.sk/sk/spj.jpg
15.04.2010, 11:32:57   tam v druhom priklade by asi mal byt vsade znak B(bool) namiesto E(epsilonu) a zvysok by som rovnako riesil...
15.04.2010, 12:14:08   pri SOS ti chyba na zaciatku este sekvencia 3os1 pravidlo lebo nemas nikde napisane podla coho si dostal <x:=x+2;y:=y+1,s0>

15.04.2010, 12:35:41
tt
---------------------------------(4ostt)
<S,s0> => <x:=x+2,s0>
---------------------------------(3os1)
ALFA1 => <x:=x+2;y:=y+1,s0>

S je celz prikay if
este doplnene uplne
15.04.2010, 13:28:54   no este ako tak pozeram blizsie tak tie stavy v NS su kus zle ..s2 tam nema byt vobec
15.04.2010, 13:48:27   takto by to malo byt:
<x:= x+2,s0> -> s1
______________________________________
<if(x<=5) then x:=x+2 else x:=x+y, s0> -> s1 , <y:=x+1, s1> -> s
________________________________________________________
<if(x<=5) then x:=x+2 else x:=x+y; y=x+1, s0> -> s
----------------------------------------------------------------------------------------------------


----------------------------------------------------------------------------------------------------
zapocovka
----------------------------------------------------------------------------------------------------
14.04.2010, 07:47:48
Takze zapoctovka uspesne za mnou, bolo na to 45 minut, oficialny tahak dostal kazdy (obsahuje ns a os pravidla)
priklady v  skutku jednoduche.

Skupina A:
1. abs(e)
2. e1 nand e2
3. 11100
4. FV(e1*e2)
5., 6. 7. if (x<=5) then x:=x+2 else x:=x+y;y=x+1

Skupina F:
1. -e
2. implikacia
3. 10011
4. FV (e1*e2+e3)
5. 6. 7. x:=2; if(y<=5) then x:=x+y else x:=x-y

GL (thx to kakan7)
----------------------------------------------------------------------------------------------------
14.04.2010, 08:19:40   7. uloha bola nakoniec derivacny strom(to co sa robilo na 1.cviku) a davajte si pozor kde je bodkociarka a kde zatvorka, pretoze sa mozte pomylit a tym padom mate 5.,6.,7. ulohu zle, konkretne v skupine A.
14.04.2010, 12:43:16   k tym FV, ja som napisal len FV(e1*e2) = FV(e1) U FV(e2)
14.04.2010, 13:23:27   som sa pytal ci to tak staci, a povedala ze ano
14.04.2010, 15:23:27   -e = e - (2 x e)?   E[|-e|] = 0 - E[|e|]    toto staci..lebo aj ked e bude nula tak to bude fungovat
14.04.2010, 16:46:00   abs(e)   musis to riesit cez podmienky, ak je vyraz mensi alebo rovny nule tak je to 0-E[[e]]s inak E[[e]]s
14.04.2010, 17:23:20   moje vydenie prikladu z if v naturalnej semantike na http://www.megaupload.com/?d=L87QLICM   Prezentácia1.jpg
14.04.2010, 17:42:22   oficialny tahak   - pravidla naturalnej a štrukturalnej operacnej semantiky, prakticky vsetky pravidla ktore trebalo (sekvencia, skip, while, if..)
----------------------------------------------------------------------------------------------------

test K
1 max (e1,e2)
2 bsucc (b)
3 11011 = 27
4 FV (true V b1)
5, 6 a 7 if neg(x<=3) then y := y - 1 else y:= y + 1;
okrem toho, ze nam povedal cely druhy a stvrty priklad a v miestnosti bol hluk, tak to bolo v pohode
----------------------------------------------------------------------------------------------------


----------------------------------------------------------------------------------------------------
otazky z archivu minuleho roku
----------------------------------------------------------------------------------------------------
24.05.2010, 14:57:11
ja som z archivu minuleho roku take nico vytiahol:
1) Denotacia cyklu a definicie: monotonej a spojitej f-cie, funkcionalu, fixny bod
2) Definicia formalneho jazyka (abstraktna syntax a semantika jazyka)
3) Akcna semantika
4) Semantika aritmetickych vyrazov a booolovskych vyrazov
5) Denotacna semantika pre blok prikazov (medzi begin a end)
6) nejaka otazka z poslednej prednasky - take bludy
----------------------------------------------------------------------------------------------------

24.05.2010, 15:08:46
ja som z archivu minuleho roku take nico vytiahol:
tak tahala som tri veci, jeden dokaz (NS - OS, while + postupnost prikazov), co som rozpisala na dve strany, dalej priklad (definovat semantiku + syntax osmickovych cisel) a jednu teoreticku (posledna prednaska nejake bludy)

----------

Ale nie všetky otázky sú také v pohode. Aspoň pre mne sa to zdalo dosť hard. Moja písomka:
1)Príklad: Naturálna, operačná a denotačná sémantika pre rozšírenie S:=...l for c1 to c2 do S;

naturalna:
pre B[[b(nezvyraznuj  :))]] = tt

<S;s>->s` <c1:=c1+1, s`> -> s`` <for c1 to c2 do S, s``> -> s```
______________________
<for c1 to c2 do S,s> -> s```

b:= c1<=c2

pre B[[b :)]] = ff pises ze sa nevykona nic z cyklu

pre strutruralnu pises:
<for c1 to c2 do S, s> => <if B[[b :)]] then S;c1:=c1+1;for... else skip, s>

pre denotacnu pises:
<for c1 to C2 do S> = fix F
F g = cond(B[[b :)]], S ° c1:=c1+1 ° g, id)


2)Teória: Denotačná sémantika pre blok prikazov(to je toto medzi begin a end,neviem ci sa to vola blok prikazov).
3)Dôkaz: Dokáž že jednoduchý programovací jazyk je deterministický.

strukturalnou indukciou na pravidla NS

----------

Priklad: Cyklus s 3 iteraciami a z toho konstruovat odvodzovaci strom.

Dokaz: Dokazat semanticku ekvivalentnost S1 a S2.
    S1 = while b do S
    S2 = if b then (S; while b do S) else skip

Teoria: Semantika aritmetickych vyrazov a boolovskych vyrazov.

----------

Ako je vyjadrena denotacia cyklu? Co je to monotonna fcia? Spojita fcia? Funkcional? A co je to fixny bod?
----------------------------------------------------------------------------------------------------


----------------------------------------------------------------------------------------------------
predtermin
----------------------------------------------------------------------------------------------------
12.05.2010, 17:58:55   predtermin   
Tahali sa tri otazky - priklad, teoreticka a jeden dokaz, vymenit sa neda. Ku kazdemu je potrebne mat aspon nieco.
Ja som mal
priklad odvodzovaci strom pre naturanulnu semantiku.
Dokaz bol preukazat korektnost implementacia suctu a premennej pre aritmet.vyrazy a logickeho suctu a negacie.
Teoria Denotacia cyklu a defincie monotonnej f-cie, spojitej, funkcional, fixny bod ...

12.05.2010, 20:39:49   ja som bol pri novitzkej a ja som si vytiahol otazku na
Teoria definiciu formalneho jazky(def. abstraktnej syntaxe a semantiky jazyka),
dokaz pre podmienku v abstraktrom stroji a dokazat jej korektnost a
priklad som mal odvodzovaci strom pre NS
prof.novitzka bola super, pytala sa normalne otazky ani nie na presne definicie, ci je dokaz dobry ale ci tomu chapem a ci to viem vysvetlit...
priklad ani nepozrela, len videla ze tam mam strom, tak sa pytala ako funguje vlastne NS pre prikaz a som jej to mal vysvetlit...

13.05.2010, 17:01:04   nic viac ako prednasky ti netreba...plus cvika priklady pre lepsie pochopenie a vyskusanie si prikladov

13.05.2010, 17:22:42   
ja som mal
dokazat korektnost implementacie pre konjukciu boolovskych vyrazov, vztah mensi a rovny pre aritmeticke vyrazy a pre konstantu true...a boolovske vyrazy v prednaske nie su dokazane len je tam spomenute ze sa dokaz vykonava podobne jak pre artimeticke
22.05.2010, 17:24:02   ja som mal akcnu semantiku
22.05.2010, 19:22:25   co vseko je obsahom toho povoleneho tahaka - su tam aj instrukcie abstraktneho stroja a aj prekladove instrukcie AM
----------------------------------------------------------------------------------------------------


----------------------------------------------------------------------------------------------------
skuska
----------------------------------------------------------------------------------------------------

----------------------------------------------------------------------------------------------------
09.06.2010, 12:56:06   a ucit sa staci cisto z prednasok? - jj + nejake priklady z cvik tiez neuskodia
----------------------------------------------------------------------------------------------------
24.05.2010, 15:19:40   Priklad na akcnu urcite nebude - to povedal aj na prednaske ...
----------------------------------------------------------------------------------------------------
08.06.2010, 18:14:10   prekladove funkcie pre AM boli na tahaku
----------------------------------------------------------------------------------------------------
09.06.2010, 13:49:40   dokaz ekvivalencie SOS a DS..(strany 27-41 v 8 prednaske) - ja mam v zosite napisane, ze tento dokaz nebude, takze to asi hovoril na cviku...
----------------------------------------------------------------------------------------------------
15.06.2010, 16:23:57
ako sa riesi rozsirenie pre Fib(n)...nty clen fibonaciho postupnosti
e := ... | fib(n)
E[fib(0)]s=0   (s je index)
E[fib(1)]s=1  
E[fib(n)]s= E[fib(n-2)]s + E[fib(n-1)]s
----------------------------------------------------------------------------------------------------
euklidov algoritmus v operacnej semantike
s0[x->96, y->24]
P=
z:=0;
while(neg(x=y)) do
   if (x =< y) then y:=y-x else x:=x-y;
z:=x;
----------------------------------------------------------------------------------------------------


----------------------------------------------------------------------------------------------------
26.05.2010, 11:58:42
----------------------------------------------------------------------------------------------------
skuska bola spolu s dalsim predmetom novitzkej.
rozsadzali podla abecedy do radov. Kazdy dostal papier aj zadania do ruky.
ustna cast bola najma u soldicaka, ktory chcel, aby bola kazda uloha spravena aspon na polovicu.
Siel som ako prvy, bez pripravy, k prof. Novitzkej. K teorii som jej povedal svoje. Nepytala sa ma nic extra.  P a D - chcela vediet akym postupom by som ich riesil. Z toho ako som reagoval videla, ci rozumiem tematike alebo nie. Na papieri som mozno mal 3 - 4 vztahy.
----------------------------------------------------------------------------------------------------

26.05.2010, 12:32:12
Co sa tika otazok mal som:
T: Druhy entit v akcnej semantike, definovat akcie, ake vysledky akcie pozname, a ake druhy
informacii akcie mozu spracovat a popisat jednotlive druhy informacii
D: Dokazat korektnost implementacie pre prikaz while (v oboch smeroch)
P: Vytvorit syntax a semantiku jazika Hexadecimalnych cisel

Ja som mal :
Priklad: zaviest pravidla pre prikaz"for x:=e1 to e2 do S" pre NS,OS a DS
otazka: Denotacna semantika prikazu cyklu a vsetky pojmy s tym suvisiace
dokaz: ekvivalencia sekvencie a if v NS a OS
01.06.2010, 12:28:35
pr1 prepises na x:=e1;while(x<=e2)do(S;x:=x+1)
pr2 prepises na S;while(neg b) do S
v tomto tvare to uz snad vies prepisat do ns os a ds

1. teoria: Denotacna semantika - definovat prikazy JPJ (okrem prikazu while) plus popisat pojmy.
2. dokaz: ekvivalencia medzi NS a OS pre prikazy postupnosti a cyklu.
3. priklad: Odvodzovaci strom pre dynamicku NS (taky priklad medzi begin end s deklaraciou var)

26.05.2010, 14:34:56
ja som mal
priklad: repeat S until b             -urobte ns os ds
teoria: v skratke ... vysvetlite os
dokaz: dokazte ekvivalenciu ns os (priradenie, podmienka)

Ja som nastastie vystihol Novitzku
1. elementarna fazeta
2. euklidovym algoritmom vypocitat najvacsi spolocny delitel cisel 96 a 24 v operacnej semantike
3. dokazat korektnost implementacie v abstraktnom stroji z oper. sémantiky pre priradovaci prikaz a príkaz vetvenia Sos[]=Sam[]

T: denotacna semantika vyrazov, zakl. pojmy: semanticka funckia, sem. rovnice, pomocna fcia, sem. oblast
P: program prepisat do AM a vykonat : while neg(y=1) do (x:=y; y:=z; z:=x)   ///alebo tak nejak, nevim presne
D: ci je naturalna semantika JPJ deterministicka

26.05.2010, 22:10:06
Ja som mal priklad a dokaz taky isty ako zuzanka, len teoriu som mal definovat štrukturalnu operačnu semantiku + zakladne pojmy abo daco take.

----------------------------------------------------------------------------------------------------
02.06.2010, 10:12:56
----------------------------------------------------------------------------------------------------
Dnesna skuska (2.6):
- hned na zaciatku Slodicak povedal, ze budu skusat inym systemom -> naraz iba 5 boli v miestnosti na spj a 5 na log.inf, ostatni cakali vonku
- nemuseli sme mat pripravu
- Slodicak za radom vytahoval otazky

T - syntax a sem. abstr. stroja
D - korrektonost impl. cyklu v abs. stroji
P - Denotacia prikazu if (?dajaka podmienka?) then (x:=?,y:=?,z:=?) else skip pre s0= [x=?,y=?,z=?]
   - samozrejme namiesto ? boli nejake premenne

02.06.2010, 11:07:04
P: Definovat syntax a semantiku desiatkovej sustavy, kladne a zaporne cisla
D: Dokazat korektnost implementacie na AM - priradenie a skip (operacna semantika)
Teoria: Bloky, procedury, volania, deklaracia, (staticka, dynamicka...)

P: Vypocitaj denotaciu pre x:=z;z:=y;y:=x; s0=[z->1;y->6] (nepamatam presne cisla) a vysledok overit na abstraktnom stroji.
D: Dokazat korektnost pre b1^b1, e1<=e2 a pre true
T: Nepriama denotacna semantika - popisat princip

T:Zakladne pojmy strukturalnej operacnej semantiky
D:Dokazte ze naturalna semantika JPJ je deterministicka
P:Jednoduchy while prepisat do instrukcii abstraktneho stroja a urcit vysledny stav vykonavania

P: urcite volne viazane FV premenne
T: jazyk definicia + vysvetlit pojmy
D: ekvivalencia cyklu v OS a na AM

P: Euklidov algoritmus pre vypocet najvacsieho spolocneho delitela cisel x a y.
T: Semantika aritmetickych a boolovskych vyrazov v JPJ.
D: Dokazte korektnost implementacie aritmetickych vyrazov na abstraktnom stroji.

----------------------------------------------------------------------------------------------------
09.06.2010, 11:09:16
----------------------------------------------------------------------------------------------------
T: Definovat semantiku bool a exp vyrazov JPJ
P: Napisat dynamicku naturalnu semantiku pre program (boli tam dva bloky vnorene s deklaraciami premennych)
D: Dokazat korektnost implementacie na abstraktnom stroji pre priradovaci prikaz a skip

T: Definovat NS prikazov JPJ a vysvetlit
D: Dokazat pre postupnost a priradenie, ci ekvivalentne NS OS
P: case x of e1:S1;e2:S2 else S3 NS OS DS

T: Nepriama denotacna semantika + zakl. pojmy.
P: Rozsirenie JPJ (Syntax aj semantika) o nasledovnika prirodzeneho cisla, Fib(n) - nty clen Fibbonachiho postupnosti a o nonekvivalenciu bool. vyrazov.
D: Korektnost implementacie komutativnosti a asociativnosti nasobenia vyrazov pomocou AM.

T: Akcna semantika, fazety, atd...
D: Ekvivalencia prikazov priradenia a podmienky pre NS a SOS
P: Odvodzovaci strom v SOS pre taky priklad ze boli v podstate sekvencia S1(priradovaci prikaz), S2(cyklus while), S3(priradovaci prikaz)

P: rozsirit syntax o b1=b2, b1=>b2, e1>e2
T: typy vykonavania akcii, definovat zberace, typy udajov v akcnej semantike = proste dajake haluze z akcnej
D: korektnost podm. prikazu, cize Sos[|if b then S1 else S2|] pomocou AM

----------------------------------------------------------------------------------------------------
16.06.2010, 11:24:32
----------------------------------------------------------------------------------------------------
T: akcna semantika a veci okolo toho
D:  Dokázať korektnosť implementácie komutatívnosti a asociatívnosti násobenia výrazov pomocou AM.
P: repeat S until b    - urobte NS OS DS

T ŠOS //pohoda, jahoda
D komutativnost scitania a nasobenia na abstraktnom stroji //easy
P NS, OS a DS pre for //staci previest na while a po pomoci od Ľaľovej som o uz vedel vyriesit

T: Definovat semantiku aritmetickych vyrazov JPJ
D: Korektnosť implementácie komutatívnosti a asociatívnosti násobenia výrazov pomocou AM
P: Syntax a semantika kladnych a zapornych desiatkovych cisel

T: Nepriama denotacna semantika
D: Korektnosť implementácie komutatívnosti a asociatívnosti scitania výrazov pomocou AM
P: case x of e1:S1;e2:S2 else S3 - pravidla pre NS, SOS, DS

T: naturalna, setko k nej
D: podmienovaci prikaz v NS a AM
P: AM, cyklus while

3
4. ročník / FŠS - Formálne špecifikácie systémov
« on: 04.02.2011, 13:33:28 »
Zhrnutie príspevkov z minulého roka

----------------------------------------------------------------------------------------------------
skuska
----------------------------------------------------------------------------------------------------
21.05.2010, 11:16:22
Otazky cca:
1. uvod FM, sucasnost, priklady, motivacia
2. zivost, RP
3. nakreslit PS pre obedujucich filozofov, s tym ze tam moze dochadzat k deadlocku a neberu sa obe vidlicky naraz....
4. nejake vyratanie pre-podmienok
----------------------------------------------------------------------------------------------------

01.06.2010, 08:15:36
prva skupina :
1) PN - marking, realizacia prechodu, jazyky PN
2) B jazyk, definicia vlatnosti
3) S invariant pre RW problem
4) Vytvorte B specifikaciu vypoctoveho strediska s jednym pocitacom

druha skupina :
1) vektorove aditivne systemy. Vztah VAS a petriho sieti
2) sysntax struktury MASCHINE N(p) a jeho vlastnosti
3) vypocitajte najslabsie prepodmienky
4)pre kapacitno obmedzenu PS najdite jazykovo ekvivalentnu PS bez kapacitneho obmedzenia
 - a dokazat jej s- invariant
----------------------------------------------------------------------------------------------------

15.06.2010, 14:48:33
T1: Jazyk „guarded commands“.
T2: Sémantika Machine N(p):štruktúra povinného dôkazu korektnosti špecifikácie stroja Machine N(p).(Proof Obligation for
Machine N(p)
P1: Urcit najslabsie prepodmienky pre nejake vyrazy (; , ||)
P2: Urcit T-invarianty PN.

teoria
1- Mechanizmus ";" dokaz jeho korektnosti, platnosti pre vlastnosti 1-4
2- Kompozicne mechanizmy EXTENDS a INCLUDES
priklady
1- T-invarianty PN (bola siet ako pre readers-writers len torchu upravena)
2- nepamatam presne ale cosi ako:
vytvorit B stroj, kt. ma operacie
- ak xx patri do mnoziny ss (ta ma byt z N) vrati TRUE
- nedeterministicky bud prida xx do ss  vrati TRUE alebo neurobi nic vrati FALSE
----------------------------------------------------------------------------------------------------

21.05.2010, 14:19:32   Doplnim, ze priklady na  prepodmienky boli tie co boli na cviku,

Code: [Select]
[PRE X>0 THEN y=y/xEND](y>1), [CHOICE SS:= SS U{xx} ||| bb:=TRUE OR bb:=FALSE ](xx patri SS)----------------------------------------------------------------------------------------------------


----------------------------------------------------------------------------------------------------
na stiahnutie
----------------------------------------------------------------------------------------------------
26.05.2010, 17:06:37   tie otazky nie su kompletne...to su otazky len pre externistov
28.05.2010, 11:23:55   pdf + prednasky + web + rozne vygooglene clanky (dijkstra, murata a pod)
28.05.2010, 12:19:48   http://www.uloz.to/4946538/fss2007.rar
         prednasky a cvika z roku 2007...skoro je to rovnake ako toho roku...ako obsahovo je to to iste...len
nieco je tam naviac, kedze oni to mali este ako povinny predmet
----------------------------------------------------------------------------------------------------

28.05.2010, 17:33:06   TOTO JE ZLE   ti filozofi co ste mali mat ze po jednom beru vidlicku a moze dochadzat k deadlocku
by mali vyzerat nejak takto:   http://img338.imageshack.us/img338/7171/filozofipojednomberulyz.jpg
30.05.2010, 09:47:11   Zadanie bolo, ze musi to byt nedeterministicke a nesmie zobrat dve vidlicky naraz. Teda bud vezme
najprv pravu a potom lavu, alebo naopak   Tu je cast riesenia pre 1 filozofa http://i49.tinypic.com/mmy328.jpg
----------------------------------------------------------------------------------------------------
14.06.2010, 15:46:41   taketo nieco asi http://i47.tinypic.com/15f1uyp.jpg
14.06.2010, 19:57:19   este je tam malicky nedostatok.... tam pri p7: este musi ist z t3 do p7 hrana
14.06.2010, 20:23:38   rozdelenie bodov teoria-priklady   25 25 10 10 tusim
----------------------------------------------------------------------------------------------------

11.06.2010, 12:50:32
http://ibn.sk/images/na%20skuske%201.jpg   nejde
http://ibn.sk/images/na%20skuske%202.jpg   nejde
konkretne toto bolo minule ...
----------------------------------------------------------------------------------------------------


14.06.2010, 15:35:22
X1 = kX2 + X4
X3 = X2 + X4
toto sme si vyjadrili z rovnice Ct.X=0
14.06.2010, 15:38:24
ked si vsimnes tie dve premenne x1 a x3 sa daju vypocitat pomocou x2 a x4..tak si zostavis tabulku:
    x1    x2    x3    x4
X1        0             0
X2        0             1
X3        1             0
X4        1             1
a pomocou tych dvoch rovnic dopocitas x1 a x3..potom len skrtnes zavisle riadky a ostanu ti tie dva co si uviedol
14.06.2010, 15:54:18   premenne su dve takze mozu mat pri dvoch moznostiach styri rozne hodnoty a to bud 00 alebo 01 alebo
10 alebo 11
----------------------------------------------------------------------------------------------------

14.06.2010, 20:33:26   vie niketo vypocitat tie prepodmienky ?   

Code: [Select]
[ANY vv WHERE vv>xx A vv (patri) N THEN xx:=vv END] (xx (patri) ss)
14.06.2010, 20:54:41

Code: [Select]
[@vv.(vv>xx a vv patri N -> xx:=vv)](xx patri ss)
pre vsetky vv: (vv>xx a vv patri N) -> [xx:=vv](xx patri ss)
pre vsetky vv: (vv>xx a vv patri N) -> vv patri ss
----------------------------------------------------------------------------------------------------


18.06.2010, 12:18:25
B stroj

Code: [Select]
MACHINE Stroj()
VARIABLES ss
INVARIANT ss patri N
INITIALISATION ss=prazdna mnozina
OPERATIONS
b <- Test(xx) =
 PRE xx patri N
 THEN
     IF xx patri ss THEN b := TRUE ELSE b:=FALSE END
  END

b<- Nedeterm(xx) =
 PRE xx patri N
 THEN
     CHOICE ss := ss zjednotenie {xx} || b:= TRUE OR b:=FALSE END
  END

END

EDIT od kOsTi-ho: k 1. obrazku: pri p7: este musi ist z t3 do p7 hrana

4
Zhrnutie príspevkov z minulého roka

----------------------------------------------------------------------------------------------------
na stiahnutie
----------------------------------------------------------------------------------------------------
http://www.megaupload.com/?d=BCUR6UY9            Periferne zariadenia.zip
http://www.top4download.com/turbo-c-/aklqwuba.html      Turbo C.zip
http://www.techquark.com/2007/08/turbo-c-for-vista.html
08.03.2010, 21:53:21   komunikacia medzi PC      http://www.megaupload.com/?d=TT9Q37WT   JEBIGA.C
21.04.2010, 18:16:32   manual na dierkovac stitkov   http://www.megaupload.com/?d=B5KDRIIR            Ivan.zip
27.04.2010, 15:24:00   Zadanie cislo 2 dierkovac   http://www.megaupload.com/?d=O5WDW9RG   PZaSP ZAD 2.zip
----------------------------------------------------------------------------------------------------
Okrem toho .C suboru su tam aj 2 dokumenti - pricom jeden popisuje vyzor tych pismen v 5X8 pixceloch a druhy je obrazne
znazorenie zmien ktore vznikaju v registroch pri praci so dierkovacom (toto druhe plati vylucne pre moje zadanie, vy ate
samozrejme rozdielne adresi tych riadiacich a stavovych signalov) Aby ste to priviedli k zivotu pri vasich zadaniach staci
zmenit iba proceduru "print_byte_on_DT105S", vsetko ostatne moze zostat rovnake (samozrejme neodporucam aby vsetko zostalo
rovnake Cheesy )
Tato procedura ktoru treba zmenit je bohate okomentovana, tiez dajte pozor ze okrem ze treba zmenit adresi vasich signalov,
moze nastat aj pri ifkoch a whiloch v tejto procedure ze nebudete testovat povedzme na jednotku ale na nulu .... Prajem vela
zdaru Cheesy
PS: Samozrejme ak by niekto nerozumel tej proceudure tak si pozrite tu fotku z casovym priebehom signalov - poradie
nastavovania signalov a ich hodnoty presne sleduju tu fotku
----------------------------------------------------------------------------------------------------
tu proceduru ktoru treba zmenit, tie cisla ktore posielam na outporti a citam z inportov su iba dekadickym vyjadrenim
binarnych cislic ktore nastavuju (v pripade outport) alebo citaju (v pripade inport) stav nejakeho registra- takze zoberies
kalkulacku- konvertujes si tie cisla na binarne, a zistis ze kde su 1 a kde nuly- zoberies tu power point prezentaciu v
ktorej mam vyznacene ktore biti registrov som ja menil, a podla toho zistis ze ako funguje moje zadanie, podla toho
analogicky prepocitas tvoje hodnoty, a ich binarnu formu zase pomocou kalkulacky prepocitas na decimalne. Jedna sa o 1h max
2h prace, takze mislim ze to ozaj zvladnut mozes
----------------------------------------------------------------------------------------------------
21.05.2010, 11:39:28   dierkovac   http://leteckaposta.cz/885571303   NEJDE
                 na zaciatku kodu staci pozmenit cisla tych bitov registra (pri DEFINE) a malo by to fungovat
28.05.2010, 08:09:10   ak chcete mat full zapocet musite mat spracovane zadanie v kvalite Bakalarky/Diplomovky so vsetkym
vsudy, cize najpodrobnejsie a minimalne rozsah 30 stran   
----------------------------------------------------------------------------------------------------


----------------------------------------------------------------------------------------------------
skúška
----------------------------------------------------------------------------------------------------
Tak snorek bol urcite hlavny zdroj informacii z kade si mohol a mal cerpat, ale vskutku si sa mohol ucit aj z inych veci...
napr. "Prevzate prehladove prednasky", co boli tiez na ftp-cku a sluzili ako take rychle zopakovanie si.
----------------------------------------------------------------------------------------------------

4 otazky,
prva otazka: (jedna z tychto)
    - DMA
    - IRQ
    - V/V adresacia
    - Architektura PC
    - Pamatovy podsystem

Druha
    - RS232C
    - Centronix
    - Graficky podsystem
    - Technologicke rozhrania

Tretia bola niektore z periferii a to :
   - Mlavesnica/mis
   - Diskove jednotky (HDD + CD + FDD)
   - Tlaciarne
   - Monitory
   - Scanery

Stvrta bola spolocna ISO9001

prakticka cast
program bud Rs232C, alebo LAP karta - pripadne bol jeden aj na centronix- ja osobne som mal pri kazdom 100om preruseni
vyvolanom systemovim casovacom poslat aktualny datum a cas na druhy pocitac cez RS232C a zapisat tento datum do suboru.
4 otazky z toho 2 zo snorka + 1 z periferii + iso 9001

Otazky zo snorka typu::
~ DMA
~ Prerusenia
~ Technologicke rozhrania
~ Zbernice
~ Graficky podsystem
~ ...

Otazky z periferii::
~ Mys/klavesnica
~ MonitoryLCD/RGB
~ Tlaciarne
~ ...
----------------------------------------------------------------------------------------------------

Este co bolo na skuske
ISO9001 jedine taky obrazok co sme mali v zosite
USB
dost sa zaoberal prerusovacim systemom, grafickym podsystemom, technologickym rozhranim LAB karty a s tym suvisiacim A/C
prevodnikom (dost dopodrobna)

sa kazdeho opital ze aku chce znamku, a najcestejsie mu taku znamku aj dal
----------------------------------------------------------------------------------------------------

Pages: [1]