Aiming at the state explosion problem existed in the software model checking, a scheme of applying program conditioning to reduce the state space of programs was proposed.
针对软件模型检测中的状态爆炸问题，提出将程序条件化技术用于软件状态空间缩减的方案。
According to the state space equation, the program SDSP is developed to simulate structural damage based on MATLAB.
按状态空间方程，编制了MATLAB平台上的结构损伤模拟程序SDSP。
According to the state space equation, the program SDSP is developed to simulate structural damage based on MATLAB.
按状态空间方程，编制了MATLAB平台上的结构损伤模拟程序SDSP。
应用推荐