1) symbolic model
符号模型
1.
It establishes extended label symbolic model and extended computational model, proves the computational soundness of the extended label symbolic model, and realizes the extension of MV method.
针对该问题,使用公钥加密和对称加密,建立扩展标记符号模型与扩展计算模型,论证扩展标记符号模型的计算可靠性,实现对MW方法的扩展。
2) model symbol
模型符号
3) symbolic model checking
符号模型检测
1.
A new symbolic model checking tool was built based on this algorithm.
并且基于该算法开发出新的符号模型检测工具。
4) symbolic model checking
符号模型检查
1.
We highlight the use of SAT algorithm to solve lots of EDA problems in such diverse areas as test pattern generation, symbolic model checking, combinational equivalence checking, and verification for RTL design.
介绍布尔可满足性 (SAT)求解程序在测试向量自动生成、符号模型检查、组合等价性检查和RTL电路设计验证等电子设计自动化领域中的应用 着重阐述如何在算法中有机地结合电路拓扑结构及其与特定应用相关的信息 ,以便提高问题求解效率 最后给出下一步可能的研究方
2.
By analyzing the symbolic model checking process, we choose to store the parametric variables separately in symbolic form a.
说明了 HYTECH工具中所采用的参数分析方法对系统描述能力的限制 ;提出了分离参数变量和系统状态变量的符号模型检查算法 ,并对用 HYTECH不能分析的 Fischer互斥算法的时钟偏移的界进行了分析。
5) symbolic model checking
符号模型检验
1.
Symbolic Model Checking Analysis for Atomicity of Netbill Protocol;
Netbill协议原子性的符号模型检验分析
2.
Binary Decision Diagram and symbolic model checking has made breakthrough in digital circuit design.
近年来 ,二叉判定图 BDD(Binary Decision Diagram )和符号模型检验在形式化验证数字电路设计中取得了突破性进展 。
3.
In the end,the symbolic model checking which can reduce the possibility of memory explosion was introduced.
文中首先介绍了描述系统行为的Kripke结构和描述系统性质的CTL逻辑,然后介绍了模型检验中常用的两种算法:标记算法和基于固定点的算法,最后介绍了为避免内存爆炸而引入的符号模型检验技术。
6) Symbolic model checking
符号化模型检测
1.
Verifying winning strategy with symbolic model checking;
基于符号化模型检测的对弈必胜策略验证
补充资料：气体检测传感器的检测原理
检测气体的浓度依赖于气体检测变送器，传感器是其核心部分，按照检测原理的不同，主要分为金属氧化物半导体式传感器、催化燃烧式传感器、定电位电解式气体传感器、迦伐尼电池式氧气传感器、红外式传感器、PID光离子化传感器、等以下简单概述各种传感器的原理及特点。
金属氧化物半导体式传感器
金属氧化物半导体式传感器利用被测气体的吸附作用，改变半导体的电导率，通过电流变化的比较，激发报警电路。由于半导体式传感器测量时受环境影响较大，输出线形不稳定。金属氧化物半导体式传感器，因其反应十分灵敏，故目前广泛使用的领域为测量气体的微漏现象。
催化燃烧式传感器。
催化燃烧式传感器原理是目前最广泛使用的检测可燃气体的原理之一，具有输出信号线形好、指数可靠、价格便宜、无与其他非可燃气体的交叉干扰等特点。催化燃烧式传感器采用惠斯通电桥原理，感应电阻与环境中的可燃气体发生无焰燃烧，使温度使感应电阻的阻值发生变化，打破电桥平衡，使之输出稳定的电流信号，再经过后期电路的放大、稳定和处理最终显示可靠的数值。
定电位电解式气体传感器
定电位电解式传感器是目前测毒类现场最广泛使用的一种技术，在此方面国外技术领先，因此此类传感器大都依赖进口。定电位电解式气体传感器的结构：在一个塑料制成的筒状池体内，安装工作电极、对电极和参比电极，在电极之间充满电解液，由多孔四氟乙烯做成的隔膜，在顶部封装。前置放大器与传感器电极的连接，在电极之间施加了一定的电位，使传感器处于工作状态。气体与的电解质内的工作电极发生氧化或还原反应，在对电极发生还原或氧化反应，电极的平衡电位发生变化，变化值与气体浓度成正比。
迦伐尼电池式氧气传感器
隔膜迦伐尼电池式氧气传感器的结构：在塑料容器的一面装有对氧气透过性良好的、厚10~30μm的聚四氟乙烯透气膜，在其容器内侧紧粘着贵金属（铂、黄金、银等）阴电极，在容器的另一面内侧或容器的空余部分形成阳极（用铅、镉等离子化倾向大的金属）。用氢氧化钾。氧气在通过电解质时在阴阳极发生氧化还原反应，使阳极金属离子化，释放出电子，电流的大小与氧气的多少成正比，由于整个反应中阳极金属有消耗，所以传感器需要定期更换。目前国内技术已日趋成熟，完全可以国产化此类传感器。
红外式传感器
红外式传感器利用各种元素对某个特定波长的吸收原理，具有抗中毒性好，反应灵敏，对大多数碳氢化合物都有反应。但结构复杂，成本高。
金属氧化物半导体式传感器
金属氧化物半导体式传感器利用被测气体的吸附作用，改变半导体的电导率，通过电流变化的比较，激发报警电路。由于半导体式传感器测量时受环境影响较大，输出线形不稳定。金属氧化物半导体式传感器，因其反应十分灵敏，故目前广泛使用的领域为测量气体的微漏现象。
催化燃烧式传感器。
催化燃烧式传感器原理是目前最广泛使用的检测可燃气体的原理之一，具有输出信号线形好、指数可靠、价格便宜、无与其他非可燃气体的交叉干扰等特点。催化燃烧式传感器采用惠斯通电桥原理，感应电阻与环境中的可燃气体发生无焰燃烧，使温度使感应电阻的阻值发生变化，打破电桥平衡，使之输出稳定的电流信号，再经过后期电路的放大、稳定和处理最终显示可靠的数值。
定电位电解式气体传感器
定电位电解式传感器是目前测毒类现场最广泛使用的一种技术，在此方面国外技术领先，因此此类传感器大都依赖进口。定电位电解式气体传感器的结构：在一个塑料制成的筒状池体内，安装工作电极、对电极和参比电极，在电极之间充满电解液，由多孔四氟乙烯做成的隔膜，在顶部封装。前置放大器与传感器电极的连接，在电极之间施加了一定的电位，使传感器处于工作状态。气体与的电解质内的工作电极发生氧化或还原反应，在对电极发生还原或氧化反应，电极的平衡电位发生变化，变化值与气体浓度成正比。
迦伐尼电池式氧气传感器
隔膜迦伐尼电池式氧气传感器的结构：在塑料容器的一面装有对氧气透过性良好的、厚10~30μm的聚四氟乙烯透气膜，在其容器内侧紧粘着贵金属（铂、黄金、银等）阴电极，在容器的另一面内侧或容器的空余部分形成阳极（用铅、镉等离子化倾向大的金属）。用氢氧化钾。氧气在通过电解质时在阴阳极发生氧化还原反应，使阳极金属离子化，释放出电子，电流的大小与氧气的多少成正比，由于整个反应中阳极金属有消耗，所以传感器需要定期更换。目前国内技术已日趋成熟，完全可以国产化此类传感器。
红外式传感器
红外式传感器利用各种元素对某个特定波长的吸收原理，具有抗中毒性好，反应灵敏，对大多数碳氢化合物都有反应。但结构复杂，成本高。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条