In this Master’s degree work artificial neural networks and back propagation learning algorithm for human faces and pattern recognition are analyzed. In the second part of work artificial neural networks and their architecture and structures models are analyzed. In the third part of article the backpropagation procedure and procedures theoretical learning principle are analyzed. In the fourth part different kinds of ANN methods and patterns extracting methods in recognition, learning and classification use were researched. In this part RGB method for patterns features extraction was described. In the fifth part the requirements specification, prototype model, use case diagram, system architecture, programs modules and objects project for software realization were created. In the same part backpropagation procedures running principle was realized. After the project part was completed, a face and patterns recognition system was created. In the sixth part the created software system was tested. According to the testing results software’s recognition rate is 82,5 % using supervised learning and 82,8 % using unsupervised learning. We found using the FAR and FRR rates the ERR rate, which was 40 %. While doing the testing with changed human characteristics, the system showed 84,6 % recognition rate. This rate shows very good work of the system by a little bit changed human characteristics. Systems realization was evaluated by users as very good one. In the seventh part software’s... [to full text]

Automated proof system for logic of correlated knowledge is presented in the dissertation. The system consists of the sequent calculus GS-LCK and the proof search procedure GS-LCK-PROC. Sequent calculus is sound, complete and satisfy the properties of invertibility of rules, admissibility of weakening, contraction and cut. The procedure GS-LCK-PROC is terminating and allows to check if the sequent is provable. Also decidability of logic of correlated knowledge has been proved. Using the terminating procedure GS-LCK-PROC the validity of all formulas of logic of correlated knowledge can be checked. / Automatinė įrodymų sistema koreliatyvių žinių logikai yra pristatoma disertacijoje. Sistemą sudaro sekvencinis skaičiavimas GS-LCK ir įrodymo paieškos procedūra GS-LCK-PROC. Sekvencinis skaičiavimas yra pagrįstas, pilnas ir tenkina taisyklių apverčiamumo, silpninimo, prastinimo ir pjūvio leistinumo savybes. Procedūra GS-LCK-PROC yra baigtinė ir leidžia patikrinti, ar sekvencija yra išvedama. Taip pat buvo įrodytas koreliatyvių žinių logikos išsprendžiamumas. Naudojant baigtinę procedūra GS-LCK-PROC, visų koreliatyvių žinių logikos formulių tapatus teisingumas gali būti patikrintas.

Automatinė įrodymų sistema koreliatyvių žinių logikai yra pristatoma disertacijoje. Sistemą sudaro sekvencinis skaičiavimas GS-LCK ir įrodymo paieškos procedūra GS-LCK-PROC. Sekvencinis skaičiavimas yra pagrįstas, pilnas ir tenkina taisyklių apverčiamumo, silpninimo, prastinimo ir pjūvio leistinumo savybes. Procedūra GS-LCK-PROC yra baigtinė ir leidžia patikrinti, ar sekvencija yra išvedama. Taip pat buvo įrodytas koreliatyvių žinių logikos išsprendžiamumas. Naudojant baigtinę procedūra GS-LCK-PROC, visų koreliatyvių žinių logikos formulių tapatus teisingumas gali būti patikrintas. / Automated proof system for logic of correlated knowledge is presented in the dissertation. The system consists of the sequent calculus GS-LCK and the proof search procedure GS-LCK-PROC. Sequent calculus is sound, complete and satisfy the properties of invertibility of rules, admissibility of weakening, contraction and cut. The procedure GS-LCK-PROC is terminating and allows to check if the sequent is provable. Also decidability of logic of correlated knowledge has been proved. Using the terminating procedure GS-LCK-PROC the validity of all formulas of logic of correlated knowledge can be checked.

Teisė kreiptis į teismą yra esminė individo subjektinių teisių apsaugos sąlyga. Tas pats pasakytina ir apie asmenims suteikiamas teises Bendrijos teisės sistemoje. Europos Teisingumo Teismas (ETT) turi išimtinę teisę atlikti Europos Bendrijos institucijų priimtų aktų teisėtumo priežiūrą. Be to, ETT pavesta aiškinti EB teisės nuostatas. Šiuo metu tiesioginio kreipimosi į ETT ribos, vadovaujantis EB Sutarties 230(4) straipsniu, yra griežtai apribotos. Todėl netiesioginis kreipimasis į ETT, pasinaudojant preliminaraus nutarimo procedūra, valstybių narių nacionaliniuose teismuose tapo bene labiausiai paplitusiu ir dažniausiai naudojamu teisinės gynybos keliu asmenims, siekiantiems apginti savo teises ir teisėtus interesus, kuriuos laiduoja EB teisė. Teisingumo Teismas savo praktikoje yra ne kartą pažymėjęs, kad preliminaraus nutarimo procedūra laikytina alternatyva tiesioginio ieškinio padavimo procedūrai pagal EB Sutarties 230 straipsnio 4 dalį ir tuo būdu akcentavęs EB Sutartimi įtvirtintos teisinių priemonių sistemos universalumą. Vis dėlto ETT vėlesnėje praktikoje netiesiogiai pripažino, kad ši Bendrijos teisėje įtvirtinta teisinių gynybos priemonių sistema nėra tokia ideali, kokios norėtųsi, ir kartu nurodė valstybėms narėms pareigą panaikinti joje egzistuojančius trūkumus ir spragas. Pagrindinė preliminaraus nutarimo procedūros problema yra ta, kad ji nėra tiesiogiai prieinama individams, o skirta valstybių narių nacionaliniams teismams. Pastariesiems suteikta teisė... [to full text] / Access to court is essential for the protection of all rights of individuals. The same holds true for the rights individuals derive from Community law. The European Court of Justice (ECJ) is the only court competent to review the legality of acts of the Community institutions. In addition, the ECJ has the last word on the interpretation of Community law. The direct access for individuals to the ECJ, pursuant to Article 230(4) EC, is strictly limited. Thus, the indirect access to the Court through national courts by means of the preliminary ruling procedure has become the most common procedural route for individuals. The Court has repeatedly indicated this procedure as an alternative to Article 230(4) EC and has emphasised the completeness of the system of remedies of the EC Treaty. Although in the last jurisprudence the ECJ has indirectly admitted that the system of remedies is not as complete as it should be and has appealed to the responsibility of the Member States to amend the system. The main problem with the preliminary ruling procedure is that it is not a matter of right for individuals. It is up to the national court to decide whether or not to seek a preliminary ruling and how to phrase the questions submitted to the ECJ. National courts “against whose decisions there is no judicial remedy” are obligated to refer questions of Community law to the ECJ, but the Court has ruled that this duty is not absolute. Apparently it happens that these limitations, and the... [to full text]

Lietuvos Respublikos muitinės vaidmuo smarkiai pasikeitė nuo 2004 m. gegužės 1 d. Po įstojimo į ES prekės valstybių narių teritorija juda be jokių prekybos apribojimų, o importuojamoms iš trečiųjų šalių prekėms taikomi vienodi tarifai ir kvotos. Lietuva atsakinga už ES išorinės sienos apsaugą, todėl padidėjo jos atsakomybė tikrinant iš trečiųjų šalių gabenamas prekes. Po 2004 m. pasikeitė ir muitinės, kaip mokesčių surinkėjos vaidmuo – kadangi muitai ir muito mokesčiai yra sudedamoji ES nuosavų išteklių sistemos dalis. Kadangi muitinis apmokestinimas siejamas su trimis pagrindinėmis charakteristikomis – prekių kilme, prekės kodu, prekių muitine verte, todėl muitinė atlikdama savo, kaip mokesčių surinkėjos vaidmenį, visų pirma, turi įvertinti ir atlikti patikrinimus, susijusios su šiomis charakteristikomis, kadangi daugiausia muitų teisės aktų pažeidimų kaip tik ir nustatoma šioje srityje. Lietuvos muitinė, būdama atsakinga už rinkos ir visuomenės apsaugą bei mokesčių administravimą, turi siekti šių tikslų: • Įdiegti kompiuterizuotą rizikos valdymo sistemą, siekiant užtikrinti efektyvią prekių ir asmenų judėjimo kontrolę; • Tapti koordinuojančia institucija, atsakinga už prekių judėjimo per išorines ES sienas kontrolę; • Imtis atitinkamų, tarptautinius standartus atitinkančių priemonių ir metodų atliekant prekių ir transporto priemonių patikrinimus; • Skatinti ir vystyti muitinių bendradarbiavimą, užtikrinti efektyvų keitimąsi informacija ir taip operatyviau atskleisti galimus... [toliau žr. visą tekstą] / After joining EU the tasks of Lithuanian Customs Authorities rapidly changed, because they became responsible for the protection of external EU borders. Customs plays a vital role in protecting borders from the entry of illegal and harmful goods. EU Customs Union is based on a main principle – free movement of goods, which means that the goods between EU territory can move without no restrictions applied. Since 2004 Customs as tax collector‘s role also change – customs duties form a part of Communities own resources system. The main characteristics that have an impact on customs duties applied are origin of goods, tarriff clasification and customs value and because of that the most of the customs law infringements accur then the import operations are performed. This is why the customs authorities should carry out the inspections on these elements very carefully. The tasks in the market and society protection and tax administration include the following: • to implement a computerized risk management system related to goods, customs procedures and persons, and to integrate it into EU risk management process; • to become a coordinating institution, responsible for control of goods being transported through the external EU borders of Lithuania in the integrated state border protection system of the Republic of Lithuania; • to ensure control of movement of goods by implementing modern measures and methodologies, as used in other EU Member States, for customs examination of goods... [to full text]