基于场景的联锁软件形式化模型生成方法 (Method for Generating Formal Interlocking Software Model Based on Scenario).
Yu DongXuejuan GaoPublished in: 计算机科学 (2015)
Keyphrases
- computational cost
- computational complexity
- high precision
- clustering method
- computationally efficient
- objective function
- preprocessing
- generation method
- probabilistic model
- significant improvement
- cost function
- support vector machine svm
- similarity measure
- evaluation method
- pairwise
- classification method
- segmentation method
- synthetic data
- error rate
- prior knowledge
- main contribution
- theoretical analysis
- computer systems
- mutual information
- support vector machine
- classification accuracy