Spelling suggestions: "subject:"anónima"" "subject:"anónimas""
1 |
Estudio de una dualidad topológica para semirretículos distributivos con operadores modales monótonos y sus aplicacionesMenchón, María Paula 29 March 2019 (has links)
En el estudio de las álgebras relacionadas a las lógicas no-clásicas, los semirretículos
(distributivos) están siempre presentes. Por ejemplo, la semántica algebraica del
fragmento{ --;^; T} de la lógica intuicionista modal es la variedad de los semirretículos implicativos, que son una clase especial de semirretículos distributivos.
En esta tesis, introducimos y estudiamos la clase de semirretículos distributivos acotados
dotados de operadores modales que cumplen con la condición de monotonía.
Estudiamos una teoría de representación para estas álgebras usando las extensiones
canónicas y desarrollamos una dualidad completa a través de espacios sober. Dichos
resultados son aplicables, bajo modificaciones menores, al estudio de los retículos
distributivos acotados, los semirretículos implicativos, las álgebras de Heyting y a
las álgebras de Boole con operadores monótonos. Mostraremos cómo nuestra dualidad
se extiende a algunos casos particulares. En el caso de las álgebras de Boole,
nuestra dualidad incluye, como casos particulares, las dadas en [12] y [31].
Las lógicas modales monótonas han surgido en distintas áreas de aplicación,
como por ejemplo, asociadas a ciertas sem anticas utilizadas en computación teórica
e inteligencia artificial. Usando la dualidad desarrollada, estudiaremos algunas extensiones
obtenidas a partir de un sistema deductivo basado en semirretículos con
operadores modales monótonos. A estos sistemas deductivos los dotaremos de una
semántica de entornos, y nuestro objetivo principal es probar la completitud de estas
extensiones con respecto a una clase característica de marcos monótonos.
La variedad de las álgebras de Boole con operadores modales monótonos es dualmente
equivalente a dos clases de marcos monótonos generales descriptivos. Clarificaremos este fenómeno mostrando que existe una correspondencia biyectiva entre
estas dos clases. Hablaremos sobre algunas clases de marcos de entornos monótonos
generales, tales como las clases de punto compacto, imagen compacto y marcos
monótonos generales repletos, y estudiaremos las relaciones entre ellos. También
probaremos que las nociones de marco monótono punto compacto, e imagen compacto
se preservan bajo morfismos acotados fuertes. / In the study of algebras related to non-classical logics, (distributive) semilattices
are always present in the background. For example, the algebraic semantic of
the { --;^; T}fragment of intuitionistic logic is the variety of implicative meetsemilattices,
which are distributive semilattices. In this thesis we introduce and
study the class of distributive meet-semilattices endowed with monotonic modal
operators. We study the representation theory of these algebras using the theory
of canonical extensions and we give a topological duality (Stone style) for them.
Also, we show how our new duality extends to some particular subclasses. So, most
of the results given in this paper are applicable, with minor modi cations, to the
study of bounded distributive lattices, implicative semilattices, Heyting algebras,
and Boolean algebras with monotonic operators. We note that in the particular
case of Boolean algebras our duality yields the duality given in [12] and [31].
Monotone modal logics have emerged in several application areas such as computer
science and social choice theory. Using the developed duality, we study some
extensions obtained from a semilattice based deductive system with monotonic
modal operators. We give neighborhood semantics, and our main objective is to
prove completeness with respect to a characteristic classes of monotonic frames.
The variety of Boolean algebras with monotonic modal operators is dually equivalent
to two classes of descriptive general monotonic frames. We shall clarify this
phenomenon showing that there exists a bijective correspondence between these two
classes. We shall discuss some classes of general monotonic neighborhood frames,
such as the classes of point-compact, image compact and replete general m-frames,
and we shall study the relationships between them. We shall also prove that the
notions of point-compact, and image-compact monotonic frames are preserved by
strong bounded morphisms.
|
2 |
El voseo en medios de comunicación de Chile. Descripción y análisis de la variación dialectal y funcionalRivadeneira Valenzuela, Marcela 21 September 2009 (has links)
Aquest treball se centra en l'estudi del voseo en l'espanyol de Xile a partir d'un corpus oral integrat per 108 hores d'enregistraments de programes de ràdio. Els nostres objectius s'adrecen, d'una banda, a la descripció i l'anàlisi lingüística del voseo, i de l'altra, a l'avaluació quantitativa de l'efecte de determinats factors externs sobre l'ocurrència d'aquest tret. Els resultats obtinguts, pel que fa a la variació dialectal, indiquen que hi ha una alta correlació entre la freqüència d'aparició del voseo i les variables de zona geogràfica, sexe i edat dels parlants. Quant a la variació funcional, es demostra que el grau de formalitat del programa de ràdio és una variable que condiciona clarament la presència de formes amb el tret estudiat. Així, s'ha pogut determinar que en el mitjà radiofònic l'ús del voseo es veu afavorit per contextos comunicatius informals en què participen activament homes del grup adult jove de la zona centre del país. / Este trabajo se centra en el estudio del voseo en el español de Chile a partir de un corpus oral compuesto por 108 horas de grabaciones de programas de radio. Nuestros objetivos se orientan, por un lado, hacia la descripción y análisis lingüístico del voseo, y por otro lado, hacia la evaluación cuantitativa del efecto de factores externos sobre la ocurrencia de este rasgo. Los resultados en cuanto a variación dialectal indican que existe una alta correlación entre la frecuencia de aparición del voseo y las variables de zona geográfica, sexo y edad de los hablantes. Por lo que respecta a la variación funcional, se demuestra que el grado de formalidad del programa de radio es una variable que condiciona claramente la presencia de formas voseantes. De esta forma, se ha podido determinar que en los medios de radio, el uso del voseo se ve favorecido por contextos comunicativos informales en los que participan activamente hombres del grupo adulto joven de la zona centro del país
|
3 |
Modelación unidimensional de la calidad del agua en embalses. Análisis comparativo de modelos y multivariantesBluhm Gutiérrez, Jorge 13 October 2008 (has links)
Una característica muy importante del agua es su calidad, tanto para el medio ambiente, como para sus usos. Actualmente, la legislación referente a los recursos hídricos, en distintos países, pone de manifiesto la importancia de conservar su calidad natural, e impone normas y criterios que debe cumplir el vital líquido.
Uno de los objetivos de este trabajo es analizar la calidad del agua almacenada en los embalses, en perfil vertical, y a escala temporal diaria, por medio de la modelación multivariante y mecanicista de cuatro parámetros: temperatura del agua (esta variable mediante ambas técnicas), oxígeno disuelto, pH y conductividad, estas tres últimas por medio de métodos multivariantes. Como caso de aplicación se consideró el Embalse Amadorio. Para efectuar la modelación se utilizó información meteorológica de la estación Villajoyosa, así como datos de las variables de estado del almacenamiento, e información de una sonda multiparamétrica instalada en el paramento del embalse.
El propósito final de la tesis es la comparación de los métodos multivariantes y mecanicista, en su efectividad y resultados, y presentar sus ventajas e inconvenientes.
Se usaron, en la primera parte, varios métodos multivariantes para procesar y analizar los datos: análisis de componentes principales, análisis factorial, análisis cluster, análisis discriminante, el modelo lineal de regresión múltiple, análisis de correlación canónica, y regresión parcial en mínimos cuadrados (PLSR). Con estas técnicas, se obtuvieron modelos, con el propósito de hacer predicciones.
Asimismo, se propone un modelo mecanicista multicapa (vertical) para temperatura, con el fin de comparar las características y los resultados de la modelación con métodos multivariantes, con las de un modelo con fundamento físico. Primero se enumeran los datos para el desarrollo de este modelo mecanicista, luego se describe el orden de los procesos a efectuar en las capas del embalse, y se analiza la estabilidad física de las c / Bluhm Gutiérrez, J. (2008). Modelación unidimensional de la calidad del agua en embalses. Análisis comparativo de modelos y multivariantes [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/3345 / Palancia
|
4 |
Calculo exacto de la matriz exponencial / Calculo exacto de la matriz exponencialAgapito, Rubén 25 September 2017 (has links)
We present several methods that allow the exact computation of the exponential matrix etA. Methods that include computation of eigenvectors or Laplace transform are very well-known, and they are mentioned herefor completeness. We also present other methods, not well-known inthe literature, that do not need the computation of eigenvectors, and are easy to introduce in a classroom, thus providing us with general formulas that can be applied to any matrix. / Presentamos varios métodos que permiten el calculo exacto de la matriz exponencial etA. Los métodos que incluyen el calculo de autovectores y la transformada de Laplace son bien conocidos, y son mencionados aquí por completitud. Se mencionan otros métodos, no tan conocidos en la literatura, que no incluyen el calculo de autovectores, y que proveen de fórmulas genéricas aplicables a cualquier matriz.
|
Page generated in 0.0263 seconds