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) model of liguistic sign
元符号模型
4) subsymbolic model
亚符号模型
5) symbolic model checking
符号模型检测
1.
A new symbolic model checking tool was built based on this algorithm.
并且基于该算法开发出新的符号模型检测工具。
6) 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互斥算法的时钟偏移的界进行了分析。
补充资料：一元线性回归模型
分子式：
CAS号：
性质：假定从理论上或经验上已经知道输出变量y是输入变量x的线性函数，但表达其线性关系的系数是未知的，要根据输入输出的n次观察结果(x1，y1)(i=1，n)来确定系统的值。按最小二乘法原理来求出系数值，所得到的模型为一元线性回归模型。
CAS号：
性质：假定从理论上或经验上已经知道输出变量y是输入变量x的线性函数，但表达其线性关系的系数是未知的，要根据输入输出的n次观察结果(x1，y1)(i=1，n)来确定系统的值。按最小二乘法原理来求出系数值，所得到的模型为一元线性回归模型。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条