El crecimiento de los call center en el Perú, lo han convertido en una industria atractiva para las empresas extranjeras y para la oferta de trabajo local. Con la generación de aproximadamente 45 mil puestos y un crecimiento de 25% anual; los centros de contacto representan el enlace con el cliente de la manera más fácil y eficiente en la actualidad. El centro de contacto, al ser el representante de la empresa ante el cliente, debe generar la mejor experiencia y para lograrlo se tienen indicadores operativos (nivel de atención, servicio, conversión, y otros) que permiten controlar la gestión. Estos indicadores no solo monitorean la experiencia del cliente sino también la utilización del recuso más valioso para esta industria, el asesor telefónico. La contratación de agentes telefónicos representa el 70% de la estructura de costos de un call center y es un factor que impulsa a estas industrias a utilizar herramientas matemáticas que permitan encontrar el punto de equilibrio, generando ahorros y la mejor experiencia. Este punto de equilibrio es el dimensionamiento óptimo de agentes que permita cumplir con los estándares de la industria (95% de nivel de atención y 80% de nivel de servicio). En la revisión de la literatura se presentan tres herramientas matemáticas, la formulación Erlang-C para obtener los mínimos requeridos, la programación lineal entera para optimizar la función objetivo y la simulación de eventos discretos para confirmar los principales indicadores. Finalmente, se concluye que a través de las herramientas matemáticas mencionadas, se logra obtener el número de agentes telefónicos necesarios para lograr los objetivos de atención y minimizar la inversión en este recurso; potenciando una industria en crecimiento y que cubre las principales expectativas del cliente.

The increasing complexity of software systems has led to the development of sophisticated formal Methodologies for verifying and correcting data and programs. In general, establishing whether a program behaves correctly w.r.t. the original programmer s intention or checking the consistency and the correctness of a large set of data are not trivial tasks as witnessed by many case studies which occur in the literature. In this dissertation, we face two challenging problems of verification and correction. Specifically, verification and correction of declarative programs, and the verification and correction of Web sites (i.e. large collections of semistructured data). Firstly, we propose a general correction scheme for automatically correcting declarative, rule-based programs which exploits a combination of bottom-up as well as topdown inductive learning techniques. Our hybrid hodology is able to infer program corrections that are hard, or even impossible, to obtain with a simpler,automatic top-down or bottom-up learner. Moreover, the scheme will be also particularized to some well-known declarative programming paradigm: that is, the functional logic and the functional programming paradigm. Secondly, we formalize a framework for the automated verification of Web sites which can be used to specify integrity conditions for a given Web site, and then automatically check whether these conditions are fulfilled. We provide a rule-based, formal specification language which allows us to define syntactic as well as semantic properties of the Web site. Then, we formalize a verification technique which detects both incorrect/forbidden patterns as well as lack of information, that is, incomplete/missing Web pages. Useful information is gathered during the verification process which can be used to repair the Web site. So, after a verification phase, one can also infer semi-automatically some possible corrections in order to fix theWeb site. The methodology is based on a novel rewrit / Ballis, D. (2005). Rule-Based Software Verification and Correction [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/1948 / Palancia

Tesis por compendio / [ES] La optimización en las empresas manufactureras es especialmente importante, debido a las grandes inversiones que realizan, ya que a veces estas inversiones no obtienen el rendimiento esperado porque los márgenes de beneficio de los productos son muy ajustados. Por ello, las empresas tratan de maximizar el uso de los recursos productivos y financieros minimizando el tiempo perdido y, al mismo tiempo, mejorando los flujos de los procesos y satisfaciendo las necesidades del mercado. El proceso de planificación es una actividad crítica para las empresas. Esta tarea implica grandes retos debido a los cambios del mercado, las alteraciones en los procesos de producción dentro de la empresa y en la cadena de suministro, y los cambios en la legislación, entre otros. La planificación del aprovisionamiento, la producción y la distribución desempeña un papel fundamental en el rendimiento de las empresas manufactureras, ya que una planificación ineficaz de los proveedores, los procesos de producción y los sistemas de distribución contribuye a aumentar los costes de los productos, a alargar los plazos de entrega y a reducir los beneficios. La planificación eficaz es un proceso complejo que abarca una amplia gama de actividades para garantizar que los equipos, los materiales y los recursos humanos estén disponibles en el momento y el lugar adecuados. Motivados por la complejidad de la planificación en las empresas manufactureras, esta tesis estudia y desarrolla herramientas cuantitativas para ayudar a los planificadores en los procesos de la planificación del aprovisionamiento, producción y distribución. Desde esta perspectiva, se proponen modelos realistas y métodos eficientes para apoyar la toma de decisiones en las empresas industriales, principalmente en las pequeñas y medianas empresas (PYMES). Las aportaciones de esta tesis suponen un avance científico basado en una exhaustiva revisión bibliográfica sobre la planificación del aprovisionamiento, la producción y la distribución que ayuda a comprender los principales modelos y algoritmos utilizados para resolver estos planes, y pone en relieve las tendencias y las futuras direcciones de investigación. También proporciona un marco holístico para caracterizar los modelos y algoritmos centrándose en la planificación de la producción, la programación y la secuenciación. Esta tesis también propone una herramienta de apoyo a la decisión para seleccionar un algoritmo o método de solución para resolver problemas concretos de la planificación del aprovisionamiento, producción y distribución en función de su complejidad, lo que permite a los planificadores no duplicar esfuerzos de modelización o programación de técnicas de solución. Por último, se desarrollan nuevos modelos matemáticos y enfoques de solución de última generación, como los algoritmos matheurísticos, que combinan la programación matemática y las técnicas metaheurísticas. Los nuevos modelos y algoritmos comprenden mejoras en términos de rendimiento computacional, e incluyen características realistas de los problemas del mundo real a los que se enfrentan las empresas de fabricación. Los modelos matemáticos han sido validados con un caso de una importante empresa del sector de la automoción en España, lo que ha permitido evaluar la relevancia práctica de estos novedosos modelos utilizando instancias de gran tamaño, similares a las existentes en la empresa objeto de estudio. Además, los algoritmos matheurísticos han sido probados utilizando herramientas libres y de código abierto. Esto también contribuye a la práctica de la investigación operativa, y proporciona una visión de cómo desplegar estos métodos de solución y el tiempo de cálculo y rendimiento de la brecha que se puede obtener mediante el uso de software libre o de código abierto. / [CA] L'optimització a les empreses manufactureres és especialment important, a causa de les grans inversions que realitzen, ja que de vegades aquestes inversions no obtenen el rendiment esperat perquè els marges de benefici dels productes són molt ajustats. Per això, les empreses intenten maximitzar l'ús dels recursos productius i financers minimitzant el temps perdut i, alhora, millorant els fluxos dels processos i satisfent les necessitats del mercat. El procés de planificació és una activitat crítica per a les empreses. Aquesta tasca implica grans reptes a causa dels canvis del mercat, les alteracions en els processos de producció dins de l'empresa i la cadena de subministrament, i els canvis en la legislació, entre altres. La planificació de l'aprovisionament, la producció i la distribució té un paper fonamental en el rendiment de les empreses manufactureres, ja que una planificació ineficaç dels proveïdors, els processos de producció i els sistemes de distribució contribueix a augmentar els costos dels productes, allargar els terminis de lliurament i reduir els beneficis. La planificació eficaç és un procés complex que abasta una àmplia gamma d'activitats per garantir que els equips, els materials i els recursos humans estiguen disponibles al moment i al lloc adequats. Motivats per la complexitat de la planificació a les empreses manufactureres, aquesta tesi estudia i desenvolupa eines quantitatives per ajudar als planificadors en els processos de la planificació de l'aprovisionament, producció i distribució. Des d'aquesta perspectiva, es proposen models realistes i mètodes eficients per donar suport a la presa de decisions a les empreses industrials, principalment a les petites i mitjanes empreses (PIMES). Les aportacions d'aquesta tesi suposen un avenç científic basat en una exhaustiva revisió bibliogràfica sobre la planificació de l'aprovisionament, la producció i la distribució que ajuda a comprendre els principals models i algorismes utilitzats per resoldre aquests plans, i posa de relleu les tendències i les futures direccions de recerca. També proporciona un marc holístic per caracteritzar els models i algorismes centrant-se en la planificació de la producció, la programació i la seqüenciació. Aquesta tesi també proposa una eina de suport a la decisió per seleccionar un algorisme o mètode de solució per resoldre problemes concrets de la planificació de l'aprovisionament, producció i distribució en funció de la seua complexitat, cosa que permet als planificadors no duplicar esforços de modelització o programació de tècniques de solució. Finalment, es desenvolupen nous models matemàtics i enfocaments de solució d'última generació, com ara els algoritmes matheurístics, que combinen la programació matemàtica i les tècniques metaheurístiques. Els nous models i algoritmes comprenen millores en termes de rendiment computacional, i inclouen característiques realistes dels problemes del món real a què s'enfronten les empreses de fabricació. Els models matemàtics han estat validats amb un cas d'una important empresa del sector de l'automoció a Espanya, cosa que ha permés avaluar la rellevància pràctica d'aquests nous models utilitzant instàncies grans, similars a les existents a l'empresa objecte d'estudi. A més, els algorismes matheurístics han estat provats utilitzant eines lliures i de codi obert. Això també contribueix a la pràctica de la investigació operativa, i proporciona una visió de com desplegar aquests mètodes de solució i el temps de càlcul i rendiment de la bretxa que es pot obtindre mitjançant l'ús de programari lliure o de codi obert. / [EN] Optimisation in manufacturing companies is especially important, due to the large investments they make, as sometimes these investments do not obtain the expected return because the profit margins of products are very tight. Therefore, companies seek to maximise the use of productive and financial resources by minimising lost time and, at the same time, improving process flows while meeting market needs. The planning process is a critical activity for companies. This task involves great challenges due to market changes, alterations in production processes within the company and in the supply chain, and changes in legislation, among others. Planning of replenishment, production and distribution plays a critical role in the performance of manufacturing companies because ineffective planning of suppliers, production processes and distribution systems contributes to higher product costs, longer lead times and less profits. Effective planning is a complex process that encompasses a wide range of activities to ensure that equipment, materials and human resources are available in the right time and the right place. Motivated by the complexity of planning in manufacturing companies, this thesis studies and develops quantitative tools to help planners in the replenishment, production and delivery planning processes. From this perspective, realistic models and efficient methods are proposed to support decision making in industrial companies, mainly in small- and medium-sized enterprises (SMEs). The contributions of this thesis represent a scientific breakthrough based on a comprehensive literature review about replenishment, production and distribution planning that helps to understand the main models and algorithms used to solve these plans, and highlights trends and future research directions. It also provides a holistic framework to characterise models and algorithms by focusing on production planning, scheduling and sequencing. This thesis also proposes a decision support tool for selecting an algorithm or solution method to solve concrete replenishment, production and distribution planning problems according to their complexity, which allows planners to not duplicate efforts modelling or programming solution techniques. Finally, new state-of-the-art mathematical models and solution approaches are developed, such as matheuristic algorithms, which combine mathematical programming and metaheuristic techniques. The new models and algorithms comprise improvements in computational performance terms, and include realistic features of real-world problems faced by manufacturing companies. The mathematical models have been validated with a case of an important company in the automotive sector in Spain, which allowed to evaluate the practical relevance of these novel models using large instances, similarly to those existing in the company under study. In addition, the matheuristic algorithms have been tested using free and open-source tools. This also helps to contribute to the practice of operations research, and provides insight into how to deploy these solution methods and the computational time and gap performance that can be obtained by using free or open-source software. / This work would not have been possible without the following funding sources: Conselleria de Educación, Investigación, Cultura y Deporte, Generalitat Valenciana for hiring predoctoral research staff with Grant (ACIF/2018/170) and the European Social Fund with the Grant Operational Programme of FSE 2014-2020. Conselleria de Educación, Investigación, Cultura y Deporte, Generalitat Valenciana for predoctoral contract students to stay in research centers outside the research centers outside the Valencian Community (BEFPI/2021/040) and the European Social Fund. / Guzmán Ortiz, BE. (2022). Models and Algorithms for the Optimisation of Replenishment, Production and Distribution Plans in Industrial Enterprises [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/187461 / TESIS / Compendio

Java is a very commonly used computer programming language, although its use amongst the scientific and High Performance Computing (HPC) communities remains relatively low. In this thesis, the option of using Java for developing scientific applications intended for execution in HPC environments is investigated. The data reduction pipeline for the Gaia space astronomy mission is an example of a large software project that has been written in Java, and will run in HPC environments. The efficient execution of the Gaia data reduction pipeline was one of the main motivations behind this thesis, although this thesis largely remains a general investigation into the use of Java in HPC. HPC is a fast changing field, in terms of hardware, software, and the scale of the problems that are being tackled. Amongst the most significant trends in HPC in recent years have been the increase in the number of cores per computing node, and the increase in the size of datasets that must be processed. A significant challenge in HPC is ensuring that data is made available in a particular node, when a core is ready to process it, thereby avoiding deadtime and providing high throughput. One danger to throughput is a decrease in the performance of shared storage devices, as the number of concurrent processes that are accessing those devices increases. Given the trends mentioned above, efficient data communication is very important for many applications running in HPC environments. In this thesis, we present an investigation into the current options for providing efficient data communication to Java applications in HPC environments. We investigate a number of implementations of Message Passing in Java (MPJ) and compare their performance. We present a new communication middleware application, called MPJ-Cache. This middleware makes use of an underlying implementation of Message-Passing in Java (MPJ), and adds prefetching, caching, and file-splitting functionality. It presents application developers with a high-level API, thus providing high-performance, as well as enabling high productivity amongst application developers. We compare the aggregate data rate that can be achieved though the use of this middleware, against that which can be achieved though direct access of a high performance shared storage device (GPFS), while distributing data amongst the nodes of a computer cluster. The use of MPJ-Cache has shown to provide an aggregate data rate of up to 103Gbps. Java applications are executed within a Java Virtual Machine (JVM), which is a managed runtime environment. The execution of applications within such a runtime environment is very different from the execution of native code, that was compiled ahead-of-time. The Java runtime environment consists of several sophisticated components, including the core runtime system, a garbage collector and a Just-In-Time (JIT) compiler. Modern JVMs strive to provide out-of-the-box high-performance, however in some situations, users may want to tune the JVM to better suit the behaviour and needs of a particular application. In order to do this, a profile of the target application should be obtained.

En esta Tesis, se ha desarrollado el Modelo MEDiNA, que simula la circulación oceánica tridimensional del Atlántico Norte y del Mar Mediterráneo y da como resultado series temporales de salinidad, temperatura y componente u, v y w de la velocidad. Mediante la ejecución de dicho modelo, se han generado 46 años de datos que se han validado mediante la comparación de los mismos con una base de datos de climatologías (GDP), además de mediante el cálculo del transporte en los principales canales y estrechos de la cuenca occidental mediterránea y del Golfo de México. Una vez que se han validado los resultados se ha demostrado además, la capacidad que tiene el modelo MEDiNA para simular la formación y la propagación de la masa de agua MOW (Mediterranean Overflow Water) y se ha conseguido demostrar que los modelos-z, como el modelo MEDiNA, son capaces de simular adecuadamente las corrientes de densidad, como por ejemplo la MOW (Dietrich et al., 2008). Por último se han aplicado dos herramientas estadísticas para el análisis de los resultados; la primera de ellas es la técnica estadística estándar, análisis de Componentes Principales, también denominada análisis de Funciones Ortogonales Empíricas (Empirical Orthogonal Function, EOF), y la segunda son las Redes Neuronales Auto-Organizativas (Self Organizing Maps, SOM). Se ha demostrado que tanto los EOF como las SOM, además de ser potentes herramientas estadísticas, son adecuadas para estudiar en este caso, las series temporales de variables oceanográficas obtenidas a partir del modelo MEDiNA, con el fin de obtener patrones de circulación, así como la relación de éstos con los patrones atmosféricos. / In this thesis, it has developed the MEDiNA model, which simulates three-dimensional ocean circulation in the North Atlantic and the Mediterranean Sea and results time series of salinity, temperature and component u, v and w of the velocity. By implementing this model it has generated 46 years of data that it has been validated by comparing with a climatology database (GDP), and by calculating the main transport in the narrow channels Western Mediterranean basin and the Gulf of Mexico. Once it has validated the results also demonstrated the ability of the Medina model to simulate the formation and spread of the water body MOW (Mediterranean Overflow Water) and has succeeded in demonstrating that the z-models, as MEDINA model, are able to adequately simulate density currents, such as the MOW (Dietrich et al., 2008). Finally, it has applied two statistical tools for analyzing the results, the first of these is the standard statistical technique, principal component analysis, also called Empirical Orthogonal Function analysis (Empirical Orthogonal Function, EOF) and the second is Self-Organizing Neural Networks (Self Organizing Maps, SOM). Its have been shown that both, SOM and EOF, as well as being powerful statistical tools are adequate to study in this case, the time series of oceanographic variables of the model obtained from Medina, to obtain ocean patterns and their relationship to atmospheric patterns.

Els paradigmes cel·lulars, com les xarxes neuronals cel·lulars (CNN, en anglès) i els autòmats cel·lulars (CA, en anglès), són una eina excel·lent de càlcul, al ser equivalents a una màquina universal de Turing. La introducció de la màquina universal CNN (CNN-UM, en anglès) ha permès desenvolupar hardware, el nucli computacional del qual funciona segons la filosofia cel·lular; aquest hardware ha trobat aplicació en diversos camps al llarg de la darrera dècada. Malgrat això, encara hi ha moltes preguntes a obertes sobre com definir els algoritmes d'una CNN-UM i com estudiar la dinàmica dels autòmats cel·lulars. En aquesta tesis es tracten els dos problemes: primer, es demostra que es possible acotar l'espai dels algoritmes per a la CNN-UM i explorar-lo gràcies a les tècniques genètiques; i segon, s'expliquen els fonaments de l'estudi dels CA per mitjà de la dinàmica no lineal (segons la definició de Chua) i s'il·lustra com aquesta tècnica ha permès trobar resultats innovadors. / Los paradigmas celulares, como las redes neuronales celulares (CNN, eninglés) y los autómatas celulares (CA, en inglés), son una excelenteherramienta de cálculo, al ser equivalentes a una maquina universal deTuring. La introducción de la maquina universal CNN (CNN-UM, eninglés) ha permitido desarrollar hardware cuyo núcleo computacionalfunciona según la filosofía celular; dicho hardware ha encontradoaplicación en varios campos a lo largo de la ultima década. Sinembargo, hay aun muchas preguntas abiertas sobre como definir losalgoritmos de una CNN-UM y como estudiar la dinámica de los autómatascelular. En esta tesis se tratan ambos problemas: primero se demuestraque es posible acotar el espacio de los algoritmos para la CNN-UM yexplorarlo gracias a técnicas genéticas; segundo, se explican losfundamentos del estudio de los CA por medio de la dinámica no lineal(según la definición de Chua) y se ilustra como esta técnica hapermitido encontrar resultados novedosos. / Cellular paradigms, like Cellular Neural Networks (CNNs) and Cellular Automata (CA) are an excellent tool to perform computation, since they are equivalent to a Universal Turing machine. The introduction of the Cellular Neural Network - Universal Machine (CNN-UM) allowed us to develop hardware whose computational core works according to the principles of cellular paradigms; such a hardware has found application in a number of fields throughout the last decade. Nevertheless, there are still many open questions about how to define algorithms for a CNN-UM, and how to study the dynamics of Cellular Automata. In this dissertation both problems are tackled: first, we prove that it is possible to bound the space of all algorithms of CNN-UM and explore it through genetic techniques; second, we explain the fundamentals of the nonlinear perspective of CA (according to Chua's definition), and we illustrate how this technique has allowed us to find novel results.

The main focus of situation assessment is to decide on the adequacy of process behaviour with respect to specifications. When is not possible to have a mathematical model to represent the system operation, other non-model-based techniques must be considered. Classification methods are typically proposed as strategies for diagnosis. Here, identification of the functional states is reduced to recognising the current shapes of variables as well-known states, commonly taking advantage of a process expert or past experiences. However, human knowledge is related to concepts and symbols whereas process acquisition systems provide monitoring systems with numerical data. Consequently, these type of knowledge-based decision systems are usually forced to work in a higher level of abstraction using symbolic representations. This thesis deals with the study of classification methods when performing qualitative trends analysis. The aim is to obtain qualitative trends and their classification by means of the extracted knowledge from past experiences. This doctoral dissertation deals with the study of classification methods when performing qualitative trends analysis. The aim is to obtain qualitative trends and their classification by means of the extracted knowledge from past experiences. / El objetivo principal de la evaluación de situaciones es decidir sobre la adecuación del comportamiento del proceso con respecto a las especificaciones. Cuando no es posible tener un modelo matemático para representar el funcionamiento del sistema, otras técnicas deben considerarse. Los métodos de clasificación suelen ser propuestos como estrategias para el diagnóstico. La identificación de los estados funcionales se reduce a reconocer las formas de las variables como estados conocidos, comúnmente adquiriendo conocimiento de un experto o experiencias anteriores. Sin embargo, el conocimiento humano se relaciona con conceptos y símbolos, mientras que los sistemas de adquisición proporcionan datos numéricos. En consecuencia, este tipo de sistemas basados en el conocimiento de decisiones trabajan en un nivel superior de abstracción a través de representaciones simbólicas. Esta tesis aborda el estudio de métodos de clasificación de las tendencias cualitativas. El objetivo es clasificarlas por medio del conocimiento extraído de las experiencias pasadas.

El plan de carga del buque debe adherirse a las instrucciones de estiba del operador del buque. Estas instrucciones especifican las características generales de cada contenedor que habrá de ccargarse. El plan de carga también debe agilizar las operaciones de transporte en la explanada de la terminal. Presentamos dos algoritmos para generar el plan de carga. El primero utiliza el método de descomposición Lagrangeana. El segundo utiliza la metaheurística tabú. Las companías navieras se enfrentan a un problema extremadamente complejo cuando intentan determinar la composición y ruteo óptimo de su flota. Presentamos un modelo y algoritmo para este problema. El modelo representa los costes operativos de una naviera. También permite la respresentación de buques con diferentes propiedades, puntos y costes de transbordo, retrasos en puerto, y la posibilidad de rechazar una solicitud de transporte. Un caso práctico explora la sensitividad de los resultados a cambios en el precio del combustible. / The vessel loading plan must comply with stowage instructions provided by the vessel operator, which specify characteristics of each container to be loaded. Additionally, the vessel loading plan should expedite transport operations in the yard. We present two vessel planning algorithms. In the first model, the vessel planning problem is formulated as a mixed integer programming (MIP) model and solved using Lagrangean relaxation and branch and bound. In the second model, a tabu metaheuristic is employed. Liner companies face a complex decision problem in determining the optimal fleet composition and routing. We present a model that captures the revenues and operating expenses of a liner company. The model allows for vessel types with different cost and operating properties; transhipment hubs; port delays; regional trade imbalances; and the possibility of rejecting transportation demand selectively. A case study explores the sensitivity of optimal fleet composition and routing to bunker costs.

Submitted by Wagner Junior (wagner.junior@unioeste.br) on 2018-07-26T20:37:44Z No. of bitstreams: 2 Felipe_Jose_Rezende_de_Carvalho_2018.pdf: 2958592 bytes, checksum: e4b0edf98a631b77128766f37cc19717 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2018-07-26T20:37:44Z (GMT). No. of bitstreams: 2 Felipe_Jose_Rezende_de_Carvalho_2018.pdf: 2958592 bytes, checksum: e4b0edf98a631b77128766f37cc19717 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2018-07-15 / Mathematical Modeling is a trend of Mathematics Education that values, among other things, the exploratory work by the students on themes linked to daily life.It creates the possibility of a an interdisciplinary work together with other tendencies, allowing the construction of knowledge in a dynamic way. Our interest is in the area of inquiry that concerns the association of Mathematical Modeling and Digital Technologies of Information and Communication, specifically regarding the possibilities and challenges of allying computer programming to a Mathematical Modeling task. Moved by this interest, we establish the question: What is revealed of a task of Mathematical Modeling, in the environment of computer programming, developed by students of Basic Education? We seek to understand what is shown when we develop a Mathematical Modeling task allied to computer programming and what the possibilities and the challenges are which emerge from this association. This question guided all research, conducted by a qualitative approach according to a phenomenological view. In order to account for our questioning, we constructed a task of Mathematical Modeling that was developed by students of Basic Education of a public school in the interior of the state of Minas Gerais, through programming in blocks, using Scratch software. The development of this task was recorded by filming videos that were watched several times in such a way that, in the light of our research question, we could highlight relevant passages that converged to our question, and, from them, build our units of meaning. After the construction of these units, from repeated readings, we established convergences, which culminated in four categories, namely: C1: On the debates, discussions and talks between students and between students and teachers in the development of the task; C2: On the actions of the students in the context of the Modeling task; C3: On relationships with school mathematics that emerged in the development of the Modeling task; C4: On the ways students viewed the project. These categories, interpreted hermeneutically, allowed us to observe, among other things, that the task of Modeling guided the development of computational thinking through a computer programming activity, strengthening the discussions and reflections on the context involved by the task, opening space to learn-with-another, in a dialogic and dynamic environment built by the synergy of Modeling with computer programming. / El Modelado Matemático es una tendencia de la Educación Matemática que valora, entre otras cosas, el trabajo exploratorio por parte de los alumnos sobre temáticas relacionadas al cotidiano, posibilitando un trabajo interdisciplinar y conjunto con otras tendencias, dando oportunidad a la construcción de conocimientos de manera dinámica. Nuestro interés está en la región de investigaciones en lo que toca a la asociación del Modelado Matemático y las Tecnologías Digitales de la Información y Comunicación, más específicamente en lo relacionado a las posibilidades y retos de unir la programación de ordenadores a una tarea de Modelado Matemático. Movidos por ese interés, establecemos la pregunta: ¿Qué se revela de una tarea de Modelado Matemático, en el ambiente de programación de ordenadores, desarrollada por estudiantes de la Educación Básica? Buscamos comprender qué se enseña cuando desarrollamos una tarea de Modelado Matemático junto a la programación de ordenadores, cuáles son las posibilidades y los retos que emergen de esa asociación. Esa cuestión ha guiado toda la investigación, conducida por un abordaje cualitativo según una visión fenomenológica. Buscando dar cuenta de nuestra pregunta, construimos una tarea de Modelado Matemático que fue desarrollada por estudiantes de la Educación Básica de una escuela pública del interior del estado de Minas Gerais, por medio de programación en bloques, utilizando para ello el software Scratch. El desarrollo de esa tarea ha sido registrado por grabación de videos que han sido asistidos diversas veces de tal modo que pudiéramos, a la luz de nuestra cuestión de investigación, destacar trechos relevantes que convergían para nuestra pregunta, y, a partir de ellos, construir nuestras unidades de significado. Tras la construcción de esas unidades, a partir de repetidas lecturas, hemos establecido convergencias, que han culminado en cuatro categorías, a saber: C1: Sobre los debates, discusiones y tertulias entre alumnos y entre alumnos y profesores en el desarrollo de la tarea; C2: Sobre las acciones de los alumnos en el contexto de la tarea de Modelado; C3: Sobre las relaciones con la matemática escolar que emergieron en el desarrollo de la tarea de Modelado; C4: Sobre los modos que los alumnos han visto el proyecto. Esas categorías, interpretadas hermenéuticamente, permitieron observar, entre otras cosas, que la tarea de Modelado orientado el desarrollo del pensamiento computacional a través de una actividad de programación de ordenadores, potenciando las discusiones y reflexiones sobre el contexto implicado en la tarea, abriendo espacio para aprender-con-otro, en un ambiente dialógico y dinámico construido por la sinergia del Modelado con la programación de ordenadores. / A Modelagem Matemática é uma tendência da Educação Matemática que valoriza, entre outras coisas, o trabalho exploratório por parte dos alunos sobre temáticas ligadas ao cotidiano, possibilitando um trabalho interdisciplinar e conjunto com outras tendências, oportunizando a construção de conhecimentos de maneira dinâmica. Nosso interesse está na região de inquérito que diz respeito à associação da Modelagem Matemática e as Tecnologias Digitais da Informação e Comunicação, mais especificamente no que tange às possibilidades e desafios de aliar a programação de computadores a uma tarefa de Modelagem Matemática. Movidos por esse interesse, estabelecemos a interrogação: O que se revela de uma tarefa de Modelagem Matemática, no ambiente de programação de computadores, desenvolvida por estudantes da Educação Básica? Buscamos compreender o que se mostra quando desenvolvemos uma tarefa de Modelagem Matemática aliada à programação de computadores, quais são as possibilidades e os desafios que emergem dessa associação. Essa interrogação guiou toda a pesquisa, conduzida por uma abordagem qualitativa segundo uma visão fenomenológica. Buscando dar conta de nossa interrogação, construímos uma tarefa de Modelagem Matemática que foi desenvolvida por estudantes da Educação Básica de uma escola pública do interior do estado de Minas Gerais, por meio de programação em blocos, utilizando para isso o software Scratch. O desenvolvimento dessa tarefa foi registrado por gravação de vídeos que foram assistidos diversas vezes de tal modo que pudéssemos, à luz da nossa interrogação de pesquisa, destacar trechos relevantes que convergiam para nossa interrogação, e, a partir deles, construir nossas unidades de significado. Após a construção dessas unidades, a partir de repetidas leituras, estabelecemos convergências, que culminaram em quatro categorias, a saber: C1: Sobre os debates, discussões e falas entre alunos e entre alunos e professores no desenvolvimento da tarefa; C2: Sobre as ações dos alunos no contexto da tarefa de Modelagem; C3: Sobre as relações com a matemática escolar que emergiram no desenvolvimento da tarefa de Modelagem; C4: Sobre os modos que os alunos viram o projeto. Essas categorias, interpretadas hermeneuticamente, permitiram observar, dentre outras coisas, que a tarefa de Modelagem norteou o desenvolvimento do pensamento computacional por meio de uma atividade de programação de computadores, potencializando as discussões e reflexões sobre o contexto envolvido pela tarefa, abrindo espaço para aprender-com-outro, em um ambiente dialógico e dinâmico construído pela sinergia da Modelagem com a programação de computadores.

Publicación a texto completo no autorizada por el autor / Implementa un nuevo software que optimice el manejo de información de personas que solicitan obtener su libreta militar, registro de personas que desean realizar servicio militar, generar reportes, etc. / Trabajo de suficiencia profesional