Study on microscopic model of resistive switching in amorphous tantalum pentoxide from first-principle calculations