Thematische Bibliographien / UML Graph / Dissertationen
Um die anderen Arten von Veröffentlichungen zu diesem Thema anzuzeigen, folgen Sie diesem Link: UML Graph.

Dissertationen zum Thema „UML Graph“

Autor: Grafiati
Veröffentlicht am 28. Juni 2021
Zuletzt aktualisiert am 29. Juli 2025

Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an

Wählen Sie eine Art der Quelle aus:

Machen Sie sich mit Top-50 Dissertationen für die Forschung zum Thema "UML Graph" bekannt.

Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.

Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.

Sehen Sie die Dissertationen für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.

1

Ziemann, Paul. "An integrated operational semantics for a UML core based on graph transformation /." Berlin : Logos-Verl, 2006. http://deposit.ddb.de/cgi-bin/dokserv?id=2774091&prov=M&dok_var=1&dok_ext=htm.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
2

Ziemann, Paul. "An integrated operational semantics for a UML core based on graph transformation." Berlin Logos-Verl, 2005. http://deposit.ddb.de/cgi-bin/dokserv?id=2774091&prov=M&dok_var=1&dok_ext=htm.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
3

El, Musleh Mohammad. "Transformation of UML State Machine Diagram into Graph Database to Generate Test Cases." Thesis, Uppsala universitet, Institutionen för informationsteknologi, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-426060.

Der volle Inhalt der Quelle
Annotation:
The manual approach in software testing is considered as expensive, error-prone, and time-consuming activity since it depends highly on the test engineers. As well, the process of software testing requires proper planning and resources to design the test cases. For this reason, any approach that can be used to enhance or automate the current testing process is necessary. This thesis introduces an approach to transform the Unified Modeling Language (UML) behavioral state machines diagram into a graph database inside Neo4j, a graph database software. Moreover, a framework is proposed that fetche
APA, Harvard, Vancouver, ISO und andere Zitierweisen
4

O'Keefe, Greg, and gregokeefe@netspace net au. "The Meaning of UML Models." The Australian National University. Computer Science Laboratory, Research School of Information Sciences and Engineering, 2010. http://thesis.anu.edu.au./public/adt-ANU20100614.175427.

Der volle Inhalt der Quelle
Annotation:
The Unified Modelling Language (UML) is intended to express complex ideas in an intuitive and easily understood way. It is important because it is widely used in software engineering and other disciplines. Although an official definition document exists, there is much debate over the precise meaning of UML models. ¶ In response, the academic community have put forward many different proposals for formalising UML, but it is not at all obvious how to decide between them. Indeed, given that UML practitioners are inclined to reject formalisms as non-intuitive, it is not even obvious that the defin
APA, Harvard, Vancouver, ISO und andere Zitierweisen
5

Amer, Hoda. "Automatic transformation of UML software specification into LQN performance models using graph grammar techniques." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2001. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/MQ61015.pdf.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
6

Liu, Yun. "UML 2.0 with VizzAnalyzer - Visualization of class diagrams." Thesis, Växjö University, School of Mathematics and Systems Engineering, 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:vxu:diva-1589.

Der volle Inhalt der Quelle
Annotation:
<p>Abstract</p><p>The program analysis tool, VizzAnalyzer, works good for visualizing the program structure as graphs, but currently it does not allow for a UML conform visualization, which allows a effective communication among software engineers. In this thesis we describe the extension of the VizzAnalyzer to allow the visualization of software systems as UML class diagrams.</p><p>The Eclipse platform provides an open source platform for creating an extensible integrated development environment. We create a plug-in that can be seamlessly integrated in the Eclipse platform through the third p
APA, Harvard, Vancouver, ISO und andere Zitierweisen
7

Wang, Chao. "Grail to XMI and Back." Thesis, Växjö University, School of Mathematics and Systems Engineering, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:vxu:diva-2298.

Der volle Inhalt der Quelle
Annotation:
<p>Grail is an open source graph library, which is developed at the MSI of Växjö University, tools like the VizzAnalyzer and vizz3d use Grail for representing their internal structures.</p><p>In this thesis, an adapter serializing and deserializing Grail graphs to and from XMI is introduced. XMI is short for XML Metadata Interchange; it is developed by the Object Management Group (OMG).</p>
APA, Harvard, Vancouver, ISO und andere Zitierweisen
8

af, Sandeberg Joakim. "Graphical system visualization and flow display : A visual representation of an authentication, authorization, and accounting backend." Thesis, KTH, Skolan för informations- och kommunikationsteknik (ICT), 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-190007.

Der volle Inhalt der Quelle
Annotation:
Displaying the architecture of a software system is not a simple task. Showing all of the available information will unnecessarily complicate the view, while showing too little might render the view unhelpful. Furthermore, showing the dynamics of the operation of such a system is even more challenging. This thesis project describes the development of a graphical tool that can both display the configuration of an advanced authentication, authorization, and accounting (AAA) system and the messages passed between nodes in the system.  The solution described uses force-based graph layouts coupled
APA, Harvard, Vancouver, ISO und andere Zitierweisen
9

Ondrák, Lukáš. "Převod UML diagramů mezi Visual Paradigm a textovými formáty." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2021. http://www.nusl.cz/ntk/nusl-445491.

Der volle Inhalt der Quelle
Annotation:
This master's thesis deals with possibilities of modifying and extending functionality of Visual Paradigm with plug-ins as well as the study of tools for creating UML diagrams. The primary goal of this thesis is to describe graphical tools and simultaneously, the less known variants of creating UML diagrams. Those are tools that process text UML formats. Special attention is given to text tool PlantUML and to the graphical tool Visual Paradigm. Furthermore, the thesis deals with use of the Visual Paradigm open interface for programmers to create plug-ins. The main output is an implemented plug
APA, Harvard, Vancouver, ISO und andere Zitierweisen
10

Turki, Skander. "Ingénierie système guidée par les modèles : Application du standard IEEE 15288, de l'architecture MDA et du langage SysML à la conception des systèmes mécatroniques." Phd thesis, Toulon, 2008. https://theses.hal.science/tel-00344722/fr/.

Der volle Inhalt der Quelle
Annotation:
La conception des systèmes mécatroniques, vu leur complexité, nécessite d'entreprendre une approche systémique qui implique l'utilisation d'une méthodologie permettant, en premier lieu, de considérer le système avec toutes ces composantes (mécanique, électronique, informatique, etc. ), de concevoir et de spécifier ce système par la définition de ces composants et des liens qui existent entre eux. D'autre part, elle doit aussi donner la possibilité de décrire ces composants avec les outils existants des différents domaines technologiques. Nous nous sommes tournés vers des technologies orientées
APA, Harvard, Vancouver, ISO und andere Zitierweisen
11

Ouelhadj, Sarra. "Définition d'un processus durable pour l’enrichissement sémantique des open data territoriales." Electronic Thesis or Diss., Lyon 1, 2025. http://www.theses.fr/2025LYO10014.

Der volle Inhalt der Quelle
Annotation:
Avec l'essor des technologies de l'information et le mouvement Open Data, l'accessibilité aux données publiques a fortement progressé, encouragée par des initiatives visant à accroître la transparence et l'innovation. Cependant, malgré ces avancées, les défis d'interopérabilité des données demeurent, notamment en raison de l'hétérogénéité des données. La Métropole de Lyon, engagée dans une politique d'ouverture des données, a reconnu ces enjeux, mais les obstacles liés à l'hétérogénéité sémantique des données limitent la capacité à intégrer et exploiter pleinement les données territoriales dis
APA, Harvard, Vancouver, ISO und andere Zitierweisen
12

Turki, Skander. "Ingénierie système guidée par les modèles : Application du standard IEEE 15288, de l'architecture MDA et du langage SysML à la conception des systèmes mécatroniques." Phd thesis, Université du Sud Toulon Var, 2008. http://tel.archives-ouvertes.fr/tel-00344722.

Der volle Inhalt der Quelle
Annotation:
La conception des systèmes mécatroniques, vu leur complexité, nécessite d'entreprendre une approche systémique qui implique l'utilisation d'une méthodologie permettant, en premier lieu, de considérer le système avec toutes ces composantes (mécanique, électronique, informatique, etc.), de concevoir et de spécifier ce système par la définition de ces composants et des liens qui existent entre eux. D'autre part, elle doit aussi donner la possibilité de décrire ces composants avec les outils existants des différents domaines technologiques. Nous nous sommes tournés vers des technologies orientées-
APA, Harvard, Vancouver, ISO und andere Zitierweisen
13

Lucca, Luiz Carlos. "GGraph: Uma ferramenta para aplicações que envolvem grafos." Universidade de São Paulo, 2012. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-14032013-145240/.

Der volle Inhalt der Quelle
Annotation:
Diversas são as aplicações que podem ser expressas por meio de grafos [2]. Algoritmos [3] e modelos de visualização [15] podem ser encontrados amplamente na literatura. Todos os problemas de grafos possuem uma base em comum: um modelo genérico que nasce da própria natureza dos elementos e das relações que podem ser expressas entre eles, diferindo apenas pelo tipo de resposta que queremos obter desta complexa malha. Além disso, é natural que, para problemas que sejam de áreas distintas, mas que sejam semelhantes quanto ao processamento interno, apenas o que mude, seja a visualização dos element
APA, Harvard, Vancouver, ISO und andere Zitierweisen
14

Srinivaasan, Gayathri. "Malicious Entity Categorization using Graph modelling." Thesis, KTH, Skolan för informations- och kommunikationsteknik (ICT), 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-202980.

Der volle Inhalt der Quelle
Annotation:
Today, malware authors not only write malicious software but also employ obfuscation, polymorphism, packing and endless such evasive techniques to escape detection by Anti-Virus Products (AVP). Besides the individual behavior of malware, the relations that exist among them play an important role for improving malware detection. This work aims to enable malware analysts at F-Secure Labs to explore various such relationships between malicious URLs and file samples in addition to their individual behavior and activity. The current detection methods at F-Secure Labs analyze unknown URLs and file s
APA, Harvard, Vancouver, ISO und andere Zitierweisen
15

Obando, Forero Catalina. "Statistical graph models of temporal brain networks." Electronic Thesis or Diss., Sorbonne université, 2018. https://accesdistant.sorbonne-universite.fr/login?url=https://theses-intra.sorbonne-universite.fr/2018SORUS454.pdf.

Der volle Inhalt der Quelle
Annotation:
La discipline encore naissante des réseaux complexes est vecteur d’un changement de paradigme dans la neuroscience. Les connectomes estimés à partir de mesures de neuroimagerie comme l’électroencéphalographie, la magnétoencéphalographie ou encore l’imagerie par résonance magnétique fonctionnelle fournissent une représentation abstraite du cerveau sous la forme d’un graphe, ce qui a permis des percées décisives dans la compréhension compacte et objective des propriétés topologiques et physiologiques des cerveaux sains. Cependant, les approches de pointe ignorent souvent l'incertitude et la natu
APA, Harvard, Vancouver, ISO und andere Zitierweisen
16

Albin, Aaron. "Building an online UMLS knowledge discovery platform using graph indexing." The Ohio State University, 2014. http://rave.ohiolink.edu/etdc/view?acc_num=osu1398946883.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
17

Li, Yifan. "Edge partitioning of large graphs." Electronic Thesis or Diss., Paris 6, 2017. https://accesdistant.sorbonne-universite.fr/login?url=https://theses-intra.sorbonne-universite.fr/2017PA066346.pdf.

Der volle Inhalt der Quelle
Annotation:
Dans cette thèse nous étudions un problème fondamental, le partitionnement de graphe, dans le contexte de la croissance rapide des données, le volume des données continues à augmenter, allant des réseaux sociaux à l'internet des objets. En particulier, afin de vaincre les propriétés intraitables existant dans de nombreuses graphies, par exemple, la distribution des degrés en loi de puissance, nous appliquons un nouveau mode pour coupe de sommet, à la place de la méthode traditionnelle (coupe de bord), ainsi que pour assurer une charge de travail équilibrée et raisonnablement dans le traitement
APA, Harvard, Vancouver, ISO und andere Zitierweisen
18

Bertei, Alex. "Uma abordagem relacional para gramática de grafos Fuzzy." Universidade Federal de Pelotas, 2017. http://repositorio.ufpel.edu.br:8080/handle/prefix/3838.

Der volle Inhalt der Quelle
Annotation:
Submitted by Aline Batista (alinehb.ufpel@gmail.com) on 2018-04-18T14:30:20Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_Alex_Bertei.pdf: 2631033 bytes, checksum: 64d9253595f75230a7d83432fb89d6e9 (MD5)<br>Approved for entry into archive by Aline Batista (alinehb.ufpel@gmail.com) on 2018-04-19T14:42:33Z (GMT) No. of bitstreams: 2 Dissertacao_Alex_Bertei.pdf: 2631033 bytes, checksum: 64d9253595f75230a7d83432fb89d6e9 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5)<br>Made available in DSpace on 2018-04-1
APA, Harvard, Vancouver, ISO und andere Zitierweisen
19

JOSHI, ABHIJIT PURSHOTTAM. "CONTEXTUAL DECOMPOSITION OF WEB RESOURCES: APPLYING SEMANTIC GRAPH ANALYSIS TO PERSONAL URL SETS." University of Cincinnati / OhioLINK, 2003. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1070633035.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
20

Joshi, Abhijit P. "Contextual decomposition of web resources applying semantic graph analysis to personal URL sets /." Cincinnati, Ohio : University of Cincinnati, 2002. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=ucin.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
21

Nikjoo, Soukhtabandani Ali. "Partial shape matching using CCP map and weighted graph transformation matching." Thesis, Université Laval, 2014. http://www.theses.ulaval.ca/2014/30611/30611.pdf.

Der volle Inhalt der Quelle
Annotation:
La détection de la similarité ou de la différence entre les images et leur mise en correspondance sont des problèmes fondamentaux dans le traitement de l'image. Pour résoudre ces problèmes, on utilise, dans la littérature, différents algorithmes d'appariement. Malgré leur nouveauté, ces algorithmes sont pour la plupart inefficaces et ne peuvent pas fonctionner correctement dans les situations d’images bruitées. Dans ce mémoire, nous résolvons la plupart des problèmes de ces méthodes en utilisant un algorithme fiable pour segmenter la carte des contours image, appelée carte des CCPs, et une nou
APA, Harvard, Vancouver, ISO und andere Zitierweisen
22

Silva, J?nior Odilon Magno da. "Colora??o em grafos: uma experi?ncia no ensino m?dio." Universidade Federal Rural do Rio de Janeiro, 2016. https://tede.ufrrj.br/jspui/handle/jspui/1864.

Der volle Inhalt der Quelle
Annotation:
Submitted by Celso Magalhaes (celsomagalhaes@ufrrj.br) on 2017-07-11T12:30:26Z No. of bitstreams: 1 2016 - Odilon Magno da Silva J?nior.pdf: 3269429 bytes, checksum: b0bdf0f0a5612790959d29453f0ac06d (MD5)<br>Made available in DSpace on 2017-07-11T12:30:26Z (GMT). No. of bitstreams: 1 2016 - Odilon Magno da Silva J?nior.pdf: 3269429 bytes, checksum: b0bdf0f0a5612790959d29453f0ac06d (MD5) Previous issue date: 2016-08-03<br>The main objective of this work is to describe an experience with problems related to graph coloring with a group of 2nd year high school students. The survey worked wit
APA, Harvard, Vancouver, ISO und andere Zitierweisen
23

Tackx, Raphaël. "Analyse de la structure communautaire des réseaux bipartis." Electronic Thesis or Diss., Sorbonne université, 2018. https://accesdistant.sorbonne-universite.fr/login?url=https://theses-intra.sorbonne-universite.fr/2018SORUS550.pdf.

Der volle Inhalt der Quelle
Annotation:
Il existe dans le monde réel un nombre important de réseaux qui apparaissent naturellement, on les retrouve un peu partout, dans de nombreuses disciplines, par exemple en informatique avec les réseaux de routeurs, les réseaux de satellites, les réseaux de pages Web, en biologie avec les réseaux des neurones, en écologie avec les réseaux d’interactions biologiques, en linguistiques avec les réseaux de synonymes, en droit avec les réseaux de décisions juridiques, en économie avec les réseaux interbancaires, en sciences humaines avec les réseaux sociaux. De manière générale, un réseau reflète les
APA, Harvard, Vancouver, ISO und andere Zitierweisen
24

Pretz, Eduardo. "Uma metodologia de modelagem de sistemas computacionais baseada em gramáticas de grafos." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2000. http://hdl.handle.net/10183/70704.

Der volle Inhalt der Quelle
Annotation:
Vários métodos de especificação procuram realizar a modelagem de sistemas sob três visões: uma visão funcional, que procura apresentar as informações que trafegam entre os diversos componentes do sistema, uma visão de dados, que apresenta as relações entre as estruturas de dados estáticas do sistema e a visão dinâmica, que mostra as transformações que o sistema pode sofrer ao longo do tempo. Alguns modelos procuram integrar mais de uma visão, mas, em geral, os modelos possuem sérias deficiências ao tentarem representar mais de um aspecto do sistema ao mesmo tempo, sendo necessário o apoio de o
APA, Harvard, Vancouver, ISO und andere Zitierweisen
25

You, Di. "Attributed Multi-Relational Attention Network for Fact-checking URL Recommendation." Digital WPI, 2019. https://digitalcommons.wpi.edu/etd-theses/1321.

Der volle Inhalt der Quelle
Annotation:
To combat fake news, researchers mostly focused on detecting fake news and journalists built and maintained fact-checking sites (e.g., Snopes.com and Politifact.com). However, fake news dissemination has been greatly promoted by social media sites, and these fact-checking sites have not been fully utilized. To overcome these problems and complement existing methods against fake news, in this thesis, we propose a deep-learning based fact-checking URL recommender system to mitigate impact of fake news in social media sites such as Twitter and Facebook. In particular, our proposed framework consi
APA, Harvard, Vancouver, ISO und andere Zitierweisen
26

Silva, Itamar Pífano. "Modelagem e identificação de uma máquina de extrusão através de bond-graphs." Instituto Tecnológico de Aeronáutica, 2005. http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=249.

Der volle Inhalt der Quelle
Annotation:
Este trabalho tem como objetivo a modelagem por grafo de ligação (Bond Graph) de uma máquina de extrusão de borracha para pneumáticos e a identificação experimental dos parâmetros do modelo BG. Esta modelagem possibilita modelos contínuos no espaço de estados que podem ser convertidos para modelos contínuos em função de transferência. A metodologia de identificação de sistemas fornece modelos discretos de função de transferência que podem ser convertidos, apropriadamente, em modelos contínuos em função de transferência, sendo esses comparados com os modelos contínuos em função de transferência
APA, Harvard, Vancouver, ISO und andere Zitierweisen
27

Dias, Delane Pereira de Oliveira. "Uma ferramenta para a visualização de ESTs." Universidade de São Paulo, 2007. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-08052007-100008/.

Der volle Inhalt der Quelle
Annotation:
Expressed Sequence Tags (ESTs) são amostras de trechos de genes, que funcionam como moldes na síntese de proteínas. Como a quantidade de ESTs coletados nos últimos anos é muito grande, o uso de computadores tornou-se imprescindível para a identificação de genes, proteínas e para a descoberta de genes homólogos. Este trabalho propõe uma metodologia e implementa uma ferramenta para a visualização de ESTs através de um grafo para auxiliar biólogos na exploração e na descoberta de conhecimento sobre estas seqüências. A metodologia inclui agrupamento usando um programa montador de seqüências e, con
APA, Harvard, Vancouver, ISO und andere Zitierweisen
28

Mansard, Alexandre. "Automates infinis et traces de Mazurkiewicz." Thesis, La Réunion, 2020. https://elgebar.univ-reunion.fr/login?url=http://thesesenligne.univ.run/20_22_A_Mansard.pdf.

Der volle Inhalt der Quelle
Annotation:
Nous introduisons la notion de régularité par niveaux pour des langages de traces de Mazurkiewicz et nous considérons des systèmes reconnaissables de réécriture de traces, à contextes réguliers par niveaux (RTL). Nous prouvons qu’un automate dont le graphe sous-jacent est le graphe de réécriture d’un système RTL et dont les ensembles de sommets initiaux et finaux sont réguliers par niveaux (automate RTL), est mot-automatique. En particulier, la théorie du premier ordre d’un automate RTL est décidable. Ensuite, nous prouvons que, enrichi de la relation d’accessibilité, un automate dont le graph
APA, Harvard, Vancouver, ISO und andere Zitierweisen
29

Medrado, Ramon Gomes. "Formalização de uma linguagem visual para descrição de sistemas biológicos." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2009. http://hdl.handle.net/10183/27661.

Der volle Inhalt der Quelle
Annotation:
Vias biológicas representam interações entre entidades químicas complexas (proteínas, substratos, metabólitos etc.) que ocorrem no nível molecular das células. A representação e compreensão do comportamento destas vias é o principal alvo de estudos da Biologia Sistêmica. Esta área de estudos envolve a construção de modelos matemáticos que possam simular in silico (computacionalmente) o comportamento destes sistemas biológicos verificados in vivo (experimentalmente). Do ponto de vista computacional é evidente que tais sistemas são complexos para abordar e descrever de modo intuitivo. São necess
APA, Harvard, Vancouver, ISO und andere Zitierweisen
30

Chauveau, Emmanuel. "Management des risques dans les projets et les processus logiciel." Bordeaux 1, 2006. http://www.theses.fr/2006BOR13143.

Der volle Inhalt der Quelle
Annotation:
Cette thèse s'intéresse au management des risques dans les projets et processus logiciel. Après avoir fait le point sur l'existant, nous étudions les caractéristiques des risques avant de nous intéresser aux impacts temporels des risques. Nous proposons une méthode permettant de calculer la distribution probabiliste de la durée du projet/processus en fonction de ces risques. Nous developpons ensuite la notion de dépendance entre les risques et les prenons en compte dans le calcul de la durée d'un projet/processus. Enfin nous proposons une modélisation ULM d'un projet/processus avec ses risques
APA, Harvard, Vancouver, ISO und andere Zitierweisen
31

ALVES, Victor Leite. "Caminhos em Grafos: uma experi?ncia no Ensino M?dio." Universidade Federal Rural do Rio de Janeiro, 2016. https://tede.ufrrj.br/jspui/handle/jspui/2005.

Der volle Inhalt der Quelle
Annotation:
Submitted by Jorge Silva (jorgelmsilva@ufrrj.br) on 2017-08-29T17:44:42Z No. of bitstreams: 1 2016 - Victor Leite Alves.pdf: 3650645 bytes, checksum: 38df3227b0440f1bbe6403a506d9a55e (MD5)<br>Made available in DSpace on 2017-08-29T17:44:42Z (GMT). No. of bitstreams: 1 2016 - Victor Leite Alves.pdf: 3650645 bytes, checksum: 38df3227b0440f1bbe6403a506d9a55e (MD5) Previous issue date: 2016-08-03<br>CAPES<br>The aim of this work is to describe an experience using problems on paths in Graphs with students of the first year of high school from two schools through a case study. There were 48 st
APA, Harvard, Vancouver, ISO und andere Zitierweisen
32

Marcoux, Héli. "Jeux de poursuite policier-voleur sur un graphe - Le cas du voleur rapide." Thesis, Université Laval, 2014. http://www.theses.ulaval.ca/2014/30386/30386.pdf.

Der volle Inhalt der Quelle
Annotation:
Les problèmes de recherche sur un graphe peuvent être exprimés sous la forme d’un jeu où un ensemble de chercheurs tentent de capturer un ensemble de fugitifs. Lorsqu’un tel jeu est joué en alternance par les deux ensembles de joueurs, nous parlons alors de jeux des policiers et des voleurs (« Cops and Robbers games ») ou plus simplement de jeux policiers-voleurs. Nowakowski et Winkler [28], et indépendamment Quilliot [45], ont introduit la première version des jeux policiers-voleurs dans laquelle un seul policier tente de capturer un seul voleur, les deux se déplaçant à tour de rôle vers des
APA, Harvard, Vancouver, ISO und andere Zitierweisen
33

Araujo, Marcus Vinicius. "Gráficos estatísticos: uma postura crítica". Universidade Federal de Juiz de Fora (UFJF), 2016. https://repositorio.ufjf.br/jspui/handle/ufjf/3849.

Der volle Inhalt der Quelle
Annotation:
Submitted by Renata Lopes (renatasil82@gmail.com) on 2017-03-24T12:22:13Z No. of bitstreams: 1 marcusviniciusaraujo.pdf: 4473223 bytes, checksum: 20a2e9096b36c11bf249fc1b9983987e (MD5)<br>Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-03-24T12:55:51Z (GMT) No. of bitstreams: 1 marcusviniciusaraujo.pdf: 4473223 bytes, checksum: 20a2e9096b36c11bf249fc1b9983987e (MD5)<br>Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-03-24T12:56:01Z (GMT) No. of bitstreams: 1 marcusviniciusaraujo.pdf: 4473223 bytes, checks
APA, Harvard, Vancouver, ISO und andere Zitierweisen
34

Luong, Hong-Viet. "Construction Incrémentale de Spécifications de Systèmes Critiques intégrant des Procédures de Vérification." Phd thesis, Université Paul Sabatier - Toulouse III, 2010. http://tel.archives-ouvertes.fr/tel-00527631.

Der volle Inhalt der Quelle
Annotation:
Cette thèse porte sur l'aide à la construction de machines d'états UML de systèmes réactifs. Elle vise à définir un cadre théorique et pragmatique pour mettre en oeuvre une approche incrémentale caractérisée par une succession de phases de construction, évaluation et correction de modèles. Ce cadre offre des moyens de vérifier si un nouveau modèle est conforme à ceux définis durant les étapes précédentes sans avoir à demander une description explicite des propriétés à vérifier. Afin de pouvoir analyser les machines d'états, nous leur associons une sémantique LTS ce qui nous a conduit à définir
APA, Harvard, Vancouver, ISO und andere Zitierweisen
35

Malta, Gláucia Helena Sarmento. "Grafos no ensino médio: uma inserção possível." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2008. http://hdl.handle.net/10183/14829.

Der volle Inhalt der Quelle
Annotation:
o objetivo principal deste trabalho é apresentar uma proposta de inserção de Teoria de Grafos no Ensino Médio. Para tanto, será feita uma fundamentação de alguns aspectos acerca da Teoria de Grafos e Resolução de Problemas. Apresentaremos uma prática realizada em dois grupos de segundo ano do Ensino Médio, numa escola particular de Porto Alegre, no ano de 2006. A Teoria de Grafos apresenta aspectos pertinentes que merecem espaço no currículo da Escola Básica. Apresentaremos uma seleção de possíveis atividades a serem implementadas numa perspectiva metodológica de Resolução de Problemas. A esco
APA, Harvard, Vancouver, ISO und andere Zitierweisen
36

Souza, Vera Helena Giusti de. "O uso de vários registros na resolução de inequações: uma abordagem funcional gráfica." Pontifícia Universidade Católica de São Paulo, 2008. https://tede2.pucsp.br/handle/handle/11294.

Der volle Inhalt der Quelle
Annotation:
Made available in DSpace on 2016-04-27T16:58:35Z (GMT). No. of bitstreams: 1 Vera Helena Giusti de Souza.pdf: 12711167 bytes, checksum: 489a773af6271fca8adf323a66895dcd (MD5) Previous issue date: 2008-02-14<br>Unsatisfied with the algebraic resolutions to one unknown inequations presented by most of our sophomore students we decided to research ways of contributing to the teaching of inequations algebraic resolutions by means of a graphic functional approach. While interviewing some Mathematics teachers we realized they did not know such approach. We decided to discuss it in two groups
APA, Harvard, Vancouver, ISO und andere Zitierweisen
37

Silva, Nelson Antonio. "Sobre G-aplicações entre esferas em cohomologia e uma representação do Grafo de Reeb como subcomplexo de uma variedade." Universidade de São Paulo, 2016. http://www.teses.usp.br/teses/disponiveis/55/55135/tde-03012017-104140/.

Der volle Inhalt der Quelle
Annotation:
Bartsch (BARTSCH, 1993) introduziu uma teoria de índice cohomológico, conhecida como o length, para G-espaços, no qual G é um grupo de Lie compacto. Apresentamos o cálculo do length de G-espaços os quais são esferas de cohomologia e G = (Z2)k, (Zp)k ou (S1)k, k &ge; 1. Como consequências, obtemos um teorema de Borsuk-Ulam neste contexto e damos condições suficientes para a existência de aplicações G-equivariantes entre uma esfera de cohomologia e uma esfera de representação quando G = (Zp)<sup<k. Também, uma versão Bourgin-Yang do teorema de Borsuk-Ulam é apresentada. Como segunda parte desta
APA, Harvard, Vancouver, ISO und andere Zitierweisen
38

Pereira, Lilian Lima. "Linhas, pontos e costuras de uma colcha de retalhos: narrativas docentes do cotidiano na escola Grapi?na." Universidade Estadual de Feira de Santana, 2014. http://localhost:8080/tede/handle/tede/74.

Der volle Inhalt der Quelle
Annotation:
Submitted by Natalie Mendes (nataliermendes@gmail.com) on 2015-07-23T00:25:16Z No. of bitstreams: 1 DISSERTA??O LILIAN - REVISADO ap?s revis?o oficial Digital ok.pdf: 2916089 bytes, checksum: 4162cf836466f411aa5b1dcaba2863db (MD5)<br>Made available in DSpace on 2015-07-23T00:25:16Z (GMT). No. of bitstreams: 1 DISSERTA??O LILIAN - REVISADO ap?s revis?o oficial Digital ok.pdf: 2916089 bytes, checksum: 4162cf836466f411aa5b1dcaba2863db (MD5) Previous issue date: 2014-05-30<br>La presente pesquisa aprehende, a partir de las narraciones de los profesores y profesoras, las implicaciones de los
APA, Harvard, Vancouver, ISO und andere Zitierweisen
39

Guedes, Victor Emanuel Pinto. "Uma abordagem para o ensino de teoria dos grafos no ensino médio." Universidade Federal de Juiz de Fora, 2014. https://repositorio.ufjf.br/jspui/handle/ufjf/770.

Der volle Inhalt der Quelle
Annotation:
Submitted by Renata Lopes (renatasil82@gmail.com) on 2016-02-17T14:13:30Z No. of bitstreams: 1 victoremanuelpintoguedes.pdf: 1012385 bytes, checksum: b255f491e5beb63bcf201beae74d43db (MD5)<br>Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2016-02-26T13:07:06Z (GMT) No. of bitstreams: 1 victoremanuelpintoguedes.pdf: 1012385 bytes, checksum: b255f491e5beb63bcf201beae74d43db (MD5)<br>Made available in DSpace on 2016-02-26T13:07:06Z (GMT). No. of bitstreams: 1 victoremanuelpintoguedes.pdf: 1012385 bytes, checksum: b255f491e5beb63bcf201beae74d43db (MD5)
APA, Harvard, Vancouver, ISO und andere Zitierweisen
40

Lima, Daniel Mário de. "Análise visual de dados relacionais: uma abordagem interativa suportada por teoria dos grafos." Universidade de São Paulo, 2013. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-05052014-155415/.

Der volle Inhalt der Quelle
Annotation:
Bancos de dados relacionais são fontes de dados rigidamente estruturadas, caracterizadas por relacionamentos complexos entre um conjunto de relações (tabelas). Entender tais relacionamentos é um desafio, porque os usuários precisam considerar múltiplas relações, entender restrições de integridade, interpretar vários atributos, e construir consultas SQL para cada tentativa de exploração. Neste cenário, introduz-se uma metodologia em duas etapas; primeiro utiliza-se um grafo organizado como uma estrutura hierárquica para modelar os relacionamentos do banco de dados, e então, propõe-se uma nova t
APA, Harvard, Vancouver, ISO und andere Zitierweisen
41

Moura, Larissa. "Agrupamento espectral através de grafos Laplacianos e uma aplicação no cultivo da soja." Universidade Estadual Paulista (UNESP), 2018. http://hdl.handle.net/11449/152828.

Der volle Inhalt der Quelle
Annotation:
Submitted by Larissa Moura null (moura.larie@gmail.com) on 2018-02-26T11:39:11Z No. of bitstreams: 1 moura_larissa_sjrp.pdf: 1591130 bytes, checksum: 7997e476e0c0da8c86b51d6ce91c8898 (MD5)<br>Approved for entry into archive by Elza Mitiko Sato null (elzasato@ibilce.unesp.br) on 2018-02-26T19:05:03Z (GMT) No. of bitstreams: 1 moura_l_me_sjrp.pdf: 1591130 bytes, checksum: 7997e476e0c0da8c86b51d6ce91c8898 (MD5)<br>Made available in DSpace on 2018-02-26T19:05:04Z (GMT). No. of bitstreams: 1 moura_l_me_sjrp.pdf: 1591130 bytes, checksum: 7997e476e0c0da8c86b51d6ce91c8898 (MD5) Previous issue d
APA, Harvard, Vancouver, ISO und andere Zitierweisen
42

Nass, Daniel Perdigão. "Gráficos como representações visuais relevantes no processo ensino-aprendizagem: uma análise de livros didáticos de Química do Ensino Médio." Universidade de São Paulo, 2008. http://www.teses.usp.br/teses/disponiveis/75/75132/tde-11092008-151037/.

Der volle Inhalt der Quelle
Annotation:
O uso de representações visuais constitui parte fundamental da prática de ensino de Ciências. Vários pesquisadores constatam que tais representações desempenham papel pedagógico essencial no processo ensino-aprendizagem das disciplinas científicas. Desta forma, surpreende notar que pouco se tenha investigado sobre o uso e o papel dessas representações no ensino-aprendizagem de Química. Diante deste quadro, a presente dissertação analisa uma forma de representação visual, o gráfico cartesiano, existente em livros didáticos de Química destinados ao nível Médio de ensino. Buscamos conhecer a prev
APA, Harvard, Vancouver, ISO und andere Zitierweisen
43

Ferreira, Verônica Craveiro de Santana. "De grafos a emparelhamentos : uma possibilidade viável de encantar-se com a matemática." Universidade Federal de Sergipe, 2014. https://ri.ufs.br/handle/riufs/6510.

Der volle Inhalt der Quelle
Annotation:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES<br>This thesis aims to show that the theory of graphs, especially matching, can be studied in high school and gradually as the implementation of this theory in the classroom can foster in students interest in mathematics. Thus, this paper aims to demystify the idea that mathematics content ends with high school approaching students the theories recently developed in academy. The graph theory is considered an e cient tool to solve problems in various areas. There are numerous situations that can be modeled by that enable
APA, Harvard, Vancouver, ISO und andere Zitierweisen
44

Ivo, Rafael Fernandes. "Uma Nova EstratÃgia para Renderizar Descontinuidades e SuperfÃcies Intersectantes em Modelos Baseados em Splats." Universidade Federal do CearÃ, 2011. http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=6351.

Der volle Inhalt der Quelle
Annotation:
nÃo hÃ<br>Modelos baseados em splats tÃm ganhado crescente atenÃÃo devido a seu potencial para renderizaÃÃes de modelos geomÃtricos complexos de forma eficiente e com alta qualidade. A ausÃncia de informaÃÃes de conectividade desses modelos permite operaÃÃes de modelagem complexas, como operaÃÃes booleanas, e fraturas em simulaÃÃes fÃsicas. Entretanto, essas operaÃÃes geralmente geram modelos com arestas e cantos que nÃo podem ser representados corretamente com um nÃmero finito de splats sem que um tratamento seja feito. Neste trabalho, um grafo de vizinhanÃa utiliza uma estimativa que garante
APA, Harvard, Vancouver, ISO und andere Zitierweisen
45

Lohr, Christophe. "Contribution à la conception de systèmes temps-réel s'appuyant sur la technique de description formelle RT-Lotos." Phd thesis, Institut National Polytechnique de Toulouse - INPT, 2002. http://tel.archives-ouvertes.fr/tel-00005228.

Der volle Inhalt der Quelle
Annotation:
Ce mémoire de thèse s'intéresse à la conception de systèmes temps-réel en s'appuyant sur la méthode formelle RT-Lotos, extension temporelle à l'algèbre de processus Lotos. Il aborde plusieurs points relatifs à la spécification, la validation et l'ordonnancement de systèmes concurrents sujets à des contraintes logiques et temporelles. La première partie propose un éventail de méthodes formelles pour la spécification et la validation de systèmes temps-réel. Elle présente également le langage RT-Lotos et la technique de vérification formelle associée basée sur une analyse d'accessibilité. Elle dé
APA, Harvard, Vancouver, ISO und andere Zitierweisen
46

Vianna, Andréa Carla Gonçalves. "Problemas de Corte e Empacotamento: Uma abordagem em Grafo E/OU." Universidade de São Paulo, 2000. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-12042016-153927/.

Der volle Inhalt der Quelle
Annotation:
O problema de corte consiste no corte de objetos maiores para produção de peças menores, de modo que uma certa função objetivo seja otimizada, por exemplo, a perda seja minimizada. O problema de empacotamento pode também ser visto como um problema de corte, onde as peças menores são arranjadas dentro dos objetos. Uma abordagem em grafo E/OU para a resolução de problemas de corte e empacotamento foi proposta inicialmente por Morabito (1989) para problemas de corte bidimensionais e, mais tarde, estendida para problemas tridimensionais (Morabito, 1992). Nesta abordagem foi utilizada uma técnica d
APA, Harvard, Vancouver, ISO und andere Zitierweisen
47

Mauri, Rone. "Uma abordagem da Teoria de Grafos no Ensino Médio." Universidade Federal do Espírito Santo, 2013. http://repositorio.ufes.br/handle/10/6471.

Der volle Inhalt der Quelle
Annotation:
Made available in DSpace on 2016-12-23T14:34:47Z (GMT). No. of bitstreams: 1 Rone Mauri.pdf: 1614722 bytes, checksum: 9403a819f35ef1a182bd8772f7204a6f (MD5) Previous issue date: 2013-08-16<br>Coordenação de Aperfeiçoamento de Pessoal de Nível Superior<br>This work shows a proposal to approach Graph Theory, which is rarely taught at public high schools, and looks for working the theme through the resolution of problems, providing opportunities to the pupil for effective participation on the building of arguments and challenging them to search for solutions, instigating the curiosity and requi
APA, Harvard, Vancouver, ISO und andere Zitierweisen
48

Souza, Alinne Cristinne Corrêa. "Uma contribuição à automatização da atividade de teste para sistemas de realidade virtual." Universidade de São Paulo, 2017. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-27092017-090602/.

Der volle Inhalt der Quelle
Annotation:
O teste de software é considerado uma atividade importante para a revelação de falhas. Apesar desta vantagem, tem sido pouco explorado no âmbito de aplicações de Realidade Virtual (RV). Dentre as lacunas existentes, a definição e automatização de critérios de teste de software para esse domínio foi identificada, uma vez que esses sistemas possuem características próprias que requerem definição ou adaptação de técnicas de teste, fazendo com que aplicações nesse domínio constituam sistemas de alta complexidade. Diante disso, o objetivo desta tese é apresentar uma abordagem denominada Virtual Rea
APA, Harvard, Vancouver, ISO und andere Zitierweisen
49

Faxina, Maria Lúcia Beltrami. "Uma sequência didática sobre porcentagem e tratamento da informação utilizando problemas das OBMEP." Universidade Federal de São Carlos, 2016. https://repositorio.ufscar.br/handle/ufscar/8432.

Der volle Inhalt der Quelle
Annotation:
Submitted by Alison Vanceto (alison-vanceto@hotmail.com) on 2017-01-16T10:53:42Z No. of bitstreams: 1 DissMLBF.pdf: 4611947 bytes, checksum: 6e6adc5972250a5579a1f54806f1aed7 (MD5)<br>Approved for entry into archive by Marina Freitas (marinapf@ufscar.br) on 2017-01-17T12:22:20Z (GMT) No. of bitstreams: 1 DissMLBF.pdf: 4611947 bytes, checksum: 6e6adc5972250a5579a1f54806f1aed7 (MD5)<br>Approved for entry into archive by Marina Freitas (marinapf@ufscar.br) on 2017-01-17T12:22:27Z (GMT) No. of bitstreams: 1 DissMLBF.pdf: 4611947 bytes, checksum: 6e6adc5972250a5579a1f54806f1aed7 (MD5)<br>Made av
APA, Harvard, Vancouver, ISO und andere Zitierweisen
50

Lima, Marcelo Machado de. "Uma proposta de análise dos gráficos das funções seno, cosseno e tangente usando o software geogebra." Universidade Federal de Goiás, 2017. http://repositorio.bc.ufg.br/tede/handle/tede/7525.

Der volle Inhalt der Quelle
Annotation:
Submitted by Cássia Santos (cassia.bcufg@gmail.com) on 2017-07-03T11:47:36Z No. of bitstreams: 2 Dissertação - Marcelo Machado de Lima - 2017.pdf: 1874559 bytes, checksum: f24752927f810c9e49c1d1e7b537fa3d (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5)<br>Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2017-07-10T11:30:35Z (GMT) No. of bitstreams: 2 Dissertação - Marcelo Machado de Lima - 2017.pdf: 1874559 bytes, checksum: f24752927f810c9e49c1d1e7b537fa3d (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5)<br>Mad
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Die Auswahlen zum Thema "UML Graph" für andere Quellenarten können Sie auch interessieren:
Zeitschriftenartikel
Wir bieten Rabatte auf alle Premium-Pläne für Autoren, deren Werke in thematische Literatursammlungen aufgenommen wurden. Kontaktieren Sie uns, um einen einzigartigen Promo-Code zu erhalten!

Zur Bibliographie