Model Checker Execution Reports

Software model checking constitutes an undecidable problem and, as such, even an ideal tool will in some cases fail to give a conclusive answer. In practice, software model checkers fail often and usually do not provide any information on what was effectively checked. The purpose of this work is to provide a conceptual framing to extend software model checkers in a way that allows users to access information about incomplete checks. We characterize the information that model checkers themselves can provide, in terms of analyzed traces, i.e. sequences of statements, and safe cones, and present the notion of execution reports, which we also formalize. We instantiate these concepts for a family of techniques based on Abstract Reachability Trees and implement the approach using the software model checker CPAchecker. We evaluate our approach empirically and provide examples to illustrate the execution reports produced and the information that can be extracted

Phase Space Methods in Image Formation Theory

A review of the basic mathematical principles and properties of some phase space functions (Wigner and Ambiguity functions) is first presented in a more general mathematical context. Then, we deal in detail with three applications : image formation in optical systems (specifically cascading systems of lenses), image formation in Transmission Electron Microscopy, by taking advantage of some formal similarities with the previous examples and, finally, contrast transfer functions in Electron Microscopy in order to obtain 2-dimensional plots which provide information on the behavior of a transmission electron microscope. Also, the relations of these functions with other mathematical tools utilized in image processing and image formation theory are discussed

Análisis de los procesos financieros y las fuentes de financiamiento de las Pymes en Colombia

Esta investigación pretende determinar la relación entre la gestión que realizan las Pymes y las consecuencias de estas acciones sobre la posibilidad de acceder a fuentes de financiamiento que contribuyan a mejorar los procesos de las empresas gracias a la implementación de recursos en sus procesos productivos y de comercialización. Para esto se propone revisar la forma como las Pymes de la ciudad de Pereira gestionan sus procesos para crecer y ocupar mayores cuotas de mercado y derivado de ese contraste poder proponer algunas alternativas que les permitan acceder con mayor facilidad a los mercados financieros públicos y privados para captar recursos que mejoren su capital de trabajo. La investigación se fundamenta en una metodología cualitativa de carácter descriptiva no experimental de tipo deductivo que gracias al uso de encuestas analizó a 25 Pymes de la ciudad de Pereira bajo un muestreo no probabilístico. Los resultados indican la alta correlación entre las variables estudiadas y la necesidad de mejorar los procesos logísticos, financieros, administrativos y tributarios para lograr acceder a fuentes de financiamiento.This research aims to determine the relationship between the management carried out by SMEs and the consequences of these actions on the possibility of accessing sources of financing that contribute to improving the processes of companies thanks to the implementation of resources in their production and marketing processes. . For this, it is proposed to review the way in which SMEs in the city of Pereira manage their processes to grow and occupy greater market shares and, derived from this contrast, be able to propose some alternatives that allow them to more easily access public and private financial markets to capture resources that improve their working capital. The research is based on a qualitative methodology of a descriptive non-experimental nature of a deductive type that, thanks to the use of surveys, analyzed 25 SMEs in the city of Pereira under a non-probabilistic sampling. The results indicate the high correlation between the variables studied and the need to improve logistical, financial, administrative and tax processes in order to gain access to financing sources.PregradoIngeniero(a) IndustrialTABLA DE CONTENIDO Lista de Figuras................................................................................................................6 Lista de Tablas .................................................................................................................8 RESUMEN .......................................................................................................................9 ABSTRACT ....................................................................................................................10 INTRODUCCIÓN ...........................................................................................................11 1 PLANTEAMIENTO DEL PROBLEMA......................................................................13 1.1 PREGUNTAS PROBLEMA...............................................................................17 2 OBJETIVOS.............................................................................................................18 2.1 OBJETIVO GENERAL ......................................................................................18 2.2 OBJETIVOS ESPECÍFICOS.............................................................................18 3 JUSTIFICACIÓN......................................................................................................19 4. MARCO DE REFERENCIA .....................................................................................22 4.1 ANTECEDENTES.................................................................................................22 4.1.1 Nacionales..................................................................................................22 4.1.2 Internacionales ...........................................................................................24 4.2 REFERENTES TEÓRICOS ..............................................................................25 4.2.1 Teoría del Racionamiento del Crédito ........................................................25 Procesos financieros y fuentes de financiamiento de las Pymes 4 4.2.2 Teoría del Mejoramiento de los procesos logísticos ...................................26 4.2.3 Teoría de la Jerarquía de las Preferencias.................................................27 4.3 MARCO CONCEPTUAL ...................................................................................29 4.3.1 Gestión Financiera......................................................................................29 4.3.2 Planificación Financiera..............................................................................30 4.3.3 Fuentes de Financiamiento ........................................................................31 4.3.4 Las Pymes en Colombia.............................................................................32 4.4 MARCO LEGAL ................................................................................................33 4.5 FORMULACIÓN DE HIPÓTESIS......................................................................35 5. ASPECTOS METODOLÓGICOS ............................................................................36 5.1 ENFOQUE DE LA INVESTIGACIÓN ................................................................36 5.2 DISEÑO METODOLÓGICO..............................................................................37 5.3 MÉTODO DE INVESTIGACIÓN .......................................................................37 5.4 FUENTES Y TÉCNICAS DE RECOLECCIÓN DE INFORMACIÓN..................38 5.4.1 Técnicas de recolección de información.....................................................39 5.5 DISEÑO DE LA INVESTIGACIÓN ....................................................................41 5.6 POBLACIÓN Y MUESTRA ...............................................................................41 5.6.1 Plan de Análisis ..........................................................................................43 5.6.2 Aspectos Éticos ..........................................................................................44 Procesos financieros y fuentes de financiamiento de las Pymes 5 6. ANÁLISIS DE LOS RESULTADOS .........................................................................46 7. CONCLUSIONES....................................................................................................72 8. REFERENCIAS BIBLIOGRÁFICAS ........................................................................76 9. ANEXOS..................................................................................................................8

Formulação e avaliação físico-química do suco de mora (Rubus glaucus Benth) enriquecido com cálcio e vitamina C

The blackberry is a fruit that is harvested in the Colombian Andes and is very popular with consumers for its intense flavor and its antioxidant properties. This fruit, mostly consumed processed due to its high degree of perishability. The objective of this work was to produce a functional blackberry juice. The juice formulations have blackberry pulp, sucralose, CMC gum, pectinase, sodium citrate, vitamin C and calcium citrate. The addition of calcium and vitamin C was made based on 20% of the recommended daily value (VDR) proposed in Resolution 333 of 2011 of the Ministry of Social Protection (Colombia). The results for the final product were for calcium 112,46 ± 10,877 mg/100 g and vitamin 263,38 ± 6,180 mg/L. A change was registered in the parameters a * and b * on the 18th day of storage. The pH (4,3) and the viscosity (590 cP) remained constant until 18 days of evaluation. In this way, a functional food is produced that can be classified as an excellent source of calcium and vitamin C, despite the degradation of the C showcase by applied thermal treatments.La mora es un fruto que se cosecha en los andes colombianos y apetecido por los consumidores por su intenso sabor y por sus propiedades antioxidantes. Este fruto, en su mayoría, se consume procesado debido a su alto grado de perecibilidad. El objetivo de este trabajo fue formular un jugo de mora funcional. Las formulaciones del jugo presentaron pulpa de mora, sucralosa, goma CMC, pectinasa, citrato de sodio, vitamina C y citrato de calcio. La adición de calcio y vitamina C se realizó con base en el 20% de del valor diario recomendado (VDR) propuesto en la Resolución 333 de 2011 del Ministerio de la Protección Social (Colombia). Los resultados para el producto final fueron: calcio 112,46 ± 10,877 mg/100 g y vitamina C 263,38 ± 6,180 mg/L. Se observó un cambio en los parámetros a* y b* al día 18 de su almacenamiento. El pH (4,3) y la viscosidad (590 cP) permanecieron constantes hasta los 18 días de evaluación. El alimento funcional formulado puede ser catalogado como excelente fuente de calcio y vitamina C, a pesar de la degradación de la vitamina C por tratamientos térmicos aplicados.La amora é aquela que é produzida nos Andes colombianos, muito desejada pelos consumidores por seu sabor intenso e suas propriedades antioxidantes. Esta fruta, consumida principalmente processada devido ao seu alto grau de perecibilidade. O objetivo deste trabalho foi produzir um suco de amora-preta funcional. As formulações do suco apresentaram polpa de amora, sucralose, goma CMC, pectinase, citrato de sódio, vitamina C e citrato de cálcio. A adição de cálcio e vitamina C foi feita com base em 20% do valor diário recomendado (VDR) proposto na Resolução 333 de 2011 do Ministério da Proteção Social (Colômbia). Os resultados para o produto final foram para cálcio 112,46 ± 10,877 mg/100 g e vitamina 263,38 ± 6,180 mg/L. Uma mudança foi observada nos parâmetros a* e b* no dia 18 de seu armazenamento. O pH (4,3) e a viscosidade (590 cP) permaneceram constantes até 18 dias de avaliação. Desta forma, foi produzido um alimento funcional que pode ser classificado como uma excelente fonte de cálcio e vitamina C, apesar da degradação da vitamina C pelos tratamentos térmicos aplicados

Caracterización de los residuos vegetales generados en el centro mayorista de acopio de la cuidad de armenia (MERCAR) para su utilización industrial en la producción de biocombustibles.

Las centrales de abastos son entidades formadas por un conglomerado de personas que ofrecen servicios y mercancías, agrupadas en locales comerciales y áreas de servicios y son administradas velando siempre por prestar un buen servicio a la sociedad. En Armenia se cuenta con la Central Mayorista de Abastos “MERCAR” la cual cuenta con locales comerciales donde se comercializan frutas, verduras, granos, carnes y productos en general para el consumo humano. El objetivo de este trabajo fue el de determinar la cantidad y tipo de desecho vegetal producido en la central de acopio de alimentos de la cuidad de Armenia, MERCAR. Se pudo observar que el 50 % de los negocios de la central comercializan frutas y verduras, en estos negocios no hay registros exactos acerca de la cantidad de materia prima que compran para abastecer sus negocios, ni tampoco sobre la cantidad de desechos producidos, lo que imposibilita inicialmente el hacer una predicción sobre el volumen de material biológico desechado diaria o semanalmente, además de que no existe una cultura de reciclaje dentro de la central, lo que haría que el proceso de transformación de los desechos para darle valor agregado sea un poco más complejo

Caracterización de los residuos vegetales generados en el centro mayorista de acopio de la cuidad de armenia (MERCAR) para su utilización industrial en la producción de biocombustibles.

Las centrales de abastos son entidades formadas por un conglomerado de personas que ofrecen servicios y mercancías, agrupadas en locales comerciales y áreas de servicios y son administradas velando siempre por prestar un buen servicio a la sociedad. En Armenia se cuenta con la Central Mayorista de Abastos “MERCAR” la cual cuenta con locales comerciales donde se comercializan frutas, verduras, granos, carnes y productos en general para el consumo humano. El objetivo de este trabajo fue el de determinar la cantidad y tipo de desecho vegetal producido en la central de acopio de alimentos de la cuidad de Armenia, MERCAR. Se pudo observar que el 50 % de los negocios de la central comercializan frutas y verduras, en estos negocios no hay registros exactos acerca de la cantidad de materia prima que compran para abastecer sus negocios, ni tampoco sobre la cantidad de desechos producidos, lo que imposibilita inicialmente el hacer una predicción sobre el volumen de material biológico desechado diaria o semanalmente, además de que no existe una cultura de reciclaje dentro de la central, lo que haría que el proceso de transformación de los desechos para darle valor agregado sea un poco más complejo

Caracterización de los residuos vegetales generados en el centro mayorista de acopio de la cuidad de armenia (MERCAR) para su utilización industrial en la producción de biocombustibles.

Las centrales de abastos son entidades formadas por un conglomerado de personas que ofrecen servicios y mercancías, agrupadas en locales comerciales y áreas de servicios y son administradas velando siempre por prestar un buen servicio a la sociedad. En Armenia se cuenta con la Central Mayorista de Abastos “MERCAR” la cual cuenta con locales comerciales donde se comercializan frutas, verduras, granos, carnes y productos en general para el consumo humano. El objetivo de este trabajo fue el de determinar la cantidad y tipo de desecho vegetal producido en la central de acopio de alimentos de la cuidad de Armenia, MERCAR. Se pudo observar que el 50 % de los negocios de la central comercializan frutas y verduras, en estos negocios no hay registros exactos acerca de la cantidad de materia prima que compran para abastecer sus negocios, ni tampoco sobre la cantidad de desechos producidos, lo que imposibilita inicialmente el hacer una predicción sobre el volumen de material biológico desechado diaria o semanalmente, además de que no existe una cultura de reciclaje dentro de la central, lo que haría que el proceso de transformación de los desechos para darle valor agregado sea un poco más complejo