一、灯具的安装方式：
1 线吊式 CP Wire(Cord) Pendant
2 链吊式 CH Chain Pendant
3 管吊式 P Pipe(Conuit) erected
4 壁装式 W Wall mounted
5 吸顶式或直附式 S Ceiling mounted (Absorbed)
6 嵌入式 R Recessed in
7 顶棚内安装 CR Coil Recessed
8 墙壁内安装 WR Wall Recessed
9 台上安装 T Table
10 柱上安装 CL Colum
二、国标的符号
线吊式自在器线吊式 SW Wire suspension type 链吊式 CS Catenary suspension type
管吊式 DS Conduit suspension type
壁装式 W Wall mounted type
吸顶式 C Ceiling mounted type
嵌入式 R Flush type
顶棚内安装 CR Recessed in ceiling
墙壁内安装 WR Recessed in wall
支架上安装 S Mounted on support
柱上安装 CL Mounted on columm
座装 HM Holder mounting
三、标注代号对照
施工图专用——线路敷设方式代号
施工图专用——线路敷设方式代号
线路敷设方式代号
PVC——用阻燃塑料管敷设
DGL——用电工钢管敷设
VXG——用塑制线槽敷设
GXG——用金属线槽敷设KRG——用可挠型塑制管敷设
⑦线路明敷部位代号
LM—沿屋架或屋架下弦敷设
ZM——沿柱敷设
QM——沿墙敷设
PL——沿天棚敷设
③线路暗敷部位代号
LA——暗设在梁内
ZA—暗设在柱内
QA—暗设在墙内
PA——暗设在屋面内或顶棚内
DA——暗设在地面或地板内
PNA—暗设在不能进入的吊顶内
④照明灯具安装方式代号
D——吸顶式
L——链吊式
G———管吊式
B——壁装式
R———嵌入式
BR———墙壁内安装
其中：
a--灯数
b--型号或编号
c--每盏照明灯具的灯泡个数
d--灯泡容量，W e--灯泡安装高度，
f--安装方式
L--光源种类，白炽灯或荧光灯
第28卷 第11期2005年11月 计 算 机 学 报 CH INESE JOURNA L OF COM PU TERS V ol.28N o.11 No v.2005 收稿日期:2004-08-29;修改稿收到日期:2005-07-14.本课题得到国家自然科学基金(60496327,10410638,60473004)、广东省自然科学 基金团队项目(04205407)与教育部留学回国人员科研启动基金以及上海市智能信息处理重点实验室(筹)开放课题资助.苏开乐,男,1964年生,教授,博士生导师,研究兴趣包括模型检测、知识推理、非单调推理、多智能体系统、模态逻辑、时态逻辑、概率推理、安全协议验证和逻辑程序设计等.E -mail:issraymond@https://www.doczj.com/doc/0310785344.html,.骆翔宇,男,1974年生,博士研究生,研究兴趣包括模型检测、时态逻辑、模态逻辑、知识推理、多智能体系统、安全协议验证和逻辑程序设计等.吕关锋,男,1973年出生,博士研究生,研究兴趣包括模型检测、知识推理、多智能体系统、模态逻辑、时态逻辑、概率推理、安全协议验证和逻辑程序设计等. 符号化模型检测CTL * 苏开乐 1),2) 骆翔宇1) 吕关锋 3) 1) (中山大学计算机科学系 广州 510275) 2)(河南科技大学电子信息工程学院 洛阳 471003) 3)( 北京工业大学计算机科学与技术学院 北京 100022) 摘 要 提出了一个关于时态逻辑CT L *的符号化模型检测算法.该算法通过所谓的tableau 构造方法来判定一个有限状态系统是否满足CT L *规范.根据该理论,作者已实现了一个基于O BDD 技术的CT L *符号化模型检测工具M CT K ,并完成了相当数量的实验.到目前为止,已知有名的符号化模型检测工具,如SM V 和N uSM V 等,都只能对CT L *的子集逻辑(如CT L ,L T L )进行检测,而文中算法的结果是令人满意的,并且当规范不是特别复杂时,高效的CT L *符号化模型检测是可能的. 关键词 模型检测;时态逻辑;有序二值判定图(O BDD)中图法分类号T P 301 Symbolic Model Checking for CTL * SU Ka-i Le 1),2) LUO Xiang -Yu 1) LU Guan -Feng 1) 1) (Dep artment of Comp ute r Sc ienc e ,S un Yat -S en Univ er sity ,Guang z hou 510275) 2) (I nstitu te of E le ctr onics and I nf ormation Eng ine ering ,H enan Univ e rsity of S cie nce and T echnolog y ,L uoy ang 471003) 3)(Colle ge of Comp ute r Science and Tec hnology ,Be ij ing Univ er sity of T echnolog y ,B eij ing 100022) Abstract T his paper gives a symbolic m odel checking algo rithm for the temporal lo gic CT L * . The algo rithm determ ines w hether a finite state sy stem satisfies a form ula in CTL * using the method of sy mbolic tableau construction.According to our algor ithm,w e had implem ented a new CT L *sym bo lic m odel checker (M CTK)by m eans of OBDD and o btained so me ex perimental re -sults.U p to now ,the w el-l kno w n sy mbolic model checking tools (SM V,N uSM V etc.)have been implem ented only for the sublo gics of CT L *,such as CTL and LTL.T he results that w e have obtained in this paper are quite sur prising and show that efficient CT L *model checking is possible w hen the specifications are not ex cessiv ely complicated. Keywords model checking;tem poral log ic;Or dered Binary Decision Diagram s (OBDD) 1 引 言 1.1 概述 模型检测是一种被广泛使用的验证有限状态系 统满足规范的自动化技术.在这里,形式化规范被描 述为时态逻辑公式,如工具SPIN [1]及FORSPEC [2]使用的LT L (线性时态逻辑)、SMV 中使用的CT L (分支时态逻辑)[3].这些验证技术被称为时态逻辑模型检测,是由Clarke 和Em erson [4]及Queille 和
精心整理@表示钢筋间距 Φ表示钢筋型号，CAD快捷键一览 创建三维阵列3A 加载 输出选择对象的链接信息AEX 管理对象和外部数据库之间的链接ALI 显示并编辑表数据并创建链接和选择集ARO
从链接到文字选择集和图形选择集的行中创建选择集ASE 在命令行创建和修改标注样式DST或DIMSTY 移动和旋转标注文字DIMTED 测量两点之间的距离和角度DI 将点对象或块沿对象的长度或周长等间隔排列DIV 创建根据特性选择有关对象时用到的过滤器列表FI 创建对象的命名选择集G 使用命令行创建选择集-G 用图案填充一块指定边界的区域-H 修改现有的图案填充对象HE
重生成三维模型时不显示隐藏线HI 以多种格式向AutoCAD图形文件中插入图像IM 使用命令行插入图像-IM 控制选定图像的亮度、对比度和褪色度IAD 向当前图形中定义并附着新的图像对象IAT 向 设置线型比例因子LTS 把某一对象的特性复制到其他若干对象MA 将点对象或块按指定的间距放置ME 创建对象的镜像副本MI 创建多线ML
在指定方向上按指定距离移动对象M 从图纸空间切换到模型空间视口MS 创建多行文字T或MT 使用命令行创建多行文字-T 创建浮动视口和打开现有的浮动视口MV 从模型空间视口切换到图纸空间PS 删除数据库中未用的命名对象，例如块或图层PU 退出AutoCADEXIT 绘制矩形多段线REC 刷新显示当前视口R
刷新显示所有视口RA 重生成图形并刷新显示当前视口RE 重新生成图形并刷新所有视口REA 从选择的一组现有对象中创建面域对象REG 修改对象名-REN 在X 创建二次或三次样条曲线SPL 编辑样条曲线对象SPE 移动或拉伸对象S 创建命名样式ST 用差集创建组合面域或实体SU
施工图常用符号及图例大全（收藏备查） 一、识图 1、先读首页图：从首页图中的图纸目录中，可以了解到该套房屋施工图由那几类专业图纸组成、各专业图纸有多少张，每张图纸的图名及图号。 2、阅读设计总说明：从中可了解设计的依据、设计标准以及施工中的基本要求，也可了解到图中没有绘出而设计人员认为应该说明的内容。 3、建筑施工图——结构施工图——设备施工图顺序逐张阅读。 4、在各类专业图纸阅读中，基本图和详图要对照阅读，看清楚各专业图纸表示的主要内容。 5、如果建筑施工图和结构施工图发生矛盾，应以结构施工图为准（构件尺寸），以保证建筑物的强度和施工质量。 二、建筑符号 1、定位轴线 （1）作用 定位轴线是施工中墙身砌筑、柱梁浇筑、构件安装等定位、放线的依据。 规定：主要承重构件，应绘制水平和竖向定位轴线，并编注轴线号；对非承重墙或次要承重构件，编写附加定位轴线。 （2）定位轴线的编号 横向定位轴线编号用阿拉伯数字，自左向右顺序编写； 纵向轴线编号用拉丁字母（除I、O、Z），自下而上顺序编写；
平面图上定位轴线的编号，宜标注在图样的下方与左侧，在两轴线之间，有的需要用附加轴线表示，附加轴线用分数编号； 对于详图上的轴线编号，若该详图同时适用多根定位轴线，则应同时注明各有关轴线的编号，如下图所示:
2、索引符号与详图符号 详细表示某些重要局部，需要另绘制其详图进行表达。 对需用详图表达部分应标注索引符号，并在所绘详图处标注详图符号。 3、标高符号 标高是标注建筑物高度方向的一种尺寸形式，以米为单位。 绝对标高：以青岛附近黄海平均海平面为零点测出的高度尺寸，它仅使用在建筑总平面图中。 相对标高：以建筑物底层室内地面为零点测出的高度尺寸。 建筑标高：指楼地面、屋面等装修完成后构件的表面的标高。如楼面、台阶顶面等标高。
各种检验方法 1.单个总体2 Nμσ的均值μ的检验: (,) 2 σ已知,关于均值的检验用ztest命令来实现. [h,p,ci]=ztest(x,mu,sigma,alpha,tail) 2 σ已知,关于均值的检验用ttest命令来实现. [h,p,ci]=ttest(x,mu,alpha,tail) 2.两个正态总体均值差的检验（t 检验） 还可以用t 检验法检验具有相同方差的2 个正态总体均值差的假设。在Matlab 中 由函数ttest2 实现，命令为： [h,p,ci]=ttest2(x,y,alpha,tail) 3.分布拟合检验 在实际问题中，有时不能预知总体服从什么类型的分布，这时就需要根据样本来检 验关于分布的假设。下面介绍2χ检验法和专用于检验分布是否为正态的“偏峰、峰度 检验法”。 2 χ检验法 0 H ：总体x的分布函数为F(x) , 1 H : 总体x的分布函数不是F(x). 在用下述χ 2检验法检验假设0 H 时，若在假设0 H 下F(x)的形式已
知，但其参数 值未知，这时需要先用极大似然估计法估计参数，然后作检验。 偏度、峰度检验 4．其它非参数检验 Wilcoxon秩和检验 在Matlab中，秩和检验由函数ranksum实现。命令为： [p,h]=ranksum(x,y,alpha) 其中x，y可为不等长向量，alpha为给定的显著水平，它必须为0和1之间的数量。p返回 产生两独立样本的总体是否相同的显著性概率，h返回假设检验的结果。如果x和y的总 体差别不显著，则h为零；如果x和y的总体差别显著，则h为1。如果p 接近于零，则可对 原假设质疑。 5．中位数检验 在假设检验中还有一种检验方法为中位数检验,在一般的教学中不一定介绍,但在 实际中也是被广泛应用到的。在Matlab中提供了这种检验的函数。函数的使用方法简单， 下面只给出函数介绍。 signrank函数
工程图纸名词大全 建筑图纸符号大全 在建筑设计图中，l表示是梁、ll表示是连续梁、ql表示圈梁、jl表示基础梁、tl表示是梯梁、dl表示是地梁，z表示柱、gz表示构造柱、kz表示框架柱，m表示是门、c表示是窗。@表示钢筋间距Φ表示钢筋型号， 下面谈谈一些经验， 1、正规的建筑设计，要有设计者签名，建筑图纸负责人签名，审定者签名，校对人签名，并加盖出图章，注册执业章。 2、建筑设计图纸中，长度一般以mm为，有加以说明的除外；看图时注意结合“建筑用料说明”与其他图纸进行综合。“建筑用料说明”中，在各小项的前面有打上“√”的，为该设计所采用的做法。没有打勾的，非该设计所采用的做法。 3、如在建筑设计图中：“c20钢筋砼jl（240400）配4φ16络φ6＠200箍。”解读为：强度为c的钢筋混凝土结构的基础梁，宽240mm，高400mm，配4条直径16厘（16mm）螺纹的主钢筋，每间隔200mm箍一个直径6厘的钢筋长方形环络。(长方形环络长约340--350 mm ，宽约180mm--190mm)。 4、如在建筑设计图中：“c20砼小柱（240240）配4φ12箍］6＠200。”其中，“］6＠200”为不规范标注，应为“φ6＠200”。解读为：强度为c20的钢筋混凝土结构的小梁，截面为长240mm，宽240mm，配4条直径12厘（12mm）螺纹的主钢筋，每间隔200mm箍一个直径6厘钢筋的长方形络。小柱高度看该工程所标示的层高减去圈梁的高度后加上板面的厚度，因为圈梁与板面是浇筑在一起。
5、如在建筑设计图中：m5水泥砂浆砌mu10贝灰砂砖。“m5”表示水泥砂浆的强度等级，“mu10”表示贝灰砂砖的强度等级。mu10代表贝灰砂砖的抗压强度平均值≥10mpa。 6、ql表示圈梁，圈梁的做法，通常用于砖混房屋建筑结构(混合结构)，即先砌墙，后用钢筋混凝土浇筑圈梁及板面。 7、框架结构的做法，即先浇筑柱体，大梁、小梁、板面等。待拆掉模板后再砌墙体。 8、根据质监的要求，可以要求承建方提供钢筋（每批次）的合格证，水泥（每批次）的合格证，mu10贝灰砂砖（每批次）的合格证，水泥砼的测试合格证。 如何看懂建建筑图纸审查要点 工程开工之前，需识图、审图，再进行图纸会审工作。如果有识图、审图经验，掌握一些要点，则事半功倍。现谈谈本人的识图、审图经验，供参考。 识图、审图的程序是：熟悉拟建工程的功能、熟悉、审查工程平面尺寸、熟悉、审查工程立面尺寸、检查施工图中容易出错的部位有无出错、检查有无改进的地方。 一、熟悉拟建工程的功能 图纸到手后，首先了解本工程的功能是什么，是车间还是办公楼？是商场还是宿舍？了解功能之后，再联想一些基本尺寸和装修，例如厕所地面一般会贴地砖、作块料墙裙，厕所、阳台楼地面标高一般会低几厘米；车间的尺寸一定满足生产的需要，特别是满足设备安装的需要等等。最后识读建筑说明，熟悉工程装修情况。
建筑电气CAD图纸常用符号大全 敷设方式和敷设部位敷设方式： SC:穿焊接钢管敷设； CT:用电缆桥架敷设; 敷设 部位： WE ：沿墙面敷设； WC ：暗敷设在墙内； FC ：暗敷设在地面或地板内； CC ： 暗敷设在屋面或顶板内； BMG1是负荷开关，SB 是塑壳断路器，BM7是分断能力10KA 的 微断。 SC:钢管 PC:PVC聚乙烯阻燃性塑料管 CT:桥架 WC:沿墙暗敷设 WS:沿墙明敷设 CC:沿顶板暗敷设 F:暗敷在地板内 CE:沿顶板明敷 YJV:电缆 SYV:电视线 PE:接地(黄绿相兼) PEN:接零(蓝色) 3项线(火线):A项(黄) B 项(绿) C 项(红) KV:(电压) 千伏 BV:散线MEB:总等电位 LEB:局部等电位线路敷设方式代号 PVC ——用阻燃塑料管敷设 DGL —— 用电工钢管敷设 VXG ——用塑制线槽敷设 GXG ——用金属线槽敷设 KRG ——用可挠型 塑制管敷设⑦线路明敷部位代号LM —沿屋架或屋架下弦敷设 ZM ——沿柱敷设 QM ——沿墙敷设 PL ——沿天棚敷设③线路暗敷部位代号 LA ——暗设在梁内 ZA —暗设在柱 内 QA —暗设在墙内 PA ——暗设在屋面内或顶棚内 DA ——暗设在地面或地板内 PNA —暗设在不能进入的吊顶内④照明灯具安装方式代号 D ——吸顶式 L ——链吊式 G ———管吊式 B ——壁装式 R ———嵌入式 BR ———墙壁内安装 (4)设备标注方法’ ⑦配电线路的标注方法 a ——b(c×d)e ——f 其中：a--回路编号 b--导线型号 c--导 线根数 d--导线截面 e--敷设方式及穿管管径 f--敷设部位表示2根导线表示3根导线 表示n 根导线⑦照明灯具标注方法一般标注方法：灯具吸顶安装标注方法：其中：a--灯数 b--型号或编号 c--每盏照明灯具的灯泡个数 d--灯泡容量，W e--灯泡安装高度， m f--安装方式 L--光源种类，白炽灯或荧光灯 YJV22--4*16 代表聚乙烯绝缘聚氯乙烯护 套的电缆，22代表铠装（即在四条线的外面有一层铁皮包裹），一共4芯，截面积为16 平方毫米。 YJV-3X4-SC25-HDPE50；YJV ：交联聚乙烯电缆，3*4：三根四平方的。SC25：电缆穿25的焊接钢管敷设，HDPE50是指50的波纹管敷设 BV-5×16 SC32：导线型号为铜芯塑料绝缘线，5根16mm2，穿焊接钢管敷设。 BV-2×2.5：导线型号为铜芯塑料绝缘线，2根2.5mm2。 VV-5x2.5-SC32/WC/FC 指 5*2.5平方的VV （规格）电缆穿32的焊接钢管 沿墙或地面暗敷设。 FPC(15)-WC：穿阻燃半硬聚氯乙烯管敷设。 WP1-BV(3×50＋ 1×35)CT CE 表示：1号动力线路，导线型号为铜芯塑料绝缘，3根50mm2、1根35mm2， 沿顶板面用电缆桥架敷设。 WL2-BV(3×2.5)SC15 WC 表示：2号照明线路、3根2.5mm 2 铜芯塑料绝缘导线穿钢管沿墙暗敷。 ZR-BV 阻燃型铜芯聚氯乙烯绝缘电线。 NH-B-YJV 铜芯交联聚乙烯绝缘聚氯乙烯护套B 类成束阻燃型耐火电力电缆。 TMY-3（80*8）+1 （60*6）：80*8表示ABC 三相为80*8的铜排60*6为零排。TMY 是硬铜母（铜排母线） 的意思。 RVS ：铜芯pvc 护套双绞线，通常用于公共广播系统/背景音乐系统布线，消防系统布线。 RVV ：铜芯pvc 内护pv 外护平行护套线，通常用于弱电电源供电等。 BV ，BV 电线，全称是铜芯聚氯乙烯绝缘电线。因为分类和用途是用来分布电流用的，属于布 电线类，用字母B 表示；绝缘材料为聚氯乙烯，用字母V 表示，因而得。开关器件符号 说明： TIMS-125/80/43002 其中4表示四级；300：热磁脱扣器；2：电机保护用。 DZ47-60/3P-25：小型断路器，型号DZ47-60，三相25A 。 C65N-16A ：2P 是指适使用 C65小规格的断路器，最大分断电流为6000A ，额定电流为16A ，2P 指双极的，VE-30mA 指漏电保护电流为30mA C65N-C16/3P：C65指断路器型号，N 表示分断电流为6000A ，
设计中的符号学 1.符号学与设计 符号学(semiotics)是研究符号系统的学问，最早是本世纪初由瑞士语言学家索绪尔 (sauaaure)、美国哲学家和实用主义哲学创始人皮尔士(pierce)提出的。前者着重于符号在社会生活的意义，与心理学联系;后者着重于符号的逻辑意义，与逻辑学联系。大约从本世纪60年代开始，符号学才作为一门学问得以研究。现在符号学已经成为一项科学研究，其理论成果也已经渗透到其他诸多学科之中。设计与符号学关系密切。设计这个词来源于拉丁文的designare，意思就是画记号。现在被普遍采用的英文design，也就是做记号的意思。研究和运用符号学的一些原理来帮助设计人员做记号，不能说不是从事设计人员的一条重要的途径。 符号的起源是劳动。早在原始社会，人们就有了实用和审美两种需求，并且已经开始从事原始的设计活动，以自觉或不自觉的符号行为丰富着生活。从我们祖先的结绳记事到歌舞图腾，都是维护社会传统秩序的信息符号。 符号是负载和传递信息的中介，是认识事物的一种简化手段，表现为有意义的代码和代码系统。当然，符号这一概念的外延相当广泛，设计中的符号作为一种非语言符号，与语言符号有许多共性，使得语意学对设计也有实际的指导作
用。通常来说，可以把设计的元素和基本手段看作符号，通过对这些元素的加工与整合，实现传情达意的目的。 2.设计中符号的特性 认知性 设计中,认知性是符号语言的生命。例如，我国的几大银行的标志都采用中国古钱币作为基本型，这正是因为古钱币能够准确地传达金融机构这一信息，具有极强的认知性。如果一项设计作品不能为人认知，让人不知所云，那它就完全失去了意义。 普遍性 现代设计是为大工业生产服务的，设计作品会在大众中广泛传播。设计的符号语言只有具备普遍性，才能为大众所接受。设计人员常常遇到这种情况，自己花了很大功夫做出的东西，却不被客户接受，这时设计者也许会抱怨客户欣赏水平不够，其实有时客户比设计者更了解受众。设计者只有找出让自己、客户、消费者都能理解的设计语言，才能更好地完成设计任务，符号的普遍性这一特性，在许多公共场所的标牌设计中体现得尤为充分。如公共卫生间的男女标识，相信不论男女老幼，文化深浅，都能够清楚分辨。 约束性
一、灯具的安装方式： 1 线吊式 CP Wire(Cord) Pendant 2 链吊式 CH Chain Pendant 3 管吊式 P Pipe(Conuit) erected 4 壁装式 W Wall mounted 5 吸顶式或直附式 S Ceiling mounted (Absorbed) 6 嵌入式 R Recessed in 7 顶棚内安装 CR Coil Recessed 8 墙壁内安装 WR Wall Recessed 9 台上安装 T Table 10 柱上安装 CL Colum 二、国标的符号 线吊式自在器线吊式 SW Wire suspension type 链吊式 CS Catenary suspension type 管吊式 DS Conduit suspension type 壁装式 W Wall mounted type 吸顶式 C Ceiling mounted type 嵌入式 R Flush type 顶棚内安装 CR Recessed in ceiling 墙壁内安装 WR Recessed in wall 支架上安装 S Mounted on support 柱上安装 CL Mounted on columm
座装 HM Holder mounting 三、标注代号对照 施工图专用——线路敷设方式代号 施工图专用——线路敷设方式代号 线路敷设方式代号 PVC——用阻燃塑料管敷设 DGL——用电工钢管敷设 VXG——用塑制线槽敷设 GXG——用金属线槽敷设KRG——用可挠型塑制管敷设 ⑦线路明敷部位代号 LM—沿屋架或屋架下弦敷设 ZM——沿柱敷设 QM——沿墙敷设 PL——沿天棚敷设
1板 B 2屋面板 WB 3空心板 KB将板的横截面做成空心的称为空心板 4槽行板 CB 5折板 ZB 6密肋板 MB 7楼梯板 TB 8盖板或沟盖板GB 9挡雨板或檐口板YB 10吊车安全走道板 DB 11墙板 QB 12天沟板 TGB 13梁 L 14屋面梁 WL钢筋砼梁：在现代建筑中占有很大席位，一般有矩形梁、T 形梁、薄腹梁、屋架；矩形梁和T 形梁适于现浇钢筋砼结构，薄腹梁和屋架均由现场预制或由预 制厂家预制，采用机械进行吊装；钢筋砼梁又有预应力和非预应力之分。钢架梁：钢架结构在厂房 和大跨度建筑结构中比较常见，由型钢杆件采用焊接、螺栓链接拼装在一起屋架结构。 15吊车梁DL 16单轨吊DDL 17轨道连接DGL 18车挡CD 19圈梁QL 20过梁GL
钢筋砖过梁 (一般用于荷载不大、跨度较小的门、窗、设备洞口等过梁之用)砖拱过梁 (用于洞口宽度小于 1 米) 钢筋 (混凝土 )砼过梁（宽度同墙厚，高度及配筋根据结构计算确定） 钢过梁 木过梁等 21连系梁LL
22基础梁JL 23楼梯梁TL 24框架梁 KL（指两端与框架柱(KZ)相连的梁，或者两端与剪力墙相连但跨高比不小于 5 的梁） 25框支梁 KZL 因为建筑功能要求，下部大空间，上部部分竖向构件不能直接连 续贯通落地，而通过水平转换结构与下部竖向构件连接。当布置的转换梁支撑上部的剪力墙的 时候，转换梁叫框支梁，支撑框支梁的柱子就叫做框支柱。 26屋面框架梁 WKL 27檩条 LT 28屋架 WJ 29托架 TJ 30天窗架 CJ 31框架 KJ 32刚架 GJ 33支架 ZJ 34柱 Z 35框架柱 KZ 36构造柱 GZ 1. 当混凝土墙(柱) 分隔的直段长度,120( 或100) 厚墙超过 3.6m ， 180( 或190) 厚墙超过5m 时，在该区间加混凝土构造柱分隔； 2. 120( 或 100) 厚墙当墙高大于 3 米时，开洞宽度大于 2.4m时应加构造柱或钢筋混凝土水平系梁； 3.180( 或 190) 厚墙当墙高大于 4m, 开洞宽度大于 3.5m 时应加构造柱或钢筋混凝土水平系梁。37承台CT 38设备基础SJ
图形设计艺术的符号化表现特征 黄有柱 2013-2-28 19:56:18 来源：《包装＆设计》(广州)2003年01期在众多的艺术样式中，图形设计是最具符号化特征的艺术形式之一。在现代设计领域里，图形设计主要以视觉形象承载着信息传递的职能进行文化沟通。图形艺术作为一种特殊的符号，既有抽象功能，又具有表现性，是一种深受个人情绪影响，反映着审美意象的认知。对图形设计艺术的符号化表现特征的研究，能够充分发挥图形在视觉传达中的作用，我们可以通过图形视觉符号、视觉规律、视觉感受及传统和现代的审美，来寻求和创造具有个性化、风格化的视觉语言表现形式。 一、视觉功能的符号化 图形设计的视觉功能主要有两个方面，即观念的主导价值和信息的传播与交流。 1、从人的认识活动的一般方式来看，由于人类在自身结构上具有视知觉构造能力，使得人具有感知现象、归纳事理、形成观念的潜在机能。图形设计作为一种观念性活动，也是对外部世界反映的形式和结果。观念在设计中起着主导性作用，它不仅限于视知觉的层次，而且还能达到或超越理性的深度，深刻地揭示出人们的精神意志状态的丰富性、复杂性和规律性。图形设计的目的是通过视觉符号传达一种观念信息，激发人类思维。设计观念是视觉功能的起点与方向，它同设计师所要表达的内容是一致的，设计师在创造着可供人们使用、观赏的设计作品时，也创造着观念符号，反映着主体对客体的认识，按黑格尔美学观点，便是以感性的形式表现理性的内容。另一方面，观念引导着图形符号的形式变化，不同的创作观念促使综合思维从直接的、间接的、经验的和记忆中提取典型元素，按照一定的创造目标进行整合、同构，从而创造出丰富的形式，限定的内涵使形
建筑图纸符号大全 建筑立面图是将建筑的不同测表面，投影到铅直投影面上而得到的正投影图。 建筑剖面图是依据建筑平面图上标明的剖切位置和投影方向，假定用铅垂方向的切平面将建筑切开后面得到的正投影图。建筑平面图是假想在房屋的窗台以上作水平剖切后，移去上面部分作剩余部分的正投影而得到的水平剖面图。建筑工程施工图简称“施工图”，是表示工程项目总体布局，建筑物的外部形状、内部布置、结构构造、内外装修、材料做法以及设备、施工等要求的图样。 工具/原料 一、彩色铅笔：12、24 色/盒——买24 色的二、针管笔:最好的红环 三支装（附圆规）——不能买一次性的，要买专业针管笔，可加墨水的，杂牌的不建议买，英雄牌的可以考虑，红环牌的质量算是好的，但价格可能会贵一
点，一分钱一份货。要买0.1，0.3，0.5 组合或者0.1，0.5，0.8 组合三、马克笔：常用17 支代号如下1，2，5，14，15，16，17，22，24，26，30，32, 33，40，42，45, 52.——33 和52 不用买四、曲线板五、粘纸——可以多买些六、切割板——买A3 的七、丁字尺八、钢尺九、S6018 剪刀十、平衡尺十一、介刀十二、30 米布卷尺；50 米布卷尺（可以不买）——不用买十三、飞鹰刀片：单面（可两人一盒）十四、科文牌比例尺（大小比例一样价）——大小比例都要买十五、三角板：KS3301（300MM）十六、擦图片（买钢的）：蓝；无色十七、白乳胶（500 克）每人需买4 瓶（可以不买）——不用买十八、502 胶水：每人需买4 支（可以不买）——不用买十九、24 式水彩二十、颜料每人需24 瓶24 色（可以不买）——不用买二十一、画笔：水粉；水彩笔二十二、绘图仪——不用买二十三、素描纸：4K/20 张每包；8K/20 张每包（各买一包）二十四、图版：实心0 号（2M*0.9M）；空心（建议买实心，防止渗透）——能买到0 号最好，不能就买1 号的，能买到实心的最好二十五、绘图纸：A1 号；（每人一包）二十六、拷贝纸：A2 A3 4K 8K（100 张/包可两人合买一包）建议买A2 的就行了二十七、宣纸100 张装可四人合买一包二十八、小毛笔（不脱毛）（每人两支）二十九、图纸筒：55CM；70CM 建议买后者三十、工具箱：16 寸；中号建议买后者三十一、写生水桶：大；小建议买后者三十二、水饺纸：长筒（每人一筒）还要买0.5 或0.7 的自动铅笔，带笔芯
电器符号大全SR：沿钢线槽敷设 BE：沿屋架或跨屋架敷设 CLE：沿柱或跨柱敷设 WE：沿墙面敷设 CE：沿天棚面或顶棚面敷设 ACE：在能进入人的吊顶内敷设 BC：暗敷设在梁内 CLC：暗敷设在柱内 WC：暗敷设在墙内 CC：暗敷设在顶棚内 ACC：暗敷设在不能进入的顶棚内 FC：暗敷设在地面内 SCE：吊顶内敷设,要穿金属管 一，导线穿管表示 SC-焊接钢管 MT-电线管 PC-PVC塑料硬管 FPC-阻燃塑料硬管 CT-桥架 MR-金属线槽 M-钢索
CP-金属软管 PR-塑料线槽 RC-镀锌钢管 二，导线敷设方式的表示DB-直埋 TC-电缆沟 BC-暗敷在梁内 CLC-暗敷在柱内 WC-暗敷在墙内 CE-沿天棚顶敷设 CC-暗敷在天棚顶内SCE-吊顶内敷设 F-地板及地坪下 SR-沿钢索 BE-沿屋架，梁 WE-沿墙明敷 三，灯具安装方式的表示CS-链吊 DS-管吊 W-墙壁安装 C-吸顶 R-嵌入
S-支架 CL-柱上 沿钢线槽：SR 沿屋架或跨屋架：BE 沿柱或跨柱：CLE 穿焊接钢管敷设：SC 穿电线管敷设：MT 穿硬塑料管敷设：PC 穿阻燃半硬聚氯乙烯管敷设：FPC 电缆桥架敷设：CT 金属线槽敷设：MR 塑料线槽敷设：PR 用钢索敷设：M 穿聚氯乙烯塑料波纹电线管敷设：KPC 穿金属软管敷设：CP 直接埋设：DB 电缆沟敷设：TC 导线敷设部位的标注 沿或跨梁（屋架）敷设：AB 暗敷在梁内：BC 沿或跨柱敷设：AC 暗敷设在柱内：CLC
沿墙面敷设：WS 暗敷设在墙内：WC 沿天棚或顶板面敷设：CE 暗敷设在屋面或顶板内：CC 吊顶内敷设：SCE 地板或地面下敷设：FC HSM8-63C/3P DTQ30-32/2P 这两个应该是两种塑壳断路器的型号，HSM8-63C/3P 适用于照明回路中，为3极开关，额定电流为63A（3联开关） DTQ30-32/2P 也是塑壳断路器的一种，额定电流32A，2极开关 其他那些符号都是关于导线穿管和敷设方式的一些表示方法，你对照着查一下 矿用铠装控制电缆； MKVV22,MKVV32 2*0.5,3*0.75,4*4,------37*1.5mm 铠装控制电缆； KVV22,KVV32,KVVR22 2*0.5,3*0.75,4*4,------37*1.5mm 铠装屏蔽控制电缆KVVP-22,RVVP-22,KVVRP-22,KVVP2-22,KVVRP2-22 2*0.5,3*0.75,4*4,------37*1.5mm 铠装阻燃控制电缆;ZR-KVV22,ZR-KVV32,ZR-KVVR22 2*0.5,3*0.75,4*4,------37*1.5mm 铠装阻燃屏蔽控制电缆; ZR-KVVP22,ZR-KVVRP22,ZR-KVVP2-22,ZR-KVVRP2-22
中南大学 研究生读书笔记课程名称视觉语言研究 学生姓名刘伟 阅读书目《艺术设计符号基础》指导老师孙湘明 学院建筑与艺术学院 专业视觉传达 完成时间2011年6月
《艺术设计符号基础》读书笔记 作者：胡飞 出版社：清华大学出版社 出版时间：208.7 主要内容： 目录 第1章符号、艺术与设计 第2章毗邻轴与系谱轴 第3章外延、内涵与意识形态 第4章图像、指示与象征 4.1 符号类型理论基础 4.2 艺术设计中的图像性符号 4.3 艺术设计中的指示性符号 4.4 艺术设计中的象征性符号 第5章意义的传达 5.1 艺术设计符号的传播 5.2 艺术设计符号的认知 5.3 意义的形变 第6章从分析到创造 6.1 艺术设计符号的分析原则 6.2 艺术设计符号的分析方法 6.3 艺术设计符号的运用程序 第7章隐喻、换喻、提喻与讽喻 7.1 当代设计的修辞转向 7.2 艺术设计中的隐喻 7.3 艺术设计中的换喻 7.4 艺术设计中的提喻 7.5 艺术设计中的讽喻 第8章走向信息化 8.1 信息化、数字化、网络化的艺术设计符号 8.2 网络界面设计中的指示性符号 8.3 图形界面设计中的符号隐喻 8.4 交互界面设计中的符号运用
作者简介： 胡飞，男，1977年2月出生于湖北武汉，设计艺术学博士，武汉理工大学艺术与设计学院副教授、硕士生导师。毕业于清华大学美术学院，师从柳冠中先生。 出版专著《中国传统设计思维方式探索》， 译著《产品设计：历史、理论与实务》， 国家级规划教材《工业设计符号基础》， 合著《设计符号与产品语意：理论、方法与应用》； 在《装饰》、《艺术与科学》等学术期刊发表论文30余篇；主持、参与省部级科研课题5项；设计作品屡次获奖。 主要内容： 这本书通过大量案例分析，全面系统地介绍了艺术设计符号基础理论及其应用，将索绪尔语言符号学和皮尔士逻辑符号学的基本观念、原理与方法应用于具体的视觉传达设计、环境艺术设计、工业产品设计、服装染织设计等领域。 内容主要包括：艺术设计符号的毗邻轴与系谱轴，意义的外延，内涵与意识形态，图像性，指示性和象征性的艺术设计符号，意义的传达与符号的分析，隐喻，换喻，提喻与讽喻，以及走向信息化，数字化，网络化的艺术设计符号。并通过大量生动翔实的例证，一起构筑出设计符号理论的基本框架。
房屋的建造一般需经设计和施工两个过程，设计工作又分为初步设计和施工图设计阶段。但对一些技术上复杂而又缺乏设计经验的工程，还应在初步设计基础上增加技术设计（或称扩大初步设计）阶段，以此作为协调各工种的矛盾和绘制施工图的准备。不同的设计阶段对图纸有不同的要求，施工图是要求从满足施工要求的角度出发，提供完整翔实的资料。所以，我们把按照国标”的规定，用正投影方法画出的一幢拟建房屋的内外形状和大小，以及各部分的结构、构造、装修、设备等内容，并达到能够指导施工的图样称为房屋施工图。 建筑方面的施工图又分为两类：一类是建筑施工图（简称建施”，主要 表示建筑物的总体布局，外部造型、内部布置、细部构造、装修和施工；另一类是结构施工图（简称结施”，主要表示承重构件结构的布置、构件类型及构造和做法等。在这两类图纸中又各自分成两种表达形式：一种是表示整体的图纸，以此来反映建筑物的全貌；另一类则是表示局部，反映各个细部的具体做法。 建筑施工图表示整体的图纸有：总平面图、施工总说明、平面图、立面图、剖面图。表示局部的图纸有建筑详图，如楼梯详图、门窗详图等。 结构施工图中，表示整体的图纸有：基础平面图、楼层结构平面图、屋顶结构平面图等。表示细部的图纸有：基础详图、钢筋混凝土梁、板、柱等结构详图、屋架详图等。 在房屋建造中，一套完整的施工图，根据其专业内容或作用的不同，包括如下内容： (1)图纸目录。 (2)设计总说明。
(3)建筑施工图。 (4)结构施工图。 (5)建筑装修图。 (6)设备施工图(简称设施”，本书不做讨论。 阅读施工图时，应按先整体后局部，先文字说明后图样，先图形后尺寸等原则依次仔细阅读。 一、房屋的组成及其作用 房屋建筑一般可分为民用建筑和工业建筑两大类。各种使用功能的房屋，尽管他们在使用要求、空间组合、外形处理、结构形式、构造方式以及规模大小各有特点，但其基本的组成内容是相似的，构成他们的基本构配件通常有：基础、墙(柱、梁)、楼板层和地面、屋面、楼梯和门、窗等。如图3-1。 基础是房屋最下面与地基相接触的承重构件，起着支撑房屋的作用，并将整个建筑物荷载传于地基。 楼房的第一层称为首层(或称一层或底层)，往上称二层、三层顶层, 这是由楼板分隔而成的。屋面、楼板是房屋的水平承重构件，它将楼板上的各种荷载传递到墙或梁上去，再由墙或梁传给基础。屋面是房屋顶部的围护和承重构件。
一、建筑图纸符号大全 @表示钢筋间距 Φ表示钢筋型号，CAD快捷键一览 创建三维阵列 3A 创建三维面 3F 在三维空间创建由直线段组成的多段线 3P 在二维和三维空间中将某对象与其他对象对齐 AL 加载 AutoLISP、ADS 和 ARX 应用程序 AP 创建圆弧 A 计算对象或定义区域的面积和周长 AA 创建按指定方式排列的多重对象拷贝 AR 执行外部数据库命令的管理功能 AAD 输出选择对象的链接信息 AEX 管理对象和外部数据库之间的链接 ALI 显示并编辑表数据并创建链接和选择集 ARO 从链接到文字选择集和图形选择集的行中创建选择集 ASE 执行结构查询语言 (SQL) 语句 ASQ 创建属性定义 -AT 改变不依赖于块定义的属性信息 -ATE 用图案填充封闭区域 H或BH 根据选定对象创建块定义 -B 用对话框定义块 B 用封闭区域创建面域或多段线 BO （使用命令行）用封闭区域创建面域或多段线 -BO 部分删除对象或把对象分解为两部分 BR 给对象加倒角 CHA 修改现有对象的特性 -CH 根据圆心和直径或半径绘制圆 C 复制对象 CO或CP 创建属性定义 AT 编辑单个块的可变属性 ATE 修改对象的颜色、图层、线型和厚度 CH 设置新对象的颜色 COL 编辑文字和属性定义 ED 显示夹点并设置颜色 GR 创建并修改标注样式 D 插入块或另一图形 I 控制现有对象的特性 MO 修改对象名称 REN 设置绘图辅助工具 RM 设置对象选择模式 SE
管理已定义的用户坐标系 UC 选择预置用户坐标系 UCP 控制坐标和角度的显示格式及精度 UN 创建和恢复视图 V 设置三维观察方向 VP 创建对齐线性标注 DAL或DIMALI 创建角度标注 DAN或DIMANG 从前一个或选择的标注的第一尺寸界线处连续标注 DBA或DIMBASE 创建圆和圆弧的圆心标记或中心线 DCE 从前一个或选择的标注的第二尺寸界线处连续标注 DCO或DIMCONT 创建圆和圆弧的直径标注 DDI或 DIMDIA 编辑标注 DED或DIMED 创建线性尺寸标注 DLI或DIMLIN 创建坐标点标注 DOR或DIMORD 替换标注系统变量 DOV或DIMOVER 创建圆和圆弧的半径尺寸标注 DRA或DIMRAD 在命令行创建和修改标注样式 DST或DIMSTY 移动和旋转标注文字 DIMTED 测量两点之间的距离和角度 DI 将点对象或块沿对象的长度或周长等间隔排列 DIV 绘制填充的圆和环 DO 修改图像和其他对象的显示顺序 DR 打开鸟瞰视图窗口 AV 输入文字时在屏幕上显示 DT 定义平行投影或透视视图 DV 创建椭圆或椭圆弧 EL 从图形删除对象 E 将组合对象分解为对象组件 X 以其他文件格式保存对象 EXP 延伸对象到另一对象 EX 通过拉伸现有二维对象来创建三维实体 EXT 给对象加圆角 F 创建根据特性选择有关对象时用到的过滤器列表 FI 创建对象的命名选择集 G 使用命令行创建选择集 -G 用图案填充一块指定边界的区域 -H 修改现有的图案填充对象 HE 重生成三维模型时不显示隐藏线 HI 以多种格式向 AutoCAD 图形文件中插入图像 IM 使用命令行插入图像 -IM 控制选定图像的亮度、对比度和褪色度 IAD 向当前图形中定义并附着新的图像对象 IAT 为单个图像对象创建新剪切边界 ICL
时间序列中回归模型的诊断检验 【摘要】：时间序列是指被观测到的依时间次序排列的数据序列。从经济、金融到工程技术，从天文、地理到气象，从医学到生物，几乎在各个领域中都涉及到时间序列。对时间序列数据进行统计分析及推断，被称为时间序列分析。近几十年来，金融时间序列分析得到了人们广泛的关注。Engle在1982年对英国的通货膨胀率数据进行分析时提出一种统计建模思想：时间序列自回归模型误差的条件方差不一定是常数，可以随时间的变化而不同。基于这个思想，Engle首次提出了条件异方差模型，即人们熟知的ARCH(p)模型。由于Engle出色的开创性工作，金融时间序列条件异方差模型很快在学术界和实际应用中得到了极大的关注。许多专家学者根据实际中经济、金融数据的各种特征，提出了各种各样的条件异方差模型，并研究各种参数或非参数估计方法。但是，提出的模型是否合理?或者说，观测数据是否真的来自这一模型?人们往往不太关心。这个问题实际上是所谓的模型检验问题。对于著名的Box-Jenkins时间序列建模三步曲：模型的建立、模型的参数估计和模型的检验，理论上他们具有同等重要的地位。但是，正如专著Li所述，人们关注更多的是前面两步工作，而第三步(即模型的检验)常常得不到应有的重视。对于近二十年来受到广泛关注的条件异方差模型，模型检验问题同样没有得到应有的关注，相关的研究寥寥无几。对传统的回归模型，文献中主要有两大类模型检验方法：局部光滑方法和整体光滑方法。局部光滑方法涉及用非参数
估计方法估计其均值函数从而有可能导致维数问题。为了避免维数问题，学者们提出了各种各样的整体光滑方法用于模型检验，构造的检验不需要非参数光滑，但是对高频备择不敏感。上述两种方法各有优缺点。另外，这两种方法基本上都是针对因变量为一元情形。因此，本文提出一些新的方法来处理时间序列自回归模型的模型检验问题。需要特别指出的是，本文考虑的时间序列包括一元和多元情形，回归函数形式可以非常一般，自回归变量可以有多个后置项。本文首先研究了一元时间序列一般形式的自回归模型(包括条件异方差模型的均值模型和方差模型)的模型检验问题。通过模型的残差或标准化的残差进行加权平均，我们构造了一个得分型检验统计量。该检验具有许多优良性质，比如：在零假设模型下是渐近卡方分布的，处理起来简单；对备择假设敏感，能检测到以参数的速度收敛到原假设的备择假设模型；通过权函数的选择可以构造功效高的检验。在方向备择情形，我们研究得到了最优(功效最高)的得分型检验。当备择不是沿着某一方向而是多个可能的方向趋于原假设时，我们构造了极大极小(maximin)检验，该检验是渐近分布自由的，并具有许多优良性质。另外，对备择完全未知(即完全饱和备择)情形，我们也基于得分型检验的思想提出了一个构造万能检验(omnibustest)的可行性方案。需要指出的是，关于时间序列回归模型的诊断检验问题，本文是第一篇理论上研究检验的功效性质的文章。另外，在进行功效研究的过程中，我们得到了当模型被错误指定时参数估计(拟极大似然估计)的渐近性质。注意到得分型检验在构造过程中涉及渐近方差的插入估计
建筑设计图纸中的一些符号 在建筑设计图中，L表示是梁、LL表示是连续梁、QL表示圈梁、JL表示基础梁、TL 表示是梯梁、DL表示是地梁，Z表示柱、GZ表示构造柱、KZ表示框架柱，M表示是门、C表示是窗。QL”符号，开始以为是墙梁。 1、正规的建筑设计图纸，要有设计者签名，项目负责人签名，审定者签名，校对人签名，并加盖出图章，注册执业章。 2、建筑设计图纸中，长度一般以mm为单位，有加以说明的除外；看图时注意结合“建筑用料说明”与其他图纸进行综合。“建筑用料说明”中，在各小项的前面有打上“√”的，为该设计所采用的做法。没有打勾的，非该设计所采用的做法。 3、如在建筑设计图中：“C20钢筋砼JL（240×400）配4Φ16络Φ6＠200箍。”解读为：强度为C20的钢筋混凝土结构的基础梁，宽240mm，高400mm，配4条直径16厘（16mm）螺纹的主钢筋，每间隔200mm箍一个直径6厘的钢筋长方形环络。(长方形环络长约340--350 mm ，宽约180mm--190mm)。 4、如在建筑设计图中：“C20砼小柱（240×240）配4Φ12箍］6＠200。”其中，“］6＠200”为不规范标注，应为“Φ6＠200”。解读为：强度为C20的钢筋混凝土结构的小梁，截面为长240mm，宽240mm，配4条直径12厘（12mm）螺纹的主钢筋，每间隔200mm 箍一个直径6厘钢筋的长方形络。小柱高度看该工程所标示的层高减去圈梁的高度后加上板面的厚度，因为圈梁与板面是浇筑在一起。 5、如在建筑设计图中：M5水泥砂浆砌MU10贝灰砂砖。“M5”表示水泥砂浆的强度等级，“MU10”表示贝灰砂砖的强度等级。MU10代表贝灰砂砖的抗压强度平均值≥10Mpa。 6、QL表示圈梁，圈梁的做法，通常用于砖混房屋建筑结构(混合结构)，即先砌墙，后用钢筋混凝土浇筑圈梁及板面。 7、框架结构的做法，即先浇筑柱体，大梁、小梁、板面等。待拆掉模板后再砌墙体。 8、根据质监的要求，可以要求承建方提供钢筋（每批次）的合格证，水泥（每批次）的合格证，MU10贝灰砂砖（每批次）的合格证，水泥砼的测试合格证。