Neste trabalho, com base em representações por matrizes de duas linhas para alguns tipos de partição (algumas já conhecidas e outras novas), identificamos propriedades sugeridas por classificá-las de acordo com a soma dos elementos de sua segunda linha. Esta soma sempre fornece alguma propriedade da partição relacionada. Se considerarmos versões sem sinal de algumas funções Mock Theta, seu termo geral pode ser interpretado como função geradora para algum tipo de partição com restrições. Para retornar aos coeficientes originais, é possível definir um peso para cada matriz e depois somá-las para contá-los. Uma representação análoga para essas partições nos permite observar propriedades sobre elas, novamente por meio de uma classificação referente à soma dos seu elementos da segunda linha. Esta seriação é feita por meio de tabelas criadas pelo software matemático Maple, as quais nos sugerem padrões e identidades relacionadas com outros tipos de partições conhecidas e, muitas vezes, encontrando uma fórmula fechada para contá-las. Tendo as conjecturas obtidas, elas são provadas por meio de bijeções entre conjuntos ou por contagem. / In this work, based on representations by matrices of two lines for some kind of partition (some already known and other new ones), we identify properties suggested by classifying them according to the sum of its second line. This sum always provides some properties of the related partition. If we consider unsigned versions of some Mock Theta Functions, its general term can be interpreted as generating function for some kind of partition with restrictions. To come back to the original coefficients, you can set a weight for each array and so add them to evaluate the coefficients. An analogous representation for partitions allows us to observe properties, again by classificating them according to the sum of its elements on the second row. This classification is made by means of tables created by mathematical software Maple, which suggest patterns, identities related to other known types of partitions and often, finding a closed formula to count them. Having established conjectured identities, all are proved by bijections between sets or counting methods.

Orientador: Sérgio Augusto Cunha / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Educação Física / Made available in DSpace on 2018-08-17T12:23:18Z (GMT). No. of bitstreams: 1 Santana_JulianaExel_M.pdf: 6461488 bytes, checksum: 731aaed1e02fe448da4b39f4f7b8fb28 (MD5) Previous issue date: 2011 / Resumo: O desempenho de jogadores de futebol de elite durante uma partida é diretamente influenciado por fatores físicos, psicológicos, técnicos, táticos e entre outros. Um suporte científico capaz de buscar e aplicar metodologias que quantifiquem esses fatores é uma fonte importante de informações para que técnicos e treinadores tenham melhores condições de efetuar uma boa preparação da sua equipe. Dentro dos estudos cinemáticos no esporte, a videogrametria tem se mostrado uma ferramenta acurada para a obtenção da posição dos jogadores em função do tempo. Dentro dos aspectos táticos de um jogo de futebol, a forma como uma equipe divide o campo em áreas de responsabilidade e como essa distribuição se dá ao longo do jogo pode ser descrita através de técnicas matemáticas. Nesse sentido, o objetivo deste estudo será apresentar uma forma de representação da área de responsabilidade de jogadores de futebol durante partidas oficiais, através do Diagrama de Voronoi. Para tal, foram coletadas as imagens de 4 jogos de futebol. Os processos de segmentação das imagens e de rastreamento dos jogadores para a obtenção dos dados 2D em função do tempo foram realizados através do software DVideo®. Para as análises, foi aplicado a metodologia do Diagrama de Voronoi nas coordenadas 2D de 33 jogadores de uma mesma equipe, a cada instante de tempo, em cada jogo. Dado um conjunto de pontos no plano (que nesse caso, representam as posições dos jogadores em função do tempo), o Diagrama de Voronoi divide o plano em regiões de acordo com as distâncias entre os pontos desse conjunto, chamados Polígonos de Voronoi. As áreas dos polígonos foram calculadas. Essa ferramenta permite, através de uma representação por mapas de superfície, obter um resumo dos locais do campo contidos nos Polígonos de Voronoi associados a cada jogador, durante todo o jogo. As áreas de responsabilidade foram maiores para goleiros, laterais e atacantes, quando comparados aos zagueiros e volantes e meias.Para caracterizar a região de responsabilidade dos jogadores, foi utilizado o contorno topográfico correspondente às áreas do campo contidas nos Polígonos dos jogadores por no mínimo 60% do jogo. Os resultados obtidos para os jogos estudados mostram que o contorno que caracteriza a área de responsabilidade para os jogadores é uma boa ferramenta qualitativa e quantitativa, que representa a forma como os jogadores dividem a área do campo entre si. A utilização do Diagrama de Voronoi se mostrou uma técnica eficiente na determinação das áreas de responsabilidade dos jogadores. Técnicos e treinadores podem dessa maneira obter informações adicionais importantes para a criação de melhores estratégias de posicionamento da sua equipe para uma melhor cobertura do espaço do campo de futebol / Abstract: The performance of football elite players is directly influenced by physical, psychological, technical and tactical aspects. A scientific support capable of seek and apply methodologies to quantifying these factors is an important source of information to coaches improve their conditions to well prepare their teams. About football tactical aspects, the manner a team share the pitch in responsibility areas and how this distribution behaviours during the match can be described through mathematical techniques. Thus, the aim of this study is to show players' responsibility area during official matches using Voronoi Diagram (VD). To do so, we collected images of 4 football matches. To extract 2D players' coordinates during the entire match, images segmentation, tracking and 2D reconstruction were performed in DVideo® software. In the analysis, VD method was applied to players' 2D coordinates to all 33 players of a same team, at each instant of time and in the 4 matches. Given a set of points on plan (representing players positions as function of time), VD share the plan in regions according to distances between all points of the set, called Voronoi polygons (VP). Voronoi areas were calculated a determined as players' responsibility areas. This tool permits obtaining a summary of pitchlocations inside Voronoi polygons of each player, during the entire match, using hitmaps. To characterize responsibility areas, the contours of hitmaps corresponding to pitch areas inside VP by, at least, 60% of the match were performed. The results showed contours as an effective tool to qualitatively and quantitatively represent responsibility areas in a match. Besides, mathematical properties related to known geometric structures, as convex polygons, facilitate calculating areas. They showed be higher to goalkeepers, external defenders and forwards when compared to central defenders, defensive and offensive midfielders / Mestrado / Biodinamica do Movimento Humano / Mestre em Educação Física

Frente a uma compreensão projetual ampliada na arquitetura contemporânea devido às intersecções disciplinares experimentadas no pós-modernismo, esta pesquisa destaca os processos que anunciam o diagrama como conceito que efetiva um novo modus operandi arquitetônico. Percebendo as ramificações teóricas que são geradas sobre este tema dentro do discurso dos arquitetos, este trabalho busca na definição semiótica de diagrama em Charles S. Peirce e na sua derivação filosófica em Gilles Deleuze e Félix Guattari um suporte instrumental para a compreensão da configuração do discurso do diagrama na arquitetura. Partindo do pressuposto que a possibilidade de um conceito só é efetivada em sua interpretação, recorremos à análise de textos e obras de Peter Eisenman e do escritório UNStudio na tentativa de compreender como o conceito transita nestas arquiteturas. / Facing an amplified projectual comprehension in contemporary architecture due to the disciplinary intersections experimented in the postmodernism, this thesis emphasize the processes that announce the diagram as a concept that effects a new architectural modus operandi. Apprehending the theoretical ramifications that are generated about this theme inside the architect´s speeches, this thesis searches in the Charles S. Peirces semiotics definition of diagram and in its philosophic derivation of Gilles Deleuze and Félix Guattari an instrumental support for the comprehension of the dis- course ´s configuration of the diagram in architecture. Starting from the assumption that the possibility of a concept is only effective inner its interpretation, we had recoursed to the analysis of texts and works of Peter Eisenman and of the office UNStudio in the attempt to understand how the concept transits in these

Program slicing has been used as a way to improve the efficiency of debugging and program analysis. Nowadays, automated test generation is being used to create tests automatically by analysing the program structure and suggesting necessary tests. This kind of techniques are prone to efficiency problems when applied to large programs containing many lines of code. This is especially true for software in industrial practice, such as the ones running on Programmable logic controllers (PLC) that are used in a wide variety of tasks from toys to avionics and rail transport. Function Block Diagram (FBD) is a language used for programming PLCs that has gained lots of attention in industrial practice due to its graphical nature. These FBD programs are often used in real time and safety critical systems, and these systems require extensive testing in order to prove that they pass safety requirements of their respective domains. In order to improve the efficiency of applying automated test generation on FBD programs we propose two FBD program slicing algorithms based on the structure of these diagrams and how they are programmed. These FBD program slicing algorithms are applied on several industrial programs for PLCs in order to evaluate their feasibility and what effect slicing has on test generation. Six FBD programs were selected out of 189 provided by Bombardier Transportation Sweden AB. The six programs were sliced according to these FBD slicing algorithms and then evaluated in terms of efficiency and applicability. Our results suggest that slicing can be used to reduce the needed generation time and memory usage required for automated test generation. However, our observations show that slicing can also increase the number of test cases generated and how this test cases are merged into one test suite for the entire program.

Graphical presentation of data stored in databases is commonly achieved with desktop software which requires the data to be transferred from the database to the local machine and then processed with software. This method requires knowledge in database-related languages and tools such as SQL, and is thus demanding or inaccessible to users without a certain level of education or experience in these languages and tools. The goal of this study is to create an application that eliminates the need for advanced competence in such languages and tools to make it possible for a broader subset of users to graphically present data stored in databases. To achieve this goal, a web application has been developed that features a simple GUI for connecting to a remote database and creating charts from the data stored there. The application generates queries to the databases according to the user’s input in the GUI. For security and convenience the application has been developed with a role-based access control system. / Grafisk presentation av data som lagras i databaser uppnås vanligen med programvara på en stationär dator som kräver att data överförs från databaser till den lokala datorn och sedan bearbetas med programvaran. Denna metod kräver kunskaper inom databasrelaterade språk och verktyg som SQL, och är därmed krävande eller otillgänglig för användare utan en viss nivå av utbildning eller erfarenhet inom dessa språk och verktyg. Målet med denna studie är att skapa ett program som eliminerar behovet av avancerad kompetens inom dessa språk och verktyg för att göra det möjligt för en större grupp av användare att grafiskt presentera data som lagras i databaser. För att uppnå detta mål har en webbapplikation utvecklats som har ett simpelt grafiskt gränssnitt för anslutning till en fjärrdatabas och för att skapa diagram från data som lagras där. Applikationen genererar förfrågningar till databasen enligt användarens inmatning i det grafiska gränssnittet. Av säkerhetsmässiga och praktiska skäl har applikationen utvecklats med ett system för rollbaserad kontohantering.

This diploma thesis deals with model of project realization within the bank. It is divided into theoretical and practical parts which complement each other. The first part, the theoretical one, is focused on defining theoretical assumptions about the business process', modelling, project and key performance indicators. The practical part includes the determination of project realization course, its comparison with established standards and subsequently designs of business process model. Along with the designed model there are set appropriate key performance indicators which are compared with ITIL and Prince 2 approaches. These three components of practical part meet the goal of the whole thesis.

The Unified Modeling Language (UML) has quickly become the industry standard for object-oriented software development. It is being widely used in organizations and institutions around the world. However, UML is often found to be too complex for novice systems analysts. Although prior research has identified difficulties novice analysts encounter in learning UML, no viable solution has been proposed to address these difficulties. Sequence-diagram modeling, in particular, has largely been overlooked. The sequence diagram models the behavioral aspects of an object-oriented software system in terms of interactions among its building blocks, i.e. objects and classes. It is one of the most commonly-used UML diagrams in practice. However, there has been little research on sequence-diagram modeling. The current literature scarcely provides effective guidelines for developing a sequence diagram. Such guidelines will be greatly beneficial to novice analysts who, unlike experienced systems analysts, do not possess relevant prior experience to easily learn how to develop a sequence diagram. There is the need for an effective sequence-diagram modeling technique for novices. This dissertation reports a research study that identified novice difficulties in modeling a sequence diagram and proposed a technique called CHOP (CHunking, Ordering, Patterning), which was designed to reduce the cognitive load by addressing the cognitive complexity of sequence-diagram modeling. The CHOP technique was evaluated in a controlled experiment against a technique recommended in a well-known textbook, which was found to be representative of approaches provided in many textbooks as well as practitioner literatures. The results indicated that novice analysts were able to perform better using the CHOP technique. This outcome seems have been enabled by pattern-based heuristics provided by the technique. Meanwhile, novice analysts rated the CHOP technique more useful although not significantly easier to use than the control technique. The study established that the CHOP technique is an effective sequence-diagram modeling technique for novice analysts.

The thesis is focused on the analyse of procedures in the area of drawing financial support from European structural and investment funds within implementation of the EU Cohesion Policy. Based on the screening and analysis of current operational programmes, the objective of the thesis is developping a design of a path that could help an applicant find more easily by using a convenient flowchart an intervention area in a particular operation programme, within which an applicant may potentially apply for a subsidy. The thesis contains a screening of the primary national information sources www.dotaceeu.cz in terms of KPI and usability testing. The practical part of the thesis contains a design of a chart that learly shows the various ways of obtaining the required information about the possible subsidy. The main classes of questions needed to be answered while searching for the appropriate financial aid are the type of the applicant, the place where the project is to be implemented, the form of the aid and the type of the project.

Realtime Magnetic Resonance Imaging (MRI) is a method used for human anatomical study. MRIs give exceptionally detailed information about soft-tissue structures, such as tongues, that other current imaging techniques cannot achieve. However, the process requires special equipment and is expensive. Hence, it is not quite suitable for all patients. Speech diagrams show the side view positions of organs like the tongue, throat, and lip of a speaking or singing person. The process of making a speech diagram is like the semantic segmentation of an MRI, which focuses on the selected edge structure. Speech diagrams are easy to understand with a clear speech diagram of the tongue and inside mouth structure. However, it often requires manual annotation on the MRI machine by an expert in the field. By using machine learning methods, we achieved transferring images between MRI and speech diagrams in two directions. We first matched videos of speech diagram and tongue MRIs. Then we used various image processing methods and data augmentation methods to make the paired images easy to train. We built our network model inspired by different cross-domain image transfer methods and applied reference-based super-resolution methods—to generate high-resolution images. Thus, we can do the transferring work through our network instead of manually. Also, generated speech diagram can work as an intermediary part to be transferred to other medical images like computerized tomography (CT), since it is simpler in structure compared to an MRI. We conducted experiments using both the data from our database and other MRI video sources. We use multiple methods to do the evaluation and comparisons with several related methods show the superiority of our approach.

This diploma thesis focuses on problematic about optimizing of service center and provides a base for creation of program for simulation and optimization. This diploma thesis also deals with hierarchical breakdown and logical structures of processes. Also there are quality determining methods and methods for visualization of processes.