查询词典 infeasibility

An unsatisfiable subformula can provide a succinct explanation of infeasibility, and help application automatic tools to rapidly locate the errors, and to determine the underlying reasons for the failure.

不可满足子式能够为布尔公式不可满足的原因提供精确的解释，帮助应用领域的自动化工具迅速定位错误，诊断问题失败的本质缘由。

A minimal unsatisfiable subformula can provide a succinct explanation of infeasibility of formulae in satisfiability modulo theories, and could be used in automatic tools to rapidly locate the errors.

极小不可满足子式能够为可满足性模理论公式的不可满足的原因提供精确的解释，帮助自动化工具迅速定位错误。

For the infeasibility or unsolvability of the "Mixed Integer Programming" formulations, this study develops a heuristic algorithm to solve "Mater Planning" problem with fixed setup cost and time.

基於整数规划的不可行性，本研究提出一启发式演算法以解决主规划排程的问题，除了满足多最终产品的产品结构、复杂的供应链网路架构和多张订单需求、多期与共用料的环境，并加入整备成本与时间的考量规划整体供应链的生产与配送计画。

However, as the name（read－only memory）implies, CD disks cannot be written onorchanged in any way.

然而，正如其名字所指出的那样，CD盘不能写，也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口，替代木托盘，免薰蒸，符合欧盟、北美各国对出口货物包装材料的法令要求；喷涂钢托盘适用于重载上货架之用，托盘表面根据需要制作成平板状、波纹状及间隔形式，满足不同的使用要求。