Lei de execução penal: comentada e anotada

Divulgação dos SUMÁRIOS das obras recentemente incorporadas ao acervo da Biblioteca Ministro Oscar Saraiva do STJ. Em respeito à Lei de Direitos Autorais, não disponibilizamos a obra na íntegra.Localização na estante: 343.8(81)(094) Coment. S588

Geração automática de ontologias probabilísticas a partir de um modelo UMP-ST

Trabalho de Conclusão de Curso (graduação)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2017.O URP-ST é uma metodologia baseada no processo unificado que orienta o engenheiro de ontologias durante a construção de ontologias probabilísticas por meio de uma série de etapas que englobam desde a modelagem até a realização de inferências. A etapa de modelagem é definida pelo UMP-ST, uma metodologia iterativa e incremental voltada para a maioria das tecnologias semânticas. Uma delas é o PR-OWL, uma linguagem para a representação do MEBN. A modelagem de ontologias probabilísticas a partir do UMP-ST utilizando MEBN/PR-OWL pode ser realizada no UnBBayes, um framework para a construção gráfica de modelos probabilísticos e a realização de raciocínio plausível. Apesar da orientação dada pelo UMP-ST, a modelagem de ontologias probabilísticas é uma tarefa penosa e repetitiva. Durante a implementação do modelo, é necessário a construção da ontologia a partir do zero utilizando um determinada tecnologia semântica, além da modelagem feita no UMP-ST. Uma integração apropriada que ajude o usuário a implementar a ontologia, tal como um estrutura intermediária, agilizaria e facilitaria a sua implementação. Esse trabalho propõe um plug-in Java para o UnBBayes com o objetivo de automatizar o mapeamento de uma ontologia modelada via UMP ST em um modelo MEBN, permitindo ao usuário realizar inferências probabilísticas em ontologias com representação de conhecimento com ou sem incerteza probabilística.The URP-ST is a methodology based on the unified process that guides the ontology engineer in how to design Probabilistic Onologies. The UMP-ST is an incremental and iterative approach that covers the modeling step related to the URP-ST. It is a general methodology for the majority of the existing semantic technologies which support uncertainty. One of them is the PR-OWL, a language for MEBN representation. The modeling of probabilistic ontologies from the UMP-ST using MEBN / PR-OWL can be performed in UnBBayes, a framework for building probabilistic graphical models and performing plausible reasoning. Despite the guidance given by the UMP-ST, the implementation of a PO is a painful and repetitive task. During the implementation of the model, it is necessary to build the ontology from the zero using a specific semantic technology, even if the user models the PO in UMP-ST. A proper integration that helps the user to implement the PO, such as an intermediate structure, would expedite and facilitate its implementation. This work presents an automatic way to generate POs using MEBN representation from the UMP-ST model by mapping the elements of both sides. This is an extension of the UMP-ST to generate POs to an specific formalism and it is developed as a Java plug-in for UnBBayes

Existe associação entre alteração de sensibilidade e suporte de peso no indivíduo com diabetes?

Monografia (graduação)—Universidade de Brasília, Faculdade de Ceilândia, Curso de Fisioterapia, 2015.A Diabete mellitus (DM) é uma condição de saúde de etiologias variadas, que pode ser causada por deficiência de insulina ou pela incapacidade de esta exercer seus efeitos metabólicos de forma adequada. Essa condição pode levar a complicações degenerativas que têm repercussões socioeconômicas, tornando-se um grande problema de saúde pública. O objetivo desse estudo foi verificar se existe correlação entre o comprometimento somatossensorial nos membros inferiores e as variáveis baropodométricas, especificamente o suporte de peso. Foram selecionados na comunidade, clínicas, ambulatórios e projetos de extensão da Universidade de Brasília, um total de 84 indivíduos. Destes 42 apresentaram história de DM, e a outra metade dos sujeitos não apresentava histórico de Diabetes mellitus. Foi utilizado a estesiometria para avaliação sensorial periférica e o baropodômetro para avaliar o suporte de peso durante a manutenção da postura ortostática. Dos 84 sujeitos estudados, 67 não apresentam associação entre o aumento do suporte de peso e o déficit sensorial, sendo este déficit calculado a partir da pontuação dos monofilamentos, onde a nota 6 caracterizava o monofilamento com a menor calibre e 0 para o monofilamento com maior espessura. Os resultados mostram que não existe associação entre as variáveis, alteração do suporte de peso e déficit somatossensorial em membros inferiores, desses 67 participantes que não apresentam associação 34 compunham o grupo DM.Diabetes mellitus (DM) is a health condition of varied etiologies which can be caused by either low insulin or the inability of insulin itself exercising its metabolic effects properly. This condition may lead to degenerative complications that have socio-economic repercussions, becoming, thus, a serious health problem. The purpose of this study was verifying if there is any relation between sensory impairment and baropodometric variables, specifically the weight-bearing. Among community, health clinics, and extension projects at the University of Brasilia, 84 individuals have been selected. Out of them, 42 had history of diabetes mellitus, and the other half out of the total number had no history of diabetes mellitus.Specific tools were used for the evaluation of sensory function and weight-bearing while maintaining the standing posture. 53 individuals, out of total 84, have showed no association between weight-bearing increase and sensory deficit. It made clear that there is no correlation between these variables, once individuals with higher pressure value at some specific point in their foots, in turn, showed more preserved sensitivity than at points with less pressure. 26 volunteers, out of these 53, make up the DM group

O conhecimento por um sopro: um olhar sobre o ensino da tuba a partir dos métodos Ulissiano e Da Capo

This study aimed to understand the teaching and learning process of the tuba instrument, guided by the fundamentals and principles of the Ulissiano and Da capo methods, especially with regard to the paths of musicalization and initial practice of the instrument. From these aspects, the work focused on the history and teaching methodology of the tuba instrument, with emphasis on musicalization with the possible crossings of the local culture. These meth ods were developed by professors Ulisses Lima and Joel Barbosa, respectively. In the empiri cal field, two didactic experiments were developed, involving two beginners in the study of the tuba. The experiments took as horizons the Ulissiano and Da Capo methods, receiving some adaptations to the reality and local conditions. In general, it can be said that the results achieved correspond to the initial expectations; in particular, in the comparative movement between the two experiments, it was observed that the results pointed to a better performance of the student who participated in the Ulissian method, understanding that the emphasis on local culture, as well as the influence of musical memory in the construction of the beginning musician's learning, forms elements that predominated in the process of consolidating this learning.Esse estudo se propôs entender o processo de ensino e aprendizagem do instrumento tuba, orientado pelos fundamentos e princípios dos métodos Ulissiano e Da capo, sobretudo, no que se referem aos trajetos de musicalização e prática inicial do instrumento. A partir desses aspectos, o trabalho se debruçou sobre a história e a metodologia de ensino do instrumento tuba, com ênfase na musicalização com os possíveis atravessamentos da cultura local. Os referidos métodos foram desenvolvidos pelos professores Ulisses Lima e Joel Barbosa, respectivamente. No campo empírico foram desenvolvidos dois experimentos didáticos, envolvendo dois alunos iniciantes no estudo da tuba. Os experimentos tomaram como horizontes os métodos Ulissiano e Da Capo, recebendo algumas adaptações à realidade e condições locais. De modo geral, pode-se afirmar que os resultados alcançados corresponderam às expectativas iniciais; na particularidade, no movimento comparativo entre os dois experimentos, observou-se que a ênfase à cultura local, bem como, a influência da memória musical na construção da aprendizagem do músico iniciante, foram elementos predominantes no processo de consolidação dessa aprendizagem individual do instrumento tuba

Ressarcimento do IPI: um estudo de caso aplicado em uma indústria do setor cerâmico da região Sul Catarinense.

Trabalho de Conclusão do Curso, apresentado para obtenção do grau de bacharel no curso de Ciências Contábeis da Universidade do Extremo Sul Catarinense, UNESC.Face à alta carga tributária brasileira que tem um impacto considerável nos resultados financeiros das empresas, apresenta-se a utilização do pedido de ressarcimento do IPI, como um dos meios para reduzir esse desembolso financeiro no pagamento monetário de impostos. O presente estudo tem como objetivo identificar o procedimento a ser observado para pleitear o ressarcimento do saldo de IPI de uma indústria do setor cerâmico da região sul catarinense. Tendo como seu problema de pesquisa o procedimento a ser observado para pleitear o ressarcimento do saldo de IPI de uma indústria do setor cerâmico da região sul catarinense. Para a realização desse estudo, foi executado a coleta dos dados na apuração do livro fiscal da empresa estudada. Elaborou-se de forma descritiva, uma pesquisa bibliográfica e documental, que contribui para a realização do estudo de caso. Na apresentação dos dados demonstra-se o montante apurado de créditos do Imposto sobre Produtos Industrializados referente a algumas operações cotidianas da empresa, tendo o primeiro trimestre do ano de 2018 como período base para emissão do pedido de ressarcimento e utilizando o programa gerador PER/DCOMP para sua execução. A partir das informações coletadas apresenta-se a vantagens de estar atento a apuração de créditos do IPI e os benefícios trazidos pelo ressarcimento dos saldos credores do imposto

BTestBox: uma ferramenta de teste para implementações B

Software needs to be safe and run smoothly. From that assumption, new technologies and techniques are developed to test the quality of a program. This is more relevant when developing critical systems, such as railways and avionics control systems. Formal methods try to adress this need. When using B in Atelier-B, after proving the components of a project is necessary to translate to the desired language, a translation is made by using B translators and compilers. Usually, the process of compilation is safe when perfomed by mature compilers although they are not free of errors and bugs often crop up. The same reliability is not always observed in B translators since they have been on the market for less time. Software testing may solve and be used to perform the analyses of the translated code. From coverage criteria, it is possible to infer quality of a piece of software and detect bugs. This process is hard and time-consuming, mainly if it is perfomed manually. To address this problem, the BTestBox tool aims to analyze automatically the coverage of B implementations built through Atelier-B. BTestBox also automatically tests the translation from B implementations. For this, BTestBox uses the same test case generated to verify the coverage and compare the output expected values with the values found in the translation. This process is fully automatic and may be started from Atelier-B with a plugin. This thesis presents the tool BTestBox. The tool is a solution to the problems exposed in the previous paragraph. BTestBox was tested with small B implementations and all gramatical elements from B language. It offers various functionalities and advantages to developers that use the B-Method.Softwares precisam ser seguros e corretos. Partindo desse pressuposto, novas tecnologias e técnicas são desenvolvidas para comprovar as competências de um programa. Essa necessidade de segurança se torna mais relevante ao tratar de softwares que atuam em sistemas críticos, como os sistemas ferroviário e aeroviário. A utilização de métodos formais na construção de software busca solucionar o problema. Ao utilizar o método formal B através da plataforma Atelier-B, e após provar os componentes de um projeto é necessária a tradução para a linguagem desejada. Essa tradução ocorre por meio de tradutores e compiladores B. Habitualmente, o processo de compilação em compiladores maduros é seguro, porém não estão completamente livres de falhas e eventualmente erros são encontrados. Ao expandir essa afirmação para tradutores B é necessário cautela, uma vez que esses não são tão comuns e utilizados quanto compiladores que circulam há mais tempo no mercado. Testes de software podem ser utilizados para realizar a análise da tradução. Através de critérios de cobertura é possível inferir o nível de qualidade do software e facilitar a detecção de falhas. Realizar a checagem da cobertura e testes em software pode exigir bastante esforço e tempo, principalmente ao serem realizados manualmente. Para sanar essa demanda, a ferramenta BTestBox visa analisar, de maneira automática, a cobertura atingida por implementações B desenvolvidas através do Atelier-B. BTestBox também testa automaticamente as traduções feitas a partir de implementações B. Para isso, BTestBox utiliza os casos de teste gerados para a verificação de cobertura e compara os valores esperados de saída com os encontrados após a tradução. O processo feito por BTestBox é todo automático e pode ser utilizado a partir do Atelier-B via instalação de plugin com uma interface simples. Essa dissertação apresenta a ferramenta BTestBox. BTestBox foi testado através de pequenas implementações B com os elementos gramaticais possíveis da linguagem B. BTestBox apresenta funcionalidade e vantagens para programadores que utilizam o método formal B

Transcriptogramer: pacote em R para análise transcricional

The transcriptogram, a method used on transcriptomes analysis, uses protein-protein interaction data to build an ordered gene list. On this list, genes are placed such that the probability of interaction between its products exponentially decreases with the increase of the distance between its positions. The ordered gene list is then used to calculate the average expression value of functionally associated genes in a window with settable radius, allowing the differential expression of non-predefined gene sets in case-control studies. This study aims to implement an R package that uses transcriptograms and integrates features from packages known by the scientific community, able to perform: differential expression, functional enrichment, and network visualization. The transcriptogramer package was implemented and is available at Bioconductor, a repository for open source softwares developed in the R language for use in bioinformatics. In a comparison between the transcriptogramer and a pipeline combining features from limma and topGO packages, was noticed that the transcriptogramer identified nearly 10 times more Gene Ontology terms significantly enriched, among which most of the terms identified by the conventional pipeline were found.O transcriptograma, um método utilizado na análise de transcriptomas, utiliza dados de interação proteína-proteína para construir uma lista ordenada de genes. Nesta lista, genes são posicionados de forma que a probabilidade de interação entre seus produtos decaia exponencialmente com o aumento da distância entre suas posições. A lista ordenada de genes é então utilizada para calcular o valor de expressão médio de genes funcionalmente associados numa janela com raio configurável, permitindo a expressão diferencial de grupos gênicos não pré-definidos em estudos caso-controle. O objetivo deste estudo é a implementação de um pacote em R que use transcriptogramas e integre funcionalidades de pacotes já conhecidos pela comunidade científica, capaz de realizar: expressão diferencial, enriquecimento funcional, e visualização de rede. O pacote transcriptogramer foi implementado e encontra-se disponível no Bioconductor, um repositório para softwares open source desenvolvidos na linguagem R para utilização em bioinformática. Numa comparação entre o transcriptogramer e um pipeline combinando funcionalidades dos pacotes limma e topGO, observou-se que o transcriptogramer identificou aproximadamente 10 vezes mais termos do Gene Ontology significativamente enriquecidos, dentre os quais foram encontrados a maioria dos termos identificados pelo pipeline convencional

Estudo do comportamento dos aços inoxidáveis 304L e 316L e aço carbono em salmoura de cloreto de potássio

A salmoura de cloreto de potássio utilizada para a produção de cloro e hidrogênio pode ser corrosiva sob determinadas condições. Uma vez que os dados existentes na literatura sobre o grau de corrosividade desta salmoura são escassos, decidiu-se caracterizar o poder corrosivo deste fluido sobre os aços inoxidáveis AISI 304L e 316L e também sobre o aço carbono AISI 1020. Desta forma, conduziram-se experimentos em laboratório, na temperatura ambiente (25°C) e em regime estático. Os experimentos foram feitos em células eletroquímicas e em triplicata sendo submersos na salmoura três corpos de prova de cada material estudado, suspensos por fios de nylon. A agressividade do meio sobre os materiais foi mensurada através de inspeção visual, valores de perda de massa e do cálculo da taxa de corrosão obtida através dos ensaios de decapagem. Foi utilizada a temperatura de 25°C para a solução de decapagem usada na limpeza química dos aços inoxidáveis (HNO3 10% v/v) e para a solução decapante do aço carbono (Solução de Clark) e os resultados obtidos foram explicados através de hipóteses aceitáveis. Baseando-se em premissas razoáveis chega-se a conclusão que se pode usar o diagrama de Pourbaix do cromo e do ferro para estimar em quais valores de pH o metal estará passivado ou não. A corrosão foi extremamente mais intensa no aço carbono em comparação com os aços inoxidáveis 304L e 316L, devido à característica estrutural apresentada pela camada de óxido de ferro

PSICOLOGIA EMPÍRICA E ANTROPOLOGIA NO PENSAMENTO CRÍTICO DE KANT: A DÉCADA DE 1780

Apesar de a relação entre a psicologia empírica e a antropologia pragmática ser amplamente reconhecida na literatura especializada, não há consenso entre os pesquisadores a respeito da natureza exata dessa relação. O presente trabalho tem o objetivo de investigar este tema no pensamento crítico de Kant durante a década de 1780, de forma a contribuir para um maior esclarecimento sobre este ponto. Especificamente, buscamos compreender a afirmação de Kant, feita na Crítica da Razão Pura (1781), a respeito da inserção da psicologia empírica em uma antropologia pormenorizada. Nossa análise sugere que na década de 1780 é mantida a ligação entre a psicologia empírica e o ponto de vista teórico do conhecimento do homem. Essa ligação explica a afirmação de Kant. Ela significa que a psicologia empírica deve ser considerada antropologia escolástica (teórica) e deve ser mais bem desenvolvida de modo a constituir um campo de investigação autônomo. Além disso, mostramos que há também uma forte ligação entre os conhecimentos teóricos da psicologia empírica e a antropologia do ponto de vista pragmático