Se presenta como extensión del cálculo proposicional clásico, el sistema deductivo LT: lógica de las tautologías. En el sistema LT, se formalizan las nociones meta-lógicas de tautología, contradicción, satisfacible, refutable y contingencia. El sistema LT, es caracterizado con una semántica al estilo Kripke, y puede ser visto como una extensión del sistema de lógica modal S5.1 PRESENTACIÓNCon el cálculo proposicional clásico CP, los enunciados que tienen las siguientes estructuras: si lo uno entonces lo otro, lo primero y lo segundo, esto o aquello, eso no, y esto si y solamente si aquello; se formalizan mediante los conectivos lógicos: condicional, conjunción, disyunción, negación y bicondicional respectivamente. Además, CP se encuentra caracterizado por una semántica de valores de verdad, donde cada fórmula es verdadera o falsa pero no verdadera y falsa, y en la cual se da una interpretación precisa de los conectivos, de tal manera que, el valor de verdad de una fórmula se determina a partir de los valores de verdad de sus sub-fórmulas atómicas.Dada una fórmula, a cada posible combinación de los valores de verdad de las fórmulas atómicas que figuran en ella se le llama una asignación. Se dice que una fórmula es una tautología si y solamente si es verdadera para cada posible asignación, una fórmula es una contradicción si y solamente si es falsa para cada posible asignación, una fórmula es satisfacible si y solamente si verdadera para alguna asignación, una fórmula es refutable si y solamente si es falsa para alguna asignación, una fórmula es una contingencia si y solamente si es verdadera para alguna asignación y falsa para otra. Resulta que los teoremas del cálculo proposicional clásico son las tautologías y solo ellas. Para detalles ver [1] y [2].En este trabajo se presenta como extensión del cálenlo proposicional clásico, el sistema deductivo LT. LT es la lógica de las tautologías. En el sistema LT, se formalizan las nociones meta-lógicas de tautología, contradicción, satisfacible, refutable y contingencia. El sistema LT, es caracterizado con una semántica al estilo Kripke, y puede ser visto como una extensión del sistema de lógica modal S5 (ver [3]). Las pruebas de validez y completitud, son presentadas de forma detallada.El sistema LT se obtiene a partir de CP, pidiendo que los teoremas de CP sean tautologías, que la conjunción de literales disjuntos (afirmación o negación de formulas atómicas diferentes) sea una contingencia, que la regla de inferencia Modus Ponens preserve las tautologías, y que las tautologías sean verdaderas. Se agregan axiomas que permitan simplificar adecuadamente los anidamientos o secuencias de los operadores de tautología, contradicción, satisfacible, refutable y contingencia. Los modelos para el sistema deductivo LT, son conjuntos de mundos posibles al estilo Kripke (ver [4]), donde del mundo actual (en el cual se determina si una fórmula es tautología, contradicción, satisfacible, refutablo, verdadera o falsa), se accede a mundos posibles en los cuales se representan las asignaciones de valores de verdad.

La prefabricación de las vigas de material compuesto reduce el tiempo de construcción y hace que se puedan montar, desmontar y reparar parcialmente con facilidad. El uso de conectores a cortante de pernos de alta resistencia por fricción puede mejorar en gran medida la sostenibilidad de las infraestructuras. Sin embargo, las investigaciones sobre el comportamiento de la fricción hormigón-acero son muy limitadas. Para contribuir a esta área, se realizaron 21 pruebas para medir el coeficiente de fricción y la rigidez de deslizamiento con diferentes resistencias del hormigón, la resistencia del acero y el tratamiento superficial del acero. Se desarrolló un modelo efectivo de elementos finitos para investigar la capacidad de carga última y las características de deslizamiento de la conexión a cortante de los pernos. La precisión del modelo de elementos finitos propuesto se valida mediante los ensayos realizados en este trabajo. Los resultados demuestran una correlación positiva entre la resistencia del hormigón y el coeficiente de fricción y un mejor rendimiento del acero granallado. También se demuestra que el perno de alta resistencia a la fricción tiene una capacidad portante un 30% menor, pero una mejor reserva de resistencia y antidesplazamiento que el perno con cabeza.

Con el fin de promover el uso sostenible de los residuos de pizarra bituminosa, se desarrolló un novedoso material de subrasante (SOF) compuesto por arcilla limosa, residuos de cenizas de pizarra bituminosa y cenizas volantes. El objetivo de este trabajo es estudiar el comportamiento mecánico y el impacto ambiental del SOF, que se considera la evaluación y predicción de la seguridad para la aplicación de este novedoso material. Para ello, se han llevado a cabo pruebas de comportamiento de la carretera, propiedades dinámicas e impacto ambiental. En cuanto al rendimiento de la carretera, los resultados de las pruebas del SOF superan los requisitos de la norma, especialmente en lo que respecta al CBR (coeficiente de rodamiento de California), que puede mantener un buen rendimiento en malas condiciones de bajo grado de compactación y estando empapado durante mucho tiempo. Las propiedades dinámicas bajo cargas cíclicas son mejores que la mayoría de los suelos originales y estabilizados. Los resultados de la investigación muestran que la fricción del SOF contribuye principalmente a la resistencia al cizallamiento en condiciones de alta tensión, mientras que su cohesión tiende a jugar un papel más importante en condiciones de baja tensión. De acuerdo con la variación de la deformación, se predice el asentamiento por acumulación del SOF bajo cargas de vehículos después de varios años, lo cual es muy inferior al límite de la autopista y la carretera de grado I. Además, la estabilidad química y la toxicidad de los lixiviados de SOF son respetuosas con el medio ambiente, lo que coincide con los parámetros de las aguas superficiales de clase II y las aguas subterráneas de clase III. Todos los resultados experimentales ponen de manifiesto que el SOF utilizado como relleno de subrasante tiene un buen potencial de aplicación y seguridad.

La teoría peridinámica (PD) se utiliza para estudiar el comportamiento de agrietamiento inducido térmicamente de los materiales funcionalmente graduados (FGM). Se desarrolla un modelo peridinámico termomecánico modificado. Se calcula la propagación de la grieta térmica de una losa cerámica en el enfriamiento para validar el modelo PD modificado. Los resultados predichos por el modelo PD modificado coinciden con los numéricos y experimentales publicados anteriormente. En comparación con el modelo PD original, la precisión de cálculo del modelo PD modificado para el agrietamiento térmico mejora. También se simula el agrietamiento térmico en FGMs. Se estudian los efectos de la forma del material, la temperatura inicial y la resistencia a la fractura de la cerámica en el comportamiento de la propagación de la grieta térmica. Se observa que las grietas térmicas en los FGMs siguen teniendo formas periódicas y jerárquicas. Los materiales metálicos en los FGMs pueden prevenir el inicio de las grietas y detener las grietas largas. El número de grietas tiende a aumentar con el incremento de la temperatura inicial, mientras que la resistencia a la fractura de la cerámica reforzada puede disminuirla.

En este trabajo se investigan, mediante una modelización unidimensional, los efectos de la polarización inversa de un campo electromagnético, generado por una antena de radio de amplitud modulada, sobre la eficiencia de una célula fotovoltaica de silicio. Mediante una simulación, se analizan los efectos tanto del ángulo de incidencia como de la magnitud del campo electromagnético sobre la potencia de salida de la célula fotovoltaica. Las curvas de salida de potencia frente a la velocidad dinámica de la unión se utilizan para encontrar la velocidad dinámica de la unión en el equilibrio, la salida de potencia máxima y la eficiencia de la célula fotovoltaica. Los resultados han demostrado que la presencia de importantes campos electromagnéticos en la vecindad de una célula fotovoltaica de silicio disminuye su rendimiento.

Aunque el envejecimiento del asfalto y su regeneración han sido investigados por muchos investigadores, todavía no se ha resuelto el pobre rendimiento a baja temperatura del asfalto regenerado. En este proyecto, se utilizará la tecnología compuesta de regeneración y modificación para resolver el problema mencionado anteriormente. Mediante la investigación y el análisis del mecanismo compuesto de regeneración y modificación para el asfalto envejecido, el objetivo del proyecto intenta explorar un método para la recuperación sincronizada del rendimiento a alta y baja temperatura del asfalto envejecido. Los resultados de la investigación muestran que la tecnología de regeneración única no puede recuperar completamente el rendimiento de baja temperatura del asfalto envejecido, y la tecnología compuesta de regeneración y modificación puede hacer que el rendimiento del asfalto envejecido se recupere bien. Se han recuperado los índices del asfalto envejecido después de la regeneración y la modificación compuestas, que son mejores que los índices del asfalto 90# (la penetración a 25°C es de 80-100/0,1 mm) y se acercan a los índices del asfalto modificado con estireno-butadieno-estireno (SBS). El proyecto ha demostrado que la tecnología compuesta de regeneración y modificación puede hacer que el rendimiento a alta y baja temperatura del asfalto envejecido se recupere bien. Los resultados de la investigación pueden obtener mejores beneficios económicos y sociales.

La estructura de mampostería baja es el tipo de edificio más aplicado en las zonas rurales de China. Es posible instalar componentes de cojinete de caucho laminado (LRB) de pequeño diámetro, bajo coste y fácil de construir. La tecnología de aislamiento tiene amplias perspectivas de aplicación en los edificios rurales. En este estudio desarrollamos un LRB de pequeño diámetro en el que la capa de aislamiento se coloca por encima del suelo para facilitar su instalación y sustitución. Construimos y ensayamos 4 muros para observar los efectos de diferentes espesores de LRB; evaluamos los respectivos fenómenos de ensayo y los parámetros sísmicos correspondientes. Realizamos otra prueba con cinco componentes de LRB de pequeño diámetro con diferentes rigideces horizontales, diferentes formas de rigidez horizontal equivalente a la deformación por cizallamiento y rigidez posterior a la cesión, al tiempo que cambiamos la fórmula de ajuste del segundo coeficiente de forma para obtener un diseño de LRB de pequeño diámetro que proporcione la esencia.

La estabilidad de los suelos permeables cerca de los depósitos de agua a gran escala para los pavimentos de las carreteras pavimentadas y no pavimentadas se ve comprometida con demasiada frecuencia debido a la filtración excesiva y a las condiciones climáticas de esa zona. En esta investigación, se adoptó un enfoque de investigación multinivel mediante la realización de un estudio comparativo de la microespectroscopia a través de los espectros de infrarrojos por transformación de Fourier (FTIR) para investigar la correlación de la absorbancia máxima junto con las investigaciones mecánicas (como la resistencia a la compresión, la prueba proctor modificada, la prueba de relación de soporte de California y la prueba de porcentaje de hinchamiento). La muestra de suelo nativo de baja plasticidad (CL) se mezcló con diversos porcentajes de aditivos de petróleo (betún y aceite de motor usado) de forma independiente al 0%, 4%, 8%, 12%, 16% y 20%. La comparación de los resultados en el caso del betún y del aceite de motor usado reveló que se produjo una disminución de los límites de Atterberg acompañada de un aumento del porcentaje de mezcla de betún, mientras que el aceite de motor usado (UMO) aumentó el límite plástico. La densidad seca máxima (MDD) aumenta mientras que el contenido de humedad óptimo (OMC) disminuye con el aumento del betún. El aceite de motor usado (UMO) aumentó inicialmente (hasta un 4%) la MDD y posteriormente la disminuyó. Los informes de investigación muestran que el betún provoca una disminución del porcentaje de hinchamiento y aumenta el coeficiente de carga de California (CBR), mientras que el UMO provoca un aumento continuo del porcentaje de hinchamiento y una disminución del CBR. La adición de betún en el suelo dio lugar a una disminución del coeficiente de permeabilidad (k), mientras que el UMO tiene un resultado significativo de hasta el 4%. En cuanto a la muestra de control, el análisis del espectro a través de FTIR apoya eficazmente los resultados de laboratorio, ya que la intensidad de los picos aumenta con el aceite y la concentración de betún revela que el aceite y el betún imparten propiedades cementantes al suelo. Además, este trabajo de investigación mediante el experimento apoyó y reforzó la idea de la estabilización del pavimento del suelo a través del betún, que da estabilidad contra el agua, y facilita la construcción de bajo costo mediante la obtención de la materia prima en el lugar. El UMO afecta negativamente a las propiedades del suelo más allá del 4en peso.

Se analizan los problemas de la modelización de la estructura y el diseño de los parámetros técnicos para la formación de materiales compuestos poliméricos de macrofibras orientadas. Los enfoques considerados se basan en la aplicación del modelado geométrico de la estructura de los rellenos fibrosos orientados y el diseño de los parámetros de los medios técnicos para formar materiales compuestos poliméricos de macrofibras orientadas. Se consideran las peculiaridades de la aplicación de los enfoques fenomenológico y estructural al diseño de los parámetros estructurales y tecnológicos de los medios técnicos y al cálculo de los elementos de las estructuras compuestas basadas en rellenos macrofibrosos orientados. Se da la técnica para determinar las características estructurales de los rellenos macrofibrilares orientados a partir de su modelo geométrico adecuado como cuerpos capilares-porosos. Como características estructurales se consideran la porosidad, la superficie interna específica y también el radio capilar efectivo (hidráulico) de los rellenos macrofibrilares orientados. Se señala que los modelos estructurales obtenidos se utilizan, en particular, para el pronóstico del diseño y los parámetros tecnológicos de los medios técnicos para el moldeo de materiales compuestos poliméricos de macrofibras.

En el presente estudio se analizó el mecanismo de recuperación de los residuos de resina fenólica termoestable, optimizando los parámetros del proceso de recuperación, basándose en el método de recuperación mecanoquímica. La estructura física y química del polvo de resina fenólica ultrapulverizada se caracterizó mediante RMN (resonancia magnética nuclear) de bajo campo, IR (espectroscopia infrarroja) y SEM (microscopia electrónica de barrido). Los parámetros del proceso de recuperación se diseñaron mediante el método de análisis de superficie de respuesta, y se estableció el modelo de regresión cuadrática múltiple y se optimizó el parámetro del proceso multiobjetivo. Los resultados muestran que la estructura de red del cuerpo del material se destruye durante el proceso de trituración. La intensidad de la señal de reticulación interna se reduce y tiende a estabilizarse en torno al 60%, cuando el tamaño de las partículas supera las 120 mallas. Los enlaces de reticulación metileno (-CH2-) en la cadena principal de la cadena molecular y el enlace C-O en el grupo metilol de la rama se rompen. La resistencia a la tracción de la lámina reciclada hecha con el polvo de resina fenólica es de 8,27 MPa, y la resistencia a la flexión es de 17,76 Mpa mediante la prueba de propiedades mecánicas. Las influencias sobre la tasa de cambio de la intensidad de la señal de reticulación y el rendimiento del polvo reciclado son del siguiente orden: velocidad de rotación, tamaño de la alimentación, tiempo y volumen de alimentación. Los mejores parámetros de recuperación son los siguientes: velocidad de rotación de 2820 r/min, tiempo de 80 min, diámetro de las partículas de alimentación de 0,43 mm y volumen de alimentación de 60 g.