Repositorio Institucional de la Universidad Viña del Mar
Not a member yet
2098 research outputs found
Sort by
A Spin / Promela Application for Model checking UML Sequence Diagrams
No full textUML sequence diagrams usually represent the behavior of systems execution. Automated verification of UML sequence diagrams’ correctness is necessary because they can model critical algorithmic behaviors of information systems. UML sequence diagrams applications are often on the requirement and design phases of the software development process, and their correctness guarantees the accurate and transparent implementation of software products. The primary goal of this article is to review and improve the translation of basic and complex UML sequence diagrams into Spin / Promela code taking into account behavioral properties and elements of combined fragments of UML sequence diagrams for synchronous and asynchronous messages. This article also redefines a previous proposal for a transition system for UML sequence diagrams by specifying Linear Temporal Logic (LTL) formulas to verify the model correctness. We present an application example of our modeling proposal on a modified version of a traditional case study by using UML sequence diagrams to translate it into Promela code to verify their properties and correctness
Escuela de Comunicaciones UVM y Biblioteca del Congreso Nacional firman convenio para práctica profesionales
No full textUn nuevo centro de prácticas tendrán, a partir de marzo del 2018, los alumnos de la Escuela de Comunicaciones de la UVM, tras el convenio que firmó la directora Lila Farías –en representación de la rectoría- y el Director de la Biblioteca del Congreso Nacional (BCN), Manuel Alfonso Pérez, y que posibilitará que los estudiantes puedan desarrollar sus competencias profesionales en uno de los principales centros de investigación del país
Identification of infection by Chikungunya, Zika, and Dengue in an area of the Peruvian coast. Molecular diagnosis and clinical characteristics.
No full textObjective: To assess the presence of Dengue, Chikungunya, and Zika in serum samples of patients with acute febrile illness in Piura, Peru and describe the most common clinical features./Results: Dengue was the most common arbovirus detected in 170/496 (34.3%), followed by Zika in 39/496 (7.9%) and Chikungunya in 23/496 (4.6%). Among the 170 samples positive for Dengue, serotype 2 was the most predominant type present in 97/170 (57.1%) of samples, followed by the serotype 3 in 9/170 (5.3%). Headaches, muscle pain, and joint pain were the most common symptoms associated with fever in patients with Dengue and Zika. No symptoms predominance was observed in patients with Chikungunya. Dengue is considered the most frequent arbovirus in Peru and the number of cases has increased dramatically in the last 5 years. However, it is not the only arbovirus that circulates along the northern coast of Peru. It has also been determined the presence of Zika and Chikungunya in our population, which may suggest the circulation of other arboviruses that have not been detected
Prevención de accidentes de tráfico por consumo de alcohol
No full textPrograma "Tu voz local". En esta ocasión se conversa sobre la prevención de accidentes de tráfico por consumo de alcohol en época de Fiestas Patrias junto a un grupo de invitados, incluyéndose Patricio Cuy, Abogado y Académico UVM
Vulnerabilidad y adaptabilidad de la industria portuaria de la Región de Valparaíso frente a escenarios de cambios climático
No full textEl cambio climático ya es un hecho cierto, es por ello, que traerá consecuencias para los puertos y las industrias costeras, pues son los principales afectados. De esta forma, los puertos están comenzando en implementar planes de acción para implementar medidas de adaptación y de esta forma reducir el impacto del cambio climático. Nuestro país, dada sus particularidades geográficas basa el intercambio comercial en función de su infraestructura portuaria, lo cual a originado que en la actualidad existan aproximadamente 56 puertos tanto de uso público, como de uso privado. De estos, solo en la región de Valparaíso, existe tres de los principales complejos portuarios del país: Quintero, Valparaíso y San Antonio, los cuales responden a las necesidades de importación y exportación de una economía altamente globalizada como es la Chilena. Ante esto es imprescindible realizar distintos análisis que permitan evaluar el efecto que el Cambio Climático tendrá sobre la industria portuaria, identificando las forzantes, presiones e impactos, así como determinado el nivel de riesgo, adaptabilidad y vulnerabilidad de estos, para de esta manera planificar medidas que permita palear en cierto grado los impacto que puede tener estos escenarios sobre la actividad portuaria. Por consiguiente el presente trabajo intenta abordar estas preocupaciones mediante un enfoque de "riesgo / vulnerabilidad", identificando, mediante un modelo conceptual los componentes ambientales que afectan la operatividad portuaria, analizando cuales de estos componentes se verán alterados según las proyecciones realizadas para el país
Propuesta de medidas de cierre efectivo de los pasivos ambientales de mineros en la región de Valparaíso, aplicando las indicaciones de la ley N°20.551 de cierre de faenas e instalaciones mineras, su reglamento y guías metodológicas
No full textSe define Pasivo Ambiental Minero como aquellas faenas mineras de larga data, abandonadas y que poseen un nivel de riesgo significativo para la vida y salud de las personas y para el medio ambiente, debido a que no han sido sometidas a un Plan de Cierre que controle los riesgos. Actualmente en Chile no hay una normativa específica para remediar los pasivos ambientales mineros, de manera que constituyen un problema importante y contemporáneo que afecta a nuestro país en sus dimensiones económica, ambiental y social. La región de Valparaíso, no se encuentra exenta de la presencia de Pasivos Ambientales Mineros que resultan peligrosos para las personas y para el medio ambiente, por lo que este proyecto tiene el propósito de seleccionar, en base a las características de estas instalaciones y de su entorno, las mejores técnicas que permitan el control de los riesgos de los Pasivos Ambientales Mineros en la región de Valparaíso. Debido a la inexistencia de una norma que indique como llevar a cabo el control de los riesgos significativos de las faenas mineras abandonadas, este proyecto propone anticiparse a la aparición de una norma específica, ofreciendo una orientación sobre las medidas de cierre más apropiadas que deberían ejecutarse para controlar los riesgos. Con este objetivo, serán utilizadas las indicaciones de la Ley N°20.551 de Cierre de Faenas Mineras, su Reglamento y Guías Metodológicas. La aplicación de la evaluación de riesgo, que considere dentro de sus variables medidas adecuadas de cierre, permitió reducir el nivel de riesgo (residual) hacia un estadio no significativo, de manera que el objetivo de definir las medidas de cierre más apropiadas para el cierre efectivo de los pasivos ambientales mineros en la región de Valparaíso, aplicando los requisitos y exigencias de la Ley N°20.551 de Cierre de Faenas e Instalaciones Mineras, su reglamento y guías metodológicas, fue conseguido cabalmente. Es importante aclarar que hoy en día y desde el punto de vista legal no es posible exigir la aplicación de la Ley N°20.551 a los Pasivos Ambientales Mineros
Enap apunta contaminación a las alcantarillas de escuelas de Quintero
No full textEnap entregó sus descargos a la Superintendencia de Medio Ambiente que la investiga por su posible responsabilidad en los episodios de contaminación en Quintero y Puchuncaví, a través de un informe en el que se señala que gases acumulados en las alcantarillas de las escuelas de estas comunas serían los responsables. El argumento que fue descartado por el Gobierno Regional
Multi-finger synergies and the muscular apparatus of the hand
No full textWe explored whether the synergic control of the hand during multi-finger force production tasks depends on the hand muscles involved. Healthy subjects performed accurate force production tasks and targeted force pulses while pressing against loops positioned at the level of fingertips, middle phalanges, and proximal phalanges. This varied the involvement of the extrinsic and intrinsic finger flexors. The framework of the uncontrolled manifold (UCM) hypothesis was used to analyze the structure of inter-trial variance, motor equivalence, and anticipatory synergy adjustments prior to the force pulse in the spaces of finger forces and finger modes (hypothetical finger-specific control signals). Subjects showed larger maximal force magnitudes at the proximal site of force production. There were synergies stabilizing total force during steady-state phases across all three sites of force production; no differences were seen across the sites in indices of structure of variance, motor equivalence, or anticipatory synergy adjustments. Indices of variance, which did not affect the task (within the UCM), correlated with motor equivalent motion between the steady states prior to and after the force pulse; in contrast, variance affecting task performance did not correlate with non-motor equivalent motion. The observations are discussed within the framework of hierarchical control with referent coordinates for salient effectors at each level. The findings suggest that multi-finger synergies are defined at the level of abundant transformation between the low-dimensional hand level and higher dimensional finger level while being relatively immune to transformations between the finger level and muscle level. The results also support the scheme of control with two classes of neural variables that define referent coordinates and gains in back-coupling loops between hierarchical control levels
La sentencia Schrems del Tribunal de Justicia de la Unión Europea: un paso firme en la defensa del derecho a la privacidad en el contexto de la vigilancia masiva transnacional
No full textLas filtraciones de Edward Snowden demostraron al mundo la existencia de programas de vigilancia masiva implementados por Estados Unidos y otros aliados. Tales programas, supuestamente, estaban dirigidos a la recopilación de información para la prevención y represión del terrorismo, pero en la práctica
implicaron violaciones inaceptables al derecho fundamental a la privacidad no solo de ciudadanos estadounidenses, sino de otras nacionalidades. Diversos actores de las Naciones Unidas y otras organizaciones internacionales han reaccionado mediante la elaboración de informes que manifiestan una elevada preocupación por el fenómeno de la vigilancia transnacional de masas y que pretenden ensalzar el discurso de los derechos humanos como límite contra las injerencias en la privacidad. En este contexto, el Tribunal de Justicia de la Unión Europea pronunció en el año 2015 la sentencia Schrems que invalidó una decisión de la Comisión Europea sobre el Acuerdo de Puerto Seguro que regulaba la transferencia de datos personales desde la Unión Europea a Estados Unidos. Este trabajo analiza críticamente dicha sentencia, porque ofrece interesantes aportaciones para la protección de los derechos a la privacidad y la protección de los datos personales, habiéndose convertido en un leading case de referencia obligada para la resolución de casos similares
Efectos de Aceites Esenciales de Lavanda y Eucalipto en el Control de la Varroasis de Apis melifera
No full textLas abejas como polinizadores participan en la economía global y su aporte ha sido estimado entre 235 y 285 billones de US$ al año. (Lautenbach, et al., 2012) Actualmente se ha informado el debilitamiento general de las abejas melíferas, representado por pérdidas de colonias, elevando la preocupación pública, encareciendo el manejo de las colonias de abejas y aumentando los costos de los servicios de polinización (Calderone, 2012). El ácaro Varroa destructor se considera un impulsor crucial de esta difícil situación mundial de colonias de de abejas (Le Conte, et al., 2010). Los métodos actuales utilizados para controlarlo, son la aplicación de acaricidas piretroides (fluvalinate) y organofosforados (coumaphos) que inicialmente fueron altamente efectivos, pero el uso frecuente de estos ha llevado al desarrollo de la resistencia de los ácaros (Milani, 1999). Los aceites esenciales (AE) ofrecen una alternativa generalmente más barata y segura para el hombre y las abejas (Isman 2000). Son clasificados como suplementos alimenticios y seguros para consumo humano (Quarles, 1996). Los AE, pueden alterar el comportamiento, el crecimiento y desarrollo, la ecdisis, el apareamiento y la oviposición de los insectos (Khater, 2011). La actividad insecticida de los componentes de los AE de lavanda y eucalipto ha sido relacionada con la inhibición de la acetilcolinesterasa y como agonista octopaminergico respectivamente. (Rattan, 2010). El AE de eucaliptus es efectivo en reducir la población de varroa, (Principal, et al., 2004) El objetivo fue determinar el efecto de los AE de lavanda y eucalipto para el control de la varroasis en condiciones de campo