论文部分内容阅读
本文从“协调学”的理论发展和应用需求出发,借鉴可拓逻辑、泛逻辑等的相关成果,提出“协调元”的概念,研究“协调逻辑”的基本观点和基元模型.运用形式化描述语言,表达系统协调过程中的逻辑关系和协调规律,为“协调逻辑”研究提供逻辑基元与描述方法.
“协调逻辑”的基本观点和基元模型
【摘 要】
：
本文从“协调学”的理论发展和应用需求出发,借鉴可拓逻辑、泛逻辑等的相关成果,提出“协调元”的概念,研究“协调逻辑”的基本观点和基元模型.运用形式化描述语言,表达系统协调过程中的逻辑关系和协调规律,为“协调逻辑”研究提供逻辑基元与描述方法.
【机 构】
：
北京科技大学,北京,100083
【出 处】
：
中国人工智能学会第十三届学术年会
【发表日期】
：
2009年6期
其他文献
对厂房受硫酸腐蚀柱、基础的混凝土强度进行检测,并通过测定混凝土碳化深度及硫酸根离子含量判定柱混凝土受硫酸侵入的深度；通过钻探取样测定土样中硫酸根离子含量及酸碱度来判定硫酸渗入地下的深度及范围.
对某砌体结构办公楼进行宏观检查,对墙体、梁、楼板的裂缝进行检测,对砌筑砂浆强度、砖强度及屋面保温层进行抽检,对裂缝及建筑物渗水原因进行分析,并提出加固处理措施.
结合对转炉炼钢厂房可靠性鉴定的工作实践,对转炉炼钢厂房中普遍存在的问题进行归类总结,并对相应的处理方法进行简单介绍.
对某热电厂母线室进行现场调查及检测,对厂房结构承载力进行验算,最后进行抗震鉴定及可靠性鉴定评级.
地处上海外滩的某老建筑建于20世纪30年代,现预改造为医院门诊楼.为确保该建筑改造后正常安全使用以及遭遇地震作用时具有足够的安全储备,结合其建筑改造方案,需对其进行结构加固.考虑到该建筑建造时间久远,其受当时建筑科学水平的限制,设计理念及设计方法、所采用的建筑材料的性能以及施工的技术水平等都与现在有较大区别,因此进行改造加固前应对原建筑进行全面的建筑测绘及结构安全性检测.在全面掌握原结构的结构体系
某发电厂钢筋混凝土烟囱筒身混凝土外壁出现了明显的竖向温度裂缝.现场对该烟囱的裂缝现状、工作条件及材料导热性能进行了检查与检测,并对烟囱的环向钢筋承载力进行验算.现场检测与验算结果表明,该烟囱的实际最高烟气温度远大于原设计值,进而导致温度作用下其环向钢筋承载力严重不满足规范要求,需对其进行加固处理.
本文提出了支挡结构工程质量事故司法鉴定的一般工作程序；从支挡结构所处边坡的工程地质勘察、边坡的支护结构设计施工图、支护结构的施工资料以及监理资料等方面,探讨了既有支挡结构司法鉴定的相关内容和既有支挡结构出现事故的原因分析内容；提供了一条简明扼要的司法鉴定的工作思路,具有较好的司法实践指导意义.
我国相当多的建筑物已经进入中老年期,必须进行维修和加固.对已修建好的各类房屋建筑、桥梁进行维修、保护和加固,保持其正常使用功能,延长其使用寿命,不但可以节约投资,而且能够减少土地的征用,对延缓日益紧张的城市用地和减少大量不可降解的废旧混凝土颗粒矛盾有着重要的意义.随着新型建筑材料的飞速发展,采用新型的无机材料加固混凝土结构已成为可能.相对于有机材料加固方法而言,无机材料加固的混凝土结构具有相对较好
建筑栏杆不属于建筑物主体结构范畴,但其工作状态好坏仍关系到人民生命财产的安全,因此栏杆的特性检验工作被逐步提到日程上来.本文根据国家有关规范及某些工程金属栏杆荷载试验实例,探讨了金属栏杆荷载检验中的加载量、加载方式控制及合格判别方法等问题,其工程经验可供同行参考,并建议有关部门尽快制定栏杆荷载检验标准.
从砌体结构、钢结构、混凝土结构三方面对现阶段应用比较广泛的加固修补技术作了介绍,为工程技术人员提供参考.