Frente a uma compreensão projetual ampliada na arquitetura contemporânea devido às intersecções disciplinares experimentadas no pós-modernismo, esta pesquisa destaca os processos que anunciam o diagrama como conceito que efetiva um novo modus operandi arquitetônico. Percebendo as ramificações teóricas que são geradas sobre este tema dentro do discurso dos arquitetos, este trabalho busca na definição semiótica de diagrama em Charles S. Peirce e na sua derivação filosófica em Gilles Deleuze e Félix Guattari um suporte instrumental para a compreensão da configuração do discurso do diagrama na arquitetura. Partindo do pressuposto que a possibilidade de um conceito só é efetivada em sua interpretação, recorremos à análise de textos e obras de Peter Eisenman e do escritório UNStudio na tentativa de compreender como o conceito transita nestas arquiteturas. / Facing an amplified projectual comprehension in contemporary architecture due to the disciplinary intersections experimented in the postmodernism, this thesis emphasize the processes that announce the diagram as a concept that effects a new architectural modus operandi. Apprehending the theoretical ramifications that are generated about this theme inside the architect´s speeches, this thesis searches in the Charles S. Peirces semiotics definition of diagram and in its philosophic derivation of Gilles Deleuze and Félix Guattari an instrumental support for the comprehension of the dis- course ´s configuration of the diagram in architecture. Starting from the assumption that the possibility of a concept is only effective inner its interpretation, we had recoursed to the analysis of texts and works of Peter Eisenman and of the office UNStudio in the attempt to understand how the concept transits in these

Tese de mestrado integrado. Engenharia Electrotécnica e de Computadores. Faculdade de Engenharia. Universidade do Porto. 2010

Database design methods and tools have been investigated in the paper. The action diagram construction process has been investigated and three data design methodologies IDE1X, IE and Chen‘ have been considered. The main definitions have been described and classified in detail. The problems of database design have been stated and table normal forms have been presented. The company‘s employee income tax database model has been designed on the basis of the theory. Four step Chen‘s diagram has been used to design the data model. The company‘s employee income tax database has been designed and implemented in MS Access environment. The data import program from MS Excel has been developed.

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.

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.

Šiuo metu IS inžinerijoje projektiniai modeliai yra kuriami empiriškai, formaliai jų nepatikrinus pagal realią dalykinę sritį. Šiuo darbu siekiama intelektualizuoti IS inžinerijos projektavimo etapą generuojant UML state modelį iš dalykinės srities žinių saugyklos vadinamos veiklos modeliu. Darbo esmė – sugeneruoti veiklos modeliu grindžiamo UML state modelį, atliekant veiklos modelio analizę ir išskiriant veiklos modelio parametrus atitinkančius UML state modelio elementus, papildyti veiklos metamodelio žinių bazę trūkstamais elementais. Šiame darbe atliekamas UML (angl. unified modelling language) state metamodelio generavimas. Sugeneruoto state metamodelio pagalba bus intelekualizuojamas projektavimo etapas padedantis identifikuoti problemas kylančias IS kūrimo metu bei ir optimizuoti patį kūrimo procesą. Reikalinga akcentuoti tai, kad UML state modelio generavimas bus vykdomas, remiantis veiklos modeliu – realių įmonėje vykstančių procesų saugykla. Darbo uždaviniai: Atlikti veiklos modelio sudėties analizę UML state modelio aspektu. Sukurti veiklos modeliu grindžiamą UML state modelio generavimo būdą (algoritmą). Pasiūlyti sukurto metodo programinės realizacijos prototipą. Atlikus tyrimą, nustatyta kad būsenų modelio generavimas intelektualizuoja IS inžinerijos projektavimo etapą tuo, kad UML būsenų modelis sukuriamas interaktyviai, t.y. vykdant generavimo iš veiklos modelio (kuriame saugomos dalykinės srities žinios yra patikrintos valdymo požiūriu) algoritmą dalyvaujant... [toliau žr. visą tekstą] / Recently project models of IS engineering are created empirically, officially not exanimate according to real subject field. Target of this work is to intellectualize IS engineering designing stage by generating UML state model from subject field knowledge base namely called enterprise model. The point of this work is to generate UML state model based on enterprise model, performing analysis of enterprise model and excluding enterprise model parameters matching UML state model elements and adding missing elements to enterprise metamodel knowledge base. In this work UML state metamodel generation is performed. Generated state metamodel will help to intellectualize designing stage. It is important that UML state model generation will be performed according to enterprise model – database of real processes in the organization. Tasks of this work: perform analysis of enterprise model composition UML state model aspect, to create UML state model generation based on enterprise model, suggest software solution for created method. In this research it was discovered that state model generation intellectualize IS engineering designing stage. After analyzing enterprise metamodel and state metamodel was found that we need to add flow object in enterprise metamodel. Created UML state generation algorithm was tested with real data and was suggested realization prototype.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pòs-graduação em Engenharia de Automação e Sistemas, Florianópolis, 2010 / Made available in DSpace on 2012-10-25T03:15:55Z (GMT). No. of bitstreams: 1 287047.pdf: 2105803 bytes, checksum: a722cc55acdfaf3252bdf60d781f04b3 (MD5) / Para resolver os problemas associados a verificação de sistemas industriais complexos, como os desenvolvidos para CLPs, são necessárias técnicas de modelagem e verificação formal, como forma de provar que o programa está de acordo com as propriedades esperadas. Neste trabalho é proposto um modelo de tradução da linguagem Diagrama Ladder de CLPs para uma linguagem intermediária de verificação FIACRE, que está inserida em uma cadeia de verificação formal do projeto Topcased. Esta abordagem segue o paradigma da engenharia dirigida a modelos e consiste em transformar modelos próximos ao usuário em modelos para a verificação. As regras de transformação propostas devem estar inseridas em duas cadeias de verificação formal, que utilizam as abordagens de model-checking e por equivalências de modelos. A validação da proposta é feita por intermédio da transformação de modelos e verificação das propriedades de um sistema de automação pneumática e um sistema para um misturador industrial.

Submitted by Gisele Mara Hadlich (gisele@ufba.br) on 2017-10-25T17:11:02Z No. of bitstreams: 1 DISSERTA_ELAINE_24_08_16.pdf: 3649038 bytes, checksum: b9601064c073493838c2f5fd9f7b59f8 (MD5) / Made available in DSpace on 2017-10-25T17:11:02Z (GMT). No. of bitstreams: 1 DISSERTA_ELAINE_24_08_16.pdf: 3649038 bytes, checksum: b9601064c073493838c2f5fd9f7b59f8 (MD5) / As distintas fácies hidroquímicas que caracterizam as águas resultam em grande parte das litologias, podendo também ser influenciadas pelas atividades antrópicas capazes de mascarar a assinatura hidroquímica natural. Desta maneira, o estudo sobre a compreensão da dinâmica dos parâmetros físico e químicosnos corpos d’água é essencial para entender o funcionamento dos ecossistemas aquáticos, que por sua vez, permite o desenvolvimento de estratégias adequadas de gerenciamento e conservação de seus recursos. Logo, este trabalho tem como objetivo caracterizar a hidrogeoquímica das lagoas costeiras do Parque das Dunas, Salvador – BA, usando a variação espacial e temporal de algumas variáveis limnológicas para entender a estrutura e funcionamento de três lagoas costeiras. O presente trabalho foi desenvolvido em campanhas amostrais no período seco e período chuvoso, nas lagoas costeiras Camarão, Vitória e Junco, situadas ao norte do município de Salvador, na Área de Proteção Ambiental (APA) - APA Lagoas e Dunas do Abaeté. Sendo analisados os parâmetros físicos temperatura, pH, ORP, condutividade elétrica (CE), sólidos totais dissolvidos (STD), oxigênio dissolvido (OD) e salinidade, os químicos (Ca2+, Mg2+, Na+, K+, CO3-2, HCO3-, Cl-, SO42-, NO3-), além dos Al, Zn, Pb, Ni, Cd, Cu, Ba, Fe, Mn e clorofila-a. Os resultados comprovaram a existência de diferenças sazonais significativas nos parâmetros físico, químicos e do metal (Fe). Além do mais, o Nitrato apresentou concentrações acima do padrão CONAMA 357/05, nas lagoas Camarão e Junco. As amostras de água foram classificadas por íons principais a partir do diagrama triangular de Piper, sendo que as águas das três lagoas foram classificadas em cloretadas sódicas (100%) nos dois períodos sazonais.

Geólogo / El presente trabajo corresponde a un estudio sismoestratigráfico efectuado en la porción norte de la Isla de Tierra del Fuego, abarcando un área cercana a los 4300 km2 desde la costa norte de Bahía Inútil hasta la costa atlántica. Ésta se analiza mediante datos de afloramientos, perfiles sísmicos y registros de pozos, centrándose en los estratos cenozoicos de la Cuenca de Magallanes. Esto permitió entender la relación entre el mapa litológico del lugar y su relación con las unidades sismoestratigráficas descritas. Producto de ello, se corroboró que las primeras tres formaciones de este estudio (Leña Dura, Bautismo y Discordia) calzan de excelente manera con lo descrito por Barwick (1949) y Céspedes (1957), pero que desde la Formación Santa Clara hasta la Formación Filaret, existe un desfase en dirección noreste de todas las formaciones suprayacentes. Por otro lado, se propone un modelo de depositación de las formaciones a través de estratigrafía de secuencias. Esto facilitó el reconocimiento de las discordancias y superficies de máxima inundación y regresión. A partir de ello, se plantean 10 unidades sismoestratigráficas interpretadas como secuencias de 3er orden, controladas por cambios eustáticos y variaciones en la tasa de subsidencia tectónica. Durante el Eoceno tardío, las primeras tres secuencias, donde están involucradas las formaciones Leña Dura, Bautismo y Discordia, están asociadas a ambientes de talud y piso de cuenca, atestiguando una progresiva somerización de los ambientes deposicionales, para luego emerger posiblemente a inicios del Oligoceno, hecho registrado en la Formación Santa Clara. El aumento en la tasa de sedimentación habría depositado las arcillolitas progradantes de la Formación Puerto Nuevo durante una regresión forzada, expresada en la cuarta y quinta megasecuencia. Esto propició las condiciones para la posterior sedimentación de las areniscas arcillosas de la Formación Río del Oro. En el Mioceno, habría acontecido una segunda regresión forzada relevante en la cuenca, que se habría dado en ambientes marinos más someros, depositando las secuencias 7 y 8 que conforman dos ciclos relacionados a la Formación Brush Lake. Finalmente, la somerización generada por la menor flexura cortical dio paso a los estratos marinos someros a continentales de las formaciones Filaret y Palomares. Asimismo, se construyó un diagrama de Wheeler con los estratos reconocidos, los que ayudaron a generar una curva con los posibles cambios relativos costeros, identificándose tres ciclos principales. Éstos indican que las variaciones del nivel base relativo local habrían sido controladas por factores tectónicos locales de subsidencia y orogenia, así como por la aparición y derretimientos de capa de hielos, los que pudieron incidir en las regresiones y transgresiones en la isla y desencadenar rebotes isostáticos. / Este trabajo ha sido financiado por ENAP Magallanes

Made available in DSpace on 2016-08-29T15:36:07Z (GMT). No. of bitstreams: 1 tese_9519_Dissertac?a?o-RamonTeodoro-Polo12-UFES (2).pdf: 1540281 bytes, checksum: 2ef238aba3bb43b39301e6b29ab09427 (MD5) Previous issue date: 2015-12-18 / CAPES/SBF / O presente trabalho relata a utilização do Vê epistemológico de Gowin, chamado nesse trabalho de Diagrama V em atividades experimentais de Física em sala de aula em uma escola da rede pública estadual do Estado do Espírito Santo. A escola onde realizou-se o trabalho é a Escola Estadual de Ensino Fundamental e Médio Clovis Borges Miguel localizada no município de Serra, região metropolitana da Grande Vitória. Foram trabalhadas três atividades experimentais de Física com uma turma do 3º ano do Ensino Médio, estudantes com idade, em média, de 17 anos. Foram realizadas duas atividades de Eletrodinâmica e uma atividade de Magnetismo tendo o Diagrama V sido utilizado como instrumento de orientação, coletas de dados e avaliação em todo o processo. Para a segunda atividade experimental, sobre circuitos elétricos, ainda foi aplicada uma prova sobre o tema trabalhado e feito uma comparação com outra turma que realizou a mesma atividade, mas sem utilizar o Diagrama V. Foram feitas análises conceituais e análises baseadas nos critérios de Gowin e Alvarez (2005). Os resultados revelaram que os estudantes foram capazes de adquirir independência na realização das atividades experimentais propostas, estabelecer relação entre os conceitos abordados e a atividade propriamente dita, Pensar sobre as atividades experimentais proposta antes, durante e após a realização das mesmas, e organizar de forma estruturada os dados coletados. Foi também observado que os estudantes apresentaram dificuldade em definir o objetivo da atividade experimental e em organizar e interpretar os dados coletados. Na avaliação geral da metodologia com o Diagrama V, os estudantes mostraram favoráveis à sua utilização. / This paper describes the use of the See of epistemological Gowin called this diagram V work in experimental activities in Physics in the classroom at a school public schools of the state of Espirito Santo. The school where there was the work is the state school of primary and secondary Clovis Borges Miguel in the municipality of Serra, metropolitan region of Greater Victoria. Three experimental activities were worked with a group of Physics of the 3rd year of high school, students aged on average 17 years. There were two activities Electrodynamics and Magnetism activity with the V diagram been used as a guiding tool, data collection and evaluation throughout the process. For the second experimental activity on electrical circuits, it has not yet applied a test on the subject worked and made a comparison with another group that carried out the same activity, but without using the Diagram V. conceptual analyzes were performed and analyzes based on the criteria of Gowin and Alvarez (2005). The results showed that the students were able to gain independence in carrying out experimental activities proposed to establish relationship between the concepts discussed and the actual activity, think about the experimental proposal activities before, during and after meeting them, and organize in order structured data collected. It was also observed that students had difficulty in defining the purpose of the experimental activity and organize and interpret the data collected. In the overall evaluation methodology with the V diagram, students have shown favorable to their use.