Šio darbo tikslas – suprojektuoti ir išanalizuoti skysčio lygio valdymo sistemas su PI reguliatoriumi bei neraiškiosios logikos reguliatoriumi, atlikti imitacijas ir palyginti gautus rezultatus. Teorinėje dalyje apžvelgiamos skysčio lygio valdymo sistemos, jų pagrindiniai elementai. Taip pat išnagrinėjami sistemų valdymo ypatumai, naudojant neraiškiosios logikos ir PI reguliatorius. Tiriamojoje dalyje sudaryta: sistemos funkcinė schema, sistemos matematinis ir kompiuterinis modeliai. Atlikus procesų imitaciją nustatyta, kad sistemoje su PI reguliatoriumi pakeitus nuostatą dėl perreguliavimo gaunamos nepageidaujamos slėgio aukščio ir debito vertės. To išvengiama, naudojant neraiškiosios logikos reguliatorių. Darbo pabaigoje pateikiamos išvados. Darbą sudaro 7 dalys: įvadas, literatūros apie skysčio lygio valdymo sistemas analizė, tyrimo tikslas ir uždaviniai, teorinė dalis, tiriamoji dalis, išvados, literatūra. Darbo apimtis - 71 puslapiai be grafinės dalies, 53 iliustracijos, 6 lentelės, 40 bibliografinių šaltinių ir 4 internetinės prieigos. / The main goal of the thesis is to design and analyze liquid level control systems with a PI controller and a fuzzy logic controller, perform simulations and to compare the results. In the analytical part, liquid level control systems and main elements of liquid level control systems are overviewed. Also system control using PI and Fuzzy logic regulators is overviewed. In research part liquid level control system is projected practically. The research chapter consists of a functional scheme, mathematical and computer models design. The simulation of the system shows that changing the step size in the system with a PI controller results in unwanted total head and flow rate values because of an overshoot. This is avoided in the system with a fuzzy controller. At the end of the thesis there is a conclusions part. The work consists of seven parts: introduction, analysis of liquid level control system literature, main goal of the research, theory part, design part, conclusions, references. Work volume – 71 pages of text without appendixes, 53 illustrations, 6 tables, 40 bibliographical and 4 internet entries.

<p>U radu nastojimo da pokažemo da Hegelovi pojmovi spekulativne logike, povesti i objektivnog duha omogućuju da se u potpunosti shvati Aristotelov pojam praktičkog i njegovo razvijanje. Aristotelova praktčka filozofija bivstvo praktičkog dovodi do pojma=logosa, te vladajući pojam=logos praktičkih stvari, koji nije izvan onog alogičkog=žudnje, omogućuje delatnost=energeiju praktičkog. Pojam=logos praktičkog u Aristotela stoga nema teorijski i retrospektivni karakter u samom praktičkom kako to izvodi hermeneutička filozofija, već upravo jeste su&scaron;tina praktičkog odno&scaron;enja koju izlaže i ističe Aristotelova praktička filozofija. Spekulativni pojam onog praktičnog je tačka jedinstva Aristotelove i Hegelove filozofije. Hegel u pojmu političke=unutra&scaron;nje države kao običajnosnog organizma prevladava uz očuvanje Aristotelov logos entelehije polisa=pojam dejstvenosti grada-države. Razlika Aristotelove i Hegelove filozofije o praktičkom je povesna, sistemska i logička. Povesna razlika leži u Hegelovom situiranju modernog principa subjektivnosti kao prava posebnosti subjekta na zadovoljenje u pojam građanskog dru&scaron;tva sistema filozofije prava, te u sledstvenom specifičnom podru&scaron;tvljenju kako privatne sfere tako i sfere države. Logička razlika leži u Hegelovom određenju ideje praktičkog saznanja=ideje objektivnog duha i apsolutne ideje u sistemu spekulativne logike.</p> / <p>In the paper we are trying to show that Hegel&#39;s concepts of speculative logic, history and objective spirit are enabling us to fully understand Aristotle&#39;s concept of practical and its development. Aristotle&rsquo;s practical philosophy brings the being of practical down to the concept=logos, and the ruling concept=logos, that is not beyond the a-logical=desire, enables the effectiveness=energy of the practical. Therefore, with Aristotle, the concept=logos of practical does not have a historical and retrospective nature in the practical itself the way hermeneutic philosophy derives it, but it is the very essence of the practical relation proposed and accented by Aristotle&rsquo;s philosophy of practical.<br />Speculative concept of the practical is the point of unity between Aristotle&rsquo;s and Hegel&rsquo;s philosophy. Hegel, in the concept of political=inner state as ethical life overrules with retention Aristotle&rsquo;s logos of polis entelechy=concept of the effectiveness of the city-state. The difference between Aristotle&rsquo;s and Hegel&rsquo;s philosophy on practical is historical, systematic and logical. The historical difference is in Hegel&rsquo;s placement of modern principle of subjectivity as the right of one&rsquo;s individuality to satisfaction into the concept of civil system of the philosophy of right, and in the specific consequential socialization as both a private affair and a state one. Logical difference is in the Hegel&rsquo;s specification of the idea of practical cognition=idea of the objective spirit and an absolute idea in the system of speculative logic.</p>

<p>Doktorska disertacija prezentuje nov i opštiji način analiziranja&nbsp;semantike strukturiranih i objektno orijentisanih programa i to&nbsp;isključivo u okvirima predikatske logike prvog reda. Doktorska&nbsp;disertacija razmatra sledeće teme:<br />1.) S-programski račun,<br />2.) Definicija i osobine dinamičkih postuslova u S-računu,<br />3.) Konceptualne definicije objekta, klase i invarijante,<br />4.) Analiza invarijanata u klasi (SP-analiza i DP-analiza).</p> / <p>Doctoral thesis presents a new and more general method for analizing of&nbsp;structured and object-oriented program semantics, based on the first-order&nbsp;predicate logic. Doctoral thesis consideres next topics:<br />1.) S-program calculus,<br />2.) Definition and characteristics of dynamic postconditions in S-calculus,<br />3.) Conceptual definitions of object, class and invariant,<br />4.) Analyses of invariants in class (SP-analyses and DP-analyses).</p>

<p>Cilj ovog istraživanja bio je da se razvije metoda čijim kori&scaron;ćenjem može da se doprinese pobolj&scaron;anju efikasnosti rada poljoprivrednih biogas postrojenja. Da bi se to ostvarilo, izabrani su odgovarajući kriterijumi i parametri. Razvijena je metoda za ocenu efikasnosti, a rezultati dobijeni njenim kori&scaron;ćenjem ukazuju na potrebu za pobolj&scaron;anjem. Razvijena je i metoda za analizu mogućnosti pobolj&scaron;anja, kojom se predlažu mere za ostvarenje pobolj&scaron;anja. U razvoju metoda kori&scaron;ćeni su principi fazi logike i ekspertskih sistema, da se modeluje neodređenost u podacima i koristi ekspertsko znanje za ocenu. Testiranjem metoda, koristeći podatke o radu petnaest postrojenja u Bavarskoj, zaključeno je da su metode primenljive u obliku pomoćnog alata za sprovođenje pobolj&scaron;anja efikasnosti.</p> / <p>The aim of this investigation was to develop a method that can be used<br />for improving the efficiency of agricultural biogas plants. In order to<br />achieve this, appropriate criteria and parameters were selected. The<br />method for assessing the efficiency was developed, which results<br />indicate the need for improvement. The method for analyzing the<br />possibilities of improvement was developed as well, in order to propose<br />measures for improvement. In development of methods, principles of<br />fuzzy logic and expert systems were used, in order to model uncertainty<br />in the data and to use expert knowledge for assessment. According to<br />test results, using data of fifteen biogas plants in Bavaria, it was<br />concluded that methods can be used for efficiency improvement.</p>

The Rodokmen (Family tree) environment is one of the many envirnments listed in Fraus publishing house textbooks based on the RVP pro ZV (The Framework Educatinal Programme for Basic Education). The environment offers a tool for building of the mathematical schema of terms and their inter-realations as well as the development of the logical thought. In the theorethicl part of this Diploma thesis the relationship of the Rodokmen environment to the RVP pro ZV is being explained, basic mathematical and geneaologic terminology is stated. In this part of the thesis I also explain the relations in the set cocncept, clasify the family relationships and adress the methodology of the age example solving. In the practical part of the thesis I - by the way of experiment - determine how and in what context students understand the stated mathematical terms, the way they apply the understanding in order to solv the relation and age exams or problems, where the numeric operations take place.

This work introduces some very basic concepts of category theory as built up over first-order predicate Gödel fuzzy logic (with crisp identity and the delta operator). A fuzzy variation of a classical concept of a category is considered. Then several systems of morphisms loosely based on the crisp categories Rel and Set are defined and examined. Accordingly, all the systems under consideration consist of fuzzy sets as objects and various kinds of binary fuzzy relations as morphisms. Our approach is a logic-based graded generalization of crisp (clas- sical) category-theoretical approaches to fuzzy sets, which have been initiated by Goguen. 1

According to American philosopher W. W. Bartley, the transition from tradi- tional Aristotelian to Boolean logic is a revolutionary milestone in the history of logic. The work of George Boole which was followed by a developement of a mathematicaly oriented logic brings a shift of paradigm. In my thesis I follow the period in which the shift is said to have happened. I explicate the elements of syllogistic and its main conceptions as expounded in a textbook The Rudiments of Logic written by Henry Aldrich. Furthermore I demon- strate logical systems of three authors: Archbishop Richard Whately, George Boole and Lewis Carroll. I accent the connection of those systems and the practical aspect of logic. With this in mind I consider Bartley's statement and estimate the role of the rules in the systems and its possible use in three domains circumscribed in Aldriches book: simple apprehension, judgement and discourse. 1

This thesis deals wit the evaluation of the suppliers in low volume business environment. Current means of suppliers evaluation are analyzed. Then new criteria and means for suppliers evaluation based on softcomputing methods are proposed. The proposed solution is then compared to current evaluation of suppliers.

This master thesis deals with the virtual gate position and liquid level control system. The main characteristics of automatic control systems, fuzzy logic systems, their properties and formation principles are reviewed. Conventional and advanced control methods are presented pointing out their benefits, drawbacks and problems to be solved. Physical modelling and simulation issues are also discussed. Physical, mathematical, simulation and animation models of the system are produced. Position and level controllers are designed. The simulation of gate position and liquid level control processes is performed. The simulation model is built up using MATLAB Simulink and Fuzzy Logic Toolbox. The simulation results prove that the proportional controller fits very well for controlling gate position. However, the results of liquid level control “upwards” using PI controller are only satisfactory. Unsatisfactory results are obtained using the same controller for liquid level control “downwards”. Substantially better results are achieved using fuzzy logic controller. The models produced can be useful for further investigations and learning purposes.

Magistriniame darbe nagrinėjamas pakartotinis informacijos ir žinių panaudojimas IT pagalbos tarnybose. Trumpai apžvelgti svarbiausi tokio tipo organizacijų veiklos principai, kurie standartizuojami taikant ITIL metodologiją. Darbo tikslas – sukurti IT trikčių registravimo sistemą, kuri panaudodama sukauptą informaciją apie praeityje įvykusias IT triktis spręstų dabartines problemas. Siekiant šio tikslo pasirinkta taikyti neraiškiąją logiką ir atveju paremtą samprotavimą. Darbe pateikiama neraiškiosios logikos ir atveju paremto samprotavimo teorinė apžvalga ir praktinės pritaikymo galimybės, apžvelgiamos intelektualios IT trikčių registravimo sistemos. Atlikus tyrimą ir įvertinus anksčiau sukurtas intelektualias IT trikčių registravimo sistemas, formuojamas naujosios modelis. Nauja sistema, pritaikiusi atveju paremtą samprotavimą ir neraiškiąją logiką, pateikia galimus IT trikčių sprendimus jos naudotojui, tai yra IT pagalbos tarnybos darbuotojui. Sistema yra nepriklausoma nuo kalbos, nes atskirų atvejų paieška vykdoma taikant neraiškiąją logiką. Darbą sudaro 4 dalys: įvadas, IT organizacijos pagal ITIL samprata, teorinė neraiškiosios logikos ir atveju paremto samprotavimo apžvalga, praktinis neraiškiosios logikos pritaikymas IT trikčių registravime bei išvados ir siūlymai, literatūros sąrašas. Darbo apimtis – 75 p. teksto be priedų, 26 iliustr., 5 lent., 60 bibliografiniai šaltiniai. Atskirai pridedami darbo priedai. / The final Master thesis analyses the reuse of information and knowledge in IT helpdesk organizations. Briefly are discussed most important activities of such companies, that are standardized according ITIL. The main goal of the Master thesis is development of IT help-desk ticketing tool, which would reuse past information and knowledge in order to resolve current problems. Adaptation of fuzzy logic and case based reasoning is chosen to accomplish this goal. The second part of work contains theoretical information about fuzzy logic and cased based reasoning, practical application of these sciences; also discusses intelligent IT help-desk incident ticketing systems. After the research of scientific articles about intelligent IT help-desk systems and application of fuzzy logic and case based reasoning, the new model of IT trouble tickets system is created. The new system suggests possible solutions of an IT incident. The solution is found among previous incidents using fuzzy logic. Volume of the thesis – 75 p. of text without appendices, 26 figures, 5 tables, 60 bibliographic sources.