用形式化的方法对基元进行拓展，从而得到多种创新路径或解决矛盾问题的多种思路的方法，属于那种分析工具