Metodologia, Sistema de Codificação e Ferramenta de software para Modelagem de Móveis Modulados

On this research we investigated how new technologies can help the process of design and manufacturing of furniture in such small manufacturers in Rio Grande do Norte state. Google SketchUp, a 3D software tool, was developed in such a way that its internal structures are opened and can be accessed using SketchUp s API for Ruby and programs written in Ruby language (plugins). Using the concepts of the so-called Group Technology and the flexibility that enables adding new functionalities to this software, it was created a Methodology for Modeling of Furniture, a Coding System and a plugin for Google s tool in order to implement the Methodology developed. As resulted, the following facilities are available: the user may create and reuse the library s models over-and-over; reports of the materials manufacturing process costs are provided and, finally, detailed drawings, getting a better integration between the furniture design and manufacturing process

Amostragem de terra para fins de fertilidade em função da ferramenta de amostragem

Embora existam indicações de que a pá de corte proporcione melhor qualidade de amostragem de terra para fins de análise de fertilidade, seu manuseio demanda muito tempo. No presente trabalho foram comparados os resultados da análise química de terra proveniente de 15 áreas distintas, cujas amostras foram obtidas com cinco tipos de trado e com pá de corte. Também foram comparados o tempo demandado para a realização do trabalho e o volume de terra coletado com as diferentes ferramentas, em dois solos de texturas distintas. O tempo médio de amostragem foi estimado, avaliando-se o tempo gasto por seis pessoas para tomar dez amostras. Para o estudo de qualidade de resultados foram amostradas 15 áreas, com solos, manejos e níveis de fertilidade distintos, de modo a se obter grande variação entre os valores das características avaliadas. As amostragens constaram da estratificação por profundidades e amostras de 0 a 20 cm de profundidade no teste de tempo. A amostragem com a pá de corte demora de 1,3 a 2,3 vezes mais do que com os trados. Para os valores de pH, matéria orgânica, acidez do solo, Al trocável e P disponível, os resultados foram equivalentes para todas as ferramentas empregadas. Entretanto, para as bases do solo (Ca, Mg e K), as ferramentas empregadas resultaram, na maioria das vezes, em resultados diferentes dos obtidos pela pá de corte.

Balanço energético de um forno túnel de cerâmica estrutural convertido de lenha para gás natural

In energy systems, the balance of entrances, exits and losses are fundamental to rationalize the energy consumption, independently of the source (sun, natural gas, wind, water, firewood or oil). This estimate is important so much in the phase of project of the facilities, as in the exploration or operation. In the project phase it indicates the energy needs of the process and the contribution of the energy in the cost of the product and the capacity of storage of the fuel and in the operation phase it allows to evaluate the use of the energy in the process of it burns, showing the weak points that should suffer intervention to improve the efficiency. With this tool, it can be implemented routines of calculation of thermal balances in ovens of it burns of structural ceramic, in way to generate an optimized mathematical model for application in the current and promising structural ceramic brazilian industry. The ceramic oven in study is located in the metropolitan area of Natal (Rio Grande do Norte) and it is a continuous oven of the type wagons tunnel, converted of firewood for natural gas and it produces blocks of red ceramic. The energy balance was applied in the oven tunnel before and after the conversion and made the comparisons of the energy efficiencies (it burns to the firewood and it burns to natural gas), what showed that the gaseous fuel is more efficient when we burn structural ceramic in ovens tunnels. When we burn natural gas, the requested energy is smaller and better used. Tests were accomplished in the burned product that showed the best quality of the burned brick with natural gas. That quality improvement makes possible to accomplish new interventions for the most rational use of the energy in the oven tunnel of the Ceramic in study and in the industries of structural ceramic of the whole Brazil, that need control tools of burning and of quality

Simulação numérica do fluxo hídrico subterrâneo na bacia hidrográfica do Rio Pitimbu RN

Urban centers in Pitimbu Watershed use significant groundwater sources for public supply. Therefore, studies in Dunas Barreiras aquifer are relevant to expand knowledge about it and help manage water resources in the region. An essential tool for this management is the numerical modeling of groundwater flow. In this work, we developed a groundwater flow model for Pitimbu Watershed, using the Visual Modflow, version 2.7.1., which uses finite difference method for solving the govern equation of the dynamics of groundwater flow. We carried out the numerical simulation of steady-state model for the entire region of the basin. The model was built in the geographical, geomorphological and hydrogeological study of the area, which defined the boundary conditions and the parameters required for the numerical calculation. Owing to unavailability of current data based on monitoring of the aquifer it was not possible to calibrate the model. However, the simulation results showed that the overall water balance approached zero, therefore satisfying the equation for the three-dimensional behavior of the head water in steady state. Variations in aquifer recharge data were made to verify the impact of this contribution on the water balance of the system, especially in the scenario in which recharge due to drains and sinks was removed. According to the results generated by Visual Modflow occurred significantly hydraulic head lowering, ranging from 16,4 to 82 feet of drawdown. With the results obtained, it can be said that modeling is performed as a valid tool for the management of water resources in Pitimbu River Basin, and to support new studies

A ferramenta VoiceThread em uma abordagem hibrida: o desenvolvimento da produção oral e da habilidade de noticing na aprendizagem de inglês como L2

VoiceThread (VT) is a collaborative and asynchronous web 2.0 tool, which permits the creation of oral presentations with the help of images, documents, texts and voice, allowing groups of people to browse and contribute with comments using several options: voice (microphone or cell phone), text and audio-file or video (webcam) (BOTTENTUIT JUNIOR, LISBÔA E COUTINHO, 2009). The hybrid experience with VoiceThread allows learners to plan their speech before recording it, without the pressure often existent in the classroom. Furthermore, the presentations can be recorded several times, enabling students to listen to them, notice the gaps in their oral production (noticing) and edit innumerous times before publishing them online. In this perspective, oral production is seen as a process of L2 acquisition, not only as practice of already existent knowledge, because it can stimulate the learner to process the language syntactically (SWAIN, 1985; 1995). In this context, this study aims to verify if there is a relation between the oral production of the learners more specifically the grammatical accuracy and the global oral grade and their noticing capacity, how the systematic practice with VoiceThread, in a hybrid approach, can impact the learners global oral development, their oral production in terms of fluency (number of words per minute), accuracy (number of errors in hundred words), and complexity (number of dependent clauses per minute), and on their noticing capacity (SCHMIDT, 1990; 1995; 2001), that is, the learner s capacity of noticing the gaps existent in their oral production. In order to answer these research questions, 49 L2 learners of English were divided into an experimental group (25 students) and a control group (24 students). The experimental group was exposed to the hybrid approach with VT during two months and, through a pre- and post-test, we verified if this systematic practice would positively influence these participants oral production and noticing capacity. These results were compared to the pre- and post-test scores from the control group, which was not exposed to VT. Finally, learners impressions in relation to the use of this tool were also sought through a questionnaire applied after the post-test. The results indicate that there is a statistically significant correlation between the learners speech production (accuracy and global oral grade) and their noticing capacity. Besides, it was verified a positive impact of VoiceThread on the learners speech production variables and on their noticing capacity. They also reveal a positive reaction by the learners in relation to the hybrid experience with this web tool

Estatística não-extensiva aplicada ao cálculo do calor específico eletrônico em estruturas quasiperiódicas

Systems whose spectra are fractals or multifractals have received a lot of attention in recent years. The complete understanding of the behavior of many physical properties of these systems is still far from being complete because of the complexity of such systems. Thus, new applications and new methods of study of their spectra have been proposed and consequently a light has been thrown on their properties, enabling a better understanding of these systems. We present in this work initially the basic and necessary theoretical framework regarding the calculation of energy spectrum of elementary excitations in some systems, especially in quasiperiodic ones. Later we show, by using the Schr¨odinger equation in tight-binding approximation, the results for the specific heat of electrons within the statistical mechanics of Boltzmann-Gibbs for one-dimensional quasiperiodic systems, growth by following the Fibonacci and Double Period rules. Structures of this type have already been exploited enough, however the use of non-extensive statistical mechanics proposed by Constantino Tsallis is well suited to systems that have a fractal profile, and therefore our main objective was to apply it to the calculation of thermodynamical quantities, by extending a little more the understanding of the properties of these systems. Accordingly, we calculate, analytical and numerically, the generalized specific heat of electrons in one-dimensional quasiperiodic systems (quasicrystals) generated by the Fibonacci and Double Period sequences. The electronic spectra were obtained by solving the Schr¨odinger equation in the tight-binding approach. Numerical results are presented for the two types of systems with different values of the parameter of nonextensivity q

Evolução top-hat hidrodinâmica em campos de velocidades peculiares primordiais

We investigate the cosmology of the vacuum energy decaying into cold dark matter according to thermodynamics description of Alcaniz & Lima. We apply this model to analyze the evolution of primordial density perturbations in the matter that gave rise to the first generation of structures bounded by gravity in the Universe, called Population III Objects. The analysis of the dynamics of those systems will involve the calculation of a differential equation system governing the evolution of perturbations to the case of two coupled fluids (dark matter and baryonic matter), modeled with a Top-Hat profile based in the perturbation of the hydrodynamics equations, an efficient analytical tool to study the properties of dark energy models such as the behavior of the linear growth factor and the linear growth index, physical quantities closely related to the fields of peculiar velocities at any time, for different models of dark energy. The properties and the dynamics of current Universe are analyzed through the exact analytical form of the linear growth factor of density fluctuations, taking into account the influence of several physical cooling mechanisms acting on the density fluctuations of the baryonic component of matter during the evolution of the clouds of matter, studied from the primordial hydrogen recombination. This study is naturally extended to more general models of dark energy with constant equation of state parameter in a flat Universe

Análise de grafos aplicada a relatos de sonhos: ferramenta diagnóstica objetiva e diferencial para psicose esquizofrênica e bipolar

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

O jogo de RPG como ferramenta auxiliar de aprendizagem na disciplina de Ciências

ON reflecting the traditional teaching approach, characterized by non-dynamic and descriptive methods that still persists in schools at the present time, associated to social living enrichment has motivated the search for new techniques to stimulate students in the process of teaching, such as roleplaying games, known as RPG, already being used in various school disciplines. Considering the amount of themes in general sciences and in biology, in particular that could be explored through RPG our purpose was to develop a game to be used as a learning complementary tool. PANGÉIA, the game we developed, was based on the GURPS system and to be placed at the geological Eras of the earth. The objective of the game was playing a character that represented an animal belonging to a Class of Vertebrates, and making it surviving and reproducing during risky situations presented in the game. These situations were narratives by the Master about challenges that the character would face, which should be solved using the dices. Along the narrative, the Master introduced concepts and informations about the subject being studied. To evaluating how the game worked out, we solicited 11 volunteers, from two different schools in Natal, to play PANGÉIA. Before starting the game, and without knowing the final objectives of our project, the volunteers answered a general questionnaire to let us know their level of knowledge, which was also answered after playing the game. The comparison of the volunteers answers before and after playing the game suggests that this activity influenced them. Also, based on this test, we identified critical aspects to be modified in PANGÉIA, specially a stronger relation between both the questionnaire and the game placement with the narrative of the master. In order to have PANGÉIA used as a complementary learning tool, a teachers handbook has to be written, including rules concerning the format of game application. Nonetheless, based on this pilot study, we conclude that topics on sciences and biology can be easily adjusted to RPG format, and its flexibility provides multiple combinations that can be used to help learning the more difficult topics to be taught in a class

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

Mobile interact: uma ferramenta de auxílio didático proporcionando interação entre professores e alunos através de celulares

Education is one of the oldest activities practiced by man, but today it is still performed often without creating dialogues and discussions among all those involved, and students are passives agents without interactivity with teachers and the content approached. This work presents a tool used for providing interactivity in educational environments using cell phones, in this way, teachers can use technology to assist in process of education and have a better evaluation of students. The tool developed architecture is shown, exposing features of wireless communication technologies used and how is the connection management using Bluetooth technology, which has a limited number of simultaneous connections. The details of multiple Bluetooth connections and how the system should behave by numerous users are displayed, showing a comparison between different methods of managing connections. Finally, the results obtained with the use of the tool are presented, followed by the analysis of them and a conclusion on the work

JCircus 2.0: Uma extensão da ferramenta de tradução de Circus para Java

This dissertation aims at extending the JCircus tool, a translator of formal specifications into code that receives a Circus specification as input, and translates the specification into Java code. Circus is a formal language whose syntax is based on Z s and CSP s syntax. JCircus generated code uses JCSP, which is a Java API that implements CSP primitives. As JCSP does not implement all CSP s primitives, the translation strategy from Circus to Java is not trivial. Some CSP primitives, like parallelism, external choice, communication and multi-synchronization are partially implemented. As an aditional scope, this dissertation will also develop a tool for testing JCSP programs, called JCSPUnit, which will also be included in JCircus new version. The extended version of JCircus will be called JCircus 2.0.

Estendendo CRefine para o suporte de táticas de refinamento

The use of increasingly complex software applications is demanding greater investment in the development of such systems to ensure applications with better quality. Therefore, new techniques are being used in Software Engineering, thus making the development process more effective. Among these new approaches, we highlight Formal Methods, which use formal languages that are strongly based on mathematics and have a well-defined semantics and syntax. One of these languages is Circus, which can be used to model concurrent systems. It was developed from the union of concepts from two other specification languages: Z, which specifies systems with complex data, and CSP, which is normally used to model concurrent systems. Circus has an associated refinement calculus, which can be used to develop software in a precise and stepwise fashion. Each step is justified by the application of a refinement law (possibly with the discharge of proof obligations). Sometimes, the same laws can be applied in the same manner in different developments or even in different parts of a single development. A strategy to optimize this calculus is to formalise these application as a refinement tactic, which can then be used as a single transformation rule. CRefine was developed to support the Circus refinement calculus. However, before the work presented here, it did not provide support for refinement tactics. The aim of this work is to provide tool support for refinement tactics. For that, we develop a new module in CRefine, which automates the process of defining and applying refinement tactics that are formalised in the tactic language ArcAngelC. Finally, we validate the extension by applying the new module in a case study, which used the refinement tactics in a refinement strategy for verification of SPARK Ada implementations of control systems. In this work, we apply our module in the first two phases of this strategy

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

Reqsys-MDD: uma ferramenta para mapeamento entre modelos de features e requisitos em linhas de produto de software

The approach Software Product Line (SPL) has become very promising these days, since it allows the production of customized systems on large scale through product families. For the modeling of these families the Features Model is being widely used, however, it is a model that has low level of detail and not may be sufficient to guide the development team of LPS. Thus, it is recommended add the Features Model to other models representing the system from other perspectives. The goals model PL-AOVgraph can assume this role complementary to the Features Model, since it has a to context oriented language of LPS's, which allows the requirements modeling in detail and identification of crosscutting concerns that may arise as result of variability. In order to insert PL-AOVgraph in development of LPS's, this paper proposes a bi-directional mapping between PL-AOVgraph and Features Model, which will be automated by tool ReqSys-MDD. This tool uses the approach of Model-Driven Development (MDD), which allows the construction of systems from high level models through successive transformations. This enables the integration of ReqSys-MDD with other tools MDD that use their output models as input to other transformations. So it is possible keep consistency among the models involved, avoiding loss of informations on transitions between stages of development