To see the other types of publications on this topic, follow the link: Diagramos.
Dissertations / Theses on the topic 'Diagramos'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Diagramos.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
Žvikaitė, Laura. "Voronojaus diagramos ir jų taikymai." Master's thesis, Lithuanian Academic Libraries Network (LABT), 2005. http://vddb.library.lt/obj/LT-eLABa-0001:E.02~2005~D_20050603_092713-98814.
Full textAbstract:
In these theses are pepresented the Voronoi diagram and Network Voronoi diagram. The shortest path Dijkstra’s algorithm was modified in this way that calculates shortest paths from several Voronoi generators at the same time. The first result - partition of the nodes of the network. The seond result - arcs of the network are attributed to the generators, considering especially their direction and asymmetric costs. Applications allow compare Network Voronoi diagrams to Voronoi diagrams. For this puspose we modified Fortune algorithm. We made particular product for Taxi depot. The user can make his own implementation.
2
Pavlavičius, Denas. "Klasių diagramos generavimas iš Java kalbos šaltinio tekstų." Bachelor's thesis, Lithuanian Academic Libraries Network (LABT), 2010. http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2010~D_20100907_094622-82498.
Full textAbstract:
Sukurtos klasių diagramų generavimo iš Java kalbos šaltinio tekstų programos dokumentacija: reikalavimų bei architektūros specifikacijos, testavimo dokumentacija ir vartotojo vadovas.Created class diagram generation from Java source code program's documentation: requirements and artchitecture specifications, testing documentation and users manual.
3
Švėgžda, Audrius. "Mechaninių ir deformavimo diagramos charakteristikų priklausomybių nustatymas būdingame intervale." Master's thesis, Lithuanian Academic Libraries Network (LABT), 2013. http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2013~D_20130821_152240-74139.
Full textAbstract:
Magistriniame darbe nustatytos legiruotųjų konstrukcinių plienų ir jų suvirinimo siūlių medžiagų mechaninių ir deformavimo diagramos charakteristikų A1, α, sT priklausomybės būdingame intervale kambario ir aukštesnėje temperatūroje. Nuosekli statistinė analizė parodė, kad duomenys yra atsitiktiniai, nepriklausomi bei pasiskirstę pagal normalųjį dėsnį, o atlikta tyrimo rezultatų koreliacinė ir regresinė analizė, kad tarp daugumos medžiagų grupių deformavimo diagramos charakteristikų ir modifikuoto plastiškumo kriterijaus egzistuoja reikšmingas tiesinis koreliacinis ryšys. Darbe ciklinėms deformavimo diagramos charakteristikoms pagal mechanines savybes nustatyti, buvo apskaičiuoti analitinių priklausomybių koeficientai, bei patikrintas regresijos lygčių adekvatumas. Nustatant deformavimo diagramos charakteristikų reikšmes nuo modifikuoto plastiškumo kriterijaus nustatytame būdingame intervale gaunami tikslesni rezultatai, nes daugumai skaičiuotų ir eksperimentinių charakteristikų rezultatų sklaida intervaluose yra mažesnė lyginant su bendrų plienų ir jų suvirinimo siūlių medžiagų grupių rezultatų sklaida. Darbe pasiūlyti tiesinės priklausomybės koeficientai nuo modifikuoto plastiškumo kriterijaus, gali būti pritaikyti nustatant preliminarų inžinerijos šakose (energetikoje, naftoje) dirbančių mašinų ilgalaikiškumą, atsižvelgiant į jų eksploatacijos aplinką, darbo temperatūrą, naudojamas medžiagas.
Magistrinio darbo tema buvo skaitoma ir aptarta 2013 m. gegužės 15 d. Šiaulių... [toliau žr. visą tekstą]In this master thesis alloy structural steels and their weld joint materials cyclic stress–stain curves parameters A1, α, sT dependences on mechanical characteristic in the typical range at room and elevated temperatures are determined. Consistent statistical analysis of experimental results shown, that data is accidental, independence and normal distributed, also correlation - regression analysis shown, that almost for all groups of the materials exists a significant linear correlation between cyclic stress–stain curves parameters and modified plasticity criterion. In this final work, for parameters A1, α, sT from mechanical properties to determine, was calculated analytical dependence coefficients, also regression equations adequacy was verified. Determining value of deformation parameters from modified plasticity criterion in typical range, is better way, because the results is more accurate this is because for almost all computed and experimental characteristics results dispersion in ranges are lower comparing with total groups of alloy steels and their weld joint materials results dispersion. In this master thesis are suggested linear regression coefficients from modified plasticity criterion, which can be used for preliminary evaluation of lifetime for engineering industries machines considering of their operational environment, working temperature and what materials are used for machine‘s construction. Master's thesis has been read and discussed in May 15, 2013 at... [to full text]
4
Ambraziūnas, Martas. "Veiklos žinių baze grindžiamas UML klasių diagramos generavimo metodas." Master's thesis, Lithuanian Academic Libraries Network (LABT), 2014. http://vddb.library.lt/obj/LT-eLABa-0001:E.02~2008~D_20140623_183002-78595.
Full textAbstract:
Darbe tyrinėjami žiniomis grindžiamos IS inžinerijos principai bei veiklos metamodelio vieta IS kūrime, siekiant išplėsti veiklos metamodelio galimybės, sudarant sąlygas automatiškai generuoti UML 2.0 klasių diagramas IS projektavimo etapui. Darbo metu buvo nustatyta, jog pasirinktas metamodelis neturi tam tikrų elementų, kurie būtini klasių diagramos generavimui. Metamodelis buvo papildytas šiais elementais. Klasių diagramos generavimui buvo sukurtas algoritmas, kuris išbandytas su testiniais duomenimis.The work covers Knowledge-Based IS engineering and an enterprise metamodel’s place in creation of IS. The main purpose is to traverse possibility of generating UML 2.0 class diagram’s based on enterprise model. To achieve this goal there should be made these tasks: • familiarize with enterprise metamodels and UML class diagram; • determine and add missing elements in EMM for generation of class diagram; • create class diagram generation algorithm and implement it; • create prototype of using generation algorithm in creation of IS; After analysis was found that EMM doesn’t have some elements that are crucial for generation of class diagrams. For this reason enterprise metamodel was appended by two new elements. Created generation algorithm was tested with some case study data to check theoretical assumptions about relationships between EMM and class diagram. This work proved that there is possible to generate class diagrams from EMM. Although some new elements should be added for it.
5
Švaplys, Tomas. "UML projektavimo įrankių lyginamoji analizė." Bachelor's thesis, Lithuanian Academic Libraries Network (LABT), 2010. http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2010~D_20100903_084155-74316.
Full textAbstract:
Projektavimas naudojant UML kalbą tampa vis populiaresniu, todėl šios srities įrankių gausa vis didėja. Tampa tikra problema išsirinkti tinkamą UML įrankį. Šiame darbe yra analizuojami UML kalbos projektavimo įrankiai pagal jų galimybes. Yra išnagrinėti 10 pasirinktų UML įrankių, apibūdintos pagrindinės jų charakteristikos, bei palyginti pagal pasirinktus kriterijus. UML įrankių palyginimui buvo sudarytos ir pateiktos lentelės su išvardintais įrankiais bei kriterijais. Remiantis duomenimis iš lentelių, buvo sudaryti UML įrankių palyginimo grafikai. Pateiktas pagrindinių sąvokų detalus aprašymas. Suprojektuota ir sukurta mokomoji svetainė pagal išrinktą UML įrankį. Sukurtas vartotojo vadovas video formatu. Pateiktos rekomendacijos UML įrankio pasirinkimui.According to the results of the research the design while using UML becomes considerably more popular due to this reason the great variety of tools of this sphere are also increased. Therefore, it goes naturally, that it became a real problem in order a suitable tool of UML to be closen properly. In this work the tools of the projecting of the language are analyzed and also the 10 chosen UML tools are represented while describing their main particularities, they are also compared according to the chosen criteria. In order the comparison of the UML to be carried out properly the tables with mentioned tools and their criterias to be represented. According to the date from the tables the graphs of the comparison of the tools of UML are made and the detailed description of the main conception is presented as well. The educational website according to the chosen appropriate UML tool is projected and created. The guidance of a user is also created in the video format. According to the analysis of UML tools there are given the certain recommendations in order the appropriate tool to be chosen appropriately. Also there are given the aspects with the help of which the choise of a suitable tool of a user can be carried out in the dependency on the desirable project. Acceding to the analysis of the commercial and non-commercial tools the certain recommendations are given.
6
Gusaitė, Milda. "Ranka pieštų eskizų dinaminė analizė ir gražinimas." Master's thesis, Lithuanian Academic Libraries Network (LABT), 2006. http://vddb.library.lt/obj/LT-eLABa-0001:E.02~2006~D_20060529_182743-87575.
Full textAbstract:
Sketching is an important part of creativity process and is used in the design disciplines, concerned with making physical form: mechanical and civil engineering, graphic design, and architecture and physical planning. Almost all designers still begin the design process by sketching their ideas before transferring them to the computer. This helps designers to express nascent ideas fast and naturally and to speed up visual problem solving. Moreover, the importance of sketching in design has been recognized emphasizing that initial drawing allows creative freedom. The sketches represent a rough semblance and functionality of the system and can be essential to understanding the reasoning behind a design. Furthermore, sketching activity makes designers to interact with their sketches, examine all alternative possibilities and explore design solutions in their minds during drawing. This important part of design, which supports ambiguity, imprecision and incremental formalization of ideas as well as rapid exploration of alternatives, is still performed by engineers with the help of paper and pencil.
Despite praxis and fondness of natural interface provided by paper, sketching on paper has its own limitations. The main disadvantage of sketching on paper is that you can easily draw the sketch, but editing and improving of design is more problematic. If designer wants to make changes in the sketch, usually he has to take another sheet of paper and basically redraw the sketch... [to full text]
7
Vandírková, Jana. "Procesně řízená organizace." Master's thesis, Vysoká škola ekonomická v Praze, 2016. http://www.nusl.cz/ntk/nusl-261808.
Full textAbstract:
The subject of the master thesis Process driven organization is using UML language and BPMN methodology to model business processes of the selected organization, followed by using obtained diagrams organization for upgrade any of modeled diagram existing business processes leading to prosperity of the selected organization.
8
Griškėnienė, Edita. "Elektros energijos apskaitos ir matavimo prietaisų maršrutizavimo kompiuterizuotos informacinės sistemos sukūrimas ir tyrimas." Master's thesis, Lithuanian Academic Libraries Network (LABT), 2004. http://vddb.library.lt/obj/LT-eLABa-0001:E.02~2004~D_20040924_120130-58931.
Full textAbstract:
The computerize information systems are widely used in the companies of Lithuania now. A lot of them are universal enough and fit to solve the various administrative problems in the companies. These systems excel in large complexity and high price. So develops the need to create more simple and cheap information systems.
An aim of the project is to create system which are accomulating the information about received and given flows of the electricity energy instruments, are doing the namesake and guantity account of the accounting instruments, are formating analysis reports for the directed period.
The client of the project is Rytų skirstomieji tinklai AB branch Alytus electricity network Elekctricity energy realization division.
The need of the project to the client may be given an outline:
· to boost the guality of work and account results;
· to reduce expenditure of time to do account works;
· to eliminate the information duplicate;
· to ease analysis reports composing;
· to escape mistakes;
· to effective account work.
The project is realized by MS Access data base with integrated Microsoft Visual Basic for Aplication. The posibilities of this base complete enough to accomplish those project. Also this packet helps to realize grafic users link (GUL).
There are realized those functions to help users work in this project: buttons, the facilitation of the repetitive information installing, help. The project was created to satisfy the users all needs and to diminish the use... [to full text]
9
Pačebutaitė, Danutė. "Programinės įrangos su kintamybėmis konfigūravimas." Master's thesis, Lithuanian Academic Libraries Network (LABT), 2011. http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2010~D_20110709_152441-61923.
Full textAbstract:
Programų sistemų šeima, tai grupė programų sistemų turinčių tarpusavyje daug bendrybių, tačiau besiskiriančių viena nuo kitos tam tikrais iš anksto žinomais skirtumais, kurie yra modeliuojami kintamybėmis. Toks skirstymas į šeimas yra svarbus kalbant apie pakartotinį programų sistemų dalių panaudojimą išnaudojant programų sistemų panašumus. Tačiau kuo didesnė programų sistemų šeima, tuo daugiau joje skirtumų tarp šeimos narių, t.y. labai svarbiu tampa kintamybių suvaldymo klausimas. Konfigūravimas šiuo atveju yra procesas skirtas programų sistemų konstravimui iš turimų ypatybių (bendrybių ir kintamybių). Šiame darbe yra aprašytas konfigūravimo metodas paremtas binarinėmis sprendimų diagramomis (BDD). Pirmiausiai programų sistemų šeima sumodeliuojama pagal Czarnecki-Eisenecker ypatybių modelį su kardinalumais, tada darbe aprašytu būdu verčiama į sumažintą surikiuotą binarinę sprendimų diagramą (ROBDD). Šiame darbe parodyta, kad turint ROBDD galime efektyviai konfigūruoti sumodeliuotą programų sistemų šeimą. Taip pat pateiktas konfigūravimo įrankio prototipas.Software Systems family is a group of software systems that have great commonality among the systems, but differ from each other in some pre-known differences, which are modeled by variabilities. This distinction is important to families in terms of re-use of software systems by exploiting the similarities between software systems. However, the larger family of software systems, the more there are differences between family members, this means, managing variabilities becomes very important issue. In this case, configuration is a process of constructing new software systems from available features (commonalities and variabilities). This paper describes the configuration method based on binary decision diagrams (BDD). First, the software is modeled according to the Czarnecki- Eisenecker feature model with cardinalities, subsequently in the described way it is transformed into reduced ordered binary decision diagram (ROBDD). This paper demonstrates effective configuration of modeled software with the use of ROBDD. In addition, the prototype of the configuration tool is presented.
10
Minářová, Alice. "Návrh a implementace programu pro převod UML struktur do programovacího jazyka." Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2017. http://www.nusl.cz/ntk/nusl-320115.
Full textAbstract:
This work deals with the problematics of conversion of UML diagrams to code. Initially, existing solutions in this field are analyzed. Based on the gained findings, a new tool is designed and implemened. It accepts UML class diagrams and database models from the free diagramming environment Dia and for each of these offers three target languages. The key feature of this tool is its modular design allowing new target languages to be added easily.
11
Bieliauskas, Marius. "Organizacijos veiklos žodyno sinchronizacijos su veiklos procesais tyrimas." Master's thesis, Lithuanian Academic Libraries Network (LABT), 2013. http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2013~D_20130826_110734-84510.
Full textAbstract:
Šių dienų verslo pasaulis yra konkurencingas kaip niekad. Naujos rinkos, sparčiai besiskverbiančios technologijos į verslo sektorių, internetas, tiesiog priverčia keisti nusistovėjusį požiūri į verslą ir organizavimą bei į visą tai pažvelgti kitu kampu.
Šiame darbe pateikiama veiklos procesų, jų modeliavimo galimybių bei notacijų pritaikomumo šių dienų rinkai analizė. Analizuojamos modeliavimo notacijų galimybės ir pajėgumas, pritaikomumas bei efektyvumas projektuojant veiklos procesus. Apžvelgiami veiklos žodyno reikalingumo ir naudingumo aspektai. Analizuojami esami veiklos procesų ir veiklos žodynų sinchronizacijos sprendimai. Atlikus išsamią standartų bei esamų spendimų analize buvo nustatyta jog nėra daugiafunkcinio algoritmo kuris vykdytų šiuos veiksmus: veiklos procesų diagramos formavimas remiantis turimu veiklos žodynu, veiklos žodyno sudarymas remiantis veiklos procesų diagrama bei veiklos procesų diagramos ir veiklos žodyno sinchronizacija tarpusavyje remiantis veiklos žodynu. Darbo tiklsas – veiklos procesų ir veiklos žodyno įvairiapusė sinchronizacija, pateikiamas algoritmo projektas, modeliai, veikimo aprašymai. Siekiamas rezultatas – organizacijos veiklos žodyno su veiklos procesais sinchronizacijos algoritmo prototipas.
Suprojektuotas algoritmas paremtas SBVR (Semantics of Business Vocabulary and Rules) standartu, BPMN notacija bei sukurtomis taisyklėmis reikalingoms įgyvendinti norimą algoritmo funkcionalumą. Eksperimento metu buvo sukurti atsitiktinių... [toliau žr. visą tekstą]In today's business world is as competitive as ever. New markets, technology is rapidly penetrating into the business sector, the Internet, just makes the shift in the approach to business and organization as well as the whole is to look at a different angle. This paper presents the operational processes of modeling opportunities and notations applicability of the present day market analysis. Analyzed the possibility of modeling notations and performance, adaptability and efficiency of the design of business processes. An overview of the activities dictionary necessity and utility aspects. Analysis of existing business processes and activities dictionaries synchronization solutions. After a comprehensive standards and existing solutions in the analysis it was found that there is a multi-algorithm has the following steps: business process chart formation on the basis of the available business dictionary dictionary of business processes based on activity diagrams and business process diagrams and activity dictionary sync with each other on the basis of activity dictionary. Work purpose - business processes and performance dictionary versatile synchronization, the algorithm designs, models, operation resumes. To achieve the desired result - the organization's business processes with a dictionary synchronization algorithm prototype. Designed algorithm based on SBVR (Semantics of Business Vocabulary and Rules) standard BPMN notation, and developed the rules required to implement... [to full text]
12
Beinaras, Ričerdas. "Savivaldybės administracijos ūkio skyriaus darbo vietos informacinė sistema "Savivaldybės turtas"." Master's thesis, Lithuanian Academic Libraries Network (LABT), 2005. http://vddb.library.lt/obj/LT-eLABa-0001:E.02~2005~D_20050109_182638-90468.
Full textAbstract:
Summary Subject of this paper is workplace of employee of municipal department of economy. Main product of this paper is informational system (IS) intended for long term control of property of municipality and is related to preparation of documents concerning use of that property. Analysis and specifications concerning informational needs of municipal department of economy has been carried out. Similar systems (Sistema “BIUDŽETAS”, “Turtas”, “DEBETAS”, “ForFUND/Gov”) and methods of creating IS (creation of IS using cycle of existence of “waterfall”, method of prothotypes, JAD method, creating of IS using means of CASE) were analysed. Product was designed and realized using the following means: 1. MS Visio 2003 – designing 2. ProVision Workbench TM V 3.1 – designing 3. MS Access 2000 – DBMS for keeping data of property and use Product was introduced to employees of municipal department of economy.
13
Aurich, Jörg. "Einfügen von Beschriftungen und Kommentaren in Mathcad-Diagrammen." Universitätsbibliothek Chemnitz, 2012. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-qucosa-86907.
Full textAbstract:
Die Mathematiksoftware Mathcad hat sich bereits seit mehreren Jahren als Standardsoftware insbesondere in der Ausbildung an Universitäten, Fachhochschulen, Berufsschulen und Gymnasien etabliert. Die Vorteile liegen u.a. in der einfachen und mathematisch richtigen Darstellung von Gleichungen. Ebenso können Funktionsgraphen und Diagramme bequem und direkt im Arbeitsblatt erzeugt werden. Dies ist vor allem in der Ausbildung ein wesentlicher Vorteil gegenüber anderen Produkten, da auf diese Weise selbst umfangreiche Dokumentationen und Arbeitsblätter mit geringem Aufwand sehr anschaulich erstellt werden können.
Im Gegensatz z.B. zu Matlab existierte allerdings in Mathcad bisher keine Möglichkeit, in Diagrammen oder an Funktionsgraphen Kommentare anzubringen, um beispielsweise bestimmte Punkte einer Funktion zu beschriften. Des Weiteren fehlte bis jetzt auch eine Möglichkeit, in Mathcad grafisch dargestellte Prinzipskizzen schnell und einfach zu bemaßen.
Im Rahmen des Vortrags wird eine Möglichkeit aufgezeigt, in Diagrammen Beschriftungen einzufügen sowie grafische Darstellungen mit Bemaßungen unmittelbar in Mathcad zu erzeugen. Anhand mehrerer Beispiele werden die Funktionen erläutert und deren Anwendung live demonstriert.
14
Paičienė, Kristina. "Optikos įmonės kompiuterizuotos IS sukūrimas ir tyrimas." Master's thesis, Lithuanian Academic Libraries Network (LABT), 2004. http://vddb.library.lt/obj/LT-eLABa-0001:E.02~2004~D_20040920_123554-74048.
Full textAbstract:
Many small enterprises in Lithuania don’t use information systems in their accounting. This is because almost all of already developed accounting software is quite complex, expensive and has many additional features, witch aren’t useful for a small enterprises. This is why it has been decided to develop own specific software for a goods accounting. User interface and data structure should be adapted to the specific functions of the small optical enterprise.
The purposes of the developed information system are to increase work and accounting quality, to decrease time needed for accounting, to avoid saving redundant information, to automate and simplify the process of creating analytical reports, to avoid mistakes in accounting and make accounting more efficient.
In the process of developing this information system there was analyzed functional and nonfunctional, manage mental and common requirement issues. The models of dataflow, data structure, and applications were used in the requirement specification. Architecture of components and software structure is also provided in this project.
The realization of this project was accomplished by means of Microsoft Access 2000. There was created database, graphical user interface, and integrated Microsoft Visual Basic for Applications was used to perform programming tasks. Abilities of this software are fully sufficient for these tasks. Selected design techniques and tools had proved themselves in solving software for small... [to full text]
15
Světlíková, Barbora. "Statistická regulace výrobního procesu ve firmě." Master's thesis, Vysoké učení technické v Brně. Fakulta podnikatelská, 2009. http://www.nusl.cz/ntk/nusl-222205.
Full textAbstract:
Using statistical methods to evaluate quality, it is possible to discover cases of non-accidental variances in quality-evaluating parameters and to analyse the reasons for their occurrence. The identification of these reasons enables their removal and the improvement of product quality. Routine evaluation of quality levels is facilitated by the employment of computer technology.
16
Ulbinas, Darius. "Cracking and stiffness analysis of steel fiber reinforced concrete members." Doctoral thesis, Lithuanian Academic Libraries Network (LABT), 2013. http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2013~D_20130211_185704-20674.
Full textAbstract:
In last decades, fibre reinforcement is widely used in many countries as ad-ditive for concrete and cement mortar mixture for production of structures. Fibre reinforcement applications in Lithuania are often restricted to production of concrete floor for different purposes. Whereas, in other countries (USA, Japan, Germany and other) application area of fibre reinforcement is much wider, for example: bridge deck, thin-walled structures for special constructions (tunnels, reservoirs, etc), covering of roadway, airport landing strip, pipelines, pile foundation. Application of fibre reinforcement is considered as one of the most important development area of structural construction in the world.
Fibre reinforcement significantly improves service properties of concrete. Fibre reinforcement does not have considerable influence on concrete compressive strength, however it significantly changes fracture characteristics of tensile concrete. Fracture of non-reinforced tensile concrete is brittle, whereas with fibre reinforcement–plastic. This is due to restraining of tensile deformations by distributed fibres. Fibre reinforcement influence on concrete member is more effective than bar reinforcement, as tensile deformations are restrained in the whole volume of tensile zone. Whereas, tensile deformations in a RC member are restrained in the specific interaction area of reinforcement and concrete. Main advantages of fibre reinforcement are slow crack propagation, greater tensile and... [to full text]Jau kelis dešimtmečius plieno plaušas visame pasaulyje plačiai taikomas kaip priedas betono ir cementinio skiedinio mišiniams, naudojamiems statybinių konstrukcijų gamybai. Lietuvoje dispersinis armavimas dažniausiai naudojamas betonuojant įvairios paskirties pastatų grindis. Tuo tarpu, kitose pasaulio šalyse (JAV, Japonijoje, Vokietijoje ir kt.) dispersinė armatūra naudojama daug plačiau, pvz.: tiltų perdangoms, plonasienėms specialiųjų statinių (tunelių, rezervuarų ir t. t.) konstrukcijoms, kelių dangoms, oro uostų pakilimo takams, vamzdynams, poliniams pamatams ir t. t. Dispersinės armatūros taikymas visame pasaulyje laikoma viena iš prioritetinių statybinių konstrukcijų vystymosi sričių. Dispersinis armavimas neturi didesnės įtakos gniuždomajam betono stipriui, tačiau lemia visiškai skirtingą tempiamojo betono suirimo pobūdį. Nearmuoto tempiamojo betono suirimas yra trapus, tuo tarpu dispersiškai armuoto – plastinis. Tai lemia dispersiškai pasiskirsčiusio plaušo sukeliamas tempimo deformacijų suvaržymas. Dispersinio armavimo poveikis betoniniam elementui yra daug efektyvesnis nei strypinės armatūros, kadangi tempimo deformacijos varžomos visame tempiamosios zonos tūryje. Tuo tarpu klasikiniame gelžbetoniniame elemente tempimo deformacijos varžomos tik tam tikrame armatūros ir betono sąveikos plote. Lėtesnis plyšių vystymasis, didesnis atsparumas smūgiams ir nuovargiui bei plastiškumas yra pagrindiniai veiksniai, lemiantys dispersiškai armuotų gelžbetoninių konstrukcijų... [toliau žr. visą tekstą]
17
Mikulka, David. "Pokročilý nástroj pro monitorování Oracle Databáze." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2010. http://www.nusl.cz/ntk/nusl-237133.
Full textAbstract:
This master's thesis describes possibilities of Oracle Database 10g and 11g monitoring. It let the reader know about practical tools for monitoring and describes the database's internal catalogs preserving statistics and the information about running database instances within history. Next, it describes design of an Oracle database monitoring tool, describtion of its implementation and at the end its evaluation and comparison with other similar applications.
18
Kupčiūnienė, Ingrida. "Kompiuterinio raštingumo testavimo priemonių sudarymas, taikymas ir efektyvumo tyrimas." Master's thesis, Lithuanian Academic Libraries Network (LABT), 2004. http://vddb.library.lt/obj/LT-eLABa-0001:E.02~2004~D_20040924_113717-34018.
Full textAbstract:
This Master’s thesis analyze application of information technology in education process, examination using testing method and possibility of computerized testing systems in Lithuanian schools.
Rapid development of information and communication technologies inevitably affect and change all spheres of the society including education. Moreover, new technologies change and enrich ordinary methods of examination. One of the most important tasks of the education system is to ascertain the level of knowledge acquired or in other words to examine pupils knowledge.
So, one of most easily computerized examination forms is testing method. This method has its own shortcomings, but is rather widespread due to its convenience and easy formalization.
A new general standard of computer literacy was prepared on 31st January 2002. Its aim is to ascertain the minimum skills of computer usage by pupils. This year the first school leavers well pass the test on computer literacy. The purpose of the test is to examine their knowledge of information technologies and the mastering level of minimum skills of computer usage.
Questionnaire of the teachers and pupils shows that testing method is acceptable and the computer in classes is awaited.
The aim of the master’s research is to analyze the efficiency of special computer programmers in developing and examining skills of computer literacy in secondary schools.
The tasks of research are to analyze the ways of testing, to prepare some tests... [to full text]
19
Nakamura, Gerson Hiroshi de Godoy. "Análise térmica e diagramas de fase dos sistemas LiF - BiF3 e NaF - BiF3." Universidade de São Paulo, 2013. http://www.teses.usp.br/teses/disponiveis/85/85134/tde-08072013-095337/.
Full textAbstract:
Investigações dos sistemas binários LiF-BiF3 e NaF-BiF3 foram realizadas com o objetivo de esclarecer o comportamento térmico e os equilíbrios de fase destes sistemas e das suas fases intermediárias, um requisito importante para a obtenção de cristais de alta qualidade. Amostras de toda a faixa de composições (0 a 100 mol% BiF3) de ambos os sistemas foram analisadas em ensaios de análise térmica diferencial (DTA) e termogravimetria (TG), e também de calorimetria exploratória diferencial (DSC). Algumas composições específicas foram selecionadas para difração de raios-X para complementação dos dados experimentais. Devido à grande vulnerabilidade do BiF3 à contaminação por oxigênio, sua volatilidade e propensão a danificar peças de metal quando aquecido, foi necessário determinar as condições ótimas para os ensaios de análise térmica antes de investigar os sistemas em si. As relações de fase no sistema LiF-BiF3 foram completamente elucidadas e um diagrama de fases foi proposto e avaliado teoricamente mediante o software comercial Factsage. O diagrama em si consiste em um sistema peritético simples, no qual o único composto interno, o LiBiF4 se decompõe em LiF mais uma fase líquida. O sistema NaF-BiF3 não pôde ser completamente elucidado, sendo que as relações de fase do lado pobre em NaF (> 50% BiF3) ainda não são conhecidas. No lado rico em NaF, entretanto, identificou-se a possível decomposição peritectóide do composto NaBiF4. Em ambos os sistemas, foram observadas estruturas cristalográficas discrepantes daquelas da literatura para os compostos mistos, LiBiF4 , NaBiF4 e uma solução sólida de NaF e BiF3 chamada de fase I. As estruturas observadas experimentalmente permanecem desconhecidas e explicações para as discrepâncias foram propostas.Investigations of the binary systems LiF-BiF3 and NaF-BiF3 were performed with the objective of clarifying the thermal behavior and phase equilibria of these systems and their intermediary phases, an important requisite for high-quality crystal growth. Several samples in the entire range of compositions (0 to 100 mol% BiF3) of both systems were subjected to experiments of differential thermal analysis (DTA) and thermogravimetry (TG), and also of differential scanning calorimetry (DSC). A few specific compositions were selected for X-ray diffraction to supplement the experimental data. Due to the high vulnerability of BiF3 to oxygen contamination, its volatility and propensity to destroy metal parts upon heating, it was necessary to determine the optimal conditions for thermal analysis before investigating the systems themselves. Phase relations in the system LiF-BiF3 were completely clarified and a phase diagram was calculated and evaluated via the commercial software Factsage. The diagram itself consists in a simple peritectic system in which the only intermediary compound, LiBiF4, decomposes into LiF and a liquid phase. The NaF-BiF3 system could not be completely elucidated and the phase relations in the NaF poor side (> 50% BiF3) are still unknown. In the NaF rich side, however, the possible peritectoid decomposition of the compound NaBiF4 was identified. In both systems X-ray diffraction yielded crystal structures discrepant with the literature for the intermediary phases, LiBiF4, NaBiF4 and a solid solution of NaF and BiF3 called I. The observed structures remain unknown and explanations for the discrepancies were proposed.
20
Krämer, Steffen Martin [Verfasser]. "Diagrams of epidemiological knowledge in medical geography and public health surveillance : Diagramme epidemiologischen Wissens in Medizinischer Geografie und Gesundheitsüberwachung / Steffen Martin Krämer." Hamburg : Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky, 2020. http://d-nb.info/1221135414/34.
Full text
21
Oliveira, Fernando Jorge Matias Sanches. "Diagramas & marcas." Doctoral thesis, Universidade de Lisboa, Faculdade de Arquitetura, 2015. http://hdl.handle.net/10400.5/13974.
Full text
22
Herrero, Bocco Bernardo. "Assessment of the ternary phase diagram on the stoichiometric and hypo-stoichiometric U-Nd-O system." Thesis, université Paris-Saclay, 2020. http://www.theses.fr/2020UPASC008.
Full textAbstract:
Cette thèse concerne l’étude expérimental et la modélisation thermodynamique du comportement des combustibles avancés utilisés dans les centrales nucléaires actuelles et de future génération. L’objet de la thèse est plus précisément l’étude du système ternaire (U-Nd-O) et pour comparaison du système ternaire (U-Ce-O). Ce système est particulièrement représentatif des produits de fissions accumulés dans le combustible pour des taux de combustion élevés mais aussi du dopage initial du combustible avec des poisons neutroniques utilisés dans des combustibles à fort taux d’enrichissement en mesure d’espacer les arrêts réacteur. L’étude de ce système présente des défis importants en raison du conflit ouvert entre phénomènes thermodynamiques et cinétiques. Il s’agit en effet d’un système hors équilibre où la mise en ordre à longue porté des structures locales est frustrée par la faiblesse du transport cationique dans la plage de températures d’intérêt pour les applications. Au cours de cette thèse, une révision de la littérature existante a motivé la fabrication d’échantillons aux caractéristiques bien définies par des méthodes de métallurgie des poudres et par des méthodes de chimie douce aboutissant à un contrôle des distributions des dopants. Les résultats obtenus par de nombreuses techniques de caractérisation (DRX, MEB, MET, XAS) sur des échantillons traités thermiquement dans des conditions oxydantes ou réductrices ont permis une réévaluation critique des diagrammes de phases actuellement utilisés. Nous avons pu proposer des modifications aboutissant à un nouveau diagramme de phases permettant une meilleure connaissance des limites d’utilisation des combustibles dans des conditions de sécurité optimalesThis thesis concerns the experimental study and thermodynamic modeling of the behavior of advanced fuels used in current and future generation nuclear power plants. The subject of the thesis is more precisely the study of the ternary system (U-Nd-O) and for comparison purposes of (U-Ce-O). This system is particularly representative of the fission products accumulated in the fuel for high combustion rates but also of the initial atomic substitutions in the fuel by neutron poisons, used in nuclear fuels with high enrichment levels and capable of spacing out nuclear reactor outages. The study of this system presents significant challenges due to the open conflict between thermodynamic and kinetic phenomena. It is indeed an out of equilibrium system where the long-range ordering of local structures is frustrated by the negligible of atomic transport in the cation sublattice in the range of temperatures of interest for applications. During this thesis, a review of the existing literature motivated the manufacture of samples with well-defined characteristics by powder metallurgy methods and by soft chemistry methods leading to a control of dopant distributions. The results obtained by numerous characterization techniques (XRD, SEM, TEM, XAS) on samples treated thermally under oxidizing or reducing conditions have allowed a critical re-evaluation of the phase diagrams currently used. We have modelled a new phase diagram that includes new experimental results. This allows a better knowledge of the limits of use of nuclear fuels respecting optimal safety conditions
23
Martin, Catherine. "Méthodes d'étude des microémulsions et étude de diagrammes pseudoternaires." Paris 5, 1992. http://www.theses.fr/1992PA05P247.
Full text
24
Santana, Juliana Exel 1986. "Representação da área de responsabilidade de jogadores de futebol através do Diagrama de Voronoi." [s.n.], 2011. http://repositorio.unicamp.br/jspui/handle/REPOSIP/274723.
Full textAbstract:
Orientador: Sérgio Augusto CunhaDissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Educação Física
Made available in DSpace on 2018-08-17T12:23:18Z (GMT). No. of bitstreams: 1 Santana_JulianaExel_M.pdf: 6461488 bytes, checksum: 731aaed1e02fe448da4b39f4f7b8fb28 (MD5) Previous issue date: 2011
Resumo: O desempenho de jogadores de futebol de elite durante uma partida é diretamente influenciado por fatores físicos, psicológicos, técnicos, táticos e entre outros. Um suporte científico capaz de buscar e aplicar metodologias que quantifiquem esses fatores é uma fonte importante de informações para que técnicos e treinadores tenham melhores condições de efetuar uma boa preparação da sua equipe. Dentro dos estudos cinemáticos no esporte, a videogrametria tem se mostrado uma ferramenta acurada para a obtenção da posição dos jogadores em função do tempo. Dentro dos aspectos táticos de um jogo de futebol, a forma como uma equipe divide o campo em áreas de responsabilidade e como essa distribuição se dá ao longo do jogo pode ser descrita através de técnicas matemáticas. Nesse sentido, o objetivo deste estudo será apresentar uma forma de representação da área de responsabilidade de jogadores de futebol durante partidas oficiais, através do Diagrama de Voronoi. Para tal, foram coletadas as imagens de 4 jogos de futebol. Os processos de segmentação das imagens e de rastreamento dos jogadores para a obtenção dos dados 2D em função do tempo foram realizados através do software DVideo®. Para as análises, foi aplicado a metodologia do Diagrama de Voronoi nas coordenadas 2D de 33 jogadores de uma mesma equipe, a cada instante de tempo, em cada jogo. Dado um conjunto de pontos no plano (que nesse caso, representam as posições dos jogadores em função do tempo), o Diagrama de Voronoi divide o plano em regiões de acordo com as distâncias entre os pontos desse conjunto, chamados Polígonos de Voronoi. As áreas dos polígonos foram calculadas. Essa ferramenta permite, através de uma representação por mapas de superfície, obter um resumo dos locais do campo contidos nos Polígonos de Voronoi associados a cada jogador, durante todo o jogo. As áreas de responsabilidade foram maiores para goleiros, laterais e atacantes, quando comparados aos zagueiros e volantes e meias.Para caracterizar a região de responsabilidade dos jogadores, foi utilizado o contorno topográfico correspondente às áreas do campo contidas nos Polígonos dos jogadores por no mínimo 60% do jogo. Os resultados obtidos para os jogos estudados mostram que o contorno que caracteriza a área de responsabilidade para os jogadores é uma boa ferramenta qualitativa e quantitativa, que representa a forma como os jogadores dividem a área do campo entre si. A utilização do Diagrama de Voronoi se mostrou uma técnica eficiente na determinação das áreas de responsabilidade dos jogadores. Técnicos e treinadores podem dessa maneira obter informações adicionais importantes para a criação de melhores estratégias de posicionamento da sua equipe para uma melhor cobertura do espaço do campo de futebol
Abstract: The performance of football elite players is directly influenced by physical, psychological, technical and tactical aspects. A scientific support capable of seek and apply methodologies to quantifying these factors is an important source of information to coaches improve their conditions to well prepare their teams. About football tactical aspects, the manner a team share the pitch in responsibility areas and how this distribution behaviours during the match can be described through mathematical techniques. Thus, the aim of this study is to show players' responsibility area during official matches using Voronoi Diagram (VD). To do so, we collected images of 4 football matches. To extract 2D players' coordinates during the entire match, images segmentation, tracking and 2D reconstruction were performed in DVideo® software. In the analysis, VD method was applied to players' 2D coordinates to all 33 players of a same team, at each instant of time and in the 4 matches. Given a set of points on plan (representing players positions as function of time), VD share the plan in regions according to distances between all points of the set, called Voronoi polygons (VP). Voronoi areas were calculated a determined as players' responsibility areas. This tool permits obtaining a summary of pitchlocations inside Voronoi polygons of each player, during the entire match, using hitmaps. To characterize responsibility areas, the contours of hitmaps corresponding to pitch areas inside VP by, at least, 60% of the match were performed. The results showed contours as an effective tool to qualitatively and quantitatively represent responsibility areas in a match. Besides, mathematical properties related to known geometric structures, as convex polygons, facilitate calculating areas. They showed be higher to goalkeepers, external defenders and forwards when compared to central defenders, defensive and offensive midfielders
Mestrado
Biodinamica do Movimento Humano
Mestre em Educação Física
25
Blackwell, Alan Frank. "Metaphor in diagrams." Thesis, University of Cambridge, 1998. https://www.repository.cam.ac.uk/handle/1810/272809.
Full text
26
Schmitz, Jones Erni. "Calculos de estabilidade e divisão de fases por meio de redes neurais artificiais." [s.n.], 2006. http://repositorio.unicamp.br/jspui/handle/REPOSIP/267568.
Full textAbstract:
Orientador: Mario de Jesus MendesTese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Quimica
Made available in DSpace on 2018-08-07T19:04:30Z (GMT). No. of bitstreams: 1 Schmitz_JonesErni_D.pdf: 1427141 bytes, checksum: 5c994ce371331fd4c3ac0f3e3861f49b (MD5) Previous issue date: 2006
Resumo: A simulação de processos é um componente fundamental de uma grande variedade de atividades de Engenharia de Processos, tais como a Otimização Online, o controle em Tempo Real, a Identificação, etc. O cálculo de Equilíbrio de Fases é uma atividade fundamental em qualquer simulação de processos de separação. O elevado tempo computacional deste cálculo provocado pela sua natureza iterativa pode criar incompatibilidades entre a atividade de simulação e as aplicações em tempo real que ela integra. O objetivo deste trabalho foi desenvolver um método alternativo simples, mas suficientemente preciso, para realizar os cálculos de equilíbrio de fases na simulação de processos de separação de sistemas complexos. Entende-se por tal, sistemas que apresentam problemas de Equilíbrio Líquido-Líquido e de Equilíbrio Líquido-Líquido-Vapor, como é o caso dos que possuem um Azeótropo Heterogêneo. Pelas suas propriedades, as Redes Neurais Artificiais surgem naturalmente como candidatas alternativas para esta tarefa. Como objeto de aplicação foram escolhidos dois sistemas que apresentam um azeótropo heterogêneo, o sistema binário acetato de etila - água e o sistema ternário etanol - acetato de etila - água. Para gerar os dados usados no treinamento das redes foi implementado um método convencional de cálculo de equilíbrio de fases, adequado à complexidade dos sistemas escolhidos, o método de Pham & Doherty. Para a resolução do problema da estabilidade de fases, a primeira etapa do cálculo do equilíbrio de fases, foram testados dois tipos de redes neurais artificiais (RNAs), as Redes Neurais Artificiais Probabilísticas (RNAPs) e os Perceptrons. Com os perceptrons foram encontradas dificuldades para atingir a precisão desejada, sendo necessário recorrer a perceptrons com várias camadas escondidas. Já as RNAPs apresentaram uma excelente precisão, embora a sua simulação seja mais lenta. Perceptrons simples de uma só camada escondida foram usados com êxito na solução da segunda etapa do cálculo de equilíbrio de fases, o problema da divisão de fases. Combinando as redes desenvolvidas para cada uma das etapas foi criada uma ferramenta que permite resolver qualquer problema de equilíbrio de fases para os sistemas estudados. A precisão dos resultados fornecidos pelas redes neurais é comparável à dos apresentados pelos métodos tradicionais, mas os cálculos do equilíbrio de fases feitos usando redes neurais foram mais rápidos. Pode-se concluir que as redes neurais artificiais constituem uma alternativa válida aos métodos tradicionais do cálculo do equilíbrio de fases baseados em equações de estado para sistemas complexos como os avaliados
Abstract: Process simulation is a basic component of different Process Engineering activities such as On-line Optimization, Model Predictive Control, Identification, etc. The calculation of Phase Equilibrium appears as a fundamental task in any simulation of a separation process. However, the high computational time due to the iterative nature of this calculation makes it oft unsuitable for use with real time process analysis and synthesis strategies. The objective of this work is to develop a simple but accurate method to perform the phase equilibrium calculations required to the study of the behavior of complex systems. As such we mind those systems who present liquid-liquid and vapor-liquid-liquid phase equilibrium problems, such as systems with a heterogeneous azeotrope do. Given their inherent ability to learn and recognize non-linear and highly complex relationships, artificial neural networks (ANNs) appear to be well suited for such a task. Two chemical systems, the binary ethyl acetate ¿ water and the ternary ethanol ¿ ethyl acetate ¿ water were chosen; both systems present a miscibility gap and a heterogeneous azeotrope. The data sets used to train the ANNs were computed using the method of Pham & Doherty. Two kinds of neural networks were tried to solve the phase stability problem, namely the probabilistic neural networks (PNNs) and the perceptrons. In order to attain an acceptable precision perceptrons had to be trained with several hidden layers. Even though, PNNs got slightly better results than the perceptrons. Simple perceptrons were able to deliver the required precision when trained to predict the compositions of phases in equilibrium. Coupling the ANNs trained for phase stability with those trained for phase division a tool was obtained that can solve any phase equilibrium problem for the two chosen systems. Predictions made with the use of neural networks were faster than those made using the traditional methods, and delivered comparable precision
Doutorado
Sistemas de Processos Quimicos e Informatica
Doutor em Engenharia Química
27
Sperling, David Moreno. "Arquiteturas contínuas e topologia: similaridades em processo." Universidade de São Paulo, 2003. http://www.teses.usp.br/teses/disponiveis/18/18131/tde-28032006-155803/.
Full textAbstract:
A pesquisa investiga o atual momento em que a topologia adquire uma posição especial dentro dos diálogos que a arquitetura historicamente têm estabelecido com outras áreas do conhecimento. Aponta e sistematiza aproximações contemporâneas com a topologia realizadas por arquitetos e desenvolve sua aproximação por meio da apresentação do conceito de diagrama processual topológico. Este conceito tripartite (diagrama, processo, topologia), é investigado em diferentes áreas como ciência cognitiva, lógica (matemática e semiótica) e filosofia, a fim de enriquecer a análise de sua atuação no campo da topologia. Nesta análise, o diagrama processual topológico é delineado como um meio operativo-representacional de relações espaciais estruturais (a topologia do objeto) que possui três variáveis: pensamento, espaço e tempo. Finalmente, este conceito é levado ao campo do projeto e da representação em arquitetura, construindo um diálogo crítico com o uso e a referência ao diagrama que fazem arquitetos contemporâneos paradigmáticos Bernard Tschumi, Peter Eisenman, Greg Lynn, Rem Koolhaas, MVRDV, Ben van Berkel, Lars Spuybroek, dentre outrosThis research aims to analyse topologys state of the art. Nowadays topology is a key player in the dialogues that architecture has historically stablished with other areas of knowledge. This work points out and systematizes contemporary approximations with topology made by architects and developes their ideas by means of the concept of topologic processual diagram. This threefold concept (topology, process, diagram) is investigated in different areas such cognitive science, logic (mathematics and semiotics) and philosophy, in order to enrich the analyse of its actuation in the field of topology. In this analysis, the topologic processual diagram is described as an operative-representational medium of spatial structural relations (the objects topology), with three variables: thought, space and time. Finally, this concept is investigated within the realm of the project and representation in architecture, building up a critical dialogue with diagrams, its use and reference, as performed by paradigmatic contemporary architects - Bernard Tschumi, Peter Eisenman, Greg Lynn, Rem Koolhaas, MVRDV, Ben van Berkel, Lars Spuybroek and others
28
Horák, Martin. "Návrh informačního systému." Master's thesis, Vysoké učení technické v Brně. Fakulta podnikatelská, 2015. http://www.nusl.cz/ntk/nusl-225114.
Full text
29
Liu, Jiaxiang. "Confluence properties of rewrite rules by decreasing diagrams." Thesis, Université Paris-Saclay (ComUE), 2016. http://www.theses.fr/2016SACLX044/document.
Full textAbstract:
Cette thèse étudie la confluence des systèmes de récriture en l'absence de propriété de terminaison, pour des applications aux langages fonctionnels de premier ordre comme MAUDE, ou aux langages d'ordre supérieur comportant des types dépendants, comme Dedukti. Dans le premier cas, les calculs opérant sur des structures de données infinies ne terminent pas. Dans le second, les calculs non typés ne terminent pas à cause de la beta-réduction. Dans le cas où les calculs terminent, la confluence se réduit à celle des pics critiques, divergences minimales du calcul, obtenues à partir d'un terme médian appellé superposition qui se récrit de deux manière différentes en une paire de termes appellée critique. Dans le cas où les calculs ne terminent pas, le résultat majeur est que les calculs définis par des règles linéaires à gauche et sans paires critiques confluent. Il s'agit donc d'étendre ce résultat aux systèmes dont les règles peuvent être non-linéaires à gauche et avoir des paires critiques.L'étude la confluence est faite à partir de la méthode des diagrammes décroissants, qui généralise les techniques utilisées antérieurement aussi bien pour des calculs qui terminent que pour des calculs qui ne terminent pas. Cette technique est abstraite, en ce sens qu'elle s'applique à des relations arbitraires opérant sur un ensemble abstrait. Elle consiste à équipper chaque étape de calcul d'un label pris dans un ensemble bien fondé. Un pic de calcul, composé d'un terme se récrivant de deux manières différentes, possède un diagramme décroissant lorsque ses extémités peuvent se récrire en un terme commun avec des étapes de calcul satisfaisant des conditions de comparaison avec les labels du pic. La force de cette technique est sa complétude, c-a-d que toute relation confluente peut-être équippée d'un système de labels (par des entiers) pour lequel tous ses pics possèdent des diagrammes décroissants. Ce résultat est basé sur un théorème assez ancien de Klop, qui définit pour les systèmes non-terminant, uneespèce de forme normale sous la forme d'une suite infinie de récritures élémentaires, appellée "dérivation cofinale".Dans une première partie, nous révisitons les résultats de van Oostrom, et en proposons une preuve différente dans le but de les généraliser au cas des calculs dits "modulo", c-a-d dans des quotients, qui mèlent des règles et deséquations. Cette généralisation inclue la complétude, en faisant intervenir une généralisation de lanotion de dérivation cofinale dans le cas des calculs cohérents au sens de Jouannaud et Kirchner.La second partie de la thèse applique le théorème de van Oostrom et sa généralisation à des système (concrets) de récriture de termes, ainsi qu'à plusieurs priblèmes ouverts du domaine. L'application récente à des problèmes d'ordre supérieur tirés de la théorie des types dépendants ne fait pas partie de la thèseThis thesis is devoted to the confluence of rewrite systems in the absence of termination, for applications in first-order functional languages like MAUDE or higher-order languages with dependent types, as Dedukti. In the first case, the computations on infinite data structures do not terminate, while in the second case, untyped computations do not terminate because of beta-reduction. In the case where the computations terminate, confluence is reduced to that of critical peaks, the "minimal diverging computations", made of a minimal middle term called "overlap" which computes in two different ways, resulting in a so-called "critical pair". In the case of non-terminating computations, a main result is that left-linear rewrite rules that have no critical pairs are always confluent. This suggests that the notion of critical pairs plays a key role there too, but a general understanding of the confluence of non-terminating computations in terms of critical pairs is still missing.Our investigation of confluence is based on the decreasing diagrams method due to van Oostrom, which generalizes the techniques used previously for both terminating and non-terminating computations. The method is abstract in the sense that it applies to arbitrary relations on an abstract set. It equips each step of computations with a label taken from a well-founded set. A diverging computation, called peak, has a decreasing diagram if its extremities can be joined by steps whose direction and labels satisfy some constraints with respect to the peak's rewrites and labels. The strength of this technique is its completeness, that is, any confluent relation can be equipped with a well-founded set of labels such that all peaks have decreasing diagrams. The proof of completeness is based on Klop's notion of cofinal derivations, which is an infinite derivation playing the role of a normal form when computations do not terminate.In the first part, we revise the results of van Oostrom, and propose an alternative proof that extends the method to the "modulo" case, in which computations mix rewrite steps and equational steps. The completeness result is extended as well, via a generalization of cofinal derivations and the notion of strong coherence due to Jouannaud and Kirchner.The second part of the thesis applies the decreasing diagrams method and its generalization to concrete systems rewriting terms, as well as to several open problems. The recent application to the problems of higher-order computations in dependent type theory is not part of the thesis
30
Kartašov, Maksim. "Veiklos diagramų modeliavimo sistemos sudarymas ir tyrimas." Master's thesis, Lithuanian Academic Libraries Network (LABT), 2006. http://vddb.library.lt/obj/LT-eLABa-0001:E.02~2006~D_20060527_144628-10145.
Full textAbstract:
Making electronic business systems, products of information technologies or solving real time tasks more and more IT specialists their designing work connect to UML language. The usage of this language provides opportunities to arrange documentation more simply, allows to communicate different position employees more easily, guarantee IT systems compatibility with business needs and requirements. One of the diagrams types used is activity diagram, which could be used to describe business processes, firms or its unit, compose official, activity or users instructions, show systems behaviour. Any investigative, designed or management activity at some cases is connected to modelling. Commonly designing systems, where parallel events could take place or, if necessary, to give an opportunity gradually, taking in account the reality, show events or state proceeding with the help of Petri nets. It is both graphical and mathematical design method. Designing activity diagrams of IT systems UML editors are used. To research and show events proceeding Petri nets are used. So the problem area is to compose a design system, which could transfer the elements of activity diagrams into Petri nets and model the functionality of the project. The major purpose of this study paper is to compose UML language activity diagrams modelling system, examine the functionality and design opportunities of system’s activity diagrams into Petri nets.
31
Silva, Maria Ines Vale da. "Desenho automatico de diagramas." [s.n.], 1994. http://repositorio.unicamp.br/jspui/handle/REPOSIP/275983.
Full textAbstract:
Orientador: Rogerio Drummond Burnier Pessoa de Mello FilhoDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação
Made available in DSpace on 2018-07-19T11:06:10Z (GMT). No. of bitstreams: 1 Silva_MariaInesValeda_M.pdf: 3521468 bytes, checksum: 2114bcfe1332db2ea52a7d4663b551f0 (MD5) Previous issue date: 1994
Resumo: Diagramas são largamente utilizados como forma de representação gráfica dos mais diversos tipos de informação. A LegoShell [Dru89] é uma linguagem gráfica, em desenvolvimento no Projeto A_HAND, projetada para representar objetos distribuídos. Nos diagramas LegoShell, tais objetos aparecem conectados entre si na forma de um grafo orientado. A legibilidade de um diagrama LegoShell é uma qualidade muito desejável. Dependendo da complexidade, o desenho de um diagrama LegoS~ell pode ser. bastante confuso. Desse modo, uma função de desenho automático de seus diagramas pode ser necessária, para garantir a clareza de sua informação. Para definir legibilidade em um diagrama, estabelecemos alguns,' cr:itérios de estética, que denotam aspectos gráficos desejados em um desenho legível. Critérios, como distribuição uniforme dos objetos e minirnização do número de cruzamentos entre conexões, devem ser considerados no desenho de diagramàs da LegoShell. Assim, algoritrnos para o desenho de diagramas são projetados a partir da definição de tais critérios. Neste trabalho, foi realizado um levantamento de algoritrnos propostos para o desenho de diagramas ou grafos, a papir da definição de alguns critérios de estética, e do tipo do diagrama que está sendo representado. Alguns desses algoritrnos foram implementados para experimentação e análise junto aos diagramas da LegoShell.
Abstract: Diagrams are widely used as graphical representation for many types of information. LegoShell [Dru89] is a graphical language, under development at A_HAND Project, designed to represent distributed objects. In LegoShell diagrams, these objects appear connected like an oriented graph. Since LegoShell's practical exarnples can get very confusing, automatic layout tools can be necessary if we want to guarantee the clarity of its information. We establish some criteria to evaluate a diagrarn's readability, expressing some graphical aspects expected from a readable drawing. Criteria as uniform distribution of objects and minimization of the number of crossings between connections should be considered in drawings of LegoShell-like diagrarns. Algorithms for diagram drawing are designed from these criteria definitions. This work includes a survey about algorithms for diagrarn or graph drawing. This survey derives from the definition of some criteria and the type of the represented diagrarn. Some algorithms were implemented in order to experiment and analyze their performance with LegoShell diagrarns as subjects.
Mestrado
Mestre em Ciência da Computação
32
Paes, César [UNESP]. "Transições de fases estruturais do sistema PZT, estudados por espectroscopia no infravermelho." Universidade Estadual Paulista (UNESP), 2006. http://hdl.handle.net/11449/92009.
Full textAbstract:
Made available in DSpace on 2014-06-11T19:25:33Z (GMT). No. of bitstreams: 0
Previous issue date: 2006-12-15Bitstream added on 2014-06-13T19:12:25Z : No. of bitstreams: 1
paes_c_me_ilha.pdf: 1124164 bytes, checksum: b30843e958a40bb7c8b7ff4142f19d31 (MD5)Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
O presente trabalho tem como objetivo estudar, através de investigações de espectros no infravermelho (FTIR), as transições de fases estruturais do sistema ferroelétrico titanato zirconato de chumbo, PbZr1-xTixO3 (PZT) no Contorno de Fase Morfotrópico (Morphotropic Phase Boundary, conhecido como MPB), região em que as propriedades elétricas desse material são máximas. Foram analisadas as soluções sólidas PbZr0,53Ti0,47O3 e PbZr0,54Ti0,46O3, que à temperatura ambiente encontram-se no interior do MPB e PbZr0,55Ti0,45O3, composição no limite da região do MPB, entre a fase monoclínica e a fase romboédrica, região ainda não bem definida e sob intensa investigação. Estudos estão centrados na freqüência e na meia largura dos modos stretching nos octaedros (BO6) da estrutura perovskita (ABO3) em função da temperatura. Anomalias encontradas para amostras com 47 e 46 mol % de PbTiO3 sugerem as transições da fase monoclínica de baixa para alta temperatura ( LT M F ? HT M F ), da fase monoclínica de alta temperatura para a coexistência da fase monoclínica com a fase tetragonal ( M F ? M F + T F ), e da coexistência da fase monoclínica com a tetragonal para a fase cúbica ( M F + T F ? C F ). Na amostra com 45 mol % de PbTiO3 foram encontradas anomalias que podem também estar associadas às transições de fases, mas que não foram possíveis de serem identificadas nas fases envolvidas.
The present work studies, through investigations of the spectra in infrared (FTIR), the transitions of structural phases of the ferroelectric system lead zirconate titanate, PbZr1- xTixO3 (PZT), in the Morphotropic Phase Boundary (MPB), region where the electrical properties of this material are at its maxiumun. We analyzed the solid solutions PbZr0,53Ti0,47O3 and PbZr0,54Ti0,46O3, which at room temperature are found within the MPB and also the composition PbZr0,55Ti0,45O3, that is located on the limit of the MPB - between the monoclinic and the rhombohedral phases - a not-yet defined region under intense investigation. Studies are concentrating on frequency and half width of the stretching modes in octahedrons (BO6) of the perovskite structure (ABO3) regarding temperature. Anomalies found in samples with 47 and 46 mol % of PbTiO3 suggest transitions in the monoclinic phase from low to high temperature ( LT M F ? HT M F ), from monoclinic phase of high temperature to the coexistence between the monoclinic phase with the tetragonal phase ( M F ? M F + T F ), and the coexistence between the monoclinic phase with tetragonal for the cubic phase ( M F + T F ? C F ). In the sample with 45 % mol of PbTiO3 we have found anomalies that can also be associated with phase transitions. Such transitions have not been possible to identify during the stages of this work.
33
Paes, César. "Transições de fases estruturais do sistema PZT, estudados por espectroscopia no infravermelho /." Ilha Solteira : [s.n.], 2006. http://hdl.handle.net/11449/92009.
Full textAbstract:
Orientador: Eudes Borges de AraújoBanca: Victor Ciro Solano Reynoso
Banca: Sebastião William da Silva
Resumo: O presente trabalho tem como objetivo estudar, através de investigações de espectros no infravermelho (FTIR), as transições de fases estruturais do sistema ferroelétrico titanato zirconato de chumbo, PbZr1-xTixO3 (PZT) no Contorno de Fase Morfotrópico (Morphotropic Phase Boundary, conhecido como MPB), região em que as propriedades elétricas desse material são máximas. Foram analisadas as soluções sólidas PbZr0,53Ti0,47O3 e PbZr0,54Ti0,46O3, que à temperatura ambiente encontram-se no interior do MPB e PbZr0,55Ti0,45O3, composição no limite da região do MPB, entre a fase monoclínica e a fase romboédrica, região ainda não bem definida e sob intensa investigação. Estudos estão centrados na freqüência e na meia largura dos modos stretching nos octaedros (BO6) da estrutura perovskita (ABO3) em função da temperatura. Anomalias encontradas para amostras com 47 e 46 mol % de PbTiO3 sugerem as transições da fase monoclínica de baixa para alta temperatura ( LT M F ? HT M F ), da fase monoclínica de alta temperatura para a coexistência da fase monoclínica com a fase tetragonal ( M F ? M F + T F ), e da coexistência da fase monoclínica com a tetragonal para a fase cúbica ( M F + T F ? C F ). Na amostra com 45 mol % de PbTiO3 foram encontradas anomalias que podem também estar associadas às transições de fases, mas que não foram possíveis de serem identificadas nas fases envolvidas.
Abstract: The present work studies, through investigations of the spectra in infrared (FTIR), the transitions of structural phases of the ferroelectric system lead zirconate titanate, PbZr1- xTixO3 (PZT), in the Morphotropic Phase Boundary (MPB), region where the electrical properties of this material are at its maxiumun. We analyzed the solid solutions PbZr0,53Ti0,47O3 and PbZr0,54Ti0,46O3, which at room temperature are found within the MPB and also the composition PbZr0,55Ti0,45O3, that is located on the limit of the MPB - between the monoclinic and the rhombohedral phases - a not-yet defined region under intense investigation. Studies are concentrating on frequency and half width of the stretching modes in octahedrons (BO6) of the perovskite structure (ABO3) regarding temperature. Anomalies found in samples with 47 and 46 mol % of PbTiO3 suggest transitions in the monoclinic phase from low to high temperature ( LT M F ? HT M F ), from monoclinic phase of high temperature to the coexistence between the monoclinic phase with the tetragonal phase ( M F ? M F + T F ), and the coexistence between the monoclinic phase with tetragonal for the cubic phase ( M F + T F ? C F ). In the sample with 45 % mol of PbTiO3 we have found anomalies that can also be associated with phase transitions. Such transitions have not been possible to identify during the stages of this work.
Mestre
34
TOLEDO, Saulo Soares de. "Recommender Systems for UML Class Diagrams." Universidade Federal de Campina Grande, 2016. http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/699.
Full textAbstract:
Submitted by Kilvya Braga (kilvyabraga@hotmail.com) on 2018-05-16T13:28:09Z
No. of bitstreams: 1
SAULO SOARES DE TOLEDO - DISSERTAÇÃO (PPGCC) 2016.pdf: 2345909 bytes, checksum: dcaa7238380f7791f922778432a5b9ea (MD5)Made available in DSpace on 2018-05-16T13:28:09Z (GMT). No. of bitstreams: 1 SAULO SOARES DE TOLEDO - DISSERTAÇÃO (PPGCC) 2016.pdf: 2345909 bytes, checksum: dcaa7238380f7791f922778432a5b9ea (MD5) Previous issue date: 2016
Modelos UML são usados de várias formas na engenharia de software. Eles podem modelar desde requisitos até todo o software, e compreendem vários diagramas. O diagrama de classes, o mais popular dentre os diagramas da UML, faz uso de vários elementos UML e adornos, tais como abstração, interfaces, atributos derivados, conjuntos de generalização, composições e agregações. Atualmente, não há maneira fácil de encontrar este tipo de diagrama com base nestas características para a reutilização ou a aprendizagem por tarefas de exemplo. Por outro lado, Sistemas de Recomendação são ferramentas e técnicas que são capazes de descobrir os elementos mais adequados para um usuário, dentre muitos outros. Existem várias técnicas de recomendação, que usam informações dos elementos de várias maneiras, ao uso da opinião de outros usuários. Sistemas de recomendação já foram utilizadas com sucesso em vários problemas da engenharia de software, a exemplo da recomendação de partes de código para reuso (como métodos,por exemplo) e da identificação do desenvolvedor mais adequado para trabalhar em certas áreas do software. Este trabalho tem como objetivo propor e avaliar (i) uma representação baseada em conteúdo para diagramas de classe e as preferências do usuário, (ii) um novo algoritmo de recomendação baseado no conhecimento, (iii) a aplicação deste algoritmo e outros dois outros do estado da parte para a recomendação de diagramas de classe UML e (iv) uma avaliação destas abordagens contra uma sugestão aleatória. Para atingir este objetivo, foi realizado um estudo de caso com estudantes de ciência da computação e egressos. Depois de comparar os algoritmos, os nossos resultados mostram que, para o nosso conjunto de dados, todos eles são melhores do que uma recomendação aleatória.
UML models are used in several ways in the software engineering. They can model from requirements to the entire software, and comprise several diagrams. The Class diagram, the most popular among the UML diagrams, makes use of several UML elements and adornments, such as abstraction, interfaces, derived attributes, generalization sets, compositions and aggregations. Currently, there is no easy way to find this kind of diagram based on these features for reuse or learning by example’s tasks, for instance. On the other hand, Recommender Systems are powerful tools and techniques that are able to discover the most appropriate elements to an user among many others. There are several recommender techniques, from using the elements’ information in several ways, to using other users’ opinions. Recommender systems were already used successfully in several software engineering problems, as discovering pieces of code to recommend (as methods, for example) and finding the best developer to work in certain software problems. This work aims to propose and evaluate (i) a content-based Recommender System’s representation for class diagrams’ features and user’s preferences, (ii) a new knowledge-based recommender algorithm, (iii) the application this algorithm and two other state of the art content-based on esto the recommendation of UML class diagrams and (iv) an evaluation of these approaches against a random suggestion. To achieve this goal, we conducted a case study with computer science students and egresses. After comparing the algorithms, our results show that, for our dataset, all of them are better than a random recommendation.
35
Quiñonez, Fabiola Azanha. "Cristais fotônicos 2 D : projeto e fabricação." [s.n.], 2006. http://repositorio.unicamp.br/jspui/handle/REPOSIP/278155.
Full textAbstract:
Orientador: Lucila Helena Deliesposte CescatoDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Fisica Gleb Wataghin
Made available in DSpace on 2018-08-07T11:04:51Z (GMT). No. of bitstreams: 1 Quinonez_FabiolaAzanha_M.pdf: 3774661 bytes, checksum: 43303e872404bf21c83ed4ea86d8befe (MD5) Previous issue date: 2006
Resumo: Nesta tese foi utilizado um programa baseado em elementos finitos para projetar cristais fotônicos bidimensionais, assim como foram desenvolvidos processos de litografia holográfica para gravação destas estruturas fotônicas em filmes de carbono amorfo hidrogenado, depositados sobre substratos de vidro. O projeto dos parâmetros geométricos das estruturas que apresentam um gap fotônico, numa dada região de interesse do espectro óptico, foi feito através do cálculo dos diagramas de bandas das estruturas, levando-se em consideração as dimensões e formas que possam ser fabricadas utilizando a técnica de litografia holográfica. Para gravação dos cristais fotônicos bidimensionais, com simetrias cúbica e hexagonal, foi utilizada a técnica de superposições sucessivas de padrões, gerados pela interferência de duas ondas planas (exposições holográficas), associadas à litografia do filme de carbono por plasma reativo (RIE ¿ Reactive Ion Etching)
Abstract: In this thesis, we employed a software based on finite element method to design two-dimensional photonic crystals, as well as we developed a holographic lithography process to record these photonic structures in amorphous carbon films, coated on glass substrates. In order to present a photonic band gap in a desired region of the optical spectrum, the geometrical parameters of the structures were defined by analyzing the calculated band diagram of the structures. Such definition takes into account the dimensions and forms of the structures that can be fabricated using techniques of holographic lithography. To record the two-dimensional photonic crystals, with cubic and hexagonal symmetries, we used the technique of successive superimposition of fringe patterns. The patterns were generated by the interference of two plane waves (holographic exposures), associated to the lithography of the carbon film by reactive ion etching
Mestrado
Propriedades òticas e Espectroscopia da Matéria Condensada ; Outras Inter. da Mat. Com Rad. e Part
Mestre em Física
36
Bestetti, Maria Luisa Trindade. "Habitação para idosos. O trabalho do arquiteto, arquitetura e cidade." Universidade de São Paulo, 2006. http://www.teses.usp.br/teses/disponiveis/16/16131/tde-04032010-085452/.
Full textAbstract:
Esta tese procura demonstrar uma combinação de procedimentos concatenados para a realização de um projeto de arquitetura, adotando como suporte um conjunto residencial para idosos, que compreende particularidades comportamentais do usuário escolhido, caminhos da concepção arquitetônica e sua inserção na cidade. Esse conjunto de procedimentos é constituído da produção de conhecimento a partir de análises de dados secundários relativos às atividades, à ergonomia, à saúde, ao comportamento e à psicologia de idosos, com o objetivo de definir sistemas de melhores ambientes para uma situação específica de pessoas, recursos e lugar/infraestrutura, mobilizados pela arte de construir. Resultado do trabalho como professora na área de projeto arquitetônico, esta tese apresenta o produto das considerações sobre o processo que envolve desde o conhecimento das premissas e restrições inerentes a um projeto específico, assim como seu desenvolvimento e conclusão preliminar. Não pretende apresentar um resultado final detalhado, já que o foco é o caminho nessa busca. O idoso como público alvo foi escolhido não como questão central, mas pelo interesse acadêmico em desenvolver projeto especializado demonstrado através do método do varal, instrumento facilitador na busca de resultados aplicáveis especialmente a temas complexos e novos, como esse. Seu interesse reside na demonstração do método e sua aplicação no ensino de projeto, pois sem o rigor da construção, não há forma que se defenda.This thesis try to demonstrate a combination of procedures joined to realize an architecture project, adopting like support a residential assemblage to elderly people, including behavior specificities of the chosen user, ways of the architectonic conception and its insertion in the city. This group of procedures is formed by the knowledge production from analysis on the secondary basis relatives to the activities, ergonomics, health, behavior and elderly people psychology, with the propose of to determine systems of better environment to a specific situation of persons, recourses and local/substructure, mobilized by the art of construct. Result of the teachers work in the architectonic project area, this thesis presents the product of the considerations about the process that involve from the knowledge of the premises and restrictions inherent to a specific project, as its development and preliminary conclusion. It dont intends to present a detailed final result, since the focus is the way against this inquiry. The elderly people like target was chosen none like a central question, but because the academic profit to develop specialized project demonstrated throughout the clothes line method, instrument that make easy this investigation of applicable results specially to complex and new themes, like this. Its benefit stay at the demonstration of the method and its application in the project teaching, because without the strictness of the construction, there isnt form that has defense.
37
Rannou, Pierre. "Réécriture de diagrammes et de Sigma-diagrammes." Thesis, Aix-Marseille, 2013. http://www.theses.fr/2013AIXM4063.
Full textAbstract:
Peaks andThe main subject of this thesis is diagram rewriting.This is a generalisation to dimension~$2$ of word rewriting (in dimension~$1$). In a first time, we give the first convergent diagrammatic presentation of the PRO of linear maps in arbitrary field. Then we study the convergent diagrammatic presentation of matrix of isometries of $RR^n$. We focus especially on a rule similar to the Yang-Baxter equation, described by a certain map $h$. We use the confluence of critical the parametric diagrams, To study the algebraic properties of $h$, Finally, we present the $Sigma$-diagrams, an alternative approach for calculation in bialgebras. We illustrate this approach with examples. The last two chapters have been already published: Diagram rewriting for orthogonal matrices: a study of critical peaks, avec Yves Lafont, Lecture Notes in Computer Science 5117, p. 232-245, 2008 Properties of co-operations: diagrammatic proofs, Mathematical Structures in Computer Science 22(6), p. 970-986, 2012The main subject of this thesis is diagram rewriting.This is a generalisation to dimension~$2$ of word rewriting (in dimension~$1$). In a first time, we give the first convergent diagrammatic presentation of the PRO of linear maps in arbitrary field. Then we study the convergent diagrammatic presentation of matrix of isometries of $RR^n$. We focus especially on a rule similar to the Yang-Baxter equation, described by a certain map $h$. We use the confluence of criticalthe parametric diagrams, To study the algebraic properties of $h$, Finally, we present the $Sigma$-diagrams, an alternative approach for calculation in bialgebras. We illustrate this approach with examples. The last two chapters have been already published: Diagram rewriting for orthogonal matrices: a study of critical peaks, avec Yves Lafont, Lecture Notes in Computer Science 5117, p. 232-245, 2008 Properties of co-operations: diagrammatic proofs, Mathematical Structures in Computer Science 22(6), p. 970-986, 2012
38
Silva, Antonio Augusto Araújo Pinto da. "Thermodynamic modeling and critical experiments on the Al-Fe-Nb system." Thesis, Université de Lorraine, 2015. http://www.theses.fr/2015LORR0148.
Full textAbstract:
Les diagrammes d’équilibre sont le point de départ et la ligne directrice qui permet de prévoir et contrôler les phases pouvant se former au cours de différents processus industriels. Bien que l’étude expérimentale soit nécessaire pour les systèmes binaires et ternaires, elle est difficilement envisageable pour déterminer les diagrammes de phases des systèmes d’ordre supérieur sur de larges gammes de composition et de température. Afin de contourner ce problème, la méthode dite CALPHAD (CALculation of PHAse Diagram) a été développée. Son principe consiste à optimiser les paramètres des modèles thermodynamiques utilisés pour décrire l´énergie libre de Gibbs de chaque phase à partir d’informations expérimentales ou estimées (ab-initio). Le modèle appelé « Compound Energy Formalism » (CEF) est largement utilisé pour décrire les phases qui présentent plusieurs sous-réseaux. Ce modèle et ceux qui en dérivent permettent la modélisation d'une grande variété de composés. Les activités menées au cours de ce travail ont permis de développer une nouvelle approche du CEF (NACEF) basée sur une étude mathématique de ses paramètres thermodynamiques. Elle a conduit à une nouvelle formulation de la fonction d'énergie libre de Gibbs faisant intervenir de nouveaux paramètres indépendants. Cette nouvelle approche a été utilisée dans le cadre de ce travail afin de modéliser les phases intermétalliques binaires constituée de deux sous-réseaux présentant des défauts uniquement de type anti-sites (A,B)a(A,B)b. Le système Al-Fe-Nb sur lequel porte notre étude a été choisi en raison de son importance dans la fabrication de nombreuses familles d'alliages tels que les aciers, les alliages légers et plus récemment dans le développement de nouveaux matériaux réfractaires à base Nb pour des applications à hautes températures. Dans ce travail, de nouvelles modélisations des bordures binaires Al-Nb et Fe-Nb et pour la première fois du ternaire Al-Fe-Nb sont proposées en utilisant la NACEF et en s’appuyant sur les informations issues de la littérature ou obtenues dans cette étudeThe equilibrium diagrams are the starting point and the guideline to predict and control the microstructure that will form during processing materials. Despite experiments being necessary in binaries and ternaries systems, it is difficult to experimentally determine phase diagrams of higher orders systems over wide ranges of compositions and temperature. The CALPHAD (CALculation of PHAse Diagrams) method was developed in order to solve this problem. The essence is to optimize the parameters of thermodynamic models that describe the Gibbs free energies of each phase aiming to reproduce the experimental and estimated (ab-initio) data. The compound energy formalism (CEF) is widely used in order to describe phases which present several sublattices. It allows the modeling of a large variety of phases and numerous methods have been developed to treat different situations. The activities in this work developed a new approach of the CEF (NACEF) based on a mathematic analysis of the parameters which leads to a new formulation of the Gibbs free energy function evolving new independent parameters in which new independent parameters are obtained to express the Gibbs free energy. This approach was used in this work to describe the intermetallic phases with two-sublattice in which the only defect type is anti-sites (A,B)a(A,B)b. The Al-Fe-Nb system was chosen due to its importance for the manufacturing process of several families of alloys currently used, e.g. steels, light alloys, and also for the development of new materials for high temperatures application. The binaries Al-Nb and Fe-Nb were reassessed and the Al-Fe-Nb system was assessed for the first time using literature information and new experimental data
Os diagramas de equilíbrio são o ponto de partida e a diretriz para prever e controlar a microestrutura ao final do processamento de um material. Apesar de experimentos serem necessários em sistemas binários e ternários, é muito difícil determinar experimentalmente diagramas de fase de sistemas de ordens superiores numa vasta amplitude de composições e temperatura. A fim de solucionar este problema, o método CALPHAD (CALculation of PHAse Diagrams) foi desenvolvido. A essência consiste em aperfeiçoar os parâmetros de modelos termodinâmicos que descrevem as energias livres de Gibbs de cada fase de modo a reproduzir as informações experimentais ou estimadas (ab-initio). O compound energy formalism (CEF) é amplamente utilizado para descrever fases que apresentam várias sub-redes. Ele permite a modelagem de uma grande variedade de fases e vários métodos têm sido desenvolvidos para o tratamento de diferentes situações. As atividades deste trabalho ajudaram a desenvolver uma nova abordagem para o CEF (NACEF) com base em um estudo matemático dos seus parâmetros termodinâmicos que levou a uma nova formulação para função da energia livre de Gibbs envolvendo novos parâmetros independentes. Esta nova abordagem tem sido utilizado como parte do presente trabalho para modelar fases intermetálicas binárias constituídas de sub-redes cujo único defeito é do tipo anti-sítio (A,B)a(A,B)b. O sistema Al-Fe-Nb foi escolhido devido a sua importância para o processo de fabricação de diversas famílias de ligas usadas atualmente, e.g. aços, ligas leves e, além disto, é um sistema importante para o desenvolvimento de materiais para aplicações em altas temperaturas. Neste trabalho os binários Al-Nb e Fe-Nb foram reavaliados e o sistema Al-Fe-Nb foi modelado pela primeira vez utilizando as informações da literatura e novos dados experimentais
39
Li, Zhongmou. "Heegaard diagrams and applications." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp03/NQ48654.pdf.
Full text
40
Rein, Judith Ann. "Variables and Venn diagrams." Diss., The University of Arizona, 1997. http://hdl.handle.net/10150/289244.
Full textAbstract:
Venn diagrams were invented by John Venn in 1880 as an aid in logical reasoning. Since then, the diagrams have been used as an aid in understanding and organization for widely diverse audiences (e.g., elementary school children, business people) and widely diverse content areas (e.g., self-improvement courses, statistics). In this dissertation, Venn diagrams are used to illustrate and explain variable relationships. There are three main foci: (a) correlation and interaction, (b) variables and Venn diagrams, and (c) reliability and Venn diagrams. Confusion between correlation and interaction is explained, and the multicollinearity problem is illustrated using a Venn diagram composed of three circles and a horse-shoe shaped figure. Venn diagrams are presented for these variables: moderator; concrete and hypothetical intervening; component; traditional, negative, and reciprocal suppressor; covariate; disturbance; and confound. Venn diagrams are also used to differentiate among within-subjects, between-subjects, and reliability designs. Last, a detailed example, which assumes basic knowledge of classical test theory and generalizability theory, is presented to help illustrate, using Venn diagrams, the role of error variance in performance assessments. Evaluation based on comments of 13 American Educational Research Association, Division D, listserve members and 7 non-members was positive, and interest in the topic was shown by over 100 visits to the website where a portion of the dissertation was posted.
41
Cire, Andre Augusto. "Decision Diagrams for Optimization." Research Showcase @ CMU, 2014. http://repository.cmu.edu/dissertations/538.
Full textAbstract:
Decision diagrams are compact graphical representations of Boolean functions originally introduced for applications in circuit design, simulation, and formal verification. Recently, they have been considered for a variety of purposes in optimization and operations research. These include facet enumeration in integer programming, maximum flow computation in large-scale networks, solution counting in combinatorics, and learning in genetic programming techniques. In this dissertation we develop new methodologies based on decision diagrams to tackle discrete optimization problems. A decision diagram is viewed here as a graphical representation of the feasible solution set of a discrete problem. Since such diagrams may grow exponentially large in general, we work with the concept of approximate decision diagrams, first introduced by Andersen et al (2007). An approximate decision diagram is a graph of parameterized size that represents instead an over-approximation or under-approximation of the feasible solution set. Thus, it can be used to obtain either bounds on the optimal solution value or primal solutions to the problem. As our first contribution, we provide a modeling framework based on dynamic programming that can be used to specify how to build a decision diagram of a discrete optimization problem and how to approximate it, which facilitates the encoding process of a problem to a diagram representation. We then present a branching scheme that exploits the recursive structure of an approximate diagram, establishing a novel generic solver for discrete optimization problems. Computational results in classical optimization problems show that more instances can be solved in less computation time using our approach than mathematical programming techniques. In particular, we were able to reduce the known optimality gap of benchmark instances of the maximum cut problem. In our second contribution, we focus on the application of approximate diagrams to particular domains; namely, to sequencing problems, common in the context of routing and scheduling, and to timetable problems. We indicate that, besides the computation of bounds, approximate decision diagram can be used to deduce non-trivial constraints of a problem, such as precedence relations between jobs in scheduling applications. We show that such inference can be incorporated into state-of-the-art solvers and speed-up the optimization process by orders of magnitude. Finally, we propose new parallelization strategies that exploits the recursive structure of an approximate diagram. These strategies decouple a problem in a naturally loose fashion and allow for more effective load balancing heuristics when considering hundreds of computer cores.
42
Fasan, Mary Oluwasola. "Distributed binary decision diagrams." Thesis, Stellenbosch : University of Stellenbosch, 2010. http://hdl.handle.net/10019.1/5411.
Full textAbstract:
Thesis (MSc (Mathematical Sciences)--University of Stellenbosch, 2010.ENGLISH ABSTRACT: Binary Decision Diagrams (BDDs) are data structures that have been used to solve various problems in different aspects of computer aided design and formal verification. The large memory and time requirements of BDD applications are the major constraints that usually prevent the use of BDDs since there is a limited amount of memory available on a machine. One way of overcoming this resource limitation problem is to utilize the memory available on a network of workstations (NOW). This requires the distribution of the computation and memory requirements involved in the manipulation of BDDs over a NOW. In this thesis, an algorithm for manipulating BDDs on a NOW is presented. The algorithm makes use of the breadth-first technique to manipulate BDDs so that various BDD operations can be started concurrently on the different workstations on the NOW. The design and implementation details of the distributed BDD package are described. The various approaches considered in order to optimize the performance of the algorithm are also discussed. Experimental results demonstrating the performance and capabilities of the distributed package and the benefits of the different optimization approaches are given.
AFRIKAANSE OPSOMMING: Binêre besluitnemingsbome (BBBs) is data strukture wat gebruik word om probleme in verskillende areas van Rekenaarwetenskap, soos by voorbeeld rekenaargesteunde ontwerp en formele verifikasie, op te los. Die tyd- en spasiekoste van BBB-gebaseerde toepassings is die hoofrede waarom BBBs nie altyd gebruik kan word nie; die geheue van ’n enkele is ongelukkig te beperkend. Een manier om hierdie hulpbronprobleem te omseil, is om die gedeelde geheue van die werkstasies in ’n netwerk van werkstasies (Engels: “network of workstations”, oftewel, ’n NOW) te benut. Dit is dus nodig om die berekening en geheuevoorvereistes van die BBB bewerking oor die NOW te versprei. Hierdie tesis bied ’n algoritme aan om BBBs op ’n NOW te hanteer. Die algoritme gebruik die breedte-eerste soektegniek, sodat BBB operasies gelyklopend kan uitvoer. Die details van die ontwerp en implementasie van die verspreide BBB bilbioteek word beskryf. Verskeie benaderings om die gedrag van die biblioteek te optimeer word ook aangespreek. Empiriese resultate wat die werkverrigting en kapasiteit van die biblioteek meet, en wat die uitwerking van die onderskeie optimerings aantoon, word verskaf.
43
Kelly, Andrew James. "Groups from link diagrams." Thesis, University of Warwick, 1990. http://wrap.warwick.ac.uk/63616/.
Full textAbstract:
This thesis is an attempt to generalise the methods of the Wirtinger presentation for obtaining groups which are invariants of a classical link. It is closely allied to the ideas of Joyce on quandles. In it are produced a number of groups which are obtained by associating two generators to each arc of a link projection, and two relations to each crossing. Some properties of these invariants are established.
44
Stapleton, Gemmelia Eve. "Reasoning with constraint diagrams." Thesis, University of Brighton, 2004. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.406766.
Full text
45
Kontovourkis, Odysseas. "Computer-generated circulation diagrams." Thesis, University of Bath, 2009. https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.512302.
Full textAbstract:
The way in which computers are used is important in the theory, philosophy and practice of architecture. Architects are already using computers to construct complex three dimensional geometric models of their buildings and are beginning to analyse these models using environmental and structural software, a development which raises new questions about the role of architects and engineers. This dissertation puts forward the hypothesis that architects will at times need to be actively involved in computer programming by writing or modifying software. The hypothesis is based on the assumption that the form of a building and its spatial configuration are influenced by the nature of the design process itself. If architects are to have a complete and subtle control over design and to identify their own personal aesthetic language, they must also have control over the design process including the way computer software tools are developed and used. The hypothesis is tested using the example of a ferry terminal, a building type whose function is largely dominated by passenger circulation. Even thought passengers have a very straightforward aim to reach their final destination, the rules governing the way passengers move around the building are complex and a single computer program will not be able to cover all possible aspects of such behaviour. Thus, architects must have the freedom to formulate different rules and study the effects they have on their design. This particularly applies in non-emergency situations when each individual moves inside the building according to different needs and desires. A program was written which runs in real time so that the architect can see the effect of changing the parameters that control the process. The program can be used as evaluation mechanism to study the performance of postulated design or it can be use as creative mechanism where the design may emerge out of the process in the same way that animals create paths in the woods. Either way, the general aim is to optimize the design according to criteria over which the architect, again, must have complete control.
46
Narayanan, N. Hari. "Imagery, diagrams and reasoning /." The Ohio State University, 1992. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487779120907533.
Full text
47
Vosylius, Audrius. "Voronoi diagramų braižymas ląsteliniu automatu." Master's thesis, Lithuanian Academic Libraries Network (LABT), 2005. http://vddb.library.lt/obj/LT-eLABa-0001:E.02~2005~D_20050606_192058-10796.
Full textAbstract:
In this work Voronoi diagrams which are drawn by the cellular automaton are discussed. The square and hexagon cellular automata were created and used for drawing Voronoi diagrams. As a result of using the created programs Voronoi diagrams, which are obtained in case of two and more dots, are observed. The following results of the research were achieved: § Voronoi diagram can be obtained by the cellular automaton. § Voronoi diagrams, which were obtained, are not precise due to different speed of movement in different directions. § In square - cell case the obtained diagrams depend on the chosen situation of the neighbors. § In hexagon - cell case the obtained Voronoi diagrams are more but not completely precise. The mathematic calculations are not being made while creating Voronoi diagrams by the cellular automaton.. The diagrams are obtained in short period of time. It is possible to watch the process of the diagram creation. A lot of computer's operation time is lost not during the calculation but for re-drawing the obtained image. This is the reason why it is necessary to optimize the image creating algorithm.
48
Simonetto, Paolo. "Diagrammes d’Euler pour la visualisation de communautés et d’ensembles chevauchants." Thesis, Bordeaux 1, 2011. http://www.theses.fr/2011BOR14386/document.
Full textAbstract:
Dans cette thèse, nous proposons une méthode pour la visualisation d'ensembles chevauchant et de basé sur les diagrammes d'Euler. Les diagrammes d'Euler sont probablement les plus intuitifs pour représenter de manière schématique les ensembles qui partagent des éléments. Cette métaphore visuelle est ainsi un outil puissant en termes de visualisation d'information. Cependant, la génération automatique de ces diagrammes présente encore de nombreux problèmes difficiles. Premièrement, tous les clustering chevauchants ne peuvent pas être dessinées avec les diagrammes d'Euler classiques. Deuxièmement, la plupart des algorithmes existants permettent uniquement de représenter les diagrammes de dimensions modestes. Troisièmement, les besoins des applications réelles requièrent un processus plus fiable et plus rapide.Dans cette thèse, nous décrivons une version étendue des diagrammes d'Euler. Cette extension permet de modéliser l'ensemble des instances de la classe des clustering chevauchants. Nous proposons ensuite un algorithme automatique de génération de cette extension des diagrammes d'Euler. Enfin, nous présentons une implémentation logicielle et des expérimentations de ce nouvel algorithmeIn this thesis, we propose a method for the visualisation of overlapping sets and of fuzzy graph clusterings based on Euler diagrams.Euler diagrams are probably the most intuitive and most used method to depict sets in which elements can be shared. Such a powerful visualisation metaphor could be an invaluable visualisation tool, but the automatic generation of Euler diagrams still presents many challenging problems. First, not all instances can be drawn using standard Euler diagrams. Second, most existing algorithms focus on diagrams of modest dimensions while real-world applications typically features much larger data. Third, the generation process must be reliable and reasonably fast.In this thesis, we describe an extended version of Euler diagrams that can be produced for every input instance. We then propose an automatic procedure for the generation of such diagrams that specifically target large input instances. Finally, we present a software implementation of this method and we describe some output examples generated on real-world data
49
Camilo, Erasnilson Vieira. "Modelos de Equações Estruturais: um estudo de simulação." Universidade de São Paulo, 2015. http://www.teses.usp.br/teses/disponiveis/11/11134/tde-06042015-154954/.
Full textAbstract:
Com a necessidade de analisar dados cada vez mais complexos nas mais diversas áreas, surge também a necessidade de novas técnicas e novas modelagens. Nesse contexto, os Modelos de Equações Estruturais são uma evolução da análise de caminhos proposto por Wright (1921), que por sua vez, consegue captar as relações de causa e efeito entre diferentes tipos de variáveis. Este trabalho tem como objetivo abordar uma revisão em torno dessa técnica, com ênfase aos modelos recursivos que utilizam em sua maioria apenas variáveis observadas. A aplicação deste trabalho está fundamentada em um processo de simulação considerando assim, seis cenários com diferentes tipos de relações numa mesma estrutura. As médias das estimativas dos parâmetros no processo de simulação resultam em valores próximos aos valores verdadeiros. Por meio de figuras e gráficos, pode-se observar o comportamento dos parâmetros por meio do erro quadrático médio e boxplot. A análise foi realizada com a utilização do software R e programas implementados com pacote sem (FOX; WEISBERG, 2012) e programação apresentada no Apêndice deste trabalho.With the increasingly need to analyze complex data in several areas, comes the need for new techniques and new models. In this context, the Structural Equation Modeling is an evolution of the path analysis proposed by Wright (1921), which, can capture the relations of cause and effect between different types of variables. The present work aims to approach a review about this technique with emphasis on recursive models using mostly observed variables only. The application of this work is based on a simulation process considering six scenarios with different types of relationships within the same structure. The mean estimates of the parameters in the simulation result in values that are close to the true values, and by means of figures and graphs, one can observe the behavior of the parameters by means of the mean squared error and boxplot. The analysis was performed using the software software R and implemented programs as sem package (FOX; WEISBERG, 2012) and the programming is presented in the Appendix of this work.
50
Junius, Niels. "Développements instrumentaux pour le contrôle de la cristallisation par la dialyse : approche microfluidique et analyse aux rayons X." Thesis, Université Grenoble Alpes (ComUE), 2016. http://www.theses.fr/2016GREAY032/document.
Full textAbstract:
La cristallisation des protéines est une étape cruciale dans l’élucidation de la structure tridimensionnelle des protéines. C’est un processus très délicat qui dépend de nombreuses variables environnementales dont le contrôle précis est difficile, voire impossible, dans les installations typiquement utilisées. Des approches basées sur la parallélisation massive des expériences et la réduction du volume d’échantillon par expérience, pour trouver les conditions initiales de cristallisation, montrent leur relative efficacité dans la recherche de ces conditions initiales mais aussi leurs limites quant à l’optimisation des cristaux obtenus.La méthode présentée dans cette thèse diffère de ce paradigme. La démarche proposée est une approche séquentielle plutôt que la parallélisation d’expériences et est basée sur la connaissance des diagrammes de phase. Cette thèse repose sur une suite de développements d’instruments mis en oeuvre pour maîtriser et rationaliser la cristallisation par la méthode de la dialyse, permettant ainsi l’exploration des diagrammes de phases sans consommer l’échantillon de protéine.Il en résulte un dispositif microfluidique permettant la cristallisation de protéines par la méthode de la dialyse, l’utilisation d’un flux continu d’agent de cristallisation et par conséquent l’échange continu de conditions de cristallisation ainsi que le contrôle de la température au cours de l’expérience. Il est compatible avec le rayonnement X pour la collecte de données de diffraction in situ sur les cristaux ayant poussés dans la puce microfluidique. Ce système microfluidique est basé sur la miniaturisation du banc de cristallisation qui a été amélioré d’un point de vue : de l’électronique pour l’automatisation, du transport de fluides pour le fonctionnement en flux continu, du développement logiciel pour le contrôle des paramètres de cristallisation, de la mécanique pour améliorer la cellule de dialyse et la thermorégulation, et enfin par l’intégration d’un système UV permettant de réaliser des mesures d’absorbance in situ qui offre pour l’avenir la possibilité de mesurer la solubilité de protéine au cours d’une expérience de cristallisation par la dialyse.Finalement les développements instrumentaux et méthodologiques ont été validés par la cristallisation de plusieurs protéines modèles dont les cristaux ont diffractés aux rayons X avec succès. En outre le transport d’espèces en solution par la dialyse a été étudié par une approche combinée expérimentale et théoriqueProtein crystallization is a key step in elucidating three-dimensional structure of proteins. This very sensitive process depends on many variables that are difficult to control precisely or simultaneously in the existing facilities. Instrumentation developments have concentrated on massive parallel experiments and sample volume reduction used by experiment. With this approach it is relatively easy to find initial crystallization conditions but their optimization to yield well diffracting crystals often proves to be more difficult.The method presented herein differs from the current paradigm, since we propose serial instead of parallel experiments based on the knowledge of phase diagrams. This project is based on a series of developments of instruments used to control and rationalize crystallisation using dialysis method, thus allowing phase diagrams exploration without consuming large quantity of protein sample.This results in a microfluidic device that allows crystallization of proteins by dialysis method, use of a continuous flow of crystallization agent and therefore continuous exchange of crystallization conditions as well as temperature control during experiment. It provides X-rays compatibility for in situ diffraction data collection of crystals grown in the microfluidic chip. This microfluidic system is based on the miniaturization of the crystallization bench which has been improved on electronics for automation, fluid transport to operate at a continuous flow, software development for the control of crystallization parameters, mechanics to improve both dialysis cell and thermoregulation, and finally by the integration of a UV system to perform in situ absorbance measurements that provide the future possibility to measure the solubility of proteins in a dialysis crystallization experiment.Finally both instrumental and methodological developments have been validated by the crystallization of several model proteins whose crystals diffracted succesfully X-rays. Furthermore understanding of the transport of species in solution by dialysis was investigated by combined experimental and theoretical approaches