Model checking is a formal verification technique used to verify whether a system model meets certain specifications or requirements. It involves systematically exploring all possible state transitions of the model to ensure its correctness. This collection of English short sentences and example sentences provides a comprehensive resource for understanding and practicing model checking concepts. From basic principles to advanced applications, each sentence is carefully selected to cover a wide range of topics related to model checking. Whether you are new to this technique or looking to enhance your knowledge, this compilation offers a valuable reference for researchers, students, and practitioners in the field of formal verification.
模型检测,model checking
1)model checking模型检测
1.Alternating-time temporal belief logic and itsmodel checking;交互时态信念逻辑及其模型检测
2.Effectivemodel checking of IKEv2 protocol based on SPIN;基于SPIN的IKEv2协议高效模型检测
3.Research ofmodel checking UML;UML模型检测方法的研究
英文短句/例句
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 ProgramsJava并发程序的模型提取与模型检测技术研究
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具有互助能力的智能入侵检测模型
相关短句/例句
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模型检测方法在入侵检测中的应用研究
3)detection model检测模型
work anomalydetection model of optimizing session attributes;会话属性优化的网络异常检测模型
2.As the experiment results show that an advanced expressway accidentdetection 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.通过深入分析研究声自导鱼雷自导系统对目标检测模型,在充分考虑各种相关因素的基础上建立相应的互导分析数学模型,仿真计算确定了互导产生的边界条件。
4)checking model检测模型
1.This paper proposes a newchecking model based on the authentication tests for security protocol analysis.以认证测试方法为基础提出一种检测模型,通过对消息类型的检测和核对能够明确消息的初始产生主体,进而对主体的身份进行认证。
2.And thechecking model of .在此基础上建立了一种缓冲区溢出漏洞检测模型,同时归纳四条缓冲区溢出漏洞检测规则和一条缓冲区溢出漏洞检测定理,说明了存在缓冲区溢出的必要条件是程序中定义了指针或数组变量,并且在对这些缓冲区操作时没有进行边界检测,根据缓冲区的状态来判断缓冲区溢出的定理。
5)multiple measurement model多检测模型
6)MFS inspecting modelMFS检测模型
延伸阅读
气体检测传感器的检测原理检测气体的浓度依赖于气体检测变送器，传感器是其核心部分，按照检测原理的不同，主要分为金属氧化物半导体式传感器、催化燃烧式传感器、定电位电解式气体传感器、迦伐尼电池式氧气传感器、红外式传感器、PID光离子化传感器、等以下简单概述各种传感器的原理及特点。金属氧化物半导体式传感器金属氧化物半导体式传感器利用被测气体的吸附作用，改变半导体的电导率，通过电流变化的比较，激发报警电路。由于半导体式传感器测量时受环境影响较大，输出线形不稳定。金属氧化物半导体式传感器，因其反应十分灵敏，故目前广泛使用的领域为测量气体的微漏现象。催化燃烧式传感器。催化燃烧式传感器原理是目前最广泛使用的检测可燃气体的原理之一，具有输出信号线形好、指数可靠、价格便宜、无与其他非可燃气体的交叉干扰等特点。催化燃烧式传感器采用惠斯通电桥原理，感应电阻与环境中的可燃气体发生无焰燃烧，使温度使感应电阻的阻值发生变化，打破电桥平衡，使之输出稳定的电流信号，再经过后期电路的放大、稳定和处理最终显示可靠的数值。定电位电解式气体传感器定电位电解式传感器是目前测毒类现场最广泛使用的一种技术，在此方面国外技术领先，因此此类传感器大都依赖进口。定电位电解式气体传感器的结构：在一个塑料制成的筒状池体内，安装工作电极、对电极和参比电极，在电极之间充满电解液，由多孔四氟乙烯做成的隔膜，在顶部封装。前置放大器与传感器电极的连接，在电极之间施加了一定的电位，使传感器处于工作状态。气体与的电解质内的工作电极发生氧化或还原反应，在对电极发生还原或氧化反应，电极的平衡电位发生变化，变化值与气体浓度成正比。迦伐尼电池式氧气传感器隔膜迦伐尼电池式氧气传感器的结构：在塑料容器的一面装有对氧气透过性良好的、厚10~30μm的聚四氟乙烯透气膜，在其容器内侧紧粘着贵金属（铂、黄金、银等）阴电极，在容器的另一面内侧或容器的空余部分形成阳极（用铅、镉等离子化倾向大的金属）。用氢氧化钾。氧气在通过电解质时在阴阳极发生氧化还原反应，使阳极金属离子化，释放出电子，电流的大小与氧气的多少成正比，由于整个反应中阳极金属有消耗，所以传感器需要定期更换。目前国内技术已日趋成熟，完全可以国产化此类传感器。红外式传感器红外式传感器利用各种元素对某个特定波长的吸收原理，具有抗中毒性好，反应灵敏，对大多数碳氢化合物都有反应。但结构复杂，成本高。
