satisfiable

美:[´sætɪsˌfaɪəbl]   英:[´sætɪsˌfaɪəbəl]

中文翻译

adj. 可以满足的

网络解释

可满足的; 可以满足的; 可满足式

英文短语

  • 1.Requested Range not satisfiable 所请求的范围无法满足;不满足;范围不符合要求;请求范围不符合
  • 2.Satisfiable Formulas 可满足公式
  • 3.satisfiable formula [数]可满足公式
  • 4.satisfiable problem 满足问题
  • 5.Range Not Satisfiable 的范围不合适
  • 6.maximal satisfiable subformula 极大可满足子式
  • 7.satisfiable assignment operator 可满足赋值算子
  • 8.Request Range Not Satisfiable 请求的范围无效或无法满足
  • 9.satisfiable propositional formula 命题可满足公式
  • 英文例句

  • 1.Let´s assume the problem is satisfiable.让我们假定这个问题是可满足的。
  • 2.It still produces a unambiguous, satisfiable layout.它还是生成一个清晰满足的布局。
  • 3.In this latter case, we would say that the function is unsatisfiable; otherwise it is satisfiable.在这后一种情况下,我们可以说,是不可满足的功能,否则它是满足的。
  • 4.The probability of the event predicted can be given by Markov Model. The precision is satisfiable.经检验,两模型可预测流域旱涝灾害发生的时间及其概率,并具有较高的精度。
  • 5.That means all of the layouts produce a nonambiguous, satisfiable layout along the horizontal axis.这说明所有的布局在水平轴方向上都产生一个清晰的,满足的布局。

  • 其他单词翻译

    英文单词 中文含义
    IDE

    n. 圆腹雅罗鱼

    ICW

    abbr. interrupted continuous waves 断续(等幅)波

    网络解释

    内水; 国际妇女理事会(International Council of Women); Indonesia Corruption Watch

    IDF

    台湾空军和海军研制的多用途战斗机;原型机命名为“经国”号;因试飞时多次发生意外;被戏称为“I Don't Fly”

    网络解释

    国际糖尿病联盟(International Diabetes Federation); 英特尔信息技术峰会(Intel Developer Forum); 以色列国防军(Israeli Defense Forces)

    ICMP

    abbr.网间控制报文协议(InternetControlMessagesProtocol);因特网信报控制协议

    ID

    n. 遗传素质;本能冲动;身份证;标识符

    IDI

    [地名] [希腊] 伊季山;[地名] [印度尼西亚] 伊迪

    网络解释

    IBM Directory Integrator; 脱碘酶; 信息化发展指数

    IDK

    [医][=internal derangement of knee joint]膝关节不全脱位,膝关节内脱位;(网络用语) I Don't Know (我不知道,现在多用I HAVE NO IDEA 来代替这个表达)

    IDIA

    abbr. Industrial Design Institute of Australia 澳大利亚工业设计学会

    网络解释

    幼鼠; 劳动纠纷调查法案; 私人个体

    IE

    abbr. Ireland 爱尔兰共和国

    网络解释

    工业工程(Industrial Engineering); 浏览器(Internet Explorer); 工业工程师(Industrial Engineer)

    IDMS

    abbr.综合数据库管理系统(IntegratedDatabaseManagementSystem)

    网络解释

    同位素稀释质谱法(isotope dilution mass spectrometry); 综合数据库管理系统(Integrated Database Management System); Integrated Data Management System

    IEA

    abbr. International Education Association 国际教育协会;International Energy Agency 国际能源署

    网络解释

    国际能源署(International Energy Agency); 国际能源总署; 国际能源组织

    IDN

    abbr. Indonesia 印度尼西亚

    网络解释

    国际化域名(Internationalized Domain Name); 国际域名; 国际化域名(Internationalized Domain Names)

    IECE

    [计]= Institute of Electrical Communication Engineers,电气通信工程师学会

    IDNA

    [医][=intercalary deoxyribonucleic acid]嵌入的脱氧核糖核酸

    IED

    abbr. improvised explosive device 简易爆炸装置;individual effective dose 个别有效剂量

    IDP

    abbr.集中数据处理(integrateddataprocessing);工业数据处理(industrialdataprocessing);国内流离失所者(internallydisplacedpersons);个人发展计划(individualdevelopmentplan)

    网络解释

    个人发展计划(Individual Development Plan); 澳大利亚教育国际开发署; 国际驾照(International Driving Permit)

    IEDA

    [医][=immune enzyme dot assay]免疫酶斑点法

    IDPR

    n.域间政策路由选择

    网络解释

    Inter-Domain Policy Routing; 域间策略路由选择; 域间策略路由协议

    IEDB

    集成式工程数据库

    网络解释

    工业工程数据; 抗原决定簇数据库

    IDT

    abbr.中断描述符表(InterruptDescriptorTable)

    网络解释

    中断描述符表(Interrupt Descriptor Table); 叉指换能器(Interdigital-Transducer); 等同采用(identical)