Jacobson’s theorem on derivations of primitive rings with nonzero socle: a proof and applications

We provide a proof of Jacobson’s theorem on derivations of primitive rings with nonzero socle. Both Jacobson’s theorem and its formulation (in terms of the socalled differential operators on left vector spaces over a division ring) underlie our paper. We apply Jacobson’s theorem to describe derivations of standard operator rings on real, complex, or quaternionic left normed spaces. Indeed, when the space is infinite-dimensional, every derivation of such a standard operator ring is of the form A → AB− BA for some continuous linear operator B on the space. Our quaternionic approach allows us to generalizeRickart’s theorem on representation of primitive complete normed associative complex algebras with nonzero socle to the case of primitive real or complex associative normed Q-algebras with nonzero socle. We prove that additive derivations of the Jordan algebra of a continuous nondegenerate symmetric bilinear form on any infinite-dimensional real or complex Banach space are in a oneto- one natural correspondence with those continuous linear operators on the space which are skew-adjoint relative to the form. Finally we prove that additive derivations of a real or complex (possibly non-associative) H∗-algebra with no nonzero finite-dimensional direct summand are linear and continuousUniversidad de Granada/CBU

Nonassociative real H*-algebras

We prove that, if A denotes a topologically simple real (non-associative) H*-algebra, then either A is a topologically simple complex H*-algebra regarded as real H*-algebra or there is a topologically simple complex H*-algebra B with *-involution r such that A = {b € B : r(b) = b*} . Using this, we obtain our main result, namely: (algebraically) isomorphic topologically simple real H*-algebras are actually * isometrically isomorphic

Sistema de gestión de software para dispositivos IoT

Uno de los problemas actuales del Internet de las cosas (Internet of Things, IoT) es el despliegue de aplicaciones nuevas o actualización de antiguas sobre los dispositivos de forma remota. Existen problemas debidos a las dependencias, sus versiones y compatibilidad de estas con las nuevas actualizaciones. Otros problemas vienen derivados de que los errores que se producen en una aplicación puedan afectar a otras, o incluso afecten a componentes principales del dispositivo, es decir, problemas de aislamiento, y además puede existir una falta de escalabilidad de la red. Durante el desarrollo de este proyecto se han utilizado contenedores para ejecutar aplicaciones en los dispositivos IoT y solucionar los problemas de aislamiento y dependencias. Para la ejecución de los contendores se hace uso de dos motores de contendores de código abierto, Docker y balena-engine. Para la gestión de la red de dispositivos se ha usado Kubernetes, un sistema de orquestación de contenedores. Gracias a Kubernetes se ha creado un clúster de tipo maestro-esclavo que permite, a través de una API, gestionar los contendores que se ejecutan en los dispositivos, y, por tanto, las aplicaciones. Del uso de Kubernetes se obtienen otras ventajas, como la posibilidad de exponer servicios directamente desde los dispositivos para ser consultados desde el exterior del clúster. Con Kubernetes se solucionan tanto el problema de la escalabilidad como el despliegue. En esta memoria se explican conceptos básicos tanto de contenedores como de Kubernetes y se profundiza en su funcionamiento interno, algunas características de seguridad, protocolos utilizados, direccionamiento interno, etc. Al ser tecnologías orientadas a la computación en la nube se han adaptado al IoT, por lo que se explica cómo realizar estas adaptaciones para posteriormente ponerlas en práctica. También, se evalúan las características mínimas a nivel de hardware para que un dispositivo pueda incluirse en el sistema. Para demostrar que la teoría explicada realmente puede ponerse en práctica, se ha creado un clúster de Kubernetes de pruebas, desde cero. Para ello, se ha hecho uso de Kubeadm y Kubelet, y se ha utilizado Kubectl para dar las órdenes a través de la API que expone el maestro. El clúster de pruebas consta de dos Raspberry Pi, que juegan el papel de dispositivos IoT y son los esclavos, y por una máquina virtual ejecutándose en un ordenador portátil que juega el papel de maestro. El maestro hace uso de Docker para la ejecución de contenedores, mientras que los esclavos hacen uso de balena-engine por motivos de rendimiento y capacidad de computación. Este clúster es híbrido, ya que conviven en él dos motores de contenedores distintos y es multiarquitectura, puesto que el maestro es amd64 y los esclavos arm. Se explica además, cómo deben ser configurados los componentes principales del clúster como Kubelet o el componente encargado del direccionamiento interno, llamado Flannel. Dado que los dispositivos IoT por lo general utilizan sensores u otro tipo de hardware, se debe garantizar que es posible acceder a estos desde las aplicaciones que se ejecutan en un contenedor. Por ello, se explica el funcionamiento del hardware de una RaspberryPi a través de pines GPIO, cómo la aplicación puede acceder a él desde el contenedor y cómo se deben realizar los despliegues en el clúster para que los contenedores que se lanzan automáticamente puedan hacer uso de los sensores. Dentro de un contenedor se ejecuta una imagen que contiene la aplicación. Se han creado dos imágenes para ser ejecutadas en el clúster de pruebas. Estas dos imágenes hacen uso de sensores. La primera usa el sensor de luz para enviar a sus logs el nivel de luz externo y la segunda hace uso de diodos led para simular un semáforo. La creación de estas imágenes se utiliza para explicar el proceso de creación y optimización de una imagen cualquiera hasta conseguir que ocupe el mínimo espacio posible, ya que los dispositivos suelen tener poca memoria, y también para que puedan ser descargadas rápidamente desde el registro de imágenes. Como registro de imágenes se ha utilizado Dockerhub. Por último, se muestran evidencias de la creación del clúster, de la ejecución de las aplicaciones creadas en el clúster de pruebas y se evalúa el grado de obtención de los objetivos fijados.One of the current problems of the Internet of Things (Internet of Things, IoT) is the deployment of new applications or updates of old ones over devices remotely. There are problems due to the dependencies, their versions and their compatibility with the new updates. Other problems arise from the fact that errors that occur in one application may affect others, or even affect the main components of the device, that is, isolation problems, and, also, it could exist a lack of scalability of the network. During the development of this project containers have been used to run applications on IoT devices and solve the problems of isolation and dependencies. For the execution of the containers, two open source container engines, Docker and balena-engine, are used. For the management of the device network, Kubernetes, a container orchestration system, has been used. Thanks to Kubernetes, a cluster of master-slave type has been created that allows, through an API, to manage the containers that are executed in the devices, and, therefore, the applications. Other advantages are obtained from the use of Kubernetes, such as the possibility of exposing services directly from the devices to be consulted from outside the cluster. With Kubernetes both problems, scalability and deployment have been resolved. In this report, basic concepts of containers and Kubernetes are explained and their internal functioning, some security features, used protocols, internal addressing, etc. are studied in depth. Being technologies oriented to cloud computing have been adapted to the IoT, so it is explained how to make these adaptations to put them later into practice. Also, the minimum characteristics at the hardware level are evaluated so that a device can be included in the system. To demonstrate that the explained theory can actually be put into practice, a Kubernetes cluster for tests has been created, from scratch. For this, Kubeadm and Kubelet have been used, and Kubectl has been used to give the orders through the API that the master exposes. The test cluster consists of two Raspberry Pi, which play the role of IoT devices, so they are slaves, and by a virtual machine running on a laptop that plays the role of master. The master makes use of Docker for the execution of containers, while the slaves make use of balena-engine for performance reasons and computing capacity. This cluster is hybrid, since two different container engines coexist in it and it is multi-architecture, since the master is amd64 and the slaves are arm. It also explains how the main components of the cluster should be configured, such as Kubelet or the component responsible for internal addressing, called Flannel. Since IoT devices usually use sensors or other hardware, it must be guaranteed that they can be accessed from applications running in a container. Therefore, it explains the operation of the hardware of a RaspberryPi through GPIO pins, how the application can access it from the container and how the deployments in the cluster should be carried out so that containers that are launched automatically can make use of the sensors. An image containing the application is executed inside a container. Two images have been created to be executed in the test cluster. These two images make use of sensors. The first uses the light sensor to send the external light level to its logs and the second uses LED diodes to simulate a traffic light. The creation of these images is used to explain the process of creating and optimizing any image until it takes the minimum space as possible, since the devices usually have little memory, and also so that they can be downloaded quickly from the image registry. Dockerhub has been used as image registry. Finally, there is evidence of the creation, of the execution of the created applications in the test cluster and the grade of objetives achievement is evaluated.Universidad de Sevilla. Grado en Ingeniería de las Tecnologías de Telecomunicació

Citas2.0 : un gestor de reuniones online basado en AJAX

El objeto de este proyecto es el de realizar una aplicación web que nos permita organizar reuniones de tal manera que todas las personas convocadas pueden participar en la elección de la fecha del evento. La aplicación nos brinda la posibilidad de poder proponer actividades en unas fechas escogidas a un conjunto de contactos elegidos, y nos da la interfaz con la que todos los convocados a la actividad podrán realizar su elección. Esta aplicación se ha implementado siguiendo técnicas modernas de enriquecimiento de interfaces mediante Ajax. La interfaz enriquecida nos permite realizar aplicaciones ágiles e intuitivas para el usuario a costa de recursos del cliente, los cual es preferible para descargar la transferencia de datos por parte del servidor. El hacer esta interfaz rica, en muchos casos, supone limitar su accesibilidad, por lo que se ha desarrollado otra versión accesible de la aplicación. Esta versión sigue los estándares de web tradicional con contenido dinámico dado por el servidor. Para poder agilizarla un poco se ha limitado con respecto a la versión de interfaz enriquecido. Otra parte importante de este proyecto ha sido la realización de un sistema web genérico sobre el que desarrollar la aplicación. Ha sido interesante desarrollarlo de cara a la reutilización del código en futuras aplicaciones, lo cual nos va a permitir construir otras aplicaciones de forma más sencilla de lo habitual. Las tecnologías utilizadas en este proyecto pasan por aquellas necesarias para un desarrollo web. En la parte de servidor se ha optado por php más MySQL. En la parte de cliente, en la versión accesible solamente el cliente se tiene que encargar de interpretar el código HTML y su hoja de estilo procedente del servidor, y en la versión enriquecida además hacemos uso de Javascript, XML y peticiones asíncronas al servidor (Ajax). Como formato de mensaje en estas peticiones asíncronas se utiliza JSON o XML indistintamente, aunque en la mayoría de los casos se utiliza JSON.Ingeniería de Telecomunicació

Traditional and popular games: intemporal games

El propósito del presente trabajo es exponer y evidenciar el valor y la utilidad de trabajar juegos tradicionales y populares en el ámbito educativo. La puesta en práctica de la unidad didáctica diseñada se ha desarrollado en un 2º curso de Educación Primaria del C.E.I.P. Antonio Monzón. Mediante su diseño, desarrollo y aplicación, atendiendo al currículum educativo e indagando sobre distintas investigaciones de autores que versan sobre el tema, trato de aportar suficientes evidencias con las que demostrar el propósito mencionado. En las conclusiones sobre el trabajo, reflejo la importancia de estos juegos y la posibilidad de su aplicación.The aim of this paper is to expose and demonstrate the value and usefulness of working traditional and popular games in the educational field. The implementation of the didactic unit designed has been developed in a 2nd year of Primary Education in C.E.I.P. Antonio Monzón. Through its design, development and application, attending the educational curriculum and inquiring about different researches of authors that deal with the subject, I have tried to provide enough evidence to prove the aforementioned purpose. In the conclusions about the work, I reflect the importance of these games and the possibility of their application

Clima institucional y estrés laboral en docentes de la I.E.E. “Joaquín Capelo”- Chanchamayo - 2018.

El objetivo del presente estudio de investigación, es determinar la relación que existe entre el clima institucional y estrés laboral en docentes de la I.E.E. “Joaquín Capelo” – Chanchamayo 2018 El tipo de investigación fue descriptivo correlacional con enfoque cuantitativo y es de diseño no experimental. La población son todos los docentes que laboran en la institución educativa; la muestra asciende a 77 docentes de diversas áreas, especialidades y escalas. La técnica usada para recolectar información fue la encuesta, cuyo instrumento fueron dos cuestionarios que previamente han sido validados gracias al juicio del experto y se ha determinado la confiabilidad estadística con el Alfa de Cronbach. Llegamos a las conclusiones siguientes: entre el clima institucional y el estrés laboral existe una relación inversa entre las dos variables (Rho= -0,051; p= 0,0388 menor que 0.05), aceptando la hipótesis alterna. Respecto a las dimensiones los resultados obtenidos son: (a) el comportamiento institucional tiene una correlación negativa o inversa débil con el agotamiento institucional (Rho= -0.041; p= 0,018 menor que 0.05), aceptando la hipótesis alterna; (b) la capacidad organizacional tiene correlación negativa o inversa con una relación media con la realización personal (Rho= -0.112; p=0,032 menor que 0.05), aceptando la hipótesis alterna; (c) la dinámica institucional tiene correlación negativa o inversa con la despersonalización (Rho= -0.129, p = 0.025 menor que 0.05), aceptando la hipótesis alterna

Parallel simulation of Population Dynamics P systems: updates and roadmap

Population Dynamics P systems are a type of multienvironment P systems that serve as a formal modeling framework for real ecosystems. The accurate simulation of these probabilisticmodels, e.g. with Direct distribution based on Consistent Blocks Algorithm, entails large run times. Hence, parallel platforms such as GPUs have been employed to speedup the simulation. In 2012, the first GPU simulator of PDP systems was presented. However, it was able to run only randomly generated PDP systems. In this paper, we present current updates made on this simulator, involving an input modu le for binary files and an output module for CSV files. Finally, the simulator has been experimentally validated with a real ecosystem model, and its performance has been tested with two high-end GPUs: Tesla C1060 and K40.Ministerio de Economía y Competitividad TIN2012-37434Junta de Andalucía P08-TIC-0420

The Training Needs of Future Secondary Education Teachers in Spain

This paper shows the current situation of the R&D project ‘Analysis of the training model of secondary education teachers: identifying needs and proposals for improvement’. This project is focusing on the analysis, study and design of concrete proposals to assist in decision-making processes at two levels: (a) in the design of methodological strategies within the teaching practice and (b) the inclusion, where appropriate, of training models within the framework of the subjects currently defined in the new Master on Teacher Training for Secondary Schools in Spain. The project started in 2011/2012 and has been performed since then among the students of the new compulsory Master’s Degree. In this context, the present paper aims to study and analyse the training needs perceived by the students of this Master’s degree at the University of Seville. This analysis is complemented by a study on the monitoring reports of the Master’s degree by the University of Seville and the National Agency for Evaluation. The purpose of the study is to identify the extent to which a future training program (either a Master’s degree or any other alternative) must provide the development of skills focused on theoretical knowledge (contents) or the practical development thereof (competencies, abilities, or attitudes

The Training Needs of Future Secondary Education Teachers in Spain

This paper shows the current situation of the R&D project ‘Analysis of the training model of secondary education teachers: identifying needs and proposals for improvement’. This project is focusing on the analysis, study and design of concrete proposals to assist in decision-making processes at two levels: (a) in the design of methodological strategies within the teaching practice and (b) the inclusion, where appropriate, of training models within the framework of the subjects currently defined in the new Master on Teacher Training for Secondary Schools in Spain. The project started in 2011/2012 and has been performed since then among the students of the new compulsory Master’s Degree. In this context, the present paper aims to study and analyse the training needs perceived by the students of this Master’s degree at the University of Seville. This analysis is complemented by a study on the monitoring reports of the Master’s degree by the University of Seville and the National Agency for Evaluation. The purpose of the study is to identify the extent to which a future training program (either a Master’s degree or any other alternative) must provide the development of skills focused on theoretical knowledge (contents) or the practical development thereof (competencies, abilities, or attitudes

El desafiament pel coneixement. És l'LHC segur?

The Quest for Knowledge. Is the LHC safe?Experimental Particle Physics using accelerators has currently reached an exciting moment, with the upcoming launch of the Large Hadron Collider (LHC) at the European Laboratory for Particle Physics (CERN). Nonetheless, public opinion has welcomed the news of this research tool with interest but at the same time with reservations