在這個資訊快速擴張的時代，許多種類的資料庫被應用在各式各樣的領域中。空間資料探勘即是一個例子，它在空間資料庫中探勘出頻繁的樣式以及空間關係。空間資料探勘是在空間資料庫中挖掘出有趣的、以前不知道的、但實際上是有用的樣式或空間關係。 在本篇論文中，我們探勘空間序列的問題。我們主要討論兩個主題：空間相關樣式，以及空間相似相關樣式。關於空間相關樣式，我們提出以Apriori為基礎以及深度優先為基礎的解法。在空間相關相似樣式部分，我們提出兩個演算法AP-mine以及AS-mine來解決我們的問題。在AP-mine中，我們提出一個名為AP-tree的資料結構來有效率的挖掘出空間相關相似樣式。最後我們以實驗來驗證我們的演算法。 / With the growth of data, a variety of databases are applied in many applications. Spatial data mining is an example, and it discovers patterns or spatial relations from large spatial databases. Spatial data mining is the process of discovering interesting and previously unknown, but potential useful patterns or spatial relations from large spatial databases. In this thesis, we explore the problem of spatial sequential pattern mining. The two issues spatial co-relation patterns and approximate spatial co-relation patterns will be discussed. We utilize Apriori-based method and depth-first based method to solve the problem of spatial co-relation patterns. About approximate co-relation spatial patterns, we propose two algorithms, named AP-mine and AS-mine. In AP-mine, we propose a data structure, named AP-tree, to efficient mining the approximate spatial co-relation patterns. Lastly, We also perform the experiments to evaluate our spatial co-relation pattern mining algorithms.

This thesis presents a study concerning the application and the analysis of Fleuriet Model and the model based on aggregate economic value. Fleuriet Model is the result from studies that were developed in 70 s decade in Brazilian firms, aiming to create techniques to obtain a financial management approach according to the Brazilian situation. By the consideration of re-arrangements on account s rubrics in balancesheets, elaborated according to society legislation, is possible to reach indices as treasure balance (TB), floating capital (FC) and necessity of floating capital (NFC), that configurate the base to the model TB = FC NFC. Those indices attest the financial profile under a dynamic focus (a firm in activity, not on static s conditions, has active money to pay the inactive, as the traditional analyses does). Since 80´s decade, a new rule to measure firm s performance consists to increase the value to shareholders, bringing out the evaluation based on aggregate economic value. Through this model, the emphasis is that, in fact, there are just one real profit, if so, operational results can cover total capital costs, including third capital and own capital. Model s application and research, and its relationship were based on the follow question: Gaúchas farming cooperatives societies could achieve operational results to present indices of performance which reflect the ability of financial balance of firm s dynamic and also generate economic value? This is a scientific research that use empiric and analytic qualitative methodology, through a no-experimental research or ex-post-fact research and statistic technique denominated not-parametric co-relation analyses, independents variables are TB, FC and NFC and only one dependent variable, which is the aggregate economic value. Tests were made on an intentional sample from 51 co-operative societies. Research result, considering the sample, shows that: 1) Financial performance, achieved from Fleuriet Model, attributed an unsatisfactory situation to the larger number of cooperatives societies. Positive NFC is not enough positive to supply firm s recourses requested to positive financing of NFC; 2) Economic performance presented a positive economic result, meaning that on the time period analyzed it kips stable to the grater number of those co-operatives; 3) co-relation treatment of data showed that economic result has more significance as the financial variables FC and NFC, because of TB variable presents non co-relation with EVA. / Esta dissertação é um estudo sobre a aplicação e a análise do Modelo Fleuriet e do modelo baseado no valor econômico agregado, além do relacionamento entre eles. O Modelo Fleuriet é o resultado de um trabalho desenvolvido na década de 70, junto a empresas instaladas no Brasil, cujo objetivo era desenvolver técnicas de gerenciamento financeiro voltadas para a realidade brasileira. A partir de uma reclassificação das rubricas contábeis do balanço patrimonial elaborado de acordo com a legislação societária, obtêm-se os indicadores saldo de tesouraria (ST), capital de giro (CDG) e necessidade de capital de giro (NCG), os quais constituem a base do modelo para o qual ST = CDG NCG. Tais indicadores caracterizam o perfil financeiro da empresa sob um enfoque dinâmico (a empresa em funcionamento, e não em uma condição estática de transformação do ativo em dinheiro para pagar os passivos, como ocorre na análise tradicional). A partir da década de 80, um novo padrão para medir o desempenho das empresas foi o aumento do valor para o acionista, que resultou no modelo de avaliação baseado no valor econômico agregado. Por meio desse modelo, a ênfase está no fato de que somente existe lucro verdadeiro se os resultados operacionais forem capazes de cobrir o custo do capital total, no qual estão incluídos o capital de terceiros e o capital próprio. A aplicação dos modelos e a investigação do relacionamento entre eles foram baseadas no questionamento: As cooperativas agropecuárias gaúchas conseguem gerar resultados de forma a apresentarem indicadores de desempenho que reflitam equilíbrio financeiro na sua dinâmica empresarial e gerarem valor econômico? No estudo foram utilizados o método científico empírico-analítico quantitativo através de pesquisa não experimental ou pesquisa ex-post-facto e a técnica estatística de análise de correlação não-paramétrica, em que as variáveis independentes são o CDG, a NCG e o ST, e a variável dependente é o valor econômico agregado. Os testes foram realizados para uma amostra intencional de 51 cooperativas. Os resultados da pesquisa, considerando a amostra utilizada, sinalizaram que: 1) O desempenho financeiro, obtido mediante aplicação do Modelo Fleuriet, caracteriza o maior número de cooperativas através da situação insatisfatória. O CDG positivo se apresenta com valor insuficiente para suprir a demanda de recursos no financiamento da NCG positiva. Tal situação faz com que essas cooperativas financiem parte da NCG com fundos de curto prazo, correndo risco de insolvência pelo ST negativo; 2) O desempenho econômico apresentou formação de resultado econômico positivo, sendo constante em todo o período analisado e acontecendo em grande parte das cooperativas; 3) no tocante à correlação, o resultado econômico tem uma relação mais significativa com o resultado financeiro das variáveis CDG e NCG, sendo que o ST é a variável que menos está correlacionada com o EVA®.

gekürzte Fassung: Coalgebren wurden sowohl in der Mathematik (seit den 70er Jahren) als auch in der theoretischen Informatik (seit den 90er Jahren) untersucht. In der Mathematik sind Coalgebren dual zu universellen Algebren definiert. Sie bestehen aus einer Trägermenge A zusammen mit Cofunktionen ? : A ? , die A in die n-fache disjunkte Vereinigung von sich selbst abbilden. Das Ziel der Forschung ist hier vor allem, duale Versionen von Definitionen und Resultaten aus der universellen Algebra für die Welt der Coalgebren zu finden. Die theoretische Informatik betrachtet Coalgebren von kategorieller Seite aus. Für einen gegebenen Funktor F : C ? C sind Coalgebren als Paare (S,"alpha") definiert, wobei S ein Objekt von C und "alpha" : S ? F(S) ein Morphismus in C ist. Somit stellt der obige Ansatz mit Cofunktionen einen Spezialfall dar. Begriffe wie Homomorphismus oder Bisimularität lassen sich auf einfache Weise ausdrücken und handhaben. Solche Coalgebren modellieren eine große Anzahl von dynamischen Systemen. Das liefert eine kanonische und vereinheitlichende Sicht auf diese Systeme. Die vorliegende Dissertation führt beide genannten Forschungsrichtungen der Coalgebren weiter: Teil I beschäftigt sich mit "klassischen" Coalgebren, also solchen, wie sie in der universellen Algebra untersucht werden. Insbesondere wird das Verhältnis zur Klontheorie erforscht. Teil II der Arbeit widmet sich dem kategoriellen Ansatz aus der theoretischen Informatik. Von speziellem Interesse ist hier die Anwendung von Coalgebren zur Spezifikation von Systemen. Coalgebren und Klontheorie In der universellen Algebra spielen Systeme von Funktionen eine bedeutende Rolle, u.a. in der Klontheorie. Dort betrachtet man Funktionen auf einer festen gegebenen Grundmenge. Klone von Funktionen sind Mengen von Funktionen, die alle Projektionen enthalten und die gegen Superposition (d.h. Einsetzen) abgeschlossen sind. Extern lassen sich diese Klone als Galois-abgeschlossene Mengengzgl. der Galois-Verbindung zwischen Funktionen und Relationen darstellen. Diese Galois-Verbindung wird durch die Eigenschaft einer Funktion induziert, eine Relation zu bewahren. Dual zu Klonen von Funktionen wurde von B. Csákány auch Klone von Cofunktionen untersucht. Folglich stellt sich die Frage, ob solche Klone ebenfalls mittels einer geeigneten Galois-Verbindung charakterisiert werden können. Die vorliegende Arbeit führt zunächst den Begriff von Corelationen ein. Es wird auf kanonische Weise definiert, was es heißt, daß eine Cofunktion eine Corelation bewahrt. Dies mündet in einer Galois-Theorie, deren Galois-abgeschlossene Mengen von Cofunktionen tatsächlich genau die Klone von Cofunktionen sind. Überdies entsprechen die Galois-abgeschlossenen Mengen von Corelationen genau den Klonen von Corelationen. Die Galois-Theorien von Funktionen und Relationen einerseits und Cofunktionen und Corelationen anderseits sind sich sehr ähnlich. Das wirft die Frage auf, welche Voraussetzungen allgemein nötig sind, um solche und ähnliche Galois-Theorien aufzustellen und die entsprechenden Galois-abgeschlossenen Mengen zu charakterisieren. Das Ergebnis ist eine Metatheorie, bei der die Gemeinsamkeiten in den Charakterisierungen der Galois-abgeschlossenen Mengen herausgearbeitet sind. Bereits bekannte Galois-Theorien erweisen sich als Spezialfälle dieser Metatheorie, und zwar die Galois-Theorien von partiellen Funktionen und Relationen, von mehrwertigen Funktionen und Relationen und von einstelligen Funktionen und Relationen....

gekürzte Fassung: Coalgebren wurden sowohl in der Mathematik (seit den 70er Jahren) als auch in der theoretischen Informatik (seit den 90er Jahren) untersucht. In der Mathematik sind Coalgebren dual zu universellen Algebren definiert. Sie bestehen aus einer Trägermenge A zusammen mit Cofunktionen ? : A ? , die A in die n-fache disjunkte Vereinigung von sich selbst abbilden. Das Ziel der Forschung ist hier vor allem, duale Versionen von Definitionen und Resultaten aus der universellen Algebra für die Welt der Coalgebren zu finden. Die theoretische Informatik betrachtet Coalgebren von kategorieller Seite aus. Für einen gegebenen Funktor F : C ? C sind Coalgebren als Paare (S,"alpha") definiert, wobei S ein Objekt von C und "alpha" : S ? F(S) ein Morphismus in C ist. Somit stellt der obige Ansatz mit Cofunktionen einen Spezialfall dar. Begriffe wie Homomorphismus oder Bisimularität lassen sich auf einfache Weise ausdrücken und handhaben. Solche Coalgebren modellieren eine große Anzahl von dynamischen Systemen. Das liefert eine kanonische und vereinheitlichende Sicht auf diese Systeme. Die vorliegende Dissertation führt beide genannten Forschungsrichtungen der Coalgebren weiter: Teil I beschäftigt sich mit "klassischen" Coalgebren, also solchen, wie sie in der universellen Algebra untersucht werden. Insbesondere wird das Verhältnis zur Klontheorie erforscht. Teil II der Arbeit widmet sich dem kategoriellen Ansatz aus der theoretischen Informatik. Von speziellem Interesse ist hier die Anwendung von Coalgebren zur Spezifikation von Systemen. Coalgebren und Klontheorie In der universellen Algebra spielen Systeme von Funktionen eine bedeutende Rolle, u.a. in der Klontheorie. Dort betrachtet man Funktionen auf einer festen gegebenen Grundmenge. Klone von Funktionen sind Mengen von Funktionen, die alle Projektionen enthalten und die gegen Superposition (d.h. Einsetzen) abgeschlossen sind. Extern lassen sich diese Klone als Galois-abgeschlossene Mengengzgl. der Galois-Verbindung zwischen Funktionen und Relationen darstellen. Diese Galois-Verbindung wird durch die Eigenschaft einer Funktion induziert, eine Relation zu bewahren. Dual zu Klonen von Funktionen wurde von B. Csákány auch Klone von Cofunktionen untersucht. Folglich stellt sich die Frage, ob solche Klone ebenfalls mittels einer geeigneten Galois-Verbindung charakterisiert werden können. Die vorliegende Arbeit führt zunächst den Begriff von Corelationen ein. Es wird auf kanonische Weise definiert, was es heißt, daß eine Cofunktion eine Corelation bewahrt. Dies mündet in einer Galois-Theorie, deren Galois-abgeschlossene Mengen von Cofunktionen tatsächlich genau die Klone von Cofunktionen sind. Überdies entsprechen die Galois-abgeschlossenen Mengen von Corelationen genau den Klonen von Corelationen. Die Galois-Theorien von Funktionen und Relationen einerseits und Cofunktionen und Corelationen anderseits sind sich sehr ähnlich. Das wirft die Frage auf, welche Voraussetzungen allgemein nötig sind, um solche und ähnliche Galois-Theorien aufzustellen und die entsprechenden Galois-abgeschlossenen Mengen zu charakterisieren. Das Ergebnis ist eine Metatheorie, bei der die Gemeinsamkeiten in den Charakterisierungen der Galois-abgeschlossenen Mengen herausgearbeitet sind. Bereits bekannte Galois-Theorien erweisen sich als Spezialfälle dieser Metatheorie, und zwar die Galois-Theorien von partiellen Funktionen und Relationen, von mehrwertigen Funktionen und Relationen und von einstelligen Funktionen und Relationen....

In this paper, we generalize the notions of polymorphisms and invariant relations to arbitrary categories. This leads us to a Galois connection that coincides with the classical case from universal algebra if the underlying category is the category of sets, but remains applicable no matter how the category is changed. In analogy to the situation in universal algebra, we characterize the Galois closed classes by local closures of clones of operations and local closures of what we will introduce as clones of (generalized) relations. Since the approach is built on purely category-theoretic properties, we will also discuss the dualization of our notions.

In this paper, we generalize the notions of polymorphisms and invariant relations to arbitrary categories. This leads us to a Galois connection that coincides with the classical case from universal algebra if the underlying category is the category of sets, but remains applicable no matter how the category is changed. In analogy to the situation in universal algebra, we characterize the Galois closed classes by local closures of clones of operations and local closures of what we will introduce as clones of (generalized) relations. Since the approach is built on purely category-theoretic properties, we will also discuss the dualization of our notions.