<p>U radu je izvr&scaron;eno teoretsko istraživanje i analiza postojećih stavova i re&scaron;enja u oblasti validacije i provere kvaliteta modela podataka. Kreiran je teorijski model ontolo&scaron;ki zasnovane analize semantičke korektnosti modela podataka primenom sistema automatskog rezonovanja i izvr&scaron;ena praktična implementacija teorijskog modela, &scaron;to je potvrđeno i sprovedenim eksperimentalnim istraživanjem. Razvijena je softverska aplikacija za formalizaciju modela podataka i mapiranje ontologije u oblik Prolog klauzula. Formirana su pravila zaključivanja na predikatskom računu prvog reda, koja su integrisana sa modelom podataka i domenskom ontologijom. Upitima u okviru Prolog sistema, vr&scaron;i se provera semantičke korektnosti modela podataka. Definisana je i metrika ontolo&scaron;kog kvaliteta modela podataka koja se bazira na odgovorima sistema automatskog rezonovanja.</p> / <p>Work presents a theoretical study and analysis of existing theories and solutions in the area of data model validation and quality checking. It is created a theoretical model of ontology based analysis of data model semantic correctness by applying automated reasoning system which is practicaly implemented and confirmed by the conducted experimental research. A software application is developed for data model formalization and ontology mapping in Prolog clauses form. Reasoning rules are formed the in first-order predicate logic, which are integrated with the data model and domain ontology. Semantic correctness of the data model is checked with queries within Prolog system. Metrics of ontological quality of the data model are defined which are based on automated reasoning system replies.</p>

<p>Cilj istraživanja realizovanih u ovom radu, bio je je da se formalno opišu mogući pristupi transformacijama različitih opisa baza podataka iz jednog modela podataka u drugi i praktično provere kroz njihovu implementaciju u okviru jednog CASE alata, namenjenog projektovanju informacionih sistema i baza podataka. U skladu sa postavljenim ciljem definisan je metodološki pristup i softversko okruženje IIS*Ree koje omogućava visok nivo automatizacije procesa reinženjeringa informacionih sistema. Okruženje IIS*Ree, zasnovano na MDSD principima, kao krajnji rezultat generiše šemu baze podataka u izabranom ciljnom, konceptualnom ili implementacionom modelu podataka, kao i prototip aplikacije.</p> / <p>The goal of the research presented in this paper is to formally specify approaches to transformation of database specifications between different data models. The transformations are then to be implemented and tested using a CASE tool for modelling information systems and databases. Following this goal, a methodological approach is defined together with a software named IIS*Ree that provides a high level of automation of the information system reengineering process. The IIS*Ree software, developed in accordance to MDSD principles, generates database schemas specified in a target, conceptual or implementation data model, as well as application prototypes.</p>

<p>Svrha ovog rada, po karakteru<br />primenjenog, eksplikativnog istraživanja<br />jeste eksperimentalna provera uticaja<br />inovativnih metodičkih pristupa u nastavi<br />predmeta Muzička kultura u nastavnoj<br />oblasti Izvođenje muzike pevanjem (IMP)<br />u osnovnoj op&scaron;teobrazovnoj &scaron;koli na<br />mlađem uzrastu. Uzrast ispitanika usmerio<br />je na&scaron;e zanimanje, na osnovu sadržaja<br />programa za drugi razred osnovne<br />op&scaron;teobrazovne &scaron;kole, na područje obrade<br />pesme po sluhu. Cilj rada bio je utvrditi da<br />li metodički planiranim i usmerenim<br />pristupima u obradi nove pesme po sluhu<br />možemo razvijati i postići efekte razvoja<br />vokalnih sposobnosti učenika prema<br />paramertima Skale provere vokalanih<br />sposobnosti. Rezultati eksperimentalne<br />provere ukazuju da realizacija časova<br />prema modelu IMP kod učenika doprinosi<br />većoj angažovanosti učenika, misaona<br />aktivnost dobija &scaron;ire razmere, intenzivnije<br />se razvijaju vokalne sposobnosti, izražajne<br />i doživljajne moći i razvijaju se muzičke<br />sposobnosti.</p>

<p>Jedan od doprinosa ove disertacije je realizacija modela prenosivog<br />mernog sistema za karakterizaciju senzora uz mogućnost daljinskog<br />pristupa rezultatima merenja. U LTCC tehnologiji je fabrikovan<br />senzor za merenje pH vrednosti, na bazi TiO2 filma na alumina<br />substratu, koji je karakterisan razvijenim mernim sistemom. Izvršena<br />je i obrada podataka dobijenih prilikom karakterizacije senzora<br />formiranjem polinomske statičke karakteristike i modelovanjem<br />senzora ekvivalentnom električnom mrežom. Predložen je novi<br />neiterativni metod estimacije vrednosti parametara modela koji, u<br />poređenju sa metodom najmanjih kvadrata, omogućava jednostavniju<br />estimaciju uz kraće vreme izvršavanja.</p> / <p>One of the contributions of this research is a model of the portable electronic<br />measurement system for sensors characterization with remote access to the<br />measurement results. In LTCC technology a TiO2-based pH sensor is<br />fabricated on the alumina substrate and it was characterized with developed<br />measurement system. Experimentally obtained data was analyzed with<br />polynomial sensor characteristic as well as equivalent electric circuit (model).<br />A new method for parameter estimation of the used 2R-1C model is<br />presented and comparison with complex nonlinear least squares was<br />performed.</p>

<p>Употреба платформски независног моделовања и генерисања<br />прототипова у развоју информационих система скраћује време<br />њиховог развоја и побољшава квалитет тог процеса. При томе,<br />циљ је обезбеђење могућности да развој свих аспеката<br />информационих система буде подржан оваквим приступом.<br />Ова дисертација треба да пружи одговарајући допринос у<br />остварењу наведеног циља. У дисертацији представљени су<br />алгоритми за трансформацију модела ограничења вредности у<br />извршив к&ocirc;д и консолидацију подшема са јединственом<br />шемом базе података, са аспекта ограничења вредности.</p> / <p>Upotreba platformski nezavisnog modelovanja i generisanja<br />prototipova u razvoju informacionih sistema skraćuje vreme<br />njihovog razvoja i poboljšava kvalitet tog procesa. Pri tome,<br />cilj je obezbeđenje mogućnosti da razvoj svih aspekata<br />informacionih sistema bude podržan ovakvim pristupom.<br />Ova disertacija treba da pruži odgovarajući doprinos u<br />ostvarenju navedenog cilja. U disertaciji predstavljeni su<br />algoritmi za transformaciju modela ograničenja vrednosti u<br />izvršiv k&ocirc;d i konsolidaciju podšema sa jedinstvenom<br />šemom baze podataka, sa aspekta ograničenja vrednosti.</p> / <p>The usage of platform-independent modelling and generation of<br />prototypes in information systems development reduces the<br />development time and improves the process quality. By that, the<br />goal is to have all elements of an information system supported by<br />this approach.<br />This dissertation should provide a contribution towards fulfilling the<br />given goal. In the dissertation, author presents algorithms for<br />check constraint model into executable code transformations and<br />algorithms for testing subschema consolidation with respect to<br />check constraints.</p>

<p>In order to automate development of integration adapters in industrial<br />settings, a model-driven approach to adapter specification is devised. In this<br />approach, a domain-specific modeling language is created to allow<br />specification of mappings between integrated technical spaces. Also<br />proposed is the mapping automation engine that comprises reuse and<br />alignment algorithms. Based on mapping specifications, executable adapters<br />are automatically generated and executed. Results of approach evaluations<br />indicate that it is possible to use a model-driven approach to successfully<br />integrate technical spaces and increase the automation by reusing domainspecific<br />mappings from previously created adapters.</p> / <p>За потребе повећања степена аутоматизације развоја адаптера за<br />интеграцију у индустријском окружењу, осмишљен је моделом вођен<br />приступ развоју адаптера. У оквиру овог приступа развијен је наменски<br />језик за спецификацију пресликавања између техничких простора који су<br />предмет интеграције. Приступ обухвата и алгоритме за поравнање и<br />поновно искориштење претходно креираних пресликавања са циљем<br />аутоматизације процеса спецификације. На основу креираних<br />пресликавања, могуће je аутоматски генерисати извршиви код адаптера.<br />У испитивањима приступа, показано је да је могуће успешно применити<br />моделом вођен приступ у интеграцији техничких простора као и да је<br />могуће успешно повећати степен аутоматизације поновним<br />искоришћењем претходно креираних пресликавања.</p> / <p>Za potrebe povećanja stepena automatizacije razvoja adaptera za<br />integraciju u industrijskom okruženju, osmišljen je modelom vođen<br />pristup razvoju adaptera. U okviru ovog pristupa razvijen je namenski<br />jezik za specifikaciju preslikavanja između tehničkih prostora koji su<br />predmet integracije. Pristup obuhvata i algoritme za poravnanje i<br />ponovno iskorištenje prethodno kreiranih preslikavanja sa ciljem<br />automatizacije procesa specifikacije. Na osnovu kreiranih<br />preslikavanja, moguće je automatski generisati izvršivi kod adaptera.<br />U ispitivanjima pristupa, pokazano je da je moguće uspešno primeniti<br />modelom vođen pristup u integraciji tehničkih prostora kao i da je<br />moguće uspešno povećati stepen automatizacije ponovnim<br />iskorišćenjem prethodno kreiranih preslikavanja.</p>

Submitted by JÚLIO HEBER SILVA (julioheber@yahoo.com.br) on 2017-05-19T17:39:41Z No. of bitstreams: 2 Tese - Leandro Alexandre Freitas - 2017.pdf: 10640805 bytes, checksum: 61b69f91cb32e17075d698eecf19b8c4 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2017-05-22T10:42:45Z (GMT) No. of bitstreams: 2 Tese - Leandro Alexandre Freitas - 2017.pdf: 10640805 bytes, checksum: 61b69f91cb32e17075d698eecf19b8c4 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2017-05-22T10:42:45Z (GMT). No. of bitstreams: 2 Tese - Leandro Alexandre Freitas - 2017.pdf: 10640805 bytes, checksum: 61b69f91cb32e17075d698eecf19b8c4 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2017-04-04 / Fundação de Amparo à Pesquisa do Estado de Goiás - FAPEG / The growth and popularization of wireless connectivity and of mobile devices has allowed the development of smart spaces that were previously only envisaged in the approach proposed by Mark Weiser. These smart spaces are composed of many computational resources, such as devices, services and applications, along with users, who must be able to associate with these features. However, programming these environments is a challenging task, since smart spaces have a dynamic nature, resources are heterogeneous, and it is necessary that interactions between users and devices are coordinated with one another. In this work, we present a new approach for smart spaces programming using Models@RunTime. In this regard, we propose a high level modeling language, called Smart Spaces Modeling Language (2SML), in which the user is able to model the smart space with all elements that can be part of it. Such models are developed by the users, interpreted and effected in the physical space by a model execution engine, called Smart Space Virtual Machine (2SVM), whose development is part of this work. / O crescimento e a popularização cada vez maior da conectividade sem fio e dos dispositivos móveis, tem permitido a construção de espaços inteligentes que antes eram vislumbrados apenas na proposta de computação ubíqua do cientista da Xerox PARK, Mark Weiser. Esses espaços inteligentes são compostos por diversos recursos computacionais, como dispositivos, serviços e aplicações, além de usuários, que devem ser capazes de se associar a esses recursos. Entretanto, a programação destes ambientes é uma tarefa desa- fiadora, uma vez que os espaços inteligentes possuem uma natureza dinâmica, os recursos se apresentam de forma heterogênea e é necessário que as interações entre usuários e dispositivos sejam coordenadas. Neste trabalho desenvolvemos uma nova abordagem para programação de espaços inteligentes, por meio de modelos em tempo de execução. Para isso, propomos uma linguagem de modelagem de alto nível, denominada Smart Space Modeling Language (2SML), em que o usuário é capaz de modelar o espaço inteligente com todos os elementos que dele podem fazer parte. Esse modelo desenvolvido pelo usuá- rio é interpretado e realizado no espaço físico por uma máquina de execução de modelos, denominada Smart Space Virtual Machine (2SVM), cujo desenvolvimento é parte deste trabalho.

<p>Predmet istraživanja je identifikaciji i adaptivna estimacija<br />parametara široke klase linearnih sistema. Predloženi algoritmi<br />za adaptivnu estimaciju parametara su primenjivi na sisteme koji se<br />opisuju funkcijama prenosa proizvoljnog oblika, što uključuje sisteme<br />sa kašnjenjem, distribuiranim parametrima, frakcione sisteme i<br />druge sisteme opisane iracionalnim funkcijama prenosa. Na<br />posletku, dat je algoritam za identifikaciju CNG sistema koji se ne<br />izvršava u realnom vremenu i pretpostavlja da struktura modela nije<br />poznata unapred.</p> / <p>The subject of this research is the system identification and adaptive<br />parameter estimation in wide class of linear processes. Proposed<br />approaches for adaptive parameter estimation can be applied to systems<br />described by transfer functions of arbitrary form, including systems with<br />delay, distributed-paratemeter systems, fractional order systems, and other<br />system described by irrational transfer functions. In the final part, an offline<br />algorithm for identification of CNG system which does not assume any a<br />priori known model structure is proposed.</p>