A testing and demonstration facility for PV systems and components

A test and demonstration facility for PV and PV hybrid systems and system components has been designed and installed at Dalarna University in Sweden. The facility allows studies of complete PV systems or single components in a range of 0.1-10 kW. The facility includes two grid-connected PV systems, a PV Hybrid off-grid system, three emulators and the necessary measurement and control equipment. Tests can be done manually or automatically through programmed test procedures controlled that will be implemented in Labview. The facility shall be used by researchers, professionals of the industry and engineering students.

Fred: An approach to generating real, correct, reusable programs from proofs

In this paper we describe our system for automatically extracting "correct" programs from proofs using a development of the Curry-Howard process. Although program extraction has been developed by many authors, our system has a number of novel features designed to make it very easy to use and as close as possible to ordinary mathematical terminology and practice. These features include 1. the use of Henkin's technique to reduce higher-order logic to many-sorted (first-order) logic; 2. the free use of new rules for induction subject to certain conditions; 3. the extensive use of previously programmed (total, recursive) functions; 4. the use of templates to make the reasoning much closer to normal mathematical proofs and 5. a conceptual distinction between the computational type theory (for representing programs)and the logical type theory (for reasoning about programs). As an example of our system we give a constructive proof of the well known theorem that every graph of even parity, which is non-trivial in the sense that it does not consist of isolated vertices, has a cycle. Given such a graph as input, the extracted program produces a cycle as promised.

BDI4JADE: a BDI layer on top of JADE

Several agent platforms that implement the belief-desire-intention (BDI) architecture have been proposed. Even though most of them are implemented based on existing general purpose programming languages, e.g. Java, agents are either programmed in a new programming language or Domain-specific Language expressed in XML. As a consequence, this prevents the use of advanced features of the underlying programming language and the integration with existing libraries and frameworks, which are essential for the development of enterprise applications. Due to these limitations of BDI agent platforms, we have implemented the BDI4JADE, which is presented in this paper. It is implemented as a BDI layer on top of JADE, a well accepted agent platform.

Avaliação preliminar de um protocolo assistencial de artroplastia total do quadril

A artrose do quadril é uma doença articular degenerativa que atinge principalmente idosos, faixa etária que vem gradativamente aumentando nos últimos tempos. Assim, medidas de racionalização do uso de leitos e recursos hospitalares são necessárias para melhor viabilizar os procedimentos cirúrgicos e reduzir gastos para o sistema de saúde, uma vez que quase dois terços destes gastos decorrem do período de internação. Com esse objetivo, foi desenvolvido um protocolo assistencial de artroplastia total de quadril (PAATQ), multidisciplinar, com consultas ambulatoriais e visitas domiciliares programadas para pacientes a serem submetidos à artroplastia total de quadril (ATQ), visando uma melhor abordagem por parte da equipe médica e de enfermagem e uma melhor orientação dos pacientes e familiares quanto ao procedimento cirúrgico. Este estudo transversal (piloto), com controle histórico aninhado a um ensaio clínico randomizado, tem por objetivo avaliar a factibilidade de implantação e a adesão, por parte das equipes médica e de enfermagem, à utilização deste protocolo. Secundariamente, visa determinar o impacto desta rotina no tempo de internação, na independência funcional do paciente e nos eventos clínicos da fase hospitalar, bem como avaliar a factibilidade das visitas domiciliares de enfermagem. Um total de 22 pacientes (9 homens e 13 mulheres) submetidos à ATQ no Hospital de Clínicas de Porto Alegre (Brasil), com média (dp) de idade de 58,86 (16,87), variando de 21 a 86 anos, foram incluídos no estudo. Os pacientes foram divididos em dois grupos  grupo 1 (n=12) e grupo 2 (n=10)  de acordo com aplicação ou não do PAATQ. No grupo 1, as principais comorbidades foram a hipertensão arterial sistêmica (HAS) (dois casos), o diabete mellitus (um caso); e o alcoolismo (um caso).No grupo 2, houve um caso de HAS. O tempo de permanência médio (dp) pós-operatório (DPO) foi de 5,2 e 7,5 dias para os grupos 1 e 2, respectivamente (p=0.0055). A adesão ao protocolo foi de 90% e 100% por parte das equipes médica e de enfermagem, respectivamente. Sete pacientes do grupo 1 conseguiram sentar fora do leito no 2o dia pós-operatório (PO), dois sentaram no 3o e nenhum foi incapaz de sair do leito. Todos deambularam com muletas um dia após sentarem. No grupo 2, todos os pacientes saíram do leito no 4o DPO. Em conclusão, o presente protocolo mostrou-se factível, tendo obtido ótima adesão por parte da equipe e propiciado redução do tempo de internação. O seguimento do programa determinará mais detalhadamente a sua eficácia e a factibilidade das visitas domiciliares.

Política de recursos humanos na administração pública do Estado do Paraná: análise comparativa entre o discurso e a prática

The aim of this dissertation is to demonstrate what happens to the public administration in the state of Paraná through a case study, more specifically, in two organization: one, called in specific legal regime, 'direct administration' and the other, 'indirect administration', by means of structured interviews searching the distance between the discourse and practice which concerns to what was developed in the training area inside a human resource policy of the state. Since two decades, the training function in public administration of the state is changing and suffering some internal (re)structures. These changes are due to the pressure generated by either the natural requirement of changing in the same area or in the ways and aims from governmental spheres (state and federal). On one hand, this study analyzes the performance of training function during from 1987 to 1994, in order to verify the outcome factors of the not structured area and the coherency between programmed and accomplished actions. On the other hand, compare the discourse and practice based on a human resource policy implemented and adopted by the government. The results of field research with bibliographic examination allow to conclude that although the official and formal documents delineate a human resource policy to the state, there were evident contradictions between the proposal and what the state really fulfilled. The qualitative data analysis concluded that the majority of the actions are implemented casuisticaly. During the case study period, the human resource area specifically, training and development, suffered constant (re) tructures. The consequence was ¿ the both institutions, responsible for the training area, lost time and financial resources. Legal changes, internal dispute for institutional space, lack of tune and synchrony resulted once more in a discontinued action in the area. However it is perceptible that the government is worried about the development and evaluation of its civil services although it goes on behaving without a structured and integrated planning related to any human resource system. The study, therefore, confirms that the formulation and implementation of effective human resource policy, either through an analytic model or not, must be centralized in integrated action interrelated to all the subsystems of the human resource area, neither in a disguised way nor linked to the discourse of a law or government projects.

Políticas de recursos humanos, do discurso oficial à prática : estudo realizado na administração direta do estado do Espírito Santo

O distanciamento entre discurso oficial prática das políticas de Recursos Humanos definidas para os servidores da Administração Direta do Poder Executivo do Estado do Espirito Santo no período de 1971/1991, neste estudo de caso, foi analisado tomando-se como base conceituai teoria de Análise de Políticas Públicas Recursos Humanos. Verificou-se as Diretrizes programadas as ações que foram implementadas, utilizando-se documentos oficiais, Planos de Governos, Mensagens Legislativas, Leis, Decretos outros documentos abrangendo cinco períodos diferentes de governo, compreendendo um espaço histórico de vinte anos da Administração Pública Estadual Capixaba, englobando parte do período de "Regime Militar Autoritário", "Abertura Política" "Nova República". Buscando-se ressaltar aspectos importantes conseguir descrição mais precisa da situação em estudo, realizou-se pesquisa de campo, utilizando-se instrumento da entrevista semi-estruturada. Foram selecionados entrevistados Dirigentes Assessores Públicos, bem como Secretários de Estado que atuaram no cenário em investigação. No período 1971/91, as diretrizes propostas seguiram procedimentos racionais as ações foram implementadas de forma isolada, distanciando-se das diretrizes propostas nos planos dos Governos. distanciamento entre discurso e a prática, chega ser considerado como um procedimento natural, haja vista, que pesquisa permeou cinco períodos de governos, cujo cenário político foi bastante diferente, entretanto, prática adotada pelos diversos governantes administradores públicos, em relação Administração Pública especialmente ao tratamento dispensado aos Recursos Humanos, foi desenvolvida com mesma desconsideração. De onde se conclui que no período 1971/91, as diretrizes da política de Recursos Humanos para os servidores da Administração Direta do poder Executivo do Estado do Espirito Santo permaneceram apenas na retórica do discurso governamental, e, em nenhum momento na prática elas foram implementadas nível de Governo.

Um estudo experimental sobre o uso da informática no ensino da contabilidade

Esta pesquisa buscou fundamentar o uso da informática no ensino da contabilidade através de um experimento realizado no sétimo período do Curso de Graduação em Ciências Contábeis, da Faculdade de Economia e Administração, da Universidade Federal do Rio de Janeiro. A revisão da literatura e fundamentos teóricos abordou, principalmente, o sistema de ensino através do computador denominado "COMPUTER ASSISTED INSTRUCTlON - C.A.I. ", sua definição, características, utilização e organização. Também fora abordados aspectos sobre o computador e a instrução programada assim como as vantagens e restrições do uso do computador no ensino. Os resultados obtidos permitiram a análise do comportamento dos alunos diante da nova maneira de se estudar e, ainda, um confronto de suas opiniões com as vantagens e restrições encontradas na literatura. A experiência vivenciada pelo pesquisador durante o experimento, permitiu-lhe concluir que o estudo desenvolvido foi importantíssimo na sua carreira, como professor de contabilidade e, ainda, como educador preocupado com aspectos de um ensino crítico. O estudo permitiu que fossem sugeridas recomendações ao governo, universidades, editores e professores sobre a utilização desta nova ferramenta de ensino e sugestões sobre novas pesquisas nesta área.

A construção da imagem operária: uma nova dimensão da análise do trabalho

A tentativa de buscar uma nova dimensão para o desempenho satisfatório das atividades humanas em situações de trabalho resume o objetivo primeiro desse estudo. A proposta básica consiste em que as ações humanas podem ser programadas mentalmente antes de serem objetivamente executadas e que essa programação se verifica a partir de e em função de imagens. O conceito de imagem operatória como o processo psicológico capaz de permitir aprioristicamente a simulação imagina da dessas realizações assume, assim, importância vital para essa dissertação. Da percepção de que toda e qualquer atividade se desenvolve num espaço de localização e movimentação corporal próprio de cada sujeito e da necessidade de se encontrar um referencial teórico que melhor situasse o constructo citado, chegou-se a inclusão dos termos espaço pessoal e esquema corporal como susceptíveis de explicitarem a relação proposta. Estabelecido o triângulo conceitual explicativo, capaz de elucidar algumas questões relativas ao binômio homem-trabalho, partiu-se para o levantamento e discussão de algumas das variáveis possivelmente envolvidas na construção da imagem operatória. Como parte final, algumas implicações lógico-formais, são levantadas, considerando-se os conceitos envolvidos a partir de uma perspectiva, que mais se aproxime de um caráter global.

Os determinantes morfogenéticos da linguagem expressiva

O presente trabalho parte de uma reinterpretação dos determinantes e da organização da linguagem expressiva em indivíduos portadores de deficiência da audição. Neste sentido, submete a uma análise crítica as condições de estruturação e aquisição de um sistema de comunicação simbólica de natureza essencialmente verbal por parte de tais indivíduos. Avalia, em particular modo, a perspectiva de uma organização fonológica do discurso em portadores de surdez profunda “pré-linguagem~, como um processo que ultrapassa as possibilidades d e uma mera aprendizagem. A linguagem vista então como um processo semiótico de natureza percepto-expressiva, que se estabelece ao longo do desenvolvimento filogenético e ontogenético é assim interpretada, a luz de um novo modelo teórico sobre a Cognição Humana . Tal modelo, pautado em contribuições da Cibernética, da Lógica, da Linguística e da Epistemologia Genética, estabelece plataformas morfogenéticas, a partir das quais o psiquismo se organizaria. Desta maneira, 2 (dois) objetivos essenciais pretendem ser atingidos no presente e s tudo. 1º ) oferecer uma base teórica à dinâmica e processual cognitivo em que o surdo se vê envolvido ao longo da aprendizagem de um sistema verbal-simbólico - à luz de uma hipótese pré-formista, de base morfogenética. 2º) avaliar, a partir da linguagem expressiva escrita apresentada por deficientes auditivos com perda profunda ~pré-linguagem", a hipótese formulada por F. Lo P. Seminério (1980) "de uma memória morfogenética na espécie humana", a partir do que, toda a atividade cognitiva se organizaria, passando a operar segundo estruturas-código, pré-fixadas. A fim de confirmar as proposições estabelecidas, apresenta - se uma Verificação Empírica através de estudos exploratórios realizados com 6 (seis) sujeitos. Os resultados obtidos confirmam a existência de um marco seletivo e organizador de natureza audio-fonética, também entre indivíduos surdos. Constata-se que a informação veiculada é capaz de ser tratada, programada e recuperada linguisticamente, ainda que sem a possibilidade de um mecanismo de retroalimentação ao sistema que se desenvolve. O que equivale a dizer, que o indivíduo surdo apesar de não ouvir, programa à nível áudio-fonético, programação essa que vem a ser recuperada ou atualizada graças aos recursos e técnicas pedagógicas especializadas. Tais resultados sugerem uma reavaliação dos métodos psicopedagógicos usuais nesta área, podendo-se retomar sob nova orientação o debate de temas atuais, nas diretrizes das técnicas e do instrumental utilizado.

Quebrando as regras: o poder discricionário na linha de frente do programa esportivo-social RIO 2016 um estudo sobre a situação do integrador de núcleo, um verdadeiro "sociological citizen"

Este estudo analisa o indivíduo que atua na linha de frente do RIO 2016, um programa social do Governo do Estado do Rio de Janeiro que opera 800 unidades de atendimento no Estado, com gestão da Secretaria de Estado de Esporte e Lazer. O indivíduo analisado nesta pesquisa é denominado Integrador de Núcleo Esportivo e é o responsável pela gestão de uma dessas unidades — Núcleo Esportivo — que atende em média 50 alunos de uma comunidade carente no Estado do Rio de Janeiro. Essa pesquisa analisa o Integrador de Núcleo Esportivo sob uma perspectiva inédita, entendendo-o como um agente que atua além do seu escopo burocrático de trabalho. Para esse estudo foram consideradas teorias sobre burocracia organizacional, lançando mão da literatura de Michel Crozier ―The Bureaucratic Phenomenon‖ (1964), que analisa as relações entre pessoas, grupos e poder para entender a influência da organização burocrática no indivíduo. O termo ―sociological citizen‖,desenvolvido por Silbey (2009), também foi considerado para classificar esse indivíduo que se mostra mais aplicado que outros nos serviço de seu mandato organizacional e legal. Silbey aplica também o termo ―relational regulation‖ para denominar esta forma particular de prática da ―cidadania sociológica‖ (tradução do autor), por meio da qual os agentes ―governam a lacuna existente entre as expectativas regulatórias e o desempenho requerido‖.

Biblioteca Parque da Rocinha: cotidiano, cultura e cidadania num equipamento cultural carioca

Esta dissertação propõe analisar o programa das Bibliotecas Parque do Governo do Estado do Rio de Janeiro por meio do estudo de caso da biblioteca da Rocinha, terceiro equipamento cultural deste gênero inaugurado no segundo mandato da gestão do governador Sérgio Cabral (2011-2014) e o primeiro a ser instalado dentro de uma favela carioca. Entre os objetivos específicos deste trabalho estão entender como se deu o processo de negociação do poder público com lideranças da comunidade para a implementação da biblioteca na Rocinha; identificar as práticas dos usuários do equipamento público e as percepções destes usuários em relação ao espaço cultural bem como compreender a dinâmica de funcionamento da unidade, levando em consideração aspectos como planejamento versus demanda, usos não programados, conflitos e as alternativas criadas a partir do entendimento da realidade dos usuários e de suas necessidades, já que a biblioteca é essencialmente um equipamento cultural em construção permanente.

Todo Brasileiro merece nível A : habitação multifamiliar para o programa minha casa minha vida energeticamente eficiente

This thesis describes the theoretical, methodological and programmatic proposal for a multifamily residential building located in the urban expansion area of Parnamirim/RN, inserted in the program Minha Casa Minha Vida and level of energy efficiency "A", as the RegulamentoTécnico de Qualidade (RTQ-R/INMETRO) for residential buildings. The development project initially consists of procedures as the study of theoretical, architectural programming and cases studies. With the delimitation of a field solution, situated between the reference and the context, proposals are studied to determine the solution and architectural detailing of the proposal. The architectural program was built based on the method of Problem Seeking (Peña and Parshall, 2001) and research has highlighted aspects of reducing the environmental impact and of the program Minha Casa Minha Vida , among others. The design process was characterized by the incorporation of aspects reviewed and programmed, seeking them compatible and have an economically viable building, socio-spatial quality and energy efficient. The results show that it is possible to obtain a building that meets the constraints of the program that provides housing and energy efficiency level A - and many other environmental qualities and constructive, particularly through architectural design

Síntese, caracterização e estudo da regeneração do silicoaluminofosfato-11 (SAPO-11)

heterogeneous catalyst such as a silicoaluminophosphate, molecular sieve with AEL (Aluminophosphate eleven) structure such as SAPO-11, was synthesized through the hydrothermal method starting from silica, pseudoboehmite, orthophosphoric acid (85%) and water, in the presence of a di-isopropylamine organic template. For the preparation of SAPO-11 in a dry basis it was used as reactants: DIPA; H3PO4; SiO4; Pseudoboehmite and distilled water. The crystallization process occurred when the reactive hydrogel was charged into a vessel and autoclaved at 200ºC for a period of 72 hours under autogeneous pressure. The obtained material was washed, dried and calcined to remove the molecular sieves of DIPA. The samples were characterized by X-ray diffraction (XRD), scanning electron microscopy (SEM), infrared spectroscopy (FT-IR), nitrogen adsorption (BET) and thermal analysis (TG/DTG). The acidic properties were determined using adsorption of nbutylamine followed by programmed thermodessorption. This method revealed that SAPO-11 shows an acidity that ranges from weak to moderate. However, a small quantity of strong acid sites could be detected there. The deactivation of the catalysts was conducted by artificial coking followed by the cracking of the n-hexane in a fixed bed with a continuous flow micro-reactor coupled on line to a gas chromatograph. The main products obtained were: ethane, propane, isobutene, n-butane, n-pentane and isopentane. The Vyazovkin (model-free) kinetics method was used to determine the regeneration and removal of the coke

Síntese, caracterização e cinética da decomposição térmica dos materiais cerâmicos PrMO3 (M = Ni ou Co)

In this work have been studied the preparation, characterization and kinetic study of decomposition of the polymerizing agent used in the synthesis under non-isothermal condition ceramics PrMO3 of general formula (M = Co and Ni). These materials were obtained starting from the respective metal nitrates, as a cations source, and making use of gelatin as polymerizing agent. The powders were calcined at temperatures of 500°C, 700°C and 900°C and characterized by X-ray Diffraction (XRD), Thermogravimetric Analysis (TG / DTG/ DTA), Infrared Spectroscopy (FTIR), Temperature Programmed Reduction (TPR) and Scanning Electron Microscopy (SEM). The perovskite phase was detected in all the X-rays patterns. In the infrared spectroscopy observed the oxide formation as the calcination temperature increases with the appearance of the band metal - oxygen. The images of SEM revealed uniform distribution for the PrCoO3 and particles agglomerated as consequence of particle size for PrNiO3. From the data of thermal analysis, the kinetics of decomposition of organic matter was employed using the kinetics methods called Model Free Kinetics and Flynn and Wall, in the heating ratios 10, 20 and 30° C.min-1 between room temperature and 700°C. Finally, been obtained the values of activation energy for the region of greatest decomposition of organic matter in samples that were determined by the degree of conversion (α)

Obtenção de óxidos a base de níquel e cobalto para reação de oxidação parcial do metano

Nickel-based catalysts supported on alumina have been widely used in various reactions to obtain synthesis gas or hydrogen. Usually, higher conversion levels are obtained by these catalysts, however, the deactivation by coke formation and sintering of metal particles are still problems to be solved. Several approaches have been employed in order to minimize these problems, among which stands out in recent years the use of additives such as oxides of alkali metals and rare earths. Similarly, the use of methodologies for the synthesis faster, easier, applicable on an industrial scale and to allow control of the microstructural characteristics of these catalysts, can together provide the solution to this problem. In this work, oxides with spinel type structure AB2O4, where A represents divalent cation and B represents trivalent cations are an important class of ceramic materials investigated worldwide in different fields of applications. The nickel cobaltite (NiCo2O4) was oxides of spinel type which has attracted considerable interest due to its applicability in several areas, such as chemical sensors, flat panel displays, optical limiters, electrode materials, pigments, electrocatalysis, electronic ceramics, among others. The catalyst precursor NiCo2O4 was prepared by a new chemical synthesis route using gelatine as directing agent. The polymer resin obtained was calcined at 350°C. The samples were calcined at different temperatures (550, 750 and 950°C) and characterized by X ray diffraction, measurements of specific surface area, temperature programmed reduction and scanning electron microscopy. The materials heat treated at 550 and 750°C were tested in the partial oxidation of methane. The set of techniques revealed, for solid preparations, the presence of the phase of spinel-type structure with the NiCo2O4 NixCo1-xO solid solution. This solid solution was identified by Rietveld refinement at all temperatures of heat treatment. The catalyst precursors calcined at 550 and 750°C showed conversion levels around 25 and 75%, respectively. The reason H2/CO was around 2 to the precursor treated at 750°C, proposed reason for the reaction of partial oxidation of methane, one can conclude that this material can be shown to produce synthesis gas suitable for use in the synthesis Fischer-Tropsch process