Navegando por Autor "Bezerra, Paulo Eneas Rolim"
Agora exibindo 1 - 3 de 3
- Resultados por página
- Opções de Ordenação
Artigo Challenges to balance food demand and supply: analysis of PNAE execution in one semiarid region of Brazil(Desenvolvimento e meio ambiente, 2020) Jacob, Michelle Cristine Medeiros; Chaves, Viviany Moura; Pinheiro, Liana Galvão Bacurau; Neves, Renata Alexandra Moreira das; Araújo, Maria Arlete Duarte de; Silva, Joana Barbosa da; Bezerra, Paulo Eneas Rolim; https://orcid.org/0000-0002-4881-7285This study intended to address the challenges faced by the National School Feeding Program (PNAE) to implement public purchases from family farming, as they understand their role in the transformation of local food systems. For this, we developed a qualitative, exploratory, and descriptive study, in the state of Rio Grande do Norte, located in the northeastern semiarid region, during the regional assessments done by the Collaborating Center for the School Feeding Program in 2018 and 2019. We analyzed the policy from the perspective of the social actors inserted at the ends of the supply and demand chain through the application of questionnaires and focus groups. There were 188 social actors from 45 municipalities taking part in our data gathering. We examined the meeting of supply and demand based on the performance of the policy in the state, and identified that: i) the percentage of purchases between 2011 and 2017 was, on average, 19.1%, demonstrating that, despite not meeting the recommended rate, the state has progressed its investments in this segment; ii) some limitations characterized the limited effectiveness of public purchases of family farming for schools: lack of federal actions to enhance the value of family farming, unfavorable conditions for local agricultural production, low performance of technical rural assistance, menus do not reflect the offer of family farming, difficulties in preparing and executing the public call and insufficient communication between social actors; iii) Action and decision-making, through street-level bureaucracy, depends on the discretion of the social actors. We believe that this study can collaborate in the understanding of structural problems that affect the implementation of the program and assist in the search for alternatives that are consistent with the current needs, aiming at the construction of sustainable food systems.Artigo Challenges to balance food demand and supply: analysis of PNAE execution in one semiarid region of Brazil(Desenvolvimento e Meio Ambiente, 2020) Pinheiro, Liana Galvão Bacurau; Chaves, Viviany Moura; Neves, Renata Alexandra Moreira das; Araújo, Maria Arlete Duarte de; Silva, Joana Barbosa da; Bezerra, Paulo Eneas Rolim; Jacob, Michelle Cristine Medeiros; https://orcid.org/0009-0001-4777-763XThis study intended to address the challenges faced by the National School Feeding Program (PNAE) to implement public purchases from family farming, as they understand their role in the transformation of local food systems. For this, we developed a qualitative, exploratory, and descriptive study, in the state of Rio Grande do Norte, located in the northeastern semiarid region, during the regional assessments done by the Collaborating Center for the School Feeding Program in 2018 and 2019. We analyzed the policy from the perspective of the social actors inserted at the ends of the supply and demand chain through the application of questionnaires and focus groups. There were 188 social actors from 45 municipalities taking part in our data gathering. We examined the meeting of supply and demand based on the performance of the policy in the state, and identified that: i) the percentage of purchases between 2011 and 2017 was, on average, 19.1%, demonstrating that, despite not meeting the recommended rate, the state has progressed its investments in this segment; ii) some limitations characterized the limited effectiveness of public purchases of family farming for schools: lack of federal actions to enhance the value of family farming, unfavorable conditions for local agricultural production, low performance of technical rural assistance, menus do not reflect the offer of family farming, difficulties in preparing and executing the public call and insufficient communication between social actors; iii) Action and decision-making, through street-level bureaucracy, depends on the discretion of the social actors. We believe that this study can collaborate in the understanding of structural problems that affect CHAVES, V. M. et al. Challenges to balance food demand and supply: analysis of PNAE execution in one semiarid region of Brazil471the implementation of the program and assist in the search for alternatives that are consistent with the current needs, aiming at the construction of sustainable food systems.Dissertação Especificação e verificação CSP de um sistema de intertravamento ferroviário baseado em relé(Universidade Federal do Rio Grande do Norte, 2023-03-21) Bezerra, Paulo Eneas Rolim; Oliveira, Marcel Vinicius Medeiros; https://orcid.org/0000-0002-3023-2748; http://lattes.cnpq.br/1756952696097255; http://lattes.cnpq.br/3932679417197996; Sampaio, Augusto Cezar Alves; Musicante, Martin Alejandro; https://orcid.org/0000-0001-5589-3895; http://lattes.cnpq.br/6034405930958244Os Sistemas de Intertravamento Ferroviário (SIF) têm sido implementados há muito tempo como sistemas baseados em relés. No entanto, a verificação de segurança desses sistemas geralmente é feita manualmente a partir de uma análise de diagramas de circuitos elétricos, logo tal verificação não pode ser considerada confiável. Na literatura, abordagens com verificação formal são utilizadas para analisar tais sistemas. No entanto, esse tipo de verificação tende a consumir muitos recursos computacionais, o que dificulta o uso dessas verificações para sistemas industriais. Embora a comprovação formal do comportamento desses sistemas seja eficaz para melhorar a segurança, na literatura existente, os trabalhos geralmente focam na modelagem das transições de estado do sistema, ignorando os comportamentos concorrentes dos componentes independentes. Como consequência, não é possível verificar a existência de problemas de concorrência. Diferentemente de outras abordagens, a metodologia proposta neste trabalho permite a especificação de estados transitórios. Como resultado, é possível realizar uma verificação mais forte, incluindo uma investigação sobre a existência de estados com ciclos sucessivos (ou seja, ringbell effect), que são perigosos em tais sistemas. Neste trabalho é apresentada uma proposta de modelo formal de especificação dos estados dos componentes elétricos de SIF baseados em relés utilizando uma álgebra de processos, CSP. Este modelo permite a verificação de tais sistemas com base no comportamento de cada componente, o que permite a análise de ringbell effect, curtos-circuitos, deadlocks, divergências ou componentes que não podem estar ativados ao mesmo tempo. Além disso, o modelo proposto permite automatizar a verificação formal do sistema por verificação de modelos, focando nos aspectos de concorrência de tais sistemas e fundamentando a análise de novas condições de segurança que não foram consideradas nas abordagens anteriores