in the present study, a model of a large lithium polymer (li-po) battery for use in the simulation of hybrid electric vehicles (hevs) is developed. to attain this goal, an equivalent circuit (ec) consisting of a series resistor and two rc parallel networks is considered. the accuracy and the response time of the model for use in an hev simulator are studied. the battery parameters identificatio...

A stand-alone machine learned turbulence model is developed and applied for the solution of steady unsteady boundary layer equations, issues constraints associated with are investigated. The results demonstrate that an accurately trained can provide grid convergent, smooth solutions, work in extrapolation mode, converge to a correct from ill-posed flow conditions. accuracy response surface depe...

Model-based software development offers new opportunities and challenges for validation and verification of safetycritical software. In this report, we describe an approach for validating the artifacts generated in a model-based development process. Our approach divides the traditional testing process into two parts: one that validates the formal model implements the high-level requirements and...