Java applets para um software educacional distribuído em eletrônica de potência

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

BRIDGE: uma ferramenta para o Design de Interfaces de Usuário baseada em especificações IMML

With hardware and software technologies advance, it s also happenning modifications in the development models of computational systems. New methodologies for user interface specification are being created with user interface description languages (UIDL). The UIDLs are a way to have a precise description in a language with more abstraction and independent of how will be implemented. A great problem is that even using these nowadays methodologies, we still have a big distance between the UIDLs and its design, what means, the distance between abstract and concrete. The tool BRIDGE (Interface Design Generator Environment) was created with the intention of being a linking bridge between a specification language (the Interactive Message Modeling Language IMML) and its implementation in Java, linking the abstract (specification) to the concrete (implementation). IMML is a language based on models, that allows the designer works in distinct abstraction levels, being each model a distinct abstraction level. IMML is a XML language, that uses the Semiotic Engineering concepts, that deals the computational system, with the user interface and its elements like a metacommunicative artifact, where these elements must to transmit a message to the user about what task must to be realized and the way to reach this goal. With BRIDGE, we intend to supply a lot of support to the design task, being the user interface prototipation the greater of them. BRIDGE allows the design becomes easier and more intuitive coming from an interface specification language

Especificação do tipo intervalar parametrizado em CASL

The interval datatype applications in several areas is important to construct a interval type reusable, i.e., a interval constructor can be applied to any datatype and get intervals this datatype. Since the interval is, of certain form, a set of elements limited for two bounds, left and right, with a order notions, then it s reasonable that interval constructor enclose datatypes with partial order. On the order hand, what we want is work with interval of any datatype like this we work with this datatype then. it s important to guarantee the properties of the datatype when maps to interval of this datatype. Thus, the interval constructor get a theory to parametrized interval type, i.e., a interval with generics parameters (for example rational, real, complex). Sometimes, the interval application in some algebras doesn t guarantee the mainutenance of their properties, for example, when we use interval of real, that satisfies the field properties, it doesn t guarantee the distributivity propertie. A form to surpass this problem Santiago introduced the local equality theory that weakened the notion of strong equality, and thus, allowing some properties are local keeped, what can be discard before. The interval arithmetic generalization aim to apply the interval constructor on ordered algebras weakened for local equality with the purpose of the keep their properties. How the intervals are important in applications with continuous data, it s interesting specify that theory using a specification language that supply a system development using intervals of form disciplined, trustworth and safe. Currently, the algebraic specification language, based in math models, have been use to that intention often. We choose CASL (Common Algebraic Specification Language) among others languages because CASL has several characteristics excellent to parametrized interval type, such as, provide parcialiy and parametrization

Geração de interfaces de usuário de sistemas Web para múltiplos dispositivos com o uso de componentes de IU

This work presents an User Interface (UI) prototypes generation process to the softwares that has a Web browser as a plataform. This process uses UI components more complex than HTML elements. To described this components more complex this work suggest to use the XICL (eXtensinble User Interface Components Language). XICL is a language, based on XML syntax, to describe UI Components and IUs. XICL promotes extensibility and reusability in the User Interface development process. We have developed two compiler. The first one compiles IMML (Interactive Message Modeling Language) code and generates XICL code. The second one compiles XICL code and generates DHTML code

Educational Java applets get in power electronics labs

This paper presents Java applet programs for a WWW (world wide web)-HTML (hypertext markup language)-based multimedia course in basic power electronics circuits. These tools make use of the benefits of Java language to provide a dynamic and interactive approach to simulate steady-state idealized rectifiers (uncontrolled and controlled; single-phase and three-phase). In addition, this paper discusses the development and the use of the Java applet programs to assist the teaching of basics rectifier power electronics circuits, and to serve as a first design tool for basics power electronics circuits in the experiments of the laboratories. In order to validate the developed simulation applets, the results were confronted with results obtained from a well-know simulator package PSPICE. © 2005 IEEE.

As letras como unidades históricas na construção do discurso

This paper proposes we grant graphemes - the constituents of words in situations of discursive constructions - the status of meaning carrying units, in much the same way Vigotski granted the phoneme such status in relation to the spoken word. This paper also seeks to analyze these units in singular manifestations in acts of appropriation of the written language, based on data created by a six-year-old child in a discursive situation. To perform this task, we also referred to Bakhtinian studies on the role of the other in our relation with language. Since the analysis indicated spelling approximations to records found in old Portuguese, historical grammar research of Portuguese was also used. The findings indicate the diversity of reference sources for letter selection by the child, according to its function in the composition of the word.

Histórias de famílias: processos de escrita por alunos de 7ª e 8ª séries do ensino fundamental

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

Retórica e argumentatio: uma disputa entre Mem de Sá e Cururupeba

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Proposta de uma estrutura conceitual de modelagem de empresas para implementação do ERP5 baseada na ISO 19440:2007

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Pensando no depois: um estudo sob a perspectiva da gramaticalização

Pós-graduação em Estudos Linguísticos - IBILCE

Previsão espacial de demanda em sistemas de distribuição com uma base reduzida de dados

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

Instrumentos didáticos no trabalho docente: o texto narrativo como objeto de ensino

Este trabalho propõe-se a discutir sobre os instrumentos didáticos utilizados em práticas de ensino de textos narrativos. Essa discussão consiste na descrição e análise dos modos como o professor utiliza tais instrumentos para proporcionar aos alunos o encontro com o objeto de ensino, levando-os a apropriarem-se da capacidade de produção de textos narrativos, transformando, assim, o objeto de ensino em objeto efetivamente ensinado. Nesse contexto, o corpus de que nos ocupamos decorre de entrevistas, questionários, gravações em áudio e vídeo e anotações em diário de campo sobre as aulas de língua portuguesa observadas no segundo semestre do ano letivo de 2006. A coleta de dados aconteceu em uma turma de 4ª etapa da Educação de Jovens e Adultos de uma escola pública da periferia da cidade de Castanhal no Pará. Do ponto de vista teórico, buscamos as contribuições de Geraldi (2002) e Bakhtin (1929/1986) sobre a concepção interacionista de linguagem e as contribuições produzidas na área da didática das línguas pelo grupo de estudos de Genebra coordenado por Schneuwly, Dolz e colaboradores (2000, 2001, 2004, 2005), no que se refere ao trabalho do professor e os elementos que o compõe (instrumentos e gestos didáticos). Do ponto de vista metodológico, apropriamo-nos das contribuições de André (2000, 2005) e Bogdan & Biklen (1999), para direcionarmos os procedimentos de constituição dos dados à luz dos estudos da pesquisa etnográfica. A análise dos dados nos permitiu afirmar que os modos como o professor utiliza determinados instrumentos didáticos direcionam sua prática de ensino de Língua Portuguesa de modo a promover a apropriação dos saberes sobre texto narrativo pelos alunos. Tais práticas mostram o caráter heterogêneo de seu trabalho ao apresentar características do ensino considerado tradicional, que leva em consideração a concepção representacionista de linguagem, e características do ensino de língua baseado na lingüística textual que leva em consideração a língua como forma de interação.

Abordagem para o desenvolvimento de um etiquetador de alta acurácia para o Português do Brasil

A etiquetagem morfossintática é uma tarefa básica requerida por muitas aplicações de processamento de linguagem natural, tais como análise gramatical e tradução automática, e por aplicações de processamento de fala, por exemplo, síntese de fala. Essa tarefa consiste em etiquetar palavras em uma sentença com as suas categorias gramaticais. Apesar dessas aplicações requererem etiquetadores que demandem maior precisão, os etiquetadores do estado da arte ainda alcançam acurácia de 96 a 97%. Nesta tese, são investigados recursos de corpus e de software para o desenvolvimento de um etiquetador com acurácia superior à do estado da arte para o português brasileiro. Centrada em uma solução híbrida que combina etiquetagem probabilística com etiquetagem baseada em regras, a proposta de tese se concentra em um estudo exploratório sobre o método de etiquetagem, o tamanho, a qualidade, o conjunto de etiquetas e o gênero dos corpora de treinamento e teste, além de avaliar a desambiguização de palavras novas ou desconhecidas presentes nos textos a serem etiquetados. Quatro corpora foram usados nos experimentos: CETENFolha, Bosque CF 7.4, Mac-Morpho e Selva Científica. O modelo de etiquetagem proposto partiu do uso do método de aprendizado baseado em transformação(TBL) ao qual foram adicionadas três estratégias, combinadas em uma arquitetura que integra as saídas (textos etiquetados) de duas ferramentas de uso livre, o TreeTagger e o -TBL, com os módulos adicionados ao modelo. No modelo de etiquetador treinado com o corpus Mac-Morpho, de gênero jornalístico, foram obtidas taxas de acurácia de 98,05% na etiquetagem de textos do Mac-Morpho e 98,27% em textos do Bosque CF 7.4, ambos de gênero jornalístico. Avaliou-se também o desempenho do modelo de etiquetador híbrido proposto na etiquetagem de textos do corpus Selva Científica, de gênero científico. Foram identificadas necessidades de ajustes no etiquetador e nos corpora e, como resultado, foram alcançadas taxas de acurácia de 98,07% no Selva Científica, 98,06% no conjunto de teste do Mac-Morpho e 98,30% em textos do Bosque CF 7.4. Esses resultados são significativos, pois as taxas de acurácia alcançadas são superiores às do estado da arte, validando o modelo proposto em busca de um etiquetador morfossintático mais confiável.

Discurso empresarial: o house-organ como instrumento ideológico nas organizações

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)