Modelo de programação matemática para controle do crescimento da vegetação sob redes de distribuição de energia elétrica

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

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

Avaliação da hipermídia no processo de ensino e aprendizagem da física: o caso da gravitação

Neste artigo são apresentados os principais resultados obtidos em uma atividade realizada para avaliar um software hipermídia destinado ao ensino e à aprendizagem da Física. Para a realização desta pesquisa, foi desenvolvido, aplicado e avaliado um sistema hipermídia para o ensino de Gravitação, com base nas pesquisas em ensino de Ciências. Foram considerados também os princípios fundamentais que caracterizam a hipermídia enquanto linguagem que permite o acesso não-linear à informação e a apresentação desta com a utilização dos recursos gráficos, sonoros, interativos e de animação do computador, e ainda suas implicações para as práticas de ensino. A maior parte dos professores e dos estudantes envolvidos na pesquisa avaliou positivamente o software quanto a seus aspectos técnicos, pedagógicos e motivacionais. O estudo forneceu evidências de que a hipermídia contribui para a aprendizagem de Física de modo motivador e significativo para os alunos do ensino médio.

O uso de linguagem documentária em catálogos coletivos de bibliotecas universitárias: um estudo de avaliação sociocognitiva com protocolo verbal

Avaliou-se o uso de linguagem documentária alfabética de catálogos coletivos, na perspectiva das bibliotecas universitárias e no contexto sociocognitivo dos indexadores e dos usuários. Concluiu-se que o uso adequado de linguagens documentárias de áreas científicas especializadas faz-se por meio da avaliação quanto à atualização, especificidade e compatibilidade para atender às necessidades de indexação e recuperação da informação.

JCML - Java Card Modeling Language: Definição e Implementação

Formal methods should be used to specify and verify on-card software in Java Card applications. Furthermore, Java Card programming style requires runtime verification of all input conditions for all on-card methods, where the main goal is to preserve the data in the card. Design by contract, and in particular, the JML language, are an option for this kind of development and verification, as runtime verification is part of the Design by contract method implemented by JML. However, JML and its currently available tools for runtime verification were not designed with Java Card limitations in mind and are not Java Card compliant. In this thesis, we analyze how much of this situation is really intrinsic of Java Card limitations and how much is just a matter of a complete re-design of JML and its tools. We propose the requirements for a new language which is Java Card compliant and indicate the lines on which a compiler for this language should be built. JCML strips from JML non-Java Card aspects such as concurrency and unsupported types. This would not be enough, however, without a great effort in optimization of the verification code generated by its compiler, as this verification code must run on the card. The JCML compiler, although being much more restricted than the one for JML, is able to generate Java Card compliant verification code for some lightweight specifications. As conclusion, we present a Java Card compliant variant of JML, JCML (Java Card Modeling Language), with a preliminary version of its compiler

Produção de conhecimento sobre narrativas orais: contribuições para as investigações em linguagem infantil

Este estudo tem como objetivo indicar um panorama geral sobre a produção de conhecimento no que tange os padrões para o desenvolvimento da narrativa oral, nos últimos quatro anos por meio de uma revisão bibliográfica sistematizada, voltada para a temática de intervenção em linguagem infantil, com o uso de narrativas orais. A revisão foi realizada em uma única etapa, com critérios específicos, utilizando os seguintes descritores: narrativas, narrativa, narrativas de crianças, linguagem e desenvolvimento, linguagem oral, habilidades linguísticas, linguagem falada, linguagem infantil, narração/narração de histórias e linguagem. O período considerado foi de 2007 a 2011. Foram obtidos 900 registros, dentre os quais, nove (1%) atenderam aos critérios estabelecidos para análise. A maioria dos estudos relacionou-se com análises psicolinguísticas. Apenas um estudo utilizou método experimental. No período considerado foram produzidos poucos estudos abordando narrativas orais infantis; a sua grande maioria levou em consideração, fundamentalmente, aspectos cognitivos e linguísticos no processo de desenvolvimento da habilidade narrativa; a grande maioria das pesquisas foi realizada com crianças que possuem algum tipo de alteração em seu desenvolvimento linguístico. Considera-se que a produção de conhecimento, em relação ao desenvolvimento de narrativas orais infantis, exige, atualmente, um olhar voltado para as intervenções que utilizem metodologia experimental. Por fim, considera-se que é necessária uma atenção maior em relação ao desenvolvimento típico da habilidade narrativa.

Análise da produção científica nacional fonoaudiológica acerca da linguagem escrita

TEMA: a produção científica nacional sobre a linguagem escrita no âmbito da Fonoaudiologia. OBJETIVO: analisar parte da produção fonoaudiológica brasileira acerca da linguagem escrita, entre os anos de 1980 a 2004, levando em conta o período da publicação; a distribuição de freqüência por período; os tipos de publicações; as sub-temáticas abordadas e a autoria. MÉTODO: a pesquisa de caráter documental configurou a opção metodológica selecionada para a realização desse estudo. Foram analisados livros, capítulos de livros e artigos publicados em sete periódicos nacionais de Fonoaudiologia (1980 a 2004). RESULTADOS: as produções científicas em torno da linguagem escrita, no período considerado, perfazem um total de 236 publicações. Desse total, 3,39% foram publicadas na década de 1980; 44,1% na década de 1990; e 52,5% durante o período de 2000-2004. Quanto ao tipo das publicações, 18,5% foram publicadas em forma de livro, 39% de capítulo de livro e 42,5% de artigo em periódico. Quanto à autoria das publicações, 42 autores (76,36%), são vinculados a instituições de ensino superior, como docentes ou discentes, com maior concentração no Estado de São Paulo e menor no Rio de Janeiro. As produções analisadas versaram sobre cinco sub-temáticas: distúrbios de linguagem escrita (52%); processo de apropriação da linguagem escrita (23,5%); surdez e linguagem escrita (8,90%); alterações neurológicas e linguagem escrita (8,22%) e escola e linguagem escrita (7,53%). CONCLUSÃO: a pesquisa permitiu recuperar parte da memória acerca da construção de um campo de atuação e de conhecimento da área fonoaudiológica: a linguagem escrita. O ascendente crescimento de publicações em torno dessa temática aponta para o implemento de pesquisas nesse campo da Fonoaudiologia e, portanto, a pertinência de estudos que objetivem analisar os rumos da produção científica relativa ao mesmo.

Desempenho escolar de crianças com Distúrbio Específico de Linguagem: relações com habilidades metafonológicas e memória de curto prazo

OBJETIVO: Descrever o desempenho de crianças com Distúrbio Específico de Linguagem (DEL) em provas de leitura, escrita, aritmética, consciência fonológica e memória seqüencial auditiva, assim como, verificar se há associação positiva entre as provas que avaliam a aprendizagem escolar e as que avaliam o processamento da informação. MÉTODOS: Vinte sujeitos com diagnóstico de DEL, com idades entre 7 e 12 anos, foram submetidos ao Teste de Desempenho Escolar (TDE) e a duas provas, que avaliam o processamento da informação (Perfil de Habilidades Fonológicas e Subteste de Memória Seqüencial Auditiva do Teste de Illinois de Habilidades Psicolingüísticas - ITPA). RESULTADOS: A maioria apresentou alteração em todas as provas realizadas. As associações entre o desempenho do grupo nas diferentes provas demonstram que a habilidade metafonológica apresentou associação estatisticamente significante com as habilidades de leitura (p=0,02) e escrita (p=0,02). Por sua vez, a habilidade de memória seqüencial auditiva apresentou associação estatisticamente significante apenas com a habilidade de aritmética (p=0,0003). CONCLUSÃO: O desempenho escolar, assim como as habilidades de consciência fonológica e memória de curto prazo mostraram-se defasados na maioria dos sujeitos avaliados, havendo associação positiva entre: a prova de memória de curto prazo e a prova de aritmética; a prova de consciência fonológica e as provas de leitura e escrita. Neste contexto, reforça-se aqui a utilização de programas de intervenção baseados em Modelos Psicolingüísticos, que sugerem o uso de estratégias individuais para o desenvolvimento das habilidades metafonológicas.

Terapia de linguagem no espectro autístico: a interferência do ambiente terapêutico

OBJETIVO: Analisar o perfil funcional da comunicação de crianças e adolescentes com distúrbios do espectro autístico em dois ambientes de terapia de linguagem, que se diferenciam quanto ao aspecto físico. MÉTODOS: Participaram dez sujeitos com distúrbios do espectro autístico, seis do gênero masculino e quatro do gênero feminino, com idades entre 4 e 13 anos. Na coleta de dados, foram realizadas filmagens de oito sessões de terapia de linguagem individual com duração de 30 minutos, sendo quatro sessões em uma sala comum e quatro em uma sala com ambientação específica (sala NIC), intercaladamente, durante um mês. Para a análise dos dados foi empregado o Protocolo de Pragmática, e os resultados receberam tratamento estatístico. RESULTADOS: Verificou-se que não houve diferença significativa entre o perfil pragmático apresentado pelos dez sujeitos na sala comum e na sala NIC. CONCLUSÃO: O contexto físico aqui estudado não influenciou significativamente no perfil funcional da comunicação de indivíduos do espectro autístico, ainda que se tenha verificado tendências individuais apresentando melhor desempenho em uma sala ou em outra.

Agraphs: definição, implementação e suas ferramentas

Programs manipulate information. However, information is abstract in nature and needs to be represented, usually by data structures, making it possible to be manipulated. This work presents the AGraphs, a representation and exchange format of the data that uses typed directed graphs with a simulation of hyperedges and hierarchical graphs. Associated to the AGraphs format there is a manipulation library with a simple programming interface, tailored to the language being represented. The AGraphs format in ad-hoc manner was used as representation format in tools developed at UFRN, and, to make it more usable in other tools, an accurate description and the development of support tools was necessary. These accurate description and tools have been developed and are described in this work. This work compares the AGraphs format with other representation and exchange formats (e.g ATerms, GDL, GraphML, GraX, GXL and XML). The main objective this comparison is to capture important characteristics and where the AGraphs concepts can still evolve

A Linguagem de Especificação algébrica CASL e o Tipo de Dados Intervalos

Na computação científica é necessário que os dados sejam o mais precisos e exatos possível, porém a imprecisão dos dados de entrada desse tipo de computação pode estar associada às medidas obtidas por equipamentos que fornecem dados truncados ou arredondados, fazendo com que os cálculos com esses dados produzam resultados imprecisos. Os erros mais comuns durante a computação científica são: erros de truncamentos, que surgem em dados infinitos e que muitas vezes são truncados", ou interrompidos; erros de arredondamento que são responsáveis pela imprecisão de cálculos em seqüências finitas de operações aritméticas. Diante desse tipo de problema Moore, na década de 60, introduziu a matemática intervalar, onde foi definido um tipo de dado que permitiu trabalhar dados contínuos,possibilitando, inclusive prever o tamanho máximo do erro. A matemática intervalar é uma saída para essa questão, já que permite um controle e análise de erros de maneira automática. Porém, as propriedades algébricas dos intervalos não são as mesmas dos números reais, apesar dos números reais serem vistos como intervalos degenerados, e as propriedades algébricas dos intervalos degenerados serem exatamente as dos números reais. Partindo disso, e pensando nas técnicas de especificação algébrica, precisa-se de uma linguagem capaz de implementar uma noção auxiliar de equivalência introduzida por Santiago [6] que ``simule" as propriedades algébricas dos números reais nos intervalos. A linguagem de especificação CASL, Common Algebraic Specification Language, [1] é uma linguagem de especificação algébrica para a descrição de requisitos funcionais e projetos modulares de software, que vem sendo desenvolvida pelo CoFI, The Common Framework Initiative [2] a partir do ano de 1996. O desenvolvimento de CASL se encontra em andamento e representa um esforço conjunto de grandes expoentes da área de especificações algébricas no sentido de criar um padrão para a área. A dissertação proposta apresenta uma especificação em CASL do tipo intervalo, munido da aritmética de Moore, afim de que ele venha a estender os sistemas que manipulem dados contínuos, sendo possível não só o controle e a análise dos erros de aproximação, como também a verificação algébrica de propriedades do tipo de sistema aqui mencionado. A especificação de intervalos apresentada aqui foi feita apartir das especificações dos números racionais proposta por Mossakowaski em 2001 [3] e introduz a noção de igualdade local proposta por Santiago [6, 5, 4]

JFloat: uma biblioteca de ponto flutuante para a linguagem Java com suporte a arredondamento direcionado

This work presents JFLoat, a software implementation of IEEE-754 standard for binary floating point arithmetic. JFloat was built to provide some features not implemented in Java, specifically directed rounding support. That feature is important for Java-XSC, a project developed in this Department. Also, Java programs should have same portability when using floating point operations, mainly because IEEE-754 specifies that programs should have exactly same behavior on every configuration. However, it was noted that programs using Java native floating point types may be machine and operating system dependent. Also, JFloat is a possible solution to that problem

Um middleware reflexivo e orientado a aspectos: arquitetura e implementações

Conselho Nacional de Desenvolvimento Científico e Tecnológico

MaRISA-AOCode: uma abordagem genérica para geração de código orientado a aspectos

Currently there are several aspect-oriented approaches that are related to different stages of software development process. These approaches often lack integration with each other and their models and artifacts are not aligned in a coherent process. The integration of Aspect-Oriented Software development (AOSD) and Model-Driven Development (MDD) enables automatic propagation of models from one phase to another, avoiding loss of important information and decisions established in each. This paper presents a model driven approach, called Marisa-AOCode, which supports the processing of detailed design artifacts to code in different Aspect-Oriented Programming languages. The approach proposed by Maris- AOCode defines transformation rules between aSideML, a modeling language for aspectoriented detailed design, and Metaspin, a generic metamodel for aspect-oriented programming languages. The instantiation of the generic metamodel (Metaspin) provided by the approach of Maris-AOCode is illustrated by the transformation of Metaspin for two languages: AspectLua and CaesarJ. We illustrate the approach with a case study based on the Health Watcher System