Spelling suggestions: "subject:"estructura""
241 |
Reforzamiento antisísmico en hospitales utilizando amortiguadores de fluido viscosoCáceres Pérez, Gladys, Pichihua Alata, Natali Sheyla 16 October 2019 (has links)
En control antisísmico, se ha concluido que la adición de disipadores de fluido viscoso incrementa el amortiguamiento y controla los desplazamientos laterales de las estructuras, salvaguardándolas del posible colapso. El objetivo de este trabajo es comparar la respuesta de estructuras esenciales de albañilería confinada mayores a 50 años, con y sin amortiguadores viscosos. Adicionalmente, se analiza la estructura con una técnica de reforzamiento tradicional como son las placas de concreto armado, con el objetivo de evaluar la viabilidad de la primera propuesta. Los resultados indican que, con un reforzamiento con amortiguadores, las derivas se reducen de un 5.98%o a 3.33%o, y 4.42%o al implementar los muros de concreto armado, lo cual demuestra la viabilidad de la propuesta en respuestas estructurales. / In seismic control, it has been concluded that the addition of viscous fluid dissipaters increases the damping and controls the lateral displacements of the structures, safeguarding them from possible collapse. The objective of this work is to compare the response of essential structures of confined masonry over 50 years, with and without viscous dampers. Additionally, the structure was analyzed with a traditional reinforcement technique such as reinforced concrete plates, with the objective of evaluating the viability of the first proposal. The results indicate that, with a reinforcement with shock absorbers, the drifts are reduced by 5.98%o or 3.33%o, or 4.42%o or by implementing the reinforced concrete walls, which demonstrates the viability of the proposal. / Trabajo de investigación
|
242 |
Medición de caudales máximos en los ríos Chancay y Piura y, su influencia en el dimensionamiento de estructuras hidráulicasCallañaupa Tocto, Omar Alejandro 02 October 2019 (has links)
El presente trabajo busca mostrar la diferencia entre el caudal máximo diario anual y el caudal anual máximo instantáneo. Esto, porque el primero es el dato que se obtiene en la mayoría de estaciones de medición de caudal en todo el país y el segundo es el que se obtiene mediante estructuras hidráulicas que permiten medir el caudal en todo momento evitando el efecto de la socavación que genera el agua al escurrir por terrenos naturales proclives a esta. Se demostrará porque estos datos se deben considerar en la determinación de los caudales de diseño extremos de las estructuras hidráulicas. Se analizará y comparará ambos resultados y se explicará el por qué es importante trabajar con el caudal instantáneo en vez del máximo medio diario anual.
Se justificará por qué a pesar de que el caudal anual máximo instantáneo es mucho más difícil de obtener, a largo plazo resulta más provechoso de utilizar. Se expondrá por qué el registro de caudal máximo diario anual el que tienen a disposición los ingenieros en la gran mayoría de ríos del litoral de nuestro país. Se demostrará que la diferencia entre ambos genera un error que representa un verdadero riesgo para el diseñador de infraestructura hídrica que basa sus cálculos en un registro que podría resultar peligroso pues puede estar subestimado. / This work seeks to show the difference between the annual maximum daily flow and the instantaneous maximum annual flow. This is because the first is the data obtained in most of the flow measurement stations throughout the country and the second is obtained by measurements of hydraulic structures that allow the flow to be measured at all times avoiding the effect of the undermining that generates water by draining through natural lands. It will be demonstrated why these data should be considered in determining the extreme design flow rates of hydraulic structures. Both results will be analyzed and compared and it will be explained why it is important to work with the instantaneous flow rate instead of the maximum annual average daily.
It will be justified why although the maximum instantaneous annual flow is much more difficult to obtain, in the long term it is more profitable to use. It will be explained why the annual maximum daily flow record available to engineers in the vast majority of rivers along the coast of our country. It will be shown that the difference between the two generates an error that represents a real risk for the water infrastructure designer who bases his calculations on a record that could be dangerous and it may be underestimated. / Tesis
|
243 |
Factores que influyen en la determinación del módulo de elasticidad del concretoRuiz Sanchez, Diego Alonso January 2019 (has links)
En el presente informe se busca dar a conocer cuáles son los estudios en la actualidad que se tiene sobre los factores que influyen en la determinación del módulo de elasticidad del concreto simple, por ende, este objetivo se convierte en el principal.
Actualmente se ha podido ver en todos los diseños que se emplea la fórmula convencional de las normas de cada país sin percatarse en algún factor de variación para obtener valores cercanos a la realidad, esto afecta tanto el sector científico, económico y estructural de las zonas geográficas. Se concluye de acuerdo a estos estudios que el país con más investigación respecto a este tema es Estados Unidos, a nivel nacional el departamento de La Libertad y a nivel local no se encontraron estudios.
|
244 |
Evaluación de daños superficiales, capacidad estructural y diseño del pavimento flexible en la urbanización La Primavera, provincia de Chiclayo departamento de Lambayeque 2020Cubas Bonilla, Kristell Jhanella Jhajhaira January 2022 (has links)
Hoy en día, la urbanización La Primavera presenta un pavimento superficialmente deteriorado generando efectos como la limitada circulación y deficiente acceso a los servicios públicos como colegios, centros de labores, entre otros. La superficie de rodadura en algunas calles no existe creando malestar en la salud por las grandes polvaderas que se genera por la acción del aire y del paso de los vehículos livianos, además no existe un transporte rápido y seguro por los desniveles, baches, huecos, hundimientos, desprendimiento de agregado, etc.
Se cree conveniente evaluar cada calle de la urbanización utilizando la metodología PCI para obtener el nivel de severidad, tipo de falla y los daños que presentan, luego realizar los ensayos destructivos y de laboratorio para comparar si cumple o no con la norma y si no fuera el caso, dar una alternativa de solución que es realizar un re diseño de las calles más críticas mediante la metodología AASHTO 93; y por consiguiente una solución al drenaje superficial para que el agua evacúe y evitar daños en la superficie, así como la acumulación de aguas que puede ser un foco infeccioso.
|
245 |
Segregación en hormigones ligerosSolak, Afonso M. 14 June 2023 (has links)
El hormigón de áridos ligeros (HAL) es un material esencialmente compuesto por una mezcla de cemento Portland, agua y áridos ligeros, como arcilla expandida, perlita, vermiculita, entre otros. Esta mezcla se utiliza en la construcción para diversos fines, tanto estructurales como de relleno, como losas y paneles prefabricados, elementos estructurales de diferentes geometrías, recrecidos, formación de pendientes, entre otros. El uso del HAL se remonta a civilizaciones antiguas, como la romana, que ya utilizaba una mezcla de cal, puzolanas naturales y rocas volcánicas para fabricar los primeros hormigones. Entre las principales ventajas del HAL se encuentran la reducción del peso proprio de la estructura, la mayor eficiencia térmica y acústica, la facilidad de transporte y manipulación, y gracias a su baja densidad, la consiguiente reducción del consumo de material y de los costes de construcción. Sobre todo, a causa de la gran diferencia de densidades entre los materiales utilizados en la producción de HAL, este tipo de hormigón está sujeto a una patología conocida como segregación. La segregación se produce cuando los áridos más ligeros se separan de la matriz de mortero y se desplazan a las partes más altas del hormigón, mientras que los áridos más pesados se desplazan a las partes más bajas. Este fenómeno puede perjudicar la calidad y la durabilidad del hormigón ligero, reduciendo su resistencia y provocando fallos estructurales, y por lo tanto es esencial estudiar los factores que influyen en su aparición y buscar soluciones para minimizarlo durante la producción, el transporte y la colocación del hormigón. Entre los objetivos de esta investigación se encuentran la cuantificación de la segregación en el HAL, la evaluación de su impacto en las propiedades mecánicas y la durabilidad de estos hormigones y la propuesta de medidas para reducir la aparición y la intensidad del fenómeno. Para lograr estos objetivos, este estudio se basa en tres cuestiones principales: cómo cuantificar el fenómeno de la segregación; cuál es su impacto en las propiedades mecánicas y en la durabilidad de estos hormigones; y cómo establecer medidas para reducir su aparición e intensidad. A lo largo de los años, se han realizado varios estudios experimentales para intentar establecer métodos para cuantificar la segregación, pero aún no existe un método universalmente aceptado para su determinación. En la actualidad, existen algunas técnicas basadas en la medición de la densidad; el análisis de imágenes y la medición de la velocidad de los impulsos ultrasónicos (UPV) que se están desarrollando para cuantificar la segregación de forma más precisa y no destructiva. La aplicación de estas técnicas puede ayudar a establecer un índice de segregación fiable para el hormigón ligero, permitiendo evaluar con precisión el impacto de la segregación en el rendimiento del material. En este sentido, esta investigación realiza un análisis de varios métodos de cuantificación de la segregación existentes; profundiza en el análisis de viabilidad de aplicar técnicas no destructivas para estimar la patología; presenta un nuevo método basado en el análisis de imágenes capaz de proporcionar como resultado un índice de segregación y, por último, evalúa el impacto de la segregación en la resistencia mecánica, en la eficiencia estructural y en la durabilidad de HAL. Por otra parte, la investigación presenta diferentes resultados relacionados con los parámetros de dosificación del hormigón y el uso de diferentes materiales cementantes suplementarios que pueden afectar en la segregación del material.
|
246 |
Diseño de una edificación multifamiliar de 4 pisos ubicado en los Huertos de Villa en el distrito de ChorrillosVértiz Carlos, Yordy Joel, Huanqui Philipps, Roger Alejandro, Yépez Sánchez, Antero Rafael, Vásquez Rivera, Cristhian André, Chambergo Huancachoque, Luis Angel 14 February 2020 (has links)
El presente trabajo académico muestra el proceso de diseño de una edificación multifamiliar de
4 pisos ubicada en los Huertos de Villa en el distrito de Chorrillos. Este trabajo presenta el
diseño de las distintas especialidades que intervienen en el proceso de un proyecto de
edificación, tales como estructuras, geotecnia, instalaciones eléctricas, instalaciones sanitarias,
planificación y presupuesto de obra. Añadiendo a lo anterior, el presente trabajo también
presenta un estudio relacionado a la reducción de los impactos ambientales que se generar del
uso de las edificaciones. Este estudio se realiza a través de la implementación de ciertos
atributos sustentables que pueden suplantar a accesorios o materiales comunes en edificaciones
como pinturas, accesorios sanitarios, luminarias, entre otros. Por todo lo anterior, el presente
estudio refleja la aplicación de conocimientos de geotecnia, diseño estructural, instalaciones en
edificación y planificación de construcción de obra a través de cálculos numéricos, y
elaboración de documentos como planos y memorias de cálculo. Además, presenta un estudio
de una posible alternativa de sustitución de materiales para la reducción del impacto ambiental
por el uso de la vivienda.
|
247 |
Estructuras sedimentarias generadas por presencia de matas microbianas en un ambiente evaporítico costero : procesos de formación y preservaciónMaisano, Lucía 27 March 2019 (has links)
Varias de las estructuras sedimentarias presentes en depósitos silicoclásticos fósi-les no pueden ser explicadas solamente por procesos físicos. La interacción entre los se-dimentos inconsolidados y los microorganismos que colonizan el sustrato puede explicar la generación de estas estructuras. La bioestabilización resultante de esta interacción mo-difica totalmente las propiedades físicas de los sedimentos. Por otro lado, la actividad biológica crea un microambiente que trasforman las condiciones geoquímicas del medio (cambios de pH y Eh), produciendo la precipitación de minerales autigénicos que forman parte de los procesos iniciales en la diagénesis temprana.
En este trabajo se documentaron estructuras sedimentarias inducidas por actividad microbiana (ESIAM) y más precisamente estructuras de deformación de gran tamaño en un ambiente evaporítico. El área de estudio corresponde a un antiguo canal de marea, donde su desembocadura al mar ha sido interrumpida por la formación de una espiga costera en la boca del canal. Este hecho ha generado la progradación de la costa con el consecuente aislamiento esporádico del canal. El área está expuesta a inundaciones del agua de mar en determinadas condiciones meteorológicas. Durante tormentas con vientos fuertes y olas que superan los 2 m de altura, en condiciones de sicigia, el nivel del mar sobrepasa la espiga y el agua de mar ingresa por la morfología preexistente, el paleocanal de marea. Las condiciones de calma entre las inundaciones permiten la colonización de los sedimentos formando espesas matas microbianas. El objetivo del trabajo es recono-cer las estructuras microbianas de deformación en la planicie de marea y determinar los procesos de generación de cada una de ellas para la identificación de estructuras análogas en el registro fósil. Entre las estructuras de deformación más prominentes se han recono-cido pliegues, enrollamientos y dobleces de mata microbiana. Los procesos de generación de estas estructuras responden a las corrientes canalizadas de agua de mar que ingresan al paleocanal caracterizadas por altas velocidades. Por otra parte, se han caracterizado los sedimentos de la planicie midiendo el pH, Eh, y también se ha medido la conductividad del agua de la capa freática, pH y Eh. Por medio de análisis petrográficos, microscopio electrónico de barrido (MEB) y difracción de rayos X (DRX) se identificaron delgadas láminas de precipitado carbonático en las matas microbianas. Este tipo de precipitación mineral promueve la preservación de las estructuras de deformación microbiana, de ma-nera similar al ambiente carbonático.
La geomorfología es un factor fundamental en la formación de estructuras de de-formación microbiana de gran escala. La morfología preexistente, un canal angosto y largo, influye en la canalización de corrientes de marea generando la fuerza suficiente para el desprendimiento de la mata microbiana y generación de estructuras de deforma-ción. Este aspecto se debería tener en cuenta al momento de estudiar registros sedimen-tarios fósiles donde son característicos los eventos regresivos. / Several of the sedimentary structures present in fossil silicoclastic deposits cannot be explained only by physical processes. These structures can be explained by the inter-action between the unconsolidated sediments and the microorganisms that colonize the substrate. The biostabilization modifies the physical properties of the sediments. On the other hand, biological activity creates a microenvironment that transforms the geochem-ical conditions of the surrounding (changes in pH and Eh), producing the precipitation of authigenic minerals that are part of the initial processes in early diagenesis.
In this work, sedimentary structures induced by microbial activity (in Spanish ESIAM) and more precisely large deformation structures in an evaporitic environment were documented. The study area corresponds to an ancient tidal channel, where its inlet to the sea has been interrupted by a sand spit formation caused by NE longshore sediment transport along the coast. This fact has generated the progradation of the coast with the consequent sporadic isolation of the channel. The area is eventually flooded by seawater in certain oceanographic conditions. During storms with strong winds and waves that exceed 2 m in height, in spring tides, the sea level exceeds the sand spit, and the seawater enters by the pre-existing morphology, the tidal paleochannel. Calm conditions between floods allow the colonization of sediments forms thick microbial mats. The objective of the work is to recognize the microbial structures of deformation in the tidal plain and to determine the generation processes of each one of them for the identification of analogous structures in the fossil record. Folds, roll-ups and flip over mats have been recognized among the most prominent deformation structures. The generation processes of these structures respond to channeled seawater flows entering the paleochannel characterized by high speeds. Furthermore, the sediments of the plain have been described by measur-ing of the pH and Eh. Also, water conductivity, pH and Eh were measured in the water table. Thin layers of carbonaceous precipitate were identified in the microbial mats by petrographic analysis, scanning electron microscope (SEM) and X-ray diffraction (XRD). This type of mineral precipitation promotes the preservation of microbial deformation structures, similar to the carbonate environment.
Geomorphology is a fundamental factor in the formation of large-scale microbial deformation structures. The pre-existing morphology, a narrow and long channel, influ-ences the channeling of tidal currents, generating the enough force for the detachment of
the microbial mat and the generation of deformation structures. This situation must be into account when studying fossil records where regressive events are characteristic
|
248 |
Diseño óptimo de estructuras de pared delgada compuestasReguera, Florencia 15 April 2013 (has links)
La implementación de técnicas de optimización es de fundamental importancia en el
diseño de estructuras construidas con materiales compuestos. Esto se debe a que dicho
diseño involucra una gran cantidad de variables que generan problemas de optimización
multimodales sujetos a restricciones de diversa índole. Además, hay situaciones de diseño en las que, por distintas razones, es necesario abordar la minimización de distintos objetivos en forma conjunta. Esto conduce a la aplicación de formulaciones multiobjetivo.
Asimismo, existen situaciones en las cuales los datos iniciales del problema de diseño no
son totalmente precisos, o bien, es de interés conocer el comportamiento de la estructura
ante pequeños cambios en dichos datos. Esta incertidumbre en las condiciones iniciales del problema puede ser considerada en el esquema de diseño mediante la aplicación de
modelos específicos desarrollados a tal efecto.
Desde el punto de vista estructural, la esbeltez que en muchos casos posee este tipo de
estructuras genera la necesidad de conocer su comportamiento en lo que respecta a la
estabilidad global y local de las mismas.
En esta tesis se presentan distintos esquemas destinados al diseño óptimo multiobjetivo
de vigas de pared delgada de eje recto o curvo, construidas con materiales del tipo Plástico
Reforzado con Fibras (FRP, por sus siglas en inglés). El análisis estructural se realiza
mediante la aplicación de un modelo teórico de tipo viga que considera flexibilidad por
corte debida a flexión y alabeo. En base a esta teoría y con el interés de formular un
problema de diseño analítico, se obtienen soluciones explícitas aproximadas para evaluar
distintos parámetros estructurales, tales como cargas críticas de pandeo global,
desplazamientos máximos y tensiones.
Por otra parte, se aplica una estrategia para el análisis del pandeo local en base a la teoría
de placas para verificar la estabilidad local de vigas rectas y curvas construidas con
materiales isótropos o compuestos de configuración ortótropa. Para obtener diseños que
contemplen la posibilidad de alcanzar diferentes objetivos, se implementan distintos
métodos que consideran conjuntamente aspectos de estabilidad, desplazamiento y peso
propio de la estructura como objetivos principales. Se analiza el efecto producido por
variaciones en las cargas aplicadas a la estructura mediante un modelo matemático de
incertidumbre. Este modelo se basa en el análisis del peor escenario posible, aplicándose el método de anti-optimización. Se consideran restricciones estructurales, geométricas y operativas que contemplan condiciones de resistencia, inestabilidad local y geometría de la sección, entre otras.
Los esquemas de diseño óptimo propuestos se resuelven mediante la aplicación de
distintos métodos heurísticos que permiten obtener soluciones óptimas de carácter global.
Se utilizan las técnicas Simulated Annealing, Simulated Annealing Caótico y Algoritmo
Genético. / The implementation of optimization techniques is of fundamental importance in the
design of structures built with composite materials. This is because the design involves a lot of variables that generate multimodal optimization problems, subject to constraints of
diverse nature. In addition, there are design situations in which for various reasons, it is
necessary to address different minimization objectives jointly. This leads to the application
of multiobjective formulations.
There are also situations in which the initial data of the design problem is not entirely
accurate, or is of interest to know the behavior of the structure against small changes in
data. This uncertainty of the initial conditions can be considered in the design scheme by
applying specific models developed for such purpose.
From a structural standpoint, the slenderness that in many cases these structures have
generates the need to understand their behavior with respect to global and local stability.
This thesis presents different schemes for multiobjective optimal design of thin-walled
beams, with straight or curved axis, built with materials of the type Fiber Reinforced
Plastics (FRP). The structural analysis is performed by applying a theoretical beam model
allowing shear flexibility due to bending and warping. Based on this theory, and with the
interest to develop an analytical design problem, approximate explicit solutions are
obtained in order to evaluate various structural parameters such as global critical buckling
loads, maximum displacements and stresses.
On the other hand, a strategy based on the plate theory is applied to analyze local
buckling in order to verify the local stability of straight and curved beams made with
isotropic materials or composites with orthotropic configuration. In order to obtain designs
which consider the possibility of achieving various targets, different methods are
implemented to jointly regard issues of stability, displacement and weight of the structure
as main targets. The effect of variations in the loads applied to the structure is analyzed by
applying a mathematical model of uncertainty. This model is based on the analysis of the
worst feasible scenario, applying the anti-optimization method. Structural, geometric and
operational constraints are considered which contemplate conditions of strength, local
instability and sectional geometry, among others.
The proposed optimal design schemes are solved by the application of different heuristic
methods that allow obtaining global optimal solutions. The techniques employed are
Simulated Annealing, Chaotic Simulated Annealing and Genetic Algorithm.
|
249 |
Estructura y estratigrafía del Jurásico Superior-Cretácico entre el canal Beagle y el lago Fagnano, Tierra del Fuego, ArgentinaCao, Sebastián José 21 March 2019 (has links)
Los Andes Fueguinos ubicados entre el canal Beagle y el lago Fagnano, en el sector argentino de la Isla Grande Tierra del Fuego, exponen rocas metamórficas de muy bajo a bajo grado cuyos protolitos corresponden a sedimentitas, volcaniclastitas y volcanitas del Jurásico y el Cretácico Inferior de la cuenca de retroarco Rocas Verdes. La apertura de la Cuenca Rocas Verdes se remonta a tiempos jurásicos, asociada a un evento extensional (rift) ligado a la fragmentación de Gondwana. Durante el Cretácico Temprano, la Cuenca Rocas Verdes estaba limitada hacia el Sur-Sudoeste por un arco volcánico desarrollado sobre corteza continental, y hacia el Norte-Noreste por el margen sudoccidental de Gondwana (coordenadas actuales).
Hacia el Cretácico “medio”, inició el cierre e inversión de la cuenca, producto de la colisión del arco magmático y la obducción de la corteza oceánica sobre el margen cratónico de Gondwana (Sudamérica). La estructura del núcleo orogénico o cinturón central de deformación de los Andes Fueguinos (zona de tesis) se caracteriza por una primera fase de deformación en condiciones dúctiles y metamorfismo regional (ca. 100 Ma), seguida por una fase (ca. 80-40 Ma) de naturaleza frágil/dúctil vinculada a fallamiento, levantamiento y la exhumación del orógeno.
Este estudio se enfocó, por un lado, en mejorar el estado de conocimiento de la estratigrafía de la Cuenca Rocas Verdes de este sector del orógeno, reconociendo grados y tipos de metamorfismo, y la naturaleza de los protolitos de las rocas afectadas durante la deformación; y por otro, en la caracterización de las estructuras correspondientes a las dos fases principales, a fin de reconstruir la historia orogénica.
Sobre la base de una hipótesis de trabajo previa, se corroboró la existencia de zonas de cizalla frágiles/dúctiles, posteriores a las estructuras de primera fase, que corresponden a superficies de despegue y corrimientos que funcionaron como un sistema de dúplex con
apilamiento antiforme durante la segunda fase de deformación, transmitiendo acortamiento hacia el antepaís. / The Fuegian Andes located between the Beagle channel and lake Fagnano, on the Argentine side of the Main Island of Tierra del Fuego, expose very-low to low grade metamorphic rocks, whose protoliths correspond to Jurassic and Lower Cretaceous sedimentary, volcaniclastic and volcanic rocks of the Rocas Verdes back-arc basin. The opening of the Rocas Verdes basin initiated during jurassic times, as part of a rifting stage related to widespread regional extension due to the break-up of Gondwanaland. During the Early Cretaceous, the Rocas Verdes Basin was rimmed at its south-suthwestern end by a volcanic arc funded on continental crust, and to the North-Northeast by the southwestern margin of Gondwana (present coordenates).
By the “middle” Cretaceous, the closure and inversión of the basin started, as a result of the collision of the magmatic arc and the obduction of the oceanic crust toward the cratonic margin of Gondwana (South America). The structure of the Fuegian Andes orogenic core, or central bel of deformation (study area) is characterized by a first phase of ductile deformation and regional metamorphism (ca. 100 Ma), followed by a brittle-ductile thrusting phase, related to the uplift and exhumation of the orogen.
This study focused, on one hand, on improving the present stratigraphic knowledge of the Rocas Verdes basin in this sector of the mountain range, by recognizing metamorphic types and grades and the nature of the protoliths involved. On the other hand, the orogenic history through the closure of the Rocas Verdes basin is treated, by characterizing the geological structures related to the two main phases of deformation.
Based on a previuos hypothesis, this study verifies the existence of fragile/ductile shear zones, posterior to first phase structures, and related to detachment surfaces and thrusts which
acted as part of a duplex system with antiformal stacking during the second deformation phase, transferring shortening to the foreland.
|
250 |
Un estudio algebraico de operadores temporales definibles en versiones algebraicas de diversas lógicasPelaitay, Gustavo Andrés 27 March 2015 (has links)
El volumen que aquí presentamos está organizado en cinco capítulos. En
el primero se describen resultados conocidos que facilitarán la lectura de la
tesis, el mismo no tiene pretenciones de originalidad.
El Capítulo 2 está organizado en tres secciones. En la primera sección investigamos
la variedad de álgebras que hemos denominado álgebras de
De Morgan temporales, como una generalización natural de las álgebras de
Boole temporales. En esta sección nuestro principal interés es la teoría de representación
para esta clase de álgebras. La Sección 2.1 está organizada como
sigue:
En la Subsección 2.1.1 definimos la variedad de las álgebras de
De Morgan temporales, introducimos algunos ejemplos y probamos algunas
propiedades. En la Subsección 2.1.2 damos un teorema de representación para
las álgebras de De Morgan temporales en términos de las álgebras de
De Morgan temporales de conjuntos usando un conocido teorema de representación
para las álgebras de De Morgan. En la Subsección 2.1.3 describimos
una dualidad topológica para las álgebras de De Morgan temporales, extendiendo
la dualidad dada por Cornish y Fowler en [42] para las álgebras de De
Morgan. Finalmente, en la Subsección 2.1.4 caracterizamos el retículo de las
congruencias de estas álgebras en términos de la dualidad antes mencionada
y de ciertos subconjuntos cerrados del espacio asociado con él. Los resultados
de esta sección fueron publicados en
A. V. Figallo, G. Pelaitay. Tense operators on De Morgan algebras. Log. J.
IGPL 22, 2, 255–267. 2014.
La segunda sección está compuesta por dos subsecciones. En la primera
obtenemos una dualidad discreta para las álgebras de Łukasiewicz-Moisil nvaluadas
teniendo en cuenta los resultados indicados por Dzik, Orłowska y
van Alten en 2006 para las álgebras de De Morgan [49]. En la segunda subsección
extendemos la dualidad discreta dada para las álgebras de Łukasiewicz-
Moisil n-valuadas al caso de las álgebras de Łukasiewicz-Moisil n−valuadas
temporales. Los resultados de esta sección fueron publicados en
A. V. Figallo, G. Pelaitay. Discrete duality for tense Łukasiewicz–Moisil algebras.
Fund. Inform., 136. 1–13. 2015.
La tercer sección está dividida en tres subsecciones. En la Subsección
2.3.1 repasamos definiciones y resultados conocidos sobre las álgebras tetravalentes
modales que nos serán de utilidad en las subsecciones siguientes. También
mostramos que las álgebras de De Morgan con implicación definidas por
Kondo en [102] son polinomialmente equivalentes a las álgebras tetravalentes
modales contrapositivas definidas por Figallo y Landini en [58] y estudiadas recientemente
por Coniglio y Figallo en [40]. En la Subsección 2.3.2 obtenemos
dos dualidades discretas diferentes para las álgebras tetravalentes modales. Finalmente,
en la última subsección definimos la variedad de las álgebras tetravalentes
modales temporales como una generalización común de las álgebras de
Boole temporales y las álgebras de Łukasiewicz-Moisil 3−valuadas temporales.
El resultado más importante de esta subsección es la obtención de una dualidad
discreta para esta nueva clase de álgebras.
El Capítulo 3 está organizado en cinco secciones. La primera está dedicada
al estudio de las álgebras de Łukasiewicz-Moisil n ×m−valuadas definidas
por Figallo y Sanza en [60]. Esta sección se divide en cinco subsecciones.
En la Subsección 3.1.1. repasamos un ejemplo que nos permite legitimar
el estudio de las álgebras de Łukasiewicz-Moisil n × m-valuadas. En la
Subsección 3.1.2 recordamos definiciones y resultados que nos serán de utilidad
para lo que sigue. En la Subsección 3.1.3 introducimos nuevos conectivos
de implicación y probamos algunas propiedades básicas de estos conectivos.
En la Subsección 3.1.4 recordamos la definición de álgebra de Łukasiewicz-
Moisil n ×m−valuada monádica. Estas álgebras fueron definidas por Figallo y
Sanza en [69]. Finalmente, en la última subsección definimos la clase de las álgebras
de Łukasiewicz-Moisil n ×m−valuadas poliádicas. Estas álgebras, para
el caso m = 2, coinciden con las álgebras de Łukasiewicz-Moisil n−valuadas
poliádicas [7]. El principal resultado de esta subsección es un teorema de representación
para las álgebras de Łukasiewicz-Moisil n ×m−valuadas poliádicas.
La Sección 3.2 está dedicada al estudio de las álgebras de Łukasiewicz-
Moisil temporales débiles definidas por Figallo y Pelaitay en [78]. Esta sección
está dividida en cuatro subsecciones.
En la Subsección 3.2.1 introducimos la variedad de las álgebras de
Łukasiewicz-Moisil temporales débiles como una generalización común de las
álgebras de Boole temporales débiles y de las álgebras de Łukasiewicz-Moisil
n−valuadas temporales débiles. En la Subsección 3.2.2, basados en la noción
de marco débil, damos un ejemplo de álgebra de Łukasiewicz-Moisil temporal
débil que será de utilidad en lo que sigue. En la Subsección 3.2.3 probamos
un teorema de representación para las álgebras de Łukasiewicz-Moisil temporales
débiles. Finalmente, en la última subsección nos dedicamos al estudio de
las congruencias en un álgebra de Łukasiewicz-Moisil n ×m−valuada temporal
débil. Estos resultados nos permitieron caracterizar las álgebras simples y
subdirectamente irreducibles de la variedad antes mencionada.
La Sección 3.3 está dedicada al estudio de las álgebras de Łukasiewicz-
Moisil n ×m−valuadas temporales definidas por Figallo y Pelaitay en [79]. Esta
sección está dividida en cuatro subsecciones.
En la Subsección 3.3.1 introducimos la variedad de las álgebras de
Łukasiewicz-Moisil temporales como una generalización común de las álgebras
de Boole temporales y de las álgebras de Łukasiewicz-Moisil n−valuadas
temporales. En la Subsección 3.3.2, basados en la noción de marco, damos un
ejemplo de álgebra de Łukasiewicz-Moisil temporal que será de utilidad en lo
que sigue. En la Subsección 3.3.3, probamos un teorema de representación para
las álgebras de Łukasiewicz-Moisil temporales; como corolario de este teorema
obtenemos el teorema de representación dado porDiaconescu yGeorgescu
en [43] para las álgebras de Łukasiewicz-Moisil n−valuadas temporales. Finalmente,
en la última subsección nos dedicamos al estudio de las congruencias
en un álgebra de Łukasiewicz-Moisil n ×m-valuada temporal. Estos resultados
nos permitieron caracterizar las álgebras simples y subdirectamente irreducibles
de la variedad antes mencionada.
La Sección 3.4 está dedicada al estudio de las álgebras de Łukasiewicz-
Moisil n ×m−valuadas poliádicas temporales débiles. Esta sección está dividida
en dos subsecciones.
En la Subsección 3.4.1 introducimos la clase de las álgebras de
Łukasiewicz-Moisil n ×m−valuadas poliádicas temporales débiles como una
generalización común de las álgebras de Boole poliádicas temporales débiles y
las álgebras de Łukasiewicz-Moisil n−valuadas poliádicas temporales débiles.
También, basados en la noción de sistema temporal débil, damos un ejemplo
de álgebra de Łukasiewicz-Moisil n ×m−valuada poliádica temporal débil. El
resultado más importante de la segunda subsección es un teorema de representación
para las álgebras de Łukasiewicz-Moisil temporales débiles.
En la última subsección definimos la clase de las álgebras de Łukasiewicz-Moisil n×m−valuadas poliádicas temporales y damos un ejemplo basándonos
en la noción de sistema temporal.
Algunos de los resultados de este capítulo han sido aceptados para su
publicación en
A. V. Figallo, G. Pelaitay. A representation theorem for tense n ×m−valued
Łukasiewicz–Moisil algebras.Mathematica Bohemica. 2015.
A. V. Figallo, G. Pelaitay. n ×m-valued Łukasiewicz–Moisil algebras with
two modal operators. South American Journal of Logic. 2015.
También han sido presentados y expuestos en
A. V. Figallo, G. Pelaitay. Operadores temporales sobre álgebras de
Łukasiewicz-Moisil n ×m-valuadas, Actas del XII Congreso Dr. Antonio
Monteiro, UNS, Bahía Blanca, Argentina, (2013), 31-32.
El Capítulo 4 está organizado en tres secciones. La primera sección está
dedicada al estudio de operadores temporales sobre álgebras de Heyting. Esta
sección se divide en seis subsecciones. En la primera subsección mostramos
que la axiomatización algebraica dada por Chajda en [24] de los operadores
temporales F y P en la lógica intuicionista no se ajusta a la definición de
Halmos de cuantificador existencial. En la segunda subsección introducimos
la variedad de las I K t −álgebras, mostramos algunos ejemplos y probamos algunas
propiedades. En la tercera subsección probamos que el sistema IKt de la
lógica temporal intuicionista introducido por Ewald en [52], tiene a las I K t −álgebras
como contraparte algebraica. En la cuarta subsección describimos una
dualidad discreta para las I K t −álgebras teniendo en cuenta los resultados indicados
por Orłowska y Rewitzky en [124] para las álgebras de Heyting. En la
quinta subsección damos una construcción general de los operadores temporales
sobre un álgebra de Heyting completa por medio de los llamados marcos
de Heyting. Finalmente, en la última subsección introducimos la noción de
sistema deductivo temporal, la cual nos permite determinar el retículo de las
congruencias en una I K t −álgebra y caracterizar las álgebras simples y subdirectamente
irreducibles de la variedad IKt.
Los resultados de esta sección fueron publicados en
A. V. Figallo, G. Pelaitay. Remarks onHeyting algebras with tense operators.
Bull. Sect. Logic Univ. Lódz 41, 1–2, 71–74. 2012.
A. V. Figallo, G. Pelaitay. An algebraic axiomatization of the Ewald’s intuitionistic
tense logic. Soft Computing. 18, 10, 1873–1883. 2014.
También han sido presentados en
A. V. Figallo, G. Pelaitay.Una axiomatización algebraica del sistema IKt, IV
Congreso Lationoamericano deMatemáticos, Córdoba, 2012.
A. V. Figallo, G. Pelaitay. An algebraic axiomatization of IKt system, 6th
Workshop on IntuitionisticModal Logic and Applications, Rio de Janeiro,
Brazil, 2013.
La segunda sección está dedicada al estudio de operadores temporales
sobre álgebras de Heyting simétricas. Esta sección está dividida en tres subsecciones.
En la primera definimos la variedad de las álgebras de Heyting simétricas
temporales, damos un ejemplo y probamos algunas propiedades. En la segunda
subsección obtenemos una dualidad discreta para las álgebras de
Heyting simétricas temporales teniendo en cuenta las indicadas en [49] para
las álgebras de De Morgan y en [124] para las álgebras de Heyting. En la tercer
subsección describimos un cálculo proposicional que tiene a las álgebras de
Heyting simétricas temporales como contraparte algebraica. Los resultados de
esta sección fueron publicados en
A. V. Figallo, G. Pelaitay, C. Sanza.Discrete duality for TSH−algebras. Commun.
KoreanMath. Soc., 27, 1, 47–56. 2012.
30
También fueron presentados y expuestos en
A.V. Figallo, G. Pelaitay, C. Sanza. Operadores temporales sobre álgebras
de Heyting simétricas. LIX Reunión Anual de la Unión Matemática Argentina.
Índice de Comunicaciones Científicas. Mar del Plata, Septiembre
2009.
A.V. Figallo, G. Pelaitay, C. Sanza. Una dualidad discreta para las álgebras
deHeyting simétricas temporales. LX Reunión Anual de laUniónMatemática
Argentina. Índice de Comunicaciones Científicas. Tandil, Septiembre
2010. La tercera sección está dedicada al estudio de operadores temporales sobre
álgebras de Heyting simétricas de orden n (o SHn−álgebras para abreviar) .
Esta sección está dividida en tres subsecciones. En la primera subsección definimos
la variedad de las SHn-álgebras temporales, damos un ejemplo y probamos
algunas propiedades. En la segunda subsección obtenemos una dualidad
discreta para las SHn-álgebras temporales teniendo en cuenta las indicadas en
[124] para las SHn-álgebras. En la tercera subsección describimos un cálculo
proposicional que tiene a las SHn-álgebras temporales como contraparte algebraica.
Los resultados de esta sección fueron publicados en:
A. V. Figallo, G. Pelaitay. Tense operators on SHn-algebras. Pioneer Journal
of Algebra, Number Theory and its Applications. 1, 1, 33–41. 2011.
A. V. Figallo, G. Pelaitay. Note on tense SHn-algebras. An.Univ. Craiova Ser.
Mat. Inform., 38, 4, 24–32. 2011.
También fueron presentados y expuestos en:
A. V. Figallo, G. Pelaitay. Tense operators on SHn−algebras, 16th Brazilian
Logic Conference, Petropolis, Brazil, 2011.
El Capítulo 5 consiste en una breve enumeración de los posibles desarrollos
futuros. / The volume presented here is organized in five chapters. In the first, with
no claim to originality, we describe some known results that will facilitate the
reading of the thesis.
Chapter 2 is organized in three sections. In the first we investigate the
variety of algebras that we have called tense De Morgan Algebras as a natural
generalization of tense Boolean algebras. In this section our main interest is
the representation theory for this class of algebras. Section 2.1 is organized as
follows: In Subsection 2.1.1 we define the variety of tense De Morgan algebras,
introduce some examples and prove some properties. In Subsection 2.1.2 we
give a representation theorem for tense De Morgan algebras in terms of tense
De Morgan algebras of sets by using a well-known representation theorem for
De Morgan algebras. In Subsection 2.1.3 we describe a topological duality for
tense De Morgan algebras, extending the duality given by Cornish and Fowler
in [42] for De Morgan algebras. Finally, in Subsection 2.1.4 we characterize the
congruences lattice of these algebras in terms of the duality mentioned before
and certain closed subsets of the space associated with them.
The results obtained in this section were published in
A. V. Figallo, G. Pelaitay. Tense operators on De Morgan algebras. Log. J.
IGPL 22, 2, 255–267. 2014.
The second section consists of two subsections. In the first we obtain a
discrete duality for the n-valued Łukasiewicz-Moisil algebras taking into account
the results indicated by Dzik, Orłowska and van Alten in 2006 forDeMorgan
algebras [49]. In the second subsection we extend the discrete duality given
for n-valued Łukasiewicz-Moisil algebras to the case of the tense n-valued
Łukasiewicz–Moisil algebras. The results of this sections were published in
A. V. Figallo, G. Pelaitay. Discrete duality for tense Łukasiewicz–Moisil algebras.
Fund. Inform., 136. 1–13. 2015.
The third section is divided into three subsections. In Subsection 2.3.1
we review definitions and known results on tetravalent modal algebras which
will be useful in the subsequent subsections. We also show that De Morgan algebras
with implication defined by Kondo in [102] are polynominally equivalent
to the contrapositive modal tetravalent algebras defined by Figallo and
Landini in [58] and recently studied by Coniglio and Figallo in [40]. In Subsection
2.3.2 we obtain two different discrete dualities for the tetravalent modal
algebras. Finally, in the last subsection we define the variety of tense tetravalent
modal algebras as a common generalization of tense Boolean algebras and
tense n−valued Łukasiewicz-Moisil algebras. The most important result in this
subsection is having obtained a discrete duality for these new algebras.
Chapter 3 is organized into five sections. The first is devoted to the study
of the n × m-valued Łukasiewicz-Moisil algebras defined by Figallo and
Sanza in [60]. This section has been subdivided into five subsections. In Subsection
3.1.1we review an example which has allowed us to legitimate the study
of the n ×m-valued Łukasiewicz-Moisil algebras. In Subsection 3.1.2 we recall
definitions and results which will be useful for what follows. In Subsection
3.1.3 we introduce new implication connectives and prove some of their
basic properties. In Subsection 3.1.4 the definition of monadic n ×m−valued
Łukasiewicz–Moisil algebra is reviewed. These algebras were defined by Figallo
and Sanza in [69]. Finally, in the last subsection we define the class of polyadic
n ×m-valued Łukasiewicz-Moisil algebras. These algebras, for the case of m =
2, they coincide with polyadic n−valued Łukasiewicz-Moisil algebras [7]. The
main result of this subsection is a representation theorem for polyadic n ×
m−valued Łukasiewicz-Moisil algebras. Section 3.2 is focused on the study of
weak-tense n ×m−valued Łukasiewicz-Moisil algebras defined by Figallo and
Pelaitay in [78]. This section is divided into four subsections. In Subsection
3.2.1 we introduce the variety of weak-tense n ×m−valued Łukasiewicz-Moisil
as a common generalization of weak-tense Boolean algebras and weak-tense
n−valued Łukasiewicz-Moisil algebras. In Subsection 3.2.2, based on the notion
of weak frame, we provide an example of weak-tense n × m−valued
Lukasiewicz-Moisil algebras to bear into consideration for further analysis. In
Subsection 3.2.3 we prove a representation theorem for weak-tense n × mvalued
Łukasiewicz-Moisil algebras. Finally, in the last subsection we focus on
the study of congruences in a weak-tense n ×m−valued Łukasiewicz-Moisil
algebra. These results allowed us to characterize simple and subdirectly irreducible
algebras from the previously mentioned variety. Section 3.3 is focused
on the study of tense n ×m−valued Łukasiewicz-Moisil algebras defined by
Figallo and Pelaitay in [79]. This section is divided into four subsections. In
Subsection 3.3.1 we introduce the variety of tense n ×m−valued Łukasiewicz-
Moisil algebras as a common generalization of tense Boolean algebras and tense
n−valued Łukasiewicz-Moisil algebras. In Subsection 3.3.2, based on the notion
of frame,we provide an example of tense n×m−valued Łukasiewicz-Moisil
algebras, necessary for later analysis. In Subsection 3.3.3, we proved a representation
theorem for tense n ×m−valued Łukasiewicz-Moisil algebras; as a
corollary of this theorem we obtain the representation theorem provided by
Diaconescu and Georgescu in [43] for tense n−valued Łukasiewicz-Moisil algebras.
Finally, in the last subsection we focus on the study of congruences in
a tense n ×m−valued Łukasiewicz-Moisil algebras. These results allowed us to characterize simple and subdirectly irreducible algebras from the variety previously
mentioned. Section 3.4 is focused on the study polyadic weak-tense n ×
m−valued Łukasiewicz-Moisil algebras. This section is divided into two subsections.
In Subsection 3.4.1 we introduced the class of study polyadic weaktense
n ×m−valued Łukasiewicz-Moisil algebras as a common generalization
of polyadic weak-tense Boolean algebras and polyadic weak-tense n−valued
Łukasiewicz-Moisil algebras. Furthermore, based on the notion of weak-tense
system, we provide an example of polyadic weak-tense n × m−valued
Łukasiewicz-Moisil algebras. The most prominent result from this second subsection
is a representation theorem for polyadic weak-tense n × m−valued
Łukasiewicz-Moisil algebras. In the last subsection we define the class of
polyadic tense n ×m−valued Łukasiewicz-Moisil algebras and we provide an
example based on the notion of tense system. Some of the results of this chapter
have been accepted for publishing in
A. V. Figallo, G. Pelaitay. A representation theorem for tense n ×m−valued
Łukasiewicz–Moisil algebras.Mathematica Bohemica. 2015.
A. V. Figallo, G. Pelaitay. n ×m-valued Łukasiewicz–Moisil algebras with
two modal operators. South American Journal of Logic. 2015.
They have also been presented and exposed in
A. V. Figallo, G. Pelaitay. Operadores temporales sobre álgebras de
Łukasiewicz-Moisil n ×m-valuadas, Actas del XII Congreso Dr. Antonio
Monteiro, UNS, Bahía Blanca, Argentina, (2013), 31-32.
Chapter four is organized into three sections. The first section is focused
to the study of tense operators on Heyting algebras. This section is divided into
six subsections. In the first subsection we demonstrate that algebraic axiomatization
given by Chajda in [24] of the tense operators F and P in intuitionistic
logic is not in accordance with theHalmos definition of existential quantifier. In
the second subsection we introduce I K t −algebras variety, we show some examples
and prove some of its properties. In the third subsection we prove that
intuitionistic tense logic introduced by Ewald in [52] has I K t −algebras as its
algebraic counterpart. In the fourth subsection we describe a discrete duality
for I K t −algebras bearing into account the results indicated by Orłowska and
Rewitzky in [124] for Heyting algebras. In the fifth subsection we give a general
construction of tense operators on a completeHeyting algebra via the so-called
Heyting frames. Finally, in the last subsection we introduce the notion of tense
deductive system which allows us to determine the congruences lattice in an
I K t −algebras and characterize simple and subdirectly irreducible from the IKt
variety. The results of this section have been published in
A. V. Figallo, G. Pelaitay. Remarks onHeyting algebras with tense operators.
Bull. Sect. Logic Univ. Lódz 41, 1–2, 71–74. 2012.
A. V. Figallo, G. Pelaitay. An algebraic axiomatization of the Ewald’s intuitionistic
tense logic. Soft Computing. 18, 10, 1873–1883. 2014.
They were also presented and discussed in
A. V. Figallo, G. Pelaitay.Una axiomatización algebraica del sistema IKt, IV
Congreso Lationoamericano deMatemáticos, Córdoba, 2012.
A. V. Figallo, G. Pelaitay. An algebraic axiomatization of IKt system, 6th
Workshop on IntuitionisticModal Logic and Applications, Rio de Janeiro,
Brazil, 2013.
The second section is focused on the study of tense operators on symmetric
Heyting algebras. This section is divided into three subsections. In the
first section we define tense symmetric Heyting algebras, we provide an example
and prove some of their properties. In the second subsection we obtain a
discrete duality for tense symmetric Heyting algebras taking into account the
indications in [49] for DeMorgan algebras and in [124] for Heyting algebras. In
the third subsection we describe a propositional calculus that has tense symmetric
Heyting algebras as an algebraic counterpart. The results in this section
were published in
A. V. Figallo, G. Pelaitay, C. Sanza.Discrete duality for TSH-algebras. Commun.
KoreanMath. Soc., 27, 1, 47–56. 2012.
They were also presented and discussed in
A.V. Figallo, G. Pelaitay, C. Sanza. Operadores temporales sobre álgebras
de Heyting simétricas. LIX Reunión Anual de la Unión Matemática Argentina.
Índice de Comunicaciones Científicas. Mar del Plata, Septiembre
2009.
A.V. Figallo, G. Pelaitay, C. Sanza. Una dualidad discreta para las álgebras
deHeyting simétricas temporales. LX Reunión Anual de laUniónMatemática
Argentina. Índice de Comunicaciones Científicas. Tandil, Septiembre
2010.
The third section is devoted to the study of tense operators on symmetric
Heyting algebras of order n (or SHn-algebras). This section is divided in three
subsections. In the first subsection,we define the variety of tense SHn-algebras,
we provide an example and prove several properties. In the second subsection,
we obtain a discrete duality for tense SHn-algebras taking into account the
ones indicated in [124] for SHn-algebras. In the third subsection, we describe a
propositional calculus that has tense SHn-algebras as algebraic counterparts.
The results of this section were published in:
A. V. Figallo, G. Pelaitay. Tense operators on SHn-algebras. Pioneer Journal
of Algebra, Number Theory and its Applications. 1, 1, 33–41. 2011.
A. V. Figallo, G. Pelaitay. Note on tense SHn-algebras. An.Univ. Craiova Ser.
Mat. Inform., 38, 4, 24–32. 2011.
They were also presented and discussed in:
A. V. Figallo, G. Pelaitay. Tense operators on SHn-algebras, 16th Brazilian
Logic Conference, Petropolis, Brazil, 2011.
Chapter 5 consists of a brief enumeration of the possible future developments.
|
Page generated in 0.1134 seconds