Estimativa da irradiação solar difusa no plano inclinado de painéis solares fotovoltaicos

Solar energy, in the recent decades has gained a great attention due to its clean, simple and easy adaptable process. The effective utilization of solar energy is possible only if proper data of incident solar radiation is available. There are number of solar models based on different climatical factors, for the assessment of radiation on plane and sloped surfaces are available in the literature but the selection of best possible model is a challenging task. Here, different isotropic and anisotropic solar models have been utilized for the estimation of overall radiation incident on the sloped surface in Karachi then estimation was compared with the experimental values. The models selected for this study includes Liu and Jordan, Koronakis, Badescue, Hay and Davies, Temps and Coulson and HDKR. The predicted values and measured values are compared by using different statistical techniques like Mean Absolute Percentage Error (MAPE), Mean Biased Error (MBE), Root Mean Square Error (RMSE) and t-stats. The outcomes revealed that isotropic models are more suitable model than the anisotropic models. Among all models, Badescue is the best suitable model for the estimation of radiations on sloped surfaces with lowest value of MBE, RMSE and t-stats while Temps and Coulson model, on the basis of MAPE, MBE, RMSE and t-stats is the most inappropriate correlation for the assessment of solar radiations on sloped surface. Overall, for the solar radiation estimation on any sloped plane in Karachi isotropic models have shown a good agreement.La energía solar, en las últimas décadas ha ganado una gran atención debido a su proceso limpio, simple y fácilmente adaptable. La utilización eficaz de la energía solar solo es posible si se dispone de datos adecuados de la radiación solar incidente. Hay varios modelos solares basados en diferentes factores climáticos, para la evaluación de la radiación en superficies planas e inclinadas están disponibles en la literatura, pero la selección del mejor modelo posible es una tarea desafiante. Aquí, se han utilizado diferentes modelos solares isotrópicos y anisotrópicos para la estimación de la radiación total incidente en la superficie inclinada de Karachi y luego se comparó la estimación con los valores experimentales. Los modelos seleccionados para este estudio incluyen a Liu y Jordan, Koronakis, Badescue, Hay y Davies, Temps y Coulson y HDKR. Los valores pronosticados y los valores medidos se comparan utilizando diferentes técnicas estadísticas como el error porcentual absoluto medio (MAPE), el error sesgado medio (MBE), el error cuadrático medio (RMSE) y t-stats. Los resultados revelaron que los modelos isotrópicos son un modelo más adecuado que los modelos anisotrópicos. Entre todos los modelos, Badescue es el modelo más adecuado para la estimación de radiaciones en superficies inclinadas con el valor más bajo de MBE, RMSE y t-stats mientras que el modelo de Temps y Coulson, basado en MAPE, MBE, RMSE y t-stats es la correlación más inapropiada para la evaluación de las radiaciones solares en superficies inclinadas. En general, para la estimación de la radiación solar en cualquier plano inclinado en Karachi, los modelos isotrópicos han mostrado una buena concordancia.A energia solar, nas últimas décadas, ganhou grande atenção devido ao seu processo limpo, simples e de fácil adaptação. A utilização efetiva da energia solar só é possível se dados adequados da radiação solar incidente estiverem disponíveis. Existem vários modelos solares baseados em diferentes fatores climáticos, para a avaliação da radiação em superfícies planas e inclinadas estão disponíveis na literatura, mas a seleção do melhor modelo possível é uma tarefa desafiadora. Aqui, diferentes modelos solares isotrópicos e anisotrópicos foram utilizados para a estimativa da radiação total incidente na superfície inclinada em Karachi, então a estimativa foi comparada com os valores experimentais. Os modelos selecionados para este estudo incluem Liu e Jordan, Koronakis, Badescue, Hay e Davies, Temps e Coulson e HDKR. Os valores previstos e os valores medidos são comparados usando diferentes técnicas estatísticas como Erro Percentual Médio Absoluto (MAPE), Erro Viés Médio (MBE), Erro Quadrático Médio Raiz (RMSE) e t-stats. Os resultados revelaram que os modelos isotrópicos são modelos mais adequados do que os modelos anisotrópicos. Entre todos os modelos, Badescue é o modelo mais adequado para a estimativa de radiações em superfícies inclinadas com o menor valor de MBE, RMSE e t-stats, enquanto o modelo Temps e Coulson, com base em MAPE, MBE, RMSE e t-stats é o correlação mais inadequada para a avaliação de radiações solares em superfície inclinada. No geral, para a estimativa da radiação solar em qualquer plano inclinado em Karachi, os modelos isotrópicos mostraram uma boa concordância

Plataforma digital em inglês com processamento de voz para educação pré -escolar

The learning of the English language at the preschool level has become mandatory in educational institutions in Mexico. Today it is not enough to understand texts in English, the communicative aspect has taken on great relevance, and one of the determining factors when communicating in another language lies in the correct pronunciation. This work presents the development of a digital platform with academic content oriented to the preschool stage, in which voice processing is used with the speech to text and text to speech API of Google Cloud, through various activities, games and practice of vocabulary to get the infant familiar with the English language. In addition, the platform allows the parent to see the progress of the preschooler in their learning. The purpose of this project is to provide a digital tool with technological characteristics that favor the learning of the English language at an early age.El aprendizaje del idioma inglés a nivel preescolar se ha vuelto obligatorio en las instituciones educativas en México. Hoy en día no es suficiente con entender textos en inglés, el aspecto comunicativo ha tomado gran relevancia, y uno de los factores determinantes al comunicarse en otro idioma radica en la pronunciación correcta. Este trabajo presenta el desarrollo de una plataforma digital con contenido académico orientado a la etapa preescolar, en la cual se hace uso del procesamiento de voz a través del API speech to text y text to speech de Google Cloud, mediante diversas actividades, juegos y práctica de vocabulario para lograr que el infante se familiarice con el idioma inglés. Además, la plataforma permite al padre de familia ver el avance del preescolar en su aprendizaje. La finalidad de este proyecto es brindar una herramienta digital con características tecnológicas que favorezcan el aprendizaje del idioma inglés a temprana edad.O aprendizado do idioma inglês no nível da pré -escola tornou -se obrigatório em instituições educacionais no México. Hoje não basta entender os textos em inglês, o aspecto comunicativo tomou grande relevância e um dos fatores determinantes ao se comunicar em outro idioma está na pronúncia correta. Este trabalho apresenta o desenvolvimento de uma plataforma digital com conteúdo acadêmico orientado para o estágio pré -escolar, no qual o processamento de voz é feito através do discurso da API para texto e texto para o discurso do Google Cloud, através de várias atividades, jogos e prática do vocabulário para obter o criança para se familiarizar com o idioma inglês. Além disso, a plataforma permite que o pai da família veja o avanço da pré -escola em seu aprendizado. O objetivo deste projeto é fornecer uma ferramenta digital com características tecnológicas que favorecem o aprendizado em inglês em tenra idade

Efeito do ângulo de fibra nas propriedades mecânicas do polímero reforçado com fibra natural por meio de análise numérica

This study focuses on the mechanical behavior of natural fiber-reinforced polymer composites (NFRPs), which are gaining prominence as sustainable materials due to their biodegradability and eco-friendliness. In this study, we aimed to gain a profound understanding of the mechanical behavior of selected NFRPs. Static structural analysis was conducted to simulate tensile effects, while vibrational analysis was performed to predict natural frequencies. The results indicated that all fibers exhibited minimum stress at the 67.5° angle and maximum stress at the 22.5° angle during tensile testing. Additionally, minimum deformation occurred at the 0° angle, whereas maximum deformation was observed at the 67.5° angle. Interestingly, the NFRPs exhibited similar natural frequencies for the lower modes (1st and 2nd), with negligible alterations due to fiber angles. The core aim of this study is to showcase the practicality and viability of the investigated NFRPs by employing sophisticated finite element analysis to anticipate their material behavior beforehand, allowing for a comprehensive comparison of the natural frequencies, stresses, and deformations with traditional Carbon Fiber Reinforced Polymer (CFRP) composites, thereby exploring the potential of NFRPs as feasible alternatives.Este estudio se centra en el comportamiento mecánico de los compuestos de polímeros reforzados con fibra natural (NFRP), que están ganando prominencia como materiales sostenibles debido a su biodegradabilidad y eco-amistad. En este estudio, nuestro objetivo fue obtener una comprensión profunda del comportamiento mecánico de las NFRP seleccionadas. El análisis estructural estático se realizó para simular los efectos de tracción, mientras que el análisis vibratorio se realizó para predecir las frecuencias naturales. Los resultados indicaron que todas las fibras exhibieron estrés mínimo en el ángulo de 67.5 ° y el estrés máximo en el ángulo de 22.5 ° durante la prueba de tracción. Además, se produjo una deformación mínima en el ángulo de 0 °, mientras que se observó una deformación máxima en el ángulo de 67.5 °. Curiosamente, los NFRP exhibieron frecuencias naturales similares para los modos inferiores (1 y segundo), con alteraciones insignificantes debido a ángulos de fibra. El objetivo central de este estudio es mostrar la practicidad y la viabilidad de los NFRP investigados al emplear un análisis sofisticado de elementos finitos para anticipar su comportamiento material de antemano, lo que permite una comparación integral de las frecuencias naturales, tensiones y deformaciones con el polímero reforzado con fibra de carbono tradicional. (CFRP) Compuestos, explorando así el potencial de las NFRP como alternativas factibles.Este estudo se concentra no comportamento mecânico dos compósitos poliméricos reforçados com fibra natural (NFRPs), que estão ganhando destaque como materiais sustentáveis devido à sua biodegradabilidade e eco-filidade. Neste estudo, pretendemos obter uma profunda compreensão do comportamento mecânico dos NFRPs selecionados. A análise estrutural estática foi realizada para simular efeitos de tração, enquanto a análise vibracional foi realizada para prever frequências naturais. Os resultados indicaram que todas as fibras exibiram tensão mínima no ângulo de 67,5 ° e tensão máxima no ângulo de 22,5 ° durante o teste de tração. Além disso, ocorreu deformação mínima no ângulo de 0 °, enquanto a deformação máxima foi observada no ângulo de 67,5 °. Curiosamente, os NFRPs exibiram frequências naturais semelhantes para os modos inferiores (1º e 2º), com alterações desprezíveis devido a ângulos de fibra. O objetivo central deste estudo é mostrar a praticidade e a viabilidade dos NFRPs investigados, empregando uma análise de elementos finitos sofisticados para antecipar seu comportamento material de antemão, permitindo uma comparação abrangente das frequências naturais, tensões e deformações com polímero de fibra de carbono tradicional (CFRP) Compostos, explorando assim o potencial dos NFRPs como alternativas viáveis

Planejamento do sistema de ventilação e projeto 3D de longo prazo com o software 3D ventsim, caso Mina Santander – Glencore

In the country, one of the biggest challenges of underground mining is the supply of the air flow required in the work fronts according to D.S. 023-2016-EM and its amendment D.S. 024-2017-EM. In the Santander mining unit, Glencore, ventilation is forced due to the depression exerted by the three main fans, 100k cfm, 160 cfm and 120k cfm; located on the surface of the mine. The clean air requirement at this mining unit is 421,940 cfm, but the clean air inlet is 431,145 cfm and the outlet is 432,531 cfm, implying 102% coverage. In order to temporarily meet the projected long-term air requirement, medium-term planning is carried out; To solve this planning deficiency, the 3D Ventsim software is applied, which, calibrated at 90%, simulates the simulation of the ventilation system in reliable scenarios. In conclusion, the planning of a ventilation system with the Ventsim design program allows to comply with the required air in the long term and to carry out a detailed evaluation of the behavior of the ventilation system in the long term.En el país, uno de los mayores retos de la minería subterránea es el abastecimiento del flujo de aire requerido en los frentes de trabajo de acuerdo con el D.S. 024-2016-EM y su modificatoria D.S. 023-2017-EM. En la unidad minera Santander, Glencore, la ventilación es forzada debido a la depresión que ejercen los tres ventiladores principales, 100k cfm, 160 cfm y 120k cfm; ubicados en la superficie de la mina. El requerimiento de aire limpio en esta unidad minera es de 421,940 cfm, pero el ingreso de aire limpio es de 431,145 cfm y la salida es de 432,531 cfm, implicando una cobertura de 102%. Para cumplir, de manera transitoria, con el requerimiento de aire proyectado a largo plazo se realiza una planificación a mediano plazo; para solventar esta deficiencia de planificación, se aplica el software 3D Ventsim que calibrado al 90% la simulación del sistema de ventilación simula escenarios confiables. En conclusión, la planificación de un sistema de ventilación con el programa de diseño Ventsim permite cumplir con el aire requerido a largo plazo y realizar una evaluación detallada del comportamiento del sistema de ventilación a largo plazo.No país, um dos maiores desafios da mineração subterrânea é o suprimento da vazão de ar necessária nas frentes de trabalho conforme D.S. 024-2016-EM e sua alteração D.S. 023-2017-EM. Na unidade de mineração do Santander, Glencore, a ventilação é forçada devido à depressão exercida pelos três ventiladores principais, 100k cfm, 160 cfm e 120k cfm; localizado na superfície da mina. A necessidade de ar limpo nesta unidade de mineração é de 421.940 cfm, mas a entrada de ar limpo é de 431.145 cfm e a saída é de 432.531 cfm, o que implica 102% de cobertura. Para atender temporariamente à necessidade de ar projetada a longo prazo, é realizado um planejamento de médio prazo; Para solucionar essa deficiência de planejamento, é aplicado o software 3D VentSim que, calibrado a 90%, simula o sistema de ventilação em cenários confiáveis. Em conclusão, o planejamento de um sistema de ventilação com o programa de projeto Ventsim permite atender o ar necessário a longo prazo e realizar uma avaliação detalhada do comportamento do sistema de ventilação a longo prazo

Modelagem de materiais e estudo de falha de diferentes compósitos reforçados com fibras para vasos de pressão

Pressure vessels are essential industrial tools regarding storage of high-pressure fluids. Utilization of pressure vessels in ordinary industrial environment impose serious dangers to human life in case of failure. Manufacturing material and working pressure as per material’s strength are necessary arguments for a pressure vessel designer. In this study, five composite materials are selected to investigate the behavior of pressure vessels under high pressure. FEA technique is used to check stresses and deformations in different composite layers. Pressure applied to all materials models in this study is around 20 MPa. Tsai Wu and Maximum stress theories are used to study failure in first two composite layers of different composite materials. Glass Epoxy composites perform well in terms of static loading failure. They demonstrate reasonable strength without experiencing failure in the second layer. T300/976 composites are also suitable for the intended loading conditions of the model because did not exhibit second layer failure, making them a viable option. Therefore, it is recommended to use Glass/Epoxy and T300/976 composites in extreme pressure conditions such as those found in CNG cylinders. Three of the composite materials tested did not satisfy the failure theories. Hence, it is not safe to use them in extreme loading conditions. Although these materials did not show any failure in the first layer, deformations in the second layer made them susceptible to failure.Los recipientes a presión son herramientas industriales esenciales para el almacenamiento de fluidos a alta presión. La utilización de recipientes a presión en el entorno industrial ordinario impone serios peligros para la vida humana en caso de falla. El material de fabricación y la presión de trabajo según la resistencia del material son argumentos necesarios para un diseñador de recipientes a presión. En este estudio, se seleccionan cinco materiales compuestos para investigar el comportamiento de los recipientes a presión bajo alta presión. La técnica FEA se utiliza para comprobar tensiones y deformaciones en diferentes capas compuestas. La presión aplicada a todos los modelos de materiales en este estudio es de alrededor de 20 MPa. Las teorías de Tsai Wu y la tensión máxima se utilizan para estudiar la falla en las dos primeras capas compuestas de diferentes materiales compuestos. Los compuestos de epoxi de vidrio funcionan bien en términos de falla de carga estática. Demuestran una fuerza razonable sin experimentar fallas en la segunda capa. Los compuestos T300/976 también son adecuados para las condiciones de carga previstas del modelo porque no presentaron fallas en la segunda capa, lo que los convierte en una opción viable. Por lo tanto, se recomienda utilizar compuestos de vidrio/epoxi y T300/976 en condiciones de presión extrema, como las que se encuentran en los cilindros de GNC. Tres de los materiales compuestos probados no cumplieron con las teorías de falla. Por lo tanto, no es seguro usarlos en condiciones de carga extremas. Si bien estos materiales no presentaron falla alguna en la primera capa, las deformaciones en la segunda capa los hicieron susceptibles a la falla.Vasos de pressão são ferramentas industriais essenciais para o armazenamento de fluidos sob alta pressão. A utilização de vasos de pressão em ambiente industrial comum impõe sérios perigos à vida humana em caso de falha. O material de fabricação e a pressão de trabalho de acordo com a resistência do material são argumentos necessários para um projetista de vasos de pressão. Neste estudo, cinco materiais compósitos são selecionados para investigar o comportamento de vasos de pressão sob alta pressão. A técnica FEA é usada para verificar tensões e deformações em diferentes camadas compostas. A pressão aplicada a todos os modelos de materiais neste estudo é de cerca de 20 MPa. As teorias de Tsai Wu e tensão máxima são usadas para estudar a falha nas duas primeiras camadas compostas de diferentes materiais compostos. Os compósitos de vidro epóxi têm bom desempenho em termos de falha de carga estática. Eles demonstram resistência razoável sem sofrer falha na segunda camada. Os compósitos T300/976 também são adequados para as condições de carregamento pretendidas do modelo, pois não apresentaram falha na segunda camada, tornando-os uma opção viável. Portanto, recomenda-se a utilização dos compósitos Vidro/Epóxi e T300/976 em condições extremas de pressão como as encontradas em cilindros de GNV. Três dos materiais compósitos testados não satisfizeram as teorias de falha. Portanto, não é seguro usá-los em condições extremas de carregamento. Embora esses materiais não apresentassem nenhuma falha na primeira camada, as deformações na segunda camada os tornavam suscetíveis à falha

Motor Stirling, alimentado por energia solar para áreas domésticas e rurais domésticas em Karachi, Paquistão

There is a critical need to use the abundantly available solar energy worldwide due to the global energy crisis. The goal of this study is to demonstrate the residential use of a stirling engine powered by solar energy in Karachi, Pakistan. The design was carried out to produce a power output of 5 kW in order to address the issues with household and rural area power generating. The design was simulated using MATLAB. The use of solar energy as the engine's heat input was one of the design's key components. This allowed the engine to be built for locations with a lot of solar radiation. In regions with abundant solar energy, solar cookers, sun air warmers, and other appliances may be used. For power generation, however, the Stirling engine was chosen. Calculations of the sun intensity showed that 5 kW of Stirling engine output could be generated from 12 kW of solar electricity. The concentrator for concentrating and reflecting the incoming radiations to the Stirling engine was selected as a solar parabolic dish. This process heated the engine's working fluid, which then expanded and contracted due to thermodynamic forces to produce the engine's power strokes.Existe una necesidad crítica de usar la energía solar abundantemente disponible en todo el mundo debido a la crisis de energía global. El objetivo de este estudio es demostrar el uso residencial de un motor Stirling alimentado por energía solar en Karachi, Pakistán. El diseño se llevó a cabo para producir una potencia de salida de 5 kW para abordar los problemas con la generación de energía del hogar y el área rural. El diseño se simuló usando MATLAB. El uso de la energía solar como entrada de calor del motor fue uno de los componentes clave del diseño. Esto permitió construir el motor para ubicaciones con mucha radiación solar. En regiones con abundante energía solar, se pueden usar cocinas solares, calentadores de aire solar y otros electrodomésticos. Para la generación de energía, sin embargo, se eligió el motor Stirling. Los cálculos de la intensidad del sol mostraron que 5 kW de salida del motor Stirling podrían generarse a partir de 12 kW de electricidad solar. El concentrador para concentrar y reflejar las radiaciones entrantes al motor Stirling se seleccionó como un plato parabólico solar. Este proceso calentó el fluido de trabajo del motor, que luego se expandió y contrajo debido a las fuerzas termodinámicas para producir los golpes de energía del motor.Há uma necessidade crítica de usar a energia solar abundantemente disponível em todo o mundo devido à crise energética global. O objetivo deste estudo é demonstrar o uso residencial de um motor Stirling alimentado pela energia solar em Karachi, Paquistão. O projeto foi realizado para produzir uma potência de 5 kW, a fim de abordar os problemas com a geração de energia da área doméstica e da área rural. O design foi simulado usando o MATLAB. O uso da energia solar como a entrada de calor do motor foi um dos principais componentes do design. Isso permitiu que o motor fosse construído para locais com muita radiação solar. Em regiões com abundante energia solar, fogões solares, aquecedores de ar solar e outros aparelhos podem ser usados. Para a geração de energia, no entanto, o motor Stirling foi escolhido. Os cálculos da intensidade do sol mostraram que 5 kW de saída do motor Stirling podem ser gerados a partir de 12 kW de eletricidade solar. O concentrador para se concentrar e refletir as radiações de entrada no motor Stirling foi selecionado como um prato parabólico solar. Esse processo aqueceu o fluido de funcionamento do motor, que então se expandiu e contraiu devido a forças termodinâmicas para produzir os golpes de energia do motor

Interação solo-estrutura para edificações com lajes de fundação utilizando modelos estáticos e dinâmicos

The dynamic conditions of the soil and the flexibility of the foundation are factors that condition the structural response of the buildings, however, currently it is considered for the seismic-resistant design that the soil is completely rigid and non-deformable, with no damping capacity, a condition that It is determined and established by the perfect embedment of the building in the base. This hypothetical embedment criterion facilitates the analysis and design of seismic-resistant structures, however, an important conditioning factor is ignored, since when there are variable stiffness in the strata, damping and differential settlements, the stresses and deformations in the structural elements can vary, decreasing or increasing the seismic demand. With these precedents, the study considered the dynamic conditions of the soil, through the main Soil Structure Interaction models. In the study, the modeling of a multifamily structure was carried out with the various coefficients obtained from the models developed by Winkler, Pasternak, Barkan & Savinov, Norma Rusa, Gazetas & Mylonakis, Pais & Kausel, in the soil study it was determined that the soil is classified as flexible S3, and the seismic danger zone is Z=4 corresponding to the district and province of Tumbes. With the results obtained from the modeling, it was shown that the stresses, the deformations and the vibration frequency of the structure increased, in comparison with the same structure modeled with the hypothetical criterion of restriction in the base.Las condiciones dinámicas del suelo y la flexibilidad de la cimentación, son factores que condicionan la respuesta estructural de las edificaciones, sin embargo, actualmente se considera para el diseño sismorresistente que el suelo es completamente rígido e indeformable, con nula capacidad de amortiguamiento, condición que se determina y establece mediante el empotramiento perfecto de la edificación en la base. Este criterio hipotético de empotramiento facilita el análisis y diseño de las estructuras sismorresistentes, sin embargo, se obvia un factor condicionante de importancia, pues al presentarse rigidez variable en los estratos, amortiguamiento y asentamientos diferenciales, los esfuerzos y las deformaciones en los elementos estructurales pueden variar, disminuyendo o incrementando la demanda sísmica. Con estos precedentes, en el estudio se consideraron las condiciones dinámicas del suelo, mediante los principales modelos de interacción suelo-estructura. En el estudio, se realizó la modelación de una estructura multifamiliar con los diversos coeficientes obtenidos de los modelos desarrollados por Winkler, Pasternak, Barkan & Savinov, Norma Rusa, Gazetas & Mylonakis, Pais & Kausel, en el estudio de suelos se determinó que el suelo se clasifica como flexible S3, y la zona de peligro sísmico es Z=4 correspondiente al distrito y provincia de Tumbes. Con los resultados obtenidos del modelamiento, se demostró que los esfuerzos, las deformaciones y la frecuencia de vibración de la estructura se incrementaron, en comparación con la misma estructura modelada con el criterio hipotético de restricción en la base.As condições dinâmicas do solo e a flexibilidade da fundação são factores que determinam a resposta estrutural dos edifícios, no entanto, actualmente considera-se para o projecto resistente a sismos que o solo seja completamente rígido e indeformável, com capacidade de amortecimento zero, uma condição que é determinado e estabelecido pelo perfeito encaixe do edifício na base. Este hipotético critério de embutimento facilita a análise e dimensionamento de estruturas resistentes a terremotos, porém ignora um importante fator condicionante, pois quando há rigidez variável nos estratos, amortecimentos e recalques diferenciais, as tensões e deformações nos elementos estruturais podem variar, diminuindo ou aumentando a demanda sísmica. Com esses precedentes, as condições dinâmicas do solo foram consideradas no estudo, através dos principais modelos de interação solo-estrutura. No estudo foi realizada a modelagem de uma estrutura multifamiliar com os diversos coeficientes obtidos a partir dos modelos desenvolvidos por Winkler, Pasternak, Barkan & Savinov, Norma Rusa, Gazetas & Mylonakis, Pais & Kausel, no estudo de solos foi determinado que o O solo é classificado como flexível S3, e a zona de perigo sísmico é Z=4 correspondente ao distrito e província de Tumbes. Com os resultados obtidos na modelagem, foi demonstrado que as tensões, deformações e frequência de vibração da estrutura aumentaram, em comparação com a mesma estrutura modelada com o critério hipotético de restrição na base

Uma análise orientada a modelo das propriedades de segurança do Mimblewimble e suas implementações de protocolo

Mimblewimble is a privacy-oriented cryptocurrency technology that provides security and scalability properties that distinguish it from other protocols. Mimblewimble’s cryptographic approach is based on Elliptic Curve Cryptography which allows verifying a transaction without revealing any information about the transactional amount or the parties involved. Mimblewimble combines Confidential transactions, CoinJoin, and cut-through to achieve a higher level of privacy, security, and scalability. In this work, we present and discuss these security properties and outline the basis of a model-driven verification approach to address the certification of the correctness of the protocol implementations. In particular, we propose an idealized model that is key in the described verification process. Then, we identify and precisely state the conditions for our model to ensure the verification of relevant security properties of Mimblewimble. In addition, we analyze the Grin and Beam implementations of Mimblewimble in their current state of development. We present detailed connections between our model and their implementations regarding the Mimblewimble structure and its security properties.Mimblewimble es una criptomoneda orientada a la privacidad con propiedades de seguridad y escalabilidad que la distingue de otras criptomonedas. Mimblewimble está basado en Criptografía de Curvas Elípticas lo que permite verificar la validez de las transacciones sin revelar información alguna sobre el monto y las partes involucradas. Mimblewimble combina transacciones confidenciales y las técnicas de CoinJoin y cut-through para alcanzar mayor nivel de privacidad, seguridad y escalabilidad. En este trabajo, presentamos y discutimos estas propiedades de seguridad y describimos un enfoque basado en la verificación de modelos para alcanzar la certificación de la corrección de las implementaciones del protocolo. En particular, proponemos un modelo idealizado que es clave en el proceso de verificación descrito. Luego, identificamos y describimos precisamente las condiciones que nuestro modelo debe cumplir para asegurar las verificaciones de propiedades de seguridad relevantes de Mimblewimble. Además, analizamos el estado actual de sus dos más importantes implementaciones, Grin y Beam. Finalmente, presentamos conexiones detalladas entre nuestro modelo y las implementaciones en relación con la estructura de Mimblewimble y sus propiedades de seguridad.Mimblewimble é uma tecnologia de criptomoeda orientada para a privacidade que fornece propriedades de segurança e escalabilidade que a distinguem de outros protocolos. A abordagem criptográfica do Mimblewimble é baseada na Elliptic Curve Cryptography, que permite verificar uma transação sem revelar nenhuma informação sobre o valor da transação ou as partes envolvidas. O Mimblewimble combina transações confidenciais, CoinJoin e cut-through para alcançar um nível mais alto de privacidade, segurança e escalabilidade. Neste trabalho, apresentamos e discutimos essas propriedades de segurança e delineamos a base de uma abordagem de verificação orientada por modelo para abordar a certificação da correção das implementações de protocolo. Em particular, propomos um modelo idealizado que é chave no processo de verificação descrito. Em seguida, identificamos e declaramos com precisão as condições de nosso modelo para garantir a verificação das propriedades de segurança relevantes do Mimblewimble. Além disso, analisamos as implementações Grin e Beam do Mimblewimble em seu estado atual de desenvolvimento. Apresentamos conexões detalhadas entre nosso modelo e suas implementações em relação à estrutura Mimblewimble e suas propriedades de segurança