Craqueamento térmico e termocatalítico do óleo de girassol (Hellianthus annus L.) sobre materiais micro e mesoporosos

Microporous materials zeolite type Beta and mesoporous type MCM-41 and AlMCM-41 were synthesized hydrothermally and characterized by methods of X-ray diffraction, Fourier transform infrared, scanning electron microscopy, surface acidity, nitrogen adsorption, thermal analysis TG / DTG. Also we performed a kinetic study of sunflower oil on micro and mesoporous catalysts. The microporous material zeolite beta showed a lower crystallinity due to the existence of smaller crystals and a larger number of structural defects. As for the mesoporous materials MCM-41 and AlMCM-41 samples showed formation of hexagonal one-dimensional structure. The study of kinetic behavior of sunflower oil with zeolite beta catalysts, AlMCM-41 and MCM-41 showed a lower activation energy in front of the energy of pure sunflower oil, mainly zeolite beta. In the thermal cracking and thermocatalytic of sunflower oil were obtained two liquid fractions containing an aqueous phase and another organic - organic liquid fraction (FLO). The FLO first collected in both the thermal cracking as the thermocatalytic, showed very high level of acidity, performed characterizations of physicochemical properties of the second fraction in accordance with the specifications of the ANP. The second FLO thermocatalytic collected in cracking of sunflower oil presented results in the range of diesel oil, introducing himself as a promising alternative for use as biofuel liquid similar to diesel, either instead or mixed with it

Estudo da descelularização tecidual na produção de arcabouços biológicos para enxertos

The regeneration of bone defects with loss of substance remains as a therapeutic challenge in the medical field. There are basically four types of grafts: autologous, allogenic, xenogenic and isogenic. It is a consensus that autologous bone is the most suitable material for this purpose, but there are limitations to its use, especially the insufficient amount in the donor. Surveys show that the components of the extracellular matrix (ECM) are generally conserved between different species and are well tolerated even in xenogenic recipient. Thus, several studies have been conducted in the search for a replacement for autogenous bone scaffold using the technique of decellularization. To obtain these scaffolds, tissue must undergo a process of cell removal that causes minimal adverse effects on the composition, biological activity and mechanical integrity of the remaining extracellular matrix. There is not, however, a conformity among researchers about the best protocol for decellularization, since each of these treatments interfere differently in biochemical composition, ultrastructure and mechanical properties of the extracellular matrix, affecting the type of immune response to the material. Further down the arsenal of research involving decellularization bone tissue represents another obstacle to the arrival of a consensus protocol. The present study aimed to evaluate the influence of decellularization methods in the production of biological scaffolds from skeletal organs of mice, for their use for grafting. This was a laboratory study, sequenced in two distinct stages. In the first phase 12 mice hemi-calvariae were evaluated, divided into three groups (n = 4) and submitted to three different decellularization protocols (SDS [group I], trypsin [Group II], Triton X-100 [Group III]). We tried to identify the one that promotes most efficient cell removal, simultaneously to the best structural preservation of the bone extracellular matrix. Therefore, we performed quantitative analysis of the number of remaining cells and descriptive analysis of the scaffolds, made possible by microscopy. In the second stage, a study was conducted to evaluate the in vitro adhesion of mice bone marrow mesenchymal cells, cultured on these scaffolds, previously decellularized. Through manual counting of cells on scaffolds there was a complete cell removal in Group II, Group I showed a practically complete cell removal, and Group III displayed cell remains. The findings allowed us to observe a significant difference only between Groups II and III (p = 0.042). Better maintenance of the collagen structure was obtained with Triton X-100, whereas the decellularization with Trypsin was responsible for the major structural changes in the scaffolds. After culture, the adhesion of mesenchymal cells was only observed in specimens deccelularized with Trypsin. Due to the potential for total removal of cells and the ability to allow adherence of these, the protocol based on the use of Trypsin (Group II) was considered the most suitable for use in future experiments involving bone grafting decellularized scaffolds

Uma abordagem sistemática para implementação, gerenciamento e customização de testes de linhas de produto de software

Through the adoption of the software product line (SPL) approach, several benefits are achieved when compared to the conventional development processes that are based on creating a single software system at a time. The process of developing a SPL differs from traditional software construction, since it has two essential phases: the domain engineering - when common and variables elements of the SPL are defined and implemented; and the application engineering - when one or more applications (specific products) are derived from the reuse of artifacts created in the domain engineering. The test activity is also fundamental and aims to detect defects in the artifacts produced in SPL development. However, the characteristics of an SPL bring new challenges to this activity that must be considered. Several approaches have been recently proposed for the testing process of product lines, but they have been shown limited and have only provided general guidelines. In addition, there is also a lack of tools to support the variability management and customization of automated case tests for SPLs. In this context, this dissertation has the goal of proposing a systematic approach to software product line testing. The approach offers: (i) automated SPL test strategies to be applied in the domain and application engineering, (ii) explicit guidelines to support the implementation and reuse of automated test cases at the unit, integration and system levels in domain and application engineering; and (iii) tooling support for automating the variability management and customization of test cases. The approach is evaluated through its application in a software product line for web systems. The results of this work have shown that the proposed approach can help the developers to deal with the challenges imposed by the characteristics of SPLs during the testing process

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

Apoiando a construção de testes de aceitação automatizados a partir da especificação de requisitos

Automation has become increasingly necessary during the software test process due to the high cost and time associated with such activity. Some tools have been proposed to automate the execution of Acceptance Tests in Web applications. However, many of them have important limitations such as the strong dependence on the structure of the HTML pages and the need of manual valuing of the test cases. In this work, we present a language for specifying acceptance test scenarios for Web applications called IFL4TCG and a tool that allows the generation of test cases from these scenarios. The proposed language supports the criterion of Equivalence Classes Partition and the tool allows the generation of test cases that meet different combination strategies (i.e., Each-Choice, Base-Choice and All Combinations). In order to evaluate the effectiveness of the proposed solution, we used the language and the associated tool for designing and executing Acceptance Tests on a module of Sistema Unificado de Administração Pública (SUAP) of Instituto Federal Rio Grande do Norte (IFRN). Four Systems Analysts and one Computer Technician, which work as developers of the that system, participated in the evaluation. Preliminary results showed that IFL4TCG can actually help to detect defects in Web applications

Comparação entre pericárdio bovino preservado em glicerina e malha de poliéster no reparo de falhas da parede abdominal em ratos

OBJETIVO: Comparar uma malha comercial de poliéster com o pericárdio bovino preservado em glicerina na reconstituição de defeitos da parede abdominal. MÉTODOS: Foram utilizados 30 ratos, divididos em dois grupos eqüitativos. Efetuou-se uma excisão retangular de 2,5 x 2 cm, incluindo toda a musculatura abdominal e peritônio. No grupo I a parede abdominal foi reparada com malha de poliéster e no grupo II com pericárdio bovino conservado em glicerina. Os animais foram sacrificados aos 15, 60 e 90 dias de pós-operatório, sendo o local cirúrgico avaliado macroscópica e histologicamente. RESULTADOS: Os animais do grupo I apresentaram aderências mais severas e em maior número quando comparados aos do grupo II; porém, sem comprometimento funcional. A análise histológica revelou incorporação dos tecidos aos implantes, com maior resposta fibroblástica nos animais do grupo I. CONCLUSÃO: A malha de poliéster oferece maior resistência estrutural e resposta fibroblástica mais intensa; contudo, promove grande quantidade de aderências às vísceras abdominais, quando comparada ao pericárdio bovino.

Uma abordagem para a verificação do comportamento excepcional a partir de regras de designe e testes

Checking the conformity between implementation and design rules in a system is an important activity to try to ensure that no degradation occurs between architectural patterns defined for the system and what is actually implemented in the source code. Especially in the case of systems which require a high level of reliability is important to define specific design rules for exceptional behavior. Such rules describe how exceptions should flow through the system by defining what elements are responsible for catching exceptions thrown by other system elements. However, current approaches to automatically check design rules do not provide suitable mechanisms to define and verify design rules related to the exception handling policy of applications. This paper proposes a practical approach to preserve the exceptional behavior of an application or family of applications, based on the definition and runtime automatic checking of design rules for exception handling of systems developed in Java or AspectJ. To support this approach was developed, in the context of this work, a tool called VITTAE (Verification and Information Tool to Analyze Exceptions) that extends the JUnit framework and allows automating test activities to exceptional design rules. We conducted a case study with the primary objective of evaluating the effectiveness of the proposed approach on a software product line. Besides this, an experiment was conducted that aimed to realize a comparative analysis between the proposed approach and an approach based on a tool called JUnitE, which also proposes to test the exception handling code using JUnit tests. The results showed how the exception handling design rules evolve along different versions of a system and that VITTAE can aid in the detection of defects in exception handling code

Avaliação da contribuição de desenvolvedores para projetos de software usando mineração de repositórios de software e mineração de processos

Software Repository Mining (MSR) is a research area that analyses software repositories in order to derive relevant information for the research and practice of software engineering. The main goal of repository mining is to extract static information from repositories (e.g. code repository or change requisition system) into valuable information providing a way to support the decision making of software projects. On the other hand, another research area called Process Mining (PM) aims to find the characteristics of the underlying process of business organizations, supporting the process improvement and documentation. Recent works have been doing several analyses through MSR and PM techniques: (i) to investigate the evolution of software projects; (ii) to understand the real underlying process of a project; and (iii) create defect prediction models. However, few research works have been focusing on analyzing the contributions of software developers by means of MSR and PM techniques. In this context, this dissertation proposes the development of two empirical studies of assessment of the contribution of software developers to an open-source and a commercial project using those techniques. The contributions of developers are assessed through three different perspectives: (i) buggy commits; (ii) the size of commits; and (iii) the most important bugs. For the opensource project 12.827 commits and 8.410 bugs have been analyzed while 4.663 commits and 1.898 bugs have been analyzed for the commercial project. Our results indicate that, for the open source project, the developers classified as core developers have contributed with more buggy commits (although they have contributed with the majority of commits), more code to the project (commit size) and more important bugs solved while the results could not indicate differences with statistical significance between developer groups for the commercial project

Hipotireoidismo congênito: recomendações do Departamento de Tireoide da Sociedade Brasileira de Endocrinologia e Metabologia

O hipotireoidismo congênito (HC) é o distúrbio endócrino congênito mais frequente, com incidência variando de 1:2.000 a 1:4.000 crianças nascidas vivas e uma das principais causas de retardo mental que pode ser prevenida. Os Programas de Triagem Neonatal para a doença permitem a identificação precoce dos afetados e seu tratamento de modo a evitar as complicações da falta do hormônio. A maioria dos casos de hipotireoidismo congênito é decorrente de disgenesias tireoidianas (85%), entre elas a ectopia, hipoplasia ou agenesia tireoidianas, e os demais resultam de defeitos de síntese hormonal. As crianças afetadas (> 95%) geralmente não apresentam sintomas sugestivos da doença ao nascimento. Os sintomas e sinais mais comuns são: icterícia neonatal prolongada, choro rouco, letargia, movimentos lentos, constipação, macroglossia, hérnia umbilical, fontanelas amplas, hipotonia e pele seca. Várias estratégias são utilizadas para a triagem do HC. No Brasil, esta é obrigatória por lei e geralmente é feita com a dosagem de TSH em sangue seco coletado do calcanhar. A idade recomendada para sua realização é após as 48 horas de vida até o quarto dia. A confirmação diagnóstica é obrigatória com as dosagens de TSH e T4 livre ou T4 total.

Nucleação de vortices e paredes de domínio em nanoestruturas magnéticas

We report a theoretical investigation of the magnetic phases and hysteresis of exchange biased ferromagnetic (F) nanoelements for three di erent systems: exchange biased nanoparticles, exchange biased narrow ferromagnetic stripes and exchange biased thin ferromagnetic lms. In all cases the focus is on the new e ects produced by suitable patterns of the exchange energy coupling the ferromagnetic nanoelement with a large anisotropy antiferromagnetic (AF) substrate. We investigate the hysteresis of iron and permalloy nanoparticles with a square basis, with lateral dimensions between 45 nm and 120 nm and thickness between 12 nm and 21 nm. Interface bias is aimed at producing large domains in thin lms. Our results show that, contrary to intuition, the interface exchange coupling may generate vortex states along the hysteresis loop. Also, the threshold value of the interface eld strength for vortex nucleation is smaller for iron nanoelements. We investigate the nucleation and depinning of an array of domain walls pinned at interface defects of a vicinal stripe/AF bilayer. The interface exchange eld displays a periodic pattern corresponding to the topology of the AF vicinal substrate. The vicinal AF substrate consists of a sequence of terraces, each with spins from one AF subalattice, alternating one another. As a result the interface eld of neighboring terraces point in opposite direction, leading to the nucleation of a sequence of domain walls in the ferromagnetic stripe. We investigated iron an permalloy micrometric stripes, with width ranging from 100 nm and 300 nm and thickness of 5 nm. We focused in domain wall sequences with same chirality and alternate chirality. We have found that for 100nm terraces the same chiraility sequence is more stable, requiring a larger value of the external eld for depinning. The third system consists of an iron lm with a thickness of 5 nm, exchange coupled to an AF substrate with a periodic distribution of islands where the AF spins have the opposite direction of the spins in the background. This corresponds to a two-sublattice noncompensated AF plane (such as the surface of a (100) FeF2 lm), with monolayer-height islands containing spins of one sublattice on a surface containing spins of the opposite sublattice. The interface eld acting in the ferromagnetic spins over the islands points in the opposite direction of that in the spins over the background. This a model system for the investigation of interface roughness e ects. We have studied the coercicivity an exchange bias hysteresis shift as a function of the distance between the islands and the degree of interface roughness. We have found a relevant reduction of coercivity for nearly compensated interfaces. Also the e ective hysteresis shift is not proportional to the liquid moment of the AF plane. We also developed an analytical model which reproduces qualitatively the results of numerical simulations

Você conhece esta síndrome?

A síndrome de Rothmund-Thomson é distúrbio autossômico recessivo de expressividade variável associado a mutações do gene RecQL4. Caracteriza-se por poiquilodermia, alopecia, defeitos de crescimento e desenvolvimento, catarata juvenil, alterações dentárias e esqueléticas e predisposição ao câncer cutâneo e ao osteossarcoma. Relata-se caso de paciente de 29 anos de idade com lesões cutâneas desde a infância, catarata bilateral antes dos 20 anos e carcinoma espinocelular aos 26 anos de idade.

Tratamento da úlcera corneana experimental com membrana amniótica

Objetivo: Avaliar a evolução da úlcera de córnea experimental tratada com enxerto de membrana amniótica (MA) homóloga. Métodos: Foram utilizados 18 coelhos, divididos em dois grupos experimentais: úlcera corneana (G1) e úlcera corneana tratada com enxerto de MA (G2). A ulceração corneana foi induzida na córnea toda, com álcool absoluto e lâmina de bisturi. Os animais foram sacrificados em três momentos experimentais: 7 dias (M1), 15 dias (M2) e 30 dias (M3) após a indução da ulceração. Os defeitos corneanos foram avaliados com fotodocumentação por analisador de imagem Luzex-F e exames histopatológicos, comparando-se os resultados por meio da análise de variância. Resultados: O resultado do exame morfométrico mostrou desepitelização maior em G2 no M1; a opacidade corneana foi mais intensa na área central da córnea, sendo significativamente maior em G1 no M3. Os neovasos corneanos também foram mais intensos em G1. A avaliação histopatológica revelou ulceração epitelial em dois animais de G1 no M2 e em dois de G2 no M1; o edema estromal foi mais intenso em G1, assim como a presença de neovasos. Conclusão: O uso de MA homóloga no tratamento da úlcera corneana experimental não acelerou a cicatrização, porém preveniu o edema estromal e a formação de neovascularização corneana. A cicatrização se mostrou mais deficiente na área central da córnea.

Ação neuro-muscular do veneno crotálico: dados preliminares

Estudamos 6 pacientes, 2 cães e um coelho com intoxicação crotálica. Avaliamos a condução nervosa periférica sensitiva e motora, a transmissão neuromuscular e eletromiografias. As biópsias de músculo foram processadas por histoquímica. Os 6 pacientes apresentaram mononeuropatia sensitiva no nervo periférico adjacente ao local da inoculação do veneno e encontramos evidências histoquímicas de miopatia mitocondrial. Os defeitos da transmissão neuromuscular foram mínimos. A maioria dos autores admite que veneno crotálico determina síndrome miastênica. Nossos achados indicam que ptose palpebral, facies miastênico e fraqueza muscular observados após acidente crotálico, correspondem provavelmente a miopatia mitocondrial, muitas vezes transitória e reversível.

Mistura de proteínas morfogenéticas ósseas, hidroxiapatita, osso inorgânico e colágeno envolta por membrana de pericárdio no preenchimento de defeito ósseo segmentar em coelhos

Avaliou-se o uso de biomaterial de origem bovina na regeneração de defeitos ósseos segmentares empregando-se 12 coelhos, fêmeas, da raça Norfolk, com idade de seis meses e pesos entre 3 e 4,5kg. Realizou-se falha segmentar bilateral de um centímetro de comprimento na diáfise do rádio, com inclusão do periósteo. No membro direito, o defeito foi delimitado por membrana de pericárdio liofilizada, contendo em seu interior mistura de proteínas morfogenéticas ósseas adsorvidas a hidroxiapatita, colágeno liofilizado e osso inorgânico. No membro esquerdo, o defeito não recebeu tratamento. Radiografias foram obtidas ao término do procedimento cirúrgico e aos sete, 30, 60, 90, 120 e 150 dias de pós-operatório. Após eutanásia de seis coelhos aos 60 dias e seis aos 150 dias de pós-cirúrgico, os resultados radiográficos e histológicos mostraram que a regeneração óssea foi inibida nos defeitos segmentares tratados com o biomaterial.

Histological and radiological changes in cranial bone in the presence of bone wax

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)