The \mu-Calculus Alternation Hierarchy Collapses over Structures with Restricted Connectivity

It is known that the alternation hierarchy of least and greatest fixpoint operators in the mu-calculus is strict. However, the strictness of the alternation hierarchy does not necessarily carry over when considering restricted classes of structures. A prominent instance is the class of infinite words over which the alternation-free fragment is already as expressive as the full mu-calculus. Our current understanding of when and why the mu-calculus alternation hierarchy is not strict is limited. This paper makes progress in answering these questions by showing that the alternation hierarchy of the mu-calculus collapses to the alternation-free fragment over some classes of structures, including infinite nested words and finite graphs with feedback vertex sets of a bounded size. Common to these classes is that the connectivity between the components in a structure from such a class is restricted in the sense that the removal of certain vertices from the structure's graph decomposes it into graphs in which all paths are of finite length. Our collapse results are obtained in an automata-theoretic setting. They subsume, generalize, and strengthen several prior results on the expressivity of the mu-calculus over restricted classes of structures.Comment: In Proceedings GandALF 2012, arXiv:1210.202

Incidencia de la competitividad en la exportación del producto trucha de la región Puno, 2010

El presente trabajo de investigación titulado "Incidencia de la competitividad en la exportación del producto trucha de la región Puno, 201 0", fue realizado a nivel de la región Puno, el cual representa a los productores de trucha de 11 provincias que desarrollan la actividad en la región, los mismos que producen generalmente truchas de 4 por kg y 3 por kg, en un periodo de tiempo promedio de 8 meses por campaña de producción y con la finalidad de determinar la relación de la competitividad en las exportaciones del producto trucha, se investigó a los productores de trucha de la región Puno en el año 2010. La metodología utilizada fue el diseño de investigación "no experimental" y explicativo; tipo de investigación transaccional correlaciona! causal; la población está conformada por 699 productores de trucha, con una muestra de 98 productores; el instrumento utilizado fue la observación directa, investigación documental, entrevista a expertos y encuestas; los datos fueron analizados mediante el estadístico de la correlación de Pearson. Se determinó la competitividad de los productores de trucha de la región Puno, utilizando el diamante de Michael Portar modificado con un análisis económico, para lo cual se tuvo que cuantificar los costos de producción y se obtuvieron indicadores de los 7 factores de competitividad de los productores de las provincias de Chucuito, Puno y Lampa. El análisis económico indicó que todos los productores de las tres zonas y los productores de alevinos obtuvieron utilidades, obteniendo una rentabilidad de 22% los productores de alevines, los productores de trucha de la provincia de Lampa con un 10%, los productores de Chucuito con 8% y los productores de Puno con 6% de rentabilidad. En el análisis de medición de los factores de competitividad, aplicando la metodología del "Diamante" de Michael Porter, nos muestra el grado de competitividad más alto, que representa es la Empresa Piscifactoría de los Andes S. A. con 4,9 puntos, los productores de trucha de la provincia de Lampa es el segundo en la telaraña con un nivel de competitividad del 3,35, seguido de los productores de Chucuito con 2.98 y el que está en un nivel más bajo que los anteriores son los productores de la provincia de Puno con un 2,26 puntos de competitividad. Podemos concluir que la competitividad promedio de la región Puno esta en 3.37 puntos, en consecuencia según la teoría de Porter está en un nivel aceptable de competitividad en consecuencia se han subsanado los principales puntos de vulnerabilidad contándose con los cimientos adecuados para hacer un buen papel ante los ojos del público consumidor y la competencia. Para comprobar la competitividad de los productores de la muestra de 98 truchicultores, 38 productores con el 38.8% se ubican en una media competitividad, 22 productores que hacen el 22.4% se ubican en una buena competitividad y 13 productores que hacen el 13% se encuentran en una muy buena competitividad en la producción de truchas. El principal importador de trucha congelada en el mundo es Japón con el 46% y Brasil el sétimo con el 2% al 201 O; las exportaciones de trucha peruana han crecido sostenidamente los dos últimos años a razón del 20% en comparación al año anteriorTesi

Clima organizacional y la influencia en el desempeño laboral de los trabajadores de la distribuidora Santa Apolonia S.A.C. 2018

El propósito del presente trabajo de investigación fue determinar la influencia del clima organizacional sobre el desempeño laboral de los trabajadores de la distribuidora Santa Apolonia s.a.c. 2018., para así conocer su percepción sobre los aspectos vinculados al ambiente de trabajo y tomar acciones correctivas necesarias para optimizar el servicio que brinda a la población. El tipo de estudio es no experimental y el diseño es correlacional de corte transversal, la muestra estuvo conformada por 60 trabajadores. Como instrumentos se utilizaron dos cuestionarios uno para cada variable, las dimensiones a considerar para la variable clima organizacional fueron: trabajo en equipo, comunicación, reconocimiento, percepción de la organización, motivación y ambiente físico, en tanto que para la variable desempeño laboral se tuvieron en cuenta tres dimensiones: personal, profesional e institucional; los datos fueron procesados con el Programa SPSS 24, y los resultados fueron presentados en tablas y figuras estadísticas. Los resultados obtenidos evidencian que existe influencia significativa entre el clima organizacional y el desempeño laboral de los trabajadores de la distribuidora Santa Apolonia s.a.c. 2018.The purpose of this research was to determine the influence of the organizational climate on the work performance of the employees of the Santa Apolonia SAC 2018. Distributor, in order to know their perception of the aspects related to the work environment and take corrective actions to optimize the service it provides to the population. The type of study is non-experimental and the design is cross-sectional correlation, the sample consisted of 60 workers. As instruments, two questionnaires were used, one for each variable, the dimensions to be considered for the organizational climate variable were: teamwork, communication, recognition, perception of the organization, motivation and physical environment, while for the variable of work performance they had take into account three dimensions: personal, professional and institutional; the data were processed with the SPSS Program 24, and the results were presented in tables and statistical figures. The results obtained show that there is significant influence between the organizational climate and the work performance of the workers of the Santa Apolonia Distributor S.A.C. 201

Apparent Digestibility Coefficients of Peruvian Fish Meal and Yellow Corn by Colossoma macropomum (Actinopterygii, Characidae)

Los Coeficientes de Digestibilidad Aparente (CDA) de la materia seca (MS), proteína cruda (PC), lípido crudo(LC) y energía bruta (EB) de los ingredientes alimenticios harina de pescado peruana (HPP) y de maíz amarillo duro (MAD) fueron determinados en juveniles de Colossoma macropomum (150,0 ± 25,5 g). En el experimento la dieta de referencia se mezcló con cada uno de los ingredientes prueba en una relación de 70:30. El óxido crómico se usó como indicador inerte. La dieta de referencia y las dietas prueba fueron suministradas a C. macropomum, criada a 27 ºC, 7 mg/L de oxígeno disuelto y pH entre 7,5. Las muestras fecales fueron colectadas por sifoneo. Los CDA para MS, PC, LC y EB de la HPP fueron de 88,06 ± 0,83%, 87,08 ± 1,34%, 85,87 ± 2,69 y 87,29 ± 1,57% respectivamente. Igualmente los CDA para MS, PC, LC y EB del MAD fueron de 82,38 ± 1,02%, 75,46 ± 1,53%, 76,17 ± 2,43% y 75,04 ± 1,80% respectivamente. La energía digestible aparente calculada fue de 3950 Kcal/kg para la HPP y 2830 kcal/kg para el MAD. Se concluye que C. macropomum digiere mejor las fracciones proteicas y energéticas de la HPP. Al mismo tiempo muestra que digiere también la fracción energética del MAD, proveniente de los carbohidratos solubles.The apparent digestibility coefficients (ADC) of dry matter (DM), crude protein (CP) crude lipids (CL) and gross energy (GE) in the food ingredients Peruvian fish meal (PFM) and Yellow Corn (YC) were obtained with juveniles of Colossoma macropomum (150,0 ± 25,5 g). In the experiments the reference diet was mixed with test ingredients in a ratio of 70:30 to produce two test diets. The Chromic Oxide (Cr2O3) was use as the inert indicator. The reference diet and the test diets were fed to C. macropomum reared at 27 ºC. Dissolved oxygen was 7 mg/L and pH was 7,5. The fecal samples were collected by siphoning. The ADC to DM, CP, CL and GE in the PFM were of 88,06 ± 0,83%, 87,08 ± 1,34%, 85,87 ± 2,69 y 87,29 ± 1,57% respectively. The ADC to DM, CP, CL and GE in the yellow corn were of 82,38 ± 1,02%, 75,46 ± 1,53%, 76,17 ± 2,43% y 75,04 ± 1,80% respectively. The apparent digestible energy to the HPP and MAD were 3950 Kcal/kg and 2830 kcal/kg respectively. It was concluded that C. macropomum has used more efficiently the protein and energetic fractions from PFM. At the same time C. macropomum shows ability to use efficiently the energetic fraction from soluble carbohydrates of YC

Multifrequency-coupled oscillators for distributed multiagent coordination

The coordination of multiagent systems in real environments receives considerable attention from research and industry. The design of coordination mechanisms should take into account the nature of the environment where the system is embedded. In this paper, the multiagent system is in an environment that features periodic properties. This environment is approached from a signal processing point of view to extract such properties. The coordination is performed by the proposed multifrequency-coupled oscillators (MuFCO) algorithm. It addresses the coordination of the multiagent system as a distributed collective synchronization mechanism. An operation example of MuFCO algorithm is shown, where it is used to coordinate consumptions in a smart grid. Thanks to the MuFCO algorithm, themultiagent system can be used to smooth the aggregated consumption of an electrical grid in a distributed way