An Automatic and Unified Consistency Verification Rule and Method of SG-CIM Model.
Xiaoqi LiaoHang LiXing LiPengyu ZhangYu HuangChunmei WangPublished in: BigDataSecurity (2021)
Keyphrases
- mathematical model
- statistical model
- probabilistic model
- cost function
- petri net model
- modeling method
- petri net
- study proposes
- closed form
- evaluation method
- theoretical analysis
- network model
- high accuracy
- hybrid method
- prior knowledge
- sensitivity analysis
- unified model
- analytical model
- verification method
- bayesian framework
- markov model
- optimization method
- high order
- fully automatic
- similarity measure
- tree structure
- input data
- em algorithm
- dynamic programming
- decision trees
- kalman filter
- pairwise
- hybrid model
- significant improvement
- support vector machine
- prediction model
- evaluation model
- classification algorithm
- image registration
- markov chain
- optimization model
- reconstruction method
- artificial neural networks
- objective function
- regression analysis
- monte carlo simulation
- bp neural network
- recognition algorithm
- parameter space
- parameter estimation
- detection method
- computational model
- classification rules
- test data
- model checking