Abstract
There is an increasing contrast between large urban centers and rural areas, even nowadays, where the most basic resources can be scarce, leading an increasing development of technologies based upon self-sustainable solutions, where the electrical power is an important demand to be supplied. Through Bibliographic and Experimental research, plus a prototype using embedded and real-time software, and its testing, it was possible to develop a workable solution. This paper presents a self-oriented solar panel based on Paraconsistent Annotated Evidential Logic Eτ, its construction and practical tests, where total power of 3.19375 W was obtained against 2.427556 W from a fixed panel of same type, representing an increase of 31.56239% in the overall power.
You have full access to this open access chapter, Download conference paper PDF
Similar content being viewed by others
Keywords
- Solar energy
- Photovoltaic
- Power optimization
- Energetic sustainability
- Paraconsistent Annotated Evidential Logic Eτ
1 Introduction
Nowadays, despite development of new technologies being a constant activity, many cases of very scarce resources are not rare, particularly in locations far from urban centers [13].
One of the most important of these resources is the electricity, often unavailable because of large distances between distribution networks and the locations itself, or even because the great importance of local ecosystems [1].
The difficulties in bringing rural electrification to these places, and the need to limit the use of fossil fuels, replacing them with non-polluting and renewable energy alternatives, make urgent investments in research and development of improved alternative energy sources [2].
Fossil fuels are the main source of energy in the world and are at the center of the world’s energy demands. However, its availability is limited, and its large-scale use is associated with environmental degradation. The negative effects known from use of these fuels include acid rain, depletion of the ozone layer and global climate changes [3].
Following this panorama, an important method for obtaining electricity without burning fossil fuels is through a photovoltaic solar panel. Supply only implies in the cost of equipment itself, with no carbon liberated during operation [4, 13].
However, an important problem is related to the positioning of the solar panel, which is often fixed and does not have the ability to follow the natural movement of the sun throughout the day, which is related to the question of Maximum Power Point (MPP) of the panel [5], as seen on Fig. 1.
Many systems are proposed to circumvent this problem, but without the ability to handle situations of inconsistency or contradiction in the collected data [6, 7].
By using embedded and real-time software, a controller board and a sample from the voltage provided by the photovoltaic panel, it is possible to obtain a correct positioning with a stepper motor mechanically attached to it [14].
Through Paraconsistent Annotated Evidential Logic Eτ, it is intended to reach an optimal performance by the decision-making process, being able to handle situations where the signals from the panel are not conclusive or contradictory [13].
2 Paraconsistent Logic
2.1 Historical Background
The Genesis of Paraconsistent Logic originated in 1910, by the work of logicians N.A. Vasil’év and J. Łukasiewicz. In 1948, Jaskowski, encouraged by his professor Łukasiewicz, discovered Discursive Logic. [8, 14]. Going beyond the work of Jaskowski, the Brazilian logician Newton C.A. Da Costa extended its systems for the treatment of inconsistencies, having been recognized for it as the introducer of Paraconsistent Logic. Abe [8, 14], also a Brazilian logician, set several other applications of Annotated Systems, specially Logic Eτ, establishing the basic study of Model Theory and the Theory of Annotated Sets. Many previous publications have heterogeneous nomenclatures. This paper presents a new convention.
2.2 Certainty and Uncertainty Degrees
By using the properties of real numbers, it is possible to build a mathematical structure with the aim of materializing how to manipulate the mechanical concept of certainty, uncertainty, inconsistent and indeterminate, among others (Fig. 2) [18]. Such mechanism will embark the true and false states treated on classical logic, with all its consequences [14, 18]. Therefore, several concepts are introduced which are considered “intuitive” for the purpose above:
Therefore, in the first case, the favorable evidence is the Boolean complement of unfavorable evidence and, second, the unfavorable evidence is the Boolean complement of favorable evidence, which shows that the evidence, both favorable and unfavorable ‘behave’ as if classic. It varies continuously from the false (0, 1) to the truth (1, 0) [14, 18].
The logical states can be defined by:
It is seen that the Truth Degree “measures” how an annotation (μ, λ) “distances” from the perfectly defined segment and how it “approaches” of the state, and the degree of Falsehood “measures” how an annotation (μ, λ) “distances” from the segment perfectly defined, and how it “approaches” the false state [14, 18].
Similarly, the inconsistency degree “measures” how an annotation (μ, λ) “distances” from the undefined segment and how “close” it is from the inconsistent state, and the Indeterminacy degree “measures” how an annotation (μ, λ) “distances” of the undefined segment, and how “close” it is from the indeterminate state [14, 18].
Is called Gunc uncertainty degree (μ, λ) from an entry (μ, λ) to any of the degree of inconsistency or indeterminacy. For example, the maximum degree of uncertainty is in an inconsistent state, i.e. Ginc (1, 1) = 1. It is called the Certainty Degree Gcer (μ, λ) of an annotation (μ, λ) to any of the degrees of truth or falsity [14, 18].
2.3 Embedded and Real-Time Software
Embedded software can be defined as a combination of computer hardware and software, and perhaps additional mechanical or other parts, designed to perform a dedicated function. In some cases, embedded systems are part of a larger system or product [16].
Real-time systems can be any computer system, embedded or otherwise, that has timeliness requirements. The following question can be used to distinguish real-time systems from the rest: “Is a late answer as bad, or even worse, than a wrong answer?” In other words, what happens if the computation doesn’t finish in time? If nothing bad happens, it’s not a real-time system. If someone dies or the mission fails, it’s generally considered “hard” real-time, which is meant to imply that the system has hard deadlines. Everything in between is “soft” real-time [17].
The principal role embedded software is not the transformation of data, but rather the interaction with the physical world. It executes on machines that are not, first and foremost, computers. There are cars, airplanes, competition cars, audio equipment, autonomous robots, toys, security systems, cell phones, heart monitors, weapons, Smart televisions, Laser printers, scanners, microwaves devices, traffic system, climate control systems, manufacturing systems, and so on. Software with a principal role of interacting with the physical world must, of necessity, acquire some properties of the physical world. It takes time. It consumes power. It does not terminate, unless it fails [17].
2.4 Paraconsistent Controller
The Para-analyzer controller was built in order to embark the paraconsistent logic by treating the values of favorable and unfavorable evidence, resulting in certainty and uncertainty degrees, plus a logical state [8, 13].
Both evidence values are obtained with an interval of 500 ms between them, which allows a proper distinction and the capture of the logic states Indeterminate (⊥) – with low intensity and uniform λ and µ, representing a dimly lit room – and Inconsistent (\( {\mathsf{T}} \)), with high-intensity and uniform μ and λ, representing an external environment with nuisances like shadows of trees, birds or other moving obstacles [14, 18].
3 Practical Implementation and Results
The prototype was built upon a wooden base support and a mobile holder for the photovoltaic panel, tractioned by a stepper motor and a belt system.
For sensing purposes, the voltage supplied by the panel itself was sampled, applied to the input of the controller board and subjected to an inverter, as part of the embedded software, to obtain the favorable (μ) and unfavorable evidence degrees (λ).
Tests were run under normal sunlight conditions during three days, being the prototype subject of any weather variations except rain. An increase of 34.84213% in average power could be achieved in the end of the first day, 38.62905% on the second and 22.51104% on third day, as seen on graphics of Figs. 3, 4 and 5, respectively.
4 Final Results and Conclusions
This paper proposes a low-environmental impact alternative for places where electricity is not available, by using a self-oriented solar photovoltaic panel and Real-time embedded software.
The Paraconsistent Annotated Evidential Logic Eτ was used in order to make the decision process by the embedded software, allowing the panel to be more accurately positioned in situations of inconsistency or indeterminacy in the data collected. For each case, a reticulate chart can be created. In this work a general graph was presented, which may be the source for other studies.
By using the voltage supplied by the panel itself sampled and applied to the controller board it was possible to obtain favorable (μ) and unfavorable evidence degrees (λ) directly from the same source as the generated electricity, allowing a better tracking than using a separate sensor, as done in early projects.
After practical tests, the power generation of the prototype was enhanced by 31.56239% in an average value for the three days, as seen on graphic of Fig. 6.
With this new analytical approach, the data collected were presented with a greater number of decimal places, decimals floating point (DFP), besides being recalculated, providing greater accuracy and confiability in the final results.
This shows that the results are compatible with other similar systems [9, 10] and demonstrates that the actual implementation is capable of being implemented as a solution for manufactures of any type.
This result is similar to others found in the literature, as found in Huang et al. [11] (35.8%) and Salas et al. [12] (2.8%–18.5%), specially when compared with fixed panel systems.
5 Future Works
Both the embedded software and the experimental arrangement presented here allow deployments in larger systems with more solar panels, combining greater sophistication and power generation capacity.
With the revisiting of this study, it reinforces the importance of the topic addressed in this research observing that it is an area in truly expansion and frequent evolution. New technologies such as mobile applications and the Internet of Things (IoT) can be integrated.
References
Bursztyn, M.: A Difícil Sustentabilidade: Política Energética e Conflitos Ambeintais. Garamond, Rio de Janeiro (2001)
Dantas, J.M.: Sistema Fotovoltaico para Comunidades Isoladas utilizando ultracapacitores para armazenamento de energia. Univesity of Ceará, 2013
Manzano-Agugliaro, F., Alcayde, A., Montoya, F.G., Zapata-Sierra, A., Gil, C.: Scientific production of renewable energies worldwide: an overview. Renew. Sustain. Energy Rev. (2011). Elsevier
Cresesb, Centro de Referência para Energia Solar e Eólica Sérgio de Salvo Brito: Energia Solar: Princípios e Aplicações (2006)
Santos, J.L., Antunes, F., Chebab, A., Cruz, C.: A maximum power point tracker for PV systems using a high performance boost converter. Solar Energy (2005). Elsevier
Da Costa, N.C.A., et al.: Lógica Paraconsistente Aplicada. Atlas, São Paulo (1999)
Ishaque, K., Salam, Z.: A review of maximum power point tracking techniques of PV system for uniform insolation and partial shading condition. Renew. Sustain, Energy Rev (2012)
Abe, J.M., Silva, F., da João I., Celestino, U., de Araújo, H.C.: Lógica Paraconsistente Anotada Evidencial Eτ. Comunicar (2011)
Nogueira, M., Machado, R.J.: Importance of risk process in management software projects in small companies. In: Grabot, B., Vallespir, B., Gomes, S., Bouras, A., Kiritsis, D. (eds.) APMS 2014. IAICT, vol. 439, pp. 358–365. Springer, Heidelberg (2014). doi:10.1007/978-3-662-44736-9_44
Torres, C.R.: Sistema inteligente baseado na lógica paraconsistente anotada Eτ para controle e navegação de robôs móveis autônomos em um ambiente não estruturado. Doctoral thesis, University of Itajubá (2010)
Huang, B.J., Ding, W.L., Huang, Y.C.: Long-term field test of solar PV power generation using one-axis 3-position sun tracker. Solar Energy (2011)
Salas, V., Olias, E., Lásaro, A., Barrado, A.: Evaluation of a new maximum power point tracker (MPPT) applied to the photovoltaic stand-alone systems. Solar Energy Mater. Solar Cells. (2004). Elsevier
Prado, Á.A.C., Nogueira, M., Abe, J.M., Machado, R.J.: Improving photovoltaic applications through the paraconsistent annotated evidential logic Eτ. In: Gervasi, O., et al. (eds.) ICCSA 2016. LNCS, vol. 9788, pp. 345–355. Springer, Heidelberg (2016). doi:10.1007/978-3-319-42111-7_27
Prado, Á.A.C., Nogueira, M., Abe, J.M., Machado, Ricardo, J.: Power optimization in photovoltaic panels through the application of paraconsistent annotated evidential logic Eτ. In: Umeda, S., Nakano, M., Mizuyama, H., Hibino, H., Kiritsis, D., Cieminski, G. (eds.) APMS 2015. IAICT, vol. 459, pp. 655–661. Springer, Heidelberg (2015). doi:10.1007/978-3-319-22756-6_80
Prado, Á.A.C., Oliveira, C.C., Sakamoto, L.S., Abe, J.M., Nogueira, M.: Reaching energetic sustainability through a self-oriented battery charger, based on paraconsistent annotated evidential logic Eτ. In: Prabhu, V., Taisch, M., Kiritsis, D. (eds.) APMS 2013. IAICT, vol. 415, pp. 369–374. Springer, Heidelberg (2013). doi:10.1007/978-3-642-41263-9_46
Barr, M.: Embedded Systems Glossary. http://www.barrgroup.com/embedded-systems/glossary
Lee, E.A.: Embedded software. Adv. Comput. 56, 55–95 (2002)
Nogueira, M.: Engenharia de Software: Um Framework Para a Gestão de Riscos em Projetos de Software. Ed. Ciência Moderna, Rio de Janeiro (2009)
Acknowledgements
This work has been supported by COMPETE: POCI-01-0145-FEDER-007043 and FCT – Fundação para a Ciência e Tecnologia within the Project Scope: UID/CEC/00319/2013 by Portugal and University Paulista - Software Engineering Research Group by Brazil.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 IFIP International Federation for Information Processing
About this paper
Cite this paper
Prado, Á.A.C., Nogueira, M., Abe, J.M., Machado, R.J. (2016). Applying the Paraconsistent Annotated Evidential Logic Eτ in a Solar Tracker for Photovoltaic Panels: An Analytical Approach. In: Nääs, I., et al. Advances in Production Management Systems. Initiatives for a Sustainable World. APMS 2016. IFIP Advances in Information and Communication Technology, vol 488. Springer, Cham. https://doi.org/10.1007/978-3-319-51133-7_34
Download citation
DOI: https://doi.org/10.1007/978-3-319-51133-7_34
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-51132-0
Online ISBN: 978-3-319-51133-7
eBook Packages: Computer ScienceComputer Science (R0)