5,879 research outputs found
Constraints in language education during the pandemic in junior high school
The pandemic has prevented language learners worldwide from getting the right education. English is just one of those subjects in which this has been remarkably significant due to the lack of classroom interaction and the reduced amount of input students have received. The current study explores 14 EFL teachers? reflections on the main challenges they have been facing. Their responses were given in an open-ended survey. The Content Analysis carry out aimed at identifying the main constraints primary and secondary EFL teachers have faced while teaching during the first months of the pandemic. It also addresses the possible solutions they have used to address the input scarcity due to the current situation. The paper stresses that it is clear the role that input and strategies have in language learning. The paper concludes that the gap in learning may require additional teaching support in the incoming years
Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus
International audienceIn [CSVV06] the authors studied the expressiveness of persistence in the asynchronous pi calculus (Api) wrt weak barbed congruence. The study is incomplete because it ignores the issue of divergence. In this paper we present an expressiveness study of persistence in the asynchronous pi-calculus (Api) wrt DeNicola and Hennesy's testing scenario which is sensitive to divergence. We consider Api and theree sub-languages of it, each capturing one source of persistence: the persistent-input calculus (PIApi), the persistent-output calculus (POApi) and persistent calculus (PApi). In [CSVV06] the authors showed encodings from Api into semipersistent calculi are correct wrt weak barbed congruence. In this paper we prove that, under some general conditions, there cannot be an encoding from Api into a (semi)-persistent calculus preserving the must testing semantics. [CSVV06 ] C. Palamidessi, V. Saraswat, F. Valencia and B. Victor. On the Expressiveness of Linearity vs Persistence in the Asynchronous Pi Calculus. LICS 2006:59-68,2006
Expressiveness of Recursion, Replication and Scope Mechanisms in Process Calculi
International audienceIn this paper we shall survey and discuss in detail the work on the relative expressiveness of recursion and replication in various process calculi. Namely, CCS, the pi-calculus, the Ambient calculus, Concurrent Constraint Programming and calculi for Cryptographic Protocols. We shall give evidence that the ability of expressing recursive behaviour via replication often depends on the scoping mechanisms of the given calculus which compensate for the restriction of replication
Propuesta de implementación de un sistema de gestión mediante un monitoreo GPS, GSM y GPRS en el proceso de Transporte de explosivos para mejorar la productividad de la empresa de transportes Cruz de Lara S.R.L., Arequipa 2020
La presente investigación busca optimizar la productividad de la empresa de Transportes Cruz
de Lara S.R.L añadiendo nuevos métodos como el Sistema Global para las comunicaciones
móviles y el servicio general de paquetes de radio para el sistema de gestión de monitoreo.
Primero se realizó un diagnóstico de cómo se lleva la gestión del monitoreo y el servicio de
transporte que brinda la empresa, utilizando la herramienta de diagramas BPMN; se
identificaron además las rutas donde presta el servicio, siendo la ruta de Ilo – Toquepala sobre
el cual se hizo el planteamiento de mejora, en dicha ruta existe un total de tres viajes por semana
con una duración de 2 días por viaje. Se calculó el ratio de productividad de los conductores
de la ruta Ilo-Toquepala mediante la división de la distancia entre el tiempo de recorrido,
obteniendo a la actualidad 11.06 km/horas de servicio como valor más alto.
Al concluir con el diagnóstico se pudo apreciar que contaba con falencias y una de las
principales y donde se basó la investigación fue que en algunas zonas geográficas de las rutas
que se realiza se pierde la conexión del sistema actual y es ahí donde se pierde el control, otra
de las falencias es la información brindada por el sistema es muy básica y la mala utilización
de tiempos para realizar los viajes en el transcurso de la semana.
La propuesta consiste en la implementación de un sistema de GSM y GPRS para mejorar las
deficiencias mencionadas, este sistema evitará la perdida de conexión y brindará mayor
información como el consumo de combustible, la fecha de vencimiento del brevete y la
comunicación será por radio y mensaje. Los viajes para la ruta de Ilo-Toquepala pasaran de ser
3 por semana a 6, esto es factible porque la empresa tiene los recursos y los conductores tienen
el tiempo disponible. El ratio de la productividad esperada es de 12.98 km/horas de servicio.Tesi
Gestión previsional y la articulación con procedimientos de pago de pensiones en el sector defensa. Lima, 2023
La investigación versa el tema de gestión previsional de pensionistas administrada
y ejecutada por la Dirección General Previsional de las Fuerzas Armadas
(DGEPREV) del Ministerio de Defensa (MINDEF), realiza pagos pensionarios con
caudales públicos a pensionistas militares, sobrevivientes y excombatientes, el
objetivo es determinar cómo influye la gestión previsional y su articulación con
procedimientos de pago de pensiones en el sector defensa, metodología usada de
tipo básica, enfoque cualitativo y diseño fenomenológico, el instrumento para
obtener información fue en base a guía de entrevista semiestructurada a cinco
funcionarios participantes validada por tres expertos con experiencia en gestión
pública estatal. Obteniendo resultados que evidencian una gestión previsional a
cargo de la DGEPREV con irregularidades debido a que existen planillas de pago
emitidas en el SIPREFA que carece de interconexión con data de RENIEC, toda
vez que, los datos personales del pensionista no son validados permitiendo la
inclusión de pensionistas fallecidos y personas que carecen de acto resolutivo de
reconocimiento del derecho pensionario emitido por los órganos previsionales de
las instituciones armadas del sector defensa, utilizan como marco normativo la
Directiva General nº 014-2018, que carece de procedimientos administrativos
eficientes y eficaces en el pago de pensiones
Evaluación de la vulnerabilidad de sistemas eléctricos por medio de programación multinivel: una revisión bibliográfica
Vulnerability studies can identify critical elements in electric power systems in order to take protective measures against possible scenarios that may result in load shedding, which can be caused by natural events or deliberate attacks. This article is a literature review on the latter kind, i.e., the interdiction problem, which assumes there is a disruptive agent whose objective is to maximize the damage to the system, while the network operator acts as a defensive agent. The non-simultaneous interaction of these two agents creates a multilevel optimization problem, and the literature has reported several interdiction models and solution methods to address it. The main contribution of this paper is presenting the considerations that should be taken into account to analyze, model, and solve the interdiction problem, including the most common solution techniques, applied methodologies, and future studies. This literature review found that most research in this area is focused on the analysis of transmission systems considering linear approximations of the network, and a few interdiction studies use an AC model of the network or directly treat distribution networks from a multilevel standpoint. Future challenges in this field include modeling and incorporating new defense options for the network operator, such as distributed generation, demand response, and the topological reconfiguration of the system.f the system.Los estudios de vulnerabilidad pueden identificar elementos críticos en los sistemas de distribución de potencia eléctrica con el fin de tomar medidas de protección contra posibles escenarios que pueden resultar en desconexión de carga (también llamado deslastre de carga), que puede ser ocasionada por eventos naturales o ataques deliberados. Este artículo es una reseña bibliográfica sobre el segundo tipo de casos, es decir, los del problema de interdicción, en el que se asume la existencia de un agente disruptivo cuyo objetivo es maximizar los daños ocasionados al sistema mientras el operador de red actúa como agente de defensa del mismo. La interacción no simultánea de estos dos agentes crea un problema de optimización multinivel y en la bibliografía se reportan varios modelos de interdicción y soluciones para abordar el problema. La contribución principal de este artículo es la presentación de consideraciones que deben tomarse en cuenta para analizar, modelar y resolver el problema de la interdicción, incluyendo las soluciones, métodos y técnicas más comunes para solucionarlo, así como futuros estudios al respecto. Esta revisión encontró que la mayoría de la investigación en el tema se enfoca en el análisis de los sistemas de transmisión, considerando las aproximaciones lineales de la red; algunos estudios en interdicción usan un modelo AC de la red o tratan las redes de distribución directamente desde un enfoque multinivel. Algunos retos en este campo son el modelado y la inclusión de nuevas opciones de defensa para el operador de la red, como la generación distribuida, la respuesta a la demanda y la reconfiguración topológica del sistema. 
- …