规范性法律文件系统化的方法主要有两种：一是法律汇编，二是法律解释。( )

对实际应用问题建立了数学模型后，一般还需要对该模型进行检验。通过检验尽可能找出模型中的问题，以利于改进模型，有时还可能会否定该模型。检验模型的做法有多种，但一般不会（）

A.利用实际案例数据对模型进行检验

B.进行逻辑检验，分析该模型是否会出现矛盾

C.用计算机模拟实际问题来检验模型

D.检验该模型所采用的技术能否被企业主管理解