1) sign inner model
符号内模
1.
It also utilizes the sign feedback of the output error between the plant and the model and the sign inner model to enhance the system s robustness while various uncertainties exist.
引入与名义控制对象相同模型的状态反馈来改善系统的性能，通过导入对象与模型的输出误差符号信息和符号内模来实现存在上界未知的不确定情形时的稳定鲁棒控制与性能鲁棒控制。
2) model of connotative sign
内涵符号模型
3) sign content
符号内容
4) intentional symbol
内涵符号
5) insymbol
内部符号
6) symbolic simulation
符号模拟
1.
To solve the problem that SAT solvers usually has excessive backtraces during assigning binary values to an unassigned variables,a new SAT solver based on symbolic simulation and variable partition,which lower not only the number of backtrack but the memory blow-up,was presented.
针对SAT算法中回溯次数较多的问题,采用基于符号模拟和变量划分的方法来解决其不足。
2.
The paper introduces the history,basic technology,and the drawback of BDD blowup of symbolic simulation.
符号模拟将模拟验证从布尔值扩展到符号领域,是集成电路验证行业中的重要分支。
3.
We propose a method of implementing a symbolic simulation system which uses symbolic simulation and BDD.
通过运用符号模拟的方法和二叉决策图技术,给出了一个RTL级的符号模拟系统的实现方法。
补充资料：-戊内酯、3-甲基丁内酯、咖吗-戊内酯
CAS: 108-29-2
分子式: C5H8O2
分子质量: 100.12
沸点: 207-208℃
熔点: -31-208℃
中文名称: 4-戊内酯、γ-戊内酯、3-甲基丁内酯、咖吗-戊内酯
英文名称: dihydro-5-methyl-2(3H)-Furanone、dihydro-5-methyl-2(3h)-furanon、4-hydroxypentanoic acid lactone、4-hydroxyvaleric acid lactone、4-methyl-gamma-butyrolactone、gamma-methyl-gamma-butyrolactone、gamma-valerolakton
性质描述: 无色至微黄色液体。凝固点-31℃，沸点205-206.5℃，83-84℃（1.73kPa），相对密度（25/25℃）1.0578，折光率（nD25）1.4301。能与水、许多有机溶剂、树脂和蜡等混溶。10%水溶液的pH为4.2。
生产方法: 由不饱和羧酸通过闭环反应来合成，例如乙酰乙酸与硫酸共热，或乙酰丙酸在镍、铜等催化剂存在下加氢。
用途: γ-戊内酯有较强的反应能力，可用作树脂溶剂及各种有关化合物的中间体。也用作润滑剂、增塑剂、非离子型表面活性剂的胶凝剂、加铅汽油的内酯类添加剂，用于纤维素酯和合成纤维的染色。γ-戊内酯具有香兰素和椰子香味。我国GB2760-86规定为允许使用的食用香料。主要用以配制桃、椰子、香草等型香精。
分子式: C5H8O2
分子质量: 100.12
沸点: 207-208℃
熔点: -31-208℃
中文名称: 4-戊内酯、γ-戊内酯、3-甲基丁内酯、咖吗-戊内酯
英文名称: dihydro-5-methyl-2(3H)-Furanone、dihydro-5-methyl-2(3h)-furanon、4-hydroxypentanoic acid lactone、4-hydroxyvaleric acid lactone、4-methyl-gamma-butyrolactone、gamma-methyl-gamma-butyrolactone、gamma-valerolakton
性质描述: 无色至微黄色液体。凝固点-31℃，沸点205-206.5℃，83-84℃（1.73kPa），相对密度（25/25℃）1.0578，折光率（nD25）1.4301。能与水、许多有机溶剂、树脂和蜡等混溶。10%水溶液的pH为4.2。
生产方法: 由不饱和羧酸通过闭环反应来合成，例如乙酰乙酸与硫酸共热，或乙酰丙酸在镍、铜等催化剂存在下加氢。
用途: γ-戊内酯有较强的反应能力，可用作树脂溶剂及各种有关化合物的中间体。也用作润滑剂、增塑剂、非离子型表面活性剂的胶凝剂、加铅汽油的内酯类添加剂，用于纤维素酯和合成纤维的染色。γ-戊内酯具有香兰素和椰子香味。我国GB2760-86规定为允许使用的食用香料。主要用以配制桃、椰子、香草等型香精。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条