An Error-Localization, Validation and Optimization Tool for Embedded Code Augmentation: an Architecture Oriented Approach

Embedded systems are usually designed for a single or a specified set of tasks. This specificity means the system design as well as its hardware/software development can be highly optimized. Embedded software must meet the requirements such as high reliability operation on resource-constrained platforms, real time constraints and rapid development. This necessitates the adoption of static machine codes analysis tools running on a host machine for the validation and optimization of embedded system codes, which can help meet all of these goals. This could significantly augment the software quality and is still a challenging field.Embedded systems are usually designed for a single or a specified set of tasks. This specificity means the system design as well as its hardware/software development can be highly optimized. Embedded software must meet the requirements such as high reliability operation on resource-constrained platforms, real time constraints and rapid development. This necessitates the adoption of static machine codes analysis tools running on a host machine for the validation and optimization of embedded system codes, which can help meet all of these goals. This could significantly augment the software quality and is still a challenging field.Embedded systems are usually designed for a single or a specified set of tasks. This specificity means the system design as well as its hardware/software development can be highly optimized. Embedded software must meet the requirements such as high reliability operation on resource-constrained platforms, real time constraints and rapid development. This necessitates the adoption of static machine codes analysis tools running on a host machine for the validation and optimization of embedded system codes, which can help meet all of these goals. This could significantly augment the software quality and is still a challenging field.Embedded systems are usually designed for a single or a specified set of tasks. This specificity means the system design as well as its hardware/software development can be highly optimized. Embedded software must meet the requirements such as high reliability operation on resource-constrained platforms, real time constraints and rapid development. This necessitates the adoption of static machine codes analysis tools running on a host machine for the validation and optimization of embedded system codes, which can help meet all of these goals. This could significantly augment the software quality and is still a challenging field.This dissertation contributes to an architecture oriented code validation, error localization and optimization technique assisting the embedded system designer in software debugging, to make it more effective at early detection of software bugs that are otherwise hard to detect, using the static analysis of machine codes. The focus of this work is to develop methods that automatically localize faults as well as optimize the code and thus improve the debugging process as well as quality of the code.Validation is done with the help of rules of inferences formulated for the target processor. The rules govern the occurrence of illegitimate/out of place instructions and code sequences for executing the computational and integrated peripheral functions. The stipulated rules are encoded in propositional logic formulae and their compliance is tested individually in all possible execution paths of the application programs. An incorrect sequence of machine code pattern is identified using slicing techniques on the control flow graph generated from the machine code.An algorithm to assist the compiler to eliminate the redundant bank switching codes and decide on optimum data allocation to banked memory resulting in minimum number of bank switching codes in embedded system software is proposed. A relation matrix and a state transition diagram formed for the active memory bank state transition corresponding to each bank selection instruction is used for the detection of redundant codes. Instances of code redundancy based on the stipulated rules for the target processor are identified.This validation and optimization tool can be integrated to the system development environment. It is a novel approach independent of compiler/assembler, applicable to a wide range of processors once appropriate rules are formulated. Program states are identified mainly with machine code pattern, which drastically reduces the state space creation contributing to an improved state-of-the-art model checking. Though the technique described is general, the implementation is architecture oriented, and hence the feasibility study is conducted on PIC16F87X microcontrollers. The proposed tool will be very useful in steering novices towards correct use of difficult microcontroller features in developing embedded systems.

Aplicación y desarrollo modelo de internacionalización : Jushi Design Limitada

El estudio de caso a desarrollar va a comprender la viabilidad de exportación de una empresa Colombiana llamada Jushi Design Limitada, la cual lleva 35 años en el mercado Colombiano con un gran reconocimiento en sus clientes y en el mercado mismo. Los casos de internacionalización de las empresa son hoy en día muy bien visto y de gran ejecución en las empresas colombianas debido al entorno en cual estamos viviendo, después de la apertura económica en el país las empresas se han puesto en la tarea de abrir sus mercados a otros países, como de igual manera importar productos de otros países, generando un comercio mucho más libre, sin fronteras u obstáculos. La globalización ha generado el intercambio de muchos productos ayudando al desarrollo de los países. Hoy en día el consumidor tiene la oportunidad de poder encontrar gran variedad de un solo producto en el mercado teniendo la posibilidad de elegir a sus necesidades la mejor opción. La ropa de moda femenina es un artículo en el cual las mujeres están muy al tanto de lo que sale y se comercializa sin olvidar las últimas tendencias y prendas que están a la moda. Es por esto que una empresa como Jushi Design Limitada con mucho tiempo en el mercado nacional está interesada en el desarrollo del plan exportador, así mismo el estar posesionado en las principales ciudades del país colombiano es de gran ayuda para el desarrollo de los objetivos planteados ya que se a preocupado por expandirse en el territorio nacional con sus prendas de últimas tendencias y gustos en las mujeres. No solo se realizara un estudio de viabilidad de exportación hacia la empresa Jushi Design Limitada si no también se buscara fortalezas y debilidades de la organización con el fin de poder contribuirle de alguna forma a la empresa sus problemas en los cuales frecuentan internamente y externamente. De esta forma entenderán cual es la salida a las diferentes debilidades que frecuentan dado el caso que las tengan. Es importante dar entender que por más que una empresa este en las mejores condiciones y posicionamiento en el mercado hay ciertas variables de las cuales toda empresa depende para el gran éxito y perdurabilidad en el tiempo, como lo son los aspectos políticos, sociales, económicos culturales entre otros. Todos estos son de gran fundamento para la consecución de los objetivos, buscar un país que cumpla con todas estas expectativas es muy importante para poder conseguir los objetivos planteados. Sin embargo nos basaremos en el aspecto comercial de Colombia frente al otro país ya que en este caso sería el primordial para encontrar el país indicado a realizar el estudio. Se realizara el diagnostico e investigación de mercados, con el fin de determinar tanto la situación de la empresa como la viabilidad en la que se encuentra, para la obtención del planteamiento del problema. Se buscara penetrar otros mercados con las diferentes colecciones que Jushi Design Limitada obtiene en el ano, de esta forma mostrara las últimas tendencias de la moda femeninas y sus diferentes y nuevos diseños en el mercado exterior. Las colecciones estarán fundamentas de acuerdo a la ocasión, clima y gusto de la persona, teniendo en cuenta aspectos como clima, moda, y ocasión en el cual este último está fundamentado mediante la época o momento en el cual está viviendo el cliente siendo en este caso la mujer.

Análisis de factibilidad en la recolección y recuperación de pilas de zinc-aire para audífonos cubiertos por el POS

Debido a la latente preocupación ambiental, la nueva y futura legislación sobre el tema y la forma en que estos factores afectan a las empresas, en este trabajo realizado en la Universidad del Rosario en el primer semestre del 2011, se realizó un estudio de la factibilidad de realizar un plan post consumo para las pilas zinc-aire, referencias R10, R13, R312 y R675 que son utilizadas para los aparatos auditivos. Existe una gran cantidad de pilas zinc-aire que alcanzan el final de su vida útil semanalmente en el país y estas son potencialmente tóxicas y no-biodegradables, por lo que decidimos investigar qué tan factible podía ser hacer una recuperación eficiente de las mismas y qué beneficios podría reportar a las empresas del sector. En la investigación se descartaron opciones como la desmaterialización para venta de sus materiales y la recarga de las pilas para su re-uso, ambas debido a que aún no se cuenta con la tecnología necesaria en el continente para estas opciones. Se consideró entonces el planteamiento de un plan Post-consumo para la correcta disposición de estas pilas, para lo cual es necesario exportarla al continente Europeo. A partir del planteamiento del Plan Post-consumo se hizo un estudio de la factibilidad del mismo, logrando determinar los aspectos principales del plan, como son: Información del producto, del mercado, transporte, almacenamiento, procedimiento del reciclaje, beneficios ambientales, y los costos de llevarlo a cabo.

Estudio de pre-factibilidad para ampliar la planta de lácteos de la Cooperativa Coagroles en Sesquilé, Cundinamarca

El estudio de pre-factibilidad para ampliar la planta de lácteos de la cooperativa Coagroles en el municipio de Sesquilé, ubicado en Cundinamarca, surgió con el fin de aportar a los miembros de la cooperativa desde una punto de vista académico, cómo pueden tener un mejor desempeño en las labores para que el funcionamiento de la Cooperativa sea exitoso. Al notar que los asociados de Coagroles han mostrado el interés por este proyecto, nosotros como estudiantes de Administración de Negocios Internacionales y Administración en Logística y Producción, hemos puesto nuestros conocimientos a una investigación, donde se han analizado tanto fortalezas como debilidades con el fin de encontrar alternativas y opciones para mejorar la situación actual como es la producción y enfriamiento de la leche. Teniendo como objetivo el incremento en los ingresos económicos de la cooperativa Coagroles. Este es un trabajo realizado en alianza con una entidad educativa, en este caso Universidad del Rosario y entidades del Gobierno, donde juntos son los encargados del desarrollo integrar de todo el país. Busca brindar a la ciudadanía oportunidades de mejora y progreso en las actividades económicas que realizan. Actualmente, se vive una situación de complejidad en los mercados, donde cada día son más exigentes, teniendo en cuenta que los pequeños productores deben ir fortaleciéndose para competir con otras entidades no solo a nivel nacional sino próximamente a nivel internacional.

Sheffield Rail Spreadsheet

This data contains the results of application of a feasibility study on rail demand. The case study of Sheffield and 100 large urban areas in the UK.

Estudio de pre factibilidad para el montaje de un tanque de enfriamiento de leche en el municipio de Machetá, Cundinamarca

Este proyecto hace parte del Convenio suscrito entre El Colegio Mayor de Nuestra Señora del Rosario y la Gobernación de Cundinamarca, para adelantar el proyecto de “Municipio Saludables como Polo de Desarrollo Local (MSPDL)”, cuyo objetivo general es mejorar la calidad de vida de los habitantes de tres (3) municipios escogidos por la Gobernación de Cundinamarca: Mesitas de El Colegio, ubicado en la Provincia del Tequendama, Sesquilé y Machetá, ubicados en la Provincia de Almeidas. En el desarrollo del proyecto la Facultad de Administración de la Universidad del Rosario encontró en el municipio de Machetà, la Asociación “Vuestra Honrosa Labranza, asociación, formada por miembros de tres (3) veredas en el municipio. En las visitas realizadas al municipio y en las charlas sostenidas con algunos de los socios, manifestaron interés por la implementación del proyecto en su asociación. En reuniones y conversaciones sostenidas con el Secretario de Desarrollo Social de la Gobernación de Cundinamarca, en los que se han presentado varios informes de avance del proyecto Municipio Saludable como Polo de Desarrollo Local (MSPDL), se comentó explícitamente la problemática planteada por la Asociación Vuestra Honrosa Labranza”, con el fin de conseguir una forma para apoyarlos, con el montaje de un tanque de enfriamiento de leche. Para el desarrollo del estudio de Pre factibilidad del montaje de un tanque para el enfriamiento de la leche, se desarrollaran los capítulos de mercado, técnico, administrativo, legal, ambiental y financiero, con el fin de evaluar si esta información es suficiente y decidir si la idea del proyecto es viable o no.

Selección del país objetivo para un plan de internacionalización de teja de arcilla desde Colombia 2013

A partir del conocimiento que se posee referente al desarrollo de las ladrilleras del sector de Nemocón y las herramientas y disciplinas aplicables al estudio de un plan de internacionalización, se determina desarrollar el siguiente proceso. En primer lugar, a partir de la necesidad de diagnosticar un análisis del sector ladrillero en Nemocón Cundinamarca, se hace indispensable utilizar herramientas de la línea de estrategia. Se requiere de un estudio matricial del comportamiento del sector con su respectivo análisis y para generar un mayor soporte técnico al análisis del sector, se requiere de un estudio de planeación estratégica por escenarios el cual proveerá a la investigación de diversas alternativas en la selección de variables fundamentales del sistema. Acerca del estudio de los mercados tanto nacional como internacional, se dispondrá de las habilidades básicas de la línea de mercadeo. Es importante que a partir del análisis del sector y de la obtención de algunas variables importantes, se indague a profundidad acerca de las variables más importantes para el desarrollo de una matriz de mercados. La idea de la aplicación de esta matriz, es generar unos filtros de países seleccionados a partir de variables anteriormente especificadas con el fin de determinar un único mercado que será el objetivo para el plan de internacionalización. Sobre el país seleccionado se aplica un estudio de mercado y un estudio de viabilidad financiera bajo los cuales se obtienen las conclusiones del plan de internacionalización, su viabilidad y sus recomendaciones.

Estudio de factibilidad y oportunidades de las empresas Colombianas al crear zonas francas uniempresariales

Con el propósito de incentivar la inversión de las empresas colombianas, el Estado modifico sus políticas de Zonas Francas creando así las Zonas francas Uniempresariales; gracias a estas políticas, las empresas pueden ubicar una zona franca en cualquier parte del país con todos sus benéficos a cambio de crear empleo y unos montos de inversión estipulados. Por medio de un caso de estudio y un análisis de factibilidad se puede analizar en este trabajo que tan viable es para las empresas acogerse a estas nuevas políticas y que beneficios le trae.

Pasado presente y futuro del puerto de Cartagena frente a los requerimientos de la apertura

presentar la realidad portuaria de Cartagena y verificar si efectivamente se están dirigiendo los esfuerzos a la optimización de la operación del puerto, para adecuarse a la corriente económica vigente

Prefactibilidad de producción y comercialización de quesos en Machetá

Con el objetivo de incrementar los ingresos de los pequeños ganaderos de Machetá, se realizó un análisis de prefactibilidad de la venta y comercialización de queso mediante la cooperativa "Vuestra Honrosa Labranza". En un trabajo conjunto con los miembros de la cooperativa se desarrolló un plan de negocio basado en la producción de leche agregada de estos pequeños ganaderos. Este estudio de pre factibilidad surge como respuesta a la problemática que genera el hecho de que en Colombia una gran parte de la población vive con escasos recursos y aparentemente las posibilidades de salir de este estado son pocas, este es el caso de los productores de leche de Machetá, que pese a tener experiencia en esta actividad se han visto en desventaja debido a la falta de capacitación y de oportunidades para obtener un producto final competitivo.

La experiencia de los receptores en el trasplante de órganos y tejidos

El trasplante de órganos y/o tejidos es considerado como una opción terapéutica viable para el tratamiento tanto de enfermedades crónicas o en estadios terminales, como de afectaciones no vitales, pero que generen una disminución en la calidad de vida percibida por el paciente. Este procedimiento, de carácter multidimensional, está compuesto por 3 actores principales: el donante, el órgano/tejido, y el receptor. Si bien un porcentaje significativo de investigaciones y planes de intervención han girado en torno a la dimensión biológica del trasplante, y a la promoción de la donación; el interés por la experiencia psicosocial y la calidad de vida de los receptores en este proceso ha aumentado durante la última década. En relación con esto, la presente monografía se plantea como objetivo general la exploración de la experiencia y los significados construidos por los pacientes trasplantados, a través de una revisión sistemática de la literatura sobre esta temática. Para ello, se plantearon unos objetivos específicos derivados del general, se seleccionaron términos o palabras claves por cada uno de estos, y se realizó una búsqueda en 5 bases de datos para revistas indexadas: Ebsco Host (Academic Search; y Psychology and Behavioral Sciences Collection); Proquest; Pubmed; y Science Direct. A partir de los resultados, se establece que si bien la vivencia de los receptores ha comenzado a ser investigada, aún es necesaria una mayor exploración sobre la experiencia de estos pacientes; exploración que carecería de objetivo si no se hiciera a través de las narrativas o testimonios de los mismos receptores

Comprobando la integridad del trayecto pedicular torácico: ¿es valido el uso del palpador pedicular? Técnica en cadáveres

Introducción: En la práctica neuroquirurgica el uso de tornillos pediculares torácicos ha venido en aumento en el tratamiento de diferentes patologías de la espinales. Desde la descripción original, se confirma la adecuada canalización del trayecto mediante el uso del palpador, sin embargo la validez y seguridad de dicho instrumento es limitada y existe riesgo de complicaciones complejas. En este estudio se comprueba la seguridad y validez del uso del palpador para diagnosticar la integridad del trayecto pedicular torácico. Metodología: Se canalizaron pedículos torácicos en especímenes cadavéricos los cuales de manera aleatoria se clasificaron como normales (íntegros) o anormales (violados). Posteriormente cuatro cirujanos de columna, con diferentes grados de experticia, evaluaron el trayecto pedicular. Se realizaron estudios de concordancia obteniendo coeficiente Kappa, porcentaje total de precisión, sensibilidad, especificidad, VPP y VPN y el área bajo la curva ROC para determinar la precisión de la prueba. Resultados: La precisión y validez en el diagnostico del trayecto pedicular y localización del sitio de violación tienen relación directa con la experiencia y entrenamiento del cirujano, el evaluador con mayor experiencia obtuvo los mejores resultados. El uso del palpador tiene una buena precisión, área bajo la curva ROC 0.86, para el diagnostico de las lesiones pediculares. Discusión: La evaluación precisa del trayecto pedicular, presencia o ausencia de una violación, es dependiente del grado de experiencia del cirujano, adicionalmente la precisión diagnostica de la violación varía según la localización de esta.

Global scale water stages from SAR imagery (GlosSARi) to support global flood forecasting

Despite the success of studies attempting to integrate remotely sensed data and flood modelling and the need to provide near-real time data routinely on a global scale as well as setting up online data archives, there is to date a lack of spatially and temporally distributed hydraulic parameters to support ongoing efforts in modelling. Therefore, the objective of this project is to provide a global evaluation and benchmark data set of floodplain water stages with uncertainties and assimilation in a large scale flood model using space-borne radar imagery. An algorithm is developed for automated retrieval of water stages with uncertainties from a sequence of radar imagery and data are assimilated in a flood model using the Tewkesbury 2007 flood event as a feasibility study. The retrieval method that we employ is based on possibility theory which is an extension of fuzzy sets and that encompasses probability theory. In our case we first attempt to identify main sources of uncertainty in the retrieval of water stages from radar imagery for which we define physically meaningful ranges of parameter values. Possibilities of values are then computed for each parameter using a triangular ‘membership’ function. This procedure allows the computation of possible values of water stages at maximum flood extents along a river at many different locations. At a later stage in the project these data are then used in assimilation, calibration or validation of a flood model. The application is subsequently extended to a global scale using wide swath radar imagery and a simple global flood forecasting model thereby providing improved river discharge estimates to update the latter.

Review of R&D progress and practical application of the solar photovoltaic/thermal (PV/T) technologies

In this paper, the global market potential of solar thermal, photovoltaic (PV) and combined photovoltaic/thermal (PV/T) technologies in current time and near future was discussed. The concept of the PV/T and the theory behind the PV/T operation were briefly introduced, and standards for evaluating technical, economic and environmental performance of the PV/T systems were addressed. A comprehensive literature review into R&D works and practical application of the PV/T technology was illustrated and the review results were critically analysed in terms of PV/T type and research methodology used. The major features, current status, research focuses and existing difficulties/barriers related to the various types of PV/T were identified. The research methods, including theoretical analyses and computer simulation, experimental and combined experimental/theoretical investigation, demonstration and feasibility study, as well as economic and environmental analyses, applied into the PV/T technology were individually discussed, and the achievement and problems remaining in each research method category were described. Finally, opportunities for further work to carry on PV/T study were identified. The review research indicated that air/water-based PV/T systems are the commonly used technologies but their thermal removal effectiveness is lower. Refrigerant/heat-pipe-based PV/Ts, although still in research/laboratory stage, could achieve much higher solar conversion efficiencies over the air/water-based systems. However, these systems were found a few technical challenges in practice which require further resolutions. The review research suggested that further works could be undertaken to (1) develop new feasible, economic and energy efficient PV/T systems; (2) optimise the structural/geometrical configurations of the existing PV/T systems; (3) study long term dynamic performance of the PV/T systems; (4) demonstrate the PV/T systems in real buildings and conduct the feasibility study; and (5) carry on advanced economic and environmental analyses. This review research helps finding the questions remaining in PV/T technology, identify new research topics/directions to further improve the performance of the PV/T, remove the barriers in PV/T practical application, establish the standards/regulations related to PV/T design and installation, and promote its market penetration throughout the world.

Use of miniaturized protein arrays for Escherichia coli O serotyping

Serological typing of Escherichia coli O antigens is a well-established method used for differentiation and identification of O serotypes commonly associated with disease. In this feasibility study, we have developed a novel somatic antibody-based miniaturized microarray chip, using 17 antisera, which can be used to detect bound whole-cell E. coli antigen with its corresponding immobilized antibody, to assess the feasibility of this approach. The chip was tested using the related 17 control strains, and the O types found by the microarray chip showed 100% correlation with the O types found by conventional typing. A blind trial was performed in which 100 E. coli isolates that had been O serotyped previously by the conventional assay were tested by the array approach. Overall, the O serotypes of 88% of isolates were correctly identified by the microarray method. For several isolates, ambiguity of O-type designation by microarray arose due to increased sensitivity of this method, allowing signal intensities of cross-reactions to be quantified. Investigation of discrepancies between conventional and microarray O serotyping indicated that some isolates upon storage had become untypeable and, therefore, gave poor signal intensity when tested by the microarray or retested by conventional means. For all 20 serotype O26 and O157 isolates, the apparent discrepancy in O serotyping was analyzed further by a third independent test, which confirmed the microarray results. Therefore, the use of miniaturized protein arrays increases the speed and efficiency of O serotyping in a cost-effective manner, and these preliminary findings suggest the microarray approach may have a higher accuracy than those of traditional O-serotyping methods.