分層裝配支撐鋼框架房屋技術(shù)規(guī)程

同濟(jì)大學(xué)

本規(guī)程共分9章，主要技術(shù)內(nèi)容包括：總則，術(shù)語(yǔ)和符號(hào)，基本規(guī)定，建筑設(shè)計(jì)，結(jié)構(gòu)設(shè)計(jì)，樓屋蓋、墻板與樓梯設(shè)計(jì)，地基基礎(chǔ)，防腐與防火，施工、驗(yàn)收及維護(hù)。2100433B

陳以一　王　偉　侯和濤　周靜敏　彭　禮　李茂杰　王　帆 鄭毅敏　郭金成　陳道武　丁潔民　漆蔚波　李偉興　田雨澤 周新文　趙仕興　陳　明　潘常升　王宇偉　郭　寧　盧恩光 李政華　湯榮偉　杜建設(shè)　姜?jiǎng)P寧　蔡秩培　陳建國(guó)　沈萬(wàn)玉 陳越時(shí)　胡書(shū)領(lǐng)　曹萬(wàn)林　劉天飛　孫　卿　楊新華　江忠良 服部尚基　蔣　濤　蒯從倫　孟憲斌　蔡　菲　李明珂

文件全文

關(guān)于發(fā)布《裝配整體式混合框架結(jié)構(gòu)技術(shù)規(guī)程》的通知

• 2015年04月08日

• 【字體： 大 中 小】

各設(shè)區(qū)市、省直管縣（市）住房城鄉(xiāng)建設(shè)局（建設(shè)局），華北石油管理局：

根據(jù)省住房城鄉(xiāng)建設(shè)廳《2015年度河北省工程建設(shè)標(biāo)準(zhǔn)和標(biāo)準(zhǔn)設(shè)計(jì)第一批編制計(jì)劃》（冀建質(zhì)〔2015〕13號(hào)）要求，由河北合創(chuàng)建筑節(jié)能科技有限公司和河北省建筑科學(xué)研究院編制的《裝配整體式混合框架結(jié)構(gòu)技術(shù)規(guī)程》，已通過(guò)審查，現(xiàn)批準(zhǔn)為河北省工程建設(shè)標(biāo)準(zhǔn)，編號(hào)為DB13(J)/T184—2015，自2015年6月１日起實(shí)施。

本規(guī)程由河北合創(chuàng)建筑節(jié)能科技有限公司負(fù)責(zé)具體技術(shù)內(nèi)容的解釋，由河北省工程建設(shè)標(biāo)準(zhǔn)化管理辦公室負(fù)責(zé)管理。

河北省住房和城鄉(xiāng)建設(shè)廳

2015年4月8 2100433B

9月18日消息，經(jīng)住建部批準(zhǔn)，《租賃式住房裝配技術(shù)規(guī)程》正在制定，于2019年上半年公布并實(shí)行。長(zhǎng)租公寓與房屋業(yè)主簽訂的租賃合同大多在三到五年，而單套房屋的裝修成本在5-8萬(wàn)元，為了盡快收回成本，裝修之后立刻出租是大部分企業(yè)的普遍選擇。中國(guó)建筑裝飾協(xié)會(huì)相關(guān)負(fù)責(zé)人表示，正在著手編制租賃式住房裝配技術(shù)規(guī)程，讓房屋質(zhì)量安全有行業(yè)性的規(guī)范去引導(dǎo)。 2100433B

解析分層亦稱解析譜系。按照量詞復(fù)雜性對(duì)解析關(guān)系所作的遞歸論分層。與算術(shù)分層類似，任何解析關(guān)系可以用算術(shù)關(guān)系加上有窮個(gè)交替出現(xiàn)的二階函數(shù)量詞?′與?′表示，依照量詞個(gè)數(shù)，可以將該解析關(guān)系納入具體的解析分層Σ¹_n或π¹_n中。形式地，具體的解析分層Σ¹_n，π¹_n，Δ¹_n可遞歸定義如下：

1.Σ¹₀=π¹₀={R：R為算術(shù)關(guān)系}。

2.Σ¹_{n 1}={(?′f)R(f，f₁，f₂，…，f_k，x₁，x₂，…，x_m)：R∈π¹_n}.

3.π¹_{n 1}={(?′f)R(f，f₁，f₂，…，f_k，x₁，x₂，…，x_m)：R∈Σ¹_n}。

4.Δ¹_n=Σ¹_n∩π¹_n.

Σ¹_n，π¹_n與Δ¹_n中的關(guān)系分別稱為Σ¹_n關(guān)系、π¹_n關(guān)系與Δ¹_n關(guān)系，此外，Δ¹_w定義為：∪{Σ¹_n∪π¹_n：n∈ω}，即所有解析關(guān)系的集合。此外，對(duì)n≥1，Σ¹_n關(guān)系可表示成下形范式：

(?′f₁)(?′f₂)…(Q_nf_n)(Qx)

R(f₁，…，f_n，f_{n 1}，…，f_{n p}，x，x₁，…，x_q)，

其中若n為偶數(shù)，Q¹_n為?′，Q⁰為?⁰；若n為奇數(shù)，Q¹_n為?′，Q⁰為?⁰；而R為遞歸關(guān)系。π¹_n關(guān)系也可表示成以?′開(kāi)頭的類似表達(dá)式.解析分層還具有如下封閉性：

1.Σ¹_n，π¹_n，Δ¹_n對(duì)合取、析取運(yùn)算與一階量詞封閉。

2.Δ¹_n對(duì)否定運(yùn)算封閉。

3.R∈Σ¹_n，當(dāng)且僅當(dāng)?R∈π¹_n；

R∈π¹_n，當(dāng)且僅當(dāng)?R∈Σ¹_n。

4.對(duì)n≥1，Σ¹_n對(duì)二階量詞?′封閉，π_n對(duì)二階量詞?′封閉。

關(guān)于解析分層的其他性質(zhì)，參見(jiàn)“解析枚舉定理”。此外，與算術(shù)分層不同，Δ¹₁≠Σ¹₀=π¹₀=Δ¹₀，Δ¹₁的關(guān)系稱為超算術(shù)關(guān)系。