1 ★★★內力組合與梁端彎矩調幅 一、控制截面 1．柱：上、下端截面 2．梁：左、中、右截面 3．截面配筋設計時，應取梁端內力，而不是計算簡圖中的軸線 處內力！ P67 圖 4-18: M ’=M-V*b/2 V’=V-(g+p)*b/2 g、p：梁上分布的恒載和活載。 當計算水平荷載或豎向集中荷載產生的內力時，則 V’=V。 二、荷載效應組合 ——按第三章第二節要求（七種可能，實際多余七種計算） P36-39 三、最不利內力組合 1． 梁端截面： +Mmax—配置底筋 - Mmax—配置支座面筋 Vmax—配置箍筋 2． 跨中截面： +Mmax—配置底筋 3．柱端截面： (1)| M | max 及相應的 N，V (2) Nmax 及相應的 M，V (3) Vmax 及相應的 M，N 2 四、豎向最不利位置 按 P70 第四種方法：不考慮活荷載的最不利布置，按均布 處理，對

為了在早期階段發現電路設計錯誤,需要對包含未知部分的實現電路和規范電路進行等價性驗證。本文提出了一種"分而治之"的方法,把電路劃分成若干子電路,使用四值邏輯模擬技術對電路未知部分進行量化,然后對子電路的合取范式進行可滿足性驗證。這種方法增強了算法的錯誤檢測能力,通過在ISCAS’85基準電路和10個簡單組合電路上得到的兩組實驗數據表明了此算法的有效性和可行性。