Biblioteca Digital de Monografias
Not a member yet
29656 research outputs found
Sort by
LambdaTransformer : uma solução para o tratamento de Expressões Lambda no JimpleFramework
Get PDFTrabalho de conclusão de curso (graduação)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2021.Análise de fluxo de dados é um tipo de análise estática que permite a coleta de informações
sobre o comportamento dos dados de um programa em tempo de execução sem que esse código
seja executado. Isso é feito com o uso de ferramentas como Grafos de Controle de Fluxo, CFG,
uma representação de programa que facilita a visualização do comportamento do código e o
desenvolvimento de análises. Códigos Java possuem bytecode baseado em pilha o que torna a
criação de CFGs mais difícil. Frameworks como o Soot utilizam Representações Intermediárias,
RIs, com estruturas mais amigáveis a criação do CFGs e escrita de análises para analisar códi-
gos Java. O Jimple Framework implementa sua própria versão de Jimple, a principal RI de
Soot, utilizando a linguagem de meta-programação Rascal com o intuito de tornar a escrita de
análises menos verbosas em comparação ao Soot. A descompilação de bytecode Java da origem
a código Jimple que pode passar por refinamentos com o intuito de tornar o código mais legível
ou simplificar a realização de alguma análise. A partir de Java 8, expressões lambda foram
introduzidas a linguagem, essas expressões são traduzidas em bytecodecomo instruções invoke-
dynamic. Como todas as instruções presentes no bytecode Java, o Jimple Framework deve
oferecer ferramentas que permitam a realização de análises estáticas, como análise de fluxo de
dados, em códigos que possuam instruções esse tipo, porém esse tipo de instrução faz uso de
ferramentas dentro da JVM que escondem o caminho dos dados, dessa forma impossibilitando
a análise de fluxo e criação do CFG. O Jimple Framework deve refinar código Jimple para per-
mitir análises de códigos com esse tipo de instruções. Este trabalho descreve o processo de
desenvolvimento do LambdaTransformer um módulo do Jimple Framework capaz de transfor-
mar instruções invokedynamic em invokestatic com o uso de funções de travessia de árvore e
casamento de padrões.Dataflow analysis is a type of static analysis that allows gathering information about the behav-
ior of a program’s data at runtime without executing the code. This is done using tools such as
Control Flow Graphs, CFG, a program representation that facilitates the visualization of code
behavior and the development of analysis. Java code has stack-based bytecode which makes
CFG creation more difficult, sometimes impossible. Frameworks like Soot use Intermediate
Representations, IRs, with more user-friendly structures for creating CFGs and writing analyzes
to analyze Java code. Jimple Framework implements its own version of Jimple, Soot’s main IR,
using the Rascal meta-programming language in order to make writing analysis less verbose
compared to Soot. The decompilation of Java bytecode creates a Jimple code that can undergo
refinements in order to make the code more readable or simplify performing some analysis. As
of Java 8, lambda expressions were introduced to the language, these expressions are translated
into bytecode as invokedynamic instructions. Like all instructions present in Java bytecode, Jim-
ple Framework must offer tools that allow static analysis, such as data flow analysis, in codes
that have instructions of this type, but this type of instruction makes use of tools within the
JVM that hide the data flow, thus making flow analysis and CFG creation impossible. The Jim-
ple Frameworkmust refine the Jimple code to allow code parsing with this type of instructions.
This work describes the process of developing LambdaTransformer, a Jimple Framework mod-
ule capable of transforming invokedynamic instructions into invokestatic instructions using tree
traversal and pattern matching functions
Anesthesia for pregnant bitches : what is new in the last decade?
No full textTrabalho de Conclusão de Curso (especialização)—Universidade de Brasília, Faculdade de Agronomia e Medicina Veterinária, Programa de Residência Multiprofissional em Saúde, Área Profissional em Anestesiologia
Veterinária, 2021.A distocia é definida, segundo o dicionário Aurélio, como “substantivo feminino [Ginecologia] parto laborioso, parto difícil e anormal” sendo presente entre b2 a 5% da população gestante mas, estudos mais recentes, revelam que até 16%bdas cadelas podem apresentar a distocia. Reconhecer o momento do parto é
fundamental para agir com rapidez e evitar que uma urgência obstétrica evolua para uma emergência. A fisiologia da gestação é bastante complexa, mas, do ponto de vista anestésico, alterações importantes nos sistemas cardiovascular, respiratório, renal, hepático e gástrico podem ser valiosas na hora da anestesia. A morte perinatal é bastante comum na medicina veterinária, podendo variar entre 15 a 25% e, como os recém nascidos são bastantes vulneráveis, reconhecer a necessidade por assistência médica de forma precoce, o que é normal e o que não é normal, pode salvar vidas. Ao nascimento, os filhotes precisam ter respostas positivas que reforcem a sobrevida, como a vocalização, movimentação e respiração espontânea. VERONESI et al. (2009) elaborou, inspirado nas categorias avaliados em humanos, um APGAR modificado para cães. Quando se pensa em anestesia do paciente gestante, o maior risco associado à anestesia é a viabilidade dos
filhotes e uma boa anestesia deve promover miorrelaxamento, analgesia, narcose e imobilidade, sem promover efeitos colaterais cardiorrespiratórios ou cardiovasculares importantes. A epidural pode ser uma boa escolha, mas não é a única. Existem diversos protocolos e medicações seguras, cientificamente testados
na última década, para a anestesia cesárea. O objetivo desse trabalho de conclusão é revisar a literatura existente na última década que envolve anestesia para cesáreas em cadelas.Dystocia is defined, according to the Aurélio dictionary, as “female noun [Gynecology] laborious delivery, difficult and abnormal delivery”, being present between 2 to 5% of the pregnant population but, more recent studies, reveal that up to 16% of bitches can have dystocia. Recognizing the delivery’s moment is essential
to act quickly and prevent an obstetric urgency to evolve into an emergency. The physiology of pregnancy is quite complex, but, from the anesthetic point of view, important changes in the cardiovascular, respiratory, renal, hepatic and gastric systems can be valuable for anesthesia. Perinatal death is quite common in
veterinary medicine, ranging from 15 to 25% and, as newborns are quite vulnerable, recognizing the need for medical assistance early, what is normal and what isn’t normal, can save lives. At birth, puppies need to have positive responses that reinforce survival, such as vocalization, movement and spontaneous breathing.
VERONESI et al. (2009) developed, inspired by the categories evaluated in humans, a modified APGAR for dogs. When thinking about anesthesia for the pregnant patient, the greatest risk associated with anesthesia is the viability of the puppies. A good anesthesia should promote myorelaxation, analgesia, narcosis and immobility, without promoting important cardiorespiratory or cardiovascular side effects. Epidural may be a good choice, but it is not the only one. There are several protocols and safe medications, scientifically tested in the last decade, for cesarean anesthesia. The aim of this concluding work is to review the literature existing in the last decade that involves anesthesia for cesarean sections in female dogs
Correction techniques for limbs fractures in birds : literature review
No full textTrabalho de Conclusão de Curso (especialização)—Universidade de Brasília, Faculdade de Agronomia e Medicina Veterinária, Programa de Residência em Clínica e Cirurgia de Animais Silvestres, 2021.As técnicas para reparação de fratura em membros locomotores na medicina veterinária de pequenos animais são bastante difundidas e utilizadas. Em aves, elas podem ser executadas de forma similar, porém, com adaptações compatíveis com as particularidades anatômicas e fisiológicas. O uso do pino como implante intramedular ou em fixadores externos é amplamente difundido pela facilidade e rapidez da aplicação e por permitir cirurgias pouco invasivas, o que indiretamente agiliza o processo de osteogênese. Novos biomateriais têm sido desenvolvidos com o intuito de se tornarem opções viáveis e muitas vezes com melhor resposta na formação do calo ósseo, neovascularização e reparação da fratura, sem afetar a conformação anatômica do osso. A preocupação com a mantença do voo e bem-estar do animal é outra diretriz que reforça a necessidade de um conhecimento mais aprofundado a respeito da melhor abordagem para reparação de fraturas em aves, sobretudo exemplares de vida livre.The fracture repair techniques in small animals limbs, are widespread used in veterinary medicine. In birds, they can be performed in a similar way, however, with compatible adaptations, anatomical and physiological particularities. The use of pin as an intramedullary implant or external fixators is more used due to the ease and speed application, allowing less invasive surgeries which indirectly speeds up the osteogenesis process. New biomaterials have been developed in order to become viable options and often with better response in the formation of bone callus, neovascularization and fracture repair, without affecting the anatomical conformation of the bone. The concern with maintaining flight and animal welfare is other point that reinforces the need for more in-depth knowledge about the best approach on repair fractures in birds, especially free-living specimens
Relação pedagógica professor-aluno nos anos iniciais do ensino fundamental : influências no processo de ensino-aprendizagem
Get PDFTrabalho de Conclusão de Curso (graduação)—Universidade de Brasília, Faculdade de Educação, 2021.Esta pesquisa foi desenvolvida no curso de licenciatura em Pedagogia, na Universidade de
Brasília, como Trabalho de Conclusão de Curso (TCC) e articula-se às produções realizadas
pelo Grupo de Estudo e Pesquisa sobre Trabalho Docente, Didática e Trabalho Pedagógico
(PRODOCÊNCIA) da Faculdade de Educação da UnB, tendo como objeto as relações em
sala de aula, espaço-tempo do ato educativo. Buscou-se contribuir para a ampliação da
discussão acerca do cotidiano escolar, das relações em sala de aula e do que acarretam essas
relações no ensino e na aprendizagem. Para tal, parte-se do pressuposto de que a relação
pedagógica entre professor e alunos é intrínseca ao processo de ensino-aprendizagem e
determinante para o êxito do ato educativo. Buscou-se compreender e discutir a dinâmica das
relações sociais em sala de aula, questionando a respeito das implicações da relação
pedagógica professor-aluno no processo de ensino-aprendizagem em uma turma de 5º ano do
Ensino Fundamental de uma escola pública do Distrito Federal. Tendo como objetivo geral:
analisar como a relação pedagógica professor-aluno influencia o processo de
ensino-aprendizagem. Como objetivos específicos: discutir as percepções do(a) professor(a) e
dos estudantes acerca da relação professor-aluno no processo de ensino-aprendizagem; e
discutir como se dá a relação professor-aluno em uma turma de 5º ano. A pesquisa de
abordagem qualitativa do tipo estudo de caso utilizou para levantamento de dados: análise
documental do projeto político-pedagógico da escola, observação de aulas, entrevista
semiestruturada com a professora, grupo focal e desenho projetivo com estudantes. O
referencial teórico baseia-se em Cordeiro (2011), Cunha (2012), Jesus (2003), Libâneo
(1990), Morales (2008), Postic (1990), Veiga (2008), entre outros. Os resultados apontam que
a relação pedagógica estudada é afetiva, intencional, gera feedback à docente e aos estudantes,
é dialógica e repercute no ensino da professora e nas aprendizagens dos educandos.This research was developed in the undergraduate course in Pedagogy at the University of
Brasilia, as a Course Conclusion Work (TCC) and is articulated to the productions carried out
by the Study and Research Group on Teaching, Didactics and Pedagogical Work
(PRODOCÊNCIA) from the School of Education at UnB, having as its object the
relationships in the classroom, space-time of the educational act. It sought to contribute to the
expansion of the discussion about the school routine, the relationships in the classroom and
what these relationships entail in teaching and learning. To this end, it is based on the
assumption that the pedagogical relationship between teacher and students is intrinsic to the
teaching-learning process and crucial to the success of the educational act. The aim was to
understand and discuss the dynamics of social relations in the classroom, questioning the
implications of the pedagogical relationship teacher-student in the teaching-learning process
in a 5th grade class in a public school in the Federal District. The general objective was to:
analyze how the teacher-student pedagogical relationship influences the teaching-learning
process. As specific objectives: discuss the teacher's and the students' perceptions about the
teacher-student relationship in the teaching-learning process; and to discuss how the
teacher-student relationship happens in a 5th grade class. This qualitative case study research
used for data collection: document analysis of the school's political-pedagogical project, class
observation, semi-structured interviews with the teacher, focus group, and projective drawing
with students. The theoretical framework is based on Cordeiro (2011), Cunha (2012), Jesus
(2003), Libâneo (1990), Morales (2008), Postic (1990), Veiga (2008), among others. The
results indicate that the pedagogical relationship studied is affective, intentional, generates
feedback to the teacher and students; it is dialogical and has repercussions on the teacher's
teaching and on the student’s learning
Por um fio de cabelo : a representação das mulheres brasileiras cacheadas, crespas e onduladas nas campanhas da Seda
Get PDFTrabalho de Conclusão de Curso (graduação)—Universidade de Brasília, Faculdade de Comunicação, Departamento de Comunicação Organizacional, 2021.O presente trabalho tem como objetivo compreender como a mulher de cabelos cacheados,
crespos e ondulados é representada em campanhas publicitárias da marca Seda. Como
referencial teórico, foram utilizadas discussões sobre temáticas de identidade no mundo
globalizado e a homogeneização das mesmas, assim como ideias que envolvem questões
raciais, a sociedade atual e o histórico da discriminação afrodescendente. Os procedimentos
metodológicos foram feitos a partir de revisão bibliográfica e da Análise do Discurso
(principalmente com base na vertente francesa) do histórico de lançamentos de produtos da
marca e da campanha “Seda Co-criações: Sonhos incríveis demais para não serem
realizados”. As principais conclusões estão ligadas à inclusão de corpos negros nas
campanhas, pouca diversidade de gênero e um discurso que se baseia mais em conceitos do
que na efetividade dos produtos.The objective of this present work is to comprehend how curly, coily and wavy hair women
are represented in advertising campaigns of the brand Seda. As a theoretical reference,
discussions involving identity in the globalized wold, the homogenization of them, as well as
ideas that speak to racial subjects, the informational society and the history of afro-descendant
discrimination were uses. The methodology applied came from literature review and from the
concepts of Discourse Analysis (mostly the French strand) in the history of product launches
and brand campaigns such as “Seda Co-criações: Sonhos incríveis demais para não serem
realizados”. The main conclusion are related to the inclusion of back bodies in the
advertisements, in the lack of gender diversity and in a discourse that has feelings as a base
Processos da engenharia de requisitos no contexto de internet das coisas (IoT) e técnicas de validação de requisitos
Get PDFTrabalho de conclusão de curso (graduação)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2021.A Internet das Coisas possibilitou um engrandecimento nas possibilidades de automação
e de facilitação do cotidiano das pessoas. Desde automação residencial até a edifícios
inteligentes, o aumento da popularidade da IoT traz um desafio para o desenvolvimento de
software e a engenharia de requisitos. Desenvolvedores e empresas não estão familiarizados
com os processos e técnicas de validação de requisitos existentes no contexto de sistema
IoT. Por conta disso, possíveis falhas de projeto e retrabalhos durante o desenvolvimento
de software são problemas a serem considerados pelas equipes de desenvolvimento. O
objetivo desse artigo é investigar na literatura os processos de engenharia de requisitos no
contexto de IoT e as técnicas de validação de requisitos utilizadas. Além disso, apresentar
um guia para apoiar as equipes de desenvolvimento de software a ter acesso fácil aos
processos e técnicas propostas na literatura para este contexto. Nós realizamos um survey
com os practitioners da indústria para investigar se eles usam e conhecem os processos e
técnicas identificadas na literatura. Nossos achados revelam que a técnica mais utilizada
pelos practitioners para realizar a especificação de requisitos são as reuniões com as partes
interessadas e brainstorming e para validar requisitos são utilizados os protótipos e casos
de uso.The Internet of Things made possible an increase in the possibilities of automation and
facilitation of people’s daily lives. From home automation to smart buildings, the rise in
IoT’s popularity brings a challenge to software development and requirements engineering.
Developers and companies are not familiar with the requirements validation processes and
techniques that exist in the context of an IoT system. Therefore, possible project failures
and rework during software development are issues to be considered by development
teams. The aim of this article is to investigate the requirements engineering processes
in the IoT context and the requirements validation techniques used in the literature.
Also, present a guide to support software development teams to have easy access to the
processes and techniques proposed in the literature for this context. We conducted a
survey of industry practitioners to investigate whether they use and know the processes
and techniques identified in the literature. Our findings reveal that the technique most
used by practitioners to perform requirements specification are stakeholders meeting and
brainstorming and to validate requirements are prototypes and use cases
A organização da escolarização nas unidades de internação socioeducativas do Distrito Federal
Get PDFTrabalho de Conclusão de Curso (graduação)—Universidade de Brasília, Faculdade de Educação, 2021.O presente trabalho, de abordagem qualitativa e concretizada por meio de fontes
primárias e secundárias, objetiva identificar como ocorre a organização escolar nas
unidades de internação do sistema educativo do Distrito Federal. Apoiada em autores
como Cunha; Dazzani (2018); Mocelin (2016); Pires, Sarmento e Dummont (2018);
Bandera (2019); Silva (2019) e Freitas et al (2018), os resultados evidenciaram que a
política de escolarização nas unidades de internação é uma ação intersetorial, cujos
núcleos de ensino são de responsabilidade da SEEDF. A Gerência de Acompanhamento
da Socioeducação vinculada à Diretoria de Educação do Campo, Direitos Humanos e
Diversidade é responsável pela articulação, organização e acompanhamento da
escolarização nos núcleos de ensino.The present work, with a qualitative approach and implemented through primary and
secondary sources, aims to identify how the school organization occurs in the
internment units of the educational system of the Federal District. Supported by authors
such as Cunha; Dazzani (2018); Mocelin (2016); Pires, Sarmento and Dummont (2018);
Bandera (2019); Silva (2019) and Freitas et al (2018), the results showed that the
schooling policy in inpatient units is an intersectoral action, whose teaching centers are
the responsibility of the SEEDF. The Socio-Education Monitoring Management linked
to the Rural Education, Human Rights and Diversity Directorate is responsible for the
articulation, organization and monitoring of schooling in the teaching centers
Relato de caso : sarcoma de tecido mole abdominal visceral em cão
Get PDFTrabalho de Conclusão de Curso (especialização)—Universidade de Brasília, Faculdade de Agronomia e Medicina Veterinária, Programa de Residência em Clínica Médica de Pequenos Animais, 2021.Os sarcomas de tecido mole (STM) incluem subcategorias de neoplasias de origem mesenquimal que possuem comportamentos biológicos distintos. Os STM são um grupo de tumores que podem surgir de tecidos conjuntivos, tecido adiposo, fáscia e tecido fibroso. Não há predisposição racial para o surgimento de STM, e a sintomatologia clínica costuma ser variável e inespecífica. Os exames laboratoriais são igualmente generalistas e os exames de imagem parecem ser fundamentais para o fortalecimento da suspeita clínica. O presente relato descreve a avaliação clínica de um paciente diagnosticado com sarcoma de tecido mole abdominal visceral esplênico primário, sendo considerada uma forma rara de apresentação. Destaca-se que a complexidade diagnóstica desses casos esteja relacionada à inespecificidade dos sinais clínicos e da necessidade de exames histológicos para comprovação diagnóstica
Alterações hematológicas em aves intoxicadas por chumbo no Distrito Federal
Get PDFTrabalho de Conclusão de Curso (especialização)—Universidade de Brasília, Faculdade de Agronomia e Medicina Veterinária, Programa de Residência em Patologia Clínica Veterinária, 2021.O presente trabalho tem por objetivo realizar uma revisão bibliográfica e um relato de caso a respeito das alterações hematológicas ocasionadas pela intoxicação por chumbo, bem como descrever os aspectos hematológicos de cinco aves acometidas por projétil de chumbo recebidas no Setor de Animais Silvestres do Hospital Veterinário da Universidade de Brasília
Análise da interação entre jogadores de basquetebol profissional do Novo Basquete Brasil (NBB) Temporada 2018-2019
Get PDFTrabalho de conclusão de curso (graduação)—Universidade de Brasília, Faculdade de Educação Física, 2021.O objetivo deste estudo foi comparar os níveis de centralidade dos jogadores que pertencem à equipe campeã e vice-campeã do Novo Basquete Brasil temporada 2018-2019, e a predominância de finalização das unidades de ataque. Determinaram-se os padrões de cooperação e níveis de proeminência com auxílio ao Sistema de Análise de Redes (SNA) por meio da mensuração das variáveis micro (degree centrality, degree prestige e Proximity Prestige). Os resultados não reportaram diferenças entre as equipes a partir da posição
ocupada na competição e não houve interação entre os fatores equipe e posição tática clássica (armador, ala e pivô). Por outro lado, os resultados reportaram diferenças entre as posições táticas clássicas para as variáveis micro mensuradas, com destaque para a posição tática do armador. A análise das finalizações das unidades de ataque extraídas, confirmaram predominância dos arremessos de 2 pontos, seguido dos arremessos de 3 pontos. Conclui-se que a equipe campeã e vice-campeã do NBB 2018-2019 são semelhantes no que se refere aos níveis de centralidade dos seus jogadores. No que se refere as posições táticas clássicas analisadas, observa-se que a posição tática do armador se destaca pelo nível de envolvimento no ataque e é a escolha preferida no momento de receber o passe dos colegas de equipe. Finalmente, as equipes estudadas apresentaram preferência pela utilização dos arremessos de 2 pontos e de 3 pontos