组合性

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个简单组合电路上得到的两组实验数据表明了此算法的有效性和可行性。