This thesis presents a transient stability method using dynamic phasors. This method can be used to investigate low frequency (<5Hz) and sub-synchronous frequency (5Hz-60Hz) oscillations. It has major advantages as compared to traditional transient stability method and EMT method. It allows modeling of higher-frequency oscillation possible using time domain simulations, which is not achievable with conventional method. It also can be simulated at much larger time step as compared to PSCAD/EMTDC simulation. Comparison of the results with traditional model and detailed EMT model are also present, and they show very accurate results at frequency ranges up to 60Hz.

By counting 1's in the "right half" of 2w consecutive rows, we locate the main diagonal of any doubly infinite permutation matrix with bandwidth w. Then the matrix can be correctly centered and factored into block-diagonal permutation matrices. Part II of the paper discusses the same questions for the much larger class of band-dominated matrices. The main diagonal is determined by the Fredholm index of a singly infinite submatrix. Thus the main diagonal is determined "at infinity" in general, but from only 2w rows for banded permutations.

In the 1980s and 1990s, many scientifically cognizant young novelists turned away from the physics-based tropes of entropy and chaos and chose biological concepts of order, complexity, and self-organization as their dominant metaphors. This dissertation focuses on three novels published between 1991 and 1996 that replace the notion of the encyclopedia as a closed system and model new narrative ecologies grounded in the tenets of the emergent science of complex systems. Thus, Richard Powers's The Gold-Bug Variations (1991) explores the marriage of bottom-up self-organizing systems and top-down natural selection through a narrative lens and cautions us against any worldview which does not grasp life as a complex system; Bob Shacochis's Swimming in the Volcano (1993) illustrates how richly complex global behavior emerges from the local interaction of a large number of independent agents; and, David Foster Wallace's Infinite Jest (1996) enacts a collaborative narrative of distributed causality to investigate reciprocal relationships between the individual and the multiple systems in which he is embedded. Unlike many other contemporary authors, the new encyclopedists do not shun the abundance of information in postmodern culture. Instead, as I demonstrate here, the intricate webs of their complex ecologies emerge as narrative circulates through diverse informational networks. Ecologies of Knowledge argues that these texts inaugurate a new naturalism, demanding a reconciliation between humans and the natural world and advocating an increased understanding of life's interdependent patterns and particularities. Grounded in such an awareness of ecological complexity, these large and demanding books are our survival guides for the twenty-first century. / Department of English

The problem of defining cycles in infinite graphs has received much attention in the literature. Diestel and Kuhn have proposed viewing a graph as 1-complex, and defining a topology on the point set of the graph together with its ends. In this setting, a circle in the graph is a homeomorph of the unit circle S^1 in this topological space. For locally finite graphs this setting appears to be natural, as many classical theorems on cycles in finite graphs extend to the infinite setting. A Hamilton circle in a graph is a circle containing all the vertices of the graph. We exhibit a necessary and sufficient condition that a countable graph contain a Hamilton circle in terms of the existence of Hamilton cycles in an increasing sequence of finite graphs. As corollaries, we obtain extensions to locally finite graphs of Zhan's theorem that all 7-connected line graphs are hamiltonian (confirming a conjecture of Georgakopoulos), and Ryjacek's theorem that all 7-connected claw-free graphs are hamiltonian. A third corollary of our main result is Georgakopoulos' theorem that the square of every two-connected locally finite graph contains a Hamilton circle (an extension of Fleischner's theorem that the square of every two-connected finite graph is Hamiltonian).

This thesis is concerned with aspects of the model theory of infinite soluble groups. The results proved lie on the border between group theory and model theory: the questions asked are of a model-theoretic nature but the techniques used are mainly group-theoretic in character. We present a characterization of those groups contained in the universal closure of a restricted wreath product U wr G, where U is an abelian group of zero or finite square-free exponent and G is a torsion-free soluble group with a bound on the class of its nilpotent subgroups. For certain choices of G we are able to use this characterization to prove further results about these groups; in particular, results related to the decidability of their universal theories. The latter part of this work consists of a number of independent but related topics. We show that if G is a finitely generated abelian-by-metanilpotent group and H is elementarily equivalent to G then the subgroups gamma_n(G) and gamma_n(H) are elementarily equivalent, as are the quotient groups G/gamma_n(G) and G/gamma_n(H). We go on to consider those groups universally equivalent to F_2(VN_c), where the free groups of the variety V are residually finite p-groups for infinitely many primes p, distinguishing between the cases when c = 1 and when c > 2. Finally, we address some important questions concerning the theories of free groups in product varieties V_k · · ·V_1, where V_i is a nilpotent variety whose free groups are torsion-free; in particular we address questions about the decidability of the elementary and universal theories of such groups. Results mentioned in both of the previous two paragraphs have applications here.

This thesis investigates a method for tackling the verification of parametric systems, systems whose behaviour may depend on the value of one or more parameters. The range of allowable values for such parameters may, in general, be large or unknown. This results in a large number of instances of a system that require verification, one instance for each allowable combination of parameter values. When one or more parameters are unbounded, the family of systems that require verification becomes infinite. Computer protocols are one example of such parametric systems. They may have parameters such as the maximum sequence number or the maximum number of retransmissions. Traditional protocol verification approaches usually only analyse and verify properties of a parametric system for a small range of parameter values. It is impossible to verify in this way every concrete instance of an infinite family of systems. Also, the number of reachable states tends to increase dramatically with increasing parameter values, and thus the well known state explosion phenomenon also limits the range of parameters for which the system can be analysed. In this thesis, we concentrate on the parametric verification of the Stop-and-Wait Protocol (SWP), an elementary flow control protocol. We have used Coloured Petri Nets (CPNs) to model the SWP, operating over an in-order but lossy medium, with two unbounded parameters: the maximum sequence number; and the maximum number of retransmissions. A novel method has been used for symbolically representing the parametric reachability graph of our parametric SWP CPN model. This parametric reachability graph captures exactly the infinite family of reachability graphs resulting from the infinite family of SWP CPNs. The parametric reachability graph is represented symbolically as a set of closed-form algebraic expressions for the nodes and arcs of the reachability graph, expressed in terms of the two parameters. By analysing the reachability graphs of the SWP CPN model for small parameter values, structural regularities in the reachability graphs were identified and exploited to develop the appropriate algebraic expressions for the parametric reachability graph. These expressions can be analysed and manipulated directly, thus the properties that are verified from these expressions are verified for all instances of the system. Several properties of the SWP that are able to be verified directly from the parametric reachability graph have been identified. These include a proof of the size of the parametric reachability graph in terms of both parameters, absence of deadlocks (undesired terminal states), absence of livelocks (undesirable cycles of behaviour from which the protocol cannot escape), absence of dead transitions (actions that can never occur) and the upper bounds on the content of the underlying communication channel. These are verified from the algebraic expressions and thus hold for all parameter values. Significantly, language analysis is also carried out on the parametric SWP. The parametric reachability graph is translated into a parametric Finite State Automaton (FSA), capturing symbolically the infinite set of protocol languages (i.e. sequences of user observable events) by means of similar algebraic expressions to those of the parametric reachability graph. Standard FSA reduction techniques were applied in a symbolic fashion directly to the parametric FSA, firstly to obtain a deterministic representation of the parametric FSA, then to obtain an equivalent minimised FSA. It was found that the determinisation procedure removed the effect of the maximum number of retransmissions parameter, and the minimisation procedure removed the effect of the maximum sequence number parameter. Conformance of all instances of the SWP over both parameters to its desired service language is proved. The development of algebraic expressions to represent the infinite class of Stop-and-Wait Protocols, and the verification of properties (including language analysis) directly from these algebraic expressions, has demonstrated the potential of this method for the verification of more general parametric systems. This thesis provides a significant contribution toward the development of a general parametric verification methodology.

Submitted by VALERIA OSTETE JANNIS LUCHETTA null (v_luchetta@uol.com.br) on 2017-12-18T19:08:57Z No. of bitstreams: 1 Tese-Valeria_Ostete_Jannis_Luchetta.pdf: 50620362 bytes, checksum: 83603c2cf7954c3e54c5b514f1349a73 (MD5) / Approved for entry into archive by Adriana Aparecida Puerta null (dripuerta@rc.unesp.br) on 2017-12-19T16:13:23Z (GMT) No. of bitstreams: 1 luchetta_voj_dr_rcla.pdf: 50476781 bytes, checksum: b699e31dcd81595fcb782249edc5c527 (MD5) / Made available in DSpace on 2017-12-19T16:13:23Z (GMT). No. of bitstreams: 1 luchetta_voj_dr_rcla.pdf: 50476781 bytes, checksum: b699e31dcd81595fcb782249edc5c527 (MD5) Previous issue date: 2017-11-24 / No presente trabalho apresentamos uma análise de alguns dos capítulos da obra Elements of Algebra (1840), de Leonhard Euler (1707 - 1783), que tratam de Séries infinitas. Nesta obra encontramos os métodos e os resultados mais importantes à respeito de álgebra alcançados por Euler até 1770. Nosso objetivo foi analisar e evidenciar os diferentes modos de produção de significados e conhecimentos para o objeto matemático séries infinitas na obra supra citada tomando como fundamentação teórica e metodológica o Modelo dos Campos Semânticos. Apresentamos a tradução dos capítulos selecionados, produzimos significados a eles utilizando nosso referencial teórico e os comparamos com a forma que produzimos significados e conhecimentos hoje utilizando a Teoria de Séries. / In this work we present an analysis of some of the chapters of Leonhard Euler’s (1707- 1783) Elements of Algebra (1840), which deal with Infinite Series. In his work we find the most important methods and results regarding algebra achieved by Euler until 1770. Our goal was to analyze and evidence the different modes of production of meanings and knowledge for the mathematical object infinite series in the work cited above taking as theoretical and methodological foundation the Model of Semantic Fields. We present the translation of the selected chapters, we produce meanings for them using our theoretical benchmark and compare them with the way we produce meanings and knowledge today using the Theory of Series.

Cette thèse porte sur des propriétés d'approximation généralisant la moyennabilité pour les groupes localement compacts. Ces propriétés sont définies à partir des multiplicateurs de certaines algèbres associés aux groupes. La première partie est consacrée à l'étude de la propriété p-AP, qui est une extension de la AP de Haagerup et Kraus au cadre des opérateurs sur les espaces Lp. Le résultat principal dit que les groupes de Lie simples de rang supérieur et de centre fini ne satisfont p-AP pour aucun p entre 1 et l'infini. La deuxième partie se concentre sur les multiplicateurs de Schur radiaux sur les graphes. L'étude de ces objets est motivée par les liens avec les actions de groupes discrets et la moyennabilité faible. Les trois résultats principaux donnent des conditions nécessaires et suffisantes pour qu'une fonction sur les nombres naturels définisse un multiplicateur radial sur des différentes classes de graphes généralisant les arbres. Plus précisément, les classes de graphes étudiées sont les produits d'arbres, les produits de graphes hyperboliques et les complexes cubiques CAT(0) de dimension finie. / This thesis focusses on some approximation properties which generalise amenability for locally compact groups. These properties are defined by means of multipliers of certain algebras associated to the groups. The first part is devoted to the study of the p-AP, which is an extension of the AP of Haagerup and Kraus to the context of operators on Lp spaces. The main result asserts that simple Lie groups of higher rank and finite centre do not satisfy p-AP for any p between 1 and infinity. The second part concentrates on radial Schur multipliers on graphs. The study of these objects is motivated by some connections with actions of discrete groups and weak amenability. The three main results give necessary and sufficient conditions for a function of the natural numbers to define a radial multiplier on different classes of graphs generalising trees. More precisely, the classes of graphs considered here are products of trees, products hyperbolic graphs and finite dimensional CAT(0) cube complexes.

We broaden the theory of dynamical interpretation, investigate the property of commutativity and explore the subject of subgroups forming free products in Thompson's group V. We expand Brin's terminology for a revealing pair to an any tree pair. We use it to analyse the dynamical behaviour of an arbitrary tree pair which cannot occur in a revealing pair. Hence, we design a series of algorithms generating Brin's revealing pair from any tree pair, by successively eliminating the undesirable structures. To detect patterns and transitioning between tree pairs, we introduce a new combinatorial object called the chains graph. A newly defined, unique and symmetrical type of a tree pair, called a balanced tree pair, stems from the use of the chains graphs. The main theorem of Bleak et al. in "Centralizers in the R. Thompson's Group V_n" states the necessary structure of the centraliser of an element of V. We provide a converse to this theorem, by proving that each of the predicted structures is realisable. Hence we obtain a complete classification of centralisers in V. We give an explicit construction of an element of V with prescribed centraliser. The underlying concept is to embed a Cayley graph of a finite group into the flow graph (introduced in Bleak et al.) of the desired element. To reflect the symmetry, we present the resulting element in terms of a balanced tree pair. The group V is conjectured to be a universal coCF group, which generates interest in studying its subgroups. We develop a better understanding of embeddings into V by providing a necessary and sufficient dynamical condition for two subgroups (not both torsion) to form a free product in V. For this, we use the properties, explored in Bleak and Salazar-Díaz "Free Products in Thompson's Group V", of sets of so--called important points, and the Ping-Pong action induced on them.

L'apprentissage de langages réguliers est un sous-ensemble de l'apprentissage automatique qui s'est révélé utile dans de nombreux domaines tels que l'intelli-gence artificielle, les réseaux de neurones, l'exploration de données, la vérification, etc. De plus, l'intérêt dans les langages définis sur des alphabets infinis ou de grande taille est croissant au fil des années. Même si plusierurs propriétés et théories se généralisent à partir du cas fini, l'apprentissage de tels langages est une tâche difficile.En effet, dans ce contexte, l'application naïve des algorithmes d'apprentissage traditionnel n'est pas possible.Dans cette thèse, nous présentons un schéma algorithmique général pour l'ap-prentissage de langages définis sur des alphabets infinis ou de grande taille, comme par exemple des sous-ensembles bornés de N or R ou des vecteurs booléens de grandes dimensions. Nous nous restreignons aux classes de langages qui sont acceptés par des automates déterministes symboliques utilisant des prédicats pour définir les transitions, construisant ainsi une partition finie de l'alphabet pour chaque état.Notre algorithme d'apprentissage, qui est une adaptation du L* d'Angluin, combine l'apprentissage classique d'un automate par la caractérisation de ses états, avec l'apprentissage de prédicats statiques définissant les partitions de l'alphabet. Nous utilisons l'apprentissage incrémental avec la propriété que deux types de requêtes fournissent une information suffisante sur le langage cible. Les requêtes du premier type sont les requêtes d'adhésions, qui permettent de savoir si un mot proposé appartient ou non au langage cible. Les requêtes du second type sont les requêtes d'équivalence, qui vérifient si un automate proposé accepte le langage cible; dans le cas contraire, un contre-exemple est renvoyé.Nous étudions l'apprentissage de langages définis sur des alphabets infinis ou de grande tailles dans un cadre théorique et général, mais notre objectif est de proposer des solutions concrètes pour un certain nombre de cas particuliers. Ensuite, nous nous intéressons aux deux principaux aspects du problème. Dans un premier temps, nous supposerons que les requêtes d'équivalence renvoient toujours un contre-exemple minimal pour un ordre de longueur-lexicographique quand l'automate proposé est incorrect. Puis dans un second temps, nous relâchons cette hypothèse forte d'un oracle d'équivalence, et nous la remplaçons avec une hypothèse plus réaliste où l'équivalence est approchée par un test sur les requêtes qui utilisent un échantillonnage sur l'ensemble des mots. Dans ce dernier cas, ce type de requêtes ne garantit pas l'obtention de contre-exemples, et par conséquent de contre-exemples minimaux. Nous obtenons alors une notion plus faible d'apprent-issage PAC (Probably Approximately Correct), permettant l'apprentissage d'une approximation du langage cible.Tout les algorithmes ont été implémentés, et leurs performances, en terme de construction d'automate et de taille d'alphabet, ont été évaluées empiriquement. / Learning regular languages is a branch of machine learning, which has been proved useful in many areas, including artificial intelligence, neural networks, data mining, verification, etc. On the other hand, interest in languages defined over large and infinite alphabets has increased in recent years. Although many theories and properties generalize well from the finite case, learning such languages is not an easy task. As the existing methods for learning regular languages depends on the size of the alphabet, a straightforward generalization in this context is not possible.In this thesis, we present a generic algorithmic scheme that can be used for learning languages defined over large or infinite alphabets, such as bounded subsets of N or R or Boolean vectors of high dimensions. We restrict ourselves to the class of languages accepted by deterministic symbolic automata that use predicates to label transitions, forming a finite partition of the alphabet for every state.Our learning algorithm, an adaptation of Angluin's L*, combines standard automaton learning by state characterization, with the learning of the static predicates that define the alphabet partitions. We use the online learning scheme, where two types of queries provide the necessary information about the target language. The first type, membership queries, answer whether a given word belongs or not to the target. The second, equivalence queries, check whether a conjectured automaton accepts the target language, a counter-example is provided otherwise.We study language learning over large or infinite alphabets within a general framework but our aim is to provide solutions for particular concrete instances. For this, we focus on the two main aspects of the problem. Initially, we assume that equivalence queries always provide a counter-example which is minimal in the length-lexicographic order when the conjecture automaton is incorrect. Then, we drop this ``strong'' equivalence oracle and replace it by a more realistic assumption, where equivalence is approximated by testing queries, which use sampling on the set of words. Such queries are not guaranteed to find counter-examples and certainly not minimal ones. In this case, we obtain the weaker notion of PAC (probably approximately correct) learnability and learn an approximation of the target language. All proposed algorithms have been implemented and their performance, as a function of automaton and alphabet size, has been empirically evaluated.