1) satisfiablity degree
可满足度
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) αsatisfiable
α可满足
4) satiable
[英]['seiʃiəbl] [美]['seʃɪəbḷ]
可满足的
5) satisfied degree
满足度
1.
When the estimated function value of the model draws close or the maximizing,namely maximizing the satisfied degree of enterprises and optimizing the survival condition of enter.
本文通过建立一个数学模型来调和发展经济与人们幸福感之间的矛盾,当模型所估算出的函数值趋近或达到最大值,即达到企业满足度最大化与企业生存状态最佳化的共赢时,在其当前的时空,社会的状态最和谐,企业发展最具有竞争力,人们能感觉到最幸福。
6) satisfaction degree
满足程度
1.
In fact, the Qu should be defined as the satisfaction degree given by some use value, so the standard of Qu is human s satisfaction degree, not the quantity of goods.
衡量使用价值量大小的标准是人的需要的满足程度而不是物品数量;使用价值量的影响因素不是单一的而是多样的,既有客观因素又有主观因素;由于人的需要的满足程度是一个动态标准,所以物品的使用价值量是不能够精确计量的。
补充资料：安侬痛 ,阿那度尔,安那度尔,甲替啶
药物名称：安那度尔
英文名：Alphaprodine
别名： α-普洛丁;阿法罗定;安那度;安侬痛 ,阿那度尔,安那度尔,甲替啶
外文名：Alphaprodine ,α-Prodine, Nisentil, Prisilidene
适应症：
用于需短时止痛(镇痛起效比吗啡迅速,皮下注射5min即见效)，如小手术时以及手术后的止痛，又可与阿托品合用于胃肠道、泌尿道等平滑肌痉挛性疼痛的止痛。
用量用法：
皮下注射：１次１０～２０ｍｇ，１日２０～４０ｍｇ。 静注：１次２０ｍｇ。 极量：１次３０ｍｇ，１日６０ｍｇ。
注意事项：
1.亦有成瘾性，不宜久用。 2.有眩晕、无力、多汗等不良反应。 3.分娩时慎用，可能会引起胎儿窒息。
规格：注射液：每支１０ｍｇ（１ｍｌ）、２０ｍｇ（１ｍｌ）、４０ｍｇ（１ｍｌ）。
类别：镇痛药\阿片受体激动药
英文名：Alphaprodine
别名： α-普洛丁;阿法罗定;安那度;安侬痛 ,阿那度尔,安那度尔,甲替啶
外文名：Alphaprodine ,α-Prodine, Nisentil, Prisilidene
适应症：
用于需短时止痛(镇痛起效比吗啡迅速,皮下注射5min即见效)，如小手术时以及手术后的止痛，又可与阿托品合用于胃肠道、泌尿道等平滑肌痉挛性疼痛的止痛。
用量用法：
皮下注射：１次１０～２０ｍｇ，１日２０～４０ｍｇ。 静注：１次２０ｍｇ。 极量：１次３０ｍｇ，１日６０ｍｇ。
注意事项：
1.亦有成瘾性，不宜久用。 2.有眩晕、无力、多汗等不良反应。 3.分娩时慎用，可能会引起胎儿窒息。
规格：注射液：每支１０ｍｇ（１ｍｌ）、２０ｍｇ（１ｍｌ）、４０ｍｇ（１ｍｌ）。
类别：镇痛药\阿片受体激动药
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条