Analysis Of How To Process Devices That Receive Electricity From Wind Energy.
DOI:
https://doi.org/10.62480/tjet.2024.vol37.pp9-13Keywords:
Wind turbines, wind probability analysisAbstract
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.
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
Downloads
Published
Issue
Section
License
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.
User Rights
Under the Creative Commons Attribution-NonCommercial 4.0 International (CC-BY-NC), the author (s) and users are free to share (copy, distribute and transmit the contribution).
Rights of Authors
Authors retain the following rights:
1. Copyright and other proprietary rights relating to the article, such as patent rights,
2. the right to use the substance of the article in future works, including lectures and books,
3. the right to reproduce the article for own purposes, provided the copies are not offered for sale,
4. the right to self-archive the article.
