Generación de Casos de Prueba en Programación Orientada a Objetos = Test Case Generation in Object-Oriented Programming

Las pruebas de software (Testing) son en la actualidad la técnica más utilizada para la validación y la evaluación de la calidad de un programa. El testing está integrado en todas las metodologías prácticas de desarrollo de software y juega un papel crucial en el éxito de cualquier proyecto de software. Desde las unidades de código más pequeñas a los componentes más complejos, su integración en un sistema de software y su despliegue a producción, todas las piezas de un producto de software deben ser probadas a fondo antes de que el producto de software pueda ser liberado a un entorno de producción. La mayor limitación del testing de software es que continúa siendo un conjunto de tareas manuales, representando una buena parte del coste total de desarrollo. En este escenario, la automatización resulta fundamental para aliviar estos altos costes. La generación automática de casos de pruebas (TCG, del inglés test case generation) es el proceso de generar automáticamente casos de prueba que logren un alto recubrimiento del programa. Entre la gran variedad de enfoques hacia la TCG, esta tesis se centra en un enfoque estructural de caja blanca, y más concretamente en una de las técnicas más utilizadas actualmente, la ejecución simbólica. En ejecución simbólica, el programa bajo pruebas es ejecutado con expresiones simbólicas como argumentos de entrada en lugar de valores concretos. Esta tesis se basa en un marco general para la generación automática de casos de prueba dirigido a programas imperativos orientados a objetos (Java, por ejemplo) y basado en programación lógica con restricciones (CLP, del inglés constraint logic programming). En este marco general, el programa imperativo bajo pruebas es primeramente traducido a un programa CLP equivalente, y luego dicho programa CLP es ejecutado simbólicamente utilizando los mecanismos de evaluación estándar de CLP, extendidos con operaciones especiales para el tratamiento de estructuras de datos dinámicas. Mejorar la escalabilidad y la eficiencia de la ejecución simbólica constituye un reto muy importante. Es bien sabido que la ejecución simbólica resulta impracticable debido al gran número de caminos de ejecución que deben ser explorados y a tamaño de las restricciones que se deben manipular. Además, la generación de casos de prueba mediante ejecución simbólica tiende a producir un número innecesariamente grande de casos de prueba cuando es aplicada a programas de tamaño medio o grande. Las contribuciones de esta tesis pueden ser resumidas como sigue. (1) Se desarrolla un enfoque composicional basado en CLP para la generación de casos de prueba, el cual busca aliviar el problema de la explosión de caminos interprocedimiento analizando de forma separada cada componente (p.ej. método) del programa bajo pruebas, almacenando los resultados y reutilizándolos incrementalmente hasta obtener resultados para el programa completo. También se ha desarrollado un enfoque composicional basado en especialización de programas (evaluación parcial) para la herramienta de ejecución simbólica Symbolic PathFinder (SPF). (2) Se propone una metodología para usar información del consumo de recursos del programa bajo pruebas para guiar la ejecución simbólica hacia aquellas partes del programa que satisfacen una determinada política de recursos, evitando la exploración de aquellas partes del programa que violan dicha política. (3) Se propone una metodología genérica para guiar la ejecución simbólica hacia las partes más interesantes del programa, la cual utiliza abstracciones como generadores de trazas para guiar la ejecución de acuerdo a criterios de selección estructurales. (4) Se propone un nuevo resolutor de restricciones, el cual maneja eficientemente restricciones sobre el uso de la memoria dinámica global (heap) durante ejecución simbólica, el cual mejora considerablemente el rendimiento de la técnica estándar utilizada para este propósito, la \lazy initialization". (5) Todas las técnicas propuestas han sido implementadas en el sistema PET (el enfoque composicional ha sido también implementado en la herramienta SPF). Mediante evaluación experimental se ha confirmado que todas ellas mejoran considerablemente la escalabilidad y eficiencia de la ejecución simbólica y la generación de casos de prueba. ABSTRACT Testing is nowadays the most used technique to validate software and assess its quality. It is integrated into all practical software development methodologies and plays a crucial role towards the success of any software project. From the smallest units of code to the most complex components and their integration into a software system and later deployment; all pieces of a software product must be tested thoroughly before a software product can be released. The main limitation of software testing is that it remains a mostly manual task, representing a large fraction of the total development cost. In this scenario, test automation is paramount to alleviate such high costs. Test case generation (TCG) is the process of automatically generating test inputs that achieve high coverage of the system under test. Among a wide variety of approaches to TCG, this thesis focuses on structural (white-box) TCG, where one of the most successful enabling techniques is symbolic execution. In symbolic execution, the program under test is executed with its input arguments being symbolic expressions rather than concrete values. This thesis relies on a previously developed constraint-based TCG framework for imperative object-oriented programs (e.g., Java), in which the imperative program under test is first translated into an equivalent constraint logic program, and then such translated program is symbolically executed by relying on standard evaluation mechanisms of Constraint Logic Programming (CLP), extended with special treatment for dynamically allocated data structures. Improving the scalability and efficiency of symbolic execution constitutes a major challenge. It is well known that symbolic execution quickly becomes impractical due to the large number of paths that must be explored and the size of the constraints that must be handled. Moreover, symbolic execution-based TCG tends to produce an unnecessarily large number of test cases when applied to medium or large programs. The contributions of this dissertation can be summarized as follows. (1) A compositional approach to CLP-based TCG is developed which overcomes the inter-procedural path explosion by separately analyzing each component (method) in a program under test, stowing the results as method summaries and incrementally reusing them to obtain whole-program results. A similar compositional strategy that relies on program specialization is also developed for the state-of-the-art symbolic execution tool Symbolic PathFinder (SPF). (2) Resource-driven TCG is proposed as a methodology to use resource consumption information to drive symbolic execution towards those parts of the program under test that comply with a user-provided resource policy, avoiding the exploration of those parts of the program that violate such policy. (3) A generic methodology to guide symbolic execution towards the most interesting parts of a program is proposed, which uses abstractions as oracles to steer symbolic execution through those parts of the program under test that interest the programmer/tester most. (4) A new heap-constraint solver is proposed, which efficiently handles heap-related constraints and aliasing of references during symbolic execution and greatly outperforms the state-of-the-art standard technique known as lazy initialization. (5) All techniques above have been implemented in the PET system (and some of them in the SPF tool). Experimental evaluation has confirmed that they considerably help towards a more scalable and efficient symbolic execution and TCG.

Desarrollo de una aplicación Web empresarial de ayuda a la producción de campañas publicitarias

La creación de esta aplicación web empresarial surge con la necesidad de optimizar el tiempo en el proceso de creación de una campaña publicitaria de email marketing. El objetivo principal de este trabajo es automatizar el proceso de validación de los campos de un formulario web. Un formulario web [6] es un documento digital en el que los usuarios introducen sus datos personales como nombre, apellido, dirección, documento de identidad, entre otros. Estos datos posteriormente serán procesados y almacenados en un base de datos para luego ser enviados al anunciante. El proceso de validación se refiere a la programación del formulario web en la parte del cliente usando tecnologías web como JavaScript y HTML5, para controlar que los datos introducidos por el usuario en el formulario, sean correctos. Cada campo de un formulario web tiene una validación específica que depende de varios factores, como son el país de lanzamiento de la campaña y el campo a validar. De esta forma dependiendo del tipo de validación se genera un fichero JavaScript con todas las validaciones de dicho formulario. Una de las finalidades de este trabajo es que cualquier usuario de la empresa pueda programar un formulario web, sin tener conocimientos previos de programación, ya que la programación se realiza de forma transparente al usuario. Este es un resumen básico de la aplicación web, sin embargo se debe tener en cuenta una serie de requisitos y parámetros para hacerlo más eficiente y personalizable dependiendo de las necesidades del producto final de cada campaña publicitaria. Todos estos aspectos se explicaran en detalle en los siguientes apartados. Este trabajo se realizó en el corporativo Media Response Group, para la empresa Canalmail S.L, situada en Alcobendas, supervisado por los tutores profesionales Daniel Paz y Jorge Lázaro Molina y por el tutor académico Rafael Fernández Gallego de la Universidad Politécnica de Madrid.---ABSTRACT---The creation of this enterprise Web application arises from the need to optimize the time in the process of creating an online advertising campaign. The main objective of this work is to automate the process of validating fields in a web form. A web form [6] is a digital document that users enter data such as name, surname, address, ID number among others. These data will subsequently be processed and stored in a database and then be sent to the client. These data will subsequently be processed and stored in a database and then be sent to the advertiser. This validation process refers to programming the online form on the client‟s side using web technologies such as JavaScript, HTML5 to control that the data entered by the user in this form are correct. Each field in a web form has a specific validation that depends on several factors; like being a nationwide launch of the campaign and validating data, thus depending on the type of validation a JavaScript file is generated with all validation web form. This file is integrated into the web form by calling the service. One purpose of this work is that any business user can program a web form, without prior knowledge of web programming, since programming is transparent to the user. This is a basic summary of the web application; however we must consider a number of requirements and parameters to make it more efficient and customizable depending on the needs of the end product of each advertising campaign. All these aspects are explained in detail in the following sections. This work was performed in the corporate Media Response Group, for the company Canalmail S.L, located in Alcobendas, supervised by professional tutors Daniel Paz and Jorge Lázaro Molina and PhD Assistant Lecturer at Universidad Politécnica de Madrid. Rafael Fernández Gallego.

Esquema de Referencia para Acoplamiento Débil entre Sistema Informático y Equipo de Producción

La meta de intercambiabilidad de piezas establecida en los sistemas de producción del siglo XIX, es ampliada en el último cuarto del siglo pasado para lograr la capacidad de fabricación de varios tipos de producto en un mismo sistema de manufactura, requerimiento impulsado por la incertidumbre del mercado. Esta incertidumbre conduce a plantear la flexibilidad como característica importante en el sistema de producción. La presente tesis se ubica en el problema de integración del sistema informático (SI) con el equipo de producción (EP) en la búsqueda de una solución que coadyuve a satisfacer los requerimientos de flexibilidad impuestas por las condiciones actuales de mercado. Se describen antecedentes de los sistemas de producción actuales y del concepto de flexibilidad. Se propone una clasificación compacta y práctica de los tipos de flexibilidad relevantes en el problema de integración SI-EP, con la finalidad de ubicar el significado de flexibilidad en el área de interés. Así mismo, las variables a manejar en la solución son clasificadas en cuatro tipos: Medio físico, lenguajes de programación y controlador, naturaleza del equipo y componentes de acoplamiento. Por otra parte, la característica de reusabilidad como un efecto importante y deseable de un sistema flexible, es planteada como meta en la solución propuesta no solo a nivel aplicación del sistema sino también a nivel de reuso de conceptos de diseño. Se propone un esquema de referencia en tres niveles de abstracción, que permita manejar y reutilizar en forma organizada el conocimiento del dominio de aplicación (integración SI-EP), el desarrollo de sistemas de aplicación genérica así como también la aplicación del mismo en un caso particular. Un análisis del concepto de acoplamiento débil (AD) es utilizado como base en la solución propuesta al problema de integración SI-EP. El desarrollo inicia identificando condiciones para la existencia del acoplamiento débil, compensadores para soportar la operación del sistema bajo AD y los efectos que ocasionan en el sistema informático los cambios en el conjunto de equipos de producción. Así mismo, se introducen como componentes principales del acoplamiento los componentes tecnológico, tarea y rol, a utilizar en el análisis de los requerimientos para el desarrollo de una solución de AD entre SI-EP. La estructura de tres niveles del esquema de referencia propuesto surge del análisis del significado de conceptos de referencia comúnmente reportados en la literatura, tales como arquitectura de referencia, modelo de referencia, marco de trabajo, entre otros. Se presenta un análisis de su significado como base para la definición de cada uno de los niveles de la estructura del esquema, pretendiendo con ello evitar la ambigüedad existente debido al uso indistinto de tales conceptos en la literatura revisada. Por otra parte, la relación entre niveles es definida tomando como base la estructura de cuatro capas planteada en el área de modelado de datos. La arquitectura de referencia, implementada en el primer nivel del esquema propuesto es utilizada como base para el desarrollo del modelo de referencia o marco de trabajo para el acoplamiento débil entre el SI y el EP. La solución propuesta es validada en la integración de un sistema informático de coordinación de flujo y procesamiento de pieza con un conjunto variable de equipos de diferentes tipos, naturaleza y fabricantes. En el ejercicio de validación se abordaron diferentes estándares y técnicas comúnmente empleadas como soporte al problema de integración a nivel componente tecnológico, tales como herramientas de cero configuración (ejemplo: plug and play), estándar OPC-UA, colas de mensajes y servicios web, permitiendo así ubicar el apoyo de estas técnicas en el ámbito del componente tecnológico y su relación con los otros componentes de acoplamiento: tarea y rol. ABSTRACT The interchangeability of parts, as a goal of manufacturing systems at the nineteenth century, is extended into the present to achieve the ability to manufacture various types of products in the same manufacturing system, requirement associated with market uncertainty. This uncertainty raises flexibility as an important feature in the production system. This thesis addresses the problem regarding integration of software system (SS) and the set of production equipment (PE); looking for a solution that contributes to satisfy the requirements of flexibility that the current market conditions impose on manufacturing, particularly to the production floor. Antecedents to actual production systems as well as the concept of flexibility are described and analyzed in detail. A practical and compact classification of flexibility types of relevance to the integration SS-EP problem is proposed with the aim to delimit the meaning of flexibility regarding the area of interest. Also, a classification for the variables involved in the integration problem is presented into four types: Physical media, programming and controller languages, equipment nature and coupling components. In addition, the characteristic of reusability that has been seen as an important and desirable effect of a flexible system is taken as a goal in the proposed solution, not only at system implementation level but also at system design level. In this direction, a reference scheme is proposed consisting of three abstraction levels to systematically support management and reuse of domain knowledge (SS-PE), development of a generic system as well as its application in a particular case. The concept of loose coupling is used as a basis in the development of the proposed solution to the problem of integration SS-EP. The first step of the development process consists of an analysis of the loose coupled concept, identifying conditions for its existence, compensators for system operation under loose coupling conditions as well as effects in the software system caused by modification in the set of production equipment. In addition coupling components: technological, task and role are introduced as main components to support the analysis of requirements regarding loose coupling of SS-PE. The three tier structure of the proposed reference scheme emerges from the analysis of reference concepts commonly reported in the literature, such as reference architecture, reference model and framework, among others. An analysis of these concepts is used as a basis for definition of the structure levels of the proposed scheme, trying to avoid the ambiguity due to the indiscriminate use of such concepts in the reviewed literature. In addition, the relation between adjacent levels of the structure is defined based on the four tiers structure commonly used in the data modelling area. The reference architecture is located as the first level in the structure of the proposed reference scheme and it is utilized as a basis for the development of the reference model or loose coupling framework for SS-PE integration. The proposed solution is validated by integrating a software system (process and piece flow coordination system) with a variable set of production equipment including different types, nature and manufacturers of equipment. Furthermore, in this validation exercise, different standards and techniques commonly used have been taken into account to support the issue of technology coupling component, such as tools for zero configuration (i.e. Plug and Play), message queues, OPC-UA standard, and web services. Through this part of the validation exercise, these integration tools are located as a part of the technological component and they are related to the role and task components of coupling.

Axiomatización de clases y conjunto en la matemática en la programación orientada a objetos

El objetivo de este documento es presentar dos aproximaciones generales a la axiomatización de clases y conjuntos. De una parte, la aproximación matemáticas, mostrando el origen, evolución y desarrollo de la teoría matemática de clases y conjuntos, sin formular completamente el desarrollo axiomático, sólo mostrando los conceptos básicos y las crisis generadas por ellos y la solución más usualmente aceptada. Por otra parte, la aproximación dada por el paradigma orientado a objetos, siguiendo especialmente la línea marcada por el lenguaje smalltalk-80

Aplicación Web para la Comercialización y Administración de la Asociación Cooperativa de Producción Pesquera y Servicios Múltiples “Bocana Lempa - Jaltepec de R.L”, en el Cantón Las Mesas del Municipio de Tecoluca del Departamento de San Vicente.

El trabajo de graduación describe el desarrollo de una Aplicación web desarrollada para la Asociación cooperativa de producción pesquera y servicios múltiples “Bocana Lempa - Jaltepec de R.L”, en el Cantón las Mesas del municipio de Tecoluca del departamento de San Vicente, con dicha aplicación se automatizaron los procesos de las áreas de comercialización y administración de la cooperativa, los cuales son, Activo fijo, Recursos Humanos, Facturación, Inventario y el desarrollo de una página web a la que accesan los clientes para la realización de pedidos. Con el desarrollo de dicha aplicación se ha obtenido una mayor agilización en los procesos, los cuales conllevan a adquirir mayores logros entre los cuales podemos mencionar: información detallada de los movimientos de inventario, presentación de informes, mejoras en el control de activo fijo, salarios, vacaciones, permisos de los empleados, registro de pedidos realizados desde la página web, impresión de facturas y la reducción del tiempo en el desarrollo de los procesos. SUMMARY The graduation work describes the development of a web application developed for the cooperative association of fish production and multiple services "Bocana Lempa - Jaltepec RL" in the Canton Tables Township Tecoluca the department of San Vicente, with such application they automated processes as the marketing and administration of the cooperative, which are, fixed Assets, Human Resources, Billing, Inventory and development of a website that access to customers for ordering. With the development of this application has gained greater streamlining processes, which lead to acquire greater achievements among which include: detailed information on inventory movements, reporting, improved control of fixed assets, wages holidays, permits employees record orders made from the website, print invoices and time reduction in development processes. Keywords : Online ordering , fixed assets, payroll employees , billing, control fishing. The graduation work describes the development of a web application developed for the cooperative association of fish production and multiple services "Bocana Lempa - Jaltepec RL" in the Canton Tables Township Tecoluca the department of San Vicente, with such application they automated processes as the marketing and administration of the cooperative, which are, fixed Assets, Human Resources, Billing, Inventory and development of a website that access to customers for ordering. With the development of this application has gained greater streamlining processes, which lead to acquire greater achievements among which include: detailed information on inventory movements, reporting, improved control of fixed assets, wages holidays, permits employees record orders made from the website, print invoices and time reduction in development processes.

Optimización de la producción de una línea de manufactura mediante un modelo matemático

En el presente trabajo, se presentan los clásicos problemas que se tienen en los diferentes ambientes de manufactura, la programación y secuenciación de las diferentes tareas a realizar en el piso de producción, las restricciones propias del proceso de manufactura así como los cuellos de botella. Uno de los problemas principales que se tiene en la línea de producción en estudio es la programación de los requerimientos semanales en las dos líneas de ensamble y sus VII respectivos probadores funcionales, para lo cual se ha desarrollado un modelo matemático con el cual se obtendrá un plan maestro para la programación de la producción así como el respectivo secuenciamiento de las familias a correr en el ensamble y en los probadores funcionales. Para resolver esta problemática se ha utilizado la herramienta de la programación lineal, la cual ha sido extensivamente aplicada a la solución de problemas de programación y secuenciación de las líneas de producción para la correcta asignación de los recursos para cada tarea a realizar tomando en cuenta las restricciones del proceso de manufactura. En este trabajo se presenta un modelo de optimización que puede ser usado en el ambiente real de producción el cual denominaremos «plan maestro» con el cual se tendrá la visión general de la factibilidad del cumplimiento de la demanda semanal, la cantidad de horas de tiempo extra para su autorización, los recursos adicionales a solicitar o bien la administración de los recursos que no serán empleados. La solución del modelo matemático es obtenida por medio del uso del software de modelación matemáticas GAMS. Con los resultados obtenidos se realiza un análisis del cumplimiento de los requerimientos así como de los recursos de la línea.

El régimen militar brasilero y las censuras televisivas: entre las lógicas internas de producción y el contexto político

Este artículo analiza la censura televisiva durante el periodo del régimen militar brasilero, apuntando a la existencia de diversos tipos de censura empleados a los distintos géneros televisivos. Estas diferencias de criterios y mecanismos a la hora de censurar la televisión dejan al descubierto el tenso encuentro entre las lógicas de producción de la industria televisiva y la visión de la televisión por parte del régimen militar como instrumento de control social y vehículo para la educación de las masas. Basándose en la extensa documentación encontrada en los archivos de la Divisão de Censura e Divertimento Público (DCDP), este artículo se propone reconstruir el entramado de relaciones de poder, complicidades y tenciones que afectaban la producción televisiva durante el periodo del régimen militar brasilero.

Efectos de la aplicación del indicador de años de vida productivos perdidos (modelo inversión producción consumo) en el ordenamiento de las causas de muerte en México, 1990

En busca de métodos que apoyen la toma de decisiones y maximizar el beneficio al priorizar necesidades, el presente trabajo discute el modelo de inversión-producción-consumo (IPC) que intenta cuantificar el impacto socio-económico de la mortalidad. Este tipo de evaluación toma en cuenta la edad al morir y la potencial productividad futura generando así pérdidas o ganancias a la sociedad, dependiendo de la etapa de la vida en que ocurrió la muerte. Se ilustra para el caso de México el impacto de las diferentes causas de muerte y se compara con la importancia relativa a partir de el ordenamiento con tasas de mortalidad y el indicador de años de vida perdidos. El ordenamiento por tasas muestra a las enfermedades del corazón, accidentes y tumores como las primeras causas. Por otro lado el indicador de años de vida potencial perdidos tradicional muestra en primer lugar a las causas de muerte en edades menores. El indicador de años de vida produtivos perdidos, sin embargo, concede mayor importancia las infecciones, los accidentes y los homicidios desde el punto de vista de la producción y consumo.

A Dobragem em Portugal: novos paradigmas na tradução audiovisual

En un país acostumbrado a una cultura en que domina el subtitulado, se ha podido observar, en la última década, una incremento de productos audiovisuales doblados tanto para cine como para televisión. El fenómeno del doblaje, aún poco conocido y estudiado, podrá llevar a un cambio de actitudes y de hábitos del público portugués. La necesidad de observar y analizar el doblaje en Portugal, así como la voluntad de comprender este fenómeno constituyen la bases de esta tesis, como resultado concreto de una investigación llevada a cabo en el ámbito de los Estudios de Traducción Audiovisual, con vista a la obtención del grado académico de Doctor en Traducción y Paratraducción, otorgado por la Universidad de Vigo. El presente trabajo tiene como punto de partida el macrocontexto de la Traducción Audiovisual, pero se focaliza en el doblaje y, secuencialmente, en la realidad del doblaje en Portugal y en el doblaje de productos infanto-juveniles, incidiendo sobre el humor como un microcosmo relevante, debido a su especificidad en términos lingüísticos y culturales para la observación de este fenómeno. Se comprende la Traducción Audiovisual como mediación lingüística, cultural y semiótica centrada en un producto – el texto audiovisual. Este es el resultado de la acción combinatoria de signos verbales, visuales y auditivos. Cada uno transporta un sentido único e insustituible para la comunicación, ganando nuevos significados en las varias combinaciones creadas por esos mismos signos. Este polimorfismo semiótico se concretiza a través de la conjugación singular y exclusiva de todos los elementos verbales y no verbales, consistiendo en algo más que una suma de factores. Es un nuevo texto que se construye en un momento y en un espacio determinados.En este contexto, sobresale un fenómeno que está ganando más relevancia como modalidad traductora en la televisión portuguesa: la aceptación “inconsciente” del doblaje, ya que los programas doblados con imagen real se están imponiendo gradualmente y el público infanto-juvenil tiene una mayor apetencia por estos productos, contribuyendo así en un consumo creciente del doblaje. Asistiendo a este cambio en los comportamientos, se cuestiona si estaremos frente a un nuevo tipo de espectador, más receptivo al doblaje, una vez que las nuevas generaciones, acostumbradas desde edad temprana a ver programas doblados, pueden cambiar sus preferencias y hábitos televisivos, adoptando una actitud más positiva hacia el doblaje. De esta manera, se considera la hipótesis de que el consumo masivo de productos audiovisuales doblados por los jóvenes actuales llevará a la aceptación del doblaje como medio preferencial de acceso al texto audiovisual, lato senso en el futuro. En este sentido y con el propósito de comprender y describir el fenómeno del doblaje en Portugal, conviene analizar varios aspectos, principalmente los de la oferta de productos audiovisuales doblados, del proceso técnico y profesional, de las preferencias de los receptores, del producto y de la traducción. Desde una perspectiva histórica, en la génesis de la opción por subtitular los productos audiovisuales extranjeros en Portugal, habría un intento de desincentivar el consumo de películas extranjeras y de impulsar la distribución de la producción nacional, que se adecuaba más a los valores del régimen de Salazar. Aún después del cambio de régimen, los subtítulos se mantuvieron como modalidad traductora dominante, que resulta de un proceso de habituación y aculturación que puede explicar el mantenimiento de las preferencias del público portugués durante décadas. Sin embargo, en Portugal se ha asistido al aumento gradual de la oferta televisiva y fílmica, sobre todo desde la introducción de los canales privados de señal abierta y por suscripción. La observación y contabilización de la oferta elevisiva reveló un número significativo de productos audiovisuales doblados en Portugal, dirigidos hacia los segmentos etarios más jóvenes. La hegemonía del doblaje con relación a los subtítulos, en lo que se refiere a la traducción de los productos infanto-juveniles extranjeros, condujo a un incremento del consumo de programas infanto-juveniles doblados. Ante esto y debido a la utilización del doblaje, se constató el dominio de la lengua portuguesa en la programación infanto-juvenil, lo que disminuye el contacto de este público con las lenguas extranjeras. Así se comprobó una tendencia a ampliar el ámbito de acción del doblaje en las emisiones televisivas, respondiendo a las cuotas de lengua portuguesa en la televisión en Portugal. Se imponía así ir remontarse hasta el origen del producto final y comprender cómo funciona el proceso técnico del doblaje. Para eso viví in loco la experiencia de la grabación en estudio, entrevisté personalmente y por correo electrónico a los profesionales del área, vi y analicé documentos de vídeo emitidos en la televisión y en Internet sobre esta actividad profesional. De la observación llevada a cabo en el terreno, se comprobó que el proceso de doblaje en Portugal es, sobre todo, una cadena secuencial de profesionales, que pasa por la intervención de distintos agentes en el texto doblado, no siendo únicamente responsabilidad del traductor. La versión final se somete a la manipulación lingüística de los directores de doblaje, a la adaptación sonora de los técnicos de sonido y a la interpretación de los actores, No se pudo comprobar el grado de responsabilidad de cada interviniente, dado que no fue posible acceder a las primeras versiones traducidas Se ha demostrado que el traductor es uno entre muchos agentes en el proceso técnico y que su intervención termina cuando entrega el texto traducido al director de doblaje. Considerando que en Portugal son los niños y los jóvenes los principales destinatarios del doblaje, se comprobó el perfil heterogéneo de este público, delimitado por franjas etarias y caracterizado por la especificidad de sus competencias lingüísticas, culturales y cognitivas, así como por la inexperiencia vivencial. Este hecho propicia la adopción del doblaje modalidad traductora preferencial para este segmento etario. Se confirmó, como resultado de la observación empírica efectuada, que la tipología de los programas televisivos infanto-juveniles en Portugal es poco diversificada y algo repetitiva, con gran prevalencia de la animación sobre la imagen real. Sin embargo, esta investigación reveló la existencia de un nuevo tipo de formato televisivo, con elevado potencial investigativo y que modificó los hábitos y las costumbres del público infanto-juvenil: las teencoms. Esta nueva tipología televisiva, compuesta por secuencias cortas de historias, por un ritmo acelerado de la acción y un discurso dotado de estructuras discursivas sencillas con un enfoque humorístico de fácil comprensión y asimilación por los espectadores más jóvenes, se emite doblada, contrariamente a la práctica imperante en Portugal de utilizar subtítulos en los programas extranjeros. Después de describir cómo ocurre y se materializa este fenómeno, hace falta comprender el porqué de este cambio de actitud. El doblaje de programas infanto-juveniles puede contener ‘ingredientes’ atractivos que cautivan a este nuevo público, haciéndolo una práctica natural y apetecible. Se cuestiona si los consumidores de programas infanto-juveniles doblados aceptan esta modalidad de TAV (Traducción Audiovisual) como natural e invisible, ya que estos presentan coherencia funcional y, así, garantizan niveles elevados de satisfacción. En este sentido, importa comprender cuáles son los factores de atracción y comprobar la eficacia del producto doblado. Uno de esos factores es el humor, como lo demuestra la cantidad de productos audiovisuales cómicos en Portugal destinados a las franjas etarias más jóvenes. Con relación a la traducción de textos humorísticos, dos ideas figuran en varios estudios: la dificultad en traducir el humor debido a las características lingüístico-culturales de cada comunidad, y la necesidad de recurrir a estrategias funcionalistas para que la comunidad pueda ser replicada en el producto audiovisual doblado. De la misma manera, considero que, por su subjetividad, la transferencia interlingüística del humor parece realmente una de las áreas más complejas para el traductor. Pero desde la óptica del investigador, se reveló como un objeto de análisis productivo y revelador del fenómeno del doblaje.

Caracterización y determinación del proceso para la producción de cal comercial a partir de la piedra caliza

La cal es un material producido a partir de la calcinación de la roca caliza y tiene diversas utilidades en el mundo de la industria como la siderúrgica, papelera, alimentaria, en la construcción, entre otras. Es fundamental conocer todas las características de la caliza para poder determinar su grado de calcinación. Con el presente trabajo se pretende estudiar las propiedades de la caliza para su posterior calcinación y el dimensionamiento de una planta de producción de cal desde que el mineral llega de la explotación hasta que sale al mercado. Para determinar los equipos se calcularon sus dimensiones para una producción de 600 t/h de cal, sabiendo que la planta principal de machaqueo solo trabajará 5 días de la semana en jornadas de 8 horas, mientras que a partir del horno de calcinación estará en funcionamiento los 7 días de la semana, 24 horas al día. A partir de esas consideraciones se obtienen las dimensiones de todos los equipos y se realiza un estudio para la elección de un horno, o un horno de eje vertical y un horno rotativo, así como el combustible empleado, ya que es una parte fundamental para determinar los costes para la producción de cal. También fue objeto de este trabajo, el estudio ambiental de la instalación de la planta, en función de la mezcla de combustible empleada y del impacto en el entorno de la misma, así como un estudio de viabilidad de la planta, estimando unos costes de la misma y un precio de mercado “ex‐Works”.

Caracterización y determinación del proceso para la producción de cal comercial a partir de la piedra caliza

La cal es un material producido a partir de la calcinación de la roca caliza y tiene diversas utilidades en el mundo de la industria como la siderúrgica, papelera, alimentaria, en la construcción, entre otras. Es fundamental conocer todas las características de la caliza para poder determinar su grado de calcinación. Con el presente trabajo se pretende estudiar las propriedades de la caliza para su posterior calcinación y el dimensionamento de una planta de producción de cal desde que el mineral llega de la explotación hasta que sale al mercado.Para determinar los equipos se calularon sus dimensiones para una producción de 600 t/h de cal, sabiendo que la planta principal de machaquero solo trabajará 5 días de la semana en jornadas de 8 horas, mientras que a partir del horno de calcinación estará en funcionamento los 7 dias de la semana, 24 horas al día. A partir de esas consideraciones se obtienen las dimensiones de todos los equipos y se realiza un estudio para la elección de un horno, o un horno de eje vertical y un horno rotativo, así como el combustible empleado, ya que es una parte fundamental para determinar los costes para la producción de cal.Tmbién fue objeto de este trabajo, el estudio ambiental de la instalación de la planta, en función de la mezcla de combustible empleada y del impacto en el entorno de la lisma, así como un estudio de viabilidad de la planta, estimando unos costes de la misma y un precio de mercado "ex Works".

Estudios ecológicos de Camu-Camu (Myrciaria dubia). I. Producción de frutos en poblaciones naturales.

En 1984 se inició un estudio a largo plazo sobre el crecimento, reproduxxión y dinâmica poblacional del camu-camu (Myrciaria dubia) en Sahua cocha, Rio Ucayali, Perú. El presente artículo describe la biologia floral de la especie y reporta dos años de datos de la producción de frutos. Las flores de M. dubia son hermafroditas pero muestran protógino durante antésis que ayuda a evitar la autofecundación. Los polinizadores mas importantes son dos especies de abejas (Melipona y Trigona). La producción de frutos fue altamente relacionada com el tamaño del individuo ambos em 1984 (r2 = 0.97) y 1985 (r2= 0.99). Se calcula que las poblaciones naturales de la especie producen entre 9.5 y 12.7 toneladas de fruto/ha/año segun las crecientes del Rio Ucayali.

Diseño y producción de una fórmula magistral con flúor destinado a la prevención de caries en una población rural

Una fórmula magistral es una preparación farmacéutica que se realiza a partir de una prescripción realizada por un profesional (médico u odontólogo) que tiene como características particulares que es individual y personalizada, donde se detalla la composición cuali y cuantitativa de la misma y se destina a un tratamiento determinado, debiendo el facultativo renovar dicha prescripción en el caso de ser necesaria la terapéutica por un tiempo mas prolongado. El flúor es un agente mineral el cual tiene actividad cariostática ampliamente difundida. Sin embargo en poblaciones económicamente postergadas, donde existen bajas condiciones socio culturales y otros factores epidemiológicos y sanitarios concurrentes -desnutrición, dietas poco equilibradas- la falta de fluoración en las aguas (de fuentes alternativas: pozos o ríos, de dudosa potabilidad), y el escaso uso de productos dentales (dentífricos y pastas dentales) repercute en una mayor prevalencia de caries tanto en niños como en adultos. El objetivo del proyecto es diseñar y preparar una fórmula magistral con flúor con el propósito de ser utilizada como tratamiento preventivo de las caries en una población con bajos recursos, donde trabaja el voluntariado de la UCC en forma conjunta con profesionales odontólogos.

Búsqueda de pesticidas naturales aplicables a la producción orgánica: Aislamiento e identificación de principios insecticidas y herbicidas en Flourensia oolepis y Dolichandra cynanchoides y desarrollo de un insecticida natural contra moscas (Musca domestica)

Los productos sintéticos destinados a controlar plagas y enfermedades en los vegetales han tenido un rol muy marcado en el incremento de la producción agrícola, sin embargo el uso continuo e indiscriminado de estas sustancias, ha causado enfermedades, muertes por envenenamiento, ha afectado al medio ambiente acumulándose por bioconcentración en los distintos eslabones de la cadena alimenticia, en el suelo, y en el agua, siendo además responsables de la resistencia de distintas plagas y enfermedades. Bajo estas circunstancias nuevas vías de control de plagas deben ser estudiadas. En los últimos años se está retornando al uso de las plantas como fuente de pesticidas más seguros para el medio ambiente y la salud humana en sustitución de los productos sintéticos. Numerosos componentes del reino vegetal han demostrado ser altamente tóxicos contra un amplio espectro de insectos y microorganismos, lo que puede ser aprovechado para el control de los mismos. A partir de un screening de 28 plantas autóctonas de la zona central de Argentina, hemos seleccionado aquellas más efectivas como son Flourensia oolepis, Dolichandra cynanchoides para el aislamiento bioguiado de sus principios activos con acción insecticida y herbicida. También se buscan sustancias o mezcla de sustancias naturales que controlen moscas (Musca domestica) con el fin de desarrollar un insecticida que sea compatible con la industria alimenticia.

EICAR, Electrónica, Informática, Comunicaciones, Automática y Robótica para la producción de bienes y servicios (Programa de ModernizaciónTecnológica III I-P - PAE 2006)

El presente proyecto denominado “EICAR, Electrónica, Informática, Comunicaciones, Automática y Robótica para la Producción de Bienes y Servicios” asocia estratégicamente a un importante grupo de instituciones del sector científico-tecnológico, privado y gobierno con el objetivo de formar recursos humanos altamente capacitados, desarrollar conocimiento y tecnología de punta, en el campo convergente de la electrónica, informática y computación industrial, comunicaciones y automática, y su transferencia para el desarrollo activo de sectores estratégicos del país, a través de la ejecución de seis Programas: 1) Desarrollo de sistemas inteligentes para eficientizar el uso racional de la energía; 2) I+D para el desarrollo de sistemas complejos de aeronáutica y aeroespacio; 3) Desarrollos para la plataforma de TV Digital y su integración a Internet; 4) Trazabilidad de productos agropecuarios y agroindustriales; 5) Elaboración de un plan estratégico para el desarrollo de infraestructura en TICs del Corredor Bioceánico del Centro basado en sistemas GPS y Proyecto Galileo; 6) Monitoreo de las tendencias tecnológicas de los Programas propuestos.