Frameworks for Protocol Implementation

This paper reports on the development of a catalogue of frameworks for protocol implementation. Frameworks are software structures developed for a specific application domain, which can be re-used in the implementation of various different concrete systems in this domain. By using frameworks we aim at increasing the effectiveness of the protocol implementation process. We assume that whenever protocols are directly implemented from their specifications one may be able to increase the correctness and the speed of the implementation process, and the maintainability of the resulting system. We argue that frameworks should match the concepts underlying the techniques used for specifying protocols. Consequently, we couple the development of frameworks for protocol implementation to the investigation of the different alternative design models for protocol specification. This paper presents the approach we have been using to develop frameworks, and illustrates this approach with an example of framework

Control adaptativo por modelo de referencia con síntesis de controlador mínima en sistemas con incertidumbre y sujetos a perturbaciones

In this research work, a non-linear technique called Minimum Controller Synthesis (MCS) is presented. This is a variant of the Model Reference Adaptive Control (MRAC), which has the main advantage of requiring very little information from the device to be controlled. It can be implemented in continuous or discrete time, and that guarantees that if the parameters of the plant are constant or that vary more slowly than the adaptive gains, the error between the desired characteristics and those of operation, tend to zero in steady state. This guarantees stable conditions of performance and robustness to parametric variation. The tracking speed and the rejection of disturbances are other inherent characteristics of the technique. The mathematical development of the MCS technique is presented, starting from the MRAC to obtain its basic presentation, its modeling in continuous time, and then arrive at discrete time. Then, they are evaluated mathematically and experimentally in systems to be controlled (with parametric uncertainty and/or disturbances presence) in order to propose a development alternative to current automatic control systems. For this purpose, the following two systems with uncertainty and under disturbance were evaluated: a Laboratory control system called "Roto-Magnet" and a Single-Phase Inverter based on a LCL (a device widely used today to the incorporation of electrical energy from renewable sources to electrical networks). The methodology used is to implement the adaptive algorithms and evaluate them in continuous time through the mathematical model of the Roto-Magnet plant. Then, take them at discrete time and observe their operation both in simulation and in real way in the Laboratory, taking in consideration that the Roto-Magnet has a vector of first-order states. These experiences were scaled to the LCL based Inverter, whose state vector is third order. The results of the adaptive control implemented to control the LCL-based single-phase inverter can be seen through the averaged and switched mathematical models that were developed in Matlab/Simulink. The results obtained in the two plants with the adaptive control, allow visualizing the performance of MCS, its robustness in the face of the uncertainty in the parameters, in its modeling and also in the face of periodic disturbances. These adaptive designs incorporated parametric projection to avoid the drift growth of adaptive gains and a controller based on the Principle of the Internal Model, which improves the capabilities of reference tracking and rejection of disturbances of this class. The thesis is divided into nine chapters that describe from the basic aspects to more complex aspects, and at the same time show how these have been solved, their implementations and the results obtained from the Minimum Controller Synthesis technique. The results in the mathematical field as in the real plants are compared with other techniques developed for the Roto-Magnet plant and the Inverter based on LCL. Based on this, its advantages and disadvantages are observed in order to present the advances made in the technique. Finally, the explanations have been sought to be detailed and easy to understand throughout all the chapters of the thesis, enriching this description with references to multiple scientific articles and texts, which allow better orienting and deepening the topics according to the interests and requirements of each reader.En este trabajo de investigación se presenta una técnica no lineal denominada Síntesis de Controlador Mínima MCS, una variante al Control Adaptativo por Modelo de Referencia MRAC, la cual tiene como principal ventaja la de requerir muy poca información del dispositivo a controlar, que puede ser implementada en tiempo continuo o discreto, y que garantiza que si los parámetros de la planta son constantes o que varían más lentamente que las ganancias adaptativas, el error entre las características deseadas y las de funcionamiento, tiendan a cero en estado estacionario, garantizando condiciones estables de funcionamiento y robustez ante variación paramétrica. La velocidad de seguimiento y el rechazo de perturbaciones, es otra característica inherente de la técnica. Se presentan los desarrollos matemáticos de la técnica de MCS, partiendo del Control Adaptativo por Modelo de Referencia, para obtener su presentación básica, su modelado en tiempo continuo, para luego llegar a tiempo discreto, y se evalúan de manera matemática y experimental en sistemas a ser controlados (sistemas presentan problemas de incertidumbre paramètrica y/o presencia de perturbaciones), para plantear una alternativa de desarrollo a los sistemas de control automático actuales. Con este propósito, los sistemas con incertidumbre y sujetos a perturbación a evaluarse, serán dos, por un lado, un sistema de control de Laboratorio denominado ¿Roto-Imán¿ y por otro lado un Inversor Monofásico basado en LCL (dispositivo muy usado actualmente para la incorporación de energía eléctrica proveniente de fuentes renovables a las redes eléctricas). La metodología que se sigue es la de implementar los algoritmos adaptativos y evaluarlos en tiempo continuo mediante el modelo matemático de la planta Roto-Imán, para luego llevarlos a tiempo discreto y observar su funcionamiento tanto en simulación como de forma real en el Laboratorio, teniendo en cuenta que el Roto-Imán tiene un vector de estados de primer orden. Estas experiencias serán escalas al Inversor basado LCL, cuyo vector de estados es de tercer orden. Los resultados del control adaptativo implementado para controlar el Inversor monofásico basado en LCL se verán a través de los modelos matemáticos promediados y conmutados, que fueron desarrollados para el efecto en Matlab/Simulink. Los resultados obtenidos en las dos plantas con el control adaptativo, permiten visualizar las prestaciones de MCS, su robustez frente a la incertidumbre en los parámetros, en el modelado de la misma y también frente a perturbaciones periódicas. A estos diseños adaptativos se le incorporará proyección paramétrica para evitar el crecimiento a la deriva de las ganancias adaptativas y un controlador basado en el Principio del Modelo Interno, que mejore las capacidades de seguimiento de referencias y rechazo de perturbaciones de esta clase. La tesis está dividida en nueve capítulos que van describiendo desde los aspectos básicos hasta irse adentrando en aspectos más complejos, y mostrando a la vez como estos han sido resueltos, sus implementaciones y los resultados obtenidos de la técnica de Síntesis de Controlador Mínima. Los resultados en el ámbito matemático como en la planta real, son comparados con otras técnicas desarrolladas para la planta Roto-Imán y el Inversor basado en LCL; y en base a ello, se observan sus ventajas y desventajas, para luego presentar los avances logrados en la técnica. Decir además que se ha buscado que las explicaciones sean detalladas y de fácil comprensión a lo largo de todos los capítulos de la tesis, enriqueciendo esta descripción con referencias a múltiples artículos científicos y textos, que permitan orientar de mejor forma y profundizar en los temas de acuerdo a los intereses y requerimientos de cada lector.Postprint (published version

Intellectual organic as mediator information: some considerations about a possible dialogue

The definition of the concept of information mediator has been in general, in the field ofInformation Science, associated to the information professional. However, information is mediated by a large number of people and information environments that transcend environments such as libraries, archives and museums, traditionally thought by CI. Without objecting to the importance of the environments worked in the field, the objective here is to make some considerations about the concept of information professional and to reflect, through the Gramsciano concept of Organic Intellectual, about the idea of mediator of the information so that we can think about how Information is mediated in all spheres of society, that is, in its various groups, organizations and communication vehicles. Finally, the idea of the mediator is presented as being all those who work in society, such as pastor, priest, player, community representative, teacher, health professional, computer, musician, journalist, etc., that is, a fundamental Intellectual Intellectual to promote social transformations.A definição do conceito de mediador da informação tem sido de maneira geral, na área de Ciência da Informação, associado ao profissional da informação. No entanto, a informação é mediada por um número amplo de pessoas e de ambientes informacionais que transcendem os ambientes como as bibliotecas, os arquivos e museus, tradicionalmente pensados pela CI. Sem contestar a importância dos ambientes trabalhados no campo, o objetivo aqui posto é tecer algumas considerações acerca do conceito de profissional da informação e refletir, por meio do conceito Gramsciniano de Intelectual Orgânico, acerca da ideia de mediador da informação para que possamos pensar sobre como a informação é mediada em todos os âmbitos da sociedade, ou seja, em seus vários grupos, organizações e veículos de comunicação. Por fim, é apresentado a ideia do mediador como sendo todos aqueles que atuam na sociedade, como o pastor, o padre, o jogador, o representante comunitário, o professor, o profissional da saúde, da computação, o músico, o jornalista, etc., ou seja, um Intelectual Orgânico fundamental para promover transformações sociais

Control adaptativo por modelo de referencia para un inversor basado en LCL con síntesis de controlador mínima

[Resumen] Un Control Adaptativo por Modelo de Referencia (MRAC) con Síntesis de Controlador Mínima (MCS), es desarrollado con el objetivo de controlar un Inversor monofásico basado en un Filtro LCL conectado a la Red Eléctrica y adaptar el inductor de la red, que es un parámetro desconocido y que genera incertidumbre, manteniendo las prestaciones y la robustez del sistema. Para ello primero se revisara el algoritmo de MCS y en función de este, se muestran todos los pasos a seguir y el desarrollo de los componentes necesarios para el funcionamiento de MCS en tiempo continuo. Se desarrolla un modelo de simulación promediado y se presentan los resultados obtenidos.Este trabajo ha sido realizado gracias al apoyo de la Secretaría Nacional de Educación Superior, Ciencia y Tecnología e Innovación del Ecuador (SENESCYT), a la Universidad de Cuenca, y a los proyectos DPI2013-41224-P y DPI2015-69286-C3-2-R (MINECO/FEDER) y 2014 SGR 267 de la agencia AGAUR de la Generalitat de CatalunyaGeneralitat de Catalunya; 2014 SGR 267https://doi.org/10.17979/spudc.978849749808

História de vida

RESUMO:O objetivo do presente estudo foi descrever e interpretar, de acordo com a literatura específica, a percepção de professores de esportes para jovens sobre a forma como obtiveram seus conhecimentos para ensinar. Realizou-se uma pesquisa qualitativa de caráter descritivo interpretativo, com estudo de casos múltiplos, envolvendo 4 professores de reconhecida competência na formação de jovens esportistas. Os dados foram coletados através de entrevista estruturada, semi-estruturada e analisados utilizando-se a técnica de análise do conteúdo. Os resultados evidenciaram que os docentes valorizam diversas fontes de conhecimento, sobre tudo as situações reais decorrentes da experiência prática como atleta; observação de seu professor; socialização dos conhecimentos através de compartilhamentos de informações e reflexão sobre seu desempenho como professor. Concluiu-se que os profissionais aprenderam através de um fazer compartilhado, com predomínio prático e realizado com foco no domínio de conhecimentos sobre o esporte o qual ensinam. ABSTRACT:The aim of this study was to describe and interpret, according to the specific literature, the perception of youth sports teachers on how to teach acquired their knowledge. We conducted a qualitative research interpretive, descriptive, with multiple case study involving 4 teachers of recognized competence in the training of young athletes. Data were collected through structured interview, semi-structured and analyzed using the technique of content analysis. The results showed that teachers value different sources of knowledge about all the situations arising from real practical experience as an athlete, watching your teacher; socialization of knowledge through shares information and reflection on his performance as a teacher. It was concluded that professionals have learned to do through a shared, practical and performed predominantly focused in the field of knowledge about the sport which they teach. RESUMEN:El objetivo del estudio fue describir e interpretar, de acuerdo con la literatura específica, la percepción de profesores de jóvenes deportistas sobre cómo adquirido sus conocimientos para enseñar. Se realizó una investigación cualitativa interpretativa, descriptiva, con estudio de casos múltiple con 4 profesores de reconocida competencia en la formación de jóvenes deportistas. Los datos fueron colectados a través de entrevistas estructuradas, semi-estructuradas y analizados mediante la técnica de análisis de contenido. Los resultados mostraron que los profesores valoran las diferentes fuentes de conocimiento, especialmente las situaciones derivadas de la experiencia práctica y real como atleta, observando a su profesor, la socialización del conocimiento a través de acciones de información y reflexión sobre su desempeño como docente. Se concluyó que los profesionales han aprendido a través del hacer compartido, práctico y realizado predominantemente centrado en el campo de los conocimientos sobre el deporte que enseñan

A mercoaprendizagem das EdTechs na educação brasileira a partir dos impactos da pandemia da Covid-19

O texto busca discutir os impactos da pandemia da Covid-19 no setor educacional considerando o aprofundamento da mercoaprendizagem. A educação remota surge como solução dos governos para reduzir as consequências da suspensão das aulas. A utilização desses recursos de modo centralizado expressa os interesses do mercado da aprendizagem, uma vez que a financeirização da educação é aprofundada a partir da compra de pacotes de empresas de EdTechs pelo setor público. Constata-se que setores empresariais vinculados a algumas esferas da educação, sobretudo da educação a distância por meio de venda de recursos tecnológicos e com atuação de EdTechs buscam efetivar a mercoaprendizagem de modo oportunista e sem considerar o futuro da educação pública estatal e dos estudantes das camadas populares

O ensino inclusivo nas aulas de educação física: estudo a partir da percepção dos professores

O objetivo do estudo foi descrever as percepções de professores a respeito das dificuldades para implementar o ensino inclusivo nas aulas regulares de Educação Física. Realizou-se um estudo de abordagem qualitativa com três professoras de Educação Física escolar. Para a coleta dos dados utilizou-se um roteiro de entrevista estruturada com questões sobre a biografia dos sujeitos, nível de formação profissional, tempo e nível de experiência pessoal no ensino inclusivo. A entrevista semiestruturada permitiu a obtenção de descrições das professoras sobre suas percepções a respeito das dificuldades metodológicas, contextuais e de conteúdos para a implementação do ensino inclusivo. Os dados foram tratados com a técnica de análise de conteúdo com categorias determinadas a priori. Os resultados indicam o predomínio de dificuldades em relação às estruturas físicas e recursos matérias para as aulas; para promover variabilidade e estabelecer uma sequência aos conteúdos, e ainda para a seleção e utilização de estratégias que favoreçam a prática cooperativa entre os alunos

Study of the Energy Efficiency of an Urban E-Bike Charged with a Standalone Photovoltaic Solar Charging Station and its Compliance with the Ecuadorian Grid Code No. ARCERNNR – 002/20

E-bikes are an emerging sustainable means of transportation, if adopted massively, they can help face the challenges of human mobility in urban centers worldwide. In Cuenca, Ecuador, the local government built cycle routes (13.47 km) connecting strategic points to facilitate and encourage sustainable mobility. However, the effective implementation of the electromobility strategies at a large scale entails impacts on the power grid, like the increase in the energy demand and the possible decrease of the energy quality due to the harmonic distortion that characterizes the battery's charging current. This research aims to obtain a primary input to evaluate such impacts through an energy efficiency study of an urban e-bike charged by a standalone solar photovoltaic charging station implemented in the Microgrid Laboratory of Universidad de Cuenca. The methodology includes the experimental characterization of the battery's charging regime, the vehicle's energy efficiency calculation, and the evaluation of its compliance with Ecuadorian grid code No. ARCERNNR – 002/20. Results show that the battery's charger performs a charging regime standardized by German regulations, delivering 92% of charge in 4.82 hours. The e-bike's calculated average energy efficiency is 2.18 kWh/100 miles or 73.77 m/Wh, and a fuel economy of 1545.1 MPGe. Finally, the magnitude of the first four odd harmonic components and the total harmonic distortion of the charging current exceeds the limits established by the grid code in force

Estudio de eficiencia energética de una bicicleta eléctrica urbana cargada con una estación de carga solar fotovoltáica autónoma y su cumplimiento con la regulación ecuatoriana No. ARCERNNR – 002/20

Las bicicletas eléctricas (e-bikes) son un medio de transporte sostenible emergente. Si se adoptan masivamente, ayudarían a enfrentar los desafíos de movilidad humana en las ciudades del mundo. En Cuenca, Ecuador, el Gobierno local construyó ciclovías (13,47 km) que conectan puntos estratégicos, para facilitar y fomentar la movilidad sostenible. Sin embargo, la implementación efectiva de las estrategias de electromovilidad a gran escala conlleva impactos en la red eléctrica, como el aumento de la demanda de energía y la posible disminución de su calidad debido a la distorsión armónica de la corriente de carga de la batería. El propósito de esta investigación es hacer una evaluación preliminar de dichos impactos, mediante el estudio de eficiencia energética de una e-bike urbana cargada con una estación solar fotovoltaica aislada, implementada en el Laboratorio de Micro-Red de la Universidad de Cuenca.La metodología incluye la caracterización experimental del régimen de carga de la batería, el cálculo de la eficiencia energética del vehículo y la evaluación del cumplimiento de la normativa ecuatoriana ARCERNNR–002/20. Los resultados muestran que el cargador de la batería implementa un régimen de carga estandarizado por normas alemanas, entregando 92 % de carga en 4,82 horas. La eficiencia energética promedio de la e-bike es 2,18 kWh/100 millas o 73,77 m/Wh, y una economía de combustible de 1545,1 MPGe. Finalmente, la magnitud de las primeras cuatro componentes armónicas impares y la distorsión armónica total de la corriente de carga supera los límites establecidos por la normativa./E-bikes are an emerging sustainable means of transportation, if adopted massively, they can help face the challenges of human mobility in urban centers worldwide. In Cuenca, Ecuador, the local government built cycle routes (13.47 km) connecting strategic points to facilitate and encourage sustainable mobility. However, the effective implementation of the electromobility strategies at a large scale entails impacts on the power grid, like the increase in the energy demand and the possible decrease of the energy quality due to the harmonic distortion that characterizes the battery’s charging current. This research aims to obtain a primary input to evaluate such impacts through an energy efficiency study of an urban e-bike charged by a standalone solar photovoltaic charging station implemented in the Microgrid Laboratory of Universidad de Cuenca.The methodology includes the experimental characterization of the battery’s charging regime, the vehicle’s energy efficiency calculation, and the evaluation of its compliance with Ecuadorian grid code No. ARCERNNR – 002/20. Results show that the battery’s charger performs a charging regime standardized by German regulations, delivering 92% of charge in 4.82 hours. The e-bike’s calculated average energy efficiency is 2.18 kWh/100 miles or 73.77 m/Wh, and a fuel economy of 1545.1 MPGe. Finally, the magnitude of the first four odd harmonic components and the total harmonic distortion of the charging current exceeds the limits established by the grid code in force