1) Symbolic model checking
符号化模型检验
1.
To make symbolic model checking approach applicable to all ω-regular properties, this paper studies symbolic model checking for ETL (extended temporal logic).
为使符号化模型检验技术适用于全部ω-正规性质,研究了ETL(extended temporal logic)的符号化模型检验方法。
2) 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逻辑,然后介绍了模型检验中常用的两种算法:标记算法和基于固定点的算法,最后介绍了为避免内存爆炸而引入的符号模型检验技术。
3) Symbolic model checking
符号化模型检测
1.
Verifying winning strategy with symbolic model checking;
基于符号化模型检测的对弈必胜策略验证
4) symbolic model checking
符号模型检测
1.
A new symbolic model checking tool was built based on this algorithm.
并且基于该算法开发出新的符号模型检测工具。
5) 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互斥算法的时钟偏移的界进行了分析。
6) Sign test
符号检验
1.
Ranked set selective sampling sign test for quantiles;
基于排序集挑选抽样的分位数符号检验
2.
A new sign test based on double-ranked set sampling is proposed,and its asymptotic distribution was obtained;And the asymptotic efficiency relative to under SRS and RSS was discussed,which show that this test had higher efficiency.
提出基于重排序集抽样的符号检验,给出相应的极限分布,并讨论了相对于基于简单随机抽样和排序集抽样的符号检验统计量的渐近效率,得出此检验具有较高的功效。
3.
This paper also discusses the sign test of multi_LV PLS algorithm.
在两个潜变量的偏最小二乘法(PLS)基础上,研究了如何将PLS算法从两个潜变量扩展到多个潜变量的一套完整方法(包括具体的形式规范和迭代步骤);以及在多个潜变量PLS算法上的符号检验。
补充资料：符号检验
分子式：
CAS号：
性质：一种非参数检验方法，用来检验两平均值一致性。如果x1，x1…，xn和y1，y2，…yn是来自相同未知分布的随机样本值，(x1－y1)，(x2－y2)，…，( xn－yn)取正号与取负号的概率是相同的，各为1/2。如将xi=yi的情况不计，令出现xi>yi的次数为n+出现xi<yi次数为n-，n=n＋+n-取c=min(n+，n－)，它是一个随机变量，服从二项分布。如由样本值计算的c值比符号检验临界值表中一定显著性水平a时的临界值ca还小，表明两样本的平均值之间存在系统误差。
CAS号：
性质：一种非参数检验方法，用来检验两平均值一致性。如果x1，x1…，xn和y1，y2，…yn是来自相同未知分布的随机样本值，(x1－y1)，(x2－y2)，…，( xn－yn)取正号与取负号的概率是相同的，各为1/2。如将xi=yi的情况不计，令出现xi>yi的次数为n+出现xi<yi次数为n-，n=n＋+n-取c=min(n+，n－)，它是一个随机变量，服从二项分布。如由样本值计算的c值比符号检验临界值表中一定显著性水平a时的临界值ca还小，表明两样本的平均值之间存在系统误差。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条