Local observability of an augmented battery model

This document represents a text file including a code for computing the local observability of an augmented battery model used for an OCV estimation method. This code is designed to be used in the computer algebra system (CAS) software Maxima.本文档为一份文本文件，内含用于计算适配开路电压（Open Circuit Voltage, OCV）估计方法的增广电池模型局部可观性的代码。本代码专为计算机代数系统（Computer Algebra System, CAS）软件Maxima设计使用。