Representação e Anáilse de Gramáticas de Grafos

Os sistemas computacionais estão tomando proporções cada vez maiores envolvendo situações bastante complexas, onde muitas vezes erros são inaceitáveis, como em sistemas bancários, sistemas de controle de tráfego aéreo, etc... Para obter software confiável e com desempenho aceitável, pode-se aliar técnicas de desenvolvimento formal de software a técnicas de simulação de sistemas. O ambiente PLATUS reúne essas duas áreas: modelos de simulação são descritos usando gramáticas de grafos uma linguagem de especificação formal. Gramáticas de grafos são uma generalização de gramáticas de Chomsky, substituindo strings por grafos. Neste trabalho, serão tratadas gramáticas de grafos baseados em objetos, um modelo onde vértices e arcos são tipados, e as especificações são modulares (a especificação de um sistema consiste em várias gramáticas de grafos combinadas). Assim, o modelo de um sistema pode ser descrito de forma precisa, e a linguagem de especificação é bastante abstrata e expressiva. Num ambiente de simulação a questão da recuperação de dados merece uma atenção especial, uma vez que a eficiência do simulador está diretamente ligada a agilidade na obtenção das informações. Neste trabalho, o objetivo principal é definir uma representação para gramáticas de grafos que facilite o armazenamento, a recuperação e análise das estruturas identificadas no ambiente PLATUS, ou seja, gramáticas de grafos baseadas em objetos. São definidas também funções que implementam os procedimentos necessários, para a recuperação de dados durante a simulação. A eficiência dessas funções é demonstrada através do cálculo de sua ordem de complexidade. As estruturas são validadas através da implementação de um protótipo de banco de dados.

Método para funcionamento eficiente e eficaz de uma unidade judiciária: como a representação dos processos de trabalho por meio de fluxogramas pode revolucionar a prestação do serviço jurisdicional nos Juizados Especiais Cíveis

A reforma do Poder Judiciário revela um cenário de insatisfação com o serviço de prestação da tutela jurisdicional. Dentre várias possíveis incursões busca-se com a presente dissertação sustentar que a aplicação de método organizacional de registro das rotinas de trabalho em fluxograma tem potencial elevado para gerar relevante melhoria no tempo de duração do processo. Procedeu-se a explicação de como funciona a técnica de construção de fluxograma, bem como suas vantagens como método organizacional do processo de trabalho a fim de que o leitor tenha condições de bem compreender os trechos de fluxograma construídos. A fim de justificar o potencial do método com fluxogramas também foi realizada exploração de conhecimentos científicos sobre o funcionamento do cérebro humano, fazendo-se demonstração de que a linguagem simbólica do fluxograma melhor atende ao sistema de processamento de informações do cérebro e demonstrando quanto do atual sistema de comunicação tem limitado a evolução do trabalho nas atividades judiciárias e quanta melhoria pode o sistema proposto gerar. Em virtude do alto nível de detalhamento do fluxograma não é possível consolidá-lo numa página de livro, razão pela qual o fluxograma foi desmembrado em pequenos trechos para ser apresentado e explicado. O método desenvolvido foi aplicado na realidade diária de um Juizado Especial Cível durante quatro anos, desde a análise do sistema até as execuções e revisões finais das rotinas de trabalho criadas e registradas em fluxograma. Os resultados confirmaram a hipótese construída, vez que houve redução do tempo de trâmite processual, diminuição do número de processos, multiplicação da força de trabalho, dispensa de grandes esforços no treinamento de servidores e aumento de qualidade na realização de cada rotina de trabalho, sem que houvesse necessidade de investimentos financeiros com contratação de mão de obra ou aquisição de equipamentos. Fica evidente que o uso de fluxograma na gestão de uma unidade judiciária será tão importante para o planejamento quanto para uma execução eficiente e eficaz do serviço de prestação jurisdicional.

Representação de categorias

Nesta vídeoaula será exposto os principais elementos utilizados na representação do conhecimento em categorias e as formas de raciocínio sobre tais conhecimentos. Uma das técnicas utilizadas é a dedução, que a partir das propriedades é possível o uso de determinadas categorias. Os seguintes conceitos trabalhados são taxonomia, herança e o de categorias disjuntas na qual necessita de informações adicionais para serem representadas. Na decomposição exaustiva veremos que todo elemento da classe pertencem obrigatoriamente a uma das subclasses, já a partição é uma mistura da decomposição exaustiva com a categoria disjunta. A categoria lógica de 1º ordem esta dividida em predicados e objetos, ponto importante na hora de trabalhar com conceitos neste nível. Veremos também que existem duas grandes famílias de sistemas as chamadas redes semânticas e lógicas descritivas. A lógica descritiva fornece uma linguagem formal para construção de categorias, já a semântica oferece recursos gráficos para visualizar uma base de conhecimento, esta será mais explorada nesta aula expondo os tipos de relações permitidas, a forma como se trabalha usando esses valores e como aplicá-las. Este material destina-se a alunos de graduação na área de Sistemas de Informação, Engenharia da Computação, Ciência da Computação, Análise e Desenvolvimento de Sistemas, Sistemas para Internet e cursos correlatos relacionados ao conteúdo.

Extração e Representação de Conhecimento de Séries Temporais de Demanda de Energia Elétrica Usando TSKR

The opening of the Brazilian market of electricity and competitiveness between companies in the energy sector make the search for useful information and tools that will assist in decision making activities, increase by the concessionaires. An important source of knowledge for these utilities is the time series of energy demand. The identification of behavior patterns and description of events become important for the planning execution, seeking improvements in service quality and financial benefits. This dissertation presents a methodology based on mining and representation tools of time series, in order to extract knowledge that relate series of electricity demand in various substations connected of a electric utility. The method exploits the relationship of duration, coincidence and partial order of events in multi-dimensionals time series. To represent the knowledge is used the language proposed by Mörchen (2005) called Time Series Knowledge Representation (TSKR). We conducted a case study using time series of energy demand of 8 substations interconnected by a ring system, which feeds the metropolitan area of Goiânia-GO, provided by CELG (Companhia Energética de Goiás), responsible for the service of power distribution in the state of Goiás (Brazil). Using the proposed methodology were extracted three levels of knowledge that describe the behavior of the system studied, representing clearly the system dynamics, becoming a tool to assist planning activities

À luz das inquietas sombras: a criatividade da melancolia na linguagem de Dom Casmurro

Qué se piensa aquí, esencialmente, está a mapear el itinerario de la melancolía creativa en el discurso de Dom Casmurro; es decir, aquél de el cual el valle narrativo de una sensación de la angustia a alçar él él las maneras de la representación en el discurso de Dom Casmurro. El árbol básico en el cual éste estimaba incurre en se basa en el acuerdo de eso que la actual melancolía en el texto del machadiano se puede analizar por las estratagemas de la lengua creativa en la intención de demostrar en él una especie del espacio virtual - el conducir de metáforas, de ironies y del exacerbamento de imágenes - por cuál se prepone el narrador construir su salvación . El propósito es analizar el uso de el proyecto del alegórico y el irónico previstos por el autor en la intención de descubrir pues tales procedimientos contribuyen para crear un texto ese desestabiliza el carácter malsano de la melancolía. Puede propagar lengua creativa de tal manera cuánto otras maneras de la representación de eso las marcas del arte utilizan. Más allá de este traz poético, la contribución de este trabajo también constituye: para componer una escena en la cual el teatralidade de la lengua de Dom Casmurro constituye drama y no tragedia. Después de la pista de los conceptos de los benjaminianas de la melancolía, alegoria, metalenguaje la ironía, vimos que éstos disalign de la voluntad que los estatutos se estabilizaron de las figuras del retórico para consistir mientras que las estrategias de los discursivas. Subyacente a este proceso es posible percibir el flash del rescate de la escritura melancholic, visto bajo luz del saturnine de una mirada que si desea alegórico, en la misma incandescencia de la risa del fáustico

Forró eletrônico: uma análise sobre a representação da figura feminina

Understanding music as a social manifestation, able to represent the time and culture along with their uses and mores, we look at the female figure in the electronic forró genre. Through a reading of the two genres musical and feminine we seek to identify the discourses present in the compositions, which refer to the feminine with thematic and/or terms referring to women. The study focuses on the compositions between 2009 to 2010 which became hits, ie.: those which have attained the highest number of listeners to 96 FM in a program named Paradão 96, broadcasted daily in the city of Natal/RN. Grounded in such concepts as cultural industry, mass culture, folkcommunication and gender, we analyze the processes of meaning production as a result of using the female figure and more accurately, about the representation of women through the discourse of this specific genre. We have chose the descriptive research with a qualitative approach and Discourse Analysis as a technique to identify the terms that refer to women, reflecting on what would be the possible meanings found in these speeches. We point out that in our investigation the female figure turned into a sexual object, erotic and submissive, in their turn, attributes usually given to women, was not a predominant result in the speech of electronic forró gender. With a variant thematic some playful and others about the betrayal of women we have identified that, to the surprise of many, including ourselves, romantic love was the one who led the audience requests during our time frame and that the female figure has several facets within the studied genre

A Representação discursiva da figura feminina no jornal O Porvir (Currais Novos/Rio Grande do Norte - 1926-1929)

The objective of this paper is to analyze how the female figure was portrayed in discursive narratives in the bi-weekly newspaper O PORVIR , which circulated in Currais Novos, in the state of Rio Grande do Norte, Brazil, between May 2, 1926 and January 20, 1929. Our analysis was based on the semantics of the text, by applying one of the primary concepts used in Textual Analysis of Speeches, Discursive Representation (ADAM, 2011; RODRIGUES; PASSEGGI; SILVA NETO, 2010). Textual Analysis of Speeches has its roots in Textual Linguistics and consists of a theoretical and descriptive approach (ADAM, 2011). This research is characterized as documentary (SEVERINO, 2007) and its corpus includes a review of 39 editions of the aforementioned newspaper, of which we extracted 292 articles that dealt with the female figure and 396 statements for analysis. We used the following semantic categories: referencing (CASTILHO, 2010; NEVES, 2007; KOCH; MARCUSCHI, 1998; MARCUSCHI, 2008; KOCH, 2009); predication (NEVES, 2007; RODRIGUES; PASSEGGI; SILVA NETO, 2010); modification (ADAM, 2011); and spacial and temporal localization (RODRIGUES; PASSEGGI; SILVA NETO, 2010). Our analysis revealed that lady, mother, wife and homemaker were most represented, and always combined with questions about motherhood, marriage and devotion to the home. Such representation does not diverge from pre-colonial models in the early twentieth century, which served as a standard for the female figure

Produção em revista : Representação do moderno e do regional na experiência potiguar anos 1920

This work brings some reading about a few Norte-rio-grandenses writers collaborations published in literary papers which circulated during the third decade of the twentieth century in Brazil, in a way of enlarging the understanding of how the cultural debate was carried out in the years of the definition of the Brazilian Modernism, based on the relationships between literature and culture. Under the genres of prose and poetry, the selected textual collaborations for analysis have brought the traces of a small group of articulated authors in the Brazilian cultural scenery from the 1920 s, concerning the issues of the modern (linked to the modernist renovation) and the regional (under the aspects of the tradition). The set of the analyzed collaborations is representative of a modern-regional cultural practice marked by a tendency either local or cosmopolitan, thus, sharing a large dimension of the formation of the modern literary tradition, marked by different kinds of practices which give form to the project of a collective national awareness. The characterization of the existence of an intellectual field with big links, however with its own characteristics and a certain autonomy, which also gets integrated to the cultural debate of the so-called modernist years through the literary vehicles, gives to these intellectual people a co-participation in the renewing movement in the formation context of the brazilian cultural modernity of the early twentieth century

Uma estratégia dirigida a modelos e baseada em linguagem de descrição arquitetural para linhas de produtos de software

Model-oriented strategies have been used to facilitate products customization in the software products lines (SPL) context and to generate the source code of these derived products through variability management. Most of these strategies use an UML (Unified Modeling Language)-based model specification. Despite its wide application, the UML-based model specification has some limitations such as the fact that it is essentially graphic, presents deficiencies regarding the precise description of the system architecture semantic representation, and generates a large model, thus hampering the visualization and comprehension of the system elements. In contrast, architecture description languages (ADLs) provide graphic and textual support for the structural representation of architectural elements, their constraints and interactions. This thesis introduces ArchSPL-MDD, a model-driven strategy in which models are specified and configured by using the LightPL-ACME ADL. Such strategy is associated to a generic process with systematic activities that enable to automatically generate customized source code from the product model. ArchSPLMDD strategy integrates aspect-oriented software development (AOSD), modeldriven development (MDD) and SPL, thus enabling the explicit modeling as well as the modularization of variabilities and crosscutting concerns. The process is instantiated by the ArchSPL-MDD tool, which supports the specification of domain models (the focus of the development) in LightPL-ACME. The ArchSPL-MDD uses the Ginga Digital TV middleware as case study. In order to evaluate the efficiency, applicability, expressiveness, and complexity of the ArchSPL-MDD strategy, a controlled experiment was carried out in order to evaluate and compare the ArchSPL-MDD tool with the GingaForAll tool, which instantiates the process that is part of the GingaForAll UML-based strategy. Both tools were used for configuring the products of Ginga SPL and generating the product source code

Uma linguagem de modelagem da interação para auxiliar a comunicação designer-usuário

The development of interactive systems involves several professionals and the integration between them normally uses common artifacts, such as models, that drive the development process. In the model-driven development approach, the interaction model is an artifact that includes the most of the aspects related to what and how the user can do while he/she interacting with the system. Furthermore, the interactive model may be used to identify usability problems at design time. Therefore, the central problematic addressed by this thesis is twofold. In the first place, the interaction modeling, in a perspective that helps the designer to explicit to developer, who will implement the interface, the aspcts related to the interaction process. In the second place, the anticipated identification of usability problems, that aims to reduce the application final costs. To achieve these goals, this work presents (i) the ALaDIM language, that aims to help the designer on the conception, representation and validation of his interactive message models; (ii) the ALaDIM editor, which was built using the EMF (Eclipse Modeling Framework) and its standardized technologies by OMG (Object Management Group); and (iii) the ALaDIM inspection method, which allows the anticipated identification of usability problems using ALaDIM models. ALaDIM language and editor were respectively specified and implemented using the OMG standards and they can be used in MDA (Model Driven Architecture) activities. Beyond that, we evaluated both ALaDIM language and editor using a CDN (Cognitive Dimensions of Notations) analysis. Finally, this work reports an experiment that validated the ALaDIM inspection method

PEWS-RT, um sistema de tempo de execução para a linguagem PEWS

Web services are loosely coupled applications that use XML documents as a way of integrating distinct systems on the internet. Such documents are used by in standards such as SOAP, WSDL and UDDI which establish, respectively, integrated patterns for the representation of messages, description, and publication of services, thus facilitating the interoperability between heterogeneous systems. Often one single service does not meet the users needs, therefore new systems can be designed from the composition of two or more services. This which is the design goal behind the of the Service Oriented Architecture. Parallel to this scenario, we have the PEWS (Predicate Path-Expressions for Web Services) language, which speci es behavioural speci cations of composite web service interfaces.. The development of the PEWS language is divided into two parts: front-end and back-end. From a PEWS program, the front-end performs the lexical analysis, syntactic and semantic compositions and nally generate XML code. The function of the back-end is to execute the composition PEWS. This master's dissertation work aims to: (i) reformulate the proposed architecture for the runtime system of the language, (ii) Implement the back-end for PEWS by using .NET Framework tools to execute PEWS programs using the Windows Work ow Foundation

Feuerbach e Stirner: algumas considerações sobre linguagem e política

Habitualmente não se presta atenção ao fato de que a Primeira Parte da Ideologia Alemã (Feuerbach) foi a última a ser redigida por Marx. O texto, tal como nos aparece hoje, encobre portanto a gênese da crítica ao Humanismo. Esta última, como este pequeno ensaio pretende indicar, só poderia brotar do contacto meticuloso com o texto do Único e sua Propriedade. Após a leitura de Stirner, Marx pôde se acreditar liberado deste último fantasma especulativo e ideológico: o Homem.

Notícia virtual: um olhar sobre a linguagem imagética

Pós-graduação em Educação - IBRC

Processos de visualização e representação de conceitos de cálculo diferencial e integral com um software tridimencional

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)