5 resultados para Paraphrasing and plagiarism detection
em Universidade Federal do Rio Grande do Norte(UFRN)
Immunoexpression of integrins in ameloblastoma, adenomatoid odontogenic tumor, and human tooth germs
Resumo:
The expression of integrins alpha2beta1, alpha3beta1, and alpha5beta1 in 30 ameloblastomas (20 solid and 10 unicystic tumors), 12 adenomatoid odontogenic tumors (AOTs), and 5 human tooth germs in different stages of odontogenesis was analyzed. The distribution, location, pattern, and intensity of immunohistochemical expression were evaluated. Intensity was analyzed using scores (0 = absence, 1 = weak staining, and 2 = strong staining). No difference in the immunoexpression of the integrins was observed between solid and unicystic ameloblastomas. When these two ameloblastoma types were pooled into a single group, the following significant differences were found: immunoexpression of integrin alpha2beta1 was stronger in ameloblastomas than in AOTs and tooth germs, and the expression of integrin alpha5beta1 was stronger in ameloblastomas than in AOTs. The lack of detection of integrin alpha3beta1 in tooth germs and its detection in the odontogenic tumors studied suggest that this integrin might be used as a marker of neoplastic transformation in odontogenic tissues.
Immunoexpression of integrins in ameloblastoma, adenomatoid odontogenic tumor, and human tooth germs
Resumo:
The expression of integrins alpha2beta1, alpha3beta1, and alpha5beta1 in 30 ameloblastomas (20 solid and 10 unicystic tumors), 12 adenomatoid odontogenic tumors (AOTs), and 5 human tooth germs in different stages of odontogenesis was analyzed. The distribution, location, pattern, and intensity of immunohistochemical expression were evaluated. Intensity was analyzed using scores (0 = absence, 1 = weak staining, and 2 = strong staining). No difference in the immunoexpression of the integrins was observed between solid and unicystic ameloblastomas. When these two ameloblastoma types were pooled into a single group, the following significant differences were found: immunoexpression of integrin alpha2beta1 was stronger in ameloblastomas than in AOTs and tooth germs, and the expression of integrin alpha5beta1 was stronger in ameloblastomas than in AOTs. The lack of detection of integrin alpha3beta1 in tooth germs and its detection in the odontogenic tumors studied suggest that this integrin might be used as a marker of neoplastic transformation in odontogenic tissues.
Resumo:
This work presents the localization and path planning systems for two robots: a non-instrumented humanoid and a slave wheeled robot. The localization of wheeled robot is made using odometry information and landmark detection. These informations are fused using a Extended Kalman Filter. The relative position of humanoid is acquired fusing (using another Kalman Filter) the wheeled robot pose with the characteristics of the landmark on the back of humanoid. Knowing the wheeled robot position and the humanoid relative position in relation to it, we acquired the absolute position of humanoid. The path planning system was developed to provide the cooperative movement of the two robots,incorporating the visibility restrictions of the robotic system
Resumo:
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
Resumo:
In February 2011, the National Agency of Petroleum, Natural Gas and Biofuels (ANP) has published a new Technical Rules for Handling Land Pipeline Petroleum and Natural Gas Derivatives (RTDT). Among other things, the RTDT made compulsory the use of monitoring systems and leak detection in all onshore pipelines in the country. This document provides a study on the method for detection of transient pressure. The study was conducted on a industrial duct 16" diameter and 9.8 km long. The pipeline is fully pressurized and carries a multiphase mixture of crude oil, water and natural gas. For the study, was built an infrastructure for data acquisition and validation of detection algorithms. The system was designed with SCADA architecture. Piezoresistive sensors were installed at the ends of the duct and Digital Signal Processors (DSPs) were used for sampling, storage and processing of data. The study was based on simulations of leaks through valves and search for patterns that characterize the occurrence of such phenomena