Estudo do efeito de pausas introduzidas em testes de fadiga de amplitude variável.

É muito importante para a indústria fornecer produtos competitivos e que exerçam corretamente as suas funções perante o cliente. Uma das ferramentas existentes para atingir estes objetivos é a realização de testes de fadiga e durabilidade cada vez mais refinados e em espaço mais curto de tempo. Uma das maneiras de se executar testes de fadiga mais precisos é utilizando parâmetros que sejam fiéis à solicitação que o produto sofre durante o seu uso. Com esse intuito surgiram os testes de fadiga sob amplitude variável. Juntamente com eles surgem as particularidades deste tipo de solicitação, que é de natureza complexa. Algumas particularidades são a dependência do resultado na história de carregamento (também chamada de \"interação de cargas\") e a variação abrupta do nível de carga durante o tempo de aplicação. Fenômenos estes chamados de sobrecarga ou subcarga (overload e underload), que aqui serão agrupados, muitas vezes de forma simplista, de perturbações no espectro de fadiga. A finalidade principal deste trabalho é descrever a influência das perturbações ocorridas nas solicitações nos testes de fadiga em regime de amplitude variável, mais precisamente em testes de bancada, em que se busca a reprodução de situações de trabalho reais de um componente. Apesar de esse assunto ser alvo de diversas investigações recentes, nenhum trabalho tem como foco a influência das paradas (completa remoção de carga) realizadas durante um teste de fadiga acelerado. Essas paradas são extremamente comuns na prática laboratorial, seja por manutenção do equipamento, inspeção da amostra ou necessidade de operação. O objeto alvo de estudo nesta pesquisa é um suporte metálico de buzina, utilizado em automóveis de passeio. Apesar de sua concepção simples, tal componente é responsável por exercer funções importantes e é sujeito a uma interessante gama de solicitações. Como resultado observou-se que a aplicação das paradas durante os testes de fadiga simulados no componente automotivo, provoca variações em sua vida útil total. E o tempo de parada também exerce influência nesta variação observada. Essas paradas não se encaixam perfeitamente nas classificações de perturbações no espectro registradas na literatura. Por esse motivo o trabalho se propõe ainda a sintetizar e uniformizar a terminologia para as variações abruptas de tensão aplicadas no tempo (as sobrecargas e as subcargas), tendo em vista que ocorre a falta de consenso entre os termos utilizados atualmente na literatura e seus respectivos conceitos.

Estudo da viabilidade para introduzir na rotina testes de diagnóstico para infecção respiratória aguda

Para avaliar os benefícios da comunicação rápida ao clínico do diagnóstico de vírus respiratórios, foi analisado a viabilidade econômica de 2 testes, com o tempo de entrega de resultado em 2 horas para teste rápido e 48 horas para Biologia Molecular. As amostras coletadas foram processadas utilizando técnicas convencionais e os testes disponíveis no mercado local. Foram escolhidos dois testes rápidos pelo método de imunocromatografia para quatro parâmetros analíticos: Influenza A, Influenza H1N1, Influenza B e Vírus Sincicial Respiratório (RSV) e em Biologia Molecular um teste de RT-PCR multiplex com 25 patógenos entre vírus e bactérias. O tipo de amostra utilizada foi swab e lavado de nasofaringe. A população escolhida para o estudo foi paciente adulto, em tratamento de câncer, que necessita de uma resposta rápida já que a maioria se encontra com comprometimento do sistema imune por doença ou por tratamento. O estudo foi transversal, realizado entre os anos de 2012 e 2013, para avaliar a viabilidade econômica da introdução de testes de diagnóstico da infecção respiratória aguda de etiologia viral a partir de amostras de nasofaringe em pacientes com câncer atendidos no Centro de Atendimento de Oncologia Intercorrência (CAIO ), do Instituto do Câncer do Estado de São Paulo (ICESP), hospital público que atende exclusivamente Sistema Único de Saúde (SUS) e Hospital A.C. Camargo, que atende tanto a pacientes do SUS como da rede privada. O estudo incluiu 152 pacientes em tratamento para qualquer tipo de câncer, predominantemente do sexo feminino (81 mulheres e 70 homens) com idades entre 18-86 anos. Para participar do estudo o paciente era consultado e o critério para escolha do paciente foi ser portador de câncer, com história de febre (ainda que referida) acompanhada de tosse ou dor de garganta, tosse e sintomas respiratórios agudos, atendidos por protocolo padronizado que inclui avaliação na admissão, seguimento e manejo antimicrobiano. Para a avaliação econômica os pacientes foram classificados de acordo com o estado geral de saúde, se apresentavam bom estado de estado de saúde poderiam receber alta e faziam uso da medicação em casa evitando 5 dias de internação se recebessem algum resultado para Influenza ou RSV, no entanto os pacientes que apresentavam outro vírus, resultado negativo ou o estado geral era ruim permaneciam internados por 7 dias em observação e cuidados com medicação adequada. Foram realizadas análises econômicas em dois âmbitos: o sistema de saúde publico e o privado considerando o fator diminuição de dias de internação. A analise de Custo-benefício foi eficiente no Sistema privado mas inadequada para o SUS assim como, qualquer outra medida monetária já que os valores de reembolso do SUS estão defasados do custo de qualquer internação. A análise de Custo-efetividade que olha para outros fatores além do monetário foi efetiva nos dois sistemas que enfrentam falta de leitos além da condição de saúde do paciente de evitar a ingestão desnecessária de antibióticos, evitar os gastos do acompanhante, perda de dias de trabalho e estudo. Não houve correspondência de resultados dos testes rápidos com o multiplex de Biologia Molecular

Models and methods for the direct simulation of rough and micropatterned surfaces

Friction in hydrodynamic bearings are a major source of losses in car engines ([69]). The extreme loading conditions in those bearings lead to contact between the matching surfaces. In such conditions not only the overall geometry of the bearing is relevant, but also the small-scale topography of the surface determines the bearing performance. The possibility of shaping the surface of lubricated bearings down to the micrometer ([57]) opened the question of whether friction can be reduced by mean of micro-textures, with mixed results. This work focuses in the development of efficient numerical methods to solve thin film (lubrication) problems down to the roughness scale of measured surfaces. Due to the high velocities and the convergent-divergent geometries of hydrodynamic bearings, cavitation takes place. To treat cavitation in the lubrication problem the Elrod- Adams model is used, a mass-conserving model which has proven in careful numerical ([12]) and experimental ([119]) tests to be essential to obtain physically meaningful results. Another relevant aspect of the modeling is that the bearing inertial effects are considered, which is necessary to correctly simulate moving textures. As an application, the effects of micro-texturing the moving surface of the bearing were studied. Realistic values are assumed for the physical parameters defining the problems. Extensive fundamental studies were carried out in the hydrodynamic lubrication regime. Mesh-converged simulations considering the topography of real measured surfaces were also run, and the validity of the lubrication approximation was assessed for such rough surfaces.

Diversidade e desigualdades em empresas brasileiras: um estudo por meio do relatório de sustentabilidade GRI

A diversidade organizacional está contida na dimensão social da sustentabilidade e diz respeito à heterogeneidade de raças, gêneros, idades e habilidades físicas, dentre outros aspectos, das pessoas que compõem as organizações. A gestão da diversidade organizacional impõe desafios às empresas, podendo gerar desigualdades. Uma das formas de divulgação de indicadores sociais é a publicação de relatórios de sustentabilidade, sendo que o mais reconhecido mundialmente e no Brasil é o Global Reporting Initiative (GRI). Assim sendo, o objetivo desta pesquisa foi identificar a diversidade e possíveis desigualdades de gêneros, raças, gerações e pessoas com deficiências nas empresas brasileiras que reportaram o relatório de sustentabilidade GRI, entre 2009 e 2013. Para alcançar tal objetivo, as variáveis foram definidas com base na literatura e em indicadores de diversidade do GRI e a coleta de dados se deu por meio do acesso aos relatórios GRI publicados no Brasil em um período de cinco anos. Para verificação das hipóteses, foram utilizados testes estatísticos não paramétricos e medidas de tendência central (média e mediana). Os resultados mostraram que as empresas analisadas possuíam, em seus quadros funcionais de forma geral, homens e mulheres, variadas raças e diversas gerações e nem todas mencionaram possuir pessoas com deficiências. Constatou-se que há predominância de homens, de brancos e da geração X tanto nos cargos de liderança quanto em demais cargos; que existem diferenças salariais entre homens e mulheres tanto nos cargos de liderança quanto em demais cargos e os homens perfazem maiores salários; que o sexo masculino e a geração Y apresentam maior taxa de rotatividade e que o percentual médio de pessoas com deficiências presentes nas empresas encontra-se dentro da cota estabelecida pela Lei nº 8.213/91. Logo, em meio à diversidade organizacional, verificou-se que havia desigualdades. Neste sentido, a gestão da diversidade deveria ser melhorada e as desigualdades precisariam ser enfrentadas para não comprometerem a sustentabilidade.

Development of a magnetic resonance compatible wrist device for the analysis of movement encoding in the brain

Tese de mestrado integrado em Engenharia Biomédica e Biofísica, apresentada à Universidade de Lisboa, através da Faculdade de Ciências, 2016

A treatise on the hydrocele, on sarcocele, or cancer, and other diseases of the testes /

Mode of access: Internet.

Laelii Zaccagnii Romani medici ac philosophi Notabilium medicinae libri duo : Primus agit de vitae humanae longitudine, ac brevitate ... Secundus inscribitur aduersus eos, qui praeter duos in homine testes tertium quoque dari posse opinantur ....

Mode of access: Internet.

Capacidades e performance dos Tribunais de Contas no Brasil

O presente estudo visa à análise da relação entre as capacidades, conforme definidas por Brinkerhoff (2010), e a performance das Cortes de Contas brasileiras. As capacidades no atual estudo se referem à quantidade de funcionários de cada Tribunal de Contas, seu orçamento, percentual de servidores do seu quadro efetivo e cumprimento das normas constitucionais quanto a sua formação. A performance foi medida pelas variáveis: “Produtividade”, ou o número de processos julgados ou apreciados pelos Ministros ou Conselheiros; “Iniciativa”, ou seja, quantidade de fiscalizações in loco realizadas; “Valor das multas e débitos imputados”, entendidas como a propensão a punir das Cortes de Contas; e “Grau de rejeição das contas de governo”, que é definida como a razão do número de pareceres prévios rejeitando as contas de governo pelo total de pareceres emitidos. A atual pesquisa parte do estudo de Melo, Pereira e Figueiredo (2009) - que identifica diversas relações entre a estrutura dos Tribunais de Contas e sua atuação - propondo novas variáveis para uma análise mais ampla e real da performance das Cortes de Contas. As hipóteses do estudo foram testadas por meio de regressão estatística utilizando o método de mínimos quadrados. Os dados foram coletados diretamente dos Tribunais de Contas. Os testes realizados confirmaram que a quantidade de recursos humanos de cada Corte influencia positivamente todas as variáveis de performance referidas anteriormente, e que quanto maior o orçamento de cada Tribunal maior sua produtividade, sua iniciativa e o valor das multas e débitos imputados. O presente estudo também comprovou que quanto maior o percentual de servidores do quadro efetivo da Corte de Contas, maior é sua produtividade, o que corrobora as teorias de Evans (2004). A partir dos dados coletados na pesquisa, foi possível verificar que o percentual médio de servidores efetivos nas Corte de Contas é de 69% enquanto nas Cortes Judiciárias esse percentual é de 89%. Isso mostra que há bastante margem para aumento da produtividade dos órgãos de contas. Conclui-se que quanto mais recursos financeiros e humanos disponíveis, e quanto maior o percentual de servidores concursados, mais os Tribunais de Contas são produtivos, sancionadores e proativos.

RECIPROCIDADE ENTRE INDIVÍDUO E ORGANIZAÇÃO E SEUS IMPACTOS SOBRE A SATISFAÇÃO E O COMPROMETIMENTO

Reciprocidade indivíduo-organização e afetividade são dois fenômenos presentes na vida organizacional e que se tornaram tópicos de pesquisa no campo de estudos do comportamento organizacional. Esse estudo teve como objetivo reforçar as evidências empíricas acerca das relações entre cognições de troca indivíduo-organização e afetividade no contexto de trabalho. Para tanto, foram submetidas à teste empírico cinco hipóteses inspiradas em um estudo inédito desenvolvido por Siqueira (2002b). Contou-se com a utilização de um questionário composto por cinco escalas validadas, referentes as variáveis do estudo, que avaliaram percepção de suporte organizacional (PSO), percepção de reciprocidade organizacional (PRO), comprometimento organizacional normativo (CON), satisfação no trabalho (STR) e comprometimento organizacional afetivo (COA). Participaram 275 profissionais, sendo 183 pertencentes ao setor administrativo e 92 ao setor administrativo-acadêmico de uma Instituição de Ensino Superior, situada na região do Grande ABCD Paulista e com inserção no estado de São Paulo. OS participantes do estudo tinham idade média de 32 anos, sendo a maioria (58,2%) do sexo feminino, com escolaridade em nível superior (39,6%) e tempo médio de trabalho na organização de quatro anos. Os dados coletados foram organizados em um banco de dados eletrônico para tratamento estatístico, quando se utilizou o aplicativo SPSS (Statistical Package for the Social Scienses). Foram realizadas análises descritivas das variáveis e análises de correlação e de regressão múltipla para os testes das cinco hipóteses. Todas as hipóteses foram confirmadas. Conclui-se então, que o presente estudo reforça as proposições de Siqueira (2002b) acerca da pertinência de se considerar os três conceitos analisados (PSO, PRO E CON) como integrantes do esquema mental de reciprocidade. Ainda, os resultados do estudo reafirmam as evidências acerca da capacidade preditiva do EMR sobre satisfação no trabalho e comprometimento organizacional afetivo. Por fim, a análise dos dados aponta percepção de suporte organizacional como sendo o componente cognitivo do EMR com maior poder de influência sobre satisfação no trabalho e comprometimento organizacional afetivo. Portanto, cognições acerca das relações de troca social com organizações antecedem satisfação e comprometimento afetivo que, por sua vez, são importantes fatores a favor da organização, contribuindo para sua efetividade.

A Treinabilidade da Atenção na Prática Esportiva: uma abordagem com goleiros de futebol de campo.

Alguma forma de atenção está continuamente presente na atividade consciente humana, trazendo implicações e interesses tanto de cunho clínico quanto para a Psicologia da Saúde. A atenção é entendida como um estado seletivo, intensivo e dirigido da percepção. Dentro do contexto esportivo a muito da atenção para ser explorada. O objetivo neste trabalho foi testar a atenção de goleiros de futebol de campo através de duas tarefas experimentais. Nossas hipóteses foram que prática esportiva, especificamente em goleiros, e em função do seu treinamento, melhora seu desempenho em tarefas dissociativas do contexto peculiar ao esporte. E ainda; havendo melhora no desempenho, se é devida a componente perceptivo de discriminação, ao alocamento temporal de atenção, ou à sustentação da mesma por períodos prolongados, isto é, uma maior capacidade de concentração ou menos fadigabilidade. Comparamos 27 goleiros de futebol de campo, com idades entre 15 e 27 anos; separados por tempo de treino. Utilizamos neste estudo um programa comercial de computador, configurado para a criação de testes de atenção (Stim, Neurosoft. Inc); que controla todos os aspectos da tarefa. Correlacionamos tempo de reação e porcentagem de acertos com duração do treinamento dos goleiros em meses (e com a idade). Dividimos o grupo de goleiros em dois subgrupos, pela mediana de tempo de treinamento. Apesar da alta correlação entre tempo de treinamento e idade, inevitavelmente em nossa amostra, não houve correlação significativa entre idade e desempenho em ambas as tarefas. A correlação entre desempenho e tempo de treinamento foi altamente significativa na tarefa I. Não verificamos a correlação entre desempenho e tempo de treinamento na tarefa II, apesar da correlação significativa entre desempenhos nas duas tarefas. Foram feitas análises de correlações entre tempo de treinamento e desempenho nas tarefas separadas por blocos. Na tarefa I, a correlação entre tempo de treino e desempenho em cada bloco foi sempre significativa; tanto em teste paramétrico quanto em teste não paramétrico. Já na tarefa II não houve correlação significativa em tempo de treinamento e desempenho em qualquer dos blocos. Na análise categórica, ou seja, dos grupos divididos em dois subgrupos pela mediana de tempo de treinamento; a diferença de desempenho entre os subgrupos foi significativa apenas na tarefa I, no total de acertos (T- test de amostras independentes; F=4.36, p=0.037) e em acertos nos últimos dois blocos (bloco 3 p=0.048; bloco 4 p=0.026). Com o tempo de treinamento, a melhora no que diferenciar e o aumento na condição da fadigabilidade, tende a refinar e a diminuir. A prática esportiva pode de fato melhorar a capacidade perceptiva e a sustentação da atenção, que é à base da disciplina humana para realização de qualquer tarefa. Conseqüentemente, uma melhora afetiva e somática, além disso, uma melhora cognitiva e intelectual traz consigo uma aplicabilidade real na qualidade de vida das pessoas

DESEMPENHO EM TESTES DE ATENÇÃO VISUAL E INTERFERÊNCIA DE ESTÍMULOS AUDITIVOS DE MOVIMENTO EM INDIVÍDUOS COM E SEM MEDO DE ALTURA

Desordens da ansiedade, especialmente a agorafobia e a desordem do pânico foram associadas a anormalidades das funções vestibulares. Evidências de que o controle do equilíbrio pode exigir habilidades atencionais também foram relatadas. Utilizando o medo de altura como modelo clínico onde sintomas ansiosos coexistem com anormalidades com a percepção espacial e controle do equilíbrio, este estudo investigou o desempenho em testes de atenção visual em voluntários normais com altos e baixos escores obtidos do Questionário de Acrofobia. O teste de rastreio visual foi realizado em 30 indivíduos (15 em cada grupo) enquanto ouviam dois tipos diferentes de estímulos auditivos. Na condição volume um som de 900 Hz era apresentado em ambos ouvidos durante 2 segundos seguidos de mais 2 segundos de silêncio. Na condição balanço , o mesmo som era apresentado durante 2 segundos ao ouvido direito seguido por 2 segundos ao ouvido esquerdo. Estímulos auditivos de movimento provocaram maior desconforto em ambos os grupos, mas nos indivíduos com maiores escores de acrofobia estes estímulos foram associados a um pior desempenho no teste visual. Embora muito limitado pela amostra experimental, este estudo sugere que o medo de altura pode estar associado à dependência visual para manutenção do equilíbrio e que poderia piorar o desempenho nos testes visuais devido à competição dos recursos neuro-cognitivos. Implicações experimentais e clínicas destes achados preliminares exigem outras pesquisas.

Desenvolvimento de Sistemas de Encapsulamento para Integração em Protótipos de Vestuário/Têxtil

A monitorização de sinais vitais é uma ferramenta essencial da medicina, principalmente no que se relaciona com a avaliação do estado físico de qualquer indivíduo. As ferramentas foram evoluindo ao longo do tempo, tendo a tecnologia desempenhado um papel central na melhoria do seu desempenho. Apesar destes dispositivos estarem intimamente ligados ao contexto médico, as mudanças no estilo de vida no consumo dos utilizadores fizeram com que estas ferramentas passassem a fazer parte do quotidiano. O paradigma alterou-se, ou seja, quando eram utilizadas exclusivamente para fins médicos, agora são também usados para actividades relacionadas com o lazer e desporto. A preocupação com a monitorização de sinais vitais cresceu nos últimos anos, pois a interpretação correcta destes dados permite intervir em certos aspectos da rotina diária, melhorando a qualidade de vida. A portabilidade tornou-se um factor importante uma vez que grande parte dos utilizadores, associa estes dispositivos à sua actividade física. Desta necessidade surgem novos tipos de produtos, que inclusivamente são associados e integrados em peças de vestuário. Este factor obriga a tecnologia a miniaturizar os componentes, no sentido de tornar possivel o funcionamento destes produtos em qualquer lugar e hora. Por outro lado, quanto menos intrusivo for o dispositivo melhor conforto e funcionalidade oferece ao utilizador. Assim sendo, a disciplina do design deve ter em conta as premissas de funcionamento dos diferentes componentes que permitem recolher dados sobre os sinais vitais: batimento cardíaco e temperatura. A intervenção da disciplina do design nesta investigação passa pelo re-design de um dispositivo existente, que é analisado no seu desempenho funcional, ergonómico e estético. O dispositivo em questão é portátil e colocado na zona inferior da perna, acima do tornozelo. Todas as envolvências ergonómicas e funcionais são tomadas em conta para a concepção de hipóteses que incrementem a performance do dispositivo. A integração de componentes e a avaliação funcional são mais eficazes quando se utilizam técnicas de prototipagem, que permitem uma visão efectiva da realidade. Para melhor conceber as propostas, e aprofundar o conhecimento sobre estas técnicas realizaram-se testes com o objectivo de aferir a precisão e a qualidade do acabamento das superfícies das peças prototipadas. No sentido de criar uma proposta final, são criadas várias hipóteses de solução que são avaliadas segundo a detecção de problemas, bem como através do contacto com os utilizadores. Ao longo da investigação as propostas evoluem, culminando naquela que é apresentada como uma proposta optimizada, que aglutina todo o levantamento literário, testes, e análises feitas durante a construção do documento.

The Fate of Spermatogonial Stem Cells in the Cryptorchid Testes of RXFP2 Deficient Mice

The environmental niche of the spermatogonial stem cell pool is critical to ensure the continued generation of the germ cell population. To study the consequences of an aberrant testicular environment in cryptorchidism we used a mouse model with a deletion of Rxfp2 gene resulting in a high intra-abdominal testicular position. Mutant males were infertile with the gross morphology of the cryptorchid testis progressively deteriorating with age. Few spermatogonia were identifiable in 12 month old cryptorchid testes. Gene expression analysis showed no difference between mutant and control testes at postnatal day 10. In three month old males a decrease in expression of spermatogonial stem cell (SSC) markers Id4, Nanos2, and Ret was shown. The direct counting of ID4+ cells supported a significant decrease of SSCs. In contrast, the expression of Plzf, a marker for undifferentiated and differentiating spermatogonia was not reduced, and the number of PLZF+ cells in the cryptorchid testis was higher in three month old testes, but equal to control in six month old mutants. The PLZF+ cells did not show a higher rate of apoptosis in cryptorchid testis. The expression of the Sertoli cell FGF2 gene required for SSC maintenance was significantly reduced in mutant testis. Based on these findings we propose that the deregulation of somatic and germ cell genes in the cryptorchid testis, directs the SSCs towards the differentiation pathway. This leads to a depletion of the SSC pool and an increase in the number of PLZF+ spermatogonial cells, which too, eventually decreases with the exhaustion of the stem cell pool. Such a dynamic suggests that an early correction of cryptorchidism is critical for the retention of the SSC pool.

A experiência do usuário idoso no design de jogo digital para a reabilitação neural de pacientes com quadro de acidente vascular cerebral (AVC)

Stroke is nowadays one of the main causes of death in Brazil and worldwide. During the rehabilitation process, patients undergo physioterapic exercises based on repetition, which may cause them to feel little progress is being made. Focusing on themes from the areas of Human-Computer Interaction and Motor Imagery, the present work describes the development of a digital game concept aimed at motor rehabilitation to the neural rehabilitation of patients who have suffered a stroke in a playful and engaging way. The research hypothesizes that an interactive digital game based on Motor Imagery contributes to patients' raised commitment in the stroke sequel rehabilitation process. The research process entailed the investigation of 10 subjects who live with sequels caused by stroke - it was further established that subjects were over 60 years old. Using as foundation an initial survey regarding target-users' specificities, where an investigation on subjectrelated aspects was carried out through Focus Group (n=9) and Contextual Analysis (n=3), having as subjects elderly individuals, a list with the necessary requirements for the conceptualization of a digital game was fleshed out. The initial survey also enabled the establishment of preliminary interactions for the formulation of game prototypes. At first, low-resolution prototypes were used, with two distinct interaction models for the game - one with a direct approach to the Motor Imagery concept, and another using a narrative with characters and scene settings. The goal was to verify participants' receptivity regarding the addition of playful activities into game dynamics. Prototypes were analyzed while being used by five patients, through the Cooperative Evaluation technique. The tests indicated a preference for option with elements in a playful narrative. Based on these results high fidelity prototypes were created, where concepts close to the game's final version were elaborated. The High Fidelity prototype was also evaluated with four patients through the Cooperative Evaluation technique. It was concluded that elderly individuals and patients were receptive to the idea of a digital game for the rehabilitation from sequels caused by stroke; that, for the success of devices aimed at these cohorts, their contexts, needs and expectations must be respected above all; and that user-centered design is an essential approach in that regard.

Contribuições para o processo de verificação de satisfatibilidade módulo teoria em Event-B

Event-B is a formal method for modeling and verification of discrete transition systems. Event-B development yields proof obligations that must be verified (i.e. proved valid) in order to keep the produced models consistent. Satisfiability Modulo Theory solvers are automated theorem provers used to verify the satisfiability of logic formulas considering a background theory (or combination of theories). SMT solvers not only handle large firstorder formulas, but can also generate models and proofs, as well as identify unsatisfiable subsets of hypotheses (unsat-cores). Tool support for Event-B is provided by the Rodin platform: an extensible Eclipse based IDE that combines modeling and proving features. A SMT plug-in for Rodin has been developed intending to integrate alternative, efficient verification techniques to the platform. We implemented a series of complements to the SMT solver plug-in for Rodin, namely improvements to the user interface for when proof obligations are reported as invalid by the plug-in. Additionally, we modified some of the plug-in features, such as support for proof generation and unsat-core extraction, to comply with the SMT-LIB standard for SMT solvers. We undertook tests using applicable proof obligations to demonstrate the new features. The contributions described can potentially affect productivity in a positive manner.