给出了基于交互语义分析的约束算法及利用约束知识建立房间拓扑结构的算法。
The constraint solution algorithm based on interaction semanteme is put forward and the algorithm witch construct topology structure making use of constraint knowledge is put forward too.
分析了飞行器协同设计中冲突问题产生的原因和冲突的特点，并结合国内外研究情况，在研究冲突的约束知识表达方法的过程中提出了一种层次约束网络。
The causation and character of conflict in aircraft cooperative design were analyzed, and a layered constraint network was given during the research on constraint knowledge expression.
有时候可以根据问题域的理论知识预测复杂性，但是在编写代码时，又会产生新的约束和机会，这些实际上是无法预测的。
You can sometimes predict complexity based on speculative knowledge of the problem domain, but writing code creates new constraints and opportunities that are virtually impossible to predict.
应用推荐