Um die anderen Arten von Veröffentlichungen zu diesem Thema anzuzeigen, folgen Sie diesem Link: UML Graph.
Dissertationen zum Thema „UML Graph“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
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
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
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 QuelleAnnotation:
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 fetches test data from the graph database. Based on the similarity between the state machine notation and the nodes and edges (with properties) in graph databases, a set ofrules for representation is presented in this thesis. Along with a framework based on GRANDstack (full-stack framework), the framework should use the pre-built graph database together with other technologies to generate test cases from the inserted requirements specification. A proof-of-concept is implemented to demonstrate the proposed framework. By using a dedicated schema, the fetched data is matched with the expected results. The results prove that the transformation method and the proposed framework have a good potential to be developed and evaluated with a realistic test from the industry practice. Keywords: requirement, test data, UML, state machine diagram, black-box testing, test case generation, Neo4j, GraphQL API
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 QuelleAnnotation:
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 definition should be formal at all.
Rather than searching for yet another formalisation of UML, our main aim is to
determine what would constitute a good definition of UML.
¶
The first chapter sets the UML definition problem in a broad context, relating
it to work in logic and the philosophy of science. More specific conclusions about
the nature of model driven development are reached in the beginning of Chapter 2.
We then develop criteria for a definition of UML. Applying these criteria to the
existing definition, we find that it is lacking in clarity. We then set out to test the
precision of the definition. The test is to take an apparently inconsistent model, and
determine whether it really is inconsistent according to the definition.
¶
Many people have proposed that UML models are graphs, but few have justified
this choice using the official definition of UML. We begin Chapter 3 by arguing
from the official definition that UML models are graphs and that instantiation
is a graph homomorphism into an interpretation functor. The official definition of
UML defines the semantics against its abstract syntax, which is in turn defined by
a UML model. Chapters 3 and 4 prepare for our test by resolving this apparent
circularity. The result is a semantics for the metamodel fragment of the language.
¶
In Chapter 5, we find, contrary to popular belief, that the official definition does
provide sufficient semantics to classify the example model as inconsistent. Moreover,
the sustained study of the semantics in Chapters 3 to 5 confirms our initial
argument that the semantic domain is graphs. The Actions are the building blocks
of UMLs prescriptive dynamics. We see that they can be naturally defined as graph
transformation rules. Sequence diagrams are the main example of descriptive dynamics,
but we find that their official semantics are broken. The recorded history
approach should be replaced, we suggest, by a graph-oriented dynamic logic.
¶
Chapter 6 presents our early work on dynamic logic for UML sequence diagrams
and further explores the proposed semantic repairs. In Chapter 7, guided
by the criteria developed in Chapter 2, we critically survey the UML formalisation
literature and conclude that an existing body of graph transformation based work
known as dynamic metamodelling is very close to what is required.
¶
The final chapter draws together our conclusions. It proposes a category theoretic
construction to merge models of the syntax and semantic domain, yielding
a type graph for the graph transformation system which defines the dynamic semantics
of the language. Finally, it outlines the further work required to realise a
satisfactory definition of UML.
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
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 QuelleAnnotation:
<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 party tools in Eclipse to visualize the graph in VizzAnalyzer as UML class diagrams. The third party tools that are used in this thesis are the Graphical Editing Framework (GEF) and Draw2D. They are mainly used to create the UML class diagram view.</p><p>In order to get a clear view on the diagram in the limited screen size, it is necessary to provide an appropriate layout for the diagram and drag and zoom actions on its figures. We provide the necessary means and document altogether in this thesis. We implement our solution as Eclipse plug-in and demonstrate feasibility.</p>
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 QuelleAnnotation:
<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>
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 QuelleAnnotation:
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 with adaptive filters as well as vector-based rendering to deliver a view of the status of the system. Force-based layout spreads out the nodes in an adaptive fashion. The adaptive filters starts by showing what is most often the most relevant information, but can be configured by the user. Finally, the vector based rendering offers unlimited zoom into the individual nodes in the graph in order to display additional detailed information. Unified Modeling Language (UML) sequence charts are used to display the message flow inside the system (both between nodes and inside individual nodes). To validate the results of this thesis project each iteration of the design was evaluated through meetings with the staff at Aptilo Networks. These meetings provided feedback on the direction the project was taking as well as provided input (such as ideas for features to implement). The result of this thesis project shows a way to display the status of an AAA system with multiple properties displayed at the same time. It combines this with a view of the flow of messages and application of policies in the network via a dynamically generated UML sequence diagram. As a result human operators are able to see both the system’s architecture and the dynamics of its operation using the same user interface. This integrated view should enable more effective management of the AAA system and facilitate responding to problems and attacks.<br>Att visualisera arkitekturen av ett mjukvarusystem är inte lätt. Visas all tillgänglig information så blir vyn för komplicerad medan ifall för lite visas så blir vyn onödig. Att samtidigt visa dynamiken som uppstår när systemet arbetar är ytterligare en utmaning. Detta examensprojektet beskriver hur utvecklingen av ett grafiskt verktyg, som både kan visa konfigurationen av ett avancerat autentisering-, tillåtelse- och bokförings-system (AAA) och meddelanden som skickas mellan noder i systemet.<p> Lösningen använder en kraftriktad graflayout tillsammans med adaptiva filter och vektorbaserad rendering för att visa en vy av systemets status. De adaptiva filtren börjar med att visa den information som oftast är mest relevant men kan ställas in av användaren. Nyttjandet av vektorbaserad grafik tillhandahåller obegränsade möjligheter för användaren att zooma in på delar av grafen för att visa mer detaljerad information. UML sekvensdiagram används för att visa medelandeflödet inuti systemet (både mellan noder och inuti noder). För att utvärdera resultatet av examensprojektet blev varje iteration av designen utvärderad vid möten med personalen på Aptilo Networks. Dessa möten gav återkoppling på vilken rikting projektet tog samt input med t. ex. id´eer på nya egenskaper att lägga till. Resultatet av detta examensarbete visar ett sätt att visa statusen för ett AAA system med många av systemets egenskaper visade samtidigt. Det kombinerar detta med en vy av flödet av meddelanden och applikationpolicies i nätverket via ett dynamiskt genererat UML sekvensdiagram. Resultatet av detta är att mänskliga operatörer kan se både systemets arkitektur och dynamiken i hur det fungerar i samma gränssnitt. Detta gränssnitt bör möjliggöra mer effektiv hantering av AAA systemet och underlätta lösningar på både problem i systemet och attacker mot systemet.
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 QuelleAnnotation:
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-in that allows you to convert UML diagrams between Visual Paradigm and text format PlantUML, which was published as open source software. Grammar for the PlantUML language have also been created for this plug-in.
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, Université du Sud Toulon Var, 2008. http://tel.archives-ouvertes.fr/tel-00344722.
Der volle Inhalt der QuelleAnnotation:
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-objet, en l'occurence l'ingénierie guidée par les modèles MDE, pour construire une méthodologie permettant d'entreprendre cette approche systématique supportant les activités d'ingénierie décrites dans le standard ISO/IEC/IEEE 15288. Dans cette thèse, nous proposons une méthodologie qui répond à ces besoins intitulés MISSyM. Dans MISSyM, les activités de conception sont réalisées sur des modèles SysML étendus par des profils supportant le standard IEEE 15288. De plus, MISSyM intègre le support d'éléments de modélisation spécifiques aux systèmes mécatroniques. Nous avons aussi intégrer dans MISSyM une extension à SysML supportant les Bonds Graphs et permettant d'entreprendre une analyse énergétique. Nous avons par la suite enrichi la méthodologie MISSyM par une méthode de vérification de la qualité de l'architecture qui repose sur un algorithme utilisant des métriques et un algorithme de partitionnement de la matrice de dépendances ou DSM. Nous avons en plus ajouté la génération de codes vers le langage de simulation Modelica. Finalement, nous avons décrit le processus global de la méthodologie basé sur l'architecture de modèles MDA et en concordance avec le standard IEEE 15288. Nous avons fourni un exemple d'application pour permettre aux ingénieurs système de mieux utiliser le langage SysML à travers cette méthodologie.
11
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 QuelleAnnotation:
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 elementos que o compõe (nós, arestas, etc.). Da mesma forma, independente do tipo de processamento interno, os grafos devem manter a estrutura original de grafos, ou seja, ainda deve haver uma malha que descreve os nós e suas ligações. Neste aspecto, fundamentamos nosso estudo: propomos neste trabalho, desenvolver uma API que possa ser estendida para os mais diversos problemas na área de grafos, tanto na parte visual como na representação matemática do modelo e dos algoritmos, porém, robusta, no sentido de manter a complexidade dos algoritmos envolvidos na área de grafos, além de ser completamente dirigida as necessidades de cada aplicação, podendo-se alterar apenas algumas partes da aplicação para obter um produto específico ao trabalho do usuário<br>There are several applications that can be expressed by means of graphs [2]. Algorithms [3] and visualization models [15] can be widely found in the literature. All graph problems have a common base: create a generic model that arises not only from the nature of their elements, but also from the relationships which these elements can express, differing just by the type of response we want to get from this complex mesh. Moreover, it is natural for problems that are in different fields, but similar in internal processing, that the only change is related to how elements are visualized (nodes, edges, and so on). Likewise, regardless the internal processing, the graphs must keep their original structure, i.e., they must still be a mesh that describes the nodes and their connections. Based on that, this study proposes to develop an API that is generic enough to be extended to several problems in the graphs area. This API can be applied in both visual and mathematical representation of models and algorithms. Besides that, it must be robust to maintain the complexity of the algorithms involved in the graph. Also, it has to be flexible so that only some parts of the application can be changed to get a specific product to the user´s need
12
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 QuelleAnnotation:
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 samples independently without taking into account the correlations that might exist between them. Such traditional classification methods perform well but are not efficient at identifying complex multi-stage malware that hide their activity. The interactions between malware may include any type of network activity, dropping, downloading, etc. For instance, an unknown downloader that connects to a malicious website which in turn drops a malicious payload, should indeed be blacklisted. Such analysis can help block the malware infection at its source and also comprehend the whole infection chain. The outcome of this proof-of-concept study is a system that detects new malware using graph modelling to infer their relationship to known malware as part of the malware classification services at F-Secure.<br>Idag, skadliga program inte bara skriva skadlig programvara men också använda förvirring, polymorfism, packning och ändlösa sådana undan tekniker för att fly detektering av antivirusprodukter (AVP). Förutom individens beteende av skadlig kod, de relationer som finns mellan dem spelar en viktig roll för att förbättra detektering av skadlig kod. Detta arbete syftar till att ge skadliga analytiker på F-Secure Labs att utforska olika sådana relationer mellan skadliga URL: er och fil prover i Förutom deras individuella beteende och aktivitet. De aktuella detektionsmetoder på F-Secure Labs analysera okända webbadresser och fil prover oberoende utan med beaktande av de korrelationer som kan finnas mellan dem. Sådan traditionella klassificeringsmetoder fungerar bra men är inte effektiva på att identifiera komplexa flerstegs skadlig kod som döljer sin aktivitet. Interaktioner mellan malware kan innefatta någon typ av nätverksaktivitet, släppa, nedladdning, etc. Till exempel, en okänd loader som ansluter till en skadlig webbplats som i sin tur släpper en skadlig nyttolast, bör verkligen vara svartlistad. En sådan analys kan hjälpa till att blockera malware infektion vid källan och även förstå hela infektion kedja. Resultatet av denna proof-of-concept studien är ett system som upptäcker ny skadlig kod med hjälp av diagram modellering för att sluta deras förhållande till kända skadliga program som en del av de skadliga klassificerings tjänster på F-Secure.
13
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
14
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 QuelleAnnotation:
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-19T14:42:41Z (GMT). No. of bitstreams: 2
Dissertacao_Alex_Bertei.pdf: 2631033 bytes, checksum: 64d9253595f75230a7d83432fb89d6e9 (MD5)
license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5)
Previous issue date: 2017-03-13<br>Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES<br>Com o passar dos dias os sistemas de software e hardware evoluem e ficam cada vez mais complexos e sofisticados. Como consequência especificar esses sistemas se torna uma tarefa difícil e trabalhosa. No sentido de assegurar certas propriedades de um sistema, este deve ser especificado por intermédio de uma linguagem que ofereça métodos de análise. Para realizar essas especificações temos diversas técnicas e metodologias, onde algumas técnicas que são disponíveis no mercado podem gerar
resultados diferentes do que o especificado e esperado. Para realizar a correção deste problema, tem-se a necessidade de se utilizar métodos formais para gerar a especificação e verificação de sistemas. Sistemas que utilizam métodos formais são especificados formalmente através de um modelo matemático. Gramática de Grafos é uma linguagem formal bastante propícia para especificar sistemas complexos, é interessante o uso delas, pelo fato de possuírem inúmeras técnicas para a verificação e
especificação de sistemas que são representadas nesta linguagem, além do que, elas possuem um layout gráfico, que as torna bastante intuitivas, por isso elas são uma linguagem de fácil entendimento. Gramática de Grafos Fuzzy são obtidas através da generalização das gramáticas de grafos, elas são constituídas por vértices e arestas com valores de pertinência associados, dentro do intervalo 0 e 1. Devido a inexistência de técnicas e ferramentas de análise para gramática de grafos fuzzy, o seu uso
ainda é bastante restrito. Uma maneira de permitir a análise de sistemas especificados em gramática de grafos fuzzy é através da extensão das abordagens existentes para gramática de grafos, adicionando os conceitos de pertinência aos componentes dos grafos e para isso foi necessário definir gramáticas de grafos fuzzy tipados. Já existe uma abordagem relacional para gramática de grafos que permite o uso dos provadores de teoremas da ferramenta Rodin, utilizando a linguagem Event-B. Desta forma, a proposta deste trabalho é estender essa abordagem de gramática de grafos
adicionando os conceitos fuzzy para permitir utilizar a mesma abordagem para analisar gramática de grafos fuzzy, surgindo assim um método de análise para esse tipo de gramática.<br>With the passing of days software and hardware systems evolve and become increasingly sophisticated and complex. As a consequence, specifying these systems becomes a difficult and laborious task. In order to ensure certain properties of a system, it must be specified through a language that offers methods of analysis. To realize these specifications we have several techniques and methodologies, where some techniques that are available in the market can generate different results than the specified
and expected. To perform the correction of this problem, there is the need of using formal methods for generate the specification and verification systems. Systems that use formal methods are formally specified through a mathematical model. Grammar Graphs is a very suitable to specify complex systems formal language, is interesting to use them because they have innumerable techniques for the verification and specification of systems that are represented in this language, besides that, they have a
graphical layout, which makes them very intuitive, so they are an easy-to-understand language. Fuzzy graph grammars are obtained through the generalization of graph grammars, they are constituted by vertices and edges with associated membership values within the interval 0 and 1. Due to the inexistence of techniques and analysis tools for fuzzy graph grammars, its use is still quite restricted. One way to allow the analysis of systems specified in fuzzy graphs grammars is the extension of existing approaches for graphs grammars, adding the concepts of pertinence to the components
of graphs and for this it was necessary to define fuzzy graph grammars typed. There is already a relational approach to graph grammar that allows the use of the theorems of the Rodin tool using the language Event-B. In this way, the purpose of this work is to extend this approach of grammars of graphs by adding the fuzzy concepts to allow to use the same approach to analyze fuzzy graphs grammars, thus appearing a method of analysis for this type of grammar.
15
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
16
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
17
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 QuelleAnnotation:
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 nouvelle méthode d'appariement. Dans notre algorithme, nous utilisons un descripteur local qui est rapide à calculer, est invariant aux transformations affines et est fiable pour des objets non rigides et des situations d’occultation. Après avoir trouvé le meilleur appariement pour chaque contour, nous devons vérifier si ces derniers sont correctement appariés. Pour ce faire, nous utilisons l'approche « Weighted Graph Transformation Matching » (WGTM), qui est capable d'éliminer les appariements aberrants en fonction de leur proximité et de leurs relations géométriques. WGTM fonctionne correctement pour les objets à la fois rigides et non rigides et est robuste aux distorsions importantes. Pour évaluer notre méthode, le jeu de données ETHZ comportant cinq classes différentes d'objets (bouteilles, cygnes, tasses, girafes, logos Apple) est utilisé. Enfin, notre méthode est comparée à plusieurs méthodes célèbres proposées par d'autres chercheurs dans la littérature. Bien que notre méthode donne un résultat comparable à celui des méthodes de référence en termes du rappel et de la précision de localisation des frontières, elle améliore significativement la précision moyenne pour toutes les catégories du jeu de données ETHZ.<br>Matching and detecting similarity or dissimilarity between images is a fundamental problem in image processing. Different matching algorithms are used in literature to solve this fundamental problem. Despite their novelty, these algorithms are mostly inefficient and cannot perform properly in noisy situations. In this thesis, we solve most of the problems of previous methods by using a reliable algorithm for segmenting image contour map, called CCP Map, and a new matching method. In our algorithm, we use a local shape descriptor that is very fast, invariant to affine transform, and robust for dealing with non-rigid objects and occlusion. After finding the best match for the contours, we need to verify if they are correctly matched. For this matter, we use the Weighted Graph Transformation Matching (WGTM) approach, which is capable of removing outliers based on their adjacency and geometrical relationships. WGTM works properly for both rigid and non-rigid objects and is robust to high order distortions. For evaluating our method, the ETHZ dataset including five diverse classes of objects (bottles, swans, mugs, giraffes, apple-logos) is used. Finally, our method is compared to several famous methods proposed by other researchers in the literature. While our method shows a comparable result to other benchmarks in terms of recall and the precision of boundary localization, it significantly improves the average precision for all of the categories in the ETHZ dataset.
18
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 QuelleAnnotation:
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 with students from a private school located in the city of Volta Redonda, in the state of Rio de Janeiro. This research had the participation of 51 students aged 15 to 17 years, among boys and girls, who wanted to voluntarily participate in the extracurricular classes offered. The idea of this work is to use the fact that the basic concepts of coloring in Graph Theory are easily accessible to students, they are powerful optimization tools used by large companies and are applicable to students' everyday problems, three precious characteristics for a Professor to attract the attention of the class. In this regard, we held 8 meetings with students. At first, there was a Motivational pre-test based on Gontijo?s test in order to evaluate various aspects of the relationship of students with mathematics. In the second meeting, a Content Pre-test with everyday students' problems commonly solved by graphs' techniques, but that can also be solved without them. Over the next four meetings, classes were held in order to teach some basic techniques of graphs and discuss with students what they did on the test. After those four classes, the next meeting was used for the students to take a Content Post-test with similar problems, but with the intention of observing how the students would apply the techniques they learned. On the last meeting, the students took a Motivational Post-test, so that they could give their opinion on the activities. All data were studied, analyzed and compared in the final chapters<br>Este trabalho tem por principal objetivo descrever uma experi?ncia com problemas relacionados a colora??o em Grafos com um grupo de alunos do 2? ano do Ensino M?dio. A pesquisa realizada trabalhou com alunos de uma escola da rede particular, localizada no munic?pio de Volta Redonda, no estado do Rio de Janeiro. Esta pesquisa contou com a participa??o de 51 alunos na faixa et?ria de 15 a 17 anos, entre meninos e meninas, que quiseram voluntariamente participar das aulas extracurriculares oferecidas. A ideia do trabalho ? utilizar o fato de que conceitos b?sicos de colora??o em Teoria de Grafos s?o de f?cil acesso aos alunos, s?o poderosas ferramentas de Otimiza??o usadas por grandes empresas e s?o aplic?veis a problemas do cotidiano dos alunos, tr?s caracter?sticas preciosas para que um professor atraia a aten??o da classe. Neste sentido foram realizados 8 encontros com os alunos. No primeiro, foi realizado um Pr?-teste Motivacional, baseado no teste de Gontijo, com o intuito de avaliar v?rios aspectos relativos ? rela??o dos alunos com a Matem?tica. No segundo, um Pr?-teste de Conte?do, com problemas que fazem parte do dia-a-dia dos alunos e comumente resolvidos com t?cnicas de Grafos, mas que tamb?m podem ser resolvidos sem elas. Nos quatro encontros seguintes, foram realizadas aulas com o objetivo de ensinar algumas t?cnicas b?sicas de Grafos e comentar com os alunos o que eles fizeram no teste. Depois das aulas, no pen?ltimo encontro foi realizado um P?s-teste de Conte?do, com quest?es similares ao primeiro, mas com o intuito de observar os alunos aplicando as t?cnicas aprendidas. No ?ltimo encontro foi realizado um P?s-teste Motivacional, para que os alunos dessem suas opini?es sobre as atividades. Todos os dados foram estudados, analisados e comparados nos cap?tulos finais.
19
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 QuelleAnnotation:
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 outros métodos. Este trabalho apresenta um método de especificação de sistemas que procura integrar a modelagem de dados com a modelagem funcional e dinâmica utilizando-se, para isso, das Gramáticas de Grafos como método formal de especificação. Sendo um grafo formado por vértices, arestas e rótulos, pode-se facilmente criar uma camada de abstração em que o usuário (em geral responsável pela análise de sistemas) manipule um método de especificação com o qual já convive, agora com uma semântica formal definida. Espera-se, com a aplicação do método, gerar modelos passíveis de prova, não ambíguos e que promovam um incremento de qualidade no sistema gerado.<br>Several specification methods try to realize system modeling following three visions: the functional vision, which is based on representing the information exchange among the several components of the system; the data vision, which represents the relations among the static data structures of the system; and the dynamic vision, which presents the transformations the system may endure over the time. Some models exist that try to integrate more than one of these visions, but, in general, they suffer from deficiencies when trying to represent more than one aspect of the system at the same time, in which case the use of other methods is necessary. This work presents a novel method of systems specification that attempts to integrate data modeling with functional and dynamic modelings using, for this, Graph Grammars as its formal specification method. A graph, being made of nodes, edges and labels, is appropriate for creating, easily, an abstraction layer in which the user (usually responsible for the system analysis) manipulates a specification method which is known to him, but now with a well defined formal semantics. We hope, by applying this method, to generate provable, unambiguous models which promote an increase in the quality of the generated system.
20
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 QuelleAnnotation:
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 consists of a multi-relational attentive module and a heterogeneous graph attention network to learn complex/semantic relationship between user-URL pairs, user-user pairs, and URL-URL pairs. Extensive experiments on a real-world dataset show that our proposed framework outperforms seven state-of-the-art recommendation models, achieving at least 3~5.3% improvement.
21
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 QuelleAnnotation:
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 graphe sous-jacent est déplié concurrent d’un graphe fini concurrent et dont les ensembles de sommets initiaux et finaux sont réguliers par niveaux, est RTL. En particulier, la théorie du premier ordre avec accessibilité d’un tel automate est décidable. Par ailleurs, il est bien connu que la théorie du premier ordre avec accessibilité du graphe de réécriture suffixe d’un système de réécriture de termes clos (graphe GTR) est décidable. Nous mettons en évidence divers dépliés concurrents de graphes finis concurrents qui ne sont pas des graphes GTR. L’arbre du quart de la grille infinie est un exemple de tel déplié. La classe des dépliés concurrents des graphes finis concurrents constitue ainsi une classe de DAG mot-automatiques, dont la théorie du premier ordre avec accessibilité est décidable et qui contient des graphes non GTR. Nous définissons pour les automates de traces (automates dont les sommets sont des traces de Mazurkiewicz) deux opérations que sont la synchronisation par niveaux et la superposition par niveaux et nous montrons que si une famille F d’automates de traces est fermée pour ces opérations, alors pour tout automate déterministe H 2 F, les langages acceptés par les automates déterministes de F qui sont longueur-réductibles en H forment une algèbre de Boole ; la longueur d’une trace étant donnée par la longueur de sa forme normale de Foata, un automate de traces G est longueur-réductible dans un automate de traces H, s’il existe un morphisme de G dans H préservant la longueur. Ensuite, nous montrons que la classe des automates suffixes de traces à contextes réguliers par niveaux, qui n’est que l’extension aux traces de Mazurkiewicz des automates suffixes de mots, satisfait ces propriétés de fermeture. Nous appelons réseau de Petri généralisé un automate suffixe de traces sur un alphabet de dépendance pour lequel la dépendance est réduite à l’égalité. Nous montrons alors que la sous-famille des réseaux de Petri généralisés satisfait également les propriétés de fermeture ci-dessus. Cela conduit notamment à 5 diverses algèbres de Boole de langages acceptés par des réseaux de Petri généralisés déterministes<br>We introduce the notion of level-regularity for Mazurkiewicz trace languages and we consider recognizable trace rewriting systems with level-regular contexts (RTLsystem). We prove that an automaton for which the underlying graph is the rewriting graph of a RTL system and for which the sets of initial vertices and final vertices are level-regular (RTL automaton), is word-automatic. In particular, the first-order theory of a RTL automaton is decidable. Then, we prove that, enriched with thereachability relation, an automaton for which the underlying graph is the concurrent unfolding of a finite concurrent graph, and for which the sets of initial vertices and final vertices are level-regular, is RTL. In particular, the first-order theory with the reachability predicate of such an automaton is decidable. Besides, it is known that this property also holds for ground term rewriting graphs (GTR graph). We highlight various concurrent unfoldings of finite concurrent graphs that are not GTRgraphs. The infinite quarter grid tree is such an unfolding. The class of concurrent unfoldings of finite concurrent graphs is therefore a class of word-automatic graphs for which the first-order theory with the reachability predicate is decidable and that contains some non GTR graphs. We define the operations of level-length synchronization and level-length superposition of trace automata (automata for which vertices are Mazurkiewicz traces) and we prove that if a family F of trace automata is closed under these operations, then for any deterministic trace automaton H 2 F, the languages accepted by the deterministic trace automata belonging to F and that are length-reducible to H, form a Boolean algebra; the length of a trace being the length of its Foata normal form, a trace automaton G is length-reducible to a trace automaton H if there exists a length-preserving morphism from G to H. Then, we show that the family of trace suffix automata with level regular contexts, the extension of word suffix automata to Mazurkiewicz traces, satisfies these closure properties. We define a generalized Petri net as a trace suffix automaton over a dependence alphabet for which the dependence is reduced to the equality and we show that the subfamily of generalized Petri nets also satisfies the closure properties above. In particular, this yields various Boolean algebras of word languages accepted by deterministic generalized Petri nets
22
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 QuelleAnnotation:
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 da modelagem BG com o objetivo de validar e melhorar a realidade do modelo teórico. O processo decorre a quente, faz-se necessário um controle da velocidade do parafuso de extrusão com referência ao tapete de resfriamento para obter o perfil de material dentro das especificações de tamanho e peso determinadas pelo departamento de qualidade do produto. Para o processo de identificação foi desenvolvido um sistema de aquisição de dados via microcomputador PC com condicionamento de sinais AD/DA e um programa de computador, em linguagem LabVIEW, o qual controla o sistema de aquisição de dados e armazena as leituras para a identificação off-line. Para o processo de identificação e validação dos modelos foram utilizadas as ferramentas de identificação de sistemas do programa de computador MATLAB.
23
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 QuelleAnnotation:
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, conseqüentemente, a transformação dos grupos em nós de um grafo. O algoritmo BLAST é usado para procurar alinhamentos entre seqüências, representando-os posteriormente por arestas entre as seqüências mais similares. Para a visualização do grafo utilizamos e modificamos a ferramenta TG WikiBrowser conectada a um banco de dados. O resultado é uma ferramenta interativa baseada em código livre e robusto que funciona em ambientesWindows e Linux. Ela possibilita a fácil exploração do grafo, com diversas funcionalidades como, por exemplo: a expansão e filtragem do grafo, a busca por rótulos ou trechos de seqüências e a visualização detalhada de seqüências e grupos de seqüências. Com isso, os biólogos e especialistas em bioinformática ganham mais uma alternativa de investigação da genética<br>Expressed Sequence Tags (ESTs) are samples of gene stretches, which play the role of templates in synthesis of proteins. Since the amount of collected ESTs on the past few years is enormous, the use of computers has become essential to fields like gene and protein identification, and gene homology. This work proposes a methodology and a tool for visualization of ESTs as a graph for aiding biologists on exploration and on knowledge discovery about these sequences. The methodology includes clustering of ESTs using an assembly program and, consequently, the transformation of the groups in nodes of a graph. BLAST algorithm is used to search alignments among sequences, later representing them as edges between the most similar sequences. For the graph visualization, we adapted TGWikiBrowser software connected to a database. The result is a robust and open source interactive tool forWindows and Linux. It allows easy graph exploration, with various functionalities, for example: graph expansion and filtering, searching for label or sequence stretches, and detailed visualization of sequences and groups of sequences. Therefore, we hope biologists can count on one more option in genetics research
24
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 QuelleAnnotation:
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ários modelos com valor preditivo, isto é, que permitam descrever os comportamentos do sistema que são experimentalmente verificáveis. Algumas notações gráficas foram propostas para descrever vias biológicas. Entre elas, os diagramas de processos tem sido amplamente utilizados. Um diagrama de processos é essencialmente um grafo no qual vértices e arestas representam componentes biológicos, e há uma notação gráfica associada com cada elemento. Nesta dissertação propomos uma fundamentação formal para a linguagem dos diagramas de processos definindo a sintaxe usando gramática de grafos. Nós definimos primeiramente um grafo chamado BioProc, descrevendo o meta-modelo dos diagramas de processos. Instâncias do grafo BioProc são portanto diagramas de processos modelando vias biológicas. Para descrever a semântica foi proposta uma tradução algébrica dos grafos BioProc para redes de Petri estocásticas generalizadas (GSPNs) já amplamente utilizadas na modelagem de processos biológicos. O uso de gramática de grafos como formalismo intermediário na tradução habilita a verificação sintática da via com a checagem dos tipos válidos que podem ser definidos para cada reação antes da simulação na rede de Petri e usá-las posteriormente para explorar propriedades estruturais e estocásticas do modelo. Além disso serve como base para a evolução do modelo proposto. Isto é relevante já que modelos frequentemente são construídos incrementalmente para se adaptar a novos requisitos e/ou incluir novas características.<br>Biological pathways represent interactions between complex chemical entities (proteins, substrates, metabolites, etc.) that occur at the molecular level of cells. The representation and comprehension of biological pathways behavior is the main target of research in the field of Systems Biology. This area investigates the construction of mathematical models that can simulate in silico (computationally) the behavior of biological systems checked in vivo (experimentally). From a computational view point it is clear that such systems are too complex to analyze and describe in an intuitiveway. Models with predictive value are needed, describing the behaviors that are experimentally verifiable. There are some graphical notations to describe biological pathways. Among them, process diagrams have been widely used. A process diagram is essentially a graph in which vertices and edges represent biological components, and there is a graphical notation associated with each element. In this master thesis we give a formal foundation for biological process diagrams, by defining their (concrete and abstract) syntax and semantics using a formalism called graph grammars. We first build a graph called BioProc Graph, describing the meta-model of process diagrams. Instances of this BioProc graph are concrete process diagrams modeling biological pathways. To describe the semantics we proposed a translation of BioProc diagrams to generalized stochastic Petri networks (GSPNs) already widely used in modeling biological processes. The use of graph grammar formalism as a basis for translation enables the syntatic verification to check the valid types that can be defined for each reaction after the simulation of Petri net and before that to explore structural and stochastic properties of the model. In addition it serves as the basis for model evolution proposed. This is relevant because models are often built incrementally to adapt to new requirements and/or include new features.
25
Chauveau, Emmanuel. "Management des risques dans les projets et les processus logiciel." Bordeaux 1, 2006. http://www.theses.fr/2006BOR13143.
Der volle Inhalt der QuelleAnnotation:
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.
26
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 QuelleAnnotation:
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 students from two schools, one located in Resende and another in Quatis, in Rio de Janeiro. The Basic Theory of Graphs initially has simple and intuitive concepts which may be used as powerful tools for solving various kinds of optimization problems. Many of the problems are present in the universe of students, such as the way Google Maps draws the shortest path between the starting point and destination, the procedure that can be used for a GPS to calculate a route, the path that optimizes the work a postman who has to go through several streets (without repetition) and return to the headquarters of the post office, among others. Bring real problems into the classroom is a challenge to the teacher, and solve them with simple techniques in the classroom is an even greater challenge, and this work attempts to perform a little experiment in which this dual task is conducted with some simple techniques from Graphs applied to the students everyday problems. Four basic 50-minute classes are held on Graphs and are taught some of their techniques. But before the classes, two tests are performed: a motivational test (based on Gontijo test) that assesses how students study and enjoy mathematics, and a test involving problems from the universe of the students that could be solved with graphs techniques, but also with what students already know from high school. After the classes, a new motivational test evaluates how much they enjoyed the activities with graphs and a new content test is performed, now being permitted to use the graphs techniques. Finally a survey was made on the results obtained by observing the improvement obtained by the students involved in the process and which had more difficulty, thus completing the experience.<br>O objetivo deste trabalho ? descrever uma experi?ncia utilizando problemas relacionados a caminhos em Grafos com alunos do primeiro ano do ensino m?dio de duas escolas da rede estadual de ensino atrav?s de um estudo de caso. Foram 48 alunos de duas escolas da rede estadual de ensino, uma situada no munic?pio de Resende e outra no munic?pio de Quatis, no Rio de Janeiro. A Teoria B?sica de Grafos possui inicialmente conceitos simples e intuitivos, mas que podem ser utilizados como poderosas ferramentas para a resolu??o de diversos tipos de problemas de otimiza??o. Muitos dos problemas est?o presentes no universo dos alunos, como a maneira como o Google Maps tra?a o menor caminho entre o ponto de partida e o destino, o procedimento que pode ser usado por um GPS para calcular uma rota, o caminho que otimiza o trabalho de um carteiro que tem que percorrer v?rias ruas (sem repeti??o) e voltar ? sede dos correios, entre outros. Uma vez que trazer problemas reais para dentro da sala de aula ? um desafio ao professor, e resolv?-los com t?cnicas simples na sala de aula ? um desafio ainda maior, o presente trabalho tenta realizar uma pequena experi?ncia em que esta dupla tarefa ? conduzida com algumas t?cnicas simples de Grafos aplicadas a problemas do cotidiano dos alunos. S?o realizadas 4 aulas b?sicas de 50 minutos sobre Grafos e s?o ensinadas algumas de suas t?cnicas. Mas antes das aulas, dois testes s?o realizados: um teste motivacional (baseado no teste de Gontijo) que avalia o quanto os alunos estudam e gostam de Matem?tica, e um teste envolvendo problemas do universo dos alunos que poderiam ser resolvidos com t?cnicas de Grafos, mas tamb?m com o que os alunos j? sabem do ensino m?dio. Ap?s as aulas, um novo teste motivacional avalia o quanto eles gostaram das atividades realizadas com Grafos e um novo teste de conte?do ? realizado, j? sendo permitida a utiliza??o das t?cnicas de Grafos. Finalmente foi feito um levantamento sobre os resultados obtidos, observando a melhora obtida pelos alunos envolvidos durante o processo e onde tiveram mais dificuldade, concluindo assim a experi?ncia.
27
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 QuelleAnnotation:
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 sommets adjacents de leurs positions courantes. Ils ont notamment proposé une jolie caractérisation des graphes gagnants pour le policier qui est basée sur l’existence d’un démantèlement particulier des sommets du graphe ; un démantèlement consistant à retirer un à un les sommets du graphe suivant une certaine règle. Cette caractérisation par démantèlement est par ailleurs intéressante puisqu’elle donne directement un algorithme polynomial de type diminuer pour régner pour résoudre le problème du policier et du voleur. Dans ce mémoire, nous proposons une nouvelle version d’un jeu policier-voleur dans laquelle le voleur se déplace arbitrairement vite dans le graphe et dans laquelle le policier possède une zone de surveillance qui limite le voleur dans ses déplacements. Nous caractérisons les graphes gagnants pour le policier dans ce nouveau jeu en utilisant un concept de démantèlement d’un graphe, similaire à celui de Nowakowski et Winkler [28], Quilliot [45], mais adapté aux conditions de notre nouveau jeu. Nous devons notamment généraliser la définition d’un graphe classique à celle d’un graphe clandestin, qui possède un ensemble de sommets clairs et un ensemble de sommets sombres, afin d’obtenir notre caractérisation par démantèlement. Nous donnons par ailleurs un algorithme qui permet de bâtir une stratégie monotone gagnante pour le policier en nous assurant que le policier sécurise de plus en plus de sommets à chaque tour.<br>Graph searching problems can be expressed as a game where a group of searchers is trying to capture a group of fugitives on a graph. When players move alternately in such a game, we are then referring to games of Cops and Robbers. Nowakowski and Winkler [28], and independently Quilliot [45], introduced the very first version of cops and robbers games in which a single cop tries to capture a single robber, both players moving alternately from their current positions to neighboring vertices. They notably proposed a very nice characterization of graphs that are winning for the cop, which is based on a particular dismantling scheme of the graph’s vertices; a dismantling scheme consisting in removing one by one each vertex of the graph by following a given rule. This dismantling-like characterization is furthermore interesting since it directly yields a divide-and-conquer algorithm that is polynomial, to solve the cop and robber problem. In this master thesis, we propose a new version of cops and robbers games in which the robber is able to move arbitrarily fast in the graph and in which the cop has a watching area that limits the robber’s moving capabilities. We characterize the cop-winning graphs for this new game by using some dismantling scheme similar to the one given by Nowakowski and Winkler [28], Quilliot [45], but that better fits our new game’s conditions. To obtain this dismantling-like characterization, we particularly need to generalize the definition of a classical graph to an undergrounded graph, whose vertices are split in a set of light vertices and a set of dark vertices. We also give an algorithm that provides a monotonous cop-winning strategy by making sure the cop is securing more and more vertices at each turn.
28
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 QuelleAnnotation:
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, checksum: 20a2e9096b36c11bf249fc1b9983987e (MD5)<br>Made available in DSpace on 2017-03-24T12:56:01Z (GMT). No. of bitstreams: 1
marcusviniciusaraujo.pdf: 4473223 bytes, checksum: 20a2e9096b36c11bf249fc1b9983987e (MD5)
Previous issue date: 2016-08-18<br>CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior<br>O presente trabalho tem por objetivo instigar nos leitores que tenham acesso a ele,um olhar mais crítico e questionador em relação aos gráficos estatísticos que surgem diariamente na mídia, e também servir como material de apoio em uma aula de Estatística, esclarecendo aos discentes a importância da compreensão de tal conteúdo para um pleno exercer da cidadania. Para atingir a tais fins, o mesmo foi dividido em duas partes. A primeira, um referencial teórico, traz uma revisão sobre os conceitos iniciais da Estatística, mais especificamente sobre as estruturas necessárias para compreensão e construção de gráficos. A segunda, um estudo de cinco casos (cinco gráficos estatísticos divulgados pela mídia) e as respectivas análises sobre cada um deles, pretende assim levar o leitor a uma postura mais amadurecida e cautelosa perante os mesmos.<br>This study aims to entice in readers who have access to it, a look more critical and questioning in relation to the statistical graphs that appear daily in the media, and also serveassupportmaterialinaStatisticsclass,explainingtostudentstheimportanceofsuch content understanding to a full exercise of citizenship. To achieve such purposes, it was divided into two parts. The first, a theoretical referential, provides a review of the initial concepts of Statistics, more specifically on the structures necessary for understanding and building graphics. The second one, a study of five cases (five statistical charts released by the media) and the analysis of each of them, plans to take the reader to become aware of such material to a more mature and cautious stance towards them.
29
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 QuelleAnnotation:
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 une procédure de transformation automatique de machines d'états en LTS. Dans un premier temps, nous avons défini et implanté des techniques de vérification de relations de conformité de LTS (red, ext, conf, et confrestr). Dans un second temps, nous nous sommes intéressés à la définition d'un cadre de construction incrémentale dans lequel plusieurs stratégies de développement peuvent être mises en \oe uvre en s'assurant que le modèle final élaboré sera une implantation conforme à la spécification initiale. Ces stratégies reposent sur des combinaisons de raffinements qui peuvent être de deux types : le raffinement vertical pour éliminer l'indéterminisme et ajouter des détails ; le raffinement horizontal pour ajouter de nouvelles fonctionnalités sans ajouter d'indéterminisme. Enfin, nous transposons la problématique de construction incrémentale d'une machine d'états à la construction d'architectures dont les composants sont des machines d'états. Des conditions sont définies pour assurer la conformité entre des architectures dans le cas de la substitution de composants.
30
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 QuelleAnnotation:
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 escolha por tal perspectiva metodológica em Educação Matemática está vinculada à prática de Ensino de Matemática que acreditamos ser capaz de contribuir para a formação de um indivíduo autônomo, criativo e capaz de aprender a aprender.<br>The main goal of this thesis is to present a proposal for the insertion of Graph Theory in High School. In order to do that, we present some principIes of Graph Theory and review some important writings about Problem Solving methodology. We will give a suggested practice done with two groups in the second year of High School, in a private school of Porto Alegre in 2006. Graph Theory has some aspects that deserve space in the curriculum of the Basic School. We will show a selection of possible activities to be implemented within a methodological perspective of Problem Solving. The choice for this methodological perspective in Mathematics Education is related to a practice in Mathematics Teaching that we believe contributes for a development of a more autonomous and creative person. A person that is and able to learn how to learn.
31
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 QuelleAnnotation:
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,
one composed by public school Mathematics teachers and other by sophomore
Mathematics students, by means of activities, which were developed on the basis of
Semiotic Representation Registers Theory. Using three different representation
systems we aimed our research to answer one basic question: Concerning one
unknown equations and/or inequations can a approach based on registers
conversions and treatments start a global discussion about their resolution? We
have developed a quality research in three steps, all of them inspired on Didactic
Engineering: preliminary analysis; conceiving, designing, a priori analysing, applying
and observing a didactic sequence; and validating. In order to validate the results we
used Efraim Fischbein s arguments that Mathematics learning is only achieved when
one knows how, and are able to interact concepts formal, algorithmic and intuitive
aspects. Our analysis showed a complete absence of formal aspects in all the
subjects and an almost coercive presence, sometimes hidden, of intuitive numerical
aspects. Therefore, even though most subjects have managed to do registers
conversions to graphically solve the proposed inequations, none of them were able
to relate graphic and algebraic resolutions. They also did not transfer new
knowledege to their algebraic resolutions<br>Insatisfeitos com os resultados apresentados na resolução algébrica de
inequações com uma incógnita real, pela maioria de nossos alunos do Ensino
Superior, decidimos investigar se poderíamos contribuir para o ensino e a
aprendizagem da resolução algébrica de inequações com uma incógnita real, por
meio de uma abordagem funcional gráfica. Em conversa com alguns professores de
Matemática, percebemos que não conheciam tal abordagem. Escolhemos, então,
discuti-la com dois grupos, um de professores de Matemática da rede pública
estadual e um de alunos de primeiro ano de licenciatura em Matemática, por meio
de uma seqüência de atividades, concebidas à luz da Teoria dos Registros de
Representação Semiótica. Utilizamos três sistemas de representação e orientamos
nossa pesquisa para responder, essencialmente, a seguinte questão Uma
abordagem envolvendo o tratamento e a conversão de registros, no caso da
resolução de equações e/ou inequações com uma incógnita real, pode desencadear
a discussão global sobre esta resolução? . Optamos por uma pesquisa qualitativa,
que foi desenvolvida em três etapas, todas inspiradas pela Engenharia Didática,
quais sejam análises preliminares; concepção, elaboração, análise didática,
aplicação e observação de uma seqüência de atividades; análise de protocolos.
Para a análise de protocolos, apoiamo-nos nos argumentos de Efraim Fischbein
(1993) de que, para haver aprendizagem, em Matemática, é preciso dominar e interrelacionar
aspectos formais, algorítmicos e intuitivos do assunto em estudo. Nossa
análise mostrou a ausência de aspectos formais lógicos em todos os protocolos dos
dois grupos pesquisados e a presença quase coerciva, às vezes mascarada, de
aspectos intuitivos numéricos. Em razão disto, embora a maioria destes sujeitos
tenha conseguido fazer as conversões necessárias para resolver graficamente as
inequações propostas, nenhum deles fez as conexões matemáticas entre a
resolução funcional gráfica e a algébrica. Também não transferiram os novos
conhecimentos para a resolução algébrica
32
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 QuelleAnnotation:
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 Ciclos de Formaci?n Humana en la construcci?n y reconstrucci?n de las pr?cticas de ense?anza en el cotidiano de la escuela de la Red Municipal de Itabuna, entre los a?os 2002 a 2012. Tambi?n fueran analizados los significados asignados por profesoras y profesores a sus pr?cticas pedag?gicas y buscando entender c?mo la influencia de estos ciclos en relaci?n con la organizaci?n del trabajo educativo en la Escuela Grapi?na, nombre dado a la propuesta de estos ciclos. Por lo tanto, mi m?todo de investigaci?n elegido fue la pesquisa (auto) biogr?fica, con ?nfasis en las narrativas de las trayectorias de formaci?n y actuaci?n profesional de los docentes que trabajan en estos ciclos en la Escuela Grapi?na. Utilic? como dispositivos de colecci?n de datos las entrevistas narrativas y como procedimiento para comprender el an?lisis interpretativo-comprensivo, amparado por cuatro temas, a saber: Trayectorias de formaci?n y entrada en la carrera; Trabajo docente en los Ciclos de Formaci?n Humana - inserci?n en la escuela en Ciclos; Propuesta Pol?tico-Pedag?gica y el cotidiano y las pr?cticas pedag?gicas en Escuela Grapi?na. Para contribuir a este entendimiento, realic? un an?lisis de la Propuesta Pol?tico- Pedag?gico de la Escuela Grapi?na intercalando con las narrativas de los participantes en este estudio, que revel? debilidades relacionadas, principalmente, la concepci?n del formato operacional de las pr?cticas pedag?gicas coherentes con estos ciclos. Las narrativas de los profesores y profesoras, corpus de an?lisis de la investigaci?n, evidenciaron subjetividades docentes en el/ del /sobre cotidiano de la escuela, que revelaron, por un lado, las preocupaciones y desacuerdos sobre los fundamentos epistemol?gicos de los Ciclos, confundidos con la estructura deficiente que ocurre en el trabajo docente, por otro, que las pr?cticas pedag?gicas constituyen en la experiencia docente, mediando las relaciones educativas en el contexto escolar. Por otra parte, fue evidenciado que las pr?cticas pedag?gicas en Ciclos de Formaci?n Humana en la Escuela Grapi?na constituir?n y realizar?n en funci?n de la concepci?n de educaci?n de cada profesor e de cada profesora, cuanto al que conciben sobre educaci?n, postulando a quien sirve o a que se propone.<br>A presente pesquisa objetivou apreender, a partir das narrativas de professores e professoras, as implica??es dos Ciclos de Forma??o Humana na constru??o e ressignifica??o das pr?ticas pedag?gicas no cotidiano escolar da Rede Municipal de Itabuna, entre os anos de 2002 a 2012. Tamb?m analisou os significados atribu?dos pelos professores e professoras ?s suas pr?ticas pedag?gicas e buscou compreender como vivenciam a influ?ncia destes Ciclos em rela??o ? organiza??o do trabalho pedag?gico na Escola Grapi?na, nome atribu?do ? proposta desses Ciclos. Desse modo, a minha op??o metodol?gica foi pela pesquisa (auto) biogr?fica, com ?nfase nas narrativas das trajet?rias de forma??o e atua??o profissional de professores e professoras que atuam nesses Ciclos, no ?mbito da Escola Grapi?na. Utilizei como dispositivos para a recolha dos dados as entrevistas narrativas e como procedimento para compreend?-las a an?lise interpretativo-compreensiva, balizada em quatro eixos tem?ticos, a saber: Trajet?rias de forma??o e entrada na carreira; Trabalho docente nos Ciclos de Forma??o Humana - inser??o na escola em Ciclos; a Proposta Pol?tico-Pedag?gica, Cotidiano e Pr?ticas Pedag?gicas na Escola Grapi?na. Para contribuir com tal compreens?o, realizei uma an?lise da Proposta Pol?tico-Pedag?gica da Escola Grapi?na intercalando com as narrativas dos colaboradores deste estudo, que revelou fragilidades referentes, principalmente, ? concep??o dos docentes no que concerne a operacionaliza??o de pr?ticas pedag?gicas condizentes com esses Ciclos. As narrativas dos professores e professoras insurgiram como corpus de an?lise da pesquisa e evidenciaram subjetividades docentes no/do/sobre o cotidiano escolar, que revelaram, por um lado, inquieta??es e discord?ncias quanto aos fundamentos epistemol?gicos dos Ciclos, confundidos com a estrutura deficit?ria em que ocorre o trabalho docente, por outro, que as pr?ticas pedag?gicas se constituem na experi?ncia docente, mediando as rela??es educativas no contexto escolar. Al?m disso, foi evidenciado que as pr?ticas pedag?gicas nos Ciclos de Forma??o Humana, na Escola Grapi?na se constitu?ram e efetivaram em fun??o da concep??o de educa??o de cada professor e de cada professora, quanto ao que concebem sobre educa??o, a quem serve ou a que se prop?e.
33
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 QuelleAnnotation:
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 ≥ 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 tese, uma nova definição do grafo de Reeb R( f) de uma função suave f : MR com pontos críticos isolados, como um subcomplexo de M é dada. Para isto, um complexo 1-dimensional Γ (f ) mergulhado em M e equivalente por homotopia a R( f ) é construído. Como consequência, mostramos que para toda função f sobre uma variedade com grupo fundamental finito, o grafo de Reeb de f é uma árvore. Se π1(M) é um grupo abeliano, ou mais geralmente, um grupo amenable1, então R( f ) conterá no máximo um laço. Finalmente, é provado que o número de laços do grafo de Reeb de toda função sobre uma superfície Mg é estimado superiormente por g, o genus de Mg. Os resultados desta segunda parte estão publicados em (KALUBA; MARZANTOWICZ; SILVA, 2015).<br>Bartsch (BARTSCH, 1993) introduced a numerical cohomological index theory, known as the length, for G-spaces, where G is a compact Lie group. We present the length of G-spaces which are cohomology spheres and G = (Z2)k, (Zp)k or (S1)k, k ≥ 1. As consequences, we obtain a Borsuk-Ulam theorem in this context and we give a sucient condition for the existence of G-maps between a cohomological sphere and a representation sphere when G = (Zp)k. Also, a Bourgin-Yang version of the Borsuk-Ulam theorem is presented. As a second part of this thesis, a new definition of the Reeb graph R( f ) of a smooth function f : M → R with isolated critical points as a subcomplex of M is given. For that, a 1-dimensional complex Γ ( f ) embedded into M and homotopy equivalent to R( f ) is constructed. As consequence it is shown that for every function f on a manifold with finite fundamental group, the Reeb graph of f is a tree. If π 1 (M) is an abelian group, or more generally, an amenable group2, then R( f ) contais at most one loop. Finally, it is proved that the number of loops of the Reeb graph of every function on a surface Mg is estimated from above by g, the genus of Mg. The results of this second part is published in (KALUBA; MARZANTOWICZ; SILVA, 2015).
34
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 QuelleAnnotation:
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)
Previous issue date: 2014-08-09<br>Este trabalho apresenta uma abordagem para a Teoria dos Grafos a ser aplicada no Ensino
Médio. O objetivo é que, a partir dessa teoria, o aluno desenvolva a capacidade de elaborar
métodos de resolução de problemas e de observar que problemas de Matemática Discreta
não concernem somente problemas de contagem, como são usualmente abordados no
Ensino Médio. Nesse trabalho, introduziremos conceitos da Teoria dos Grafos, grafos
Eulerianos e Semieulerianos, buscando expor para um professor, uma abordagem possível
da teoria, através dos conceitos, exemplos e problemas que devem ser exibidos para os
alunos. Acreditamos que tal teoria deva ser apresentada no Ensino Médio devido a seu
caráter investigativo, e por exigir do aluno uma capacidade interpretativa para buscar
técnicas de resolução do problema.<br>This work presents an approach to Graph Theory to be applied in High School. The goal
is that, from this theory, the student develops the ability to elaborate methods of solving
problem and observe that discrete mathematics problems do not concern only counting
problems, as they are usually approached in High School. In this paper, we introduce
concepts of graph theory, Eulerian and Semieulerianos graphs, seeking to expose to a
teacher, a possible approach to this theory, through the concepts, examples and problems
that should be displayed to the students. We believe such a theory should be presented in
High School due to its investigative character, and it requires the student an interpretative
ability to pursue techniques to solve problems.
35
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 QuelleAnnotation:
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écnica de visualização para exploração relacional. Os resultados demonstram que a proposta torna a exploração de bases de dados significativamente simplificada, pois o usuário pode navegar visualmente pelos dados com pouco ou nenhum conhecimento sobre a estrutura subjacente. Além disso, a navegação visual de dados remove a necessidade de consultas SQL, e de toda complexidade que elas requerem. Acredita-se que esta abordagem possa trazer um paradigma inovador no que tange à compreensão de dados relacionais<br>Relational databases are rigid-structured data sources characterized by complex relationships among a set of relations (tables). Making sense of such relationships is a challenging problem because users must consider multiple relations, understand their ensemble of integrity constraints, interpret dozens of attributes, and draw complex SQL queries for each desired data exploration. In this scenario, we introduce a twofold methodology; we use a hierarchical graph representation to efficiently model the database relationships and, on top of it, we designed a visualization technique for rapidly relational exploration. Our results demonstrate that the exploration of databases is deeply simplified as the user is able to visually browse the data with little or no knowledge about its structure, dismissing the need of complex SQL queries. We believe our findings will bring a novel paradigm in what concerns relational data comprehension.
36
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 QuelleAnnotation:
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 date: 2018-02-16<br>Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)<br>O objetivo desta dissertação é apresentar uma versão detalhada do artigo: “A Tutorial on Spectral Clustering” de U. von Luxburg sobre agrupamentos através de grafos Laplacianos, suas propriedades e mostrar alguns resultados da teoria de agrupamentos. Além disso, serão apresentados três algoritmos de agrupamentos e ilustraremos um deles com uma aplicação no cultivo da soja em diferentes condições de cultivo.<br>The main goal of this dissertation is to present a detailed version of the paper: “ A Tutorial on Spectral Clustering” of U. von Luxburg on clusters, through Laplacian graphs, their properties and to show some results of the cluster theory. In addition, it will be presented three clustering algorithms and we will illustrate one of them with an application in the soybean cultivation, under different conditions.
37
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 QuelleAnnotation:
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 prevalência, a função, a estrutura e a relação dos gráficos com os textos nos quis se encontram inseridos. As categorias de classificação destes gráficos, algumas originais, foram definidas em concordância com o marco teórico da Semiótica Social, área da Semiótica que considera, além do estudo intrínseco dos sinais, a sua inter-relação com as interações sociais, políticas e culturais. Foram também utilizados conhecimentos advindos da área de Educação em Ciências e da Ciência como prática social. Analisamos, também, qualitativamente, gráficos de alguns dos temas mais ricos neste tipo de representação não-verbal. Nossa análise concluiu que muitos dos gráficos apresentam deficiências estruturais, e que a sua relação com o texto não é suficientemente estabelecida, de modo que estes gráficos tendem a não ser adequadamente interpretados pelos alunos.<br>The use of visual representations constitutes a main aspect of the practice in science learning. Various researchers agree that such form of representation has an essential pedagogical role in science teaching-learning process. Thus it is remarkable that so little investigation on the use and role of these representations in Chemistry teaching has been conducted. In face of this situation, this study concerns a kind of visual representation, the Cartesian graph, available in Brazilian high school Chemistry textbooks. This work investigated the prevalence, the function, the structure, and the relation of the graphs with the context in which they are inserted. Some of the categories of the graph classification are original and were defined in agreement with the Social Semiotics theoretical approach, a semiotic field that works not only with signs intrinsically, but also with their interrelation with social, political and cultural interactions. The knowledge of science education and science as social practice were also considered. Some graphs of the subjects that made use of this type of non-verbal representation more frequently were analyzed qualitatively. The findings show that the majority of the graphs present structural deficiencies and that their relation with the main text is not sufficiently established; thus these graphs tend not to be adequately interpreted by the students.
38
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 QuelleAnnotation:
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 develop a range of skills, so it becomes so appealing to
anyone who comes into contact with it. For the development of this thesis began our
study addressing basic concepts of graph theory useful for understanding this work
then present some problems that can be worked in high school and nalized with a
speci c topic of this theory, matchings, with many applications that can be modeled
as contextualized and practical problems of everyday life.<br>A presente disserta ção tem como objetivo mostrar que a teoria de grafos, sobretudo emparelhamentos, pode ser abordada no ensino m édio de forma gradativa. E como a implementa ção desta teoria em sala de aula pode despertar nos estudantes o interesse pela matem atica. Dessa forma, este trabalho pretende desmitifi car a ideia de que a matem atica se encerra com o conte udo do ensino m édio aproximando os estudantes das teorias desenvolvidas recentemente na academia. A teoria dos grafos é considerada uma ferramenta e ficiente para resolver problemas em diferentes áreas. São in úmeras situa ções que podem ser modeladas por grafos que possibilitam desenvolver uma s érie de habilidades, por isso ela se torna tao atraente para quem entra em contato com a mesma. Para o desenvolvimento desta disserta ção, iniciamos nosso estudo abordando conceitos b ásicos da teoria de grafos úteis a compreensão deste trabalho, em seguida apresentamos alguns problemas que podem ser trabalhados no ensino m édio e a nalisamos com um t ópico específi co desta teoria, emparelhamentos, com muitas aplica coes que podem ser contextualizadas e modeladas como problemas pr áticos do nosso cotidiano.
39
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 QuelleAnnotation:
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 a conexÃo de todos os splats presentes em lados opostos
de uma descontinuidade e que precisam ser recortados uns contra os outros. ApÃs utilizar
um mÃtodo de detecÃÃo de descontinuidades no grafo gerado, os vizinhos que participam do
recorte de um splat, os clip partners, sÃo determinados e classificados para que recortem o splat
de forma a adaptÃ-lo à curva da descontinuidade. Outro problema encontrado na renderizaÃÃo
de modelos baseados em splats à reconstruÃÃo de superfÃcies intersectantes. Nas proximidades
de interseÃÃes de superfÃcies, as superfÃcies sÃo misturadas, resultando em artefatos. Para tratar
esses casos, um algoritmo de segmentaÃÃo realiza a separaÃÃo das diversas superfÃcies presentes
no modelo, identificando os splats que as formam e impedindo que eles sejam combinados em
Ãreas prÃximas de interseÃÃes de superfÃcies na etapa de reconstruÃÃo da superfÃcie em espaÃo
de imagem<br>Splats based models have gained increasing attention due to its potential for rendering
complex geometric models efficiently and with high quality. The absence
connectivity information of these models allows complex modeling operations,
as Boolean operations, and fractures in physics simulations. However, these operations often
generate models with edges and corners that can not be represented correctly with
a finite number of splats without a treatment to be done. In this work, a neighborhood graph
uses an estimate which ensures the connection of all these splats on opposite sides
a discontinuity and that need to be clipped against each other. After using
a method for detecting discontinuities in the generated graph, the neighbors participating in the
a splat clipping, clip partners are determined to cut out and sorted splat
so as to adapt it to the curve of discontinuity. Another problem encountered in rendering
models based on reconstruction of splats is intersecting surfaces. Close
intersections of surfaces, the surfaces are mixed, resulting in artifacts. to treat
these cases, a segmentation algorithm performs separation of the various surfaces present
in the model, identifying the splats that form and hold them to be combined into
areas near the intersections of surfaces in the surface reconstruction phase space
image
40
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 QuelleAnnotation:
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étaille finalement un ensemble de travaux concernant l'automate temporisé (appelé un DTA) dérivé d'une spécification RT-Lotos, avec comme objectifs d'exécuter des simulations rapides, et de s'interfacer avec des outils de vérification de type model-checker. La deuxième partie présente une étude sur la notion de cohérence temporelle et propose une technique ainsi qu'un modèle formel pour exploiter sous un nouvel angle des informations issues de la vérification formelle par analyse d'accessibilité. Cette approche propose de raffiner le graphe des régions, d'en élaguer certaines branches jugées non souhaitables, d'extraire les dates de tir possible des actions, et de présenter ces informations sous la forme d'un nouveau type d'automate temporisé (appelé un TLSA) ayant pour vocation l'ordonnancement dans le temps des actions d'un système. Enfin, la troisième partie se penche sur les liens possibles entre méthodes formelles et semi-formelles. Dans ce cadre, nous proposons une sémantique formelle pour les diagrammes UML s'appuyant sur RT-Lotos, après avoir défini une extension temps-réel à UML (appelée TURTLE). Ainsi, nous définissons une méthodologie qui s'inscrit dans les techniques de développement industriel classiques et qui permet une vérification formelle de systèmes temps-réel.
41
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 QuelleAnnotation:
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 de busca híbrida, onde se combinou a busca em profundidade primeiro com limite de profundidade e a busca hill-climbing, utilizando-se heurísticas baseadas nos limitantes superiores e inferiores. Experiências computacionais mostraram a viabilidade de uso na prática desta abordagem. Mais tarde, Arenales (1993) generalizou esta a abordagem em grafo E/OU mostrando como diferentes problemas de corte poderiam ser resolvidos, independentemente da dimensão, formas dos objetos e itens, baseado em simples hipóteses, sem realizar, entretanto, estudos computacionais. O presente trabalho tem por objetivo estender a abordagem em grafo E/OU para tratar outros casos não analisados pelos trabalhos anteriores, tais como situações envolvendo diferentes processos de corte, bem como a implementação computacional de métodos baseados na abordagem em grafo E/OU, mostrando, assim, a versatilidade da abordagem para tratar diversas situações práticas de problemas de corte e sua viabilidade computacional.<br>The cutting problem consists of cutting larger objects in order to produce smaller pieces, in such a way as to optimizing a given objective function, for example, minimizing the waste. The packing problem can also be seen as a cutting problem, where the position that each smaller piece is arranged inside of the objects can be seen as the place it was cut from. An AND/OR-graph approach to solve cutting and packing problems was initially proposed by Morabito (1989) for two-dimensional cutting problem and, later, extended to threedimensional problems (Morabito, 1992). That approach uses a hybrid search, which combines depth-first search under depth bound and hill-climbing strategy. Heuristics were devised based on upper and lower bounds. Computational experiences demonstrated its practical feasibility. The AND/OR-graph approach was later generalized by Arenales (1993) based on simple hypothesis. He showed that different cutting problems Gould be solved using the AND/ORgraph approach, independently of the dimension and shapes. The main objective of this thesis is the practical extension of the AND/OR-graph approach to handle other cases not considered by previous works. It was considered different cutting processes, as well as the analysis of computational implementation, showing how can it be adapted to many classes of practical cutting and packing problems.
42
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 QuelleAnnotation:
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 requiring from them an attitude that lead to take decisions, favoring the emergence of creative answers and developing abilities concerning to those proposed on the Common Basic Curriculum of the state public high school. This proposal is described in two chapters, being the first one to introduce the theme on the second grade of high school, and the second one, to retake concepts already seen on the first one and introduce new concepts to the students of the third grade of high school. Both chapters are composed of problems, to introduce concepts and results as much to apply them, bringing their solutions and, in some cases, commentaries to the teachers<br>Este trabalho traz uma proposta para abordar a Teoria de Grafos, conteúdo que raramente é lecionado no ensino médio em escolas públicas, e objetiva trabalhar o tema através de resolução de problemas, oportunizando aos educandos a participação efetiva na construção de argumentos e desafiando-os a buscarem soluções, instigando a curiosidade e exigindo deles uma postura que os leva a tomarem decisões, favorecendo o surgimento de respostas criativas e desenvolvendo habilidades concernentes àquelas propostas no Currículo Básico Comum da rede estadual de ensino. Esta proposta traz dois capítulos, sendo o primeiro para introduzir o tema na 2ª série do ensino médio, e o segundo, para retomar conceitos já vistos no primeiro e introduzir novos conceitos aos alunos da 3ª série do ensino médio. Os dois capítulos são constituídos de problemas, tanto para introduzir conceitos e resultados quanto para aplicá-los, trazendo suas soluções e, em alguns casos, comentários dirigidos aos professores
43
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 QuelleAnnotation:
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 Reality-Requirements Specification and Testing (VR-ReST) que visa apoiar a especificação de requisitos de aplicações de RV com base na descrição de casos de uso e conceitos do domínio de RV e Grafo de Cena (GC), derivar requisitos de teste e gerar dados de teste a partir dos requisitos especificados. Além disso, é apresentado um apoio ferramental chamado de Virtual Requirements Specification and Testing (ViReST), que permite automatizá-las. A abordagem é composta por três módulos: (i) especificação dos requisitos por meio do auxílio de um modelo denominado Virtual Requirements Specification (ViReS); (ii) mapeamento dos requisitos por meio de uma linguagem semi-formal chamada Behavior Language Requirement Specification (BeLaRS) para garantir uma especificação padronizada; e (iii) geração automática dos requisitos de teste e dos dados de teste. Foi realizado um estudo de caso para avaliar a conformidade e a usabilidade da BeLaRS em auxiliar a especificação de requisitos de uma aplicação de RV. Além disso, também foi realizado um experimento para avaliar a eficácia da abordagem VR-ReST por meio da ferramenta ViReST. Usando teste de mutação neste último experimento, a abordagem VR-ReST alcançou um escore de mutação médio de 15,49% maior que o teste aleatório. Portanto, os resultados mostraram que a abordagem, bem como o apoio ferramental, podem auxiliar o projetista durante a atividade de especificação de requisitos e o testador na geração dos testes para aplicações de RV.<br>Software testing is considered an important activity towards fault revealing. Despite this advantage, it has been few explored within the scope of Virtual Reality (VR) applications. Among the existing gaps, the definition and automation of software testing criteria for this domain were identified, since these systems have their own characteristics that require definition or adaptation of testing techniques, making applications in this domain constitute highly complex systems. Therefore, a Virtual Reality-Requirements Specification and Testing (VR-ReST) approach is presented to perform the functional test of VR applications using Scene Graph (SG) concepts and a support tool called Virtual Requirements Specification And Testing (ViReST), which allows you to automate them. The approach is composed of three modules: (i) the first consists in specifying the requirements by means of a model called Virtual Requirements Specification (ViReS); (ii) the second involves mapping the requirements through a semi-formal language called Behavior Language Requirement Specification (BeLaRS) to ensure a standardized specification; and (iii) the third is the automatic generation of test requirements and test data. A case study was conducted to evaluate the compliance and usability of BeLaRS in assisting the requirements specification of an RV application. Also, an experiment was also carried out to evaluate the effectiveness of the VR-ReST approach using the ViReST tool. Using mutation testing in this latter experiment, the VR-ResT approach achieved a mean mutation score of 15.49% higher than the random testing. Therefore, the results showed that the approach, as well as tooling support, can assist the designer during the requirement specification activity and the tester in generating the tests for RV applications.
44
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 QuelleAnnotation:
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 available in DSpace on 2017-01-17T12:22:39Z (GMT). No. of bitstreams: 1
DissMLBF.pdf: 4611947 bytes, checksum: 6e6adc5972250a5579a1f54806f1aed7 (MD5)
Previous issue date: 2016-11-18<br>Não recebi financiamento<br>This work presents a didactic sequence, in thirteen activity pages, with problems on
percentage and information processing of the Brazilian Mathematics Olympiad of Public
Schools (OBMEP), idealized for different learning from the traditional exposition of theory
followed by examples and exercises. The work was developed with the 8th grade classes of a
municipal school in the city of Campinas in the year 2015. The activities were designed with
the objective of giving the students autonomy to solve problems in everyday situations in the
various areas of knowledge, always rescuing contents to make the connection between the
new and the old knowledge. In application dynamics, we tried to diversify the presentation of content through play activities. The evaluation was carried out in multiple moments’ ant we consider that the presented results can contribute significantly to the improvement of basic education especially in the ways of approaching new contents in the teaching of Mathematics.<br>Este trabalho apresenta uma sequência didática, em treze folhas de atividades, com problemas sobre porcentagem e tratamento da informação da Olimpíada Brasileira de Matemática das Escolas Públicas (OBMEP), idealizada para uma aprendizagem diferente da tradicional exposição da teoria seguida de exemplos e exercícios. O trabalho foi desenvolvido com as turmas do 8º ano de uma escola municipal da cidade de Campinas no ano de 2015. As atividades foram elaboradas com objetivo de dar autonomia ao aluno para resolver problemas em situações cotidianas nas diversas áreas do conhecimento, sempre resgatando conteúdos para fazer a conexão entre o novo e o velho conhecimento. Na dinâmica de aplicação procuramos diversificar as formas de apresentação do conteúdo através de atividades lúdicas. A avaliação foi realizada em múltiplos momentos e consideramos que os resultados apresentados podem contribuir de forma significativa para a melhoria e o aprimoramento educação básica, especialmente nas formas de abordagem de novos conteúdos no ensino da Matemática.
45
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 QuelleAnnotation:
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>Made available in DSpace 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)
Previous issue date: 2017-05-30<br>This work aims, with the help of GeoGebra Software, make an analysis of the Function f(x)=a + b sin(cx + d) (and also the Functions f(x)=a + b cos(cx + d) and f(x)=a + b tan(cx + d)) where we show the student what happens to the graph of the Function (And through of the graph analyze the changes in the domain, image and period, and also analyze the parity of these Functions) When we vary, separately, the values of a, b, c and d.
In the end we hope that the student can do the analysis of a complete Function f(x) = a + b sin(cx + d) (and also the Functions f(x) = a + b cos(cx + d) and f(x) = a + b tan(cx + d)).<br>Este trabalho visa, com a ajuda do Software GeoGebra, fazer uma análise da Função f(x)=a + b sen(cx + d) (e também das Funções f(x)=a + b cos(cx + d) e f(x)=a + b tg(cx + d) ) onde mostramos ao aluno o que acontece com o gráfico da Função (e através do gráfico analisar as mudanças no domínio, imagem e período, e também analisar a paridade destas Funções) quando variamos, separadamente, os valores de a, b, c e d.
No final esperamos que o aluno consiga fazer a análise de uma Função completa f(x)=a + b sen(cx + d) (e também das Funções f(x)=a + b cos(cx + d) e f(x)=a + b tg(cx + d)).
46
Silva, Patricia Andrade da. "Mapas e redes conceituais: uma proposta metodológica para a sua construção a partir de textos." Universidade de São Paulo, 2012. http://www.teses.usp.br/teses/disponiveis/81/81132/tde-20092016-105920/.
Der volle Inhalt der QuelleAnnotation:
A elaboração de textos por alunos em resposta a questões dissertativas dentro do contexto escolar parece ser a forma mais convencional de se tentar avaliar o que os alunos sabem. O texto que um indivíduo produz procura refletir de forma aproximada a sua estrutura de conhecimentos sobre determinado tema. A leitura e análise de textos são tarefas que exigem um tempo considerável no dia-a-dia de um professor ou pesquisador e, quando há o interesse em conhecer as ideias mais relevantes sobre determinado tema para um grupo de alunos, a tarefa é ainda mais trabalhosa. O principal objetivo desta pesquisa consiste em desenvolver uma metodologia que utiliza ferramentas computacionais para transformar textos escritos por alunos em estruturas gráficas como mapas e redes de conceitos. A utilidade desta metodologia aparece tanto no contexto da pesquisa em ensino quanto na própria prática docente, já que o produto final de sua aplicação pode permitir estabelecer inferências quanto à estrutura de conhecimentos de um grupo de alunos. A investigação ocorreu a partir de dados coletados em duas disciplinas distintas de cursos de graduação do IQ-USP. Os dados coletados referem-se a produções textuais de 42 estudantes em resposta a uma questão que fornecia alguns conceitos pré-estabelecidos. A partir das respostas dos alunos foram realizados testes: (i) com dois softwares de análise de textos para a quantificação das relações entre conceitos; (ii) para verificar a influência na quantificação das relações entre conceitos partindo-se do texto como foi escrito e das proposições extraídas do mesmo e (iii) para a obtenção de diferentes tipos de estruturas gráficas. A partir dos testes realizados, foi possível concluir que o programa Hamlet® é mais eficiente e prático do que o programa ALA-Reader® para os objetivos da presente pesquisa. Além disso, a matriz gerada pelo Hamlet® para quantificar as relações entre conceitos depende essencialmente da estrutura do texto em questão - texto original ou texto modificado. Os três tipos de estruturas gráficas construídos apresentam diferentes focos, porém, podem ser considerados complementares. As redes V+P se mostraram interessantes para análises centradas nos conceitos pré-estabelecidos e fornecidos na questão que originou os textos dos alunos. As redes a partir de corte percentual apresentaram-se como representações bastante úteis para investigações interessadas em fazer um recorte ou destacar os aspectos considerados mais relevantes pelos alunos sobre determinado tema. Os mapas conceituais construídos neste trabalho mostraram-se como representações extremamente valiosas para conhecer a aproximada estrutura de conhecimentos dos grupos de alunos, uma vez que explicitam a natureza das relações proposicionais entre os conceitos. A construção de mapas conceituais partindo-se tanto dos textos originais quanto dos textos modificados permitiu concluir que as estruturas gráficas obtidas dos dois modos se aproximam bastante uma da outra, apresentando alta semelhança. Esta semelhança sugere que a utilização do programa Hamlet® para a obtenção de matrizes que quantificam relações entre conceitos presentes em um texto na forma como foi escrito é eficiente quando comparada ao processo manual e mais demorado de se extraírem proposições de um texto para obter uma matriz.<br>The drafting of essays by students in response to essay questions in the school context seems to be the most conventional way to assess the students` knowledge. The essay produced by a student seeks to approximately reflect his/her knowledge structure about a certain domain. The reading and the analysis of essays are tasks that require a considerable time in a teacher\'s or researcher\'s routine and, when the interest on knowing the most important ideas about a certain topic is verified in a group of students, the task is even harder. The main objective of this research is to develop a methodology that uses computational tools in order to transform written essays in graphic structures such as concept maps and networks graphs. This methodology could be useful not only for teaching research purposes but also for teaching practice, since the final product of its application may lead to inferences about the knowledge structure of a group of students. The investigation developed herein was based on data collected from two distinct matters of undergraduate IQ-USP. That data refer to written essays of 42 students in response to an essay question provided of some pre-established concepts. From the students\' responses, tests were performed: (i) with two softwares for text analysis with a view of quantifying the relationships between concepts, (ii) to investigate the influence on the quantification of relationships between concepts, from the original text and from the propositions extracted from this original text and (iii) to obtain different types of graphic structures. From the tests that were done, it was possible to conclude that Hamlet® consists in a more efficient and convenient program than ALA-Reader® to the objectives of this research. Furthermore, the array generated by Hamlet® program to quantify the relationships between concepts depends essentially on the structure of the essay - either the original text or the modified text. The three types of graphic structures that were built present different focuses, however, these graphic structures may be considered complementaries. The (V+P) network graphs can be thought as interesting representations that focuses on pre-established concepts that were provided on the essay questions. Network graphs from cutting percentage can be thought as representations that are more useful for investigations interested in making a cut or in highlighting the most relevant aspects of a subject by the students. The concept maps constructed in this paper can be thought as extremely valuable representations to know the approximate knowledge structure of the students groups, since they make clear the nature of the propositional relationships between concepts. The construction of concept maps starting from the original texts and also from the modified texts proved that both graphic structures obtained are very close to each other, being highly similar. This similarity suggests that the use of the Hamlet® program to obtain arrays that quantify relationship between concepts found in an original text is more effective in comparison to manual and time-consuming process of extracting propositions from the original text to obtain an array.
47
Junior, José Fernando Rodrigues. "Design espacial-perceptivo: uma nova compreensão para representações visuais interativas." Universidade de São Paulo, 2007. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-04122007-114239/.
Der volle Inhalt der QuelleAnnotation:
Esta tese apresenta um arcabouço teórico para auxiliar o estudo e o projeto de técnicas de visualização interativa de dados. Tais técnicas, tradicionalmente, têm sido projetadas baseando-se na experiência dos analistas desenvolvedores. Muitos trabalhos, todavia, têm procurado desenvolver um espaço de compreensão coerente para explicar como as visualizações são compostas e para permitir a predição de novas abordagens para técnicas de visualização. No entanto, propostas precursoras apresentam inadequações, não sendo capazes nem de fomentar novas sistematizações nem de explicar a concepção das técnicas mais recentes encontradas na literatura. Numa etapa inicial, esta tese revê conceitos em visualização, percepção e cognição procurando explicar como a análise visual de dados funciona. A revisão destes trabalhos é sintetizada em um processo de expressividade visual que correlaciona estímulos pré-atentivos, percepção visual analítica e interpretação cognitiva. Em seguida, após uma extensa revisão de trabalhos relacionados, a discussão prossegue definindo um plano de teorização da constituição dos métodos de representação visual de dados. Este plano impulsiona o desenvolvimento de uma sistematização inicial na forma de uma taxonomia capaz de caracterizar os constituintes pré-atentivos das visualizações. Esta caracterização é orientada à percepção visual analítica, que é parte do processo de expressividade visual. Desta maneira, em uma abordagem orientada a percepções visuais, as técnicas de visualização são classificadas de acordo com um conjunto limitado de características comuns e de processos de espacialização de dados. O próximo passo da discussão prossegue para a construção de um espaço de design com dimensões de posição, forma e cor. O espaço proposto, denominado Espaço de Design Espacial- Perceptivo, considera a possibilidade de múltiplos ciclos de espacialização de dados e também técnicas de interação. Baseando-se no espaço de design introduzido, a tese apresenta um modelo para a definição de parâmetros para o design de visualizações. Este modelo, que é um primeiro resultado da aplicação dos conceitos apresentados, prevê uma ferramenta para a definição, apresentação automática e avaliação empírica de representações visuais de dados. O trabalho é encerrado com a descrição de dois sistemas completos para a visualização de grafos e de dados multi variados. Assim, na última parte do texto, os sistemas GMine e VisTree são formalmente apresentados e analisados como estudos de caso à luz da teoria desenvolvida na tese<br>This thesis presents a theoretical framework to assist the study and the design of interactive data visualization techniques. Traditionally, visualization techniques have been designed based on analysts? experience. Many works, though, have sought to develop a coherent comprehension space to explain how visualizations are composed and to allow the prediction of new approaches for visualization techniques. However, precursor proposals present inadequacies and have not been able neither to furnish new systematizations nor to explain late techniques found in literature. In an initial step, this thesis reviews concepts on visualization, perception and cognition aiming at explaining how visual data analyses work. The revision of these works is synthesized in a process of visual expressivity that interrelates pre-attentive stimuli, analytical visual perception and cognitive interpretation. Then, after an extensive revision of related works, the discussion proceeds by structuring a plan for theorizing the constitution of methods for data visual representation. This plan furnishes the development of an initial systematization in the form of a taxonomy that characterizes the pre-attentive constituents of visualizations. This characterization considers visual analytical perceptions, which are part of the processes of visual expressivity. Like so, in a perceptions oriented approach, visualization techniques are classified according to a limited set of common characteristics and to data spatialization processes. The next step in the discussion proceeds to the construction of a space with dimensions position, shape and color. The proposed space is named Spatial/Perceptual Design Space, it considers the possibility of multiple cycles of data spatialization and also interaction techniques. Based on the design space just introduced, this thesis presents a model for the definition of parameters for visualization design. This model, which is a first result of the application of the presented concepts, foresees a tool for the definition, automatic presentation and empirical evaluation of visual data representations. The work is finished with the description of two complete systems for the visualization of graphs and multivariate data. Hence, in the last part of the text, systems GMine and VisTree are formally presented and analyzed as study cases under the light of the theory introduced in the thesis
48
Nogueira, Josà Ivan Mota. "Uma estimativa interior do gradiente para a equaÃÃo da curvatura mÃdia em variedades riemannianas." Universidade Federal do CearÃ, 2012. http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=8636.
Der volle Inhalt der QuelleAnnotation:
CoordenaÃÃo de AperfeiÃoamento de NÃvel Superior<br>Deduzimos uma estimativa interior do gradiente para a equaÃÃo da curvatura mÃdia para grÃficos de Killing em variedades riemanianas inspirado na tÃcnica de pertubaÃÃes normais devido a N. Korevaar.<br>We deduce an interior gradient estimate for the mean curvature equation for Killing graphs in Riemannian manifolds inspired by the normal perturbation technique due to N. Korevaar.
49
Pezeta, Jefferson Ricart. "Resolução de problemas em contextos de ensino de Matemática: uma abordagem por meio da Teoria dos Grafos." Pontifícia Universidade Católica de São Paulo, 2013. https://tede2.pucsp.br/handle/handle/10976.
Der volle Inhalt der QuelleAnnotation:
Made available in DSpace on 2016-04-27T16:57:28Z (GMT). No. of bitstreams: 1
Jefferson Ricart Pezeta.pdf: 2838360 bytes, checksum: f176cbebd7975b05f20f73de1d10dc19 (MD5)
Previous issue date: 2013-10-30<br>Problem solving has been the subject of studies and research in order to define strategies to facilitate actions in its resolution. The graph theory is presented as a strategy that enables the modeling and solving problems, especially those that address issues related to economic paths, coloring, counting, among others, in the context of mathematics, providing a means for the student to structure and model the thinking and actions of resolution. This study is an investigation into the use of graphs as a theoretical basis in solving problems, students performed with the second and third year of high school Boni Consilii School, located in the city of São Paulo, in the district Champs Elysées. The thoughts and observations of the students are brought along the text, favoring analyzes that took into account the students' difficulties in solving problems and possibilities of Graphs in formalization and modeling strategies. In conjunction with Graph Theory, authors like Polya and Brousseau had representative participation in theoretical workshops and strategies applied in the preparation of the sequences that were prepared<br>A resolução de problemas tem sido objeto de estudos e pesquisas no sentido de definir estratégias que facilitem ações na sua resolução. A Teoria dos Grafos se apresenta como uma estratégia que possibilita a modelagem e resolução de problemas, principalmente os que abordam questões relativas a percursos econômicos, coloração, contagem, entre outros, no âmbito da matemática, proporcionando meios para que o aluno estruture e modele o pensamento e as ações de resolução. Este estudo trata de uma investigação sobre o uso de Grafos como base teórica na resolução de problemas, realizada com alunos do segundo e terceiro ano do ensino médio da Escola Boni Consilii, localizada na cidade de São Paulo, no bairro Campos Elíseos. As reflexões e observações dos alunos são trazidas ao longo do texto, favorecendo análises que levaram em conta as dificuldades dos alunos na resolução de problemas e as possibilidades de Grafos nas formalizações e modelagens de estratégias. Em conjunto com Teoria dos Grafos, autores como Polya e Brousseau tiveram representativa participação no embasamento teórico das oficinas e das estratégias aplicadas na elaboração das sequências que foram elaboradas
50
Reis, Celmo Jose dos. "Simulação da dinâmica do Aedes Aegypti com Gnumeric: uma proposta interdisciplinar para o ensino de progressões e gráficos de funções." Universidade Federal de Goiás, 2016. http://repositorio.bc.ufg.br/tede/handle/tede/6101.
Der volle Inhalt der QuelleAnnotation:
Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2016-09-05T12:22:29Z
No. of bitstreams: 2
Dissertação - Celmo José dos Reis - 2016.pdf: 3460998 bytes, checksum: c611b6ef55a816f6919e420bf4255a44 (MD5)
license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5)<br>Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2016-09-05T12:23:42Z (GMT) No. of bitstreams: 2
Dissertação - Celmo José dos Reis - 2016.pdf: 3460998 bytes, checksum: c611b6ef55a816f6919e420bf4255a44 (MD5)
license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5)<br>Made available in DSpace on 2016-09-05T12:23:42Z (GMT). No. of bitstreams: 2
Dissertação - Celmo José dos Reis - 2016.pdf: 3460998 bytes, checksum: c611b6ef55a816f6919e420bf4255a44 (MD5)
license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5)
Previous issue date: 2016-07-11<br>Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES<br>Given the need for a better interaction between teachers and students in math classes, there is, currently, an increasing search for new educational tools that involve computational resources. This monograph proposes a teaching strategy that makes the study of mathematics more enjoyable and engaging, showing how math can be used in order to provide the high school student elements to understand the reason to study math and what connection it has with their daily lives. Starting from the observation that the teaching of mathematics in public schools has struggled for acceptance of the students because mathematics is presented mostly in a traditional way, i.e., it presents the student with a pile of ready-made formulas without practical sense for them. This makes it become exhausting and ineffective, leading the student even despise mathematics. Faced with these issues, we propose the use of the program Gnumeric as a tool in teaching Progressions, Functions and Graphics. Currently, interdisciplinarity has been present in education and, following this idea, we use along with the program the mathematical modeling of population dynamics, in particular the dynamics of the Aedes aegypti mosquito as a motivation to work with the proposed contents. It is further proposed to inform and alert students about diseases caused by the mosquito Aedes aegypti.<br>Tendo em vista a necessidade de uma melhor interação entre docentes e alunos em sala de aula na abordagem de conteúdos matemáticos, atualmente é grande a busca por novas ferramentas didáticas que envolvem recursos computacionais. Propõe-se com este trabalho, fornecer uma ferramenta didática de ensino que torne o estudo da matemática mais prazeroso e envolvente, que seja mais realístico e que forneça ao aluno do ensino médio condições de avaliação do porquê estudar matemática e qual a ligação destes conteúdos com seu dia a dia, partindo da observação de que o ensino da Matemática nas escolas públicas vem enfrentando dificuldades de aceitação e aprendizagem pelos alunos, pois os conteúdos matemáticos são apresentados quase sempre de forma tradicional, ou seja, apresenta-se ao aluno um amontoado de fórmulas prontas sem sentido prático para os mesmos. Dessa forma, o ensino se torna desgastante e ineficaz, levando o aluno a até mesmo, desprezar a Matemática. Frente a essas questões, esse trabalho propõe o uso do aplicativo Gnumeric como ferramenta de apoio no ensino de progressões, funções e construção de gráficos. Atualmente, a interdisciplinaridade tem estado presente na educação e, seguindo essa ideia, usa-se juntamente ao aplicativo a modelagem matemática da dinâmica de populações, em particular do Aedes aegypti como motivação para se trabalhar o conteúdo proposto. Propõe-se ainda, informar e alertar os alunos acerca de doenças causadas pelo mosquito Aedes aegypti.