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

Em direção a uma representação para equações algébricas :uma lógica equacional local

The intervalar arithmetic well-known as arithmetic of Moore, doesn't possess the same properties of the real numbers, and for this reason, it is confronted with a problem of operative nature, when we want to solve intervalar equations as extension of real equations by the usual equality and of the intervalar arithmetic, for this not to possess the inverse addictive, as well as, the property of the distributivity of the multiplication for the sum doesn t be valid for any triplet of intervals. The lack of those properties disables the use of equacional logic, so much for the resolution of an intervalar equation using the same, as for a representation of a real equation, and still, for the algebraic verification of properties of a computational system, whose data are real numbers represented by intervals. However, with the notion of order of information and of approach on intervals, introduced by Acióly[6] in 1991, the idea of an intervalar equation appears to represent a real equation satisfactorily, since the terms of the intervalar equation carry the information about the solution of the real equation. In 1999, Santiago proposed the notion of simple equality and, later on, local equality for intervals [8] and [33]. Based on that idea, this dissertation extends Santiago's local groups for local algebras, following the idea of Σ-algebras according to (Hennessy[31], 1988) and (Santiago[7], 1995). One of the contributions of this dissertation, is the theorem 5.1.3.2 that it guarantees that, when deducing a local Σ-equation E t t in the proposed system SDedLoc(E), the interpretations of t and t' will be locally the same in any local Σ-algebra that satisfies the group of fixed equations local E, whenever t and t have meaning in A. This assures to a kind of safety between the local equacional logic and the local algebras

Sistemas computacionais espaço-temporais para toma de decisão em questões ambientais relacionadas à indústria de petróleo e gás

The area between São Bento do Norte and Macau cities, located in the northern coast of the Rio Grande do Norte State is submitted to intense and constant processes of littoral and aeolian transport, causing erosion, alterations in the sediments balance and modifications in the shoreline. Beyond these natural factors, the human interference is huge in the surroundings, composed by sensitive places, due to the existence of the Guamaré Petroliferous Pole, RN, the greater terrestrial oil producing in Brazil, besides the activities of the salt companies and shrimp farms. This socioeconomic-environmental context justifies the elaboration of strategies of environmental monitoring of that coastal area. In the environmental monitoring of coastal strips, submitted to human impacts, the use of multi-sources and multitemporal data integrated through a Spatio- Temporal Database that allows the multiuser friendly access. The objective was to use the potential of the computational systems as important tools the managers of environmental monitoring. The stored data in the form of a virtual library aid in making decisions from the related results and presented in different formats. This procedure enlarges the use of the data in the preventive attendance, in the planning of future actions and in the definition of new lines of researches on the area, in a multiscale approach. Another activity of this Thesis consisted on the development of a computational system to automate the process to elaborate Oil-Spill Environmental Sensitivity Maps, based on the temporal variations that some coastal ecosystems present in the sensibility to the oil. The maps generated in this way, based on the methodology proposed by the Ministério do Meio Ambiente, supply more updated information about the behavior of the ecosystem, as a support to the operations in case of oil spill. Some parameters, such as the hydrodynamic data, the declivity of the beach face, types of resources in risk (environmental, economical, human or cultural) and use and occupation of the area are some of the essential basic information in the elaboration of the sensitivity maps, which suffer temporal alterations.In this way, the two computational systems developed are considered support systems to the decision, because they provide operational subsidies to the environmental monitoring of the coastal areas, considering the transformations in the behavior of coastal elements resulting from temporal changes related the human and/or natural interference of the environment

Sistema integrado para tomada de decisão espacial em situações de derramamento de óleo no litoral norte do Estado do RN

The northern coast of Rio Grande do Norte State (RN) shows areas of Potiguar basin with high activity in petroleum industry. With the goal of avoiding and reducing the accident risks with oil it is necessary to understand the natural vulnerability, mapping natural resources and monitoring the oil spill. The use of computational tools for environmental monitoring makes possible better analyses and decisions in political management of environmental preservation. This work shows a methodology for monitoring of environment impacts, with purpose of avoiding and preserving the sensible areas in oil contact. That methodology consists in developing and embedding an integrated computational system. Such system is composed by a Spatial Decision Support System (SDSS). The SDSS shows a computational infrastructure composed by Web System of Geo-Environmental and Geographic Information - SWIGG , the System of Environmental Sensibility Maps for Oil Spill AutoMSA , and the Basic System of Environmental Hydrodynamic ( SisBAHIA a System of Modeling and Numerical Simulating SMNS). In a scenario of oil spill occurred coastwise of Rio Grande do Norte State s northern coast, the integration of such systems will give support to decision agents for managing of environmental impacts. Such support is supplied through a system of supporting to spatial decisions

Time and distance in acceleration of road commercial vehicles

The time and the distance traveled during the acceleration and the velocity retaking are parameters used for the comparison and the project of vehicles. In this paper equations for the calculation of those parameters are presented. Several criteria are presented for the shift gears. It is also verified the occurrence or not of total slip during the acceleration of the vehicle. The theoretical models were implemented in a developed computational system. Such system was applied in a Mercedes-Benz do Brazil sample vehicle, in order to facilitate comparisons between the simulate values and the experimental road tests. Copyright © 1997 Society of Automotive Engineers, Inc.

Análises e estudos para alocação e ajustes de dispositivos de proteção em redes de média tensão de energia elétrica com geração distribuída

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

Desenvolvimento de sistema computacional para pré-dimensionamento de turbinas para micro, mini e pequenas centrais hidrelétricas

Pós-graduação em Agronomia (Energia na Agricultura) - FCA

Modelo de software livre para dimensionamento hidráulico de pivô central

Pós-graduação em Agronomia (Energia na Agricultura) - FCA

Análise numérica de lajes treliçadas pré-moldadas com adição de resíduo de borracha

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

Problemas de corte e empacotamento na indústria de móveis: um estudo de caso

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

Recursos computacionais para auxiliar a análise da aptidão física relacionada à saúde de universitários

Pós-graduação em Desenvolvimento Humano e Tecnologias - IBRC

Sistema de controle de escoamento de gás natural em dutos de distribuição com detecção de vazamentos utilizando redes neurais

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

Sistema de monitoramento de temperatura e umidade em silos graneleiros via rádio

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

Aplicação de redes neurais artificiais na análise de dados de molhamento foliar por orvalho

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

Avaliação da aplicabilidade de sistema computacional de visualização de imagens aéreas de alta resolução em tempo real e multitemporal à degradação do rio Corumbataí

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