##plugins.themes.academic_pro.article.main##
Abstract
The article examines the vertical axis wind turbine, as well as its aerodynamic properties. Wind turbine parameters are calculated and the relationship between them and wind generator efficiency.
Keywords
Wind turbines
wind probability analysis
##plugins.themes.academic_pro.article.details##
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.
How to Cite
Zavqiyev Dilshodbek Siddiqjon ugli. (2024). Analysis Of How To Process Devices That Receive Electricity From Wind Energy. Texas Journal of Engineering and Technology, 37, 9–13. https://doi.org/10.62480/tjet.2024.vol37.pp9-13
References
- G. Canet, S. Couffin, J.-J. Lesage, A. Petit, and P. Schnoebelen, “Towards the automatic
- verification of PLC programs written in instructionlist,” in Proc. IEEE Conf. Systems, Man and
- Cybernetics, Nashvill, TN,USA, October 2000, pp. 2449– 2454.
- H.X. Willems, “Compact timed automata for PLC programs,” University of Nijmegen, Computing
- Science Institute,” Technical Report CSI-R9925, 1999.
- A. Mader and H. Wupper, “Timed automaton models for simple programmable logic controllers,”
- in In Proceedings of Euromicro Conference on Real-Time Systems, York, UK, June 1999.
- N. Bauer, S. Engell, R. Huuck, S. Lohmann, B. Lukoschus, M. Remelhe, and O. Stursberg,
- Verification of PLC Programs Given as Sequential Function Charts, ser. Lecture Notes in Computer
- Science. Springer Berlin / Heidelberg, 2004, vol.
- 3147/2004, ch. Verification, pp. 517–540.
- H.-M. Hanisch, J. Thieme, A. Luder, and O. Wienhold, “Modeling of PLC behaviour by means of
- timed net condition/event systems,” in IEEE Int. Symp. Emerging Technologies and Factory
- Automation (EFTA),1997, pp. 361–369.
- K. Loeis, M. Younis, and G. Frey, “Application of symbolic and bounded model checking to the
- verification of logic control systems,” in Emerging
- Technologies and Factory Automation, 2005. ETFA 2005. 10th IEEE Conference on, vol. 1. IEEE,
- pp. 4–16.
- O. Pavlovic, R. Pinger, and M. Kollmann, “Automated Formal Verification of PLC Programs
- Written in IL,” in Conference on Automated Deduction (CADE). Citeseer, 2007, pp. 152–163.
- T. L. Johnson, “Improving automation software dependability: A role for formal methods?” Control
- Engineering Practice, vol. 15, no. 11, pp.1403 – 1415, 2007.
- W. Lee, D. Grosh, and F. Tillman, “Fault tree analysis, methods, and applications- a review.” IEEE
- transactions on reliability, vol. R-34,no. 3, pp. 194– 203, 1985.
- M. Shooman, Reliability of computer systems and networks. Wiley Online Library, 2002.
- X. Zang, H. Sun, and K. Trivedi, “A BDD-based algorithm for reliability evaluation of phased
- mission systems,” IEEE Transactions on Reliability, vol. 48, no. 1, pp. 50–60, 1999.
- M. Bouissou and J. Bon, “A new formalism that combines advantages of fault-trees and Markov
- models: Boolean logic Driven Markov Processes,” Reliability Engineering & System Safety, vol.
- , no. 2, pp.149–163, 2003.
- D. Wooff, M. Goldstein, and F. Coolen, “Bayesian graphical models for software testing,” IEEE
- Transactions on Software Engineering, vol. 28,no. 5, pp. 510–525, 2002.
- C. Bai, Q. Hu, M. Xie, and S. Ng, “Software failure prediction based on a Markov Bayesian network
- model,” Journal of Systems and Software, vol. 74, no. 3, pp. 275–282, 2005.
- S. Bhanja and N. Ranganathan, “Switching activity estimation of vlsi circuits using bayesian
- networks,” IEEE Transactions on Very Large Scale Integration (VLSI) Systems, vol. 11, no. 4, pp.
- –567, 2003.
- S. Bhanja, K. Lingasubramanian, and N. Ranganathan, “A stimulus free graphical probabilistic
- switching model for sequential circuits using dynamic bayesian networks,” ACM Transactions on
- Design Automation of Electronic Systems (TODAES), vol. 11, no. 3, pp. 773–796, 2006.
- S. Krishnaswamy, G. Viamontes, I. Markov, and J. Hayes, “Probabilistic transfer matrices in
- symbolic reliability analysis of logic circuits,” ACM Transactions on Design Automation of
- Electronic Systems (TODAES),vol. 13, no. 1, pp. 1–35, 2008.
- C.-C. Yu and J. P. Hayes, “Scalable and accurate estimation of probabilistic behavior in sequential
- circuits,” 28th VLSI Test Symposium, pp.165–170, 2010.
- G. Norman, D. Parker, M. Kwiatkowska, and S. Shukla, “Evaluating the reliability of nand
- multiplexing with prism,” IEEE Transactions on Computer-Aided Design of Integrated Circuits
- and Systems, vol. 24,no. 10, pp. 1629–1637, 2005.
- Akilov Azizbek, Oripov Shoxruxmirzo, Zerdabhodjayev Hokimjon
- Son of Khotamjon, Sobirov Anvarjon Sobirov . Remote Control of Food Storage
- Parameters Based on the Database //
- URL:https://zienjournals.com/index.php/tjet/article/view/1872
- Okilov A.K. IMPROVED VISCOSITY MEASUREMENT
- SOLUBLE AND LIQUID PRODUCTS // Universum: Technical Sciences
- : electronic. Sagintayeva. Junn. 2021. 11(92).
- URL: https://7universum.com/ru/tech/archive/item/12624
- Oqilov, Azizbek. "Analysis of Options for the Process of Separation of
- Liquids into Fractions." Texas Journal of Engineering and Technology 9 (2022)
- URL:https://zienjournals.com/index.php/tjet/article/view/1871