▼ 

O processo de moderniza??o da agricultura brasileira trouxe diferentes impactos socioecon?micos e ambientais, com a chamada Revolu??o Verde. A pobreza se intensificou pela distribui??o desigual da terra, deslocamento os agricultores familiares para os centros urbanos e aumento da pobreza no mundo rural. A partir da metade da d?cada de 2000, o Estado brasileiro, buscou atender ?s demandas dos agricultores familiares criando pol?ticas p?blicas espec?ficas, em que se destacam os programas de compra institucional de alimentos dos agricultores familiares. O objetivo principal desta pesquisa foi avaliar os impactos gerados na sustentabilidade da agricultura familiar a partir da operacionaliza??o do Programa de Aquisi??o de Alimentos (PAA). Os interlocutores da pesquisa foram agricultores familiares associados ? Associa??o dos Produtores Rurais da Comunidade Nova Esperan?a (ASPRONES), que desenvolvem suas atividades ao longo do ramal do Banco, no munic?pio Rio Preto da Eva. Este munic?pio se destaca pelo volume de produ??o negociada com o programa PAA. Foram utilizados diferentes instrumentos metodol?gicos como pesquisa de campo e aplica??o de formul?rios (socioecon?mico, escala brasileira de inseguran?a alimentar e frequ?ncia alimentar). Os resultados indicaram que na compara??o entre os dois grupos de agricultores familiares: fornecedores e n?o-fornecedores, notou-se a influ?ncia do Programa em seus mais diferentes aspectos. O resultado permitiu concluir que o PAA contribuiu para a sustentabilidade dos agricultores familiares.

The process of modernization of Brazilian agriculture brought different socioeconomic and environmental impacts, with the so-called Green Revolution. Poverty was intensified by the uneven distribution of land, displacement of family farmers to urban centers and increased poverty in the rural world. Since the mid-2000s, the Brazilian State has sought to meet the demands of family farmers by creating specific public policies, in which institutional programs for the purchase of food from family farmers stand out. The main objective of this research was to evaluate the impacts generated in the sustainability of family agriculture from the operationalization of the Food Acquisition Program (PAA). The research partners were family farmers associated with the Association of Rural Producers of the Nova Esperan?a Community (ASPRONES), which develop their activities along the branch of the Bank, in the municipality Rio Preto da Eva. This municipality stands out for the volume of production negotiated with the PAA program. Different methodological instruments were used as field research and application of forms (socioeconomic, Brazilian scale of food insecurity and frequency of feeding). The results indicate that in the comparison between the two groups of family farmers: suppliers and non-suppliers, we can see the influence of the program in its different aspects. The result allows to conclude that the PAA contributed to the sustainability of family farmers. Keywords: Family farming. Sustainability.…

Advisors/Committee Members: Pereira, Cloves Farias, 668137272-49, http://lattes.cnpq.br/2044866546851722, Santiago, Jozane Lima, 418382032-49, http://lattes.cnpq.br/2247173263656567, Fraxe, Therezinha de Jesus Pinto, 187554702-97, http://lattes.cnpq.br/1464615574272190, Silva, Carlos Augusto da, 068502782-15, http://lattes.cnpq.br/7477532256270106, [email protected].

▼ JUSTIFICATIVA: A Organiza??o Mundial da Sa?de (OMS) implantou, em 2007, o Programa ?Cirurgia Segura Salva Vidas? com o intuito de diminuir incidentes e acidentes no per?odo perioperat?rio. No Brasil, em muitas institui??es, apesar de anunciadamente implantado, o Programa n?o segue estritamente as regras estipuladas pela OMS. Nos dois maiores hospitais terci?rios formadores de recursos humanos na ?rea da Cirurgia, em Manaus, n?o ? diferente, sendo esta uma realidade a ser mudada. OBJETIVOS: Geral: Propor m?todo para melhorar o emprego efetivo do Protocolo de Cirurgia Segura em dois hospitais p?blicos terci?rios da cidade de Manaus. Espec?ficos: Conhecer o processo de execu??o do Protocolo de Cirurgia Segura nos dois hospitais; avaliar a ades?o da lista de controle de cirurgia segura pela equipe cir?rgica; introduzir t?cnica estruturada de concep??o de estrat?gias de inova??o que confira suporte ? implementa??o efetiva do Protocolo de Cirurgia Segura (PCS) nos dois hospitais p?blicos; proposi??o de solu??es para garantir a execu??o plena do PCS. M?TODO: Utilizou-se o Design Thinking como estrat?gia de solu??o de problemas com amostra de profissionais de centro cir?rgico dos dois hospitais. Ap?s revis?o da literatura sobre o assunto, seguiu-se a aplica??o das seguintes etapas: 1) Descoberta do problema: observa??o n?o intervencionista (shadowing) em ambos os hospitais; 2) S?ntese do problema, descrevendo o que foi observado e discutindo com os interessados na mudan?a; 3) Desenvolvimento e cocria??o da solu??o do problema com os participantes da pesquisa com prototipagem da solu??o; e 4) Implementa??o da solu??o testada com estabelecimento da proposi??o final. RESULTADOS: Sessenta e tr?s profissionais diretamente envolvidos em atos cir?rgicos nos dois hospitais analisados foram inclu?dos. O shadowing foi desenvolvido num total de 120h nos dois hospitais. Dele redundou relat?rio que apontou, para ambos os hospitais, v?rias inst?ncias de descumprimento do PCS. Diante das observa??es, socializadas com os participantes da pesquisa, foram discutidos os porqu?s do descumprimento do PCS conforme norma internacional (S?ntese). Na sequ?ncia, estando a problem?tica definida, em reuni?es com os participantes, procedeu-se ? cocria??o da solu??o para o problema, estabelecendo-se m?todo em que a mesma foi testada (prototipagem), decidindo-se iniciar a execu??o do PCS com um dos servi?os cir?rgicos dos hospitais estudados. Finalmente, diante dos resultados obtidos, prop?s-se solu??es definitivas a serem implementadas a fim de que o PCS passe a ser efetivamente executado nos dois hospitais. CONCLUS?ES: Conheceuse o processo de execu??o do PCS nos dois hospitais escolhidos, observando-se que o referido protocolo n?o era efetivamente executado. N?o se observou, inicialmente, haver ades?o ? lista de controle de cirurgia segura (checklist) em ambos os hospitais, e, ap?s a interven??o feita pelos pesquisadores, ainda se observou resist?ncia em cumpri-la. Foi utilizado o m?todo Design Thinking para o… Advisors/Committee Members: Silva, Ivan Tramujas da Costa e, 27571262968, http://lattes.cnpq.br/9640083128507793, Batista, Bruno Bruno Bellaguarda, http://lattes.cnpq.br/6170543311749874, Rocha, Mirian da Silva, http://lattes.cnpq.br/9090787223992119, Westphal, Fernando Luiz, http://lattes.cnpq.br/7831682850070733, [email protected].

▼ 

O trabalho tem como objetivo verificar se agricultura familiar e as pol?ticas p?blicas, voltadas ? garantia de mercados para a produ??o da agricultura familiar, se consolida com a cria??o do programa de aquisi??o de alimentos ? PAA, que tem com um dos seus principais objetivos o fortalecimento da agricultura familiar. Nesse contexto verifica-se o programa est? promovendo ou n?o a seguran?a alimentar (SAN) e se est? contribuindo com a receita e qualidade de vida dos fornecedores de alimentos da Cooperativa dos Trabalhadores da Agricultura Familiar COOTAF do Munic?pio de Manacapuru ? AM. Al?m de analisar se o programa do PAA tem sido uma ferramenta importante na sustentabilidade econ?mico e social e SAN dos agricultores familiares participantes da pesquisa. Assim na busca pela resposta de qual ? o papel que o programa tem no fortalecimento da agricultura familiar e considerando que o fortalecimento da agricultura tamb?m se d? atrav?s da organiza??o destes agricultores em associa??es ou cooperativas e nesse sentido foi feito um estudo de uma organiza??o social COOTAF, como uma alternativa de mercado e qual e a participa??o dos agricultores familiares dessa cooperativa com o mercado institucional, da? o interesse em buscar e coletar dados que pudessem contribuir com o entendimento da forma com que o PAA contribui para a seguran?a alimentar dos agricultores familiares da cooperativa, sendo est? escolhida por ser uma cooperativa que comercializa seus produtos da agricultura familiar diretamente para o PAA doa??o da CONAB-AM, e entender qual a import?ncia desse mercado institucional para os agricultores familiares da COOTAF. Os resultados da pesquisa confirmam parcialmente, demonstrando que o PAA de fato fortalece a agricultura familiar e que pode ser considerado como uma estrat?gia de pol?ticas p?blicas, de gera??o de receita e de retomo financeiro para os agricultores possibilitando a seguran?a alimentar de SAN e uma melhor qualidade de vida para os agricultores fornecedores de alimentos para o mercado institucional do PAA doa??o. Ao mesmo tempo, evidenciam que com o processo de comercializa??o via PAA, o produtor aumentou a sua renda e com isso modificou o seus h?bitos alimentares passando a consumir alimentos industrializados e desse modo podendo levar a uma, inseguran?a alimentar de INSAN, mas com rela??o aos agricultores familiares e o mercado institucional do PAA o mesmo vem cumprindo com os objetivos com que o programa foi proposto, e tem uma import?ncia significativa no fortalecimento da agricultura familiar e no desenvolvimento local, o investimento nessa ?rea por meio de pol?ticas p?blicas pode-se fomentar de forma positiva o desenvolvimento do setor rural, fazendo com que a comunidade desfrute de mais um segmento econ?mico, tendo em vista que a Agricultura Familiar, vem se fortalecendo com a venda dos produtos para o PAA no Estado do Amazonas.

The work aims to verify if family farming and public policies, aimed at guaranteeing markets for the production of family farming, are consolidated with the…

Advisors/Committee Members: Fraxe, Therezinha de Jesus Pinto, http://lattes.cnpq.br/1464615574272190, Oka, Jaisson Miyosi, http://lattes.cnpq.br/5952520937214398, Castro, Albejamere Pereira de, http://lattes.cnpq.br/7373400040002200, Silva, Carlos Augusto da, http://lattes.cnpq.br/7477532256270106.

▼ 

Os queijos cont?m microrganismos desej?veis que contribuem positivamente para o desenvolvimento das caracter?sticas organol?pticas do produto. Entretanto, alguns microrganismos indesej?veis podem estar contidos, estes s?o chamados de deteriorantes e/ou patog?nicos. A utiliza??o do oz?nio nos processos da ind?stria de alimentos vem crescendo ao longo dos anos, uma vez que tem gerado resultados positivos, pois o seu mecanismo de a??o atua diretamente nos componentes celulares. O objetivo deste trabalho foi avaliar a ocorr?ncia de altera??es na composi??o qu?mica e na carga microbiol?gica de queijo tipo coalho comercializado em Manaus ? AM, antes e ap?s a exposi??o ao g?s oz?nio. As amostras de queijo coalho artesanal foram coletadas em quatro feiras municipais da cidade de Manaus-AM. Foram coletadas tr?s amostras com peso de 250 g/amostra, por banca de venda, totalizando nove amostras por feira. As an?lises microbiol?gicas foram realizadas de acordo com a Instru??o Normativa n? 62 (MAPA, 2011) e para as an?lises bromatol?gicas foram usadas metodologias descritas pelo Instituto Adolfo Lutz (2008). Com base na an?lise estat?stica, os resultados significativos da aplica??o do g?s oz?nio foi o tempo de 6 horas em rela??o a redu??o da carga microbiana, e n?o houve altera??es relevantes na composi??o qu?mica do queijo analisado.

Cheeses contain desirable microorganisms that contribute positively to the development of the organoleptic characteristics of the product. However, some undesirable microorganisms may be contained, these are called spoilage and / or pathogens. Ozone utilization in food industry processes has been increasing over the years, as it has generated positive results, as its action mechanism acts directly on cellular components. The objective of this work was to evaluate the occurrence of changes in chemical composition and microbiological load of rennet cheese marketed in Manaus - AM, before and after exposure to ozone gas. The samples of artisanal coalho cheese were collected at four municipal fairs in Manaus-AM. Three samples weighing 250g / sample were collected per sales stand, totaling nine samples per fair. Microbiological analyzes were performed according to Normative Instruction n? 62 (MAPA, 2011) and for the bromatological analyzes methodologies described were used by the Adolfo Lutz Institute (2008). Based on the statistical analysis, the significant results of ozone gas application was the 6 hours time in relation to microbial load reduction, and there were no relevant changes in the chemical composition of the cheese analyzed.

FAPEAM - Funda??o de Amparo ? Pesquisa do Estado do Amazonas

Advisors/Committee Members: Costa Neto, Pedro de Queiroz, http://lattes.cnpq.br/9441888603413825, Pereira, Carlos Victor Lamar?o, http://lattes.cnpq.br/4615032888485093, Carvalho, Nilson Luiz de Aguiar, http://lattes.cnpq.br/8163327834949973.

▼ Introdu??o: Denomina-se Seguran?a do Paciente as medidas que s?o direcionadas ? preven??o do paciente em servi?os de sa?de contra riscos, danos desnecess?rios e eventos adversos no momento da assist?ncia. A seguran?a do paciente tem conduzido in?meros debates no atual cen?rio da sa?de mundial, com o objetivo de institucionaliza??o de melhores pr?ticas nos ambientes onde o paciente ? assistido. Para a constru??o da cultura de seguran?a ? imprescind?vel abordar a seguran?a do paciente nos diversos n?veis de ensino. Objetivo: Compreender os significados, a??es e interpreta??es atribu?dos acerca da tem?tica ?seguran?a do paciente? por discentes do curso de enfermagem. Materiais e M?todos: Trata-se de um estudo explorat?rio, descritivo com abordagem qualitativa, utilizando-se como t?cnica de coleta de dados a entrevista semiestruturada e a an?lise documental. A entrevista semiestruturada foi realizada com 12 discentes concluintes do curso de gradua??o em enfermagem de uma Institui??o de Ensino Superior p?blica em um mun?cipio da regi?o norte do Estado do Amazonas, Brasil. Este estudo est? pautado na proposta te?rico-metodol?gica do Interacionismo Simb?lico. Para interpreta??o dos resultados utilizou-se a an?lise tem?tica. Na pesquisa documental foi realizada a investiga??o no Projeto Pedag?gico do Curso (PPC) e 12 planos de ensino do curso de enfermagem ? luz do Patient safety curriculum guide: multi-professional edition. Resultados: Os resultados gerados por meio das entrevistas dos discentes fizeram emergir tr?s categorias: ?O significado da seguran?a do paciente?, ?Fatores que prejudicam a manuten??o da seguran?a do paciente? e ?A inser??o do tema seguran?a do paciente no curso de enfermagem?. Os significados para os discentes sobre a seguran?a do paciente s?o, a redu??o de danos, a garantia da integridade do paciente, familiares e profissionais de sa?de, a promo??o da sa?de atrav?s do conhecimento adquirido na academia, da atitude do profissional e da pr?tica. Entre os fatores que prejudicam a manuten??o da seguran?a do paciente citados pelos discentes est?o, a falta de implementa??o da seguran?a do paciente em ambiente hospitalar, a falta de estrutura f?sica e de recursos humanos nos locais onde fazem as aulas pr?ticas e est?gios curriculares. Os discentes foram un?nimes ao declarar a necessidade da inser??o da seguran?a do paciente como disciplina obrigat?ria no curso de enfermagem, bem como, a possibilidade de transversalidade no decorrer do curso. Os resultados da an?lise documental evidenciaram que existem conte?dos relacionados a seguran?a do paciente referentes a nove dos onze t?picos do Patient safety curriculum guide: multi-professional edition no curso de gradua??o investigado. A abordagem ? seguran?a do paciente foi identificada do 1? ao 10? per?odo no curso, com exce??o do 2?, 3? e 7? per?odo em que n?o foram identificados conte?dos relacionados ? tem?tica. Conclus?o: A realiza??o deste estudo possibilitou adentrar na realidade dos discentes de enfermagem de uma IES de um mun?cipio do interior do Amazonas,… Advisors/Committee Members: Silva, Nair Chase da, http://lattes.cnpq.br/0446971881472652, Oliveira, Hadel?ndia Milon de, http://lattes.cnpq.br/8283844873211364, Lopes Neto, David.

▼ 

In the last three decades, memory safety issues in low-level programming languages such as C or C++ have been one of the significant sources of security vulnerabilities; however, there exist only a few attempts with limited success to cope with the complexity of C++ program verification. This work describes and evaluates a novel verification approach based on bounded model checking (BMC) and satisfiability modulo theories (SMT) to verify C++ programs formally. This verification approach analyzes bounded C++ programs by encoding various sophisticated features that the C++ programming language offers into SMT, such as templates, sequential and associative containers, inheritance, polymorphism, and exception handling. We formalize these sophisticated features within our formal verification framework using a decidable fragment of first-order logic and then show how state-of-the-art SMT solvers can efficiently handle that. We implemented this verification approach on top of the Efficient SMT-Based Context-Bounded Model Checker (ESBMC). We compare ESBMC to LLBMC and DIVINE, which are state-of-the-art verifiers to check C++ programs directly from LLVM bitcode. The experimental evaluation contains a set of over 1,500 benchmarks from several sources (e.g., Deitel & Deitel, NEC Corporation, and GCC test suite), which covers several C++ features. Experimental results show that ESBMC can handle a wide range of C++ programs, presenting a higher number of correct verification results, and at the same time, it reduces the verification time if compared to LLBMC and DIVINE tools.

Este trabalho descreve e avalia o Efficient SMT-Based Context-Bounded Model Checker (ESBMC) para verificar formalmente programas C++. O ESBMC implementa a t?cnica de verifica??o de modelos limitados (do ingl?s, bounded model checking  – BMC) com base em teorias do m?dulo da satisfabilidade (do ingl?s, satisfiability modulo theories  – SMT) para lidar com recursos complexos que a linguagem de programa??o C++ oferece, tais como templates, cont?ineres sequenciais e associativos, heran?a, polimorfismo e manipula??o de exce??es. ESBMC ? comparado as ferramentas LLBMC e DIVINE, as quais verificam os programas C++ diretamente a n?vel de bitcode do LLVM. Resultados experimentais mostram que o ESBMC pode lidar com uma ampla gama de estruturas do C++, apresentando uma taxa de aproximadamente 85% de verifica??es corretas e, ao mesmo tempo, reduzindo o tempo de verifica??o se comparado as ferramentas LLBMC e DIVINE.

Advisors/Committee Members: Cordeiro, Lucas Carvalho, http://lattes.cnpq.br/5005832876603012, Barreto, Raimundo da Silva, http://lattes.cnpq.br/1132672107627968, Rocha, Herbert Oliveira, http://lattes.cnpq.br/2284500318304899.

▼ 

As informa??es compartilhadas na Web se propagam rapidamente, sejam elas verdadeiras ou n?o. O objetivo de reproduzir informa??es incorretas ou falsas est? relacionado a diversos fatores como manipula??o pol?tica, obten??o de benef?cios financeiros, dissemina??o de difama??es, entre outros. Sendo assim, verificar a credibilidade das informa??es dispon?veis na Web acaba sendo uma tarefa obrigat?ria. Dentre as diversas solu??es desenvolvidas para detectar se uma p?gina Web pode ser acreditada ou n?o, as baseadas em aprendizagem de m?quina s?o a mais empregadas. Esta disserta??o visa avaliar e definir atributos empreg?veis em um futuro modelo de avalia??o de credibilidade de p?ginas Web, por meio da extra??o de caracter?sticas do conte?do da p?gina e da rede, com o aux?lio de classificadores de aprendizagem de m?quina, possibilitando assim maior certeza sobre a credibilidade de p?ginas Web. Como resultado, esta disserta??o concluiu que o classificador Random Forest teve o melhor resultado para avalia??o de credibilidade de p?ginas web com 95.36% de acur?cia. Al?m de disponibilizar um script de extra??o de atributos, apontou tamb?m quais s?o os atributos mais relevantes e de f?cil extra??o que podem ser obtidos e qualquer URL, para isso utilizou 3 m?todos de sele??o de atributos: Select kbest, Sele??o RFE e Sele??o RFECV, no qual este ?ltimo apresentou o melhor resultado com 95.33% de acur?cia.

Information shared on the Web propagates quickly, whether true or not. Credibility in this context refers to the level of trust a user places subjectively on a Web page. The purpose of reproducing incorrect information is related to several factors such as political manipulation, obtain financial benefits, disseminate malicious defamation, among others. Therefore, verifying the credibility of the information available on the Web ends up being a mandatory task. Among the various techniques developed to detect whether aWeb page can be accredited or not, machine learning is the most used in comparison to the assessment of credibility manually. The purpose of this work is to evaluate and define attributes that can be used in a future model for assessing the credibility of Web pages, by extracting characteristics from the content of the page and the network, with the help of machine learning classifiers, thus enabling greater certainty on the credibility of web pages. As a result, this dissertation concluded that the Random Forest classifier had the best result for assessing the credibility of web pages with 95.36% accuracy. In addition to providing an attribute extraction script, also pointing out which are the most relevant and easy extraction attributes that can be selected for any URL, for that, 3 attribute selection methods are used: Select the best, RFE Selection and Selection RFECV, the last result with 95.33% accuracy.

Advisors/Committee Members: Feitosa, Eduardo Luzeiro, http://lattes.cnpq.br/5939944067207881, Giusti, Rafael, http://lattes.cnpq.br/0613781010575440, Santin, Altair Olivo, http://lattes.cnpq.br/9604696592563769.