同济大学

本规程共分9章，主要技术内容包括：总则，术语和符号，基本规定，建筑设计，结构设计，楼屋盖、墙板与楼梯设计，地基基础，防腐与防火，施工、验收及维护。2100433B

陈以一　王　伟　侯和涛　周静敏　彭　礼　李茂杰　王　帆 郑毅敏　郭金成　陈道武　丁洁民　漆蔚波　李伟兴　田雨泽 周新文　赵仕兴　陈　明　潘常升　王宇伟　郭　宁　卢恩光 李政华　汤荣伟　杜建设　姜凯宁　蔡秩培　陈建国　沈万玉 陈越时　胡书领　曹万林　刘天飞　孙　卿　杨新华　江忠良 服部尚基　蒋　涛　蒯从伦　孟宪斌　蔡　菲　李明珂

文件全文

关于发布《装配整体式混合框架结构技术规程》的通知

• 2015年04月08日

• 【字体： 大 中 小】

各设区市、省直管县（市）住房城乡建设局（建设局），华北石油管理局：

根据省住房城乡建设厅《2015年度河北省工程建设标准和标准设计第一批编制计划》（冀建质〔2015〕13号）要求，由河北合创建筑节能科技有限公司和河北省建筑科学研究院编制的《装配整体式混合框架结构技术规程》，已通过审查，现批准为河北省工程建设标准，编号为DB13(J)/T184—2015，自2015年6月１日起实施。

本规程由河北合创建筑节能科技有限公司负责具体技术内容的解释，由河北省工程建设标准化管理办公室负责管理。

河北省住房和城乡建设厅

2015年4月8 2100433B

9月18日消息，经住建部批准，《租赁式住房装配技术规程》正在制定，于2019年上半年公布并实行。长租公寓与房屋业主签订的租赁合同大多在三到五年，而单套房屋的装修成本在5-8万元，为了尽快收回成本，装修之后立刻出租是大部分企业的普遍选择。中国建筑装饰协会相关负责人表示，正在着手编制租赁式住房装配技术规程，让房屋质量安全有行业性的规范去引导。 2100433B

解析分层亦称解析谱系。按照量词复杂性对解析关系所作的递归论分层。与算术分层类似，任何解析关系可以用算术关系加上有穷个交替出现的二阶函数量词ᗄ′与∃′表示，依照量词个数，可以将该解析关系纳入具体的解析分层Σ¹_n或π¹_n中。形式地，具体的解析分层Σ¹_n，π¹_n，Δ¹_n可递归定义如下：

1.Σ¹₀=π¹₀={R：R为算术关系}。

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中的关系分别称为Σ¹_n关系、π¹_n关系与Δ¹_n关系，此外，Δ¹_w定义为：∪{Σ¹_n∪π¹_n：n∈ω}，即所有解析关系的集合。此外，对n≥1，Σ¹_n关系可表示成下形范式：

(∃′f₁)(ᗄ′f₂)…(Q_nf_n)(Qx)

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

其中若n为偶数，Q¹_n为ᗄ′，Q⁰为∃⁰；若n为奇数，Q¹_n为∃′，Q⁰为ᗄ⁰；而R为递归关系。π¹_n关系也可表示成以ᗄ′开头的类似表达式.解析分层还具有如下封闭性：

1.Σ¹_n，π¹_n，Δ¹_n对合取、析取运算与一阶量词封闭。

2.Δ¹_n对否定运算封闭。

3.R∈Σ¹_n，当且仅当ᒣR∈π¹_n；

R∈π¹_n，当且仅当ᒣR∈Σ¹_n。

4.对n≥1，Σ¹_n对二阶量词∃′封闭，π_n对二阶量词ᗄ′封闭。

关于解析分层的其他性质，参见“解析枚举定理”。此外，与算术分层不同，Δ¹₁≠Σ¹₀=π¹₀=Δ¹₀，Δ¹₁的关系称为超算术关系。