Magistro darbe analizuojami aritmetinio loginio įtaiso (ALU) modeliai, operacijos ir architektūros. Išanalizavus mokslinę literatūrą, pasirenkama ALU architektūra bei atliekamų operacijų aibė. Realizuojamas dviejų pakopų sudalintos operacijų aibės ALU modelis. Atlikus apibendrinimą atliekami eksperimentai. Eksperimento modeliai modifikuojami – atliekamas ALU operacijų sudalinimas tarp ALU ir valdančios logikos (CU) operacijų poaibių. Nagrinėjami konkrečių ALU operacijų atlikimo pirmos arba antros pakopos modulyje pranašumai ir trūkumai. Sukurti parametrizuoti (bendriniai) ALU modeliai su kintamo duomenų pločio operandais. ALU modeliai aprašyti aparatūros aprašymo kalba SystemC, sumodeliuoti ir susintezuoti. Gauti ALU SystemC modelių sintezės rezultatai parodė operacijų aibės sudalinimo bei skirtumo tarp retai ir dažnai naudojamų operacijų perkėlimo į skirtingas pakopas poveikį pagrindinėms lusto charakteristikoms: plotui, signalo vėlinimui ir energijos suvartojimui. Optimalus operacijų aibės sudalinimas dviejų pakopų architektūroje leidžia pasiekti reikiamos projektuojamo įtaiso charakteristikos pagerėjimą. Taikant šį metodą, galima kritinei (daug aparatūros resursų naudojančiai) ALU operacijai sudaryti mažesnį plotą luste užimantį arba mažiau energijos suvartojantį ALU variantą. / This work studies arithmetic logic unit (ALU) models, operations and architectures. ALU architecture and operation set is chosen based on the analysis of the known scientific publications. Two-stage divided operation set ALU model is implemented and used for the experiments. The experimental ALU models are modified using different variants of partitioning of ALU operation set, when ALU operations are divided between main ALU block and control unit (CU). Pros and cons of ALU operation performance in the first or the second stage are examined. Developed generic ALU models can be instatiated for data operands with variable data width. ALU models are coded in a high-level hardware description language SystemC, simulated and synthesized. The results of ALU SystemC model synthesis showed the effect of the division of the operation set on the main chip characteristics: area, delay and energy consumption and the difference of subdivision of rare or often used operations into different ALU stages. Optimal subdivision of operation set in two-stage ALU architecture allows getting a better performance of the designed device. Using this method the designer can select an instance of ALU that has a smaller area and consumes less energy for critical (using more hardware resources) operation.

Bakalauro dabą „Elektros srovės, geometrinės optikos, atomo branduolio fizikos mokomieji bandymai ir jų loginė analizė“ susideda iš įvado, 3 skyrių, išvadų ir 28 literatūros šaltinių. Darbo apimtis 66 puslapiai. Pirmoje ir antroje dalyje apžvelgiama pedagogikos ir psichologijos literatūros šaltinių analizė. Trečioje dalyje yra aprašomi XII klasės fizikos kurso mokomieji bandymai ir jų loginės samprotavimo schemos iš: • Elektros srovės (9 eksperimentai). • Geometrinės optikos (8 eksperimentai). • Atomo branduolio fizikos (5 eksperimentai). Samprotavimo schemos planai padeda mokiniams: suprasti demonstracinio bandymo esmę, nustatyti priežasties – pasekmės ryšius ir priklausomybę, gretinti sąlygas ir išvadas, apibendrinti rezultatus, daryti išvadas. / Bachelor's work „Educational Experiments of Electric Current, Geometrical Optics, Atomic Nuclear Physics and Their Logical Analysis” consists of an introduction, 3 chapters, conclusions and 28 references. Working amount 66 pages. In first and second part gives an overview of pedagogy and psychology analysis of literature source. In third part is described education experiments of physics and their logical reasoning schemes of XII class from: • Electric Current (9 experiments). • Geometrical Optics (8 experiments). • Atomic Nuclear Physics (5 experiments). Reasoning schemes help students to: understand the nature of the demo task, determine cause – effect relationships and dependencies, compare conditions and findings, summarize the results, do conclusions.

This work presents business process analysis methodology which consists of presentation of the business processes created on the ground of the Resource Event Agent model by means of Piece–Linear Aggregate approach. The aggregate specification is analyzing using first order predicate logic while checking correctness by resolution method using logic programming based language Prolog. The work is concluded with concrete example of analysis of Resource Event Agent model based business process using the aggregate approach. The novelty of this work PLA (Piece-Linear Aggregate) model and the software tools, created on the ground of PLA (Piece-Linear Aggregate), are used the first time for business processes analysis that is defined using REA formalism. The use of such integrated models allows performing the automated analysis of general and individual properties (completeness, deadlock freeness, termination or cyclic behavior, boundedness) of defined business processes. The main results are achieved: • The methodology, that consists of presentation of the business processes created on the ground of the Resource Event Agent model by means of Piece–Linear Aggregate approach. • Verification and validation of general and individual properties by using PLA and PROLOG language approach designed system that executes the analysis of aggregate specification. • Implementing internal accounting controls as constraints in relational algebra, SQL and PROLOG language. • Concrete... [to full text]