1) Form insufficiency
形式不足
2) unsatisfiable subformula
不可满足子式
1.
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.
不可满足子式能够为布尔公式不可满足的原因提供精确的解释,帮助应用领域的自动化工具迅速定位错误,诊断问题失败的本质缘由。
2.
A small unsatisfiable subformula can provide a succinct explanation of infeasibility,and help automatic tools to rapidly locate the errors,and determine the underlying reasons for the failure.
解释布尔公式不可满足的原因在众多领域都具有非常重要的理论与应用价值,而不可满足子式能够为公式不可满足的原因提供精确的解释,帮助应用领域的自动化工具迅速定位错误,诊断问题失败的本质缘由。
3) unsatisfiable formula
不可满足公式
1.
Restricted on the proof of unsatisfiability of unsatisfiable formulas,a modified DPLL—RSMLS algo- rithm is presented.
限制在不可满足公式的不可满足性的证明,给出了一个改进的DPLL算法—RSMLS。
4) unsatisfiable formulas
不可满足公式
1.
MU(1) is a class of minimally unsatisfiable formulas with the deficiency of the number of cl.
MU(1)是子句数与变元数的差等于 1 的极小不可满足公式类。
2.
MU( 1) is a class of minimal unsatisfiable formulas with the deficiency of the number of clauses and.
MU(1)是子句数与变元数的差等于1的极小不可满足公式类。
5) invariant form
不变形式
1.
The important notions and results of the integral invariants of Poincaré and Cartan-Poincaré and the relationship between integral invariant and invariant form established first by E.
Cartan在经典力学中首先建立的积分不变量和不变形式的关系推广到Kahler流形上的Hamilton力学中去,得到相应的更广泛的结果。
6) indefinite form
不定形式
补充资料：内部形式与外部形式
标示形式自身相互区别的一对哲学范畴，即表现事物内容的两种不同的方式。内部形式是内容的内在组织结构，内容诸要素间的本质联系；外部形式是内容的外在的非本质的联系方式，是使不同内容的事物相互区别的外部形态、外部表现。内部形式和内容不可分割，和内容一起表现着事物的本质方面，其发展变化直接影响着内容的发展变化。它包含在内容自身之中，在一定意义上是内容的组成部分、因素和环节，和内容是直接统一的。外部形式同事物的现象相联系,是内容的外观,它以外在的表现形式对内容发生影响。外部形式同内容的联系不具有内部形式那样的内在性、直接性，它和内容不是直接统一的。
内部形式和外部形式的区分对于文学艺术具有重要意义。文学艺术内容的内部结构性、组织性，形象联系的合理性、协调性和完整性等，直接表现着文学艺术作品的思想主题，它们是和文学艺术内容直接统一的内部形式。在此意义上，内部形式也就是内容的组成部分。文学艺术作品的内容又要通过物质材料，通过文学艺术思想的物化形态表现出来，以供观赏。物质材料等文学艺术思想的物化形态，构成文学艺术的外部形式。对于文学艺术来说，其外部形式具有重要的作用。事物的外部形式具有不同的层次，其中，有些同事物的内容存在着一定联系，有些则同事物的内容并不直接相关。
唯物辩证法首先重视事物的内部形式，认为内部形式和内容一起共同表现着事物的本质，它对于理解和把握事物的发展具有重要意义。与此同时，也注意事物的外部形式，认为它是影响事物发展的一个因素。
内部形式和外部形式的区分对于文学艺术具有重要意义。文学艺术内容的内部结构性、组织性，形象联系的合理性、协调性和完整性等，直接表现着文学艺术作品的思想主题，它们是和文学艺术内容直接统一的内部形式。在此意义上，内部形式也就是内容的组成部分。文学艺术作品的内容又要通过物质材料，通过文学艺术思想的物化形态表现出来，以供观赏。物质材料等文学艺术思想的物化形态，构成文学艺术的外部形式。对于文学艺术来说，其外部形式具有重要的作用。事物的外部形式具有不同的层次，其中，有些同事物的内容存在着一定联系，有些则同事物的内容并不直接相关。
唯物辩证法首先重视事物的内部形式，认为内部形式和内容一起共同表现着事物的本质，它对于理解和把握事物的发展具有重要意义。与此同时，也注意事物的外部形式，认为它是影响事物发展的一个因素。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条