641 resultados para normalización lingüistica
Resumo:
La presente tesis doctoral se enmarca dentro del concepto de la sistematización del conocimiento en arquitectura, más concretamente en el campo de las construcciones arquitectónicas y la toma de decisiones en la fase de proyecto de envolventes arquitectónicas multicapa. Por tanto, el objetivo principal es el establecimiento de las bases para una toma de decisiones informadas durante el proyecto de una envolvente multicapa con el fin de colaborar en su optimización. Del mismo modo que la historia de la arquitectura está relacionada con la historia de la innovación en construcción, la construcción está sujeta a cambios como respuesta a los fracasos anteriores. En base a esto, se identifica la toma de decisiones en la fase de proyecto como el estadio inicial para establecer un punto estratégico de reflexión y de control sobre los procesos constructivos. La presente investigación, conceptualmente, define los parámetros intervinientes en el proyecto de envolventes arquitectónicas multicapa a partir de una clasificación y sistematización de todos los componentes (elementos, unidades y sistemas constructivos) utilizados en las fachadas multicapa. Dicha sistematización se materializa en una hoja matriz de datos en la que, dentro de una organización a modo de árbol, se puede acceder a la consulta de cada componente y de su caracterización. Dicha matriz permite la incorporación futura de cualquier componente o sistema nuevo que aparezca en el mercado, relacionándolo con aquellos con los que comparta ubicación, tipo de material, etc. Con base en esa matriz de datos, se diseña la sistematización de la toma de decisiones en la fase de proyecto de una envolvente arquitectónica, en concreto, en el caso de una fachada. Operativamente, el resultado se presenta como una herramienta que permite al arquitecto o proyectista reflexionar y seleccionar el sistema constructivo más adecuado, al enfrentarse con las distintas decisiones o elecciones posibles. La herramienta se basa en las elecciones iniciales tomadas por el proyectista y se estructura, a continuación y sucesivamente, en distintas aproximaciones, criterios, subcriterios y posibilidades que responden a los distintos avances en la definición del sistema constructivo. Se proponen una serie de fichas operativas de comprobación que informan sobre el estadio de decisión y de definición de proyecto alcanzados en cada caso. Asimismo, el sistema permite la conexión con otros sistemas de revisión de proyectos para fomentar la reflexión sobre la normalización de los riesgos asociados tanto al proprio sistema como a su proceso constructivo y comportamiento futuros. La herramienta proporciona un sistema de ayuda para ser utilizado en el proceso de toma de decisiones en la fase de diseño de una fachada multicapa, minimizando la arbitrariedad y ofreciendo una cualificación previa a la cuantificación que supondrá la elaboración del detalle constructivo y de su medición en las sucesivas fases del proyecto. Al mismo tiempo, la sistematización de dicha toma de decisiones en la fase del proyecto puede constituirse como un sistema de comprobación en las diferentes fases del proceso de decisión proyectual y de definición de la envolvente de un edificio. ABSTRACT The central issue of this doctoral Thesis is founded on the framework of the concept of the systematization of knowledge in architecture, in particular, in respect of the field of building construction and the decision making in the design stage of multilayer building envelope projects. Therefore, the main objective is to establish the bases for knowledgeable decision making during a multilayer building envelope design process, in order to collaborate with its optimization. Just as the history of architecture is connected to the history of innovation in construction, construction itself is subject to changes as a response to previous failures. On this basis, the decisions made during the project design phase are identified as the initial state to establish an strategic point for reflection and control, referred to the constructive processes. Conceptually, this research defines the parameters involving the multilayer building envelope projects, on the basis of a classification and systematization for all the components (elements, constructive units and constructive systems) used in multilayer façades. The mentioned systematization is materialized into a data matrix sheet in which, following a tree‐like organization, the access to every single component and its characterization is possible. The above data matrix allows the future inclusion of any new component or system that may appear in the construction market. That new component or system can be put into a relationship with another, which it shares location, type of material,… with. Based on the data matrix, the systematization of the decision making process for a building envelope design stage is designed, more particularly in the case of a façade. Putting this into practice, it is represented as a tool which allows the architect or the designer, to reflect and to select the appropriate building system when facing the different elections or the different options. The tool is based on the initial elections taken by the designer. Then and successively, it is shaped on the form of different operative steps, criteria, sub‐criteria and possibilities which respond to a different progress in the definition of the building construction system. In order to inform about the stage of the decision and the definition reached by the project in every particular case, a range of operative sheets are proposed. Additionally, the system allows the connection with other reviewing methods for building projects. The aim of this last possibility is to encourage the reflection on standardization of the associated risks to the building system itself and its future performance. The tool provides a helping system to be used during the decision making process for a multilayer façade design. It minimizes the arbitrariness and offers a qualification previous to the quantification that will be done with the development of the construction details and their bill of quantities, that in subsequent project stages will be executed. At the same time, the systematization of the mentioned decision making during the design phase, can be found as a checking system in the different stages of the decision making design process and in the different stages of the building envelope definition.
Resumo:
El heavy metal es uno de los movimientos socioculturales más extendidos de la cultura occidental. Musicalmente es, además, uno de los géneros más ricos de cuantos conforman el crisol de la música popular urbana, habiendo despertado el interés de sociólogos y musicólogos, fundamentalmente europeos y norteamericanos, que lo han introducido en el currículo académico. Una normalización que contrasta, sin embargo, con su apreciación en España, donde apenas se ha considerado como objeto de estudio, y mantiene un estatus de marginalidad. Esta tesis doctoral se plantea como punto de partida de una nueva línea de investigación, analizando las etapas evolutivas del heavy metal español; y con la intención de alcanzar la normalización que unifique criterios con las corrientes musicológicas anglosajonas. Trata de demostrar que existió una escena significativa de heavy metal en España, con unas características propias que la diferenciaron del resto, y que tuvo una presencia importante en el panorama musical y cultural español de principios de los años ochenta. A partir de esta hipótesis, presenta los siguientes objetivos principales: -‐ Establecer una historia detallada de la evolución del heavy metal en España en sus fases de formación, cristalización y crecimiento, dentro de un contexto histórico, social y cultural. -‐ Detallar las características musicales del heavy metal español en sus fases de formación, cristalización y crecimiento. -‐ Esclarecer las principales influencias, los precedentes y la dimensión verbal del heavy metal español. -‐ Evidenciar la trascendencia del heavy metal sobre la cultura y la música popular española. -‐ Asentar el heavy metal como objeto de estudio en la musicología española. Debido a su doble enfoque histórico musical y analítico, la investigación está dividida en dos partes diferenciadas: una primera que trata el género desde su vertiente histórica, teniendo en cuenta su evolución dentro de un contexto político, social y cultural determinado; y una segunda, técnica, que atiende a su condición de estilo musical...
Resumo:
El consumidor actual, cada vez más concienciado de la estrecha relación entre la alimentación y la salud, busca alimentos mínimamente procesados, apetecibles, de fácil consumo y con propiedades funcionales. En este sentido, las bebidas refrescantes mixtas y los smoothies suponen una opción para satisfacer estas necesidades. Además, la aplicación de tecnologías de conservación alternativas a la pasteurización tradicional, entre las que destacan las altas presiones hidrostáticas, constituye una revolución en la industria alimentaria, al obtenerse productos seguros que conservan las características funcionales, nutricionales y sensoriales de los alimentos frescos. El objetivo principal de esta Tesis Doctoral consiste en la evaluación del efecto de las altas presiones hidrostáticas aplicadas a smoothies elaborados con leche de vaca y leche de soja así como su modificación durante la vida comercial, bajo la premisa de tratarse de una tecnología más idónea que la tradicional pasteurización con que se procesan los zumos y las bebidas refrescantes mixtas. El fin último es alcanzar un mayor grado de conocimiento en relación a estos nuevos productos y procesos con objeto de establecer futuras guías de normalización, ya que en la actualidad el reconocimiento legal no es claro ni preciso. Previamente se lleva a cabo un estudio de mercado y caracterización de veinticuatro bebidas refrescantes mixtas comerciales a base de fruta y leche o soja como base sobre la que desarrollar las formulaciones de smoothies. Para evaluar el efecto de las altas presiones se desarrollaron dos prototipos de smoothies mixtos con productos vegetales (naranja, papaya, melón y zanahoria) por su aporte de compuestos bioactivos con elevado potencial saludable, a los que se les añadió leche de vaca o leche de soja. Las bebidas elaboradas con leche de vaca fueron sometidas a dos intensidades de presión: 450 y 600 MPa, y las formuladas con leche de soja a 550 y 650 MPa. En todos los casos el tiempo y temperatura se mantuvieron constantes: 3 minutos y 20 ºC. Para comparar el impacto del tratamiento y del almacenamiento sobre las características evaluadas, los smoothies se sometieron paralelamente a un proceso convencional de pasteurización térmica a 80 ºC durante 3 minutos. También se ha considerado el efecto del almacenamiento en refrigeración a 4 ºC a lo largo de 45 días...
Resumo:
En ese curso, este examen se hizo en la última sesión de teoría por lo que se prepararon varias versiones ligeramente diferentes para cada grupo de teoría.
Resumo:
El examen consta de 3 partes: Test de teoría, problemas de teoría y SQL. Hay dos versiones, una para informática y otra para multimedia.
Resumo:
En el curso 2011-12 este examen de problemas de aplicación de la teoría se realizó en la fecha asignada por la Universidad de Alicante y en aulas comunes para Informática y Multimedia.
Resumo:
Examen de segunda convocatoria del curso 2011-12. Consta de 3 partes: test y problemas de teoría, y SQL.
Resumo:
Presentaciones de la primera hora de las sesiones de teoría (TEORÍA1).
Resumo:
Análisis y Evaluación de Programas Universitarios para Mayores. MINISTERIO DE TRABAJO Y ASUNTOS SOCIALES, Informe Final del proyecto AEPUM (Cod. proyecto 116/2005). Convocatoria I+D+I de la Subdirección general de planificación, ordenación y evaluación del IMSERSO. Pag. 782.
Resumo:
Aquest article presenta una mostra dels resultats de l’anàlisi detallada de locucions, col·locacions i altres elements fraseològics i d’ordre de mots significatius quant a la caracterització del cabal de llenguatge literari de Joan Roís de Corella. Aquesta anàlisi es fa amb metodologia interdisciplinar de base de lingüistica de corpus i de diacronia lingüistica, i amb el concurs de les tecnologies de la informació i la comunicació (humanitats digitals), que s’apliquen a l’anàlisi de l’aportació lèxica i estilística d’un autor clau com és Roís de Corella a fide calibrar el grau de sintonia i, alhora, d’especificitat del seu llenguatge literari; en quin grau coincideix el seu llenguatge literari amb el d’altres grans clàssics culturals de la Corona d’Aragó, i en què basa, alhora, Roís de Corella la clau de la seua mestria estilística.
Resumo:
Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad.
Resumo:
El presente proyecto se enmarca en el área de métodos formales para computación; el objetivo de los métodos formales es asegurar, a través de herramientas lógicas y matemáticas, que sistemas computacionales satisfacen ciertas propiedades. El campo de semántica de lenguajes de programación trata justamente de construir modelos matemáticos que den cuenta de las diferentes características de cada lenguaje (estado mutable, mecanismos de paso de parámetros, órdenes de ejecución, etc.); permitiendo razonar de una manera abstracta, en vez de lidiar con las peculiaridades de implementaciones o las vaguezas de descripciones informales. Como las pruebas formales de corrección son demasiado intrincadas, es muy conveniente realizar estos desarrollos teóricos con la ayuda de asistentes de prueba. Este proceso de formalizar y corrobar aspectos semánticos a través de un asistente se denomina mecanización de semántica. Este proyecto – articulado en tres líneas: semántica de teoría de tipos, implementación de un lenguaje con tipos dependientes y semántica de lenguajes imperativos con alto orden - se propone realizar avances en el estudio semántico de lenguajes de programación, mecanizar dichos resultados, e implementar un lenguaje con tipos dependientes con la intención de que se convierta, en un mediano plazo, en un asistente de pruebas. En la línea de semántica de teoría de tipos los objetivos son: (a) extender el método de normalización por evaluación para construcciones no contempladas aun en la literatura, (b) probar la adecuación de la implementación en Haskell de dicho método de normalización, y (c) construir nuevos modelos categóricos de teoría de tipos. El objetivo de la segunda línea es el diseño e implementación de un lenguaje con tipos dependientes con la intención de que el mismo se convierta en un asistente de pruebas. Una novedad de esta implementación es que el algoritmo de chequeo de tipos es correcto y completo respecto al sistema formal, gracias a resultados ya obtenidos; además la implementación en Haskell del algoritmo de normalización (fundamental para el type-checking) también tendrá su prueba de corrección. El foco de la tercera línea está en el estudio de lenguajes de programación que combinan aspectos imperativos (estado mutable) con características de lenguajes funcionales (procedimientos y funciones). Por un lado se avanzará en la mecanización de pruebas de corrección de compiladores para lenguajes Algollike. El segundo aspecto de esta línea será la definición de semánticas operacional y denotacional del lenguaje de programación Lua y la posterior caracterización del mismo a partir de ellas. Para lograr dichos objetivos hemos dividido las tareas en actividades con metas graduales y que constituyen en sí mismas aportes al estado del arte de cada una de las líneas. La importancia académica de este proyecto radica en los avances teóricos que se propone en la línea de semántica de teoría de tipos, en las contribución para la construcción de pruebas mecanizadas de corrección de compiladores, en el aporte que constituye la definición de una semántica formal para el lenguaje Lua, y en el desarrollo de un lenguaje con tipos dependientes cuyos algoritmos más importantes están respaldados por pruebas de corrección. Además, a nivel local, este proyecto permitirá incorporar cuatro integrantes al grupo de “Semántica de la programación”.
Resumo:
El presente trabajo se propone abordar los sucesos que marcaron la dinámica institucional y política de la Universidad de La Plata en los meses que van entre septiembre de 1955 y mayo de 1956, con énfasis en un actor en particular: el movimiento estudiantil. Mediante el trabajo con fuentes documentales escritas de diversa índole vamos a reconstruir los primeros meses de la UNLP posperonista, atendiendo a tres aspectos del proceso abierto: en primer lugar, el proceso de reconstrucción y desperonización de las estructuras universitarias y del cuerpo docente y administrativo. Segundo, vamos a preguntarnos cuál fue el rol del movimiento estudiantil: qué acciones llevó a cabo, cuáles eran sus diferencias internas y sus principales debates. Como es conocido, el proceso de normalización universitaria atravesó un momento disruptivo comenzando 1956: la sanción del Decreto-Ley 6.403, y en particular su artículo n°28, va a provocar masivas movilizaciones (tanto a su favor como en contra), numerosas tomas e incluso fuertes incidentes en las calles platenses. Las últimas líneas del trabajo estarán dedicadas a este tercer aspecto del período señalado.
Resumo:
Mode of access: Internet.
Resumo:
La noción de "habitus"-"historia hecha cuerpo" (Bourdieu)-converge hoy con la de un paradigma tecnocientífico "fáustico" (Sibilia), cuya aspiración sería la maleabilidad ilimitada de la Naturaleza. A este paradigma no son ajenos ciertos avances en la ciencia y la tecnología médicas. Bajo la "mirada clínica objetivante", el cuerpo tiende a verse como un "borrador a rectificar" (Le Breton). Esta mirada nos interpelaría con fuerza creciente desde la "pantalla total" (Baudrillard) de la "cultura de consumo" (Featherstone). No comprenderemos profundamente el auge y la normalización de las cirugías estéticas, sin atender al encuentro entre el dispositivo médico y el mediático, de cuya interrelación dialéctica se constituiría un imaginario con efectos de "violencia simbólica"-literalmente-encarnizados. Considerando sus precios, las cirugías estéticas se nos sugieren como un consumo "distintivo", pero también, dado el riesgo y el dolor que implican, como un "trabajo corporal" (Wäcquant)-una acumulación de "capital físico" (Shilling) cuyas estrategias de reconversión aún están por ser estudiadas. Y esto resulta relevante en un estadio del capitalismo caracterizado por la "instrumentalización de aquello que nos hace humanos" (Boltanski): las emociones-la "bisagra" (Elias) entre lo social y lo biológico, donde se concreta la corporeidad en cuanto modo de "ser-en-el mundo" (Merleau-Ponty)
