restricted approach

The approach did not involve the inverse matrix operation and division operation of matrix, and was not restricted by the condition of a_ ( ii)≠ 0. The high accuracy solution of a singular matrix was also obtained.

该算法不涉及矩阵的逆运算和除法运算，不受条件aii≠0的限制，对于严重病态的线性系统也能得到高精度解。

This restricted approach to the general problem of automated design has a number of pedagogical advantages.

在自动设计一般性的问题上采用这一有限制性的方法在教学上有许多优点.

However it has not been thoroughly investigated in software testing research.. This thesis proposes an approach to automatic generation of test oracle from restricted MITL ( Metric Interval Temporal Logic).

本文提出了基于受限度量区间时序逻辑（Metric Interval Temporal Logic，MITL）的测试预言自动生成技术。