This work focuses on the implications for TCP performance with respect to two broad characteristics of error modeling. First, we consider rate-based error models vs. temporal error models. We show that it is difficult to confidently assess the impact of improvements to existing protocols or the performance gains of new protocols under a ratebased model. Second, we consider error models that “sy...

An artificial neural network (ANN) model is developed for the analysis, simulation, and prediction of the austenite reversion in the thermo-mechanical treatment of 304L austenitic stainless steel. The results of the ANN model are in good agreement with the experimental data. The model is used to predict an appropriate annealing condition for austenite reversion through the martensite to austeni...

in recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. in the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. in this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (oopls) us...

renewable energy sources like wind, sun, and hydro are considered as a reliable alternative to the traditional energy sources such as oil, natural gas, or coal. this paper describes modeling and simulations to determine a method for the power performance evaluation of autonomous wind turbine system. a speed control regulator is utilized to control the dc bus voltage. the inverter gate’s signals...