极小模型是集合论的一种模型,若M为ZF系统的一个可传模型,且为ZF系统的所有可传模型的子模型,则称M为ZF系统的极小模型。
部分蕴涵 关键词: 命题逻辑;部分蕴涵;极小模型 [gap=10832]Key words: propositional logic, partial implication, minimal model
基于122个网页-相关网页
从银行信贷资金风险极小化的角度出发,通过引入激励机制设计的理论和方法,建立了银行信贷风险决策模型。
Through introducing the theory and the methods of incentive mechanism design from the point of view of the minimum of the funds risk a credit-risk decision model for banks is established.
对24点每点建立一个SVM预测模型,采用改进的序列极小优化算法实现对SVM的快速训练。
SVM forecast models are established for every point of 24, point loads, and an improved sequential minimal optimization method is used to train SVM.
有限元模型用质量和刚度参数表示,这些参数由正交条件和特征方程的加权欧氏范数取极小值来确定。
The finite element model is expressed by mass and stiffness parameters, which are determined by minimization of weighted Euclidean, norms of orthogonality conditions and characteristics equations.
应用推荐