更换kity库和formula库，配合更改

Signed-off-by: hancong03 <hancong03@baidu.com>