構造計算

姉齒秀次偽造結構計算書事件是一宗發生於日本的建築舞弊案件，日文原名「構造計算書偽造問題」或「耐震偽装問題」。該案於2005年末被揭發，起因於一級建築師姉齒秀次基於個人利益而長期偽造結構計算書，導致其經手的許多公寓、大廈和賓館等的建築實際上不能符合《建築基準法（日语：建築基準法）》所規定的抗震強度。此

可重組計算（Reconfigurable computing） 是一種具有高度彈性運算組織構造（英语：computing fabric）的電腦處理方式（英语：computer processing）。和使用平常的微處理器主要不同的地方在於，可重組計算具有能力對資料路徑（英语：data path）和控制流程做實質上的改變。

计算在内。按其构造运动、古生物、古地磁等的特征，可以把这37个地块分成五个构造域，即亲西伯利亚构造域、中朝构造域、西域构造域、亲扬子构造域和亲冈瓦纳构造域。不同的构造域内的地块，在祁连运动中的表现是不同的。 具体来说，亲西伯利亚构造域地块、西域构造域地块和亲扬子构造域地块在祁连期有比较明显的构造

构造性证明（英語：Constructive proof）是数学证明方法的一种，通过直接或间接构造出具有命题所要求的性质的实例来完成证明。与构造性证明相对的概念是非构造性证明。后者只证明满足命题要求的物体存在，而不提供具体的实例或构造这样的实例的方法。 构造性证明也可以指数学构成主义中被认可的一种更强

arithmetic（英语：Presburger arithmetic）、布尔可满足性问题（参见SAT solver）和背包问题。 计算机科学主题 時間複雜度 遊戲複雜度 空间复杂度 计算理论 可计算性理论 計算複雜性理論 Khuller, S. and Vazirani, V. V. 1991. Planar graph