本发明公开了一种基于索引表达式的梯度下降算法的建模方法,包括：基于预设的索引表达式,构建梯度下降谓词；根据梯度下降算法的预设精度,利用MSVL中的字符串对输入数据进行不同类型的运算,得到第一结果；读取数据集,并根据梯度下降谓词对多元线性回归模型进行训练,得到梯度下降的形式化模型；利用第一结果,对梯度下降的形式化模型的性质进行验证。本发明通过基于预设的索引表达式来构建梯度下降谓词,从而针对泰勒展开应用的形式化模型,可以对机器学习系统底层的安全性和可靠性进行验证分析。
科研之友
微信
新浪微博
Facebook
分享链接
