230 research outputs found
Localização de usuários em ambientes prediais através de sistema RFID e classificadores supervisionados visando economia de energia
Monografia (graduação)—Universidade de Brasília, Faculdade de Tecnologia, Curso de Graduação em Engenharia de Controle e Automação, 2012.A aplicação de algoritmos de aprendizagem supervisionada que realizem classificação de padrões em
ambientes prediais, se utilizando de dados advindos de sistema de RFID (Radio Frequency
Identification), permite controlar de forma racional o acionamento de aparelhos de ar-condicionado,
entre outros equipamentos. Neste trabalho, os algoritmos classificadores utilizados foram o Multilayer
Perceptron (MLP) e o Support Vector Machine (SVM), ambos treinados com valores de RSSI coletados
por um sistema de controle de acesso via RFID instalado em um ambiente predial. Os resultados indicam
que a abordagem de classificação de padrões é viável para localização de usuários e possui boa taxa de
acerto na classificação dos três ambientes propostos. Foi possível propor uma metodologia para o
desenvolvimento de um sistema capaz de realizar o acionamento automático de aparelhos de arcondicionado,
proporcional ao número de pessoas ocupando o laboratório, a fim de garantir conforto e
economia de energia.The use of supervised learning algorithms that perform pattern classification in indoor environments,
using data from RFID system, allows controlling rationally, among other equipment, the air-conditioning
system. In this work, the classification algorithms used were Multilayer Perceptron (MLP) and Support
Vector Machine (SVM), both trained with RSSI values collected from a RFID (Radio Frequency
Identification) access control system present in an indoor environment. The results indicate that the
pattern classification approach is feasible for locating users and has good accuracy rate in the
classification of the three proposed environments. It was possible to propose a methodology for the
development of a system capable of performing the automatic actuation of air-conditioning systems,
proportional to the number of people occupying the laboratory to ensure comfort and energy savings
Visibilizar, desestabilizar e "fazer direito" : narrativas da população em situação de rua
Orientador(a): Prof(a). Dr(a). Vera Karam de ChueiriDissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Jurídicas, Programa de Pós-Graduação em Direito. Defesa : Curitiba, 22/04/2020Inclui referências: p. 210-223Resumo: O presente trabalho possui como objetivo apresentar a articulação política da população em situação de rua em torno do Movimento Nacional da População de Rua - MNPR, analisando o que é reivindicado e o que é denunciado a partir desse processo de organização, o qual evidencia, com a emergência daquele sujeito da injustiça social, a existência de uma verdadeira subcidadania em relação a essas pessoas marginalizadas. No entanto, essas mesmas pessoas buscam, por meio de uma luta por reconhecimento, romper com a indiferença e o preconceito, contribuindo com a construção da Política Nacional Para a População de Rua, prevista no Decreto 7.053/09, a qual é ao final analisada, destacando-se a sua limitação em relação à política de moradia, elemento central da situação de rua. Para tanto, realizou-se revisão bibliográfica acerca dos temas relacionados ao desenvolvimento do objeto de estudo, estruturando-o em três partes: visibilizar, desestabilizar e fazer direito (ou propor). Palavras-chave: População em situação de rua; Movimento Nacional da População de Rua; Políticas Públicas; Moradia; Direitos Humanos.Abstract: This work intends to present the political articulation of the homeless people in Brazil around the National Movement of Homeless People - MNPR, analyzing what is claimed and what is denounced through the process of organization of these movement, which evidences an existence of a under-citizenship from the struggle of that subject of social injustice. However, the homeless people, in a context of a struggle for recognition, sink to break with the prejudice and the indifference, achieving to build the National Policy for Homeless People in Brazil (Decree 7.053/09), which will be analyzed at the end of this work, when it concludes that the housing policy is not emphasized as it should be as a central element of the homeless situation. For the purpose of this work, it has been done an bibliographic review, structuring the work in three parts: visualize, destabilize and making it right (or to propose). Keywords: Homeless people; National Movement of the Homeless People; Public policy; Housing; Human Rights
A formal treatment of the role of verified compilers in secure computation
First online 19 November 2021Secure multiparty computation (SMC) allows for complex computations over encrypted data. Privacy concerns for cloud applications makes this a highly desired technology and recent performance improvements show that it is practical. To make SMC accessible to non-experts and empower its use in varied applications, many domain-specific compilers are being proposed.We review the role of these compilers and provide a formal treatment of the core steps that they perform to bridge the abstraction gap between high-level ideal specifications and efficient SMC protocols. Our abstract framework bridges this secure compilation problem across two dimensions: 1) language-based source- to target-level semantic and efficiency gaps, and 2) cryptographic ideal- to real-world security gaps. We link the former to the setting of certified compilation, paving the way to leverage long-run efforts such as CompCert in future SMC compilers. Security is framed in the standard cryptographic sense. Our results are supported by a machine-checked formalisation carried out in EasyCrypt. (c) 2021 Elsevier Inc. All rights reserved.- Acknowledgements Jose Bacelar Almeida was partially funded by the PassCert project, a CMU Portugal Exploratory Project funded by Fundacao para a Ciencia e Tecnologia (FCT) , with reference CMU/TIC/0006/2019
A machine-checked proof of security for AWS key management service
We present a machine-checked proof of security for the domain management protocol of Amazon Web Services' KMS (Key Management Service) a critical security service used throughout AWS and by AWS customers. Domain management is at the core of AWS KMS; it governs the top-level keys that anchor the security of encryption services at AWS. We show that the protocol securely implements an ideal distributed encryption mechanism under standard cryptographic assumptions. The proof is machine-checked in the EasyCrypt proof assistant and is the largest EasyCrypt development to date.Manuel Barbosa was supported by grant SFRH/BSAB/143018/2018 awarded by the Portuguese Foundation for Science and Technology (FCT). Vitor Pereira was supported by grant FCT-PD/BD/113967/201 awarded by FCT. This work was partially funded by national funds via FCT in the context of project PTDC/CCI-INF/31698/2017
Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head
MPC-in-the-Head (MitH) is a general framework that enables constructing efficient zero- knowledge (ZK) protocols for NP relations from secure multiparty computation (MPC) protocols. In this paper we present the first machine-checked implementations of this transformation. We begin with an EasyCrypt formalization that preserves modular structure of the original MitH construction and can be instantiated with arbitrary MPC protocols, secret sharing and commitment schemes satisfying standard notions of security. We then formalize various suitable components, which we use to obtain full-fledged ZK protocols for general relations. We compare two approaches for obtaining verified executable implementations. The first approach realizes a fully automated extraction from EasyCrypt to OCaml. The second one reduces the trusted computing base (TCB) and provides better performance for the extracted executable by combining code extraction with manual formal verification of low-level components implemented in the Jasmin language.
We conclude the paper with a discussion of the trade-off between formal verification effort and performance, and also discuss how our approach opens the way for fully verified implementations of state-of the-art optimized protocols based on MitH
Utilização de Técnicas de Manejo Comportamental e Neuropsicológicas para Intervenção dos Transtornos de Aprendizagem
O diagnóstico de dislexia do desenvolvimento é um fator de risco para as dificuldades de aprendizagem da matemática e exige programas de intervenção específicos e alicerçados no perfil cognitivo desse grupo clínico. Além dos déficits cognitivos, esses indivíduos também apresentam prejuízos emocionais e sociais. O objetivo do estudo foi avaliar a eficácia de um programa de intervenção da matemática, focado na habilidade de transcodificação numérica. Técnicas de manejo comportamental foram associadas ao treino cognitivo para lidar com os prejuízos emocionais. A intervenção foi realizada em três pacientes com diagnóstico de dislexia e sintomas de baixa autoeficácia, desmotivação e ansiedade de desempenho. Os pacientes participaram de sessões individuais, sendo que o programa foi estruturado em 12 sessões de 60 minutos cada. Para avaliação da eficácia do programa utilizou-se um delineamento de pré e pós-teste. Os resultados demonstraram que todos os pacientes obtiveram ganhos tanto quantitativos, quanto qualitativos. Entretanto, nem todas as habilidades treinadas obtiveram uma melhora significativa, atribui-se esse desfecho a diferenças no perfil cognitivo e emocional dos pacientes.The diagnosis of developmental dyslexia is a risk factor to mathematical learning difficulties and requires specific intervention programs grounded in the cognitive profile of this clinical group. Besides the cognitive deficits, these individuals have emotional and social impairment. The aim of the study was to evaluate the effectiveness of a math intervention program focused on numerical transcoding ability. Behavioral management techniques were used to deal with the emotional disregulation, during the cognitive intervention. The intervention was performed with three patients diagnosed with dyslexia and symptoms of low self-efficacy, demotivation and performance anxiety. Patients participated in individual sessions of the program which was structured in 12 sessions of 60 minutes each. In order to evaluate the effectiveness of the program, it was used pretest and posttest design. The results demonstrated that all patients had both quantitative and qualitative gain. However, some abilities did not show significative improvement. This scenario is related to pacients differences in cognitive and emotional profile
Overview of University Actions Aimed at The Nutrition of Two Indigenous Communities In The Interior of The State of Mato Grosso Do Sul – Brazil: Report of Experience In Public Policies
The diet composed of adequate food is reported in the literature as one of the aspects of health promotion and maintenance, and it is the duty and obligation of the State to promote public policies that seek to meet these needs of the population. However, due to a number of factors, the minority or vulnerable populations end up not benefiting from a good part of the projects in force in Brazil. Thus, this work aimed to conduct a case study with two indigenous communities living in the interior of the State of Mato Grosso do Sul, listing the main points related to food practices, evaluation of the state of health in force and measures that help adherence to good food practices. The largest target audience was children from 0 (zero) to 12 (twelve) years, totaling 190 (one hundred and ninety), followed by newborns and puerperals who totaled 14 (fourteen) family nuclei and the elderly population of the community, which totaled 15 (fifteen). The service team was composed of Nutritionist, Health Agent, Social Worker and Nutrition Intern professionals. Several activities were developed, occurring according to the public attended during the different days of visit in the villages, mainly home visits, community actions such as vaccination campaigns, lectures and collective guidance. It is concluded that the measures adopted in public policies related to feeding the indigenous community is a powerful tool to provide the benefits for a better quality of life, well-being and maintenance of the health of indigenous peoples
Food Science from the Perspective of the Nutrition Professional
This work had as thematic the study in analysis of foods from the perspective of the nutrition professional. The objective of the research was to seek the training of this professional for the then analysis of the performance in quality control and formulation of products, with the perspective of assistance to projects carried out on site. This research was conducted in a community cafeteria located in a university in the interior of the State of Mato Grosso do Sul - Brazil. As a data collection tool, preparation technical sheets were used in which costs were collected, the preparation order, and the nutritional value provided. Sensory observation was used as an analysis of the data in order to measure and analyze and interpret the reactions of food and material characteristics. It appears that with the identification, attributions and activities developed by a nutritionist in the area, it became possible to analyze the processing of raw material and industrialized food products, according to the needs presented by the site. As for the points not reached were not due to any other factors than those related to the specificities of the research site, which did not prevent the acquisition of theoretical, practical, scientific, social and environmental knowledge of the points concerning the area of action of the nutritionist professional within the field of food science
Nutritional Intervention in the Area of Clinical Nutrition in a Hospital Environment: A Report of Field Experience
The present experience report narrates a nutritional intervention in the area of individual and collective clinical nutrition that took place in a University Hospital (HU) in the interior of the State of Mato Grosso do Sul - Brazil. The main objective of this field work was the professional training for hospital and outpatient nutritional care through general and specific activities performed on site. The specific activities consisted in writing care protocols and standardization of hospital diets while the general activities consisted in the analysis of medical records, survey of clinical diagnoses, proposal of dietotherapic conduct, monitoring of nutritional status, prescription and dietary adequacy, preparation of nutritional guidelines and development, presentation and discussion of clinical cases. This work also reports on the difficulties in implementing and carrying out this intervention agenda and, given the results obtained, it was concluded that the field experience in the hospital area was a valid and beneficial opportunity in which it was possible to harmonize theory with practice
- …