constructible
英
美
adj. 可构造的; 可以作图的
双语例句
- He conceived the first proof that the17-sided polygon is constructible.
他构思了17边形可以作图的第一个证明。 - Hovering the cursor over either diagram white space or a modeling element causes a bar to appear that contains the icons that represent context specific constructible elements.
将鼠标移到图的空白区域或一个建模元素上面，这个工具栏就会出现，其中有表示与上下文相关的可创建元素图标。 - If neither the second nor third option above is a valid option, T must be copy constructible and assignable.
如果上面第二和第三个选项都是有效选项，T必须是可构造和可赋值的副本。 - The constructible format of pottery and sculpture laboratory of fine arts colleges
普通高校美术院系陶雕实验室的构建方式 - It is still with restraint in respect of city coverage due to limited amount of constructible land, and the non-subsidence area in particular.
淮北市的城市规模和能够推出的建设用地，尤其是非沉陷区的土地相当有限。 - Copy constructible types must be able to be constructed from another member of the type.
可复制构造的类型必须能够从该类型的另一个对象进行构造。 - The associated topology is the constructible topology on X.
相应的拓扑是X之上的可构造拓扑。 - A mechanical proving system for constructible theorems in elementary geometry
构造型几何定理及其机器证明系统 - Some new methods or approaches are provided for developing constructible, extensible open software systems.
为开发可构造、可扩充的开放式软件系统提供了一些方法和手段。 - In this paper, it is suggested to study the Ramsey problems by the multiplication of ( 0, 1) matrices, and combining the idea of combinatorial games, the constructible ( algorithmic) lower bounds for a large class of the classical Ramsey numbers are shown.
本文提出用（0,1）矩阵的乘法来研究Ramsey问题，并结合组合竞赛观点给出一大类经典Ramsey数的构造性（算法性）下界。 - The structure of Steiner serial and some properties of Steiner extension were discussed. A conclusion that every circle in Steiner serial was constructible with straight-edge and compass was obtained.
讨论了Steiner列的结构，得到了Steiner扩张的一些性质，并推出每个Steiner列{sn}中，任意圆是可以尺规作出的。 - We focus on a particular class of subsets in the above topological space which is named support-bounded constructible subset as an analogue of constructible subsets in module variety and is invariant under derived equivalence.
我们研究了复形拓扑空间的一类特殊的子集合，称为支撑有界可构集，它是普通模簇上可构集在导出范畴上的类比并且是导出不变的。 - Symbolic interactionism, Ethnomethodology and Post-modernist re-construct theories in all have a different idea in their own angle, which establishes an excellent base for life theory entering Sociology. Secondly, have a deep research down to the constructible function of life theory.
符号互动论、常人方法学、后现代理论等社会学流派都从生活的不同角度重构了行动论，为生活理论走入社会学奠定了基础。其次，深入分析生活方式研究对社会学的建构功能。 - After constructing the sub-configurations of constructible merge patterns, free space of rigid components can be worked out. The unsatisfactory constraint can be constructed in free space.
通过对可构造模式子构型的构造，求出刚性体的自由转动和自由移动空间，在自由空间中构造未满足的几何约束。