##plugins.themes.academic_pro.article.sidebar##

Download
pdf
Statistic
Read Counter : 8 Download : 2

##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##

Creative Commons License

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
Crossref
Scopus
Google Scholar
Europe PMC

References

  1. G. Canet, S. Couffin, J.-J. Lesage, A. Petit, and P. Schnoebelen, “Towards the automatic
  2. verification of PLC programs written in instructionlist,” in Proc. IEEE Conf. Systems, Man and
  3. Cybernetics, Nashvill, TN,USA, October 2000, pp. 2449– 2454.
  4. H.X. Willems, “Compact timed automata for PLC programs,” University of Nijmegen, Computing
  5. Science Institute,” Technical Report CSI-R9925, 1999.
  6. A. Mader and H. Wupper, “Timed automaton models for simple programmable logic controllers,”
  7. in In Proceedings of Euromicro Conference on Real-Time Systems, York, UK, June 1999.
  8. N. Bauer, S. Engell, R. Huuck, S. Lohmann, B. Lukoschus, M. Remelhe, and O. Stursberg,
  9. Verification of PLC Programs Given as Sequential Function Charts, ser. Lecture Notes in Computer
  10. Science. Springer Berlin / Heidelberg, 2004, vol.
  11. 3147/2004, ch. Verification, pp. 517–540.
  12. H.-M. Hanisch, J. Thieme, A. Luder, and O. Wienhold, “Modeling of PLC behaviour by means of
  13. timed net condition/event systems,” in IEEE Int. Symp. Emerging Technologies and Factory
  14. Automation (EFTA),1997, pp. 361–369.
  15. K. Loeis, M. Younis, and G. Frey, “Application of symbolic and bounded model checking to the
  16. verification of logic control systems,” in Emerging
  17. Technologies and Factory Automation, 2005. ETFA 2005. 10th IEEE Conference on, vol. 1. IEEE,
  18. pp. 4–16.
  19. O. Pavlovic, R. Pinger, and M. Kollmann, “Automated Formal Verification of PLC Programs
  20. Written in IL,” in Conference on Automated Deduction (CADE). Citeseer, 2007, pp. 152–163.
  21. T. L. Johnson, “Improving automation software dependability: A role for formal methods?” Control
  22. Engineering Practice, vol. 15, no. 11, pp.1403 – 1415, 2007.
  23. W. Lee, D. Grosh, and F. Tillman, “Fault tree analysis, methods, and applications- a review.” IEEE
  24. transactions on reliability, vol. R-34,no. 3, pp. 194– 203, 1985.
  25. M. Shooman, Reliability of computer systems and networks. Wiley Online Library, 2002.
  26. X. Zang, H. Sun, and K. Trivedi, “A BDD-based algorithm for reliability evaluation of phased
  27. mission systems,” IEEE Transactions on Reliability, vol. 48, no. 1, pp. 50–60, 1999.
  28. M. Bouissou and J. Bon, “A new formalism that combines advantages of fault-trees and Markov
  29. models: Boolean logic Driven Markov Processes,” Reliability Engineering & System Safety, vol.
  30. , no. 2, pp.149–163, 2003.
  31. D. Wooff, M. Goldstein, and F. Coolen, “Bayesian graphical models for software testing,” IEEE
  32. Transactions on Software Engineering, vol. 28,no. 5, pp. 510–525, 2002.
  33. C. Bai, Q. Hu, M. Xie, and S. Ng, “Software failure prediction based on a Markov Bayesian network
  34. model,” Journal of Systems and Software, vol. 74, no. 3, pp. 275–282, 2005.
  35. S. Bhanja and N. Ranganathan, “Switching activity estimation of vlsi circuits using bayesian
  36. networks,” IEEE Transactions on Very Large Scale Integration (VLSI) Systems, vol. 11, no. 4, pp.
  37. –567, 2003.
  38. S. Bhanja, K. Lingasubramanian, and N. Ranganathan, “A stimulus free graphical probabilistic
  39. switching model for sequential circuits using dynamic bayesian networks,” ACM Transactions on
  40. Design Automation of Electronic Systems (TODAES), vol. 11, no. 3, pp. 773–796, 2006.
  41. S. Krishnaswamy, G. Viamontes, I. Markov, and J. Hayes, “Probabilistic transfer matrices in
  42. symbolic reliability analysis of logic circuits,” ACM Transactions on Design Automation of
  43. Electronic Systems (TODAES),vol. 13, no. 1, pp. 1–35, 2008.
  44. C.-C. Yu and J. P. Hayes, “Scalable and accurate estimation of probabilistic behavior in sequential
  45. circuits,” 28th VLSI Test Symposium, pp.165–170, 2010.
  46. G. Norman, D. Parker, M. Kwiatkowska, and S. Shukla, “Evaluating the reliability of nand
  47. multiplexing with prism,” IEEE Transactions on Computer-Aided Design of Integrated Circuits
  48. and Systems, vol. 24,no. 10, pp. 1629–1637, 2005.
  49. Akilov Azizbek, Oripov Shoxruxmirzo, Zerdabhodjayev Hokimjon
  50. Son of Khotamjon, Sobirov Anvarjon Sobirov . Remote Control of Food Storage
  51. Parameters Based on the Database //
  52. URL:https://zienjournals.com/index.php/tjet/article/view/1872
  53. Okilov A.K. IMPROVED VISCOSITY MEASUREMENT
  54. SOLUBLE AND LIQUID PRODUCTS // Universum: Technical Sciences
  55. : electronic. Sagintayeva. Junn. 2021. 11(92).
  56. URL: https://7universum.com/ru/tech/archive/item/12624
  57. Oqilov, Azizbek. "Analysis of Options for the Process of Separation of
  58. Liquids into Fractions." Texas Journal of Engineering and Technology 9 (2022)
  59. URL:https://zienjournals.com/index.php/tjet/article/view/1871