• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 11
  • 5
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • Tagged with
  • 31
  • 31
  • 6
  • 5
  • 5
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 3
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
21

A representação gráfica das unidades de paisagem no zoneamento ambiental: um estudo de caso no município de Ourinhos SP

Zacharias, Andréa Aparecida [UNESP] 01 November 2006 (has links) (PDF)
Made available in DSpace on 2014-06-11T19:33:21Z (GMT). No. of bitstreams: 0 Previous issue date: 2006-11-01Bitstream added on 2014-06-13T19:04:03Z : No. of bitstreams: 1 zacharias_aa_dr_rcla.pdf: 1685973 bytes, checksum: e9fcaf8f8c7ff0afee6a41bcd1685472 (MD5) / Esta Tese propõe um estudo sobre A Representação Gráfica das Unidades de Paisagem no Zoneamento Ambiental, adotando como estudo de caso o Município de Ourinhos-SP. Sistematizada em seis capítulos, explicita no Capítulo I Introdução - as considerações iniciais acerca deste trabalho, discorrendo acerca das principais reflexões que motivaram o desenvolvimento da pesquisa; descreve, ainda, os objetivos (geral e específicos), a localização da área de estudo, as justificativas e as hipóteses que consistem no desafio deste trabalho. No Capítulo II A Importância do Zoneamento Ambiental no Planejamento Físico-Territorial discute-se sobre os dédalos dos termos Planejamento, Gerenciamento, Gestão e Zoneamento Ambiental, atualmente percebidos nos trabalhos científicos. Apontam-se, também, os grandes desafios que o Zoneamento assume enquanto um dos instrumentos legais para efetivar o Planejamento Ambiental. O Capítulo III O Estudo e a Representação da Paisagem no Contexto Ambiental pretende uma reelaboração teórica acerca da representação gráfica, sobretudo a cartografia das paisagens, descrevendo as etapas da evolução dos estudos envolvendo a dinâmica da paisagem. Neste aspecto, são revisitados os preceitos das principais Teorias utilizadas na atualidade em trabalhos que visam o Planejamento Ambiental. O Capítulo IV Comunicação Cartográfica e Representação Gráfica das Unidades de Paisagem: uma proposta metodológica - discute os princípios da Comunicação Cartográfica na Geografia, com maior destaque à semiologia gráfica, propondo uma metodologia para a representação e leitura da paisagem, baseada em três níveis diferenciados. O Capítulo IV Comunicação Cartográfica e Representação Gráfica das Unidades de Paisagem: uma proposta metodológica - discute os princípios da Comunicação Cartográfica na Geografia, com maior destaque à semiologia... . / This Thesis considers a study on the Graphical Representation of the Units of Landscape in the Ambient Zoning , adopting as case study the City of Ourinhos-SP. Systemize in six chapters, explicit in Chapter I Introduction - the initial concepts concerning this work, discoursing on the main reflections that had motivated the development of the research; it describes, still, the objectives (general and specific), the localization of the study area, the justifications and the hypotheses that consist of the challenge of this work. In Chapter II the Importance of the Ambient Zoning in the Physicist-Territorial Planning argues on the masses of the terms Planning, Management, Management and Ambient Zoning, currently perceived in the scientific works. They are pointed, also, the great challenges that the Zoning assumes while one of the legal instruments to accomplish the Ambient Planning. Chapter III the Study and the Representation of the Landscape in the Ambient Context intends a theoretical rework concerning the graphical representation, over all the cartography of the landscapes, describing the stages of the evolution of the studies involving the dynamics of the landscape. In this aspect, the rules of the main Theories used in the present time in works are revisited that aim at the Ambient Planning. Chapter IV Cartographic Communication and Graphical Representation of the Units of Landscape: considering one methodology - it argues the principles of the Cartographic Communication in Geography, with bigger prominence to the graphical semiology, considering a methodology for the representation and reading of the landscape, based in three differentiated levels. In Chapter V the Ambient Zoning of the City of Ourinhos-SP proceeds it the execution from the Zoning of the City, using it synthesis cartography as Geoambiental document, for the diagnosis of the ambient characteristics of the different... (Complete abstract, click electronic address below).
22

Sobre projetos, palavras e imagens: relacionando textos e desenhos nos trabalhos finais de gradua??o em arquitetura e urbanismo

Macedo, Daniel Fernandes de 04 December 2009 (has links)
Made available in DSpace on 2014-12-17T13:57:00Z (GMT). No. of bitstreams: 1 DanielFM_DISSERT.pdf: 3025691 bytes, checksum: 816ddeeb4f1f3fce1b28e8bc8c6920b1 (MD5) Previous issue date: 2009-12-04 / This research continues the current debate about the role of the images and the words in the architectural design persuasion, where we emphasize the increasing valuation of written documents (FORTY, 2004; MARKUS; CAMERON, 2002), the seduction for the graphical representation (DURAND, 2003) and the rhetorical effects of the graphical and textual resources (TOSTRUP, 1999). Based on these quarrels, we look for verify in the graduate final projects the relation between the design texts and images. From the PROJEDATA, database of the PROJETAR research group (UFRN), we selected the final projects of two brazilians universities, UFRN and USP, that in a first analysis, they had shown as ideal types of two distinct design presentation models, respectively: texts and drawings in separated documents, or combined in an only support. Based on Markus explanation about the function and the content of the texts, on the Durand perspective with regard to graphical representation uses and on Tostrup point of view concerning the rhetorical potential of texts and drawings, we analyze, in a set of 25 projects, how the students relate the textual and imagetical speeches. For this, we related the focus of each speech, in order to verify the possible coherence between both. We conclude that in the model of USP final project the coherence between the texts and the drawings is clearer than in the model adopted in UFRN / Esta pesquisa prossegue o debate atual sobre o papel das imagens e das palavras no convencimento do projeto arquitet?nico, em que se destacam a valoriza??o crescente dos documentos escritos (FORTY, 2004; MARKUS; CAMERON, 2002), a sedu??o pela representa??o gr?fica (DURAND, 2003) e os efeitos ret?ricos dos recursos gr?ficos e textuais (TOSTRUP, 1999). Com base nestas discuss?es, procuramos verificar nos Trabalhos Finais de Gradua??o (TFG) a rela??o entre os textos e as imagens do projeto. A partir do PROJEDATA, banco de dados do grupo de pesquisa PROJETAR (UFRN), selecionamos os TFGs de duas universidades brasileiras, UFRN e USP, que numa primeira an?lise se mostraram como tipos ideais de dois modelos distintos de apresenta??o do projeto, respectivamente: textos e desenhos em partes separadas, ou combinados num ?nico suporte. ? luz da explana??o de Markus sobre a fun??o e o objeto dos textos, da perspectiva de Durand quanto aos usos da representa??o gr?fica e do ponto de vista de Tostrup acerca do potencial ret?rico de textos e desenhos, analisamos, num conjunto de 25 trabalhos, como os alunos relacionam os discursos textuais e imag?ticos. Para isso, cotejamos os enfoques de cada discurso, a fim de verificar a poss?vel coer?ncia entre ambos. Conclu?mos assim que no modelo de TFG da USP a coer?ncia entre os textos e os desenhos ? mais clara que no modelo adotado na UFRN
23

Vizualizace výrazů procesní algebry pi-kalkul / Visual Representation of Pi-Calculus Expressions

Prokopová, Dagmar January 2017 (has links)
This work deals with the problem of visual representation of Pi-calculus expressions. The theoretical part of this paper discusses general principles of process algebras as well as specific properties of individual models, with a focus on Pi-calculus. Also included is the comparison of several text and graphical representations of expressions. The main part of the thesis deals with the design and implementation of an application for converting text representation of expressions into graphical representation. In addition to the text and graphical representation, an internal tree representation designed to work with expressions within the application is also proposed. The thesis also describes algorithms for finding feasible reductions, performing reductions and expression simplification that operate with the proposed tree representation.
24

Visualisierung von Service-Frontends in einem Werkzeug zur präsentationsorientierten Komposition annotierter Dienste / Graphical Representation of Service-Frontends in a Tool for presentation-oriented Composition of annotated Services.

Dannecker, Lars 11 January 2010 (has links) (PDF)
Das Ziel des ServFace Projektes ist es Endnutzern ohne umfangreiche IT-Kenntnisse das einfache Erstellen von servicebasierten Anwendungen zu ermöglichen. Dazu wird ein Kompositions- werkzeug mit dem Namen “ServFace Builder“ verwendet. Das Werkzeug erlaubt es Endnutzern, interaktive Anwendungen durch die Komposition von Service-Operationen zu erstellen. Dafür ist eine grafische Repräsentation der Service-Operationen durch UI-Fragmente notwendig. Die UI-Fragmente werden im ServFace-Umfeld als Frontends bezeichnet. In der vorliegenden Arbeit wird ein Konzept zur automatischen Visualisierung dieser Frontends vorgestellt. Um das Ergebnis der Visualisierung zu verbessern, nutzt der Visualisierungsprozess neben der Service-Beschreibung weitere Informationen in Form von Annotationen und Gestaltungsempfehlungen. Konkret werden die folgenden Aspekte in dieser Arbeit beschrieben: • Visualisierung von Frontends zur Repräsentation von Service-Operationen auf Basis von Service-Beschreibungen, Annotationen, Plattformspezifikationen und Gestaltungsempfehlungen unter der Maßgabe der Gebrauchstauglichkeit und Nutzbarkeit. • Integration der Frontends in die jeweils aktuelle Instanzen des gegebenen Anwendungsmodells. • Technische Umsetzung und Evaluation der entwickelten Konzepte / The aim of the ServFace Project is to enable users with limited IT skills to easily create service-based applications. In order to do so, a tool called "ServFace Builder" has been developed. This tool allows users to build a composite application by combining several service operations. An important part of the ServFace Builder is the graphical representation of those service operations through user interfaces. This thesis describes an approach to automatically generate user interfaces for service operations. To enhance the graphical representation, the user interface generation process of the ServFace Builder comprises annotations and design recommendations next to the common service descriptions to enhance the result of the generation process. This thesis discusses: • Graphical representation of service operations on the basis of service descriptions, annotations, plattform specifications and design recommendations. • Integration of the graphical representation into the actual instance of the given application model. • Implementation and evaluation of the presented concepts.
25

Modellbildung dynamischer Systeme mittels Leistungsfluß / Power flow based modelling of dynamical systems

Geitner, Gert-Helge 23 October 2012 (has links) (PDF)
Im Beitrag wird zunächst die konventionelle auf Signalflüssen basierte Modellbildung mit modernen leistungsflussbasierten Methoden, die auf dem Prinzip von Aktion und Reaktion aufbauen, verglichen. BG (Bond Graph), POG (Power Oriented Graph) und EMR (Energetic Macroscopic representation) sind solche modernen Methoden die den Leistungsaustausch zwischen Teilsystemen als Grundlage für den Modellbildungsansatz nutzen. Diese Werkzeuge erhalten die physikalische Struktur, erlauben es in das dynamische System hineinzuschauen und unterstützen das Verständnis des Leistungsflusses. Unterschiede werden anhand verschiedener Eigenschaften in einer Tabelle angegeben. Nach Erläuterung der Grundlagen zu POG und BG erfolgt die Vorstellung einer Freeware Zusatzbibliothek zur Simulation von Bondgraphen. Spezielle Eigenschaften werden kurz umrissen. Diese Blockbibliothek läuft unter Simulink, besteht aus nur 9 mittels Menü konfigurierbaren Blöcken und realisiert bidirektionale Verbindungen. Die Beispiele Gleichstrommotor, Pulssteller und elastische Welle demonstrieren die Vorteile der leistungsflussorientierten Modellbildung. Zustandsregelung, Energieeffizienz und Simulink LTI Analysewerkzeuge führen in die Anwendung der vorgestellten Simulink Zusatzbibliothek für Bondgraphen ein. / The paper starts with a comparison of the conventional modelling method based on signal flow and modern power flow oriented modelling methods based on the principle of action and reaction. BG (Bond Graph), POG (Power Oriented Graph) and EMR (Energetic Macroscopic representation) are such modern methods based on the power exchange between partial systems as a key element for the basic modelling approach. These tools preserve the physical structure, enable a view inside dynamical systems and support understanding the power flow. Relationships between these graphical representations will be given. After the explanation of basics for POG and BG an overview and special features of a freeware add-on library for simulation of BGs will be outlined. The block library runs under Simulink, consists of nine menu-driven customised blocks only and realises bidirectional connections. Examples DC motor, chopper and elastic shaft demonstrate the advantages of power flow oriented modelling. State space control, energy efficiency and Simulink LTI analysis tools exemplify the application of the presented Simulink add-on BG library.
26

EU:s nya varumärkesdefinition : En utredning av vad borttagandet av kravet på grafisk återgivning kommer att innebära för möjligheten att registrera okonventionella varumärken / The new trade mark definition in the EU : An investigation of the effects the removal of the requirement for graphical representation will have on the possibility to register non-conventional trade marks

Fredriksson, Mathilda, Petersson, Frida January 2017 (has links)
Sedan det första steget togs mot en harmoniserad varumärkesrätt inom EU har grafisk återgivning varit ett krav vid registrering av varumärken, men kravet på grafisk återgivning försvinner i och med EU:s nya varumärkesreform. Syftet med denna uppsats är att belysa och utreda vad detta kommer att innebära för möjligheten att registrera okonventionella varumärken. Utredningen är inriktad på följande okonventionella varumärken: doftmärken, smakmärken, ljudmärken, känselmärken, rörelsemärken och hologram. Syftet med kravet på grafisk återgivning har varit att föremålet för varumärkesskyddet ska fastställas på ett exakt sätt, men kravet har lett till att okonventionella varumärken, särskilt sådana som inte kan uppfattas visuellt, har varit svåra att registrera. Genom en granskning av äldre rättspraxis på området identifieras de specifika problem, avseende den grafiska återgivningen, som finns för vart och ett av de utvalda okonventionella varumärkena. Resultatet av granskningen ligger, tillsammans med en analys av den ändrade varumärkesdefinitionen, till grund för utredningen av de konsekvenser som ändringarna, särskilt borttagandet av kravet på grafisk återgivning, kommer att få för möjligheten att registrera okonventionella varumärken. Resultatet av analysen indikerar att möjligheten att registrera okonventionella varumärken kommer att öka i och med att det framförallt är den grafiska återgivningen som har orsakat problemen vid registrering. En teknikneutral återgivning gör det möjligt att använda nya återgivningsmetoder, vilket i sin tur leder till att de krav som ställs på återgivningen, bland annat att den ska vara klar och lättillgänglig, kan uppfyllas på ett bättre sätt än tidigare. / Graphical representation has been a requirement for registration of non-conventional trade marks since the first step was taken towards a harmonized trade mark regulation in the EU. The requirement for graphical representation was removed as a result of the new trade mark reform. The purpose of this thesis is to illuminate and investigate how the removal of the requirement for graphical representation will affect the possibility to register non-conventional trade marks. The investigation focuses on the following non-conventional trade marks: scent marks, taste marks, sound marks, touch marks, motion marks and holograms. The purpose of the requirement for graphical representation has been to determine the precise nature and extent of the protection that the registered mark provides to its proprietor. However, the requirement has led to difficulties regarding registration of non-conventional trade marks, especially trade marks that cannot be perceived visually. The specific problems, regarding graphical representation, for each one of the selected trade marks, are identified through a review of earlier case-law. The result of the review of the earlier case-law and a review of the new trade mark definition, make up the foundation of the analysis of the consequences the removal of the graphical representation will have on the possibility to register non-conventional trade marks. The result of the analysis indicates that the possibility to register non-conventional trade marks will increase as a result of the removal of the requirement for graphical representation, as it is the graphical representation that has caused most problems for non-conventional trade marks during the registration process. As there is no longer a requirement for the representation to be graphical, it will be possible to use new methods for representation. This will in turn lead to that the criteria the representation must meet, for example that it must be clear and easily accessible, can be better achieved than before.
27

Visualisierung von Service-Frontends in einem Werkzeug zur präsentationsorientierten Komposition annotierter Dienste

Dannecker, Lars 16 November 2009 (has links)
Das Ziel des ServFace Projektes ist es Endnutzern ohne umfangreiche IT-Kenntnisse das einfache Erstellen von servicebasierten Anwendungen zu ermöglichen. Dazu wird ein Kompositions- werkzeug mit dem Namen “ServFace Builder“ verwendet. Das Werkzeug erlaubt es Endnutzern, interaktive Anwendungen durch die Komposition von Service-Operationen zu erstellen. Dafür ist eine grafische Repräsentation der Service-Operationen durch UI-Fragmente notwendig. Die UI-Fragmente werden im ServFace-Umfeld als Frontends bezeichnet. In der vorliegenden Arbeit wird ein Konzept zur automatischen Visualisierung dieser Frontends vorgestellt. Um das Ergebnis der Visualisierung zu verbessern, nutzt der Visualisierungsprozess neben der Service-Beschreibung weitere Informationen in Form von Annotationen und Gestaltungsempfehlungen. Konkret werden die folgenden Aspekte in dieser Arbeit beschrieben: • Visualisierung von Frontends zur Repräsentation von Service-Operationen auf Basis von Service-Beschreibungen, Annotationen, Plattformspezifikationen und Gestaltungsempfehlungen unter der Maßgabe der Gebrauchstauglichkeit und Nutzbarkeit. • Integration der Frontends in die jeweils aktuelle Instanzen des gegebenen Anwendungsmodells. • Technische Umsetzung und Evaluation der entwickelten Konzepte / The aim of the ServFace Project is to enable users with limited IT skills to easily create service-based applications. In order to do so, a tool called "ServFace Builder" has been developed. This tool allows users to build a composite application by combining several service operations. An important part of the ServFace Builder is the graphical representation of those service operations through user interfaces. This thesis describes an approach to automatically generate user interfaces for service operations. To enhance the graphical representation, the user interface generation process of the ServFace Builder comprises annotations and design recommendations next to the common service descriptions to enhance the result of the generation process. This thesis discusses: • Graphical representation of service operations on the basis of service descriptions, annotations, plattform specifications and design recommendations. • Integration of the graphical representation into the actual instance of the given application model. • Implementation and evaluation of the presented concepts.
28

Using ClassPad-technology in the education of students of electrical engineering (Fourier- and Laplace-Transformation)

Paditz, Ludwig 09 May 2012 (has links) (PDF)
By the help of several examples the interactive work with the ClassPad330 is considered. The student can solve difficult exercises of practical applications step by step using the symbolic calculation and the graphic possibilities of the calculator. Sometimes several fields of mathematics are combined to solve a problem. Let us consider the ClassPad330 (with the actual operating system OS 03.03) and discuss on some new exercises in analysis, e.g. solving a linear differential equation by the help of the Laplace transformation and using the inverse Laplace transformation or considering the Fourier transformation in discrete time (the Fast Fourier Transformation FFT and the inverse FFT). We use the FFT- and IFFT-function to study periodic signals, if we only have a sequence generated by sampling the time signal. We know several ways to get a solution. The techniques for studying practical applications fall into the following three categories: analytic, graphic and numeric. We can use the Classpad software in the handheld or in the PC (ClassPad emulator version of the handheld).
29

Modellbildung dynamischer Systeme mittels Leistungsfluß

Geitner, Gert-Helge January 2009 (has links)
Im Beitrag wird zunächst die konventionelle auf Signalflüssen basierte Modellbildung mit modernen leistungsflussbasierten Methoden, die auf dem Prinzip von Aktion und Reaktion aufbauen, verglichen. BG (Bond Graph), POG (Power Oriented Graph) und EMR (Energetic Macroscopic representation) sind solche modernen Methoden die den Leistungsaustausch zwischen Teilsystemen als Grundlage für den Modellbildungsansatz nutzen. Diese Werkzeuge erhalten die physikalische Struktur, erlauben es in das dynamische System hineinzuschauen und unterstützen das Verständnis des Leistungsflusses. Unterschiede werden anhand verschiedener Eigenschaften in einer Tabelle angegeben. Nach Erläuterung der Grundlagen zu POG und BG erfolgt die Vorstellung einer Freeware Zusatzbibliothek zur Simulation von Bondgraphen. Spezielle Eigenschaften werden kurz umrissen. Diese Blockbibliothek läuft unter Simulink, besteht aus nur 9 mittels Menü konfigurierbaren Blöcken und realisiert bidirektionale Verbindungen. Die Beispiele Gleichstrommotor, Pulssteller und elastische Welle demonstrieren die Vorteile der leistungsflussorientierten Modellbildung. Zustandsregelung, Energieeffizienz und Simulink LTI Analysewerkzeuge führen in die Anwendung der vorgestellten Simulink Zusatzbibliothek für Bondgraphen ein.:Modellbildung dynamischer Systeme mittels Leistungsfluß 1. Leistungsfluß versus Signalfluß 2. Konjugierte Leistungsvariablen und Kausalität 3. Grundlagen Leistungsfluß orientierter Modellierung 3.1 Definitionen zum POG (Power Oriented Graph) 3.2 Definitionen zu Grundelementen für Bondgraphen (BG) 4. Freeware Bibliothek zur Simulation von Bondgraphen 4.1 Übersicht und Nutzerfreundlichkeit 4.2 Besonderheiten 5. Beispiele 5.1 Gleichstrommotor mit starrer Welle 5.2 Elastische Welle 5.3 Eingangsfilter und Pulssteller 5.4 Vereinfachter Antriebsstrang 6. Anwendung der Simulink Bondgraph Blockbibliothek 6.1 Beispiel elastische Welle 6.2 Zustandsregelung 6.3 Energieeffizienz 6.4 Simulink Analysewerkzeuge 7. Vorteile im Überblick / The paper starts with a comparison of the conventional modelling method based on signal flow and modern power flow oriented modelling methods based on the principle of action and reaction. BG (Bond Graph), POG (Power Oriented Graph) and EMR (Energetic Macroscopic representation) are such modern methods based on the power exchange between partial systems as a key element for the basic modelling approach. These tools preserve the physical structure, enable a view inside dynamical systems and support understanding the power flow. Relationships between these graphical representations will be given. After the explanation of basics for POG and BG an overview and special features of a freeware add-on library for simulation of BGs will be outlined. The block library runs under Simulink, consists of nine menu-driven customised blocks only and realises bidirectional connections. Examples DC motor, chopper and elastic shaft demonstrate the advantages of power flow oriented modelling. State space control, energy efficiency and Simulink LTI analysis tools exemplify the application of the presented Simulink add-on BG library.:Modellbildung dynamischer Systeme mittels Leistungsfluß 1. Leistungsfluß versus Signalfluß 2. Konjugierte Leistungsvariablen und Kausalität 3. Grundlagen Leistungsfluß orientierter Modellierung 3.1 Definitionen zum POG (Power Oriented Graph) 3.2 Definitionen zu Grundelementen für Bondgraphen (BG) 4. Freeware Bibliothek zur Simulation von Bondgraphen 4.1 Übersicht und Nutzerfreundlichkeit 4.2 Besonderheiten 5. Beispiele 5.1 Gleichstrommotor mit starrer Welle 5.2 Elastische Welle 5.3 Eingangsfilter und Pulssteller 5.4 Vereinfachter Antriebsstrang 6. Anwendung der Simulink Bondgraph Blockbibliothek 6.1 Beispiel elastische Welle 6.2 Zustandsregelung 6.3 Energieeffizienz 6.4 Simulink Analysewerkzeuge 7. Vorteile im Überblick
30

Using ClassPad-technology in the education of students of electricalengineering (Fourier- and Laplace-Transformation)

Paditz, Ludwig 09 May 2012 (has links)
By the help of several examples the interactive work with the ClassPad330 is considered. The student can solve difficult exercises of practical applications step by step using the symbolic calculation and the graphic possibilities of the calculator. Sometimes several fields of mathematics are combined to solve a problem. Let us consider the ClassPad330 (with the actual operating system OS 03.03) and discuss on some new exercises in analysis, e.g. solving a linear differential equation by the help of the Laplace transformation and using the inverse Laplace transformation or considering the Fourier transformation in discrete time (the Fast Fourier Transformation FFT and the inverse FFT). We use the FFT- and IFFT-function to study periodic signals, if we only have a sequence generated by sampling the time signal. We know several ways to get a solution. The techniques for studying practical applications fall into the following three categories: analytic, graphic and numeric. We can use the Classpad software in the handheld or in the PC (ClassPad emulator version of the handheld).

Page generated in 0.5264 seconds