STRUCTURAL DECISION SUPPORT IN MINING EXCAVATIONS ARC EFFECT APPLYING PARACONSISTENT LOGIC ANNOTATED WITH TWO VALUES IN COMPUTATIONAL ENGINEERING

STRUCTURAL DECISION SUPPORT IN MINING EXCAVATIONS ARC EFFECT APPLYING PARACONSISTENT LOGIC ANNOTATED WITH TWO VALUES IN COMPUTATIONAL ENGINEERING

Souza, Paulo Roberto Schroeder de; Pimenta, Paulo de Mattos; Dias, Eduardo Mário; Pereira, Sergio Luiz; Accioly, Ruy Cordeiro

Full Article:

This work intends to establish a relationship of solutions by applying Paraconsistent Logic Applied (LPA) in establishment of arches surrounding pressure of underground excavations in massive fractured, considering the hypothesis that such independent dimensions arise with arches of span between pillars or support structures and structural conditions are primarily dependent of the Massif, in the State of active strains , the form of the excavations and the angle of internal friction of the material. The considerations to be developed do not consider the effects of plate tectonics that expresses so catastrophic as earthquakes or extremely high voltage fields, in that it would not be feasible for reasons of safety or economy the lavra of ore or mineral raw materials. Emphasizes the need of scientific-technical research applying concepts of LPA for the definition of relationships that allow knowledge of go set between support points of pressure arc and concludes by discussing how developments can occur in view of the dynamic aspect of mining excavations.

This work intends to establish a relationship of solutions by applying Paraconsistent Logic Applied (LPA) in establishment of arches surrounding pressure of underground excavations in massive fractured, considering the hypothesis that such independent dimensions arise with arches of span between pillars or support structures and structural conditions are primarily dependent of the Massif, in the State of active strains , the form of the excavations and the angle of internal friction of the material. The considerations to be developed do not consider the effects of plate tectonics that expresses so catastrophic as earthquakes or extremely high voltage fields, in that it would not be feasible for reasons of safety or economy the lavra of ore or mineral raw materials. Emphasizes the need of scientific-technical research applying concepts of LPA for the definition of relationships that allow knowledge of go set between support points of pressure arc and concludes by discussing how developments can occur in view of the dynamic aspect of mining excavations.

Palavras-chave:

DOI: 10.5151/meceng-wccm2012-19170

Referências bibliográficas

• [1] DA COSTA, N. C. A. Andamp; ABE, J. M. Andamp; SUBRAHMANIAN, V.S. “Remarks on Annotated Logic” Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik, Vol.37, pp.561-570,1991.
• [2] DA COSTA, N. C. A. ‘O Conhecimento Científico. Discurso Editoral”. São Paulo,1997.
• [3] ABE, J. M. Fundamentos da Lógica Anotada.1992. Tese de Doutorado, Universidade de São Paulo, FFLCH/USP - São Paulo, 1992.
• [4] DA SILVA FILHO, J. I. Métodos de Aplicações da Lógica Paraconsistente Anotada de anotação com dois valores LPA2v com construção de Algoritmo e Implementação de Circuitos Eletrônicos. 1999. Tese de Doutorado. EPUSP, São Paulo, 1999.
• [5] DA SILVA FILHO, J. I. “Lógica Paraconsistente e Probabilidade Pragmática no Tratamento de Incertezas”. Revista Seleção Documental n. 9, - p 16-27 ano 3 - ISSN 1809- 0648, Jan/Fev/Mar, 2007.
• [6] DA SILVA FILHO, J. I. Andamp; ABE, J. M. “Introdução à Lógica Paraconsistente Anotada” - Editora Emmy – 1.a Edição, 2000.
• [7] DA SILVA FILHO, J. I. Andamp; ABE, J. M. “Fundamentos das Redes Neurais Paraconsistentes”. Destacando Aplicações em Neurocomputação. Editora Arte Andamp; Ciência, ISBN 85-7473-045-9, 247 pp., 2001.
• [8] HECHT-NIELSEN, R. “Neurocomputing”. New York, Addison Wesley Pub. Co.,1990.
• [9] AYRES DA SILVA, L. A ; HENNIES,W.T.; RUSILO,L.C.; SANSONE,E.C. Dynamic aspects in the development of the pressure arch. In ISRM 8º International Congress on Rock Mechanics, Proceedings, pgs.467 - 470. Tokyo/Japan,1995. Rotterdam, A. A. Balkema, 1995.
• [10] AYRES DA SILVA, L. A. Contribuição ao dimensionamento de pilares de minas subterrâneas de manganês. São Paulo, 1989. 277p. Thesis - Escola Politécnica da Universidadade de São Paulo.
• [11] STILLBORG, B. Professional users handbook for rock bolting, Switzerland, Trans Tech Publications, 1994.
• [12] HERGET, G. Stresses in rock. Rotterdam, A. A. Balkema, 1988.
• [13] COSTA, CRISTINA. Modelação e Análise Numérica de Pontes em Arco de Alvenaria de Pedra. Departamento de Engenharia Civil. Instituto Politécnico de Tomar (Ipt). Escola Superior de Tecnologia de Tomar.
• [14] SUBRAHMANIAN, V.S. On the “Semantics of Quantitative Lógic Programs”. Proc. 4 th. IEEE Symposium on Logic Programming, Computer Society press, Washington D.C, 1987.
• [15] DA SILVA FILHO, J.I. et al. ;ABE, J.M.; TORRES, G. L. “Inteligência Artificial com Redes de Análises Paraconsistentes. Teorias e Aplicações”. Ed.LTC. R.J., 2008.
• [16] SOUZA, P.R.S. “Métodos de apoio a decisão médica para análise em diabetes mellitus gestacional utilizando a probabilidade pragmática na lógica paraconsistente anotada de dois valores para melhor precisão de resposta”, Tese de Doutorado. Politécnica USP, abril de 2009.

Como citar:

Souza, Paulo Roberto Schroeder de; Pimenta, Paulo de Mattos; Dias, Eduardo Mário; Pereira, Sergio Luiz; Accioly, Ruy Cordeiro; "STRUCTURAL DECISION SUPPORT IN MINING EXCAVATIONS ARC EFFECT APPLYING PARACONSISTENT LOGIC ANNOTATED WITH TWO VALUES IN COMPUTATIONAL ENGINEERING", p-3111-3126. In: In Proceedings of the 10th World Congress on Computational Mechanics [= Blucher Mechanical Engineering Proceedings, v. 1, n. 1]. São Paulo: Blucher, 2014.
ISSN 23580828, DOI 10.5151/meceng-wccm2012-19170