Computabilidade no espaço dos intervalos reais: um modelo BSS intervalar

A matemática intervalar é uma teoria matemática originada na década de 60 com o objetivo de responder questões de exatidão e eficiência que surgem na prática da computação científica e na resolução de problemas numéricos. As abordagens clássicas para teoria da computabilidade tratam com problemas discretos (por exemplo, sobre os números naturais, números inteiros, strings sobre um alfabeto finito, grafos, etc.). No entanto, campos da matemática pura e aplicada tratam com problemas envolvendo números reais e números complexos. Isto acontece, por exemplo, em análise numérica, sistemas dinâmicos, geometria computacional e teoria da otimização. Assim, uma abordagem computacional para problemas contínuos é desejável, ou ainda necessária, para tratar formalmente com computações analógicas e computações científicas em geral. Na literatura existem diferentes abordagens para a computabilidade nos números reais, mas, uma importante diferença entre estas abordagens está na maneira como é representado o número real. Existem basicamente duas linhas de estudo da computabilidade no contínuo. Na primeira delas uma aproximação da saída com precisão arbitrária é computada a partir de uma aproximação razoável da entrada [Bra95]. A outra linha de pesquisa para computabilidade real foi desenvolvida por Blum, Shub e Smale [BSS89]. Nesta aproximação, as chamadas máquinas BSS, um número real é visto como uma entidade acabada e as funções computáveis são geradas a partir de uma classe de funções básicas (numa maneira similar às funções parciais recursivas). Nesta dissertação estudaremos o modelo BSS, usado para se caracterizar uma teoria da computabilidade sobre os números reais e estenderemos este para se modelar a computabilidade no espaço dos intervalos reais. Assim, aqui veremos uma aproximação para computabilidade intervalar epistemologicamente diferente da estudada por Bedregal e Acióly [Bed96, BA97a, BA97b], na qual um intervalo real é visto como o limite de intervalos racionais, e a computabilidade de uma função intervalar real depende da computabilidade de uma função sobre os intervalos racionais

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

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.

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.

Fatores críticos de sucesso como antecedentes da aceitação de um sistema de informação em uma universidade federal

In recent decades the public sector comes under pressure in order to improve its performance. The use of Information Technology (IT) has been a tool increasingly used in reaching that goal. Thus, it has become an important issue in public organizations, particularly in institutions of higher education, determine which factors influence the acceptance and use of technology, impacting on the success of its implementation and the desired organizational results. The Technology Acceptance Model - TAM was used as the basis for this study and is based on the constructs perceived usefulness and perceived ease of use. However, when it comes to integrated management systems due to the complexity of its implementation,organizational factors were added to thus seek further explanation of the acceptance of such systems. Thus, added to the model five TAM constructs related to critical success factors in implementing ERP systems, they are: support of top management, communication, training, cooperation, and technological complexity (BUENO and SALMERON, 2008). Based on the foregoing, launches the following research problem: What factors influence the acceptance and use of SIE / module academic at the Federal University of Para, from the users' perception of teachers and technicians? The purpose of this study was to identify the influence of organizational factors, and behavioral antecedents of behavioral intention to use the SIE / module academic UFPA in the perspective of teachers and technical users. This is applied research, exploratory and descriptive, quantitative with the implementation of a survey, and data collection occurred through a structured questionnaire applied to a sample of 229 teachers and 30 technical and administrative staff. Data analysis was carried out through descriptive statistics and structural equation modeling with the technique of partial least squares (PLS). Effected primarily to assess the measurement model, which were verified reliability, convergent and discriminant validity for all indicators and constructs. Then the structural model was analyzed using the bootstrap resampling technique like. In assessing statistical significance, all hypotheses were supported. The coefficient of determination (R ²) was high or average in five of the six endogenous variables, so the model explains 47.3% of the variation in behavioral intention. It is noteworthy that among the antecedents of behavioral intention (BI) analyzed in this study, perceived usefulness is the variable that has a greater effect on behavioral intention, followed by ease of use (PEU) and attitude (AT). Among the organizational aspects (critical success factors) studied technological complexity (TC) and training (ERT) were those with greatest effect on behavioral intention to use, although these effects were lower than those produced by behavioral factors (originating from TAM). It is pointed out further that the support of senior management (TMS) showed, among all variables, the least effect on the intention to use (BI) and was followed by communications (COM) and cooperation (CO), which exert a low effect on behavioral intention (BI). Therefore, as other studies on the TAM constructs were adequate for the present research. Thus, the study contributed towards proving evidence that the Technology Acceptance Model can be applied to predict the acceptance of integrated management systems, even in public. Keywords: Technology

Crenças normativas e comportamentais e suas influências na intenção de adoção de um sistema de informação: um estudo na área de compras da UFPA

The study aims to identify the factors that influence the behavior intention to adopt an academic Information System (SIE), in an environment of mandatory use, applied in the procurement process at the Federal University of Pará (UFPA). For this, it was used a model of innovation adoption and technology acceptance (TAM), focused in attitudes and intentions regarding the behavior intention. The research was conducted a quantitative survey, through survey in a sample of 96 administrative staff of the researched institution. For data analysis, it was used structural equation modeling (SEM), using the partial least squares method (Partial Least Square PLS-PM). As to results, the constructs attitude and subjective norms were confirmed as strong predictors of behavioral intention in a pre-adoption stage. Despite the use of SIE is required, the perceived voluntariness also predicts the behavior intention. Regarding attitude, classical variables of TAM, like as ease of use and perceived usefulness, appear as the main influence of attitude towards the system. It is hoped that the results of this study may provide subsidies for more efficient management of the process of implementing systems and information technologies, particularly in public universities