Serviços de georreferenciamento e levantamento do uso da terra dos imóveis rurais da Embrapa: especificações técnicas dos produtos esperados.

Especificações técnicas para a elaboração do banco de dados espacializados das unidades da Embrapa; Layers do BD espacial; Recomendações na vetorização/edição de feições; Uso e cobertura da terra; Restrições legais de uso; Regras para APPs; Regras para Reserva Legal (RL); Definição de APP e Reserva Legal no SIG.

Desenvolvimento de sistemas tempo-real usando orientação a objetos : estudo sobre o mapeamento de especificações para linguagens de programação

Este trabalho realiza um estudo sobre a criação de sistemas tempo-real usando orientação a objetos, com enfoque no mapeamento de especificações para linguagens de programação. O paradigma de orientação a objetos tem sido usado nas diferentes fases relacionadas com o desenvolvimento de sistemas tempo-real, variando desde a modelagem até o ambiente de programação e execução, mas atualmente estas iniciativas ainda focam etapas isoladas do ciclo de desenvolvimento. O objetivo deste trabalho é o de preencher esta lacuna, propondo um mapeamento entre uma metodologia ou ferramenta de análise e projeto de sistemas tempo-real orientados a objetos e uma linguagem ou ambiente de desenvolvimento baseado no paradigma de orientação a objetos que possua suporte para atender às restrições temporais especificadas. O mapeamento proposto foi desenvolvido utilizando estudos de caso clássicos em aplicações tempo-real que foram baseados em dois recentes padrões. O primeiro é o emergente padrão Real-Time UML, que visa realizar a especificação de requisitos temporais utilizando diagramas UML com extensões que os representem. O outro padrão é o Real-Time Specification for Java, que consiste de uma interface de programação (API) para desenvolvimento de aplicações tempo-real com a linguagem Java. O relacionamento entre stereotypes e tags usados para representar restrições temporais em diagramas UML e o código Java correspondente é explicado e um sumário da estratégia de mapeamento é discutido.

Diretrizes e critérios de cobertura de teste a partir de especificações UML

As maiores dificuldades encontradas no teste de software estão relacionadas à definição dos dados de teste e a decisão de quando encerrar os testes. Uma das formas encontradas para minimizar tais dificuldades está centrada na utilização de critérios de cobertura. O principal objetivo dos critérios de cobertura é tornar o processo de testes mais rápido e preciso, fornecendo informações que determinem o que testar em um software para garantir sua qualidade. A modelagem é um dos elementos de maior importância nas atividades relacionadas ao desenvolvimento de software. Os modelos são construídos principalmente para melhor se entender o sistema, descrever a estrutura e comportamento desejados, visualizar a arquitetura e documentar as decisões tomadas durante o seu desenvolvimento. Atualmente, o sistema de notação mais utilizado para a modelagem de sistemas baseados nos conceitos de orientação a objetos é a Linguagem de Modelagem Unificada – UML [LAR 99]. Nesta notação, um sistema é descrito por um conjunto de diagramas que apresentam diferentes aspectos do sistema. As informações disponibilizadas por estes diagramas propiciam, já nas fases iniciais do desenvolvimento da aplicação (análise e projeto), o planejamento dos casos de teste e a definição de critérios de cobertura. Observa-se que nestas fases a maioria das informações necessárias para o teste já estão disponíveis, como por exemplo, a definição das classes com seus atributos, métodos e relacionamentos, a representação da interação existente entre objetos para a realização de um cenário e a descrição dos possíveis estados e transições de um objeto em resposta a eventos externos e internos. Este trabalho propõe um conjunto de diretrizes e critérios de cobertura de teste, tendo como base as especificações diagramáticas UML. As diretrizes estabelecem um conjunto de instruções para que o teste seja feito e os critérios de cobertura identificam os pontos principais e serem considerados durante o teste. Na definição das diretrizes e dos critérios foram avaliadas as informações disponibilizadas pelos diagramas de classes, seqüência, colaboração e estados.

Proposta de um plano de transição das especificações das características de qualidade para o serviço Internet Turbo Empresas oferecido pela Brasil Telecom : uma abordagem utilizando a metodologia do Desdobramento da Função Qualidade

Este trabalho apresenta uma proposta de um Plano de Transição das Especificações das Características da Qualidade para o serviço Internet Turbo Empresas, oferecido pela Brasil Telecom. Foi utilizada a metodologia QFD (Quality Function Deployment ou Desdobramento da Função Qualidade), que permite captar as necessidades, expectativas e desejos do consumidor e traduzi-las em requisitos de qualidade para um determinado serviço ou produto. Levando-se em consideração o que os clientes consideram importante, sem deixar de considerar o que é importante ao bom andamento dos negócios da Brasil Telecom, foram priorizadas as características de qualidade de cada qualidade demandada pelos clientes e também definida novas específicações. Com base nessa priorização, foi realizada a Proposta do Plano de Transição das Especificações, que é uma diretriz que pode ser utilizada pela Brasil Telecom para permitir a modificação das características identificadas, fixando-as nos novos patamares determinados pela organização. As características da qualidade priorizadas referem-se à entrega do serviço, reparos e aspectos contratuais, sendo elas Níveis de SLA Existentes; % de reclamações Referentes à Entrega Incorreta; Possibilidade de Agendamento de Reparo; Disponibilização de Contrato Formal; & de Entregas no Prazo; e, % Solicitações de Instalação Atendidas.

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

Geração de casos de teste a partir de especificações B

With the increasing complexity of software systems, there is also an increased concern about its faults. These faults can cause financial losses and even loss of life. Therefore, we propose in this paper the minimization of faults in software by using formally specified tests. The combination of testing and formal specifications is gaining strength in searches mainly through the MBT (Model-Based Testing). The development of software from formal specifications, when the whole process of refinement is done rigorously, ensures that what is specified in the application will be implemented. Thus, the implementation generated from these specifications would accurately depict what was specified. But not always the specification is refined to the level of implementation and code generation, and in these cases the tests generated from the specification tend to find fault. Additionally, the generation of so-called "invalid tests", ie tests that exercise the application scenarios that were not addressed in the specification, complements more significantly the formal development process. Therefore, this paper proposes a method for generating tests from B formal specifications. This method was structured in pseudo-code. The method is based on the systematization of the techniques of black box testing of boundary value analysis, equivalence partitioning, as well as the technique of orthogonal pairs. The method was applied to a B specification and B test machines that generate test cases independent of implementation language were generated. Aiming to validate the method, test cases were transformed manually in JUnit test cases and the application, created from the B specification and developed in Java, was tested. Faults were found with the execution of the JUnit test cases

Beta: uma ferramenta para geração de testes de unidade a partir de especificações B

Formal methods and software testing are tools to obtain and control software quality. When used together, they provide mechanisms for software specification, verification and error detection. Even though formal methods allow software to be mathematically verified, they are not enough to assure that a system is free of faults, thus, software testing techniques are necessary to complement the process of verification and validation of a system. Model Based Testing techniques allow tests to be generated from other software artifacts such as specifications and abstract models. Using formal specifications as basis for test creation, we can generate better quality tests, because these specifications are usually precise and free of ambiguity. Fernanda Souza (2009) proposed a method to define test cases from B Method specifications. This method used information from the machine s invariant and the operation s precondition to define positive and negative test cases for an operation, using equivalent class partitioning and boundary value analysis based techniques. However, the method proposed in 2009 was not automated and had conceptual deficiencies like, for instance, it did not fit in a well defined coverage criteria classification. We started our work with a case study that applied the method in an example of B specification from the industry. Based in this case study we ve obtained subsidies to improve it. In our work we evolved the proposed method, rewriting it and adding characteristics to make it compatible with a test classification used by the community. We also improved the method to support specifications structured in different components, to use information from the operation s behavior on the test case generation process and to use new coverage criterias. Besides, we have implemented a tool to automate the method and we have submitted it to more complex case studies

Geração automática de hardware apartir de especificações formais: estendendo uma abordagem de tradução

A remoção de inconsistências em um projeto é menos custosa quando realizadas nas etapas iniciais da sua concepção. A utilização de Métodos Formais melhora a compreensão dos sistemas além de possuir diversas técnicas, como a especificação e verificação formal, para identificar essas inconsistências nas etapas iniciais de um projeto. Porém, a transformação de uma especificação formal para uma linguagem de programação é uma tarefa não trivial. Quando feita manualmente, é uma tarefa passível da inserção de erros. O uso de ferramentas que auxiliem esta etapa pode proporcionar grandes benefícios ao produto final a ser desenvolvido. Este trabalho propõe a extensão de uma ferramenta cujo foco é a tradução automática de especificações em CSPm para Handel-C. CSP é uma linguagem de descrição formal adequada para trabalhar com sistemas concorrentes. Handel-C é uma linguagem de programação cujo resultado pode ser compilado diretamente para FPGA's. A extensão consiste no aumento no número de operadores CSPm aceitos pela ferramenta, permitindo ao usuário definir processos locais, renomear canais e utilizar guarda booleana em escolhas externas. Além disto, propomos também a implementação de um protocolo de comunicação que elimina algumas restrições da composição paralela de processos na tradução para Handel-C, permitindo que a comunicação entre múltiplos processos possa ser mapeada de maneira consistente e que a mesma somente ocorra quando for autorizada.

Geração automática de hardware a partir de especificações formais: estendendo uma abordagem de tradução

Removing inconsistencies in a project is a less expensive activity when done in the early steps of design. The use of formal methods improves the understanding of systems. They have various techniques such as formal specification and verification to identify these problems in the initial stages of a project. However, the transformation from a formal specification into a programming language is a non-trivial task and error prone, specially when done manually. The aid of tools at this stage can bring great benefits to the final product to be developed. This paper proposes the extension of a tool whose focus is the automatic translation of specifications written in CSPM into Handel-C. CSP is a formal description language suitable for concurrent systems, and CSPM is the notation used in tools support. Handel-C is a programming language whose result can be compiled directly into FPGA s. Our extension increases the number of CSPM operators accepted by the tool, allowing the user to define local processes, to rename channels in a process and to use Boolean guards on external choices. In addition, we also propose the implementation of a communication protocol that eliminates some restrictions on parallel composition of processes in the translation into Handel-C, allowing communication in a same channel between multiple processes to be mapped in a consistent manner and that improper communication in a channel does not ocurr in the generated code, ie, communications that are not allowed in the system specification

Especificações e concepções de front-end UHF integrado e multipadrão em tecnologia CMOS 130nm

The Brazilian Environmental Data Collecting System (SBCDA) collects and broadcasts meteorological and environmental data, to be handled by dozens of institutions and organizations. The system space segment, composed by the data collecting satellites, plays an important role for the system operation. To ensure the continuity and quality of these services, efforts are being made to the development of new satellite architectures. Aiming a reduction of size and power consumption, the design of an integrated circuit containing a receiver front-end is proposed, to be embedded in the next SBCDA satellite generations. The circuit will also operate under the requirements of the international data collecting standard ARGOS. This work focuses on the design of an UHF low noise amplifier and mixers in a CMOS standard technology. The specifi- cations are firstly described and the circuit topologies presented. Then the circuit conception is discussed and the design variables derived. Finally, the layout is designed and the final results are commented. The chip will be fabricated in a 130 nm technology from ST Microelectronics.

Remoção de compostos sulfurados e nitrogenados de diesel hidrotratado por adsorção em argila, alumina e sílica-alumina, impregnadas com metais de transição

Na matriz energética brasileira, o óleo diesel tem lugar de destaque, porém ainda é comercializado com teores de compostos sulfurados e nitrogenados considerados altos para as legislações ambientais que entrarão em vigor nos próximos anos. Tradicionalmente, a remoção desses compostos de enxofre de correntes de petróleo é realizada por processos de hidrotratamento (HDT). No entanto, devido as características do diesel brasileiro, se faz necessária maior severidade para atingir as novas especificações dos combustíveis. Isto implica em investimentos e custos operacionais crescentes para atender a demanda que se instala. Neste contexto, a adsorção está sendo estudada para a purificação da corrente de óleo diesel oriunda da etapa de hidrotratamento como polimento final para alcançar as especificações mais exigentes. Sabe-se que os adsorventes comerciais apresentam limitações na remoção destes contaminantes e uma alternativa que tem se mostrado promissora é a incorporação de metais de transição na estrutura do sólido. No presente trabalho foram modificados adsorventes comerciais, tais como aluminas, sílica-aluminas e argilas pela introdução dos elementos níquel, colbalto e molibdênio e testado o desempenho dessas modificações frente à adsorção de compostos sulfurados e nitrogenados presentes em um diesel hidrotratado. Foram feitas caracterizações químicas, físicas, texturais e morfológicas dos sólidos com e sem incorporação de metais de transição na estrutura original. Os experimentos de adsorção foram realizados a 40C. Avaliando todos os sólidos, o adsorvente que mostrou o melhor desempenho na remoção de compostos sulfurados e nitrogenados por massa de adsorvente foi a sílica-alumina sem modificações, que foi capaz de remover em torno de 90% de compostos nitrogenados e 55 % de sulfurados para 2 g de sólido / 10 mL de diesel. Para os materiais modificados, observou-se que a incorporação dos metais de transição ocasionou redução da sua área superficial e do volume total de poros. Desta maneira, os efeitos esperados pelas interações entre o sítios metálicos e os compostos de nitrogênio e enxofre foram reduzidos

Estudo da correlação entre as características da matéria-prima graxa e as propriedades físico-químicas do biodiesel

A possibilidade de utilização de várias matérias graxas na produção do biodiesel nacional é um fator diferencial em relação aos outros países e requer um conhecimento mais profundo das particularidades do biodiesel obtido a partir de matérias-primas tão distintas. Neste contexto, se insere a presente pesquisa, em que se buscou estabelecer correlações entre algumas propriedades do biodiesel e a fonte oleaginosa que lhe deu origem. O biodiesel foi obtido a partir da reação de transesterificação etílica de dez diferentes matérias-primas graxas (óleos refinados de soja, arroz, canola, girassol, milho, oliva, cyclus (mistura contendo óleos de canola, milho e girassol); óleos brutos de mamona e murumuru, além de resíduo de fritura), utilizando etanolato de potássio como agente catalítico, em um reator com sistema de refluxo a 70C durante uma hora. Após purificação, foram determinadas algumas propriedades do biodiesel (massa específica, viscosidade, índice de acidez e índice de iodo) e da matéria-prima (massa específica, viscosidade, índice de acidez, índice de iodo e composição) que lhe deu origem. Os resultados obtidos nas caracterizações geraram gráficos de correlações entre os diversos parâmetros e os dados foram analisados estatisticamente pelo método de correlações canônicas. Para todas as amostras de biodiesel, os valores obtidos nas caracterizações foram compatíveis com as especificações estabelecidas pela ANP para o produto, com exceção do biodiesel de murumuru (índice de acidez elevado e viscosidade baixa) e do biodiesel de mamona (viscosidade e massa específica elevadas). Os dados estatísticos demonstram altas correlações entre o biodiesel (massa específica (87,4%), viscosidade (98,5%) e índice de acidez (82,8%)) e as matérias-primas (massa específica (92,1%) e viscosidade (99,3%)). Além disso, existe uma grande correlação entre o índice de iodo (84,5%) do biodiesel e o índice de iodo (77,2%) e a massa molar dos ésteres na faixa de C16-C18 (MMTG) presentes na matéria-prima (89,1%). Estes resultados estatísticos ratificam as observações analíticas

Restituição fotogramétrica segundo o padrão da estruturação de dados Geoespaciais Vetoriais no ambiente E-FOTO.

No mês de outubro de 2007 a Comissão Nacional de Cartografia (CONCAR) lançou uma norma cartográfica composta de especificações técnicas para Estruturação de Dados Geoespaciais Digitais Vetoriais (EDGV) para a realização do mapeamento topográfico sistemático no Brasil. No mês de novembro de 2008 foi publicado o Decreto n 6666, que institui a Infra-Estrutura Nacional de Dados Espaciais e ratifica o uso das normas homologadas pela CONCAR, pelas instituições Federais. Este trabalho realiza dois requisitos, a saber: (a) fornece um esquema relacional alinhado as especificações da EDGV e (b) implementa um protótipo, com vistas a sua utilização no processo de restituição fotogramétrica nas instituições públicas responsáveis pelo mapeamento topográfico no Brasil. A implementação é realizada em ambiente de software livre. Também é importante salientar o caráter educacional da plataforma de software a ser implementada, para que o seu uso seja também direcionado para o ensino teórico e prático da fotogrametria digital nas instituições de ensino e pesquisa.

Avaliação das propriedades físico-químicas do biodiesel de soja, algodão e mamona e da mistura de biodiesel de soja e algodão

Uma das maiores atividades humanas que gera impacto ao meio ambiente é o setor de transportes automotores, especialmente veículos que utilizam óleo diesel mineral como forma de combustível. Independente do conforto ou objetivos que levem a utilização deste tipo de transporte, estes produzem emissões que contém diversos tipos de poluentes atmosféricos. A substituição de óleo diesel mineral pelo biodiesel vegetal, vem se apresentando como uma alternativa para este setor, especialmente para o Brasil, que com base em sua imensa biodiversidade com plantas oleaginosas deverá se constituir em um dos maoires produtores mundiais de biodiesel vegetal. Este trabalho apresenta um estudo comparativo entre três tipos de oleaginosas (soja, algodão e mamona) e uma msitura binária v/v soja e algodão. Os resultados obtidos neste estudo foram comparados as especificações definidas pelas normas: Brasileira (RANP 07/2008), Européia (EN/14214) e Americana (ASTM D-6751). Entre todas as amostras estudadas, o óleo de mamona não atende algumas propiedades físico-químicas das normas em questão. As amostras de biodiesel de soja e algodão, individualmente e combinadas, com caracteristicas, aplicações, zoneamento agroclimático e sazonalidade de produção regionalmente diferente apresentam propiedades físico-químicas semelhantes, podendo ser considerada uma fonte renovavél de energia.

Algoritmos genéticos aplicados ao projeto de filtros com coeficientes em soma de potências de dois

Esta dissertação tem como objetivo aplicar um algoritmo genético (GA) ao projeto de filtros FIR com coeficientes quantizados representados em somas de potências de dois com sinal (SPT). Os filtros FIR apresentam configurações que permitem a obtenção de fase linear, atributo desejado em diversas aplicações que necessitam de atraso de grupo constante. A representação SPT, de fácil implementação em circuitos, foi discutida e uma comparação das representações SPT mínimas e canônicas foi feita, baseada no potencial de redução de operações e na variedade de valores representáveis. O GA é aplicado na otimização dos coeficientes SPTs do filtro, para que este cumpra as suas especificações de projeto. Foram feitas análises sobre o efeito que diversos parâmetros do GA como a intensidade de seleção, tamanho das populações, cruzamento, mutação, entre outros, têm no processo de otimização. Foi proposto um novo cruzamento que produz a recombinação dos coeficientes e que obteve bons resultados. Aplicou-se o algoritmo obtido na produção de filtros dos tipos passa-baixas, passa-altas, passa-faixas e rejeita-faixas.