Certificação de composições de serviços web semânticos

This thesis presents a certification method for semantic web services compositions which aims to statically ensure its functional correctness. Certification method encompasses two dimensions of verification, termed base and functional dimensions. Base dimension concerns with the verification of application correctness of the semantic web service in the composition, i.e., to ensure that each service invocation given in the composition comply with its respective service definition. The certification of this dimension exploits the semantic compatibility between the invocation arguments and formal parameters of the semantic web service. Functional dimension aims to ensure that the composition satisfies a given specification expressed in the form of preconditions and postconditions. This dimension is formalized by a Hoare logic based calculus. Partial correctness specifications involving compositions of semantic web services can be derived from the deductive system proposed. Our work is also characterized by exploiting the use of a fragment of description logic, i.e., ALC, to express the partial correctness specifications. In order to operationalize the proposed certification method, we developed a supporting environment for defining the semantic web services compositions as well as to conduct the certification process. The certification method were experimentally evaluated by applying it in three different proof concepts. These proof concepts enabled to broadly evaluate the method certification

Análise da dinâmica deposicional das praias de Cacimbinha e do Madeiro, Tibau do Sul-RN, Brasil

The Cacimbinha and Madeiro beaches are located in the eastern coast of Rio Grande do Norte state, in the municipality of Tibau do Sul. Given the indicative of erosion in the coast of this district and the coastal processes acting on the beaches, the global aim of this project is comprehend the evolution of depositional environment on the Cacimbinha beach, moreover, the project seeks to characterize deposits from the Cacimbinha and Madeiro beaches, according to the geomorphologic compartments identified on these beaches; distinguish the coastal features which possibly interact with the Cacimbinha beach; identify the potential relationship between the sediments from the coastal features and the deposits from Cacimbinha beach; understand which depositional processes that prevail at each facies deposited on the beach; and identify the probable sedimentary environments and its energy of deposition through of the materials recorded on the Cacimbinha beach. This study was based on previous bibliographic and field research, both guided by academic works, laws, concepts and theories concerning the physical geography, geomorphology of the quaternary, sedimentary geology and stratigraphy. Thus, the methodology was divided in three steps: Prefield step: office work was performed; Field step: Sampling of facies of sedimentation; PosField step: analysis and integration of data obtained during the research period. Thus, the results showed deposicional facies with distinguished energy in the relief compartments, beach and terrace. After the sedimentary analysis and its interpretation linked to the architecture of the mounted sections based on drilling, it became possible to trace the evolutionary history of this stretch of beach. Therefore, it can be stated that studies performed on coastal areas are of great importance, as long as, around the world, the most part of urban zones are seated on deposits of quaternary age and, then this work improve the knowledge regarding the sedimentary dynamics of this beach, becoming scientific support for management and planning of this area which focus on, mainly, the foreign tourism

Sobre a integração indefinida de funções racionais complexas: teoria e implementação de algoritmos racionais

We present indefinite integration algorithms for rational functions over subfields of the complex numbers, through an algebraic approach. We study the local algorithm of Bernoulli and rational algorithms for the class of functions in concern, namely, the algorithms of Hermite; Horowitz-Ostrogradsky; Rothstein-Trager and Lazard-Rioboo-Trager. We also study the algorithm of Rioboo for conversion of logarithms involving complex extensions into real arctangent functions, when these logarithms arise from the integration of rational functions with real coefficients. We conclude presenting pseudocodes and codes for implementation in the software Maxima concerning the algorithms studied in this work, as well as to algorithms for polynomial gcd computation; partial fraction decomposition; squarefree factorization; subresultant computation, among other side algorithms for the work. We also present the algorithm of Zeilberger-Almkvist for integration of hyperexpontential functions, as well as its pseudocode and code for Maxima. As an alternative for the algorithms of Rothstein-Trager and Lazard-Rioboo-Trager, we yet present a code for Benoulli’s algorithm for square-free denominators; and another for Czichowski’s algorithm, although this one is not studied in detail in the present work, due to the theoretical basis necessary to understand it, which is beyond this work’s scope. Several examples are provided in order to illustrate the working of the integration algorithms in this text

Degradação fotocatalítica oxidativa do fenol utilizando carvão obtido da pirólise de diferentes biomassas

The modern industrial progress has been contaminating water with phenolic compounds. These are toxic and carcinogenic substances and it is essential to reduce its concentration in water to a tolerable one, determined by CONAMA, in order to protect the living organisms. In this context, this work focuses on the treatment and characterization of catalysts derived from the bio-coal, by-product of biomass pyrolysis (avelós and wood dust) as well as its evaluation in the phenol photocatalytic degradation reaction. Assays were carried out in a slurry bed reactor, which enables instantaneous measurements of temperature, pH and dissolved oxygen. The experiments were performed in the following operating conditions: temperature of 50 °C, oxygen flow equals to 410 mL min-1 , volume of reagent solution equals to 3.2 L, 400 W UV lamp, at 1 atm pressure, with a 2 hours run. The parameters evaluated were the pH (3.0, 6.9 and 10.7), initial concentration of commercial phenol (250, 500 and 1000 ppm), catalyst concentration (0, 1, 2, and 3 g L-1 ), nature of the catalyst (activated avelós carbon washed with dichloromethane, CAADCM, and CMADCM, activated dust wood carbon washed with dichloromethane). The results of XRF, XRD and BET confirmed the presence of iron and potassium in satisfactory amounts to the CAADCM catalyst and on a reduced amount to CMADCM catalyst, and also the surface area increase of the materials after a chemical and physical activation. The phenol degradation curves indicate that pH has a significant effect on the phenol conversion, showing better results for lowers pH. The optimum concentration of catalyst is observed equals to 1 g L-1 , and the increase of the initial phenol concentration exerts a negative influence in the reaction execution. It was also observed positive effect of the presence of iron and potassium in the catalyst structure: betters conversions were observed for tests conducted with the catalyst CAADCM compared to CMADCM catalyst under the same conditions. The higher conversion was achieved for the test carried out at acid pH (3.0) with an initial concentration of phenol at 250 ppm catalyst in the presence of CAADCM at 1 g L-1 . The liquid samples taken every 15 minutes were analyzed by liquid chromatography identifying and quantifying hydroquinone, p-benzoquinone, catechol and maleic acid. Finally, a reaction mechanism is proposed, cogitating the phenol is transformed into the homogeneous phase and the others react on the catalyst surface. Applying the model of Langmuir-Hinshelwood along with a mass balance it was obtained a system of differential equations that were solved using the Runge-Kutta 4th order method associated with a optimization routine called SWARM (particle swarm) aiming to minimize the least square objective function for obtaining the kinetic and adsorption parameters. Related to the kinetic rate constant, it was obtained a magnitude of 10-3 for the phenol degradation, 10-4 to 10-2 for forming the acids, 10-6 to 10-9 for the mineralization of quinones (hydroquinone, p-benzoquinone and catechol), 10-3 to 10-2 for the mineralization of acids.

Prótese parcial removível retida por implantes: relato de caso

A ausência de dentes posteriores inferiores representa dificuldades no planejamento e controle de próteses parciais removíveis, pois o suporte é proporcionado por dentes e mucosa, que apresentam características anatômicas diferentes. O planejamento de próteses parciais removíveis apoiadas sobre implantes na região distal torna a prótese dento-implanto-suportada e não dento-muco-suportada sendo, uma opção aos casos de extremidade livre. Por meio deste relato de caso, um paciente portador de arco classe II de Kennedy foi reabilitado com prótese parcial removível apoiada sobre implante na região distal. A colocação do implante resultou em uma oclusão mais estável, o que melhorou a funcionalidade da prótese e proporcionou maior conforto ao paciente. Observou-se que esta resolução pode ser uma alternativa viável de tratamento, pois apresenta custo reduzido em relação à prótese fixa sobre implantes, entretanto, requer um acompanhamento em longo prazo com uma série de casos para tornar-se um método rotineiro de tratamento.

Prótese parcial removível retida por implantes: relato de caso

A ausência de dentes posteriores inferiores representa dificuldades no planejamento e controle de próteses parciais removíveis, pois o suporte é proporcionado por dentes e mucosa, que apresentam características anatômicas diferentes. O planejamento de próteses parciais removíveis apoiadas sobre implantes na região distal torna a prótese dento-implanto-suportada e não dento-muco-suportada sendo, uma opção aos casos de extremidade livre. Por meio deste relato de caso, um paciente portador de arco classe II de Kennedy foi reabilitado com prótese parcial removível apoiada sobre implante na região distal. A colocação do implante resultou em uma oclusão mais estável, o que melhorou a funcionalidade da prótese e proporcionou maior conforto ao paciente. Observou-se que esta resolução pode ser uma alternativa viável de tratamento, pois apresenta custo reduzido em relação à prótese fixa sobre implantes, entretanto, requer um acompanhamento em longo prazo com uma série de casos para tornar-se um método rotineiro de tratamento.

Reabilitação Oclusal com Prótese Parcial Removível Provisória Tipo “Overlay” – Relato de Caso

An appropriate design of a prosthetic rehabilitation should not impute the restoration of occlusal vertical dimension (OVD) to new prostheses, at the risk of the patient does not adapt to a new condition, since a certain amount of time is often necessary for adaptation to a new OVD. This article performed prosthetic rehabilitation with an overlay provisional removable partial denture prior to definitive treatment because the patient showed a considerable decrease in the OVD. Three techniques for OVD determination were used. It is possible to conclude that the use of interim removable partial dentures is of great importance at the beginning of the rehabilitation treatment in order to adapt the patient to a new occlusal condition.

Reabilitação Oclusal com Prótese Parcial Removível Provisória Tipo “Overlay” – Relato de Caso

An appropriate design of a prosthetic rehabilitation should not impute the restoration of occlusal vertical dimension (OVD) to new prostheses, at the risk of the patient does not adapt to a new condition, since a certain amount of time is often necessary for adaptation to a new OVD. This article performed prosthetic rehabilitation with an overlay provisional removable partial denture prior to definitive treatment because the patient showed a considerable decrease in the OVD. Three techniques for OVD determination were used. It is possible to conclude that the use of interim removable partial dentures is of great importance at the beginning of the rehabilitation treatment in order to adapt the patient to a new occlusal condition.

Utilização do titâneo na confecção de estruturas metálicas em prótese parcial removível

Due to properties such as excellent biocompatibility, high resistance to corrosion and low specific weight, titanium has been considered a material of great interest for Dentistry. It has been widely used in implants and orthognathic surgeries. Recently, titanium has been seen as a feasible alternative for the fabrication of removable partial denture frameworks, either in pure titanium (99.75%) or in titanium alloy forms (Ti-6Al-4V; Ti-6A1-7Nb). Based on a review of the literature, this work studied the use of titanium for the fabrication of removable partial denture frameworks, focusing on its advantages and disadvantages as well as its characteristics. It was concluded that the use of titanium is a convenient option for partially edentulous arches rehabilitation with quite satisfactory and promising clinical results. However, the need for highly-equipped laboratories increases the cost, preventing its large scale use.

Utilização do titâneo na confecção de estruturas metálicas em prótese parcial removível

Due to properties such as excellent biocompatibility, high resistance to corrosion and low specific weight, titanium has been considered a material of great interest for Dentistry. It has been widely used in implants and orthognathic surgeries. Recently, titanium has been seen as a feasible alternative for the fabrication of removable partial denture frameworks, either in pure titanium (99.75%) or in titanium alloy forms (Ti-6Al-4V; Ti-6A1-7Nb). Based on a review of the literature, this work studied the use of titanium for the fabrication of removable partial denture frameworks, focusing on its advantages and disadvantages as well as its characteristics. It was concluded that the use of titanium is a convenient option for partially edentulous arches rehabilitation with quite satisfactory and promising clinical results. However, the need for highly-equipped laboratories increases the cost, preventing its large scale use.

Avaliação do desempenho da paligorsquita modificada e do carvão da pirólise do lodo de esgoto no processo de degradação fotocatalítica do fenol

The uncontrolled disposal of wastewaters containing phenolic compounds by the industry has caused irreversible damage to the environment. Because of this, it is now mandatory to develop new methods to treat these effluents before they are disposed of. One of the most promising and low cost approaches is the degradation of phenolic compounds via photocatalysis. This work, in particular, has as the main goal, the customization of a bench scale photoreactor and the preparation of catalysts via utilization of char originated from the fast pyrolysis of sewage sludge. The experiments were carried out at constant temperature (50°C) under oxygen (410, 515, 650 and 750 ml min-1). The reaction took place in the liquid phase (3.4 liters), where the catalyst concentration was 1g L-1 and the initial concentration of phenol was 500 mg L-1 and the reaction time was set to 3 hours. A 400 W lamp was adapted to the reactor. The flow of oxygen was optimized to 650 ml min-1. The pH of the liquid and the nature of the catalyst (acidified and calcined palygorskite, palygorskite impregnated with 3.8% Fe and the pyrolysis char) were investigated. The catalytic materials were characterized by XRD, XRF, and BET. In the process of photocatalytic degradation of phenol, the results showed that the pH has a significant influence on the phenol conversion, with best results for pH equal to 5.5. The phenol conversion ranged from 51.78% for the char sewage sludge to 58.02% (for palygorskite acidified calcined). Liquid samples analyzed by liquid chromatography and the following compounds were identified: hydroquinone, catechol and maleic acid. A mechanism of the reaction was proposed, whereas the phenol is transformed into the homogeneous phase and the others react on the catalyst surface. For the latter, the Langmuir-Hinshelwood model was applied, whose mass balances led to a system of differential equations and these were solved using numerical methods in order to get estimates for the kinetic and adsorption parameters. The model was adjusted satisfactorily to the experimental results. From the proposed mechanism and the operating conditions used in this study, the most favored step, regardless of the catalyst, was the acid group (originated from quinone compounds), being transformed into CO2 and water, whose rate constant k4 presented value of 0.578 mol L-1 min-1 for acidified calcined palygorskite, 0.472 mol L-1 min-1 for Fe2O3/palygorskite and 1.276 mol L-1 min-1 for the sludge to char, the latter being the best catalyst for mineralization of acid to CO2 and water. The quinones were adsorbed to the acidic sites of the calcined palygorskite and Fe2O3/palygorskite whose adsorption constants were similar (~ 4.45 L mol-1) and higher than that of the sewage sludge char (3.77 L mol-1).

Avaliação do desempenho da paligorsquita modificada e do carvão da pirólise do lodo de esgoto no processo de degradação fotocatalítica do fenol

The uncontrolled disposal of wastewaters containing phenolic compounds by the industry has caused irreversible damage to the environment. Because of this, it is now mandatory to develop new methods to treat these effluents before they are disposed of. One of the most promising and low cost approaches is the degradation of phenolic compounds via photocatalysis. This work, in particular, has as the main goal, the customization of a bench scale photoreactor and the preparation of catalysts via utilization of char originated from the fast pyrolysis of sewage sludge. The experiments were carried out at constant temperature (50°C) under oxygen (410, 515, 650 and 750 ml min-1). The reaction took place in the liquid phase (3.4 liters), where the catalyst concentration was 1g L-1 and the initial concentration of phenol was 500 mg L-1 and the reaction time was set to 3 hours. A 400 W lamp was adapted to the reactor. The flow of oxygen was optimized to 650 ml min-1. The pH of the liquid and the nature of the catalyst (acidified and calcined palygorskite, palygorskite impregnated with 3.8% Fe and the pyrolysis char) were investigated. The catalytic materials were characterized by XRD, XRF, and BET. In the process of photocatalytic degradation of phenol, the results showed that the pH has a significant influence on the phenol conversion, with best results for pH equal to 5.5. The phenol conversion ranged from 51.78% for the char sewage sludge to 58.02% (for palygorskite acidified calcined). Liquid samples analyzed by liquid chromatography and the following compounds were identified: hydroquinone, catechol and maleic acid. A mechanism of the reaction was proposed, whereas the phenol is transformed into the homogeneous phase and the others react on the catalyst surface. For the latter, the Langmuir-Hinshelwood model was applied, whose mass balances led to a system of differential equations and these were solved using numerical methods in order to get estimates for the kinetic and adsorption parameters. The model was adjusted satisfactorily to the experimental results. From the proposed mechanism and the operating conditions used in this study, the most favored step, regardless of the catalyst, was the acid group (originated from quinone compounds), being transformed into CO2 and water, whose rate constant k4 presented value of 0.578 mol L-1 min-1 for acidified calcined palygorskite, 0.472 mol L-1 min-1 for Fe2O3/palygorskite and 1.276 mol L-1 min-1 for the sludge to char, the latter being the best catalyst for mineralization of acid to CO2 and water. The quinones were adsorbed to the acidic sites of the calcined palygorskite and Fe2O3/palygorskite whose adsorption constants were similar (~ 4.45 L mol-1) and higher than that of the sewage sludge char (3.77 L mol-1).

Study of porcelain-zirconia composites for dental applications

Materiais compósitos restauradores representam um dos mais bem sucedidos biomateriais na pesquisa moderna, na substituição do tecido biológico em aparência e função. Nesta linha, a porcelana feldspática tem sido largamente usada em odontologia devido suas interessantes qualidades como estabilidade de cor, propriedades estéticas, elevada durabilidade mecânica, biocompatibilidade, baixa condutividade térmica e elevada resistência ao desgaste. Entretanto, este material é frágil e pode falhar em ambiente oral devido ao micro-vazamento, baixa resistência à tração, descolagem ou fratura. Assim, para melhorar as propriedades mecânicas da porcelana, a zircônia parcialmente estabilizada com Ítria (Y-TZP) pode ser uma boa alternativa para fortalecer e produzir infraestruturas totalmente cerâmicas (coroas e próteses parciais fixas). Portanto, este estudo tem por objetivo avaliar as propriedades mecânicas e características microestruturais da porcelana reforçada com zircônia (3Y-TZP) em diferentes conteúdos e as variáveis que afetam as propriedades mecânicas destes materiais. O estudo de caracterização revelou que a zircônia comercial apresenta melhores resultados quando comparada com a zircônia sintetizada pelo CPM. Assim, os estudos seguintes utilizaram a zircônia comercial para todos os testes requeridos. As partículas de zircônia apresentam elevadas propriedades mecânicas quando comparadas a zircônia aglomerada. Os diferentes conteúdos revelam que as propriedades mecânicas dos compósitos aumentam com o aumento do conteúdo volumétrico até 30% vol.% (198,5Mpa), ou seja, maior resistência à flexão quando comparada com os outros compósitos. Do mesmo modo, a resistência ao desgaste para os compósitos com (30%, vol.% de zircônia) apresenta valores superiores quando comparado aos demais compósitos. Na adesão cerâmico-cerâmico a porcelana exibe elevada adesão para a superfície de zircônia porosa quando comparada a superfície rugosa. Os furos superficiais (PZ) e aplicação de compósitos com camada intermediária (RZI) na zircônia causam separadamente uma melhoria da resistência ao cisalhamento da zircônia-porcelana quando comparados as amostras convencionais de zircônia-porcelana (RZ), embora não sejam estatisticamente significativas (p>0.05). A presença de uma camada intermediaria produz um aumento significativo na força de ligação (~55%) em relação as amostras convencionais (RZ). Portanto, a correta a correta configuração e tratamento superficial podem produzir subestruturas com qualidade e força de ligação adequadas aos requisitos odontológicos.

Protocolo clínico para confecção de próteses removíveis

Este protocolo objetiva esclarecer dúvidas existentes a respeito dos passos necessários para a reabilitação com próteses totais e parciais removíveis convencionais. Essas alternativas de tratamento são modalidades terapêuticas consagradas na literatura e podem devolver função mastigatória, estética, fonação e conforto ao paciente quando confeccionadas de maneira satisfatória. Elas representam também uma ótima opção para aqueles pacientes que não podem se submeter ao tratamento com implantes, por apresentarem limitações biológicas ou financeiras. A abordagem do protocolo clínico está dividida em duas partes. A primeira parte ilustra a reabilitação com próteses totais convencionais e a segunda, a reabilitação com próteses parciais removíveis convencionais em arcos inferiores com extremidade livre bilateral. Por meio da demonstração do passo a passo com fotos, dicas clínicas e resumos sistemáticos do conteúdo teórico contido nesse material, o aluno de Odontologia e o cirurgião-dentista poderão conhecer os passos necessários para executar estes tipos de reabilitações, desde o momento clínico de diagnóstico até o de controle e manutenção. Esperamos que essa obra desperte o interesse dos cirurgiões-dentistas por executar esses tipos de próteses e que os ajude a desenvolverem práticas e habilidades que melhorem o desempenho clínico dessas alternativas de tratamento.

Protocolo clínico para confecção de próteses removíveis

Este protocolo objetiva esclarecer dúvidas existentes a respeito dos passos necessários para a reabilitação com próteses totais e parciais removíveis convencionais. Essas alternativas de tratamento são modalidades terapêuticas consagradas na literatura e podem devolver função mastigatória, estética, fonação e conforto ao paciente quando confeccionadas de maneira satisfatória. Elas representam também uma ótima opção para aqueles pacientes que não podem se submeter ao tratamento com implantes, por apresentarem limitações biológicas ou financeiras. A abordagem do protocolo clínico está dividida em duas partes. A primeira parte ilustra a reabilitação com próteses totais convencionais e a segunda, a reabilitação com próteses parciais removíveis convencionais em arcos inferiores com extremidade livre bilateral. Por meio da demonstração do passo a passo com fotos, dicas clínicas e resumos sistemáticos do conteúdo teórico contido nesse material, o aluno de Odontologia e o cirurgião-dentista poderão conhecer os passos necessários para executar estes tipos de reabilitações, desde o momento clínico de diagnóstico até o de controle e manutenção. Esperamos que essa obra desperte o interesse dos cirurgiões-dentistas por executar esses tipos de próteses e que os ajude a desenvolverem práticas e habilidades que melhorem o desempenho clínico dessas alternativas de tratamento.