1) SMV model checking
SMV模型检测
2) the SMV system symbol model
SMV系统符号模型
3) model checking
模型检测
1.
Alternating-time temporal belief logic and its model checking;
交互时态信念逻辑及其模型检测
2.
Effective model checking of IKEv2 protocol based on SPIN;
基于SPIN的IKEv2协议高效模型检测
3.
Research of model checking UML;
UML模型检测方法的研究
4) detection model
检测模型
1.
Network anomaly detection model of optimizing session attributes;
会话属性优化的网络异常检测模型
2.
As the experiment results show that an advanced expressway accident detection model being set up based on one-dimensional continuation wavelet transforms,one-dimensional and two-dimensional dispersed wavelet transforms technology,has excellent efficiency comparing with Califonia8# algorithm,with DR raising 195% and ADT shortening 96.
试验表明,基于一维连续小波变换、一维离散小波变换和二维离散小波变换建立的高速公路意外事件检测模型原型具有优良的检测性能,检测率在Califonia8#的基础上提高了195%,同时检测时间缩短为原来的3。
3.
This paper analyses the target-detection model,and gives the model of mutual conductance on the basis of correlative factor,at last calculates the condition of mutual conductance.
通过深入分析研究声自导鱼雷自导系统对目标检测模型,在充分考虑各种相关因素的基础上建立相应的互导分析数学模型,仿真计算确定了互导产生的边界条件。
5) Model-checking
模型检测
1.
An e-business assurance technique based on model-checking;
基于模型检测的电子商务鉴证技术
2.
Model-Checking Based Software Testing
基于模型检测的软件测试技术
3.
Research on the Application of Model-Checking in Intrusion Detection
模型检测方法在入侵检测中的应用研究
6) checking model
检测模型
1.
This paper proposes a new checking model based on the authentication tests for security protocol analysis.
以认证测试方法为基础提出一种检测模型,通过对消息类型的检测和核对能够明确消息的初始产生主体,进而对主体的身份进行认证。
2.
And the checking model of .
在此基础上建立了一种缓冲区溢出漏洞检测模型,同时归纳四条缓冲区溢出漏洞检测规则和一条缓冲区溢出漏洞检测定理,说明了存在缓冲区溢出的必要条件是程序中定义了指针或数组变量,并且在对这些缓冲区操作时没有进行边界检测,根据缓冲区的状态来判断缓冲区溢出的定理。
补充资料：[3-(aminosulfonyl)-4-chloro-N-(2.3-dihydro-2-methyl-1H-indol-1-yl)benzamide]
分子式：C16H16ClN3O3S
分子量：365.5
CAS号：26807-65-8
性质：暂无
制备方法：暂无
用途：用于轻、中度原发性高血压。
分子量：365.5
CAS号：26807-65-8
性质：暂无
制备方法：暂无
用途：用于轻、中度原发性高血压。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条