An abstract machine based execution model for computer architecture design and efficient implementation of logic programs in parallel.

The term "Logic Programming" refers to a variety of computer languages and execution models which are based on the traditional concept of Symbolic Logic. The expressive power of these languages offers promise to be of great assistance in facing the programming challenges of present and future symbolic processing applications in Artificial Intelligence, Knowledge-based systems, and many other areas of computing. The sequential execution speed of logic programs has been greatly improved since the advent of the first interpreters. However, higher inference speeds are still required in order to meet the demands of applications such as those contemplated for next generation computer systems. The execution of logic programs in parallel is currently considered a promising strategy for attaining such inference speeds. Logic Programming in turn appears as a suitable programming paradigm for parallel architectures because of the many opportunities for parallel execution present in the implementation of logic programs. This dissertation presents an efficient parallel execution model for logic programs. The model is described from the source language level down to an "Abstract Machine" level suitable for direct implementation on existing parallel systems or for the design of special purpose parallel architectures. Few assumptions are made at the source language level and therefore the techniques developed and the general Abstract Machine design are applicable to a variety of logic (and also functional) languages. These techniques offer efficient solutions to several areas of parallel Logic Programming implementation previously considered problematic or a source of considerable overhead, such as the detection and handling of variable binding conflicts in AND-Parallelism, the specification of control and management of the execution tree, the treatment of distributed backtracking, and goal scheduling and memory management issues, etc. A parallel Abstract Machine design is offered, specifying data areas, operation, and a suitable instruction set. This design is based on extending to a parallel environment the techniques introduced by the Warren Abstract Machine, which have already made very fast and space efficient sequential systems a reality. Therefore, the model herein presented is capable of retaining sequential execution speed similar to that of high performance sequential systems, while extracting additional gains in speed by efficiently implementing parallel execution. These claims are supported by simulations of the Abstract Machine on sample programs.

Rebalancing urban mobility: a tale of four cities

The key of mobility in urban planning is not in dispute. Integrated strategies that take into account the interrelations among land use, transport supply and demand and the different transportation modes are more necessary than ever. In Europe, regulatory tools such as local mobility plans or traffic plans have been enforced for a long time, evolving into so-called sustainable urban transport plans (SUTP) ? that is, plans thatmerge urban planning,mobility governance, social awareness and environmental safeguards to develop a vision based on sustainability and equity. Indeed, SUTP are aimed at solving typical problems in current land use, such as urban sprawl, which make clear the need for a paradigm shift from transport (or mobility) planning to land use (or city) planning, thereby producing urban mobility plans that are fully aligned with integrated urban development plans. This paper describes how SUTP are articulated across Europe according to four case studies: Peterborough (UK), Chambe¿ry (France), Ferrara (Italy) and Pinto (Spain), to highlight variations and commonalities, both among the four national legal frameworks and the actual planning processes at the local level. Objectives, measures and indicators used in the monitoring and evaluation phases have been analysed and the results assessed. The main conclusion of the paper is that, as seen in these real-life examples, the lack of integration between spatial planning and transport strategies results in the unsustainability of urban areas and, therefore, in a significant loss of competitiveness.

Integration of design tools and knowledge capture into a CAD system: a case study

onceptual design phase is partially supported by product lifecycle management/computer-aided design (PLM/CAD) systems causing discontinuity of the design information flow: customer needs — functional requirements — key characteristics — design parameters (DPs) — geometric DPs. Aiming to address this issue, it is proposed a knowledge-based approach is proposed to integrate quality function deployment, failure mode and effects analysis, and axiomatic design into a commercial PLM/CAD system. A case study, main subject of this article, was carried out to validate the proposed process, to evaluate, by a pilot development, how the commercial PLM/CAD modules and application programming interface could support the information flow, and based on the pilot scheme results to propose a full development framework.

Model-to-Code transformation from product-line architecture models to aspectJ

Software Product Line Engineering has significant advantages in family-based software development. The common and variable structure for all products of a family is defined through a Product-Line Architecture (PLA) that consists of a common set of reusable components and connectors which can be configured to build the different products. The design of PLA requires solutions for capturing such configuration (variability). The Flexible-PLA Model is a solution that supports the specification of external variability of the PLA configuration, as well as internal variability of components. However, a complete support for product-line development requires translating architecture specifications into code. This complex task needs automation to avoid human error. Since Model-Driven Development allows automatic code generation from models, this paper presents a solution to automatically generate AspectJ code from Flexible-PLA models previously configured to derive specific products. This solution is supported by a modeling framework and validated in a software factory.

Desarrollo de un sistema basado en el conocimiento para la definición de líneas de montaje aeronáuticas en la fase conceptual : Aplicación a una aeroestructura aeronáutica

La presente Tesis persigue la definición y el desarrollo de un sistema basado en el conocimiento que permita la generación de modelos de líneas de montaje durante la fase conceptual de definición de una aeroestructura aeronáutica. Para ello, se propone la definición de un modelo formal del proceso en concurrencia asociado al diseño de líneas de montaje en la fase conceptual, y de un modelo de la estructura de datos básica para soportar dicho proceso. Ambos modelos sirven de base para el desarrollo de una aplicación de prueba de concepto en el entorno del sistema comercial CAX-PLM CATIA v5. Los modelos de línea generados integran las tres estructuras básicas definidas en el modelo propuesto: producto, procesos y recursos. Los modelos generados son estructuras “de montaje”, basadas en estructuras de producto “de fabricación” a su vez derivadas de estructuras “de diseño”. Cada modelo generado se evalúa en términos de cuatro estimaciones básicas: dimensiones máximas del nodo producto, distancia de transporte y medio a utilizar, tiempo total de ejecución y coste total. La generación de modelos de línea de montaje se realiza en concurrencia con la función diseño de producto, teniendo por tanto la oportunidad de influir en la misma e incluir requerimientos de fabricación y montaje al producto en las primeras fases de su ciclo de vida, lo que proporciona una clara ventaja competitiva. El desarrollo propuesto en esta Tesis permite sentar las bases para realizar desarrollos con objeto de asistir a los diseñadores durante la fase conceptual de generación de diseños de líneas de montaje. La aplicación prototipo desarrollada demuestra la viabilidad de la propuesta conceptual que se realiza en la Tesis. ABSTRACT The current thesis proposes the definition and development of a knowledge-based system to generate aircraft components assembly line models during the conceptual phase of the product life cycle. With this objective, the definition of a formal activity model to represent the design of assembly lines during the conceptual phase is proposed; such model considers the concurrence with the product design process. Associated to the activity model, a data structure model is defined to support such process. Both models are the basis for the development of a proof of concept application within the environment of the commercial CAX-PLM system CATIA v5. The generated assembly line models integrate the three basic structures defined in the proposed model: product, processes and resources. The generated models are “As Prepared” structures based on “As Planned” structures derived from “As Designed” structures. Each generated model is evaluated in terms of four basic estimates: maximum dimensions of the product node, transport distance and transport mean to be used, total execution time and total cost. The assembly line models generation is made in concurrence with the product design function. Therefore, it provides the opportunity to influence on it and allows including manufacturing and assembly requirements early in the product life cycle, which gives a clear competitive advantage. The development proposed in this Thesis allows setting the foundation to carry out further developments with the aim of assisting designers during the conceptual phase of the assembly line design process. The developed prototype application shows the feasibility of the conceptual proposal presented in the Thesis.

Proposal for the Conceptual Design of Aeronautical Final Assembly Lines Based on the Industrial Digital Mock-Up Concept

The design of a Final Assembly Line (FAL) is carry out in the product industrialization activity. The phase dealing with the definition of conceptual solutions is characterized by depending heavily on the personnel experience and being time-consuming. To enhance such process, it is proposed a development of a knowledge based software application to assist designers in the definition of scenarios and to generate conceptual FAL alternatives. Both the scenario and the generated FAL solution are part of the industrialization digital mock-up (IDMU). A commercial software application used in the aircraft programmes and supporting the IDMU concepts of: Product, Process and Resource; was selected to implement a software prototype. This communication presents the adopted methodological approach and the architecture of the developed application.

Building a decision support system with a knowledge modeling tool

Knowledge modeling tools are software tools that follow a modeling approach to help developers in building a knowledge-based system. The purpose of this article is to show the advantages of using this type of tools in the development of complex knowledge-based decision support systems. In order to do so, the article describes the development of a system called SAIDA in the domain of hydrology with the help of the KSM modeling tool. SAIDA operates on real-time receiving data recorded by sensors (rainfall, water levels, flows, etc.). It follows a multi-agent architecture to interpret the data, predict the future behavior and recommend control actions. The system includes an advanced knowledge based architecture with multiple symbolic representation. KSM was especially useful to design and implement the complex knowledge based architecture in an efficient way.

Terminological Importation for Adapting Reusable Knowledge Representation Components in the KSM Environment

This paper describes the adaptation approach of reusable knowledge representation components used in the KSM environment for the formulation and operationalisation of structured knowledge models. Reusable knowledge representation components in KSM are called primitives of representation. A primitive of representation provides: (1) a knowledge representation formalism (2) a set of tasks that use this knowledge together with several problem-solving methods to carry out these tasks (3) a knowledge acquisition module that provides different services to acquire and validate this knowledge (4) an abstract terminology about the linguistic categories included in the representation language associated to the primitive. Primitives of representation usually are domain independent. A primitive of representation can be adapted to support knowledge in a given domain by importing concepts from this domain. The paper describes how this activity can be carried out by mean of a terminological importation. Informally, a terminological importation partially populates an abstract terminology with concepts taken from a given domain. The information provided by the importation can be used by the acquisition and validation facilities to constraint the classes of knowledge that can be described using the representation formalism according to the domain knowledge. KSM provides the LINK-S language to specify terminological importation from a domain terminology to an abstract one. These terminologies are described in KSM by mean of the CONCEL language. Terminological importation is used to adapt reusable primitives of representation in order to increase the usability degree of such components in these domains. In addition, two primitives of representation can share a common vocabulary by importing common domain CONCEL terminologies (conceptual vocabularies). It is a necessary condition to make possible the interoperability between different, heterogeneous knowledge representation components in the framework of complex knowledge - based architectures.

Modeling Commercial Knowledge to Develop Advanced Agent-based Marketplaces for E-commerce

This paper argues about the utility of advanced knowledge-based techniques to develop web-based applications that help consumers in finding products within marketplaces in e-commerce. In particular, we describe the idea of model-based approach to develop a shopping agent that dynamically configures a product according to the needs and preferences of customers. Finally, the paper summarizes the advantages provided by this approach.

Using Electronic Documents for Knowledge Acquisition and Model Maintenance

Knowledge acquisition and model maintenance are key problems in knowledge engineering to improve the productivity in the development of intelligent systems. Although historically a number of technical solutions have been proposed in this area, the recent experience shows that there is still an important gap between the way end-users describe their expertise and the way intelligent systems represent knowledge. In this paper we propose an original way to cope with this problem based on electronic documents. We propose the concept of intelligent document processor as a tool that allows the end-user to read/write a document explaining how an intelligent system operates in such a way that, if the user changes the content of the document, the intelligent system will react to these changes. The paper presents the structure of such a document based on knowledge categories derived from the modern knowledge modeling methodologies together with a number of requirements to be understandable by end-users and problem solvers.

Modelo de competencias profesionales para directivos escolares: desarrollo y aplicación al ámbito de la educación particular subvencionada, Chile

La trascendencia de la educación sobre la construcción del capital humano y social, ha sido vastamente discutido, considerando entre otros elementos, la correlación entre las inversiones en educación, las políticas educativas, los actores involucrados, y los efectos que tienen sobre la calidad de la educación. Esto se refleja en los esfuerzos, de los diferentes estamentos, por mejorar los resultados del proceso educativo, intentando construir una sociedad más equitativa en la cual todo individuo pueda tener acceso a una educación de calidad, que permita tener las mismas oportunidades para el desarrollo personal, profesional y social. La educación entonces, pasa a ser un pilar fundamental en los modelos de desarrollo - y un tema de debate constante- en especial en aspectos tales como: resultados de aprendizaje, gestión y efectividad escolar, como ejes para mejorar la construcción del capital humano en la sociedad. En Chile, a partir de un proceso de descentralización de la educación iniciado en los 80, el modelo de planificación y gestión de la educación pública fue transformado, pasando de un modelo centralizado a un enfoque en el cual el establecimiento educacional – el proyecto educativo – adquiere autonomía de gestión que se vuelve determinante en la calidad de la educación. Es al interior de los establecimientos escolares donde los diferentes agentes educativos llevan a cabo los procesos pedagógicos y administrativos, y se generan las condiciones para poder desarrollar una educación de calidad. Durante los últimos 30 años, los esfuerzos se han centrado en las capacidades docentes y en alcanzar la cobertura universal. Sin embargo, en los últimos 10 años la investigación aplicada ha evidenciado que los directores y equipos directivos tienen efectos directos e indirectos sobre la gestión escolar, pedagógica y de convivencia dentro de la escuela a través de su desempeño y liderazgo escolar. Es en este contexto, que se propone esta investigación con el fin de contribuir en el fortalecimiento de las capacidades de estos actores y promover un desempeño que impacte positivamente en la calidad de los aprendizajes en las escuelas Esta tesis se estructura en cinco capítulos. En el primer capítulo, se define y analiza el marco conceptual de la investigación centrado en los dos ejes de este trabajo: por un lado, conceptos de competencia, competencias profesionales; y por otro lado, liderazgo y dirección escolar, definiendo el concepto de competencias profesionales para la dirección escolar. A continuación, en el segundo capítulo, se presenta un análisis del contexto enfocado en el proceso de descentralización de la educación pública en Chile y sus efectos sobre el rol de los directivos escolares en Chile, el cual a través de su proceso de evolución ha transformado las responsabilidades de este estamento, en cuanto la gestión y la administración de los proyectos educativos definiendo un perfil del directivo escolar. Complementariamente, y en función de la gestión directiva, se realiza una conceptualización de buenas prácticas directivas como los instrumentos a través de las cuales se movilizan los elementos de competencia. En el tercer capítulo, se presenta la propuesta de modelo de competencias profesionales para la dirección escolar, como la principal aportación de esta investigación, que se sustenta sobre cuatro componentes como base científica: el enfoque holístico de competencia, el enfoque de dirección de proyectos de la International Project Management Association (IPMA), el paradigma de gestión escolar y el modelo Working with People (WWP). La propuesta considera una metodología de implementación para el desarrollo de procesos de intervención para la mejora de la gestión escolar, articulando las competencias profesionales directivas y las prácticas de gestión, como los principales componentes del modelo. En el cuarto capítulo se presenta la aplicación del modelo propuesto en un estudio de caso desarrollado en el Colegio público Kings´ School de San Bernardo (Chile), un establecimiento particular subvencionado, del área urbana de Santiago con condiciones socioeconómicas media, con un alto porcentaje de vulnerabilidad y cuyos resultados en las pruebas de evaluación nacionales evidencian una caída. La aplicación del modelo se realiza a lo largo del curso 2012-13, trabajando de forma directa con el equipo de dirección, a través de un proyecto de innovación educativa, diseñando e implementando una propuesta de intervención de la cual se sistematizan los resultados y los aprendizajes obtenidos. A partir de la investigación y los resultados obtenidos permiten concluir que el modelo propuesto puede ser considerada una herramienta estratégica de planificación e intervención para la gestión de proyectos educativos, promoviendo que a los equipos directivos contrastar su realidad con los estándares propuestos, y de esta forma poder articular las capacidades – en términos de competencias - de los recursos humanos con las prácticas directivas que buscan lograr los objetivos y resultados esperados, incidiendo positivamente en los resultados de aprendizaje y la calidad educativa. ABSTRACT The importance of education on the construction of human and social capital, has been vastly discussed, considering among other things, the correlation between investments in education, educational policies, stakeholders, and the effects they have on education quality. This is reflected on the efforts of different stakeholders, to improve educational outcomes, trying to build a more equitable society in which every individual can have access to quality education, allowing the same opportunities for personal, professional and social development. Education then becomes a cornerstone at development models - and a topic of constant discussion, especially in areas such as learning outcomes, management and school effectiveness, as core concepts to improve the construction of human capital in the society. In Chile, after a process of decentralization of education that started in the 80s, planning and management model of public education was transformed from a centralized approach to a decentralized perspective in which schools - the educational project - acquires management autonomy and becomes determinant in the quality of education outcomes. It is within the school context where teachers, principals and administrative assistants held teaching and administrative processes, and generates the conditions to develop quality education. During the past 30 years, efforts have been focused on teaching skills and achieve universal coverage. However, in the last 10 years applied research has shown that the principals and management teams have direct and indirect effects on school management, teaching and school environment through their performance and school leadership. This research is proposed within this context in order to contribute to strengthen the capacities of these actors, and promote a professional performance that will positively impact schools´ quality of learning. This thesis is divided into five chapters. The first chapter defines and analyzes the conceptual framework focused on the two main ideas of this work: first, concepts of competence, professional competence; and secondly, leadership and school management, defining the concept of professional competences for school leadership. Then, in the second chapter is developed a context analysis focused on the process of decentralization of public education in Chile, and its effects on the role of school leaders which through this process has been transformed the responsibilities on management and administration of educational projects, allowing to define a school leader’s profile. In addition, and related to principals´ management, it is proposed a conceptualization of school leadership best practices, as the instruments through which competence elements are mobilized and placed in action. Within chapter three, is presented the proposed model of professional competences for school principals, as the main contribution of this research which is based on four components as scientific basis: holistic competence approach, project management approach from the International Project management Association (IPMA), effective school management paradigm; and Working with People model (WWP). The proposal considers an implementation methodology for the development of intervention processes to improve school management, articulating professional competences and school leadership practices, as main elements of the model. Chapter four presents the implementation of the proposed model, using a case study at the Kings´ School of San Bernardo (Chile), subsidized school located at the urban area of Santiago with average socioeconomic conditions, with a high percentage of vulnerability and whose national educational assessment results show a fall. Model implementation was developed through 2012- 2013, working directly with the management team, through an innovative educational management project, designing and implementing an intervention which processes, results and lessons learned are systematized. Research and obtained results through its implementation indicates that the proposed model can be considered a strategic tool for planning and operational management for educational projects, encouraging the principals to compare their reality with the proposed standards, and thus articulate capacity - in terms of competences – in human resources with principals´ practices to achieve the objectives and expected results, impacting positively on learning outcomes and educational quality.

Modelo del sistema de gestión de la calidad y el desempeño organizacional en la producción de petróleo

El proceso de cambio de una sociedad industrial a una sociedad del conocimiento, que experimenta el mundo globalizado en el siglo XXI, induce a las empresas y organizaciones a desarrollar ventajas competitivas y sostenibles basadas en sus activos intangibles, entre los cuales destacan los sistemas de gestión en general y los sistemas de gestión de la calidad (SGC) en particular. Las organizaciones dedicadas a la producción de petróleo están influenciadas por dicha tendencia. El petróleo es un recurso natural con reservas limitadas, cuya producción y consumo ha crecido progresivamente, aportando la mayor cuota (35 %) del total de la energía que se consume en el mundo contemporáneo, aporte que se mantendrá hasta el año 2035, según las previsiones más conservadoras. Por tanto, se hace necesario desarrollar modelos de producción innovadores, que contribuyan a la mejora del factor de recobro de los yacimientos y de la vida útil de los mismos, al tiempo que satisfagan los requerimientos de producción y consumo diarios de los exigentes mercados globales. El objeto de esta investigación es el desarrollo de un modelo de gestión de la calidad y su efecto en el desempeño organizacional, a través del efecto mediador de los constructos satisfacción del cliente interno y gestión del conocimiento en la producción de petróleo. Esta investigación de carácter explicativo, no experimental, transeccional y ex-postfacto, se realizó en la región petrolífera del lago de Maracaibo, al occidente de Venezuela, la cual tiene más de 70 años en producción y cuenta con yacimientos maduros. La población objeto de estudio fue de 369 trabajadores petroleros, quienes participaron en las mesas técnicas de la calidad, durante los meses de mayo y julio del año 2012, los cuales en su mayoría están en proceso de formación como analistas, asesores y auditores de los SGC. La técnica de muestreo aplicada fue de tipo aleatorio simple, con una muestra de 252 individuos. A la misma se le aplicó un cuestionario diseñado ad hoc, el cual fue validado por las técnicas de juicio de expertos y prueba piloto. El procedimiento de investigación se realizó a través de una secuencia, que incluyó la elaboración de un modelo teórico, basado en la revisión del estado del arte; un modelo factorial, sobre la base del análisis factorial de los datos de la encuesta; un modelo de regresión lineal, elaborado a través del método de regresión lineal simple y múltiple; un modelo de análisis de sendero, realizado con el software Amos 20 SPSS y finalmente, un modelo informático, realizado con el simulador Vensim PLE v.6.2. Los resultados obtenidos indican que el modelo teórico se transformó en un modelo empírico, en el cual, la variable independiente fue el SGC, la variable mediadora fue la integración de las dimensiones eliminación de la no conformidad, satisfacción del cliente interno y aprendizaje organizacional (ENCSCIAO) y la variable respuesta la integración de las dimensiones desempeño organizacional y aprendizaje organizacional (DOOA). Se verificó el efecto mediador del ENSCIAO sobre la relación SGC-DOOA con una bondad del ajuste, del 42,65%. En el modelo de regresión múltiple se encontró que las variables determinantes son eliminación de la no conformidad (ENC), conocimiento adquirido (CA) y conocimiento espontáneo (CE), lo cual fue corroborado con el modelo de análisis de sendero. El modelo informático se desarrolló empleando datos aproximados de una unidad de producción tipo, generándose cuatro escenarios; siendo el más favorable, aquel en el cual se aplicaba el SGC y variables relacionadas, reduciendo la desviación de la producción, incrementando el factor de recobro y ampliando la vida útil del yacimiento. Se concluye que la aplicación del SGC y constructos relacionados favorece el desempeño y la producción de las unidades de explotación de yacimientos petrolíferos maduros. Los principales aportes de la tesis son la obtención de un modelo de gestión de la producción de petróleo en yacimientos maduros, basado en los SGC. Asimismo, el desarrollo de un concepto de gestión de la calidad asociado a la reducción de la desviación de la producción petrolífera anual, al incremento del factor de recobro y al aumento de la vida útil del yacimiento. Las futuras líneas de investigación están orientadas a la aplicación del modelo en contextos reales y específicos, para medir su impacto y realizar los ajustes pertinentes. ABSTRACT The process of change from an industrial society to a knowledge-based society, which undergoes the globalized world in the twenty-first century, induces companies and organizations to develop a sustainable and competitive advantages based on its intangible assets, among which are noteworthy the management systems in general and particularly the quality management systems (QMS). Organizations engaged in oil production are influenced by said trend. Oil is a natural resource with limited reserves, where production and consumption has grown progressively, providing the largest share (35%) of the total energy consumed in the contemporary world, a contribution that will remain until the year 2035 according to the more conservative trust estimations. Therefore, it becomes necessary to develop innovative production models which contribute with the improvement of reservoirs´ recovery factor and the lifetime thereof, while meeting the production requirements and daily consumption of demanding global markets. The aim of this research is to develop a model of quality management and its effect on organizational performance through the mediator effect of the constructs, internal customer satisfaction and knowledge management in oil production. This research of explanatory nature, not experimental, transactional and expos-facto was carried out in the oil-region of Maracaibo Lake located to the west of Venezuela, which has more than 70 years in continuous production and has mature reservoirs. The population under study was 369 oil workers who participated in the technical quality workshops, during the months of May and July of 2012, the majority of which were in the process of training as analysts, consultants and auditors of the QMS. The sampling technique applied was simple random type. To a sample of 252 individuals of the population it was applied an ad hoc designed questionnaire, which was validated by the techniques of expert judgment and pilot test. The research procedure was performed through a sequence, which included the elaboration of a theoretical model, based on the review of the state of the art; a factorial model with based on factorial analysis of the survey data; a linear regression model, developed through the method of simple and multiple linear regression; a structural equation model, made with software °Amos 20 SPSS° and finally, a computer model, performed with the simulator Vensim PLE v.6.2. The results indicate that the theoretical model was transformed into an empirical model, in which the independent variable was the QMS, the mediator variable was the integration of the dimensions: elimination of non-conformity, internal customer satisfaction and organizational learning (ENCSCIAO) and the response variable the integration of the dimensions, organizational performance and learning organizational (DOOA). ENSCIAO´s mediator effect on the relation QMS-DOOA was verified with a goodness of fit of 42,65%. In the multiple regression model was found to be the determining variables are elimination of nonconformity (ENC), knowledge acquired (CA) and spontaneous knowledge (EC), which was verified with the structural equation model. The computer model was developed based on approximate data of an oil production unit type, creating four (04) scenarios; being the most favorable, that one which it was applied the QMS and related variables, reducing the production deviation, increasing the recovery factor and extending the lifetime of the reservoir. It is concluded that QMS implementation powered with the related constructs, favors performance and production of mature oilfield of exploitation reservoirs units. The main contributions of this thesis are obtaining a management model for oil production in mature oilfields, based on QMS. In addition, development of a concept of quality associated to reduce the annual oil production deviation, increase the recovery factor and increase oilfield lifetime. Future lines of research are oriented to the implementation of this model in real and specific contexts to measure its impact and make the necessary adjustments that might take place.

El Poblado Dirigido de Caño Roto: Dialéctica entre morfología urbana y tipología edificatoria

La tesis doctoral titulada “El Poblado Dirigido de Caño Roto. Dialéctica entre morfología urbana y tipología edificatoria” analiza el poblado de Caño Roto, un vecindario de vivienda social construido en Madrid entre 1957 y 1963, a partir de la relación entre la edificación y la forma urbana resultante. También, la investigación desarrolla un análisis historiográfico de la obra así como de las condiciones políticas, sociales, económicas y normativas existentes en el momento de su realización, para concluir con un estudio comparativo entre éste y otros proyectos análogos al poblado en aspectos como el marco temporal y geopolítico, los planteamientos urbanísticos y algunas soluciones tipológicas y constructivas. El trabajo pretende, por un lado, profundizar en el conocimiento que se tiene actualmente de esta obra, considerada por muchos como una de las más relevantes de la arquitectura española contemporánea, y, por otro, extraer a partir de su estudio, pautas, criterios y estrategias de diseño urbano que puedan ser extrapolables al proyecto contemporáneo; a fin de superar los actuales, pero obsoletos, modelos de desarrollo. No obstante, sabemos que cualquier respuesta que plantee una vuelta al pasado está condenada al fracaso. Las circunstancias cambian y, en consecuencia, las soluciones no pueden ser las mismas. Pero si las respuestas ya no nos sirven, las preguntas siguen siendo válidas. Quién es el protagonista del diseño urbano en Caño Roto. Cómo conviven el tráfico peatonal y el rodado. Cuál es la densidad del barrio. Cómo se articulan los usos residencial, comercial y dotacional. De qué manera se organiza el tejido urbano. Qué relación existe entre los tipos edificatorios y la morfología urbana resultante; y entre los espacios de uso privado o restringido y los de uso público. Partimos de la hipótesis de que los análisis, reflexiones y resultados derivados de interrogar al poblado de Caño Roto acerca de estas, y otras muchas, cuestiones nos permitirán alcanzar un entendimiento global de la complejidad urbana y nos revelarán, además, propuestas y soluciones que contribuyan a mejorar la calidad de nuestras ciudades; ahora y en adelante. ABSTRACT The thesis entitled “El Poblado Dirigido de Caño Roto. Dialéctica entre morfología urbana y tipología edificatoria” [Poblado Dirigido of Caño Roto. Dialectic between urban morphology and typology] analyzes Caño Roto, a social housing neighborhood built in Madrid between 1957 and 1963, from the relationship between buildings and the resulting urban form. Also, this research develops a historiographical analysis of this project as well as the social, political, financial and legislative conditions present at time of its construction. This thesis concludes with a comparative study with other similar projects in temporal and geopolitical framework, urban approaches and some typological and constructive solutions. The research aims, on the one hand, to expand the current knowledge about Caño Roto, considered by many as one of the most important project at Spanish contemporary architecture; and, on the other hand, deducing from the study guidelines, criteria and strategies of urban design which can be extrapolated to contemporary architecture and urbanism. This way, we will be able to overcome current, but obsolete development models. However, we know that any response that suggests coming back to the past is destined to failure. Circumstances change and, consequently, solutions cannot be the same. But if the answers do not serve, questions are still right. Who is the protagonist of Caño Roto urban design? How do pedestrian and road traffic coexist together? What is the neighborhood’s density? How are residential, commercial and endowment uses articulated? How is urban fabric organized? What is the relationship between building types and the resulting urban morphology; and between private and public spaces? We start from the hypothesis that analysis, reflections and results arising from questioning Caño Roto about these, and many others, issues will enable us to have a comprehensive understanding of urban complexity, and they will also reveal proposals and solutions which help us to improve the quality of our cities; from now on.

Método para el análisis independiente de problemas

habilidades de comprensión y resolución de problemas. Tanto es así que se puede afirmar con rotundidad que no existe el método perfecto para cada una de las etapas de desarrollo y tampoco existe el modelo de ciclo de vida perfecto: cada nuevo problema que se plantea es diferente a los anteriores en algún aspecto y esto hace que técnicas que funcionaron en proyectos anteriores fracasen en los proyectos nuevos. Por ello actualmente se realiza un planteamiento integrador que pretende utilizar en cada caso las técnicas, métodos y herramientas más acordes con las características del problema planteado al ingeniero. Bajo este punto de vista se plantean nuevos problemas. En primer lugar está la selección de enfoques de desarrollo. Si no existe el mejor enfoque, ¿cómo se hace para elegir el más adecuado de entre el conjunto de los existentes? Un segundo problema estriba en la relación entre las etapas de análisis y diseño. En este sentido existen dos grandes riesgos. Por un lado, se puede hacer un análisis del problema demasiado superficial, con lo que se produce una excesiva distancia entre el análisis y el diseño que muchas veces imposibilita el paso de uno a otro. Por otro lado, se puede optar por un análisis en términos del diseño que provoca que no cumpla su objetivo de centrarse en el problema, sino que se convierte en una primera versión de la solución, lo que se conoce como diseño preliminar. Como consecuencia de lo anterior surge el dilema del análisis, que puede plantearse como sigue: para cada problema planteado hay que elegir las técnicas más adecuadas, lo que requiere que se conozcan las características del problema. Para ello, a su vez, se debe analizar el problema, eligiendo una técnica antes de conocerlo. Si la técnica utiliza términos de diseño entonces se ha precondicionado el paradigma de solución y es posible que no sea el más adecuado para resolver el problema. En último lugar están las barreras pragmáticas que frenan la expansión del uso de métodos con base formal, dificultando su aplicación en la práctica cotidiana. Teniendo en cuenta todos los problemas planteados, se requieren métodos de análisis del problema que cumplan una serie de objetivos, el primero de los cuales es la necesidad de una base formal, con el fin de evitar la ambigüedad y permitir verificar la corrección de los modelos generados. Un segundo objetivo es la independencia de diseño: se deben utilizar términos que no tengan reflejo directo en el diseño, para que permitan centrarse en las características del problema. Además los métodos deben permitir analizar problemas de cualquier tipo: algorítmicos, de soporte a la decisión o basados en el conocimiento, entre otros. En siguiente lugar están los objetivos relacionados con aspectos pragmáticos. Por un lado deben incorporar una notación textual formal pero no matemática, de forma que se facilite su validación y comprensión por personas sin conocimientos matemáticos profundos pero al mismo tiempo sea lo suficientemente rigurosa para facilitar su verificación. Por otro lado, se requiere una notación gráfica complementaria para representar los modelos, de forma que puedan ser comprendidos y validados cómodamente por parte de los clientes y usuarios. Esta tesis doctoral presenta SETCM, un método de análisis que cumple estos objetivos. Para ello se han definido todos los elementos que forman los modelos de análisis usando una terminología independiente de paradigmas de diseño y se han formalizado dichas definiciones usando los elementos fundamentales de la teoría de conjuntos: elementos, conjuntos y relaciones entre conjuntos. Por otro lado se ha definido un lenguaje formal para representar los elementos de los modelos de análisis – evitando en lo posible el uso de notaciones matemáticas – complementado con una notación gráfica que permite representar de forma visual las partes más relevantes de los modelos. El método propuesto ha sido sometido a una intensa fase de experimentación, durante la que fue aplicado a 13 casos de estudio, todos ellos proyectos reales que han concluido en productos transferidos a entidades públicas o privadas. Durante la experimentación se ha evaluado la adecuación de SETCM para el análisis de problemas de distinto tamaño y en sistemas cuyo diseño final usaba paradigmas diferentes e incluso paradigmas mixtos. También se ha evaluado su uso por analistas con distinto nivel de experiencia – noveles, intermedios o expertos – analizando en todos los casos la curva de aprendizaje, con el fin de averiguar si es fácil de aprender su uso, independientemente de si se conoce o no alguna otra técnica de análisis. Por otro lado se ha estudiado la capacidad de ampliación de modelos generados con SETCM, para comprobar si permite abordar proyectos realizados en varias fases, en los que el análisis de una fase consista en ampliar el análisis de la fase anterior. En resumidas cuentas, se ha tratado de evaluar la capacidad de integración de SETCM en una organización como la técnica de análisis preferida para el desarrollo de software. Los resultados obtenidos tras esta experimentación han sido muy positivos, habiéndose alcanzado un alto grado de cumplimiento de todos los objetivos planteados al definir el método.---ABSTRACT---Software development is an inherently complex activity, which requires specific abilities of problem comprehension and solving. It is so difficult that it can even be said that there is no perfect method for each of the development stages and that there is no perfect life cycle model: each new problem is different to the precedent ones in some respect and the techniques that worked in other problems can fail in the new ones. Given that situation, the current trend is to integrate different methods, tools and techniques, using the best suited for each situation. This trend, however, raises some new problems. The first one is the selection of development approaches. If there is no a manifestly single best approach, how does one go about choosing an approach from the array of available options? The second problem has to do with the relationship between the analysis and design phases. This relation can lead to two major risks. On one hand, the analysis could be too shallow and far away from the design, making it very difficult to perform the transition between them. On the other hand, the analysis could be expressed using design terminology, thus becoming more a kind of preliminary design than a model of the problem to be solved. In third place there is the analysis dilemma, which can be expressed as follows. The developer has to choose the most adequate techniques for each problem, and to make this decision it is necessary to know the most relevant properties of the problem. This implies that the developer has to analyse the problem, choosing an analysis method before really knowing the problem. If the chosen technique uses design terminology then the solution paradigm has been preconditioned and it is possible that, once the problem is well known, that paradigm wouldn’t be the chosen one. The last problem consists of some pragmatic barriers that limit the applicability of formal based methods, making it difficult to use them in current practice. In order to solve these problems there is a need for analysis methods that fulfil several goals. The first one is the need of a formal base, which prevents ambiguity and allows the verification of the analysis models. The second goal is design-independence: the analysis should use a terminology different from the design, to facilitate a real comprehension of the problem under study. In third place the analysis method should allow the developer to study different kinds of problems: algorithmic, decision-support, knowledge based, etc. Next there are two goals related to pragmatic aspects. Firstly, the methods should have a non mathematical but formal textual notation. This notation will allow people without deep mathematical knowledge to understand and validate the resulting models, without losing the needed rigour for verification. Secondly, the methods should have a complementary graphical notation to make more natural the understanding and validation of the relevant parts of the analysis. This Thesis proposes such a method, called SETCM. The elements conforming the analysis models have been defined using a terminology that is independent from design paradigms. Those terms have been then formalised using the main concepts of the set theory: elements, sets and correspondences between sets. In addition, a formal language has been created, which avoids the use of mathematical notations. Finally, a graphical notation has been defined, which can visually represent the most relevant elements of the models. The proposed method has been thoroughly tested during the experimentation phase. It has been used to perform the analysis of 13 actual projects, all of them resulting in transferred products. This experimentation allowed evaluating the adequacy of SETCM for the analysis of problems of varying size, whose final design used different paradigms and even mixed ones. The use of the method by people with different levels of expertise was also evaluated, along with the corresponding learning curve, in order to assess if the method is easy to learn, independently of previous knowledge on other analysis techniques. In addition, the expandability of the analysis models was evaluated, assessing if the technique was adequate for projects organised in incremental steps, in which the analysis of one step grows from the precedent models. The final goal was to assess if SETCM can be used inside an organisation as the preferred analysis method for software development. The obtained results have been very positive, as SETCM has obtained a high degree of fulfilment of the goals stated for the method.

Vacíos urbanos en la ciudad de Zaragoza (1975-2010). Oportunidades para la estructuración y continuidad urbana

La expansión de las ciudades hacia la periferia en las últimas décadas ha generado una serie de tejidos en colisión, donde los intersticios y los espacios residuales muestran la realidad de una ciudad dispersa. A esta serie de espacios intermedios los denominaremos “vacíos urbanos” y determinaremos una serie de factores que hagan posible su identificación Los vacíos urbanos son el objeto de la Tesis. El concepto “vacío urbano” adquiere un determinado significado para la investigación y se acota formulando una serie de parámetros para su definición. Definiremos los “vacíos urbanos” como espacios que han aparecido en el extrarradio de las ciudades, fruto de una expansión sin precedentes de las áreas urbanas. Han surgido como lugares residuales condicionados por elementos naturales o por infraestructuras, ligados a una temporalidad incierta, no inmersos en la dinámicas urbanas o habiendo perdido su funcionalidad. El objetivo de esta investigación es localizar y clasificar los vacíos existentes en la ciudad partiendo de la hipótesis de que es posible establecer una metodología para su reconocimiento y comprobación de los parámetros que los definen. La investigación centra su estudio en la ciudad de Zaragoza, como un ejemplo paradigmático, confirmando que la nueva fenomenología territorial, no sólo se manifiesta en dicha ciudad y en las áreas en concreto donde se ha estudiado, sino que más bien se trata de observarla como una serie de modelos tipológicos que respondan a un proceso de análisis. La propuesta metodológica de loa tesis pasa por reconocerlos, mostrarlos y darles una visibilidad que permita su clasificación, el desarrollo de un estudio de Áreas de la ciudad donde se localizan y un análisis de cada tipología de vacío urbano. Como instrumento metodológico se ha elaborado una detallada cartografía a diferentes escalas. La realización de los planos ha sido el medio de análisis que ha permitido localizar e interpretar los vacíos, complementado con unas escogidas fotografías de estos entornos. La metodología se convierte en un modo de descubrir y analizar los vacíos, el proceso conlleva la comprobación y la clasificación en una tipología. Según se han ido analizando nuevas áreas, se confirma como un hecho repetitivo exitoso y se observa que es aplicable a otras áreas urbanas de similares características, donde se den las condiciones principales de cada tipo. En general, deberán ser espacios localizados en la periferia de núcleos urbanos donde aparezcan fenómenos ligados a una expansión discontinua. Parece probable que el futuro de la ciudad se tenga que resolver en las próximas décadas sobre su actual extensión; bajo este supuesto, es trascendente la función que los vacíos puedan desempeñar en el futuro desarrollo urbano. Toda posibilidad de intervención precisará de una necesaria reinterpretación, puestas las miras en su potencial como elementos capaces de generar una rehabilitación urbana. A su vez se hace conveniente plantear una reflexión sobre estos espacios cargados de una dimensión social y cultural, como lugares capaces de articular y dotar de identidad al medio urbano. Los vacíos deberían protagonizar un papel relevante en la estructuración urbana, abriendo posibilidades para el tramado de la ciudad desde nuevas perspectivas. Una apuesta para que estos espacios libres pasen de ser el objetivo de procesos urbanizadores tradicionales, a ser considerados como oportunos elementos vertebradores de los entornos periurbanos, colaborando en el objetivo de una ciudad contemporánea sostenible. ABSTRACT In the last decades the city periphary expansion has provoked a series of matters to collide, where interstices and waste lands show the reality of a divided city. We shall determine a number of factors allowing us to treat these “in between” spaces, also called "urban voids" as identifiable elements. We will consider them the subject of the thesis and establish them as a "concept", delimiting the meaning of the research specifically acquired, defining, and formulating a set of parameters. "Urban voids" are defined as spaces that have appeared on the outskirts of cities, the result of an unprecedented expansion of urban areas. They have emerged as waste lands, conditioned by natural elements or infrastructure, related to uncertain temporality, not immersed in the urban dynamics, or having lost their functionality. It seems likely that in the upcoming decades, the future of the city will have to resolve its current way of expanding . It is under this assumption that urban voids, as intermediate spaces, will play an important role in future urban developments. Any possible intervention will require a necessary reinterpretation, closely watching their potential as elements capable of generating an urban rehabilitation. At the same time, we wish to reflect on these spaces, in many cases loaded with a social and cultural dimension, as places able to articulate and give identity to the urban environment. Based on the hypothesis that it is possible to establish a methodology for recognition and verification, the purpose of this research is to locate and classify the existing urban voids in the city. The research focuses its study on the city of Saragossa which can be seen as a paradigmatic example. The objective is to confirm that this new territorial phenomenology, not only manifests itself in Saragossa and specific areas under study, but also, can be observed as a series of typological models that respond to a review process. The methodological proposal will recognize, demonstrate, and exhibit these urban voids, in a light that will allow us to classify them, examine the different areas where they can be found, and develop a tipology analysis of each type of urban void found. The technical tool used in this research is a detailed mapping at different scales. A realization of plans, as a mean of analysis, supplemented with a few selected pictures of these environments, will facilitate the location and interpretation of these voids. This scholarly approach to discover and analyze urban voids will involve checking and classifying them in a typology. It has been confirmed as a successful constant regulator while exploring new areas. It will be apply to other urban areas with similar characteristics, that is, spaces located on the periphery of urban areas where expansion is linked to the appearence of discontinuous phenomena. The urban voids play a fundamental role within the urban structure, providing the city a weaving scheme with opportunities of fresh perspectives. The challenge for these free spaces is to move from being the consequence of traditional urban development processes, to being considered opportune backbone elements of peri-urban environments, and to finally contribute to the objectives of a sustainable contemporary city.