说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 可满足性解算器
1)  SAT solver
可满足性解算器
2)  satisfiability [,sætisfaiə'biliti]
可满足性
1.
RTL hybrid satisfiability solving methods are classified into two categories:One is based on SMT(Satisfiability Modulo Theories),and the other is based on circuit structure searching.
RTL混合可满足性求解方法分为基于可满足性模理论(SMT)和基于电路结构搜索两大类。
2.
Two heuristic strategies for solving satisfiability (SAT) problem were presented.
提出了两个用于求解可满足性 (SAT)问题的启发式策略。
3.
The key reasoning tasks of the semantic Web can be reduced to deciding the satisfiability of formulas.
语义网的关键推理问题可以化为公式的可满足性判定问题。
3)  Boolean Satisfiability Routing Algorithm
布尔可满足性布线算法
4)  unsatisfiability
不可满足性
5)  λ-satisfiability
λ-可满足性
6)  countable satiation
可数满足性
补充资料:获得性大疱性表皮松解症
      以张力性大疱为基本损害的一种皮肤病。又名真皮松解性类天疱疮。1970年代后从先天性大疱性表皮松解症中分出来,并命名。特点是发病年龄多在40岁以上。尼科利斯基氏征阴性,皮疹好发于四肢远端。大疱的出现常以轻微外伤为诱因。愈后常留下瘢痕和粟丘疹。组织病理学检查为表皮下疱,疱内可见红细胞,疱下有嗜中性细胞为主的炎症细胞浸润。疱周皮肤直接免疫荧光检查显示基底膜带有线状 IgG沉积。免疫电镜则显示免疫球蛋白沉积于基底膜的致密板下带。本病的诊断标准为:①表皮下大疱;②无家族发病史;③病程慢性;④基底膜带线状IgG沉着,用1MNaCl分离正常人皮肤为底物,以间接免疫荧光法,可见荧光带在分离皮肤的真皮侧,这也是与大疱性类天疱疮主要鉴别点。本病无特效治疗方法,避免外伤为重要措施。皮疹较广泛者,必要时可应用皮质类固醇激素如泼尼松。预后良好。
  

说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条