Desarrollo de la oferta de caf?s de especialidad (Honey) con alta valoraci?n en taza para tostadores de Estados Unidos : plan de negocios para la empresa Peruvian Harvest Agronegocios SAC en joint venture con la CACFEVAM Ltda. en el valle de Alto Mayo (Regi?n San Mart?n)

El presente estudio tiene por objetivo proponer un modelo de negocio para la empresa Peruvian Harvest en Joint Venture con la Cooperativa Agraria Cafetalera Fe y Esperanza Valle del Alto Mayo Ltda., incrementando la calidad mediante la producci?n de caf?s especiales con proceso Honey, que permita a la empresa diversificar la oferta del productor frente al tostador, para ser m?s competitivos y tener la capacidad de negociar con mejores precios. Este plan de negocios est? enfocado en innovaci?n de proceso mediante la producci?n de caf?s especiales con procesos honey, contribuyendo al cuidado del medio ambiente, puesto que en este proceso el grano de caf? se separa del cerezo sin el uso de agua, sin procesos de fermentaci?n y lavado, y se convierte en un caf? ecol?gico; mediante este tipo de proceso el caf? sufre cambios en su composici?n, que permiten incrementar la calidad de taza del producto final que saldr? al mercado. El an?lisis econ?mico nos confirma que el plan de negocio es viable y rentable lo que permitir? el crecimiento de la empresa y la cooperativa, teniendo un VNA financiero positivo de S/1, 170,955 y una TIR de 45.27% y con una Tasa de descuento (CPPC) del 13.88%

Order-sorted Equality Enrichments Modulo Axioms

Built-in equality and inequality predicates based on comparison of canonical forms in algebraic specifications are frequently used because they are handy and efficient. However, their use places algebraic specifications with initial algebra semantics beyond the pale of theorem proving tools based, for example, on explicit or inductionless induction techniques, and of other formal tools for checking key properties such as confluence, termination, and sufficient completeness. Such specifications would instead be amenable to formal analysis if an equationally-defined equality predicate enriching the algebraic data types were to be added to them. Furthermore, having an equationally-defined equality predicate is very useful in its own right, particularly in inductive theorem proving. Is it possible to \emph{effectively} define a theory transformation $\mathcal{E} \mapsto \mathcal{E}^{\simeq}$ that extends an algebraic specification $\mathcal{E}$ to a specification $\mathcal{E}^{\simeq}$ where equationally-defined equality predicates have been added? This paper answers this question in the affirmative for a broad class of order-sorted conditional specifications $\mathcal{E}$ that are sort-decreasing, ground confluent, and operationally terminating modulo axioms $B$ and have subsignature of constructors. The axioms $B$ can consist of associativity, or commutativity, or associativity-commutativity axioms, so that the constructors are \emph{free modulo} $B$. We prove that the transformation $\mathcal{E} \mapsto \mathcal{E}^{\simeq}$ preserves all the just-mentioned properties of $\mathcal{E}$. The transformation has been automated in Maude using reflection and it is used in Maude formal tools.unpublishednot peer reviewe

Towards a notion of Usable Rule for Context-Sensitive Rewrite Systems

International audienc

Fortalecimiento de los procesos socio-organizativos que sustentan la gesti?n de las empresas asociativas rurales

CATIE (Centro Agron?mico Tropical de Investigaci?n y Ense?anza

Uso pedag?gico del simulador CADE SIMU en el ?rea de electricidad por los aprendices del programa de mantenimiento electromec?nico industrial del SENA regional Tolima

100 p.El uso de software tipo simuladores en la educaci?n t?cnica y tecnol?gica son hoy una herramienta imprescindible para el logro pedag?gico en los aprendices de la mayor parte del mundo, lo que va de la mano de la virtualidad, mucho antes de su imposici?n por la aparici?n del Covid-19. En la regional Tolima del SENA (instituci?n p?blica de educaci?n t?cnica y tecnol?gica), se realiz? un diagn?stico y una evaluaci?n al simulador CADE-SIMU en su uso pedag?gico y formativo entre los aprendices e instructores del ?rea de Electricidad dentro del programa de Mantenimiento Electromec?nico Industrial, entre junio a diciembre de 2019. El patr?n de simulaci?n aplicado, se basa directamente en el modelo CADE SIMU para la gesti?n de la distribuci?n el?ctrica, de modo que pueda ser utilizado en diferentes contextos: software dirigido tanto para el modelado como para el desarrollo y construcci?n de prototipos. Se realizaron entrevistas semiestructuradas con el fin de identificar fortalezas, debilidades y puntos de mejora de la herramienta (TIC), con base a criterios definidos en dos m?todos de evaluaci?n de las TIC: el Modelo de Aceptaci?n de Tecnolog?a (TAM) y la evaluaci?n de accesibilidad WCAG 2.0.; evalu?ndose mediante un dise?o experimental aplicado a las respuestas de aprendices, instructores y pares, calificadas con una escala tipo likert (Nada, Casi Nada, Aceptable, Muy Aceptable y Excelente); se hall? que el uso pedag?gico del simulador, si contribuye a la aprehensi?n de la habilidad del Saber C?mo Hacer y en la Competencia "Corregir de un bien los sistemas el?ctricos de acuerdo con sus especificaciones t?cnicas" (Proactividad), dado que se afianza b?sicamente al Nivel de Creaci?n y al Nivel de mejora del lenguaje t?cnico en la asimilaci?n de conocimiento en Electricidad.The use of simulator-type software in technical and technological education is today an essential tool for pedagogical achievement in apprentices in most parts of the world, which goes hand in hand with virtuality, long before its imposition due to the appearance of Covid-19. In the Tolima region of the SENA (public technical and technological education institution), a diagnosis and evaluation of the CADE SIMU simulator was made in its pedagogical and training use among apprentices and instructors in the area of Electricity within the Industrial Electromechanical Maintenance program, between June to December 2019. The simulation pattern applied is based directly on the CADE SIMU model for the management of electrical distribution, so that it can be used in different contexts: software aimed at both modeling and development and prototyping. Semi-structured interviews were carried out in order to identify strengths, weaknesses and points for improvement of the tool (ICT), based on criteria defined in two ICT evaluation methods: the Technology Acceptance Model (TAM) and the evaluation of WCAG 2.0 accessibility .; being evaluated by means of an experimental design applied to the responses of apprentices, instructors and peers, rated with a scale likert (Nothing, Almost Nothing, Acceptable, Very Acceptable and Excellent); It was found that the pedagogical use of the simulator, if it contributes to the apprehension of the ability to Know How to Do and in the Competition "Correct an electrical systems in accordance with its technical specifications" (Proactivity), given that it basically strengthens the Level of Creation and Level of improvement of technical language in the assimilation of knowledge in Electricity

Diagn?stico de la capacidad empresarial y socio-organizativa de empresas asociativas rurales basada en los medios de vida sostenibles

CATIE (Centro Agron?mico Tropical de Investigaci?n y Ense?anza

Contenido de boro en el agua superficial de Puebla, Tlaxcala y Veracruz

El desarrollo de la actividad agr�cola depende, entre otros factores, de la cantidad y calidad del agua disponible para riego. La calidad var�a ampliamente de acuerdo con la cantidad y tipo de sales que contenga, ya que algunos elementos, como el boro (B), son t�xicos para las plantas. En Puebla, Tlaxcala y Veracruz son destinadas a la agricultura de riego m�s de un mill�n de hect�reas y por ello resulta imperante conocer la calidad del agua en cuanto al contenido del boro. En este estudio se llev� a cabo una investigaci�n para conocer la conductividad el�ctrica (CE), el pH y el contenido de B de estas muestras de agua, con tres recorridos y muestreos de agua en 2009, 2010 y 2011; se colectaron 91 muestras de agua por cada muestreo. La determinaci�n de B se realiz� por el m�todo de la azometina-H, en el Laboratorio de Hidrociencias del Colegio de Postgraduados. Las concentraciones de B en las muestras de agua fueron bajas, menores de 1 mg l-1, en 76 de las 91 colectas de cada muestreo. En 15 muestras de agua se encontraron contenidos altos de B, mayores a 5 mg l-1. De las muestras de agua analizadas, 83.5% se recomienda para uso agr�cola sin ninguna restricci�n, mientras que 16.5% de los r�os y cuerpos de agua no es recomendable para usos agr�cola, dom�stico o de recreaci�n debido a la peligrosidad y riesgos de toxicidad por B en cultivos y en humanos