ISE-SPL: Uma abordagem baseada em linha de produtos de software aplicada à geração automática de sistemas para educação médica na plataforma E-learning

E-learning, which refers to the use of Internet-related technologies to improve knowledge and learning, has emerged as a complementary form of education, bringing advantages such as increased accessibility to information, personalized learning, democratization of education and ease of update, distribution and standardization of the content. In this sense, this paper aims to develop a tool, named ISE-SPL, whose purpose is the automatic generation of E-learning systems for medical education, making use of concepts of Software Product Lines. It consists of an innovative methodology for medical education that aims to assist professors of healthcare in their teaching through the use of educational technologies, all based on computing applied to healthcare (Informatics in Health). The tests performed to validate the ISE-SPL were divided into two stages: the first was made by using a software analysis tool similar to ISE-SPL, called SPLOT and the second was performed through usability questionnaires to healthcare professors who used ISESPL. Both tests showed positive results, proving it to be an efficient tool for generation of E-learning software and useful for professors in healthcare

Perspectivas de inserção da energia solar fotovoltaica na geração de energia elétrica no Rio Grande do Norte

The generation of electricity in Brazil is predominantly renewable, with internal hydraulic generation being more than 70% of its energy matrix. The electricity rationing occurred in 2001 due to lack of rain, led the country to increase the participation of alternative energy sources. This need for new sources of energy makes the regional potential to be exploited, which configures the change of generation model from centralized generation to distributed generation. Among the alternative sources of energy, the solar energy is presented as very promising for Brazil, given that most of its territory is located near to the equator line, which implies days with greater number of hours of solar radiation. The state of Rio Grande do Norte (RN) has one of the highest levels of solar irradiation of the Brazilian territory, making it eligible to receive investments for the installation of photovoltaic solar plants. This thesis will present the state-of-the-art in solar photovoltaic power generation and will examine the potential for generation of solar photovoltaic power in Brazil and RN, based on solarimetrics measurements conducted by various institutions and also measurements performed in Natal, the state capital

Protótipo de uma unidade com tri-geração de energia para utilizações remotas: aplicação de módulo secondutivo gerador termoelétrico

The generation for termoeletricity is characterized as a solid process of conversion of thermal energy (heat) in electric without the necessity of mobile parts. Although the conversion process is of low efficiency the system presents high degree of trustworthiness and low requisite of maintenance and durability. Its principle is based on the studies of termogeneration carried through by Thomas Seebeck in 1800. The frank development of the technologies of solid state for termoeletricity generation, the necessity of the best exploitation of the energy, also with incentive the cogeneration processes, the reduction of the ambient impact allies to the development of modules semiconductors of high efficiency, converge to the use of the thermoeletric generation through components of solid state in remote applications. The work presents the development, construction and performance evaluation of an prototype, in pilot scale, for energy tri-generation aiming at application in remote areas. The unit is composed of a gas lamp as primary source of energy, a module commercial semiconductor for thermoelectric generation and a shirt for production of the luminosity. The project of the device made compatible a headstock for adaptation in the gas lamp, a hot source for adaptation of the module, an exchanger of to be used heat as cold source and to compose first stage of cogeneration, an exchanger of tubular heat to compose second stage of cogeneration, the elaboration of a converter dc-dc type push pull, adequacy of a system of acquisition of temperature. It was become fullfilled assembly of the prototype in group of benches for tests and assay in the full load condition in order to evaluate its efficiency, had been carried through energy balance of the unit. The prototype presented an electric efficiency of 0,73%, thermal of 56,55%, illumination of 1,35% and global of 58,62%. The developed prototype, as the adopted methodology of assay had also taken care of to the considered objectives, making possible the attainment of conclusive results concerning to the experiment. Optimization in the system of setting of the semicondutor module, improvement in the thermal insulation and design of the prototype and system of protection to the user are suggestions to become it a commercial product

Desenvolvimento de um destilador solar para tratamento de águas de produção de petróleo com vistas a sua utilização na agricultura e geração de vapor

The production of petroleum is frequently accomplished with great volumes of water, that it is carried of the underground with the oil. It is a challenge of the present century the development of technologies that allow the use of waste water for purposes that consume great amounts of water and don't demand as rigid as the one of the drinking water requirements. The solar distillation has been configuring as an alternative of clean technology for desalination of brine and saline. Besides causing the minimum possible damage to the environment, it takes advantage of an abundant and free energy source: the solar energy. That study aims to develop a Solar Distillator for treatment of the produced water of the oil wells, to obtain an efluent to use in agriculture and vapor generation. The methodology for collection, conservation and analysis of the physical-chemical parameters obeyed the norms in APHA (1995). The sampling was of the composed type. Experiments were accomplished in the solar distillation pilot and simulation in thermostatic bathing. The operation was in batch system and for periods of 4, 6 and 12 h. The developed Distillator is of the type simple effect of two waters. It was still tested two inclination angles for covering; 20º and 45º. The Distillator presented minimum of 2,85 L/m2d revenues and maximum of 7,14 L/m2d. The removals of salts were great than 98%. The removal of TOC in the simulation was great than 90%. In agreement with the data of energy and mass balance, it was verified that the developed solar Distillator presented compatible revenues with those found in literature for similar types. It can be inferred that the obtained distilled water assists to the requirements CONAMA in almost all the points and could be used for irrigation of cultures such as cotton and mamona. As the distilled water has characteristics of fresh water it can be used in the generation of vapor

Sair curado para a vida e para o bem: diagramas, linhas e dispersão de forças no complexus nosoespacial do Hospital de Caridade Juvino Barreto (1909-1927)

This work has as object of study the Hospital de Caridade Juvino Barreto, nosocomial institution located in the city of Natal (RN), between the Praia de Areia Preta and the Monte Petrópolis, focusing on the period from 1909, the year in which the new hospital building was constructed and opened, and 1927, the date of the transfer of administration of the public domain to the newly created Sociedade de Assistência Hospitalar (SAH). We study the conditions of possibility of the emergence of this hospital space in the urban environment of the capital of Rio Grande do Norte, seeking to understand the different tactics and strategies implemented by the historical subjects involved in the formation of this institution nosocomial. Starting from a corpus of documents consisting of medical memories (with Dr. Januário Cicco as privileged observer), information present in newspapers (the Republic and the Christmas Journa l), photo collection and extensive administrative and legal material (Speeches, Exhibitions, Reports, Laws and Resolutions), we analyzed in detail the medical geography of HCJB, relating the discourses of medicine and geography in choosing the spatial location of the hospital as we examine the architecture of the hospital, its inner spat iality, divisions, forms of space control, and, finally, we discuss the medical practices that took place within it, leading us in this regard, from the experiences of clinical hospital chief, Dr. Januário Cicco, especially the discussion on "ethics" in hospital work. The perception of HCJB as medical nosoespaciality always on the move, incorporated under taxonomic principles based on difference and dispersion forces, led us to articulate it theoretically from the conceptual-methodological arsenal of philosopher Michel Foucault, particularly his reflections of genealogical phase, focusing on the phenomenon of power, a position that allows us to enhance our space-hospital construction, invention, product of power relations, which give the unfinished aspect nosocômio, apparent, always at stake, perpetual non-modeling possibility has previously defined array, establishing it at the field of possible, of virtuality, of power: hospital that could have been and that it was not. Indeed, the investigation of various aspects/elements of hospital space Juvino Barreto revealed us new dimensions of hospital space, far more complex than the simple and the current idea of a place to shelter patients: plasticity and fluidity of space, which is not made to circumscribe the limits of empeiria, engraving up to strength relations fought between different subject; its Constitution as a transitional space, Heterotopic, doing live inside modern elements with premoderns (professional doctors working with religious thought, skeptical of positivist medicine living with the religious faith of the nuns of Santana); the impossibility of thinking hospital space of HCJB while homogeneous unit, static, transistoric, making the spatiality, without considering the profound differences, fractures and dislocations that animated his own existence, multiplying their expressions of identity

A doença como ponto de mutação :os processos de significação em mulheres portadores de lúpus eritematoso sistêmico

Systemic lupus erythematous (SLE) is a chronic and auto-immune disease that can affect several systems of one´s body, including the nervous system, causing several clinical evidences, which can put in risk the person´s life. Although the illness could manifest itself at any age or sex, studies indicate higher incidence among women. Its etiology points to the combination of genetic, hormonal and environmental factors. Due to the disease´s complexity, it is evident that it affects all the person´s life as a whole and not only its organic dimension. It is believed that the signification attributed to all the process of sickening influences its treatment, as well as the person´s capacity to cope with the difficulties and implicit profits involved in the process.In this study, eight women who were affected by SLE were interviewed, with the aim of examining carefully the processes of signification as well as the generation of meanings which permeate these women´s sickening processes. The analysis of their speeches evidences distinct forms of giving meaning to the process, regardless of the time of the diagnosis. The fact that the disease is incurable was shocking to all the participants, and it demanded changes in their lives, in order to detain a relative control of their condition. The majority of the participants were able to deal with these modifications, since strategies have been created to face the difficulties and thus to preserve their social life, without damaging their health. However, some of the participants did not obtain strenght to cope with the disease, eventually developing a depressive state. It is observed that not only SLE has innumerable ways of manifestation, but the experience of the illness is very subjective and dynamic. There are also several ways of expressing this experience, according to the implications in the social, cultural and economic context where the participants are inserted. This ratifies the necessity of a interdisciplinary approach to embrace SLE complexity. (310 words, 1.610 characters)

Ofensiva do Capital e Desmobilização das Forças do Trabalho: As Estratégias Gerenciais Burguesas para a Desarticulação das Classes Trabalhadoras

The problematic that gives shape to this research is the question of the historical process of demobilization of the movement of the working classes in your accented contemporary moment. Their object of study, however, and that it particularizes, it relates to a portion this problematic; it relates to set of determinations that comprise a broader set of determinations of this historical process: it is a set of determinations forged and mediated by bourgeois strategies of management for the conformation of the circumstances necessary for the domination and for the conduct of labor force on operations in work processes for the production of surplus value. What we investigated are, because, the strategies of disarticulation that the bourgeoisie utilizes, under the mantle of subsidies conceptual and interventive of its management of work processes and the sieve of class struggles, to obstruct the union of workers; hamper the movements proletarians. Managerial strategies that intentionally or unintentionally, instill in the social relations of production means to produce and reproduce, activate and reactivate conditions of incitement of individualism and competition between the workers themselves. We shall see, thus, by analyzing means, centrally, from some of the fundamentals of disarticulation in the managerial strategies bourgeois and some of the fundamental strategies of management bourgeois hegemonized with the restructuring productive of 1970, that the disarticulation, and also the demobilization, is a concrete condition, is an objective condition, that is beyond a question that can be "solved" only by enlightenment cognitive, only by formation criticism intellectual. In everyday of the work spaces permeated by managerial strategies bourgeois there elements, then, operating as a material force putting difficulties important for the articulation of the workers, the solidarity of the proletariat; elements that constitute obstacle significant to an awareness of class and belonging; elements act in favor of the atomization of the worker - even if engenders, in the same process, as a contradiction, potentiality of resistance and fight the forces of labor

Geração automática de testes a partir de descrições de linguagens

Some programs may have their entry data specified by formalized context-free grammars. This formalization facilitates the use of tools in the systematization and the rise of the quality of their test process. This category of programs, compilers have been the first to use this kind of tool for the automation of their tests. In this work we present an approach for definition of tests from the formal description of the entries of the program. The generation of the sentences is performed by taking into account syntactic aspects defined by the specification of the entries, the grammar. For optimization, their coverage criteria are used to limit the quantity of tests without diminishing their quality. Our approach uses these criteria to drive generation to produce sentences that satisfy a specific coverage criterion. The approach presented is based on the use of Lua language, relying heavily on its resources of coroutines and dynamic construction of functions. With these resources, we propose a simple and compact implementation that can be optimized and controlled in different ways, in order to seek satisfaction the different implemented coverage criteria. To make the use of our tool simpler, the EBNF notation for the specification of the entries was adopted. Its parser was specified in the tool Meta-Environment for rapid prototyping

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

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

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 procedural de cenários orientada a objetivos

The game industry has been experiencing a consistent increase in production costs of games lately. Part of this increase refers to the current trend of having bigger, more interactive and replayable environments. This trend translates to an increase in both team size and development time, which makes game development a even more risky investment and may reduce innovation in the area. As a possible solution to this problem, the scientific community is focusing on the generation of procedural content and, more specifically, on procedurally generated levels. Given the great diversity and complexity of games, most works choose to deal with a specific genre, platform games being one of the most studied. This work aims at proposing a procedural level generation method for platform/adventure games, a fairly more complex genre than most classic platformers which so far has not been the subject of study from other works. The level generation process was divided in two steps, planning and viusal generation, respectively responsible for generating a compact representation of the level and determining its view. The planning stage was divided in game design and level design, and uses a goaloriented process to output a set of rooms. The visual generation step receives a set of rooms and fills its interior with the appropriate parts of previously authored geometry

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

AutoWebS: um Ambiente para Modelagem e Geração Automática de ServiçosWeb Semânticos

Typically Web services contain only syntactic information that describes their interfaces. Due to the lack of semantic descriptions of the Web services, service composition becomes a difficult task. To solve this problem, Web services can exploit the use of ontologies for the semantic definition of service s interface, thus facilitating the automation of discovering, publication, mediation, invocation, and composition of services. However, ontology languages, such as OWL-S, have constructs that are not easy to understand, even for Web developers, and the existing tools that support their use contains many details that make them difficult to manipulate. This paper presents a MDD tool called AutoWebS (Automatic Generation of Semantic Web Services) to develop OWL-S semantic Web services. AutoWebS uses an approach based on UML profiles and model transformations for automatic generation of Web services and their semantic description. AutoWebS offers an environment that provides many features required to model, implement, compile, and deploy semantic Web services