Caracterização molecular e laboratorial da talassemia beta e da interação hemoglobina s/talassemia beta

Beta thalassemia arises as a consequence of the reduction (β+, β++, βsilent) or absence (β0) of beta globin chain synthesis and results from a number of mechanisms that lead to genetic defects. The inheritance of beta thalassemia is characterized by the existence of heterozygous individuals, compound heterozygotes, homozygotes and those with coinheritance of beta thalassemia allele and other thalassemias and/or hemoglobin variants. The aim of this study was to perform molecular and laboratory characterization of beta thalassemia in heterozygous and homozygous individuals and in those with coinheritance of S beta thalassemia. A total of 48 individuals were included (35 heterozygotes, 4 homozygotes and 9 S beta thalessemia carriers) referred to the Integrated Laboratory of Clinical Analyses of the Federal University of Rio Grande do Norte (UFRN) and the Hematology Ambulatory Facility of the Dalton Barbosa Cunha Hemocenter (Hemonorte Natal, Brazil). Peripheral blood samples form each patient underwent the following laboratory examinations: erythrogram, hemoglobin electrophoresis at alkaline pH, measurements of Hb A2, Fetal Hb and serum ferritin. DNA was extracted using the illustra blood genomicPrep Mini Spin Kit and molecular characterization was performed by the PCR/RFLP technique, which involves digestion with specific restriction enzymes for IVS-1 nt 1 (G®A), IVS-1 nt 6 (T®C) and codon 39 (CAG®TAG) mutations. Of the 35 heterozygotes, 37.1% showed IVS-1 nt 6 mutation, 42.9% IVS-1 nt 1 and 20% were carriers of other mutations not identified by the technique used. The four homozygous patients presented with the IVS-1 nt 6 mutation, while 66.7% of the individuals with S beta thalassemia had the IVS-1 nt 1 mutation. Codon 39 was not detected in any of the patients investigated. Of the thallasemic alleles found, 40.4% were IVS- 1 nt 1, 40.4% IVS-1 nt 6 and 19.2% were not identified. Laboratory data showed that the heterozygotes exhibited microcytosis and hypochromia, evidenced by MCV ranging from 57 to 75fL and MCH from 15.9 to 23.6 pg. Hemoglobin A2 varied between 3.7 and 7.2%. The homogygotes also showed reduced MCV and MCH and elevated HbA2.. Comparison of laboratory data between heterozygous individuals with IVS-1 nt 1 and IVS-1 nt 6 mutations showed that heterozygotes for the IVS1-1 mutation had significantly lower mean MCV and MCH (p = 0.023 and 0.007, respectively) and significantly higher hemoglobin A2 (p < 0.001) when compared to heterozygotes for the IVS-1 nt 6 mutation. PCR/RFLP was useful in identifying the presence or absence of IVS-1 nt 6, IVS-1 nt 1 and codon 39 mutations in most of the patients investigated here. This is the first study conducted in the state of Rio Grande do Norte, Brazil aimed at identifying beta thalassemia mutations and represents an important contribution to the knowledge regarding the molecular profile of beta thalassemia in our country

Síntese e caracterização de zeólita beta hierarquizada e materiais híbridos micro-mesoporosos aplicados no craqueamento de PEAD

A catalyst of great interest to the scientific community tries to unite the structure of ordered pore diameter from mesoporous materials with the properties of stability and acid activity to microporous zeolites. Thus a large number of materials was developed in the past decades, which although being reported as zeolites intrinsically they fail to comply with some relevant characteristics to zeolites, and recently were named zeolitic materials of high accessibility. Among the various synthesis strategies employed, the present research approaches the synthesis methods of crystallization of silanized protozeolitic units and the method of protozeolitic units molded around surfactant micelles, in order for get materials defined as hierarchical zeolites and micro-mesoporous hybrid materials, respectively. As goal BEA/MCM-41 hybrid catalysts with bimodal pore structure formed by nuclei of zeolite Beta and cationic surfactant cetyltrimethylammonium were developed. As also was successfully synthesized the hierarchical Beta zeolite having a secondary porosity, in addition to the typical and uniform zeolite micropores. Both catalysts were applied in reactions of catalytic cracking of high density polyethylene (HDPE), to evaluate its properties in catalytic activity, aiming at the recycling of waste plastics to obtain high value-added raw materials and fuels. The BEA/MCM-41 hybrid materials with 0 days of pre-crystallization did not show enough properties for use in catalytic cracking reactions, but they showed superior catalytic properties compared to those ordered mesoporous materials of Al-MCM-41 type. The structure of Beta zeolite with hierarchical porosity leads the accessibility of HDPE bulky molecules to active centers, due to high external area. And provides higher conversion to hydrocarbons in the gasoline range, especially olefins which have great interest in the petrochemical industry

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