1.
On-the-fly Model Checking Based on Petri Nets;
基于Petri网的on-the-fly模型检测
2.
Research on the Application of Model-Checking in Intrusion Detection
模型检测方法在入侵检测中的应用研究
3.
Model Extraction and Model Checking Research for Java Concurrent Programs
Java并发程序的模型提取与模型检测技术研究
4.
A Verification Method of Security Model Based on UML and Model Checking
基于UML和模型检测的安全模型验证方法
5.
Model Checking Methods for Value-Passing and Mobile Processes;
传值进程与移动进程的模型检测方法
6.
Model Checking of WLAN IEEE 802.11 Authentication Protocol;
无线局域网IEEE802.11认证协议的模型检测
7.
On the Model Checking of SN P Systems Based on Rewriting Logic;
基于重写逻辑的SN P系统模型检测
8.
Detection of Change-point in ARCH and GARCH Models;
ARCH模型和GARCH模型的变点检测
9.
The Research of Prediction Model in Detecting Glucose Solutions Concentration;
葡萄糖溶液浓度检测的预测模型研究
10.
Anomaly Network Traffic Detection Model Based on Fuzzy C-Means Clustering Algorithm
基于模糊C均值的异常流量检测模型
11.
Intrusion Detection Agent is“ backbone” in this model.
检测代理是该入侵检测系统模型的骨架。
12.
Study on Models of Track Condition Prediction Based on Track Geometry Car Inspection Data;
基于轨检车检测数据的轨道状态预测模型研究
13.
The Multi-Objective Programming Model on the Disposition Density Optimization of Stationary Traffic Detector
固定型交通检测器配置密度优化模型
14.
3D photogrammetry measurement and inspect technology for foam model of auto die
汽车大型模具实型的三维摄影测量检测
15.
Detection of Structural Change-points in Multivariate Models and Research of Bayesian Graphical Modelling;
多维随机模型结构性变点检测及Bayesian图模型研究
16.
An Analysis of the Discrepancy-Model and the Component Model of Reading Disability
阅读障碍检测的“差异模型”与“成分模型”比较分析
17.
A Model of Detector Generation Based on Immune and Fuzzy Pattern Recognition
基于免疫和模糊模式识别的检测器生成模型
18.
A Smart Intrusion Detection Module with the Ability to Seek Help
具有互助能力的智能入侵检测模型