satisfiable造句

• The result is satisfiable
  得到了令人满意的识别结果。
• It is a very feasible operation with relatively invasive procedure and satisfiable functional recovery . it is effective treatment we strongly recommend
  闭合穿钉内固定治疗不稳定性胫骨骨折,其手术方法简便易行,手术损伤小,功能恢复满意,是一个效果确实值得推广的方法
• In the end of my paper , i provide a realizable eihdr system scheme based on j2ee and achieve a comparatively satisfiable effect in the cource of practical enterprise applications
  最后给出了基于j2ee架构的系统设计与实现方案，并成功地运行于实际的企业应用中，取得了较好效果。
• The structural system has considerable energy - dissipation capacity , so can be generalized and used in medium seismic zones . due to exerting prestress , the structure has satisfiable self - centering capability
  结果表明，该结构形式若设计得当，是可以形成梁铰耗能机构及整体破坏机制的，且该结构形式具有一定的耗能能力，可以在中等地震区推广使用。
• Using these algorithms , we can use computer mechanically to list truth value table of a group of propositional formulae , determine that if a given propositional formula is a tautology , a contradiction , or if the formula is satisfiable
  给出了命题逻辑中任一命题公式的真值表的生成算法与命题公式类型的判定算法，实现了利用计算机对有限多个命题公式的真值表的直接计算和输出，以及对一个命题公式是重言式、矛盾式或可满足式的机械判定。
• Although the notebook pc could be used as the main device of mobile office because of its strong information processing capability , its portability and communication capability ( the telephone line or network like could be used here , but that will diminish its mobility a lot . ) are not satisfiable
  但利用笔记本电脑作为移动办公的载体虽然有信息处理能力强的优点，但由于携带不方便，通讯能力较弱（或者利用电话线或网线，这样如同没有移动性） 。
• Although the notebook pc could be used as the main device of mobile office because of its strong information processing capability , its portability and communication capability ( the telephone line or network like could be used here , but that will diminish its mobility a lot . ) are not satisfiable
  虽然后来出现了电子记事本与掌上pc ，但由于其处理信息的能力或者通讯不方便等原因，无法获得完美的性能，从而提出一种新的处理方式，通过移动短信来处理事物过程。
• Meanwhile , by using delaminating combination finite element method and macro finite element analysis methods , the paper present two kinds of analysis programs . based on the aforementioned analysis program , the failure form , distribution of plastic hinge , load - carrying capacity , displacement and ductility characteristics are investigated to reveal the failure mechanism and the failure proceeding under seismic effects . the results are in good agreement with the test results , indicating the precision of the aforementioned two programs is satisfiable to the practical engineering design
  分别采用分层组合式有限元和宏观有限元分析方法，编写了2种钢筋混凝土中高带边框柱剪力墙结构的弹塑性有限元分析程序，同时利用上述2种分析程序，研究了模型结构的破坏形态、塑性铰的分布、承载力、位移及延性性能等特性，探讨了这类结构在地震作用下的破坏全过程与破坏机理，得到其主要受力特性和抗震性能的一般规律，所得结果与试验值吻合较好，表明上述2种程序分析结果的精度均可满足实际工程的设计要求，因此可用于这类结构的抗震性能分析与设计。